REVIEW 1 major objections 5 minor 2 cited by
Calabi-Yau completions for roots of dualizing dg bimodules
T0 review · 1 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that a cyclically invariant $a$-th root pair on a smooth dg category gives a smooth $(d+1)$-Calabi-Yau completion, and that the construction is a bijection onto Adams graded Calabi-Yau dg categories of Gorenstein…
desk verdict Solid root-of-tau Calabi-Yau completion with an independent core theorem; the classification results rest on an unpublished proposition. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $a$-th root pair $(U,P)$, together with the derived tensor category $\Sigma=T_A^L U$ and its idempotent truncation $\Pi=e\Sigma e$. A root pair makes $U$ an $a$-th root of the shifted inverse dualizing bimodule and gives $\mathrm{per}\,A$ a rectangular semi-orthogonal decomposition with layers $P\otimes U^i$. The mechanism that turns this data into the Calabi-Yau property is cyclic invariance: the chosen quasi-isomorphism $\varphi\colon \mathrm{RHom}_{A^e}(A,A^e)\to U^a$ of degree $-d$ is required to be stable under the cyclic permutation of the factors of $U^a\otimes_{A^e}A$. The proof translates this into a compatibility condition between $\varphi$ and the bimodule dual of the standard triangle for $\Sigma$, using Casimir elements in Hochschild homology; compatibility gives the isomorphism $\mathrm{RHom}_{\Sigma^e}(\Sigma,\Sigma^e)[d+1]\simeq\Sigma^{\ge a-1}$ that restricts to the Calabi-Yau isomorphism for $\Pi$.
What would settle it
To test the weakest step, construct a positively graded dg category $\Gamma$ with $\Gamma_0=A$, $\Gamma_1=M$, and $\Gamma\in\mathrm{per}_{[0,1]}\Gamma^e$ for which the canonical map $T_A^L M\to\Gamma$ is not a graded quasi-equivalence; such an example would disprove Proposition 4.6 and break the proof of the bijection.
Extended reading notes
Core claim
The central discovery is that the obstruction for a root-of-tau completion to be Calabi-Yau is precisely cyclic invariance of the root. Concretely, let $A$ be smooth and let $(U,P)$ be an $a$-th root pair of $\mathrm{RHom}_{A^e}(A,A^e)[d]$; the pair means that $U^a$ realises the shifted inverse dualizing bimodule and that $\mathrm{per}\,A$ has the semi-orthogonal decomposition $\mathrm{thick}(P\otimes U^{a-1})\perp\cdots\perp \mathrm{thick}(P)$. If the closed morphism $\mathrm{RHom}_{A^e}(A,A^e)\to U^a$ of degree $-d$ is stable under the cyclic $\mathbb{Z}/a$-action, then $\Pi_{d+1}^{(1/a)}(A)$ is smooth and satisfies $\mathrm{RHom}_{\Pi^e}(\Pi,\Pi^e)[d+1]\simeq \Pi$ in $D(\Pi^e)$. Conversely, up to graded quasi-equivalence, every Adams positively graded $(d+1)$-Calabi-Yau dg category of Gorenstein parameter $a$ whose degree-zero part is perfect on both sides arises as such a completion, so cyclically invariant root pairs classify these categories.
Load-bearing premise
The load-bearing premise is the in-preparation result [14] that a positively graded dg category $\Gamma$ with $\Gamma_0=A$, $\Gamma_1=M$, and $\Gamma\in \mathrm{per}_{[0,1]}\Gamma^e$ is graded quasi-equivalent to the derived tensor category $T_A^L M$; Theorems 3.11 and the bijection 3.9 cite this without proof, and if it fails the converse correspondence collapses.
Editorial extensions
If this is right
- Every cyclically invariant $a$-th root pair produces a smooth $(d+1)$-Calabi-Yau dg category, and the construction determines the Adams shift, i.e. the Gorenstein parameter $a$.
- Adams graded Calabi-Yau dg categories of Gorenstein parameter $a$ are classified up to graded quasi-equivalence by cyclically invariant root pairs, generalizing the classical degree-one bijection.
- The $a$-Segre product of a $(d+1)$-Calabi-Yau dg category and an $(e+1)$-Calabi-Yau dg category of the same Gorenstein parameter $a$ is again Calabi-Yau of dimension $d+e+1$; in particular quasi-Veronese subcategories of these categories remain Calabi-Yau.
- The cluster category of the completion is the triangulated hull of the orbit category $\mathrm{per}\,A/-\otimes^L_A U$, a $\mathbb{Z}/a\mathbb{Z}$-quotient of the usual cluster category, and it carries a $d$-cluster tilting object.
- For cyclic root pairs over Dynkin quivers of type $A_{2n}$, the completion has explicit dg path algebra presentations, giving concrete examples of folded cluster categories.
Reading between the lines
- The paper leaves implicit that the same root pair data with the same $U$ but different projective layer $P$ could produce derived-equivalent completions; Question 2.13 suggests a gauge-like redundancy in the classification that would be worth testing.
- One consequence not developed in the paper is that the failure of cyclic invariance is exactly the appearance of a twist: Example 3.12 already shows the completion becomes a skew polynomial ring, so the theorem delineates a sharp boundary between Calabi-Yau and twisted Calabi-Yau behaviour.
- A testable extension is to run the same bijection for root pairs of different $a$ over the same category: tensor products of roots allow mixing dimensions while keeping $a$ fixed, which should yield a rich family of Calabi-Yau categories whose Gorenstein parameter is preserved.
- Should Proposition 4.6 from the in-preparation source [14] be supplied and then fail in a particular graded example, the classification Theorem 3.9 would lose its converse direction; checking its validity in the non-tensor examples of Appendix A would turn the bijection into a theorem with a complete proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a root-of-tau analogue of Keller's Calabi-Yau completion. For a smooth dg category A, an a-th root pair (U,P) consists of an invertible A-bimodule U with U^a ≃ RHom_{A^e}(A,A^e)[d] and a subcategory P generating per A through the objects P, P⊗U, ..., P⊗U^{a-1} with the appropriate vanishing conditions. The Calabi-Yau completion Π_{d+1}^{(1/a)}(A) is the idempotent truncation e(T_A^L U)e. The paper proves (Theorem 3.3) that Π is smooth and (d+1)-Calabi-Yau when the root is cyclically invariant, and that the full tensor algebra Σ = T_A^L U satisfies the weaker duality RHom_{Σ^e}(Σ,Σ^e)[d+1] ≃ Σ_{≥a-1} (Theorem 3.5). It then states a bijection (Theorem 3.9) between Adams positively graded (d+1)-Calabi-Yau categories of Gorenstein parameter a and cyclically invariant root pairs, and uses it to prove results on a-Segre products (Theorem 6.6), quasi-Veronese categories (Corollary 6.8), and folded cluster categories (Theorem 5.2). The final section gives explicit square-root pairs for even type A Dynkin quivers and describes the resulting dg path algebras.
Significance. If the results hold, this is a substantial and novel extension of Keller's deformed Calabi-Yau completions: it identifies a cyclic invariance condition under which the root completion is Calabi-Yau rather than merely twisted, and it provides a classification of Adams graded Calabi-Yau categories in terms of root pairs. The proof of Theorem 3.3 is essentially self-contained, and the paper contains valuable concrete computations, notably the detailed verification in Example 3.12 and the explicit Dynkin quiver constructions in Section 8. The applications to a-Segre products and folded cluster categories are natural and appear genuinely new. The main weakness is that the classification/framework statements Theorem 3.9 and Theorem 3.11 depend on Proposition 4.6, which is imported from the unpublished manuscript [14] and is not proved here. Thus the central construction is independent, but the bijection and its applications are conditional on an external result that the reader cannot currently verify. No machine-checked proofs or reproducibility artifacts accompany the paper; its checkable content consists of traditional proofs and explicit algebraic computations.
major comments (1)
- [Section 4, Proposition 4.6; proof of Theorem 3.11; Theorem 3.9] Proposition 4.6 is stated with attribution to the unpublished manuscript [14] and asserts that a positively graded dg category Γ with Γ0 = A and Γ1 = M and Γ ∈ per_{[0,1]} Γ^e is graded quasi-equivalent to the derived tensor category T_A^L M. No proof is given in the present paper. This result is used in the proof of Theorem 3.11 (the step 'Then 4.6 applies' in the proof on pages 19–20), and Theorem 3.9 relies on Theorem 3.11 in its (i)→(ii) direction on page 23. Theorems 5.2, 6.6, and Corollary 6.8 inherit this dependence through the bijection. Since [14] is listed as in preparation and is not available to the reader, the classification and framework claims are conditional. The core Calabi-Yau completion Theorem 3.3 is proved independently through Theorems 3.5 and Lemma 4.8 and is not affected, but the paper should either include a complete proof of Proposition 4.6 or explicitly state Theorems 3.9 and 3.11 as contingent on a forthcoming external result with the precise statement quoted.
minor comments (5)
- [Remark 3.4] The remark asserts that the Calabi-Yau completion carries a canonical left Calabi-Yau structure and calls this 'the correct' refinement of Theorem 3.3, but explicitly postpones the proof to another paper. This does not affect the isomorphism statement in Theorem 3.3, but the unproved structural assertion should be either proved or clearly separated as a conjecture/forthcoming result so that it is not left as an unsupported claim in the main text.
- [Introduction, Theorem numbering] The cross-references in Section 1 are inconsistent: Theorem 1.2 is labelled '(=3.1)' although the stated result is Theorem 3.3, and similar mismatches appear for the references to 3.5 and 3.11. Please correct the numbering labels.
- [Section 1.2, page 3] The word 'Goresntein' should be 'Gorenstein' in the phrase 'positively graded (d + 1)-Calabi-Yau (non-dg) algebras of Goresntein parameter 1'. There is also a typo in the abstract ('represe ntation').
- [Proof of Theorem 3.3, page 20] The displayed formula in the proof of Theorem 3.3 contains the object RHom_{Σ^e}(Σ,Σ⊗Σ); this appears to be a typo and should presumably be RHom_{Σ^e}(Σ,Σ^e), the bimodule dual of Σ.
- [Definitions 1.1 and 2.5] Definition 1.1 is phrased for dg algebras using add A and an idempotent e, while Section 2 works with dg categories and full subcategories P; the terminology should be harmonized so that the reader can move between the two formulations without ambiguity.
Circularity Check
Core CY-completion theorem is independent; the bijection theorems rely on an unproved, self-cited recognition theorem from [14].
-
uniqueness imported from authors
[Section 4, Proposition 4.6; used in the proofs of Theorems 3.11 and 3.9]
"Proposition 4.6 ([14]). Let Γ be a positively graded dg category with Γ_0 =: A and Γ_1 =: M. Suppose that Γ ∈ per_[0,1]Γ^e. Then the canonical map T_A^L M → Γ is a graded quasi-equivalence."
This recognition theorem is the only step that identifies an arbitrary positively graded dg category satisfying Theorem 3.11(i) with a derived tensor category T_A^L M. It is cited to [14], an in-preparation manuscript by Hanihara, Iyama, and Oppermann (the present author and coauthors), with no proof given here. Theorem 3.11 uses it in direction (i)→(ii), and Theorem 3.9 invokes Theorem 3.11 to obtain the bijection; later applications inherit this dependence. Thus the classification is forced by an unverified self-citation chain rather than by a proof contained in the paper. Theorem 3.3 goes through Theorem 3.5 and Lemma 4.8 without Proposition 4.6, so the core CY-completion result itself is independent.
full rationale
The central construction is not circular: cyclic invariance is a substantive hypothesis, as Example 3.12 shows that without it the completion is only twisted Calabi-Yau, and the proof of Theorem 3.3 via Theorem 3.5, Proposition 4.5, and Lemma 4.8 does not depend on the contested Proposition 4.6. The bijection Theorem 3.9 and its corollaries are, however, conditional: their (i)→(ii) direction passes through Theorem 3.11, whose key recognition step Proposition 4.6 is quoted from [14], an in-preparation manuscript by the author with Iyama and Oppermann. Since that proposition is load-bearing and not proved or independently verifiable in this paper, the classification claims rest on a self-citation chain. Remark 3.4 also explicitly defers the proof of the canonical left Calabi-Yau structure to a later paper; that is a genuine omission but not a circularity. Overall, one load-bearing self-citation with an independent core theorem gives score 4.
Assumptions & free parameters
assumptions (5)
- standard math Keller's theorem: the ordinary Calabi-Yau completion of a smooth dg category is smooth and Calabi-Yau [23].
- standard math Amiot's theorem: a connective (d+1)-Calabi-Yau dg algebra with finite dimensional H^0 has a d-Calabi-Yau cluster category with cluster tilting object [1].
- ad hoc to paper Proposition 4.6 of [14], stated in the paper and attributed to an in-preparation manuscript by Hanihara, Iyama, and Oppermann, asserting that positively graded dg categories in per_{[0,1]} over their bimodule category are derived tensor categories.
- domain assumption Stable t-structures on Adams graded perfect derived categories per_Z X = per_{≤ l} X ⊥ per_{≥ l+1} X, and the second grading t-structure D_Z(X)_{≥ 0}, D_Z(X)_{<0}.
- standard math Serre duality and the bimodule dual formalism RHom_{A^e}(A,A^e) as the algebraic shadow of the Serre functor [22].
Cite this review
Pith. "Pith review of Calabi-Yau completions for roots of dualizing dg bimodules." pith.science (2026). https://pith.science/paper/2ANL4XLR
@misc{pith2026241218753,
author = {Pith},
title = {Pith review of: Calabi-Yau completions for roots of dualizing dg bimodules},
year = {2026},
howpublished = {\url{https://pith.science/paper/2ANL4XLR}},
note = {Machine review of arXiv:2412.18753}
}
abstract
Roots of shifted Serre functors appear naturally in representation theory and algebraic geometry. We give an analogue of Keller's Calabi-Yau completion for roots of shifted inverse dualizing bimodules over dg categories. Given a positive integer $a$, we introduce the notion of the $a$-th root pair on smooth dg categories and define its Calabi-Yau completion. We prove that the Calabi-Yau completion has the Calabi-Yau property when the $a$-th root pair has certain invariance under an action of the cyclic group of order $a$, and observe that it is only twisted Calabi-Yau in general. Next, we establish a bijection between Adams graded Calabi-Yau dg categories of Gorenstein parameter $a$ and $a$-th root pairs on a dg category with the cyclic invariance. Applying this bijection, we prove that a certain operation on dg categories, called the $a$-Segre product, allows us to reproduce Calabi-Yau dg categories. Furthermore, we discuss the cluster category of these Calabi-Yau completions, and prove that it is a $\mathbb{Z}/a\mathbb{Z}$-quotient of the usual cluster category, which thereby establishes the $a$-th root versions of cluster categories. In the appendix, we give a generalization of Beilinson's theorem on tilting bundles on projective spaces to the setting of Adams graded dg categories.
Forward citations
Cited by 2 Pith papers
-
Higher representation infinite algebras and toric Fano stacks of Picard number one or two
For smooth toric Fano DM stacks of Picard number one or two, line-bundle d-tilting bundles are classified by upper sets, realizing two families of d-representation-infinite algebras.
-
Higher hereditary algebras and Calabi-Yau algebras arising from some toric singularities
Tilting objects with higher representation infinite endomorphism rings and strict root pairs are constructed for two families of toric singularities, giving cluster equivalences and explicit Calabi-Yau algebras.
Reference graph
Works this paper leans on
-
[14]
N. Hanihara, O. Iyama, and S. Oppermann, Adams graded dg categories of Gorenstein parameter 1, in preparation
-
[1]
Amiot, Cluster categories for algebras of global dime nsion 2 and quivers with potentional, Ann
C. Amiot, Cluster categories for algebras of global dime nsion 2 and quivers with potentional, Ann. Inst. Fourier, Gr enoble 59, no.6 (2009) 2525-2590
2009
-
[2]
Amiot, O
C. Amiot, O. Iyama, and I. Reiten, Stable categories of Co hen-Macaulay modules and cluster categories, Amer. J. Math , 137 (2015) no.3, 813-857
2015
-
[3]
Artin and W
M. Artin and W. Schelter, Graded algebras of global dimen sion 3, Adv. Math. 66 (1987), no. 2, 171-216
1987
-
[4]
C. Brav and T. Dyckerhoff, Relative Calabi-Yau structure s, Compos. Math. 155 (2019) 372-412
work page 2019
-
[5]
Broomhead, Dimer models and Calabi-Yau algebras, Mem
N. Broomhead, Dimer models and Calabi-Yau algebras, Mem . Amer. Math. Soc. 215 (2012) no.1011, viii+86
work page 2012
-
[6]
A. B. Buan, R. Marsh, M. Reineke, I. Reiten, and G. Todorov , Tilting theory and cluster combinatorics, Adv. Math. 204 (2006) 572-618
work page 2006
-
[7]
L. Fan, B. Keller, and Y. Qiu, On orbit categories with dg e nhancement, arXiv:2405.00093
Show all 34 references
-
[8]
Ginzburg, Calabi-Yau algebras, arXiv:0612139
V. Ginzburg, Calabi-Yau algebras, arXiv:0612139
-
[9]
Guo, Cluster tilting objects in generalized higher cl uster categories, J
L. Guo, Cluster tilting objects in generalized higher cl uster categories, J. Pure Appl. Algebra 215 (2011), no. 9, 20 55–2071
2011
-
[10]
Hanihara, Cluster categories of formal DG algebras a nd singularity categories, Forum of Mathematics, Sigma (20 22), Vol
N. Hanihara, Cluster categories of formal DG algebras a nd singularity categories, Forum of Mathematics, Sigma (20 22), Vol. 10:e35 1–50
-
[11]
Hanihara, Morita theorem for hereditary Calabi-Yau categories, Adv
N. Hanihara, Morita theorem for hereditary Calabi-Yau categories, Adv. Math. 395 (2022) 108092
2022
-
[12]
Hanihara, Non-commutative resolutions for Segre pr oducts and Cohen-Macaulay rings of hereditary representat ion type, to appear in Trans
N. Hanihara, Non-commutative resolutions for Segre pr oducts and Cohen-Macaulay rings of hereditary representat ion type, to appear in Trans. Amer. Math. Soc, arXiv:2303.14625
-
[13]
Hanihara and O
N. Hanihara and O. Iyama, Enhanced Auslander-Reiten du ality and Morita theorem for singularity categories, arXiv:2209.14090
-
[15]
Herschend, O
M. Herschend, O. Iyama, and S. Oppermann, n-representation infinite algebras, Adv. Math. 252 (2014) 29 2-342. CALABI–YAU COMPLETIONS FOR ROOTS OF DUALIZING DG BIMODULES 39
2014
-
[16]
Ikeda and Y
A. Ikeda and Y. Qiu, q-Stability conditions on Calabi-Yau- X categories, Compos. Math. 159 (2023), no. 7, 1347–1386
2023
-
[17]
Iyama, Auslander correspondence, Adv
O. Iyama, Auslander correspondence, Adv. Math. 210 (20 07) 51-82
-
[18]
Iyama, Cluster tilting for higher Auslander algebra s, Adv
O. Iyama, Cluster tilting for higher Auslander algebra s, Adv. Math. 226 (2011) 1-61
2011
-
[19]
Iyama and M
O. Iyama and M. W emyss, Maximal modifications and Auslan der-Reiten duality for non-isolated singularities, Inven t. Math. 197 (2014), no. 3, 521-586
2014
-
[20]
Keller, Invariance and localization for cyclic homo logy of DG algebras, J
B. Keller, Invariance and localization for cyclic homo logy of DG algebras, J. Pure Appl. Algebra 123 (1998), no. 1-3 , 223-273
1998
-
[21]
Keller, On triangulated orbit categories, Doc
B. Keller, On triangulated orbit categories, Doc. Math . 10 (2005), 551-581
2005
-
[22]
B. Keller, Calabi-Yau triangulated categories, in: Tr ends in representation theory of algebras and related topic s, EMS series of congress reports, European Mathematical Society, Z¨ uri ch, 2008
2008
-
[23]
Keller, Deformed Calabi-Yau completions, with an ap pendix by M
B. Keller, Deformed Calabi-Yau completions, with an ap pendix by M. Van den Bergh, J. Reine Angew. Math. 654 (2011) 125-180
2011
-
[24]
Deformed Calabi-Yau completion s
B. Keller, Erratum to “Deformed Calabi-Yau completion s”, arXiv:1809.01126
-
[25]
Keller, D
B. Keller, D. Murfet, and M. Van den Bergh, On two example s of Iyama and Yoshino, Compos. Math. 147 (2011) 591-612
2011
-
[26]
Kontsevich and Y
M. Kontsevich and Y. Soibelman, Notes on A∞ -algebras, A∞ -categories and non-commutative geometry, in: Homologica l mirror symmetry, 153–219, Lecture Notes in Phys, 757, Sprin ger, Berlin, 2009
2009
-
[27]
Kuznetsov, Homological projective duality, Publ
A. Kuznetsov, Homological projective duality, Publ. M ath. Inst. Hautes ´Etudes Sci. No. 105 (2007), 157–220
2007
-
[28]
Kuznetsov, Calabi-Yau and fractional Calabi-Yau ca tegories, J
A. Kuznetsov, Calabi-Yau and fractional Calabi-Yau ca tegories, J. Reine Angew. Math. 753 (2019), 239–267
2019
-
[29]
Minamoto and I
H. Minamoto and I. Mori, The structure of AS-Gorenstein algebras, Adv. Math. 226 (2011) 4061-4095
2011
-
[30]
Thibault, Preprojective algebra structure on sk ew-group algebras, Adv
L.-P. Thibault, Preprojective algebra structure on sk ew-group algebras, Adv. Math. 365 (2020), 107033, 43 pp
2020
-
[31]
Van den Bergh, Non-commutative crepant resolutions , The legacy of Niels Henrik Abel, 749–770, Springer, Berlin , 2004
M. Van den Bergh, Non-commutative crepant resolutions , The legacy of Niels Henrik Abel, 749–770, Springer, Berlin , 2004
2004
-
[32]
Van den Bergh, Calabi-Yau algebras and superpotenti als, Selecta Math
M. Van den Bergh, Calabi-Yau algebras and superpotenti als, Selecta Math. (N.S.) 21 (2015), no. 2, 555-603
2015
-
[33]
W u, Relative cluster categories and Higgs categorie s, Adv
Y. W u, Relative cluster categories and Higgs categorie s, Adv. Math. 424 (2023), Paper No. 109040, 112 pp
2023
-
[34]
W. K. Yeung, Relative Calabi-Yau completions, arXiv:1 612.06352. F aculty of Mathematics, Kyushu University, 744 Motooka, Nish i-ku, Fukuoka, 819-0395, Japan Email address : hanihara@math.kyushu-u.ac.jp
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.