Abstract: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-known principle in deformation theory. We introduce a variant of differential graded Lie algebras, called partition Lie algebras, in arbitrary characteristic. We then explicitly compute the homotopy groups of free algebras, which parametrise operations. Finally, we prove generalisations of the Lurie-Pridham correspondence classifying formal moduli problems via partition Lie algebras over an arbitrary field, as well as over a complete local base.
What problem does this paper attempt to address?
This paper attempts to address the correspondence between formal moduli problems and Lie algebra structures under finite and mixed characteristics. Specifically:
1. **Background Problem**:
- In the case of characteristic zero, formal moduli problems can be described by differential graded Lie algebras. This correspondence was established by Lurie and Pridham and has been widely studied and applied.
- However, under finite and mixed characteristics, this correspondence has not been fully explored. Formal moduli problems in these cases cannot be directly described using classical differential graded Lie algebras or other known Lie algebra structures.
2. **Paper Objective**:
- Introduce a new algebraic structure called **partition Lie algebras** as a generalization of differential graded Lie algebras under finite and mixed characteristics.
- Prove that under finite and mixed characteristics, formal moduli problems can be classified by partition Lie algebras.
3. **Main Results**:
- **Theorem 1.12**: If \( k \) is a field, there exists an equivalent infinity category
\[
\text{Moduli}_{k,\Delta} \simeq \text{Alg}_{\text{Lie}^\pi_k,\Delta}
\]
This equivalence relates formal moduli problems to partition Lie algebras.
- **Theorem 1.21**: In the context of spectral algebraic geometry, there is a similar equivalence
\[
\text{Moduli}_{k,E_\infty} \simeq \text{Alg}_{\text{Lie}^\pi_k,E_\infty}
\]
- **Theorem 1.23**: Under mixed characteristics, for a complete local Noetherian ring \( A \) and its residue field \( k \), there is a corresponding equivalence
\[
\text{Moduli}_{A//k,\Delta} \simeq \text{Alg}_{\text{Lie}^\pi_{A,\Delta}}
\]
and
\[
\text{Moduli}_{A//k,E_\infty} \simeq \text{Alg}_{\text{Lie}^\pi_{A,E_\infty}}
\]
By introducing partition Lie algebras, the paper provides an algebraic method to describe formal moduli problems under finite and mixed characteristics, thus filling a gap in this field. This not only helps in understanding formal deformation theory under these characteristics but also provides new tools and perspectives for the study of other related problems.