overconvergent global analytic geometry



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.

Basic ideas

The basic building blocks for overconvergent global analytic geometry over a given Banach ring (R,||)(R,{\vert\cdot\vert}) are given by polydiscs of radius 11 (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 RatAlg R sRatAlg_R^s and RatAlg RRatAlg_R 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 An R An_R^\dagger, An R ,sAn_R^{\dagger,s}, DAn R DAn_R^\dagger and DAn R ,sDAn_R^{\dagger,s} of strict and non-strict overconvergent derived and non-derived analytic spaces.


Projective line

One may define the strict projective line R 1\mathbb{P}^1_R over RR by pasting the overconvergent unit disc D 1=𝕄(R{T} )D^1=\mathbb{M}(R\{T\}^\dagger) with itself along its boundary U(1)=𝕄(R{T,S} /(ST1))U(1)=\mathbb{M}(R\{T,S\}^\dagger/(ST-1)) by the map T1/TT\mapsto 1/T. This gives a strict analytic space over RR. This strict construction of the projective line is particularly interesting when the base Banach ring is the ring \mathbb{Z} 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.

Unitary group

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

M n 1:={(a ij)M n,max i,j|a ij|1} M_n^{\leq 1} := \{(a_{ij})\in M_n,\;\max_{i,j}|a_{ij}|\leq 1\}

in the (non-strict analytic) affine space M n=𝔸 n 2M_n=\mathbb{A}^{n^2} of matrices. Since matrix multiplication on M nM_n does not restrict to a morphism

M n 1× RM n 1M n 1,M_n^{\leq 1}\times_R M_n^{\leq 1}\to M_n^{\leq 1},

this matrix polydisc is not a monoid. This implies that the naive definition of a global analytic version of U(n)U(n), given by

U(n){(A,B)M n 1,AB=BA=I}, U(n) \coloneqq \{(A,B)\in M_n^{\leq 1},\;A B = B A = I\},

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 M n 1M_n^{\leq 1} a simplicial analytic space (a kind of nerve) given by forcing the multiplication to be defined:

BM n 1[k]{(A i)(M n 1) k, j[s]A j(M n 1) sf:[s][k]}. BM_n^{\leq 1}_{[k]}\coloneqq \{(A_i)\in (M_n^{\leq 1})^{k},\; \prod_{j\in [s]} A_j\in (M_n^{\leq 1})^{s}\;\forall f:[s]\hookrightarrow [k]\}.

One may then define the nn-dimensional global unitary infinity-groupoid BU(n)BU(n) to be given by the analytic sub-groupoid of BGL nB\GL_n defined by

BU(n)BGL nBM n 1. BU(n) \coloneqq B\GL_n\cap BM_n^{\leq 1} \,.

Remark now that BM n 1BM_n^{\leq 1} is a strict simplicial analytic space, because it is a subspace of the strict simplicial space [k](M n 1) k[k]\mapsto (M_n^{\leq 1})^k defined by strict inequalities. One may also see BU(n)BU(n) as a closed strict simplicial analytic subspace of BM n 1×BM n 1BM_n^{\leq 1}\times BM_n^{\leq 1} of pairs (A,B)(A,B) such that AB=BA=IAB=BA=I.

We may now look at what we get over various standard Banach rings:

  • Over (,|| 0)(\mathbb{Z},|\cdot|_0), the scheme (i.e., strict analytic space over a trivially normed ring) U(n)U(n) is isomorphic to GL n,GL_{n,\mathbb{Z}}.

  • Over ( p,|| p)(\mathbb{Q}_p,|\cdot|_p), the rigid analytic space U(n)U(n) is such that U(n)( p)=GL n( p)U(n)(\mathbb{Q}_p)=\GL_n(\mathbb{Z}_p).

  • Over (,|| )(\mathbb{Z},|\cdot|_\infty), the space U(n)U(n) is not an analytic group, and U(n)(,|| )U(n)(\mathbb{Z},|\cdot|_\infty) is closer to what people usually denote GL n(𝔽 {±1})\GL_n(\mathbb{F}_{\{\pm 1\}}), where 𝔽 {±1}\mathbb{F}_{\{\pm 1\}} denotes the field with one element in Durov’s sense.

  • Over \mathbb{C}, the space U(n)U(n) contains the classical unitary group U(n)()U(n)(\mathbb{C}), since one has, for every complex matrix A=(a ij)A=(a_{ij}), a natural inequality

    A max:=max(|a ij|)A 2,\|A\|_{max}:=\max(|a_{ij}|)\leq \|A\|_2,

    where A 2\|A\|_2 is the operator norm for the hermitian norm on n\mathbb{C}^n. This thus gives a natural morphism

    BU n()BU(n)()BU_{n}(\mathbb{C})\to BU(n)(\mathbb{C})

    from the simplicial classifying space of the classical unitary group U n(C)U_{n}(\C) to the complex points of the simplicial “classifying space” BU(n)BU(n).

It is also clearly compact (contained in a product of polydiscs) and contained in the non-strict analytic group GL n()\GL_{n}(\mathbb{C}). Since U(n)()U(n)(\mathbb{C}) is a maximal compact subgroup, we have that U(n)U(n) is indeed the complex unitary group over \mathbb{C}.

Arithmetic principal unitary bundles

The good properties of the global analytic unitary group may imply that there is a natural bijection

π 0(BU(n)(,|| ))K\GL n(𝔸)/GL n(), \pi_0(BU(n)(\mathbb{Z},|\cdot|_\infty))\cong K\backslash \GL_n(\mathbb{A})/\GL_n(\mathbb{Q}),

where KK is the maximal compact subgroup O(n,)×GL n(^)O(n,\mathbb{R})\times \GL_n(\hat{\mathbb{Z}}) of GL n(𝔸)\GL_n(\mathbb{A}). 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 BU(n)BU(n) of principal U(n)U(n)-bundles on strict global analytic spaces.

derived analytic geometry

global Hodge theory

global analytic index theory

generalized global analytic geometry


Last revised on October 30, 2015 at 16:37:41. See the history of this page for a list of all contributions to it.