🔢 mathematics

The period map from commutative to noncommutative deformations

This paper investigates the period map linking infinitesimal deformations of a qcqs derived scheme to those of its associated $\infty$ -category of quasi-coherent sheaves, identifying the map on tangent fibers with the dual HKR map and demonstrating that scheme liftability and certain classical deformation functors are derived invariants.

Original authors: Samuel A. Moore

Published 2026-08-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Samuel A. Moore

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a persistent effort to understand how shapes and spaces can change. Imagine a geometric object, like a smooth surface or a complex curve, sitting in a mathematical universe. Mathematicians are deeply interested in how such an object might wiggle, stretch, or deform into a slightly different shape. This is the study of deformation theory. For decades, researchers have focused on "commutative" deformations, where the rules of algebra governing the shape's coordinates behave in a familiar, predictable way, much like standard arithmetic where the order of multiplication does not matter. However, there is a parallel, more exotic world of "noncommutative" deformations. Here, the algebraic rules are twisted; the order of operations changes the outcome, leading to structures that do not look like traditional geometric shapes but instead resemble complex networks of relationships. While these two worlds—commutative and noncommutative—have been studied separately, a central question has remained: do they share the same fundamental secrets? Specifically, if a traditional shape can be smoothly deformed, does its noncommutative counterpart, which encodes the same essential information in a different language, also allow for that same deformation?

A recent paper by Samuel A. Moore tackles this question by building a bridge between these two realms. The author focuses on a specific type of mathematical object called a derived scheme, which is a sophisticated generalization of the geometric shapes studied in algebraic geometry. These objects are defined over a field, a set of numbers that serves as the foundation for the geometry. Moore constructs a precise map, a kind of translator, that takes a small, infinitesimal change in the traditional geometric shape and translates it into a corresponding change in its noncommutative version. This noncommutative version is not a shape in the usual sense, but rather a vast category of mathematical structures known as quasicoherent sheaves, which can be thought of as a library of all the possible data and functions that can live on the original shape. The paper investigates whether this translation process preserves the ability to deform. In other words, if the original shape can be lifted to a slightly larger or more complex setting, does the noncommutative library of data also lift?

The core of the research involves analyzing the "tangent fibers" of these deformation processes. In simple terms, a tangent fiber represents the immediate, tiny possibilities for movement or change at a specific point. Moore identifies a specific mathematical map that connects the tangent fiber of the geometric shape to the tangent fiber of its noncommutative library. This connection is described as a dual version of a well-known map in mathematics called the HKR map. By studying this connection, the author determines exactly when the translation is one-to-one and when it might lose information. The findings reveal that in many cases, particularly when the underlying number system has a characteristic of zero (like the real or complex numbers) or under specific conditions in positive characteristic, the ability to deform the geometric shape is perfectly mirrored by the ability to deform its noncommutative library.

The paper proves that for a wide class of these mathematical objects, the property of being "liftable"—meaning the ability to extend a shape from a simple setting to a slightly more complex one—is a derived invariant. This means that if two different geometric shapes have noncommutative libraries that are mathematically equivalent, then either both shapes can be lifted to a new setting, or neither can. This is a significant result because it confirms that the noncommutative library captures the essential deformation properties of the original shape, at least for square-zero extensions, which are the simplest type of small deformations. The author shows that this holds true provided the characteristic of the number field is not two, and in many other specific scenarios.

Furthermore, the research explores cases where the entire classical deformation process is identical for both the shape and its noncommutative counterpart. This happens when certain cohomological conditions are met, essentially meaning that the internal "obstructions" that might prevent a shape from deforming are absent in both worlds. The paper provides concrete examples, such as certain types of Calabi-Yau varieties, which are special geometric shapes of interest in both mathematics and theoretical physics. For these shapes, the paper demonstrates that the map between the two worlds is so strong that it creates a perfect one-to-one correspondence between their possible deformations. This implies that for these specific cases, studying the noncommutative library is just as effective as studying the geometric shape itself when trying to understand how they can change.

The work also addresses the behavior of these objects in positive characteristic, a setting where standard mathematical tools often fail. Here, the author shows that the conditions required for certain spectral sequences to degenerate—a technical way of saying that complex calculations simplify into a manageable form—are themselves preserved under derived equivalence. This refines previous results and clarifies the behavior of specific Calabi-Yau threefolds that have been constructed to be derived equivalent but behave differently in other contexts. The paper concludes that while there are exceptions, particularly in positive characteristic with specific constraints, the general rule is that the noncommutative perspective faithfully reflects the commutative one regarding liftability.

Ultimately, this research provides a rigorous framework for understanding the relationship between geometry and its noncommutative shadow. By constructing a period map that links the two, and proving its injectivity under various conditions, the author establishes that the deformation theory of a geometric object is deeply encoded in the structure of its associated category of sheaves. This confirms that the noncommutative world is not just a parallel universe of abstract algebra, but a faithful mirror that retains the crucial geometric properties of the shapes it represents. The findings offer a powerful tool for mathematicians, allowing them to translate difficult geometric problems into the language of noncommutative categories, where they might be easier to solve, with the assurance that the solution will hold true for the original shape.

Technical Summary: The Period Map from Commutative to Noncommutative Deformations

Problem Statement
The paper investigates the relationship between two distinct deformation theories associated with a scheme $X$ over a field $k$ : the classical deformation theory of the scheme $X$ itself, and the "noncommutative" deformation theory of the stable $k$ -linear $\infty$ -category of quasicoherent sheaves, $\text{QC}(X)$ . While infinitesimal deformations of schemes are classically controlled by the tangent complex, deformations of $\infty$ -categories are governed by Hochschild cohomology. The central problem is to construct and analyze the "period map" $\theta$ that relates these two deformation functors, specifically determining how the commutative deformation problem embeds into the noncommutative one. A key motivation is to understand the extent to which liftability (the ability to deform a scheme over a base ring) is a derived invariant, particularly in positive characteristic where classical tools like differential graded Lie algebras (DGLAs) are insufficient.

Methodology
The author employs the framework of derived algebraic geometry and the theory of formal moduli problems (as developed by Lurie and Pridham). The methodology proceeds through the following steps:

Formal Moduli Setup: The paper defines derived deformation functors $\text{Def}_{X,\Lambda}$ for a derived scheme $X$ and $\text{CatDef}_{\text{QC}(X),\Lambda}$ for the category $\text{QC}(X)$ over animated (simplicial commutative) rings. These are treated as formal moduli problems, which are equivalent to derived partition Lie algebras (shifted DGLAs in characteristic 0).
Construction of the Period Map: A map $\theta: \text{Def}_{X,\Lambda} \to \text{CatDef}_{\text{QC}(X),\Lambda}$ is constructed by sending a lift $Y$ of $X$ to the category $\text{QC}(Y)$ .
Tangent Fibre Analysis: The paper computes the tangent fibre of this period map. This involves:
- Identifying the tangent space of $\text{Def}_{X}$ with the shifted global sections of the tangent complex, $R\Gamma(X, T_{X/k})[1]$ .
- Identifying the tangent space of $\text{CatDef}_{\text{QC}(X)}$ with the shifted Hochschild cochains, $HH^\bullet(X/k)[2]$ .
- Utilizing Atiyah classes and Hochschild homology to relate these spaces. Specifically, the author generalizes results by Cldaru and Buchweitz–Flenner to show that the map on tangent fibres is the dual HKR map (the dual of the Hochschild–Kostant–Rosenberg map), $R\Gamma(X, T_{X/k})[-1] \to HH^\bullet(X/k)$ .
Injectivity and Spectral Sequences: The core technical work involves analyzing the injectivity of the dual HKR map on homotopy groups ( $\pi_i$ ). This is achieved by studying the HKR spectral sequence and its differentials, particularly in positive characteristic. The paper also establishes conditions under which the HKR, Tate, and de Rham–HP spectral sequences degenerate.

Key Contributions and Results

The Period Map and Tangent Identification (Theorem A): The paper constructs the period map $\theta$ for derived schemes and proves that its induced map on tangent fibres, $T\theta$ , is equivalent to the dual HKR map $R\Gamma(X, T_{X/k})[1] \to HH^\bullet(X/k)[2]$ .
Injectivity Conditions: The paper establishes precise conditions under which $T\theta$ $T θ$ is injective on homotopy groups $\pi_i$ $π_{i}$ :
- In characteristic 0, $T\theta$ is injective for all $i$ .
- In characteristic $p > 0$ , injectivity holds for $i \ge n + 2 - p$ (where $X$ is $n$ -truncated) or if the strong HKR theorem holds.
- For weak Calabi–Yau varieties, injectivity is linked to the vanishing of specific differentials in the HKR spectral sequence.
Derived Invariance of Liftability (Theorem B): A primary application is the proof that liftability along square-zero extensions is a derived invariant under certain conditions. Specifically, if $X$ and $Y$ are derived equivalent (i.e., $\text{QC}(X) \simeq \text{QC}(Y)$ ) and the map $T\theta$ is injective on $\pi_{-1}$ (which holds if $\text{char}(k) \neq 2$ for classical schemes), then $X$ lifts to a square-zero extension $A$ if and only if $Y$ does.
Isomorphism of Deformation Functors (Corollary 1.4): Under specific vanishing conditions on cohomology groups (e.g., $H^1(Z, \mathcal{O}_Z)$ , $H^2(Z, \mathcal{O}_Z)$ , and $H^0(Z, \wedge^2 T_{Z/k})$ vanish), the period map induces an isomorphism between the classical deformation functors of $X$ and $\text{QC}(X)$ . Consequently, derived equivalent schemes satisfying these conditions have isomorphic classical deformation functors.
Degeneration of Spectral Sequences (Proposition 1.2): The paper provides a criterion for the degeneration of the HKR, Tate, and de Rham–HP spectral sequences for smooth proper schemes in characteristic $p > 0$ , assuming torsion-free crystalline cohomology and degeneration of the Hodge–de Rham spectral sequence.
Abelian Partition Lie Algebras: The paper introduces the notion of "derived-unobstructed" formal moduli problems (those corresponding to abelian partition Lie algebras) and shows that if the target partition Lie algebra (Hochschild) is abelian and the period map is injective, the source (scheme) is also derived-unobstructed.

Significance and Claims
The paper claims to partially answer a question posed by Lieblich regarding the extent to which liftability is a derived invariant in positive and mixed characteristic. By utilizing the formalism of formal moduli problems and partition Lie algebras, the author extends results previously known primarily in characteristic 0 to a broader setting.

Derived Invariance: The results demonstrate that for a wide class of schemes (including strict Calabi–Yau varieties in characteristic 0 and certain cases in positive characteristic), the property of being liftable to a square-zero extension is preserved under derived equivalence. This sharpens previous results by Antieau–Bragg and clarifies the behavior of derived-equivalent Calabi–Yau threefolds.
Obstruction Theory: The approach via formal moduli problems provides a canonical, functorial obstruction theory. The map $T\theta$ respects obstruction classes, allowing the transfer of obstruction information from the noncommutative side (Hochschild) to the commutative side (schemes).
Generalization: The work generalizes the "commutative-to-noncommutative" period map to derived schemes and animated rings, moving beyond the smooth/proper assumptions often required in earlier literature (e.g., Toën, Kontsevich–Katzarkov–Pandit).

The author notes that while the results are strong for square-zero extensions, the behavior for higher-order deformations remains an open question, citing examples where derived-equivalent Calabi–Yau threefolds have deformation spaces of different dimensions. The paper also acknowledges independent work by Kurama and Perry that overlaps with these results.

Technical Summary: The Period Map from Commutative to Noncommutative Deformations

More like this