We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Pseudocoherent and Perfect Complexes and Vector Bundles on Analytic Adic Spaces

Abstract: Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective modules over $\mathcal{O}_X(X)$ form a stack with respect to the analytic topology on $X$; in particular, we prove that the category of vector bundles on $X$ is equivalent to the category of finite projective modules over $\mathcal{O}_X(X)$. To that end, we construct a fully faithful functor from the category of complete Huber pairs to the category of analytic rings in the sense of Clausen and Scholze and study its basic properties. Specifically, we give an explicit description of the functor of measures of the analytic ring associated to a complete Huber pair. We also introduce, following the ideas of Kedlaya-Liu, notions of \textit{pseudocoherent module} and \textit{pseudocoherent sheaf} in the context of adic spaces (where the latter can be regarded as an analogue of the notion of coherent sheaf in algebraic geometry) and show that there is a similar equivalence of the corresponding categories.
Comments: 43 pages
Subjects: Algebraic Geometry (math.AG)
Report number: MPIM-Bonn-2021
Cite as: arXiv:2105.12591 [math.AG]
  (or arXiv:2105.12591v1 [math.AG] for this version)

Submission history

From: Grigory Andreychev [view email]
[v1] Wed, 26 May 2021 14:49:16 GMT (51kb)

Link back to: arXiv, form interface, contact.