3 papers
math.AG2025
Formal Integration of Derived Foliations
Lukas Brantner, Kirill Magidson, Joost Nuiten
Frobenius' theorem in differential geometry asserts that every involutive subbundle of the tangent bundle of a manifold integrates to a decomposition of into smooth leaves.…
math.KT2025
Witt vectors and -Cartier rings
Kirill Magidson
We give a universal property of the construction of the ring of -typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize…
math.AG2024
Divided Powers and Derived De Rham Cohomology
Kirill Magidson
We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and derived crystalline cohomology in this framework. We characterize derived…