Algebraization and Tannaka duality
The author computes some natural colimits of algebraic spaces using a new Tannaka duality result for algebraic spaces. The paper considers the following three situations: Let \(X\) be any quasi-compact quasi-separated algebraic space then for any I-adically complete ring \(A\) one has \(X(A) \simeq \lim X(A/I^n)\) (``algebraization of jets), and for any set \(A_i\) of rings one has \(X(\prod A_i) \simeq \prod_i X(A_i)\) (``algebraization of products). The third main theorem is a ``formal gluing result. I will just state an important special case here: Given \(X\) as above with a closed subspace \(Z\), complement \(U = X \setminus Z\) and completion \(\hat X\) then X is the pushout of \(\hat X\) and \(U\) along \(V = \hat X \setminus Z\), and similarly D(X) is \(D(\hat X) \times_{D(V)} D(U)\). (Here \(D(X)\) is the infinity category of quasi-coherent complexes on \(X\).) The reader will note that the assumptions are very mild. The author provides a large number of instructive examples throughout the text, including proofs of some (easier) special cases of the main results as well as counterexamples showing that most assumptions are sharp. For example, the first two results do not hold for algebraic stacks. All the proofs proceed via the following Tannaka duality result, which is of independent interest: Given quasi-compact quasi-separated algebraic spaces \(X\) and \(S\) one has that \(\Hom(S,X)\) is equivalent via pullback to exact monoidal functors between the infinity categories of perfect complexes on X and S. Thus the proofs of the main results can be reduced to showing equivalences of categories of perfect complexes. One has to work with (some version of) infinity categories here, considering derived categories would not suffice. Bharghav's proof of Tannaka duality makes use of Jacob Lurie's work in derived algebraic geometry. In fact, various Tannaka duality results predate this work, for example Lurie's Tannaka duality for derived stacks. The author gives references in the introduction. But when specialising to algebraic spaces previous results required stricter assumptions on the algebraic spaces \(S\) and \(X\).
- Tannaka-Krein duality for Hopf algebroids
- Jet closures and the local isomorphism problem
- Brane actions, categorifications of Gromov-Witten theory and quantum \(K\)-theory
- Canonical lifts and \(\delta\)-structures
- Tannaka duality revisited
- The resolution property via Azumaya algebras
- Finite morphisms and Nash multiplicity sequences
- Local triviality for \(G\)-torsors
- The \(\operatorname{arc}\)-topology
- Contact loci and Hironaka's order
- Prisms and prismatic cohomology
- The \(\text{K}\)-theory of perfectoid rings
- Problems about torsors over regular rings
- Small irreducible components of arc spaces in positive characteristic
- Perverse sheaves on infinite-dimensional stacks, and affine Springer theory
- Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
- Descent for coherent sheaves along formal/open coverings
- Motivic volumes of fibers of tropicalization
- Constructing colimits by gluing vector bundles
- Differentials on the arc space
- Coherent Tannaka duality and algebraicity of Hom-stacks
- Triviality of arc closures and the local isomorphism problem
- Projectivity of the Witt vector affine Grassmannian
- The scheme of monogenic generators. I: Representability
- Adelic descent for K-theory
- Embedding codimension of the space of arcs
- Adelic descent theory
- Stringy invariants and toric Artin stacks
- Minimal log discrepancies in positive characteristic
- The test function conjecture for local models of Weil-restricted groups
- scientific article; zbMATH DE number 5057446 (Why is no real title available?)
- Arc spaces and wedge spaces for toric varieties
- A prismatic approach to crystalline local systems
- Motivic zeta functions of hyperplane arrangements
- Constructible sheaves on schemes
- Mayer–Vietoris squares in algebraic geometry
- Finiteness of leaps in the sense of Hasse-Schmidt of unibranch curves in positive characteristic
- Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts
- Principal bundles and adeles
- Standard monomials and invariant theory of arc spaces. II: Symplectic group
- The relatively perfect Greenberg transform and cycle class maps
- Singularities, the space of arcs and applications to birational geometry
- Jet schemes and their applications in singularities, toric resolutions and integer partitions
- Standard monomials and invariant theory for arc spaces. III: Special linear group.
- On arc fibers of morphisms of schemes
- A flag version of Beilinson-Drinfeld Grassmannian for surfaces
- The log tangent space of the log jet space
- Formal GAGA for gerbes
- Formal lifting of dualizing complexes and consequences
- A Fourier transform for Banach-Colmez spaces
- Prismatic G-displays and descent theory
- The affine Grassmannian as a presheaf quotient
- On jet schemes of determinantal varieties
- Non-abelian Rees construction and pure motives
This page was built for publication: Algebraization and Tannaka duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q502274)
