4 papers
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.…
Deformation Theory and Partition Lie Algebras
Lukas Brantner, Akhil Mathew
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-k…
Poincaré-Birkhoff-Witt Theorems in Higher Algebra
Omar AntolÃn-Camarena, Lukas Brantner, Gijs Heuts
We extend the classical Poincaré-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic rel…
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…