Related papers: Integration of positive constructible functions ag…
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
New simple proofs are given to some elementary approximate and explicit inversion formulas for Riesz potentials. The results are applied to reconstruction of functions from their integrals over Euclidean planes in integral geometry.
We develop a variant of Coleman and Perrin Riou's methods giving, for a de Rham $p$-adic Galois representation, a construction of $p$-adic $L$ functions from a compatible system of global elements. As a result, we construct analytic…
In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong…
We develop notions of integrable functions within the theory of schemic motivic integration.
A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic. The interpretation makes it possible to extract programs with…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
The light field reconstruction from the focal stack can be mathematically formulated as an ill-posed integral equation inversion problem. Although the previous research about this problem has made progress both in practice and theory, its…
We describe the range of the Radon transform on the space $M$ of irreducible conics in $\CP^2$ in terms of natural differential operators associated to the $SO(3)$-structure on $M=SL(3, \R)/SO(3)$ and its complexification. Following…
We define an $\infty$-category of rational motives for inverse limits of algebraic stacks, so-called pro-algebraic stacks. We show that it admits a $6$-functor formalism for certain classes of morphisms. On pro-schemes, we show that this…
This article gives an introduction to arithmetic motivic integration in the context of p-adic integrals that arise in representation theory. A special case of the fundamental lemma is interpreted as an identity of Chow motives.
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing an endofunctor $T': Pos\to Pos$ from an endofunctor $T:…
In this paper, we consider Dunkl theory on R^d associated to a finite reflection group. This theory generalizes classical Fourier anal- ysis. First, we give for 1 < p <= 2, sufficient conditions for weighted Lp-estimates of the Dunkl…
The notion of constructible functions in the setting of tame real geometry has been introduced by Cluckers and Dan Miller in their work on parametric integration of globally subanalytic functions. A function on a globally subanalytic set is…
Inspired by Leivant's work on absolute predicativism, Bellantoni and Cook in 1992 introduced a structurally restricted form of recursion called predicative recursion. Using this recursion scheme on the inductive structures of natural…
In this paper we refer to the reconstruction formulas given in L.-E. Andersson's On the determination of a function from spherical averages, which are often used in applications such as SAR and SONAR. We demonstrate that the first one of…
This article studies an integral representation of functionals of linear growth on metric measure spaces with a doubling measure and a Poincar\'e inequality. Such a functional is defined through relaxation, and it defines a Radon measure on…
The main objective of this article is to establish the $p$-adic Artin formalism for the algebraic $p$-adic $L$-functions attached to the adjoint representations of Coleman families of modular forms. In particular, we prove a factorization…