Trivial extension DG-algebras, unitally positive $A_\infty$-algebras, and applications

Emma Lepri; Joseph Karmazyn; Michael Wemyss

Trivial extension DG-algebras, unitally positive $A_\infty$-algebras, and applications

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A new trivial-extension DG-algebra and a unitally positive A-infinity algebra prove that smooth 3-fold flops are classified by their contraction algebras.

desk verdict A well-executed second proof of Donovan-Wemyss via two genuinely new general constructions; the residual risk sits in standard flops facts and external recovery theorems, not in the paper's own logic. read the letter →

arxiv 2411.17359 v2 pith:7NOEQFHA submitted 2024-11-26 math.AG math.RT

Joseph Karmazyn , Emma Lepri , Michael Wemyss This is my paper · ORCID

classification math.AGmath.RT MSC 14E3014J3016E4516S38

keywords trivialextensionDG-algebraunitallypositiveA-infinityalgebraDonovan-Wemyssconjecture3-foldflopscontractionalgebrasperiodicmodulesnoncommutativecrepantresolutionsminimalmodels

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves the Donovan–Wemyss conjecture: smooth 3-fold flopping contractions with one curve over a complete local base are classified, up to isomorphism, by their contraction algebras. The proof builds two new derived objects from arbitrary periodic modules: a trivial extension DG-algebra T, and a unitally positive A-infinity algebra N that keeps only the identity and the positive cohomology. In the flop setting, N reconstructs the endomorphism DG-algebra of the resolution's tilting bundle from the finite-dimensional contraction algebra alone. From that bridge, known results on derived contraction algebras and singularity categories force the base rings to be isomorphic whenever the contraction algebras are. The same machinery also gives the multi-curve version of the conjecture.

What carries the argument

The load-bearing construction has two stages. First, given any module with a length-n periodic projective resolution, the paper forms the trivial extension DG-algebra T by taking the endomorphism DG-algebra of the periodic complex and adding a shifted bimodule copy of it, with an explicit multiplication and differential; this algebra is quasi-isomorphic to the more homological endomorphism DG-algebra and its cohomology is a window of Hom and Ext groups. Second, for any unital DG-algebra it passes to a strictly unital minimal model and restricts to the span of the identity plus all positive cohomology, producing the unitally positive A-infinity algebra N. The critical mechanism in the flop case is the A-infinity isomorphism between the endomorphism DG-algebra of the crepant resolution's resolution and N; once this bridge is in place, the classification follows by taking Koszul duals and applying the singularity-category recovery result.

What would settle it

The conjecture would fall if two smooth one-curve 3-fold flops over complete local rings had isomorphic contraction algebras but non-isomorphic base rings; a more local check is to find a smooth 3-fold flop whose contraction algebra's simple module has nonzero Tor in a degree other than 0 or 3, which would break Lemma 7.1 and Setup 6.1.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central discovery is an A-infinity reconstruction theorem: the strictly unital minimal model of the endomorphism DG-algebra of the noncommutative crepant resolution's resolution Q is A-infinity-isomorphic to the unitally positive A-infinity algebra built from the contraction algebra. In the flops setting the contraction algebra is symmetric, spherical, and four-periodic, so the complex obtained by tensoring Q with the contraction algebra is a length-four periodic projective resolution of the simple module. The positive cohomology of its endomorphism DG-algebra, together with the identity, determines the full A-infinity structure. Therefore two flops with isomorphic contraction algebras have A-infinity-quasi-isomorphic derived endomorphism algebras, and after Koszul duality and the known recovery theorem for singularity categories, their base rings are isomorphic.

Load-bearing premise

The proof assumes that for every smooth 3-fold flop, the simple module over the contraction algebra has a length-four periodic projective resolution obtained from the crepant resolution, with all cohomology vanishing outside degrees 0 and 3.

Editorial extensions

If this is right

When the paper's proof is right, two smooth one-curve 3-fold flops over complete local rings have isomorphic base rings exactly when their contraction algebras are isomorphic, so the entire local geometry is encoded in a finite-dimensional algebra.
In the multi-curve case, the base ring is recovered from the contraction algebra up to iterated mutation, and isomorphic base rings are equivalent to derived equivalence of the contraction algebras' module categories.
The full Ext-algebra of the simple modules over the noncommutative crepant resolution is recoverable from the positive Ext-algebra of the contraction algebra together with the unit, so the derived endomorphism ring is an invariant of the contraction algebra.
Any periodic module over any algebra now yields an explicit DG-algebra, so periodic homological phenomena admit a universal differential graded model.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the flop setting, the same recipe could be applied to any module with a periodic projective resolution; the unitally positive A-infinity algebra could serve as a general invariant that detects whether two periodic modules have quasi-isomorphic endomorphism DG-algebras.
The paper leaves open the computational question of whether the higher A-infinity products of N carry information invisible in the cohomology groups; if they do, they would distinguish flops with identical Ext-dimension vectors.
If Setup 6.1 holds in other dimensions or for non-smooth contractions, the same bridge would give analogous reconstruction theorems; the four-periodicity of contraction algebras is the geometric input that would need a counterpart there.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The thing to know about this paper is that it works. It gives a second proof of the Donovan–Wemyss conjecture, but it is not a repackaged version of Jasso–Muro: the trivial extension DG-algebra T and the unitally positive A∞-algebra N are genuinely new, and they are built in enough generality to apply beyond flops. The proofs are careful, the sign conventions are managed explicitly rather than hand-waved, and the authors are honest about the relation to the earlier proof. That honesty matters, because the conjecture was already known; what is new is the framework and the directness, not the first resolution.

The paper earns its keep in three places. First, T provides an explicit DG model for End(P) whenever a module is periodic, and the cohomology computation in §3 is clean. Second, the unitally positive A∞-algebra N is a simple but useful idea: it cuts away negative cohomology and unwanted degree-zero summands, and Proposition 5.7 shows it is well defined up to quasi-isomorphism. Third, the reconstruction theorem 6.6 does the heavy lifting without assuming the conjecture, and the categorical upgrade in §8 extends the argument to the multi-curve case. I could not find a circular step or a fitted parameter.

The soft spots are proportionate. The main structural input is Setup 6.1/7.1, where the complex P_j has cohomology only in degrees 0 and 3. That relies on standard facts about contraction algebras—symmetry, sphericity, four-periodicity—so the argument is only as robust as those facts. They are well-established in the flops literature, so this is a dependency, not a flaw. The final step back to the base ring also leans on Booth and Hua–Keller; the paper does not re-prove those recovery theorems, but it cites them correctly. The only real complaint is that the sign-heavy A∞-machinery makes the paper hard to check thoroughly, though I found no actual error. The stress-test note agrees: no internal inconsistency surfaced.

Who should read this? Anyone working on flops, contraction algebras, or derived reconstruction, and anyone interested in new constructions of DG-algebras from periodic modules. It deserves a serious referee. I would send it to review and ask for a careful check of §2 and the dimension-counting in 6.6, but I would not desk-reject it. I would probably cite the T and N constructions if I did related work, but I would not assign this paper the status of the first proof of the conjecture.

Referee Report

0 major / 5 minor

Summary. The paper introduces two general derived/homotopical objects: a trivial extension DG-algebra T associated to any periodic module over an algebra, and a 'unitally positive' A∞-algebra N extracted from the positive cohomology of a unital DG-category. The authors prove that T is quasi-isomorphic to the endomorphism DG-algebra End_Γ(P) of the periodic projective resolution, compute the cohomology of T, and show that N is well defined up to A∞-quasi-isomorphism. The central application is to birational geometry: under the flops setup, the unitally positive A∞-algebra associated to the contraction algebra recovers the DG-endomorphism algebra of the tilting NCCR resolution, which via known results of Booth, Hua–Keller, and Kalck–Yang yields the Donovan–Wemyss conjecture for smooth 3-fold flops, both in the single-curve case (Corollary 1.7) and the multi-curve case (Theorem 8.13). The proof is explicit, with detailed sign conventions, and the main reconstruction theorem is based on cohomology computations and finite-dimensionality rather than on circular reasoning.

Significance. If correct, this is a substantial result: it gives a second, direct proof of the Donovan–Wemyss conjecture and, more importantly, introduces constructions of independent utility. The trivial extension DG-algebra T is built from only a single periodic module, and the unitally positive A∞-algebra N is defined for very general DG-categories, so the paper provides new tools beyond the specific birational application. The proof is notably self-contained in its main steps: Theorem 6.6 compares cohomology groups by explicit quasi-isomorphisms and dimension counts, and the final geometric conclusion rests on standard external theorems about derived contraction algebras and singularity categories. The authors are also careful to note the relationship with the independent proof by Jasso–Muro, emphasizing that the two approaches have essentially no technical overlap. The main strength of the paper is the clarity and explicit nature of the constructions; no fitted parameters or post-hoc assumptions appear in the argument.

minor comments (5)

[Notation 2.4] The displayed definitions of σ and τ appear identical, although the text immediately asserts |σ| = n and |τ| = −n and uses τ∘σ = Id_{≥n}. The arrow directions or signs in the display for τ should be corrected so that the displayed object matches its stated degree and properties.
[Theorem 3.6] The statement and proof contain a garbled arrow `←/mapsfromcharg` and the typo `Z-modues`; these should be fixed for readability.
[Setup 6.1 / Theorem 6.6] Setup 6.1 states that S is a finite-dimensional simple A-module, but Theorem 6.6 uses in equation (6.C) the fact that H^0(End_{A_con}(P)) = Hom_{A_con}(i^*S, i^*S) is one-dimensional. This requires that i^*S is simple as an A_con-module (or at least that its endomorphism ring is C). The flops application satisfies this, but the general statement of Setup 6.1 should include this hypothesis explicitly.
[Equations (8.A)–(8.D)] In equations (8.A) and (8.D) the cohomological degree is denoted inconsistently: the text uses Ext^i_{A_con}(S_i,S_j) where the displayed range is in k, and the same notational confusion appears in (8.B). Please make the degree variable uniform.
[Lemma 7.1] The proof invokes that A is 3-CY without a specific citation; since this is a standard property of NCCRs, a reference (for example to Van den Bergh or Iyama–Reiten) would be helpful for the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and the central claim does not reduce to its inputs.

full rationale

The paper introduces T and N as new general constructions and then proves that, under Setup 6.1, there is an A∞-isomorphism between N_S and End_A(Q) (Theorem 6.6). This statement is not assumed or fitted: it is proved by an injective comparison map followed by a dimension count using cohomology computations (3.8, 6.B, 6.C) that are carried out inside the paper. The flops input, Lemma 7.1, is established from published structural facts about contraction algebras, namely symmetry (August), sphericity (Donovan–Wemyss), the 3-CY property of the NCCR, and Dugas's four-periodicity. These are external results about the input data and do not presuppose the Donovan–Wemyss conjecture or the isomorphism statement being proved. The final implication in Corollary 7.2 uses the Koszul dual identification with derived contraction algebras and the independent recovery theorems of Booth and Hua–Keller; this is a standard external bridge, not a re-derivation of the paper's own conclusion from itself. No parameter is fitted and later called a prediction, no uniqueness theorem is imported from the authors' prior work to force the choice, and no known pattern is merely renamed. The only self-citations occur in stating the easy direction (1)⇒(2) from the original Donovan–Wemyss paper and in citing structural properties of contraction algebras; these are not load-bearing circular steps, since the main direction (2)⇒(1) depends on the new A∞-reconstruction and on external classification/recovery results.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The central claim rests on no free parameters. The axioms are either standard homological algebra or domain assumptions about contraction algebras in the flops setting. The new objects T and N are not ad hoc; they are constructed naturally and their key properties are proven.

assumptions (5)

domain assumption There exists a length n periodic projective resolution of M (Setup 2.1).
Central to constructing T; satisfied in applications by contraction algebras via four-periodicity.
domain assumption All DG-algebras are unital and the identity is not a coboundary (Assumption 5.4).
Needed for N to be well-defined; holds for endomorphism DG-algebras in the applications.
standard math Existence of strictly unital minimal models for strictly unital A∞-algebras (Proposition 5.3, from Markl and Lefèvre-Hasegawa).
Cited theorem used to construct N and to pass to minimal models.
domain assumption In the flops application, A is an NCCR, A_con is symmetric and spherical, and contraction algebras are four-periodic.
These are established results from Van den Bergh, Donovan-Wemyss, and Dugas; they justify Setup 6.1 via Lemma 7.1.
domain assumption The Koszul dual of End_A(Q) is the derived contraction algebra.
Identification from Booth, Hua-Keller, and Kalck-Yang; used in the final step to recover R.

invented entities (2)

Trivial extension DG-algebra T independent evidence
purpose: Provides an explicit DG model for the endomorphism DG-algebra of a periodic projective resolution.
New construction; proven quasi-isomorphic to End(P) (Theorem 3.6) and used to prove the D-W conjecture.
Unitally positive A∞-algebra N independent evidence
purpose: Captures the unit and positive cohomology of a DG-algebra, allowing reconstruction of End_A(Q) from the contraction algebra.
New construction; its key properties are proven (Propositions 5.7, 6.6, 8.11) and it yields the main classification result.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Trivial extension DG-algebras, unitally positive $A_\infty$-algebras, and applications." pith.science (2026). https://pith.science/paper/7NOEQFHA

@misc{pith2026241117359,
  author       = {Pith},
  title        = {Pith review of: Trivial extension DG-algebras, unitally positive $A_\infty$-algebras, and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7NOEQFHA}},
  note         = {Machine review of arXiv:2411.17359}
}

abstract

To any periodic module over any algebra, this paper introduces an associated trivial extension DG-algebra T. After first passing to a strictly unital $A_\infty$-minimal model, it then constructs a particular $A_\infty$-algebra N, called the unitally positive $A_\infty$-algebra, which roughly speaking describes the identity in degree zero and all the positive cohomology. The object N is fundamental, and can be constructed for any DG-category satisfying very mild assumptions. The main application is to birational geometry. When applied to contraction algebras, the construction gives a simple and direct proof of the Donovan-Wemyss conjecture, namely that smooth irreducible 3-fold flops are classified by their contraction algebras, and thus by noncommutative data.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 24 canonical work pages

[1]

August, On the finiteness of the derived equivalence classes of some stable endomorphism rings, Math.\ Z.\ 296 (2020), no

J. August, On the finiteness of the derived equivalence classes of some stable endomorphism rings, Math.\ Z.\ 296 (2020), no. 3-4, 1157--1183

work page 2020
[2]

Booth, Singularity categories via the derived quotient, Adv.\ Math.\ 381 (2021), Paper No

M. Booth, Singularity categories via the derived quotient, Adv.\ Math.\ 381 (2021), Paper No. 107631, 56 pp

work page 2021
[3]

Cartan and S

H. Cartan and S. Eilenberg, Homological algebra, Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999

work page 1999
[4]

Canonaco, M

A. Canonaco, M. Ornaghi and P. Stellari, Localizations of the categories of A_ categories and internal Homs, Doc.\ Math.\ 24 (2019), 2463--2492

work page 2019
[5]

Canonaco, M

A. Canonaco, M. Ornaghi and P. Stellari, Localizations of the categories of A_ categories and internal Homs over a ring, arXiv:2404.066109 https://arxiv.org/abs/2404.066109

arXiv
[6]

Donovan and M

W. Donovan and M. Wemyss, Noncommutative deformations and flops, Duke Math.\ J.\ 165, (2016), no. 8, 1397--1474

work page 2016
[7]

Donovan and M

W. Donovan and M. Wemyss, Twists and braids for general 3-fold flops, J.\ Eur.\ Math.\ Soc.\ (JEMS), 21 (2019), no. 6, 1641--1701

work page 2019
[8]

Dugas, Periodicity of d -cluster tilted algebras, J.\ Alg.\ 368 (15) 2012, 40--52

A. Dugas, Periodicity of d -cluster tilted algebras, J.\ Alg.\ 368 (15) 2012, 40--52

work page 2012

Show all 28 references

[9]

S. I. Gelfand and Y. I. Manin, Methods of homological algebra , second edition, Springer Monographs in Mathematics, Springer, Berlin, 2003

2003
[10]

Hua and B

Z. Hua and B. Keller, Cluster categories and rational curves, Geom.\ Topol.\ 28 (2024), no. 6, 2569--2634

2024
[11]

Iyama and I

O. Iyama and I. Reiten, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Amer.\ J.\ Math.\ 130 (2008), no. 4, 1087--1149

2008
[12]

Jasso and F

G. Jasso and F. Muro, The Derived Auslander-Iyama Correspondence, arXiv:2208.14413 https://arxiv.org/abs/2208.14413, with an appendix by B. Keller

arXiv
[13]

T. V. Kadeishvili, On the theory of homology of fiber spaces, (Russian) Uspekhi Mat.\ Nauk 35 (1980), no. 3(213), 183--188. Translation in Russian Math.\ Surveys 35:3 (1980), 231--238

1980
[14]

Kalck and D

M. Kalck and D. Yang, Relative singularity categories I: Auslander resolutions, Adv.\ Math.\ 301 (2016), 973--1021

2016
[15]

Keller, Deriving DG categories, Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ (4) 27 (1994), no

B. Keller, Deriving DG categories, Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ (4) 27 (1994), no. 1, 63--102

1994
[16]

Koenig, J

S. Koenig, J. K\"ulshammer and S. Ovsienko. Quasi-Hereditary Algebras, Exact Borel Subalgebras, A_ -Categories and Boxes, Adv.\ Math.\ 262 (2014), 546--592

2014
[17]

K\"ulshammer, In the bocs seat: quasi-hereditary algebras and representation type, Representation theory--current trends and perspectives, 375--426

J. K\"ulshammer, In the bocs seat: quasi-hereditary algebras and representation type, Representation theory--current trends and perspectives, 375--426. EMS Ser.\ Congr.\ Rep.\ European Mathematical Society (EMS), Z\"urich, 2017

2017
[18]

Lef\'evre-Hasegawa, Sur les A-infini categories, math/0310337 https://arxiv.org/abs/math/0310337

K. Lef\'evre-Hasegawa, Sur les A-infini categories, math/0310337 https://arxiv.org/abs/math/0310337

arXiv
[19]

Loday and B

J.-L. Loday and B. Vallette, Algebraic operads , Grundlehren der mathematischen Wissenschaften, 346, Springer, Heidelberg, 2012

2012
[20]

V. A. Lunts, Formality of DG algebras (after Kaledin), J.\ Algebra 323 (2010), no. 4, 878--898

2010
[21]

Markl, Transferring A_ (strongly homotopy associative) structures

M. Markl, Transferring A_ (strongly homotopy associative) structures. Proceedings of ``Geometry and Physics". Palermo: Circolo Matematico di Palermo, 2006. 139--151

2006
[22]

Ovsienko, Bimodule and matrix problems.Computational methods for representations of groups and algebras, (Essen, 1997), 323--357

S. Ovsienko, Bimodule and matrix problems.Computational methods for representations of groups and algebras, (Essen, 1997), 323--357. Progr.\ Math., 173 Birkh\"auser Verlag, Basel, 1999

1997
[23]

Rodriguez Rasmussen, Uniqueness up to Inner Automorphism of Regular Exact Borel Subalgebras, Adv

A. Rodriguez Rasmussen, Uniqueness up to Inner Automorphism of Regular Exact Borel Subalgebras, Adv. Math. 461 (2025), Paper No. 110049, 80 pp

2025
[24]

Seidel, Fukaya Categories and Picard--Lefschetz Theory, Zur.\ Lect.\ Adv.\ Math.\, European Mathematical Society (EMS), Z\"urich, 2008

P. Seidel, Fukaya Categories and Picard--Lefschetz Theory, Zur.\ Lect.\ Adv.\ Math.\, European Mathematical Society (EMS), Z\"urich, 2008. viii+326 pp. ISBN:978-3-03719-063-0

2008
[25]

Seidel, Fukaya Categories and Picard--Lefschetz Theory, Erratum to Lemma 2.1, https://math.mit.edu/ seidel/errata/strictly-unital.pdf

P. Seidel, Fukaya Categories and Picard--Lefschetz Theory, Erratum to Lemma 2.1, https://math.mit.edu/ seidel/errata/strictly-unital.pdf
[26]

Seidel and R

P. Seidel and R. P. Thomas, Braid group actions on derived categories of sheaves, Duke Math.\ J.\ 108 (2001), 37--108

2001
[27]

Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math.\ J.\ 122 (2004), no

M. Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math.\ J.\ 122 (2004), no. 3, 423--455

2004
[28]

Yoneda, On the homology theory of modules, J.\ Fac.\ Sci.\ Univ.\ Tokyo Sect.\ I 7 (1954), 193--227

N. Yoneda, On the homology theory of modules, J.\ Fac.\ Sci.\ Univ.\ Tokyo Sect.\ I 7 (1954), 193--227

1954

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

August, On the finiteness of the derived equivalence classes of some stable endomorphism rings, Math.\ Z.\ 296 (2020), no

J. August, On the finiteness of the derived equivalence classes of some stable endomorphism rings, Math.\ Z.\ 296 (2020), no. 3-4, 1157--1183

work page 2020

[2] [2]

Booth, Singularity categories via the derived quotient, Adv.\ Math.\ 381 (2021), Paper No

M. Booth, Singularity categories via the derived quotient, Adv.\ Math.\ 381 (2021), Paper No. 107631, 56 pp

work page 2021

[3] [3]

Cartan and S

H. Cartan and S. Eilenberg, Homological algebra, Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999

work page 1999

[4] [4]

Canonaco, M

A. Canonaco, M. Ornaghi and P. Stellari, Localizations of the categories of A_ categories and internal Homs, Doc.\ Math.\ 24 (2019), 2463--2492

work page 2019

[5] [5]

Canonaco, M

A. Canonaco, M. Ornaghi and P. Stellari, Localizations of the categories of A_ categories and internal Homs over a ring, arXiv:2404.066109 https://arxiv.org/abs/2404.066109

arXiv

[6] [6]

Donovan and M

W. Donovan and M. Wemyss, Noncommutative deformations and flops, Duke Math.\ J.\ 165, (2016), no. 8, 1397--1474

work page 2016

[7] [7]

Donovan and M

W. Donovan and M. Wemyss, Twists and braids for general 3-fold flops, J.\ Eur.\ Math.\ Soc.\ (JEMS), 21 (2019), no. 6, 1641--1701

work page 2019

[8] [8]

Dugas, Periodicity of d -cluster tilted algebras, J.\ Alg.\ 368 (15) 2012, 40--52

A. Dugas, Periodicity of d -cluster tilted algebras, J.\ Alg.\ 368 (15) 2012, 40--52

work page 2012