View source for Rigid analytic space

{{TEX|done}}
A variant of the concept of an [[Analytic space|analytic space]] related to the case where the ground field $K$ is a complete non-Archimedean normed field.

Analytic functions of a $p$-adic variable were considered as long ago as the end of the 19th century in algebraic number theory, whereas the corresponding global object — a rigid analytic space — was introduced by J. Tate only in the early sixties of the 20th century (see [[#References|[1]]]). This construction was preceded by a more direct construction on the pattern of the theory of complex-analytic manifolds. The main lack of the latter approach is connected with the fact that the usual local definition of an analytic function as a power-series expansion in a neighbourhood of every point is inconvenient in view of the fact that the ground field $K$ is completely disconnected. The analytic functions defined in this way turned out to be "too numerous" (and, correspondingly, the analytic manifolds "too few" ). For example, every compact analytic manifold over $K$ is the union of finitely many closed balls (see [[#References|[2]]]). Tate's construction starts with the local objects — the affinoid spaces, analogous to the affine varieties in algebraic geometry. Let $T_n$ be the algebra of power series in $n$ variables $t_1,\dots,t_n$ over $K$ that converge in the polydisc $|t_1|\leq1,\dots,|t_n|\leq1$. The quotient algebras of $T_n$ are called [[affinoid algebra]]s. These algebras are Noetherian and they have a natural Banach topology in which all ideals are closed and all homomorphisms continuous. It turns out that every maximal ideal of such an algebra has finite codimension, and the space $\operatorname{Max}A$ of maximal ideals consists, up to conjugacy, of geometric points defined over finite extensions of $K$. In particular, $\operatorname{Max}T_n$ is the polydisc of unit radius, and, more generally, for arbitrary $A$ the space $\operatorname{Max}A$ is an analytic subset (cf. [[Analytic set|Analytic set]]) of the polydisc. Homomorphisms $\phi\colon A\to B$ define morphisms $\phi^*\colon\operatorname{Max}B\to\operatorname{Max}A$, so that the affinoid spaces form a category.

A rigid structure on a topological space $X$ is a collection $(T,\Cov U,\mathcal O_X)$, where $T$ is a family of open sets in $X$, called admissible; for each $U\in T$, $\Cov U$ is a family of coverings of $U$ by admissible sets (admissible coverings); and $\mathcal O_X$ is a [[Pre-sheaf|pre-sheaf]] of rings on $T$. For an admissible covering it is required that certain natural axioms be satisfied, in particular, admissible coverings are refinable (cf. [[Refinement|Refinement]]), and the pre-sheaf $\mathcal O_X$ must be a [[Sheaf|sheaf]] with respect to all admissible coverings by admissible sets. Morphisms of spaces with a rigid structure, and also the concept of the rigid structure induced on a subspace, are defined by analogy with these concepts for ringed spaces. Every affinoid space may be endowed with a canonical rigid structure, which is preserved under morphisms. A rigid analytic space is, by definition, a topological space with a rigid structure on which there exists an admissible covering $X=\bigcup X_i$ such that every $X_i$, with the induced rigid structure, is isomorphic to an affinoid space equipped with the canonical rigid structure.

Several results have been obtained for rigid analytic spaces that are analogous to known theorems in the theory of complex spaces. Thus, there are analogues of Cartan's Theorems A and B (see [[Cartan theorem|Cartan theorem]], [[#References|[4]]]). More exactly, the coherent sheaves of $\mathcal O_X$-modules on affinoid spaces are uniquely determined by the module of their sections and their cohomology spaces in dimensions $\geq1$. Also valid is the analogue of Grauert's theorem on the coherence of the image of a [[Coherent sheaf|coherent sheaf]] under a proper mapping (however, the definition of a proper mapping is very different from the usual one). A $p$-adic analogue of [[Uniformization|uniformization]] of algebraic curves and algebraic varieties has been constructed (see [[#References|[5]]]). A connection has been discovered between the concept of a rigid analytic space and that of a formal [[Scheme|scheme]] in algebraic geometry (see [[#References|[5]]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> J. Tate, "Rigid analytic spaces" ''Invent. Math.'' , '''12''' (1971) pp. 257–289 {{MR|0306196}} {{ZBL|0212.25601}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N.A. Bourbaki, "Variétés différentielles et analytique. Fascicule de résultats" , ''Eléments de mathématiques'' , Hermann (1967–1971) pp. Fasc. XXXIII (Par. 1–7); Fasc. XXXVI (Par. 8–15) {{MR|0281115}} {{MR|0219078}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top"> J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) {{MR|0218496}} {{ZBL|0132.27803}} </TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top"> J.-P. Serre, "Algèbres de Lie semi-simples complexes" , Benjamin (1966) {{MR|0215886}} {{ZBL|0144.02105}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> C. Housel, "Espaces analytiques rigides" , ''Sem. Bourbaki (1966/67)'' , '''Exp. 32''' , Benjamin (1968)</TD></TR><TR><TD valign="top">[5a]</TD> <TD valign="top"> D. Mumford, "An analytic construction of degenerating curves over complete local rings" ''Compos. Math.'' , '''24''' : 2 (1972) pp. 129–174 {{MR|0352105}} {{ZBL|0243.14010}} {{ZBL|0228.14011}} </TD></TR><TR><TD valign="top">[5b]</TD> <TD valign="top"> D. Mumford, "An analytic construction of degenerating abelian varieties over complete rings" ''Compos. Math.'' , '''24''' : 2 (1972) pp. 239–272 {{MR|0352106}} {{ZBL|0241.14020}} </TD></TR></table>