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.AT2025
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 rela…