2 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.KT2024
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…