nLab
rigid analytic geometry

Idea

Rigid analytic geometry is a form of analytic geometry over a nonarchimedean field $K$ which considers spaces glued from maximal spectra of so-called Tate algebra?s (quotients of a $K$-algebra of converging power series). This is in contrast to some modern approaches to non-Archimedean analytic geometry. In contrast to this are the Berkovich analytic spaces which are glued from Berkovich analytic spectra and more recent Huber’s adic spaces.

The idea goes back to John Tate. According to Kedlaya, p. 18, the terminology “rigid” is because…

… one develops everything “rigidly” by imitating the theory of schemes in algebraic geometry, but using rings of convergent power series instead of polynomials.

See also global analytic geometry.

Cohomology

The related type of cohomology is called rigid cohomology.

Applications

• The solution by Raynaud and Harbater of Abyhankar’s conjecture concerning fundamental groups of curves in positive characteristic uses the rigid analytic GAGA theorems (whose proofs are very similar to Serre’s proofs in the complex-analytic case).

• Work of Kisin on modularity of Galois representations makes creative use of rigid-analytic spaces associated to Galois deformation rings.

References

An original article is

• John Tate, Rigid analytic spaces, Invent. Math. 12:257–289, 1971.

and for the construction of the generic fiber of formal schemes over the ring of integers of $K$

• Michel Raynaud, Géométrie analytique rigide d’après Tate, Kiehl,⋯, Table Ronde d’Analyse non archimédienne (Paris, 1972), pp. 319–327. Bull. Soc. Math. France, Mem. No. 39–40, Soc. Math. France, Paris, 1974, MR470254

Introductions are in

• Johannes Nicaise, Formal and rigid geometry: an intuitive introduction, and some applications (pdf)

• Brian Conrad, Several approaches to non-Archimedean geometry, pdf

• Peter Schneider, Basic notions of rigid analytic geometry, in: Galois representations in arithmetic algebraic geometry (Durham, 1996), 369–378, London Math. Soc. Lecture Note Ser. 254, Cambridge Univ. Press 1998, doi

Comparison of various spectra and topologies is in

• M. van der Put, P. Schneider, Points and topologies in rigid geometry, Math. Ann. 302 (1995), no. 1, 81–103, MR96k:32070, doi

Other accounts include

• Ahmed Abbes, Éléments de Géométrie Rigide, vol. I. Construction et étude géométrique des espaces rigides, Progress in Mathematics 286, Birkhäuser 2011, 496 p.book page
• S. Bosch, U. Güntzer, R. Remmert, Non-archimedean analysis, Grundlehren der Mathem. Wissen. 261, Springer 1984 MR0746961
• Siegfried Bosch, Lectures on formal and rigid geometry, Preprints of SFB Geom. Struk. Math. Heft 378, pdf (revised 2008)
• J. Fresnel, M. van der Put, Rigid geometry and applications, Birkhäuser (2004) MR2014891
• F. Denef, L. van den Dries, $p$-adic and real subanalytic sets, Ann. of Math. 128 (1988) no. 1, 79–138 MR951508, doi
• Yan Soibelman, On non-commutative analytic spaces over non-archimedean fields, preprint IHES, pdf
• Hans Grauert, Reinhold Remmert, Coherent analytic sheaves, Springer 1984
• R. Cluckers, L. Lipshitz, Fields with analytic structure, J. Eur. Math. Soc. 13, 1147–1223, pdf and several articles (in various formalisms) in collection
• R. Cluckers, J. Nicaise, J. Sebag (Editors), Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry, 2 vols. London Mathematical Society Lecture Note Series 383, 384
• Peter Schneider, Points of rigid analytic varieties, J. Reine Angew. Math. 434 (1993), 127–157, MR94b:14017, doi

See also

• Kiran Kedlaya, $p$-Adic differential equations (pdf)