arXiv subjects

Matteo Montagnani

Publications and source records attributed to Matteo Montagnani.

3 recordsLinked to original sources

arXiv2026

Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid analytic variety is smooth if and only if its associated category of nuclear sheaves is smooth. Furthermore, we relate the compact generation of the category of nuclear sheaves to the algebraization of the rigid analytic variety; these results are then employed to obtain an example of a non atomically generated but internally smooth category.

math.AG↗

arXiv2025

An axiomatic approach to analytic $1$-affineness

The notion of $1$-affineness was originally formulated by Gaitsgory in the context of derived algebraic geometry. Motivated by applications to rigid and analytic geometry, we introduce two very general and abstract frameworks where it makes sense to ask for objects to be $1$-affine with respect to some sheaf of categories. The first framework is suited for studying the problem of $1$-affineness when the sheaf of categories arises from an operation in a six-functor formalism over $\mathscr{C}$; we apply it to the setting of analytic stacks and condensed mathematics. The second one concerns $1$-affineness in the context of quasi-coherent sheaves of categorical modules over stable module categories: it simultaneously generalizes the algebro-geometric setting of Gaitsgory and makes it possible to formulate the problem also when dealing with rigid analytic varieties and categories of nuclear modules.

math.AG↗

arXiv2025

Algebraization of rigid analytic varieties and formal schemes via perfect complexes

In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes is smooth and proper. As a corollary, we deduce an analogous statement for formal schemes and demonstrate that, in general, the bounded derived category of coherent sheaves on a formal scheme is not smooth.

math.AG↗