Filtered formal groups, Cartier duality, and derived algebraic geometry

2021/01/25 by Tasos Moulinos · 1 citation
Mathematics · #math.AG #math.AT #math.KT

paper · pdf · doi:10.46298/epiga.2024.7640

Abstract

We develop a notion of formal groups in the filtered setting and describe a duality relating these to a specified class of filtered Hopf algebras. We then study a deformation to the normal cone construction in the setting of derived algebraic geometry. Applied to the unit section of a formal group \widehat\mathbbG, this provides a \mathbbG_m-equivariant degeneration of \widehat\mathbbG to its tangent Lie algebra. We prove a unicity result on complete filtrations, which, in particular, identifies the resulting filtration on the coordinate algebra of this deformation with the adic filtration on the coordinate algebra of \widehat\mathbbG. We use this in a special case, together with the aforementioned notion of Cartier duality, to recover the filtration on the filtered circle of [MRT19]. Finally, we investigate some properties of \widehat\mathbbG-Hochschild homology set out in loc. cit., and describe "lifts" of these invariants to the setting of spectral algebraic geometry.

Cited by

• Filtrations and cohomology I: crystallization

Related

• Continuous Hochschild Cohomology and Formality
• Spreading out the Hodge filtration in non-archimedean geometry
• Sheaves of Twisted Cherednik Algebras as Universal Filtered Formal Deformations
• Formal manifolds: foundations
• Formal Derived Algebraic Geometry