Showing math.AGShow all
2 papers · 1 filter
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.AG2024
Deformations and Lifts of Calabi-Yau Varieties in Characteristic
Lukas Brantner, Lenny Taelman
We study deformations of Calabi-Yau varieties in characteristic using techniques from derived algebraic geometry. We prove a mixed characteristic analogue of the Bogomolov-Tian…