🔢 mathematics

Derived representation schemes with arbitrary coefficients and associative smoothness

This paper demonstrates that representation homology with arbitrary finite-dimensional coefficients provides a strictly stronger and complete characterization of associative formal smoothness for finitely generated algebras, vanishing for formally smooth cases and detecting nonsmoothness where matrix coefficients fail.

Original authors: Guanyu Li

Published 2026-07-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Guanyu Li

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

Imagine you are trying to understand the shape of a mysterious, invisible object. You can't see it directly, so you send out a swarm of tiny, flexible probes to touch it. If the object is perfectly smooth, every probe glides over it without snagging. If the object has a hidden crack or a jagged edge, the probes get stuck or bounce back in a weird way. This is the basic idea behind a branch of mathematics called algebraic geometry, where mathematicians study "shapes" defined by equations. Sometimes, these shapes aren't made of clay or steel, but of pure logic and numbers, called "associative algebras." To understand if these logical shapes are smooth or broken, mathematicians use a tool called "representation homology." Think of this as a super-sensitive scanner that checks the object by seeing how it interacts with different kinds of "test kits." For a long time, scientists only used one specific type of test kit (matrix algebras), but they started noticing that some broken shapes were hiding their cracks from this specific scanner.

The paper you are about to read, written by Guanyu Li, tackles a big question: Can we find a better test kit that catches every broken shape? The author explores a new method where, instead of using just one type of probe, we use a vast variety of different finite-dimensional algebras as our test kits. The goal is to see if this broader approach can finally prove that a shape is smooth, or if it can definitively catch the ones that the old scanners missed. It's like upgrading from a single metal detector to a whole arsenal of different sensors to ensure you don't miss a single hidden treasure or a single dangerous mine.

The Main Discovery: A Stronger Test for Smoothness

The paper proves two main things. First, it confirms that if an algebraic shape is truly "formally smooth" (a high-level math way of saying it has no hidden cracks or singularities), then this new, broader scanner will definitely show zero glitches. In other words, if the shape is perfect, the new test kits will all glide over it smoothly, just like the old ones did. This part of the story is a confirmation of a known rule, but the author proves it using a clever new trick involving "cotangent complexes" (think of these as measuring the tension in the fabric of the shape) and a theorem by Neeman, which avoids some of the heavy, complicated machinery used in previous proofs.

However, the real excitement comes from the second discovery: the new scanner is strictly better than the old one. The paper shows that there are specific shapes—like the "quantum plane" and the "Jordan plane"—that look perfectly smooth to the old, standard matrix probes. If you only used the old tools, you would be fooled into thinking these shapes were perfect. But when the author applies the new, arbitrary coefficients (the new test kits), these shapes reveal their true nature: they are actually broken. The new probes get stuck, proving that these shapes are not smooth. This means the old method was blind to certain types of cracks, but the new method sees them all.

The Big Question and the Partial Answer

This leads to a fascinating question that the paper raises but doesn't fully solve for every possible case: If a shape passes the test with every single possible finite-dimensional probe (meaning no glitches are found with any of them), does that guarantee the shape is perfectly smooth? The author suggests that the answer is likely "yes," but they can only prove it for a specific, smaller group of shapes: finite-dimensional algebras. For these smaller, manageable shapes, the paper proves that if the new scanner finds no glitches, the shape is definitely smooth. This provides strong evidence for the idea that this new, broader method is the ultimate test for smoothness.

The paper also points out a quirk in this world: the new test is sensitive to the specific "flavor" of the shape, not just its general size. Even if two shapes are mathematically equivalent in a broad sense (Morita equivalent), they might react differently to these specific probes. This is a feature, not a bug, because it allows the scanner to see details that the old, coarser tools missed.

What the Paper Rules Out

It is important to note what this paper says is not true. The author explicitly rules out the idea that the old, standard matrix probes are enough to detect all broken shapes. The paper provides concrete examples where the old probes say "smooth" but the shape is actually "broken." Therefore, relying solely on the old method is insufficient for a complete understanding of these algebraic shapes. The paper does not claim to have solved the mystery for all infinite or complex shapes, only for the finite-dimensional ones, and it leaves the question open for the general case, inviting future mathematicians to see if the "yes" answer holds up for everything.

In summary, Guanyu Li has built a more powerful microscope for looking at algebraic shapes. We know for sure that this microscope sees cracks that the old one missed, and we know for sure that if a shape is perfect, this microscope will confirm it. For a specific class of shapes, we even know that if the microscope sees no cracks, the shape is definitely perfect. It's a significant step forward in our ability to map the hidden landscapes of non-commutative geometry, turning a blurry picture into a sharp, detailed image.

Technical Summary: Derived Representation Schemes with Arbitrary Coefficients and Associative Smoothness

Problem Statement
The paper addresses the limitations of classical representation homology in detecting the formal smoothness of associative algebras. While the derived Kontsevich–Rosenberg principle suggests that geometric properties of an algebra $A$ should be reflected in its derived representation schemes $DRep_V(A)$ , existing results (specifically the Berest–Felder–Ramadoss vanishing theorem) show that if $A$ is formally smooth, its higher representation homology $HR_i(A, V)$ vanishes for $i > 0$ . However, the converse fails: there exist non-smooth algebras (e.g., certain quantum planes) whose higher representation homology vanishes when coefficients are restricted to matrix algebras $End_k(V)$ . The central problem is whether expanding the class of coefficients beyond matrix algebras to arbitrary finite-dimensional algebras yields a strictly stronger smoothness test capable of characterizing formal smoothness.

Methodology
The author generalizes the framework of representation homology by replacing the standard coefficient algebra $End_k(V)$ with an arbitrary finite-dimensional $k$ -algebra $M$ .

Generalized Coefficients: A representation of $A$ with coefficient $M$ is defined as an algebra homomorphism $A \to M$ . The associated derived scheme is denoted $DRep_M(A)$ , and its homology is $HR_*(A, M)$ .
Vanishing Theorem Proof: To prove that formal smoothness implies the vanishing of higher representation homology for all finite-dimensional coefficients, the author avoids the "semifree resolution with locally finite-dimensional underlying DG algebra" hypothesis used in previous proofs (e.g., Ciocan-Fontanine–Kapranov). Instead, the proof utilizes:
- A comparison argument involving the cotangent complex.
- Neeman's fiberwise detection theorem (Lemma 2.11 in [15]) to establish that a morphism of DG schemes is a quasi-isomorphism if it induces isomorphisms on derived tangent spaces at all points.
- The identification of derived tangent spaces $\pi_i(DRep_M(A), \rho)$ with Hochschild cohomology groups $HH^{i+1}(A, M_F)$ .
Counter-Example Construction: To demonstrate the increased sensitivity of arbitrary coefficients, the author explicitly computes representation homology for the quantum plane $k[x,y]_q$ and the Jordan plane using the algebra of strictly upper triangular matrices $(\mathfrak{n}_3)^+$ as the coefficient. This involves constructing Koszul complexes to show non-trivial homology.
Characterization for Finite-Dimensional Algebras: For the case where $A$ itself is finite-dimensional, the author proves the converse of the vanishing theorem by utilizing trivial extensions $A \ltimes N$ as test coefficients.

Key Contributions and Results

Theorem 3.4 (Generalized Vanishing): If $A$ is a finitely generated formally smooth $k$ -algebra, then $HR_i(A, M) = 0$ for all $i > 0$ and for any finite-dimensional $k$ -algebra $M$ .
- Significance: This recovers the known vanishing theorem without requiring the technically demanding "locally finite-dimensional" condition on the semifree resolution of $A$ , relying instead on the finiteness of $A$ and the properties of the cotangent complex.
Detection of Non-Smoothness (Theorems 4.1 & 4.2): The paper demonstrates that representation homology with non-matrix coefficients detects singularities invisible to matrix coefficients.
- For the quantum plane $k[x,y]_q$ ( $q$ not a root of unity), $HR_1(k[x,y]_q, (\mathfrak{n}_3)^+) \neq 0$ .
- For the Jordan plane $k[x,y]_J$ , $HR_1(k[x,y]_J, (\mathfrak{n}_3)^+) \neq 0$ .
- These results confirm that passing from matrix to arbitrary finite-dimensional coefficients yields a strictly stronger smoothness test.
Theorem 4.3 (Characterization for Finite-Dimensional Algebras): Let $A$ be a finite-dimensional $k$ -algebra over an algebraically closed field $k$ . Then $A$ is formally smooth if and only if $HR_i(A, M) = 0$ for all $i > 0$ and for every finite-dimensional algebra $M$ .
- Mechanism: The proof utilizes the trivial extension $M = A \ltimes N$ as a coefficient. The vanishing of $HR_i(A, A \ltimes N)$ implies the vanishing of $HH^{i+1}(A, N)$ for all finite-dimensional bimodules $N$ , which characterizes formal smoothness for finite-dimensional algebras.
Appendix (Comparison Criterion): The author isolates the core argument of the main proof to establish a general comparison criterion for DG schemes (Proposition A.4). This result recovers the Ciocan-Fontanine–Kapranov comparison theorem under weaker hypotheses, specifically requiring only that the underlying scheme is locally Noetherian rather than a "DG-manifold" with specific structural constraints.

Significance and Claims
The paper claims that derived representation schemes with arbitrary finite-dimensional coefficients provide a "strictly stronger smoothness test" than the classical matrix-valued version.

Philosophical Alignment: The results support the derived Kontsevich–Rosenberg principle by suggesting that representation homology with arbitrary coefficients may furnish a complete homotopical characterization of associative smoothness.
Limitations and Open Questions: The paper explicitly frames the converse of the vanishing theorem for general finitely generated Noetherian algebras as an open question (Question 1). While the converse is proven for finite-dimensional algebras, the author does not claim to have solved the general case.
Morita Invariance: The paper notes that representation homology with finite-dimensional coefficients is not Morita invariant (unlike formal smoothness itself), highlighting a fundamental difference between the algebraic property and its representation-theoretic invariants.

In summary, the work establishes that expanding the coefficient class in representation homology resolves known counterexamples to the smoothness characterization, providing a robust tool for detecting non-smoothness and offering a complete characterization for the specific, yet important, class of finite-dimensional algebras.

The Main Discovery: A Stronger Test for Smoothness

The Big Question and the Partial Answer

What the Paper Rules Out

More like this