Overconvergent global analytic geometry is a setting for global analytic geometry that allows the definition of strict and non-strict analytic spaces over an arbitrary Banach rings, ind-Banach ring, or more ind-pseudo-Banach ring. It also gives a notion of analytic motivic homotopy theory and derived global analytic geometry.
The basic building blocks for overconvergent global analytic geometry over a given Banach ring are given by polydiscs of radius (in the strict situation) or arbitrary real radius (in the non-strict situation), and more generally, by strict (or non-strict) rational domains in them. This gives two categories and of rational domain algebras that actually form pre-geometries in the sense of Lurie.
One then defines analytic (resp. derived analytic) algebras as functors (resp. homotopical functors) of functions on the categories of rational domain algebras. The various types of finitely presented analytic algebras define various types of geometries in Lurie’s sense. One may then define analytic (resp. derived analytic) stacks as functors (resp. homotopical functors) of points on analytic (resp. derived analytic) algebras.
This gives in particular four categories , , and of strict and non-strict overconvergent derived and non-derived analytic spaces.
One may define the strict projective line over by pasting the overconvergent unit disc with itself along its boundary by the map . This gives a strict analytic space over . This strict construction of the projective line is particularly interesting when the base Banach ring is the ring of integers equipped with its usual archimedean absolute value. This strict structure is intuitively very close to what people call an archimedean compactification, e.g., in Arakelov geometry.
One may try to use a similar construction to define higher dimensional global analogs of unitary groups: one may simply start from the strict polydisc
in the (non-strict analytic) affine space of matrices. Since matrix multiplication on does not restrict to a morphism
this matrix polydisc is not a monoid. This implies that the naive definition of a global analytic version of , given by
only gives a strict analytic space that is not equipped with an analytic group structure (except if one works in a non-archimedean setting).
One may however associate to a simplicial analytic space (a kind of nerve) given by forcing the multiplication to be defined:
One may then define the -dimensional global unitary infinity-groupoid to be given by the analytic sub-groupoid of defined by
Remark now that is a strict simplicial analytic space, because it is a subspace of the strict simplicial space defined by strict inequalities. One may also see as a closed strict simplicial analytic subspace of of pairs such that .
We may now look at what we get over various standard Banach rings:
Over , the scheme (i.e., strict analytic space over a trivially normed ring) is isomorphic to .
Over , the rigid analytic space is such that .
Over , the space is not an analytic group, and is closer to what people usually denote , where denotes the field with one element in Durov’s sense.
Over , the space contains the classical unitary group , since one has, for every complex matrix , a natural inequality
where is the operator norm for the hermitian norm on . This thus gives a natural morphism
from the simplicial classifying space of the classical unitary group to the complex points of the simplicial “classifying space” .
It is also clearly compact (contained in a product of polydiscs) and contained in the non-strict analytic group . Since is a maximal compact subgroup, we have that is indeed the complex unitary group over .
The good properties of the global analytic unitary group may imply that there is a natural bijection
where is the maximal compact subgroup of . It is thus quite a tempting idea to try to formulate the arithmetic Langlands program in geometric terms (similar to the ones used in the geometric Langlands correspondence over a function field) using the classifying stack of principal -bundles on strict global analytic spaces.
generalized global analytic geometry
Last revised on October 30, 2015 at 20:37:41. See the history of this page for a list of all contributions to it.