higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ∞-stacks?
derived smooth geometry
Additive analytic geometry over the complex number is an analog of classical (called here multiplicative) complex analytic geometry obtained by replacing the convolution algebra $\ell^1(\mathbb{N},\mathbb{C})$ of converging power series of radius $1$ (discrete Mellin transforms) by the algebra $L^1(\mathbb{R}_+,\mathbb{C})$ of integrable functions (continuous Mellin transforms). The analog of the complex unit disc $D_m(0,1)=D(0,1)$ is the hyperbolic/additive unit disc
and the analog of the affine line $\mathbb{A}^1_m=\mathbb{C}$ is the additive affine line
The main interest of this new geometry is that it has a built in flow (action of the additive monoid $\mathbb{R}_+$ on itself) and its functions are locally given by continuous Mellin transforms.
One may work, if needed with other kinds of functions/distributions on $\mathbb{R}_+$, for example if one wants to study distributional trace formulas. In any case, one needs to use Dirac measures/distributions to relate directly the above two types of analytic geometries, by the relation on coordinates given by $z=e^s$ in an archimedean context, and $z=p^{-s}$ in a non-archimedean context.
Higher dimensional spaces may also be considered, but the lack of a unit element in $L^1$ makes the extension of the semi and sub-analytic topologies to this geometry a bit tricky. Unitarization may be necessary.
A full complex geometry with various Grothendieck topologies seems to emerge from the consideration of the simple analogy/link with classical complex analysis given by the complex exponential map, but it is not so easy to find the right class of functions/distributions to be used here. One may simply try out with $L^1$ functions, and see where one arrives, but a regularity condition on an additive disk may also be imposed by asking that $(\log x)^n f(x)x^\delta$ is $L^1$ for every $n$, in order to obtain smoothness of functions on the boundary; using schwartz functions or overconvergent ones may also be a solution to the problem of having a nice notion of differential calculus on rational domains, that one must also solve in classical (multiplicative) analytic geometry.
Additive analytic geometry also has a non-commutative and automorphic extension (formulated in spectral terms), that may be useful to study and formulate some problems of automorphic representation theory in a geometric context. For example, the results of Godement and Jacquet looks like a kind of pasting of two “Mellin automorphic spectra” along the usual automorphic spectrum, in this context.
One may paste two additive unit discs along their boundary $\mathbb{R}$, that is the spectrum of $L^1(\mathbb{R})$ by $s\mapsto -s$ on $\mathbb{C}$, to get the additive version of the projective space $\mathbb{P}^1_a(\mathbb{C})=\{-\infty\}\cup \mathbb{C}\cup \{+\infty\}$ and the exponential map sends $\mathbb{P}^1_a(\mathbb{C})$ to the usual (multiplicative) projective space $\mathbb{P}^1(\mathbb{C})$. One may also paste two different discs along an annulus. Remark that there is also a way to use other pastings, such as $s\mapsto 1-s$. In any case, there is an analog of the homogeneous coordinates on projective space that correspond to the projection from
to its quotient by the relation given by $(s_1,s_2)\sim (\lambda+s_1,\lambda+s_2)$ for $\lambda\in \mathbb{G}_m^a(\mathbb{C}):=\mathbb{C}$.
To be able to work with $L$-functions, seen as additive functions, it seems one needs to pass to the setting of distributions of a certain kind, that may be analytic on a half space and distributional on the boundary. The study of the spectrum of distribution convolution algebras probably requires further work.
If such a function may be extended to a type of additive projective space using a functional equation, then the complement of its set $S$ of zeroes gives an open subspace $U$ of an additive projective space. In good situations, this gives an additive subspace that is equipped with the given flow, and its embedding into projective space induces an identification between the associated additive de Rham cohomology spaces in degree $0$ and $2$. The Poincaré group of this space is generated by looping around each of the given points in the set $S$, that may be infinite.
It seems that the L-function has to be automorphic so that one may study it using additive geometry, because the functional equation of theta functions is at the heart of the above construction. Indeed, even if higher dimensional complex varieties allow one to define various types of generalized multiplicative spaces (using Mellin transforms of $\delta$ distributions, for example), there is yet no clear additive versions of global arithmetic schemes, because there is no convolution operation on $L^1(\mathbb{R}_+,\mathbb{Z})$.
A possible approach to this problem of finding a higher dimensional version of the above construction is to first try to give a spectral interpretation for theta functions, so that one may study more general $L$ functions. This corresponds to decomposing the $L$-function of an arithmetic scheme with respect to the motivic weight (cohomology relative to the spectrum of $\mathbb{Z}$), and not its absolute motivic weight (which would allow to interpret, for example, the factor $s$ in the $\xi$ function).
The interest of this intermediary approach using $\theta$-geometry is that it seems to be compatible with the generalization to higher dimensional schemes, using a Simpson’s type construction for a kind of exponential Hodge filtration defined in the following way: suppose given a family $F_j(x_i)$ of polynomials with integer coefficients that defines an arithmetic scheme, and consider the additive analytic space $X_a$ given by the equations $F_j(e^{s_i})=0$. One may define an additive analytic version $M_*(X_a)$ of the deformation to the normal bundle of the diagonal of $X_a$, given by evaluating the equations with integer coefficients of the usual deformation to the normal bundle of the diagonal of $X$, given by a simplicial scheme $M_*(X)$ (associated to the tangent groupoid of $X$) on new variables $z_k=e^{s_k}$. In this way, we get a simplicial analytic space $M_*(X_a)$ over the additive affine space $\A^1_a$ that is in some sense $\G_{m,a}$-equivariant. It is also equipped with a compatible flow, given by an operator $\theta$ on its functions. If we apply this to the empty family of equation (that corresponds to the spectrum of $\Z$), we get $\A^1_a$ with the derivation given by $\theta(e^s)=\partial_s(e^s)=e^s$. The spectrum of $\theta$ gives a family of number $\Theta$ whose associated $\theta$-function is the Jacobi $\theta$ function. It would be desirable to be able to find a version of the $\theta$ functions that corresponds to the $\xi$ function (given by some differential operator acting on the Jacobi function). One may also define $\theta$ functions for each relative cohomology space of the structural sheaf of the additive analytic completion of the given simplicial space ($\infty$-groupoid) at its unit (given by the Berkovich additive analytic neighborhood of the diagonal in the “ngent groupoid’‘ of $X_a$, defined as the usual tangent groupoid of $X$ evaluated at $z_k=e^{s_k}$), and this should give the $\theta$ functions corresponding to the $L$-functions of the relative motive $h^p(X/\Z)$ for $p=0,\dots,2n$ where $X$ is now supposed (to simplify) to be projective and smooth.
Proving that the given spectral $\theta$ functions fulfils a functional equation is not an easy task and can’t be solved directly without showing that they are decomposed in $L$-functions of cuspidal automorphic type for some $\GL_m$, and using Godement and Jacquet’s generalization of Tate’s thesis.
There may be an absolute version of the above construction that would allow to use only Tate’s thesis to prove the functional equation of the given arithmetic $L$-function for the absolute motive $h^*(X/F_1)$ that describes the decomposition of the $L$-function of $h^*(X/\Z)$ in factors with respect to the spectral weight of its zeroes and poles.
One may develop an analog of Hodge theory in this context (working with real analytic additive functions in the $s$ and $\bar{s}$ coordinates, and the corresponding analog of the Laplacian; the formal theory with Sobolev spaces seems to carry through to this context as one may see on wikipedia). This will not give finite dimensionality of de Rham cohomology, because of the above remark on the Poincaré group. However, such a Hodge theory may still have interesting applications related to its interaction with Poincaré duality in additive de Rham cohomology, since, in good cases, all the given construction are compatible with the given flow.
Last revised on February 11, 2019 at 03:42:16. See the history of this page for a list of all contributions to it.