nLab integral transform

Redirected from "integral kernel".
Contents

Context

Linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Functional analysis

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

An integral transform on functions is a linear map between functions on spaces XX, YY encoded by a function KK (or generalized function, e.g. distribution of two variables) on the product space X×YX \times Y and given by a formula of the type

(functionfonX)(y Xf(x)K(x,y)), (function\;f\;on\;X) \mapsto \left(y \mapsto \int_{X} f(x) K(x,y) \right) \,,

where on the right we have some kind of integration over XX.

Here KK is called the integral kernel of the transformation.

Typically the definition of an integral transform on functions involves some delicate technical issues concerning the precise nature of the function space, the measure with respect to which the integral is defined, etc.

On the other hand, one may understand the general form of an integral transform as the decategorification of a very natural general abstract construction in higher category theory: that of integral transforms on sheaves given by spans of base change geometric morphisms.

Special cases of such categorified integral transforms are discussed at

Examples

History

In noncommutative algebraic geometry, one of the most important results is Dmitri Orlov‘s representability theorem (1997) which states that every fully faithful triangulated functor between the derived categories of coherent sheaves on two smooth projective varieties is representable by some “integral kernel”, i.e., a coherent complex on the product. One would like to remove the “fully faithful” assumption, but this has proved extremely difficult so far. In the context of dg-categories the analogous result, discovered by Bertrand Toen in 2004, does have the clean form one would like it to. Along with other problems with triangulated categories, this has been one of the motivations for people like Maxim Kontsevich and Goncalo Tabuada to start doing noncommutative geometry with pretriangulated dg-categories instead of triangulated categories.

On the other hand pretriangulated dg-categories are known to provide a model for linear stable (infinity,1)-categories. Using a different model, like quasi-categories, would be more convenient for extending Toen’s theorem from (smooth proper) schemes to (smooth proper) derived stacks. This was done in Ben-Zvi & Francis & Nadler 08. In the followup (Ben-Zvi & Nadler & Preygel 13) the authors have also extended these results to the non-smooth case.

References

Discussion of integral kernels in the sense of functional analysis (as in the Schwartz kernel theorem) is in

  • François Trèves, Topological Vector Spaces, Distributions and Kernels (Academic Press, New York, 1967)

Discussion of integral transforms in derived algebraic geometry (see also at geometric infinity-function theory) is in

Comments on the formalization of integral transforms and quantization in dependent linear type theory are at

category: analysis, geometry

Last revised on June 14, 2022 at 17:36:25. See the history of this page for a list of all contributions to it.