logo AFST
Non-Archimedean analytic geometry as relative algebraic geometry
Oren Ben-Bassat; Kobi Kremnizer
Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 26 (2017) no. 1, p. 49-126

We show that non-Archimedean analytic geometry can be viewed as relative algebraic geometry in the sense of Toën–Vaquié–Vezzosi over the category of non-Archimedean Banach spaces. For any closed symmetric monoidal quasi-abelian category we define a topology on certain subcategories of the category of (relative) affine schemes. In the case that the monoidal category is the category of abelian groups, the topology reduces to the ordinary Zariski topology. By examining this topology in the case that the monoidal category is the category of Banach spaces we recover the G-topology or the topology of admissible subsets on affinoids which is used in rigid or Berkovich analytic geometry. This gives a functor of points approach to non-Archimedean analytic geometry. We demonstrate that the category of Berkovich analytic spaces (and also rigid analytic spaces) embeds fully faithfully into the category of (relative) schemes in our version of relative algebraic geometry. We define a notion of quasi-coherent sheaf on analytic spaces which we use to characterize surjectivity of covers. Along the way, we use heavily the homological algebra in quasi-abelian categories developed by Schneiders.

Nous montrons que la géométrie analytique non-archimédienne peut être considérée comme la géométrie algébrique relative, au sens de Toën-Vaquié, au-dessus de la catégorie des espaces de Banach non-archimédiens. Pour toute catégorie symétrique monoïdale fermée quasi-abélienne nous définissons une topologie sur certaines sous-catégories de la catégorie des schémas affines (relatifs). Dans le cas où la catégorie monoïdale est celle des groupes abéliens, la topologie coïncide avec la topologie de Zariski usuelle. En examinant cette topologie pour la catégorie des espaces de Banach, nous retrouvons la G-topologie faible ou encore la topologie des sous-ensembles admissibles sur un affinoïde utilisée en géométrie rigide. Cela donne une approche de type foncteur des points à la géométrie analytique non-archimédienne. Nous démontrons que la catégorie des espaces analytiques de Berkovich (et aussi des espaces analytiques rigides) se plonge de manière pleinement fidèle dans la catégorie des schémas relatifs. Nous définissons une notion de faisceau quasi-cohérent sur les espaces analytiques que nous utilisons pour caractériser les familles couvrantes. En chemin nous utilisons l’algèbre homologique dans les catégories quasi-abéliennes développée par Schneiders.

Received : 2016-02-10
Accepted : 2016-03-07
Published online : 2017-02-07
DOI : https://doi.org/10.5802/afst.1526
@article{AFST_2017_6_26_1_49_0,
     author = {Oren Ben-Bassat and Kobi Kremnizer},
     title = {Non-Archimedean analytic geometry as relative algebraic geometry},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {Ser. 6, 26},
     number = {1},
     year = {2017},
     pages = {49-126},
     doi = {10.5802/afst.1526},
     language = {en},
     url = {https://afst.centre-mersenne.org/item/AFST_2017_6_26_1_49_0}
}
Ben-Bassat, Oren; Kremnizer, Kobi. Non-Archimedean analytic geometry as relative algebraic geometry. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 26 (2017) no. 1, pp. 49-126. doi : 10.5802/afst.1526. afst.centre-mersenne.org/item/AFST_2017_6_26_1_49_0/

[1] The Stacks Project (http://stacks.math.columbia.edu/tag/00QL)

[2] The Stacks Project (http://stacks.math.columbia.edu/tag/00WX)

[3] The Stacks Project (http://stacks.math.columbia.edu/tag/00WW)

[4] The Stacks Project (http://stacks.math.columbia.edu/tag/00XT)

[5] Jiří Adámek; Jiří Rosický Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, Tome 189, Cambridge University Press, 1994, xiv+316 pages

[6] Konstantin Ardakov; Simon Wadsley On irreducible representations of compact p-adic analytic groups, Ann. Math., Tome 178 (2013) no. 2, pp. 453-557 | Article

[7] Michael Artin; Alexander Grothendieck; Jean-Louis Verdier Théorie des topos et cohomologie étale des schémas, Lecture Notes in Mathematics., Tome 269, Springer, 1972, xix+525 pages

[8] Federico Bambozzi On a generalization of affinoid varieties (2013) (Ph. D. Thesis)

[9] Federico Bambozzi; Oren Ben-Bassat Dagger geometry as Banach algebraic geometry, J. Number Theory, Tome 162 (2016), pp. 391-462 | Article

[10] Federico Bambozzi; Oren Ben-Bassat; Kobi Kremnizer Stein Domains in Banach Algebraic Geometry (https://arxiv.org/abs/1511.09045)

[11] Oren Ben-Bassat; Kobi Kremnizer A perspective on the foundations of derived analytic geometry (preprint)

[12] Oren Ben-Bassat; Michael Temkin Berkovich spaces and tubular descent, Adv. Math., Tome 2343 (2013), pp. 217-238 | Article

[13] Vladimir G. Berkovich Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, Tome 33, American Mathematical Society, 1990, ix+169 pages

[14] Vladimir G. Berkovich Non-Archimedean analytic spaces (2009) (Advanced School on p-adic Analysis and Applications, ICTP, Trieste, www.wisdom.weizmann.ac.il/~vova/Trieste_2009.pdf)

[15] Jonathan Block Mayer-Vietoris sequences in cyclic homology of topological algebras (1987) (https://www.math.upenn.edu/~blockj/papers/msri.pdf, MSRI 01208-88)

[16] S. Bosch; Ulrich Güntzer; Reinhold Remmert Non-Archimedean analysis. A systematic approach to rigid analytic geometry, Grundlehren der Mathematischen Wissenschaften, Tome 261, Springer, 1984, xii+436 pages

[17] Nicolas Bourbaki Topological vector spaces, Springer, 1987, vii+364 pages (Transl. from the French by H. G. Eggleston and S. Madan.)

[18] Alexander Braverman; David Kazhdan Representations of affine Kac-Moody groups over local and global fields: a survey of some recent results (https://arxiv.org/abs/1205.0870)

[19] Lee Cohn Differential graded categories are k-linear stable -categories (https://arxiv.org/abs/1308.2587)

[20] Pierre Deligne Catégories tannakiennes, The Grothendieck Festschrift, Collect. Artic. in Honor of the 60th Birthday of A. Grothendieck. Vol. II (Prog. Math.) Tome 87, Birkhäuser, 1990, pp. 111-195

[21] Daniel Dugger; Sharon Hollander; Daniel C. Isaksen Hypercovers and simplicial presheaves, Math. Proc. Camb. Philos. Soc., Tome 136 (2004) no. 1, pp. 9-51 | Article

[22] Jörg Eschmeier; Mihai Putinar Spectral decompositions and analytic sheaves, London Mathematical Society Monographs. New Series., Tome 10, Oxford Univ. Press., 1996, x+362 pages

[23] Alexander Grothendieck Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas, Publ. Math., Inst. Hautes Étud. Sci., Tome 32 (1967), pp. 1-361

[24] Laurent Gruson Théorie de Fredholm p-adique, Bull. Soc. Math. Fr., Tome 94 (1966), pp. 67-95 | Article

[25] Monique Hakim Topos anneles et schemas rélatifs, Ergebnisse der Mathematik und ihrer Grenzgebiete., Tome 64, Springer, 1972, vi+158 pages

[26] Alexander Ya. Helemskii Lectures and exercises on functional analysis, Translations of Mathematical Monographs, Tome 233, American Mathematical Society, 2006, xvii+468 pages

[27] Séminaire Banach (Christian Houzel, ed.), Lecture Notes in Mathematics., Tome 277, Springer, 1972, v+229 pages

[28] Christian Houzel Espaces analytiques relatifs et théorème de finitude, Math. Ann., Tome 205 (1973), pp. 13-54 | Article

[29] Roland Huber Continuous valuations, Math. Z., Tome 212 (1993) no. 3, pp. 455-477 | Article

[30] Audrey W. Ingleton The Hahn-Banach theorem for non-Archimedean-valued fields, Proc. Camb. Philos. Soc., Tome 48 (1952), pp. 41-45 | Article

[31] Mikhail Kapranov The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups (https://arxiv.org/abs/math/0001005)

[32] Maxim Kontsevich; Alexander Rosenberg Noncommutative smooth spaces (https://arxiv.org/abs/math/9812158)

[33] Jacob Lurie Higher algebra (www.math.harvard.edu/~lurie/papers/HA.pdf)

[34] Jacob Lurie Tanaka duality for geometric stacks (https://arxiv.org/abs/math/0412266)

[35] Jacob Lurie Higher topos theory, Annals of Mathematics Studies, Tome 170, Princeton University Press, 2009, xv+925 pages

[36] Andrew W. Macpherson Skeleta in non-Archimedean and tropical geometry (https://arxiv.org/abs/1311.0502)

[37] Ralf Meyer Embeddings of derived categories of bornological modules (https://arxiv.org/abs/math/0410596)

[38] Ralf Meyer Local and analytic cyclic homology, EMS Tracts in Mathematics, Tome 3, European Mathematical Society, 2007, viii+360 pages

[39] Manish M. Patnaik Geometry of Loop Eisenstein Series (2008) (Ph. D. Thesis)

[40] Frederic Paugam Global analytic geometry (http://arxiv.org/pdf/0803.0148v3)

[41] A. Yu. Pirkovskij On certain homological properties of Stein algebras, J. Math. Sci., New York, Tome 95 (1999) no. 6, pp. 2690-2702 | Article

[42] Jérôme Poineau Les espaces de Berkovich sont angéliques, Bull. Soc. Math. Fr., Tome 141 (2013) no. 2, pp. 267-297 | Article

[43] Mauro Porta Derived complex analytic geometry I: GAGA theorems (https://arxiv.org/abs/1506.09042)

[44] Mauro Porta Derived complex analytic geometry II: square-zero extensions (https://arxiv.org/abs/1507.06602)

[45] Mauro Porta; Tony Yue Yu Higher analytic stacks and GAGA theorems (https://arxiv.org/abs/1412.5166)

[46] Mauro Porta; Tony Yue Yu Derived non-Archimedean analytic spaces (https://arxiv.org/abs/1601.00859)

[47] Fabienne Prosmans Algèbre homologique quasi-abélienne (1995) (Ph. D. Thesis)

[48] Jean-Pierre Ramis; Gabriel Ruget Résidus et dualité, Invent. Math., Tome 26 (1974), pp. 89-131 | Article

[49] Alain M. Robert A course in p-adic analysis, Graduate Texts in Mathematics, Tome 1998, Springer, 2000, xv+437 pages

[50] Raymond A. Ryan Introduction to tensor products of Banach spaces, Springer Monographs in Mathematics., Springer, 2002, xiv+225 pages

[51] Peter Schneider Nonarchimedean functional analysis, Springer Monographs in Mathematics, Springer, 2002, 156 pages (Revised course notes from Winter 1997/1998 course at the University of Münster)

[52] Jean-Pierre Schneiders Quasi-abelian categories and sheaves, Mém. Soc. Math. Fr., Nouv. Sér., Tome 76 (1998), pp. 1-140

[53] Yan S. Soibelman On non-commutative analytic spaces over non-Archimedean fields, Homological mirror symmetry. New developments and perspectives (Lecture Notes in Physics) Tome 757, Springer, 2009, pp. 221-247

[54] Joseph L. Taylor A general framwork for a multi-operator functional calculus, Adv. Math., Tome 9 (1972), p. 1833-252 | Article

[55] Michael Temkin Introduction to Berkovich analytic spaces (people.math.gatech.edu/~mbaker/pdf/aws07mb_v4.pdf)

[56] Michael Temkin A new proof of the Gerritzen-Grauert theorem, Math. Ann., Tome 333 (2005) no. 2, pp. 261-269 | Article

[57] Amaury Thuillier Géométrie toroïdale et géométrie analytique non archimédienne. Application au type d’homotopie de certains schémas formels, Manuscr. Math., Tome 123 (2007) no. 4, pp. 381-451 | Article

[58] Bertrand Toën Simplicial presheaves and derived algebraic geometry (https://hal.archives-ouvertes.fr/hal-00772850)

[59] Bertrand Toën; Michel Vaquié Algébrisation des variétés analytiques complexes et catégories dérivées, Math. Ann., Tome 342 (2008) no. 4, pp. 789-831 | Article

[60] Bertrand Toën; Michel Vaquié Under Spec , J. K-Theory, Tome 3 (2009) no. 3, pp. 437-500 | Article

[61] Bertrand Toën; Gabriele Vezzosi From HAG to DAG: derived moduli stacks, Axiomatic, enriched and motivic homotopy theory. Proceedings of the NATO Advanced Study Institute, Cambridge, UK, September 9–20, 2002 (NATO Science Series II: Mathematics, Physics and Chemistry) Tome 131 (2004), pp. 173-216

[62] Bertrand Toën; Gabriele Vezzosi Homotopical algebraic geometry I: Topos theory, Adv. Math., Tome 193 (2005) no. 2, pp. 257-372 | Article

[63] Bertrand Toën; Gabriele Vezzosi Brave new algebraic geometry and global derived moduli spaces of ring spectra, Elliptic cohomology. Geometry, applications, and higher chromatic analogues. Selected papers of the workshop, Cambridge, UK, December 9–20, 2002 (London Mathematical Society Lecture Note Series) Tome 342 (2007), p. 325-259

[64] Bertrand Toën; Gabriele Vezzosi Homotopical algebraic geometry II: Geometric stacks and applications, Mem. Am. Math. Soc., Tome 902, American Mathematical Society, 2008, 224 pages

[65] Tony Yue Yu Gromov compactness in tropical geometry and in non-Archimedean analytic geometry (https://arxiv.org/abs/1401.6452)