Infinite-dimensional vector bundles in algebraic geometry (an introduction)

Abstract

Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and claims that it is local. The definition takes in account that the K_{-1} of a ring is not necessarily zero. However, we prove that K_{-1} always vanishes after Nisnevich sheafification. As a discrete counterpart of families of Tate spaces, we introduce the notion of almost projective module. We discuss the notions of dimension torsor and determinant gerbe of a family of Tate spaces. The above technique has two different applications. First, we clarify the structure of the ind-scheme of formal loops of a smooth affine manifold Y. This allows to define a "refined" motivic integral of a differential form on Y with no zeros, which is an object of a triangulated category rather than an element of its K_0 group. Second, we show that almost projective modules and families of Tate spaces appear naturally in the study of the cohomology of a family of finite-dimensional vector bundles on a punctured smooth manifold. The canonical central extension that comes from this cohomology allows to interpret the "Uhlenbeck compactification" of the stack of vector bundles on the projective plane as the fine moduli space of a certain type of generalized vector bundles.

30 pages

References in corpus (1)

• Semiinfinite symmetric powers

Cited by in corpus (16)

• On exact categories and applications to triangulated adjoints and model structures
• The two-dimensional Contou-Carrère symbol and reciprocity laws
• On p-adic lattices and Grassmannians
• p-adic J-homomorphisms and a product formula
• Higher adeles and non-abelian Riemann-Roch
• Zariski locality of quasi-coherent sheaves associated with tilting
• Tate objects in stable $(\infty ,1)$-categories
• Hochschild coniveau spectral sequence and the Beilinson residue
• Higher Tate central extensions via K-theory and infinity-topos theory
• Steenrod Operators, the Coulomb Branch and the Frobenius Twist, I
• Formal loops III: Factorizing functions and the Radon transform
• On Lie algebroid over algebraic spaces
• Projective objects in the category of pointwise finite dimensional representations of an interval finite quiver
• Cohomologie étale des espaces d'arcs
• Locally free twisted sheaves of infinite rank
• Quasi-compact group schemes, Hopf sheaves, and their representations