Geometric function theory considers notions of higher generalized functions on higher generalized spaces (such as on groupoids, on orbifolds and more generally on infinity-stacks) such that all suitably generalized linear maps between the monoidal -structures of functions on two spaces arise from a higher analog of plain matrix multiplication, namely from a pull-tensor-push operation in the given -context.
The motivating toy example is that where all spaces in question are just finite sets and functions are just maps from finite sets to a given ground field: for a finite set the collection of functions on is canonically identified with the vector space spanned by the elements of . Moreover, for two finite sets and functions on the product set are canonically identified with -matrices
The point is that from this perspective on matrices the action of a matrix on a vector is given by the pull-tensor-push operation of functions through a span
Given and the matrix product can be understood as
is the pullback of functions along the projection map ;
is the ordinary product of functions;
is the push-forward of field-valued functions along , i.e. the operation which integrates (a finite sum in this toy example) a function on over to a function on .
A closely related situation is considered in the context of groupoidification, where the aim is to encode not only the operation of matrix multiplication geometrically in the above sense, but also the very notion of a function itself.
In groupoidification functions with values in fields are essentially replaced by functions with values in (finite) groupoids, and the notion of groupoid cardinality is used to interpret such a gadget as a function with values in rational numbers.
More precisely, groupoidification in the sense of John Baez can be understood as geometric function theory for the case that collections of geometric functions are modeled as over categories. This is described in more detail at examples for geometric function objects.
In full generality the idea of geometric function theory is to replace in the above toy example all finite sets with generalized higher spaces in the form of ∞-stacks and to realize a useful notion of higher “functions” , such that is a monoidal (∞,1)-category in a suitable sense and behaves as expected under homotopy pullback and push-forward operations.
The main two conditions that one wants to have in geometric function theory are
for two generalized spaces sitting over a third one, we have an equivalence between the generalized functions on the fiber product and the tensor product of functions on with functions on over functions on :
where all operations are in the suitable -context (for instance the fiber product is a homotopy limit).
again for given the generalized functions on the (homotopy/-)fiber product are supposed to induce via (homotopy/-) pull-tensor-push operation through the span all -linear morphism between and :
This is to be read as a vast generalization of ordinary matrix multiplication, to which it reduces in the case that all spaces here are finite sets and all functions are ordinary functions on finite sets with values in some field. One step higher this gives Fourier–Mukai transformations? etc.
A particularly interesting application of items 1) and 2) above is to the case where the pullback diagram of generalized spaces in question is simply
So in this case statement 2) relates
Aspects of geometric function theory have a long history in the context of sheaves and stacks over algebraic sites. The Fourier–Mukai transform? is a classical example of a pull-tensor-push operation in a context where the object of generalized functions on a space is taken to be , the derived category of coherent sheaves on .
A general proof of the above item 2 in the context of generalized functions modeled by the derived category has been given in
As any homotopy category, the derived category of coherent sheaves is naturally understood as the -categorical shadow of a stable (∞,1)-category. In a suitable context of derived -stacks there is for each such -stack an -category whose homotopy category is the ordinary derived category of quasi-coherent sheaves on .
In this context geometric function theory with functions taken to be given by was discussed in
where the above two items appear as items 1) and 2) in theorem 1.2, p. 4,5
A detailed entry on this is at
Further discussion of realizations of geometric function objects is at
Closely related to the spans appearing in geometric function theory is the notion of bi-brane.