Unstable Synthetic Homotopy Theory

• Unstable Synthetic Homotopy Theory is an emerging framework blending higher category theory, deformation techniques, and synthetic spectra to analyze unstable algebraic deformations.
• The approach employs infinitesimal (square-zero) extensions to construct categorical Postnikov towers and systematically compare various model truncations.
• This framework generalizes classical obstruction theory, offering new methods for derived algebraic geometry, spectral algebra, and addressing complex moduli problems.

Unstable synthetic homotopy theory is an emerging framework in higher category theory and homotopy theory that studies algebraic theories and their unstable deformations using methods from $\infty$-categorical algebra, deformation theory, and the formalism of synthetic spectra. Central to this approach is the analysis of Malcev theories—$\infty$-categorical algebraic theories with mapping spaces in the subcategory of supersimple spaces (spaces with vanishing Whitehead products)—and their categories of models, which encompass classical homotopical structures such as connective modules and $E_k$-algebras. Through the lens of infinitesimal (square-zero) extensions, one obtains systematic control over the differences between various truncations of these theories, enabling new categorical forms of Postnikov towers, "cofibre of $τ$" formalism, and decomposition results for moduli spaces reminiscent of Blanc–Dwyer–Goerss. These advances generalize classical obstruction theory and provide new tools for derived algebraic geometry, spectral algebra, and homotopic moduli problems (Balderrama et al., 13 Jan 2026).

1. Malcev Theories and $\infty$-Categories of Models

A Malcev theory is a small $\infty$-category $\mathcal{P}$ with finite coproducts, whose mapping spaces are supersimple—that is, Whitehead products vanish—and generated by a set of essentially small objects. The $\infty$-category of models for a Malcev theory is given by

$$\mathrm{Model}_{\mathcal{P}} = \mathrm{Fun}^{\times}(\mathcal{P}, \mathcal{S}),$$

the full subcategory of product-preserving functors into spaces $\mathcal{S}$. This category is presentable and generalizes numerous classical homotopy-theoretic constructs. Examples include the theory of connective modules, $E_k$-algebras, and other algebraic categories arising as functor categories from such $\infty$-categories.

2. Infinitesimal Extensions and Categorical Deformation Theory

The study of deformations in this context centers on infinitesimal, or square-zero, extensions of $\infty$-categories. Modifications are performed via functors $F \in \mathrm{End}(\mathcal{S})$ preserving finite products, acting on $S$-enriched $\infty$-categories $\mathcal{C}$ by replacing the mapping spaces $\mathrm{Map}_{\mathcal{C}}(a,b)$ with $F(\mathrm{Map}_{\mathcal{C}}(a,b))$. Postnikov truncations $\tau_{<n}$ thereby yield homotopy $n$-categories $h_n\mathcal{C}$.

A natural system of $R$-modules on $\mathcal{C}$, for a connective $E_1$-ring $R$, is defined by product-preserving functors $$D: \mathrm{Tw}(\mathcal{C}) \to \mathrm{Mod}_R^{\geq 0}$$. Linear (square-zero) extensions of $\infty$-categories are functors $f: \mathcal{Q} \to \mathcal{P}$ fitting into a cartesian square in $(\mathcal{C})_{/\mathcal{C}}$, governed by spectrum objects encoding natural systems, analogous to classical square-zero extensions for rings and modules.

3. Postnikov Towers and Square-Zero Extensions

A defining insight is the realization that categorical Postnikov towers in Malcev theories consist of towers of square-zero extensions. For $\infty$-categories $\mathcal{C}$ with mapping spaces in supersimple spaces, Postnikov truncations assemble as modifications $\mathcal{C}_{\tau_{<n}} \simeq h_n \mathcal{C}$, and the induced maps $h_{n+r} \mathcal{C} \to h_n \mathcal{C}$ are linear extensions by systems $H\Pi_{[n, n+r)}$ of spectra on $h_r \mathcal{C}$, generalizing the role of classical $k$-invariants.

The categorical structure is captured by the existence of spectrum objects $$k_{n,r}^\bullet(\mathcal{C}) \in \mathrm{Mod}_{S_{<r}}((h_r\mathcal{C})_{/h_r\mathcal{C}})$$, and the following cartesian diagram:

h_{n+r}\mathcal{C} ──→ h_r\mathcal{C} ↓ ↓ 0 h_n\mathcal{C} ──→ k_{n,r}^{n+1}\mathcal{C}

This identifies $h_{n+r}\mathcal{C}$ as the square-zero extension of $h_n\mathcal{C}$ by the $(n+1)$st layer of $k^\bullet$.

Passage from a Malcev theory $\mathcal{P}$ to its model category $\mathrm{Model}_\mathcal{P}$ lifts these squares to cartesian diagrams of $\infty$-categories of models, establishing linear extensions in $\infty$-categorical settings.

4. Cofibre of $τ$ Formalism and Comparisons of Model Categories

The "cofibre of $τ$" formalism provides a systematic method to study the infinitesimal difference between categories of models associated to various Postnikov truncations. For any $X$ in $\mathrm{Model}_\mathcal{P}$, its derived Postnikov tower is given by the limit

$X \simeq \lim_n \tau_{n!}X,$

where each transition map is a linear extension in $\mathrm{Model}_{h_n\mathcal{P}}$ by the corresponding image under models, $D_!$. This produces an explicit description of $\mathrm{Model}_\mathcal{P}$ as an infinitesimal deformation of $\mathrm{Model}_{h\mathcal{P}}$, paralleling the classical construction of $A$ from $\pi_0A$ via square-zero extensions.

Mapping spaces satisfy

$$\mathrm{Map}_\mathcal{P}(Y, X) \simeq \lim_n \mathrm{Map}_{h_n\mathcal{P}}(\tau_{n!}Y, \tau_{n!}X),$$

with each level organized in a cartesian square, demonstrating that the difference between mapping spaces across truncations is controlled by the "cofibre of $τ^r$".

5. Blanc–Dwyer–Goerss Decompositions and Moduli Spaces

Blanc–Dwyer–Goerss style decompositions, grounded in obstruction theory, are provided for moduli spaces of lifts along the tower of model categories. For a loop theory $\mathcal{P}$ and discrete $\Lambda \in \mathrm{Model}_{h\mathcal{P}}$, the moduli space of realizations

$$\mathcal{M}(\Lambda) = \{X \in \mathrm{Model}_\mathcal{P} \mid \tau_! X \simeq \Lambda\}$$

admits an equivalence

$$\mathcal{M}(\Lambda) \simeq \lim_n \mathcal{M}_n(\Lambda),$$

where the iterated tower is governed by $k$-invariant squares for each $n$. At each stage, one encounters obstruction classes $$k(X) \in H^{n+2}_{h\mathcal{P}/\Lambda}(\Lambda; \Lambda_{S^n})$$, indicating when an $n$-stage can be lifted to an $(n+1)$-stage.

The general theorem on spaces of lifts along linear extensions applies to each square in the "spiral" tower, with convergence guaranteed by the model spiral convergence theorem. This recovers classical iterative obstruction theory, now situated in the context of $\infty$-categories and synthetic homotopy.

6. Examples and Applications

Unstable synthetic homotopy theory finds direct applications in several significant areas:

• For connective modules over a ring spectrum $A$, the structure recovers Lurie's $\infty$-categorical Postnikov gluing of connective $A$-modules.
• The approach interpolates between spectral and derived algebra; for $\mathcal{P}$ the theory of free $E_k$-algebras, the resulting tower links $\mathrm{Alg}_{E_k}$ and $\mathrm{CAlg}^\Delta$.
• Universal coefficient and GO-Hopkins spectral sequences naturally arise from the mapping-space decompositions presented by the theory.

A plausible implication is that this formalism will facilitate new methods for analyzing obstruction problems, moduli of structured ring spectra, and spectral algebraic geometry through the universal and higher-categorical nature of Malcev theories and their square-zero extensions (Balderrama et al., 13 Jan 2026).