Pith. sign in

REVIEW 3 major objections 6 minor 14 references

Existence of balanced dualizing dg-modules

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read A differential bigraded algebra admits a balanced dualizing dg-module exactly when its zeroth cohomology algebra and the opposite algebra satisfy condition $\chi$ and have finite local cohomological dimension.

desk verdict Genuine generalization of Van den Bergh's criterion to dg-algebras, but the proof has two gaps that should be fixed before acceptance. read the letter →

arxiv 2506.02398 v1 pith:2KR3QLSU submitted 2025-06-03 math.RA math.AG

Michael K. Brown , Andrew J. Soto Levins , Prashanth Sridhar This is my paper
classification math.RAmath.AG MSC 14F0816E45
keywords balanceddualizingdg-moduledifferentialbigradedalgebraconditionchilocalcohomologicaldimensionSerredualitynoncommutativeprojectivegeometrycomplexderivedcategory
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

The paper proves an existence criterion for balanced dualizing dg-modules over differential bigraded algebras. For an algebra $A$ satisfying the paper's finiteness setup, a balanced dualizing dg-module exists if and only if the ordinary graded algebra $H^0(A)$ and its opposite both satisfy condition $\chi$ and have finite local cohomological dimension. When these conditions hold, the balanced dualizing dg-module is unique and is given by $R = R\Gamma_{\mathfrak{m}}(A)^*$. This matters because the existence of such a module is what makes the associated noncommutative space enjoy Serre duality, and the criterion reduces the existence question to a check on ordinary graded algebras.

What carries the argument

The carrying object is the balanced dualizing dg-module: a dg-$A$-$A$-bimodule $R$ such that $R\mathrm{Hom}_A(-,R)$ sets up a duality between bounded derived categories of right and left dg-modules, with an additional torsion-rigidity condition $R\Gamma_{\mathfrak{m}}(R) \cong A^*$. The proof machinery is local duality for differential bigraded algebras, $R\Gamma_{\mathfrak{m}}(M)^* \cong R\mathrm{Hom}_A(M, R\Gamma_{\mathfrak{m}}(A)^*)$, together with condition $\chi$ (an Ext-vanishing condition stating $\mathrm{Ext}^j_A(k,M)_i = 0$ for $i \gg 0$) and finite local cohomological dimension, which together supply the finite generation and vanishing control needed to verify duality. A key reduction shows that condition $\chi$ for $A$ is equivalent to condition $\chi$ for $H^0(A)$.

What would settle it

A concrete way to refute the converse would be to exhibit a dg-algebra $A$ in Setup 2.1 such that $H^0(A)$ and $H^0(A)^{\mathrm{op}}$ satisfy condition $\chi$ and have finite local cohomological dimension, yet $R := R\Gamma_{\mathfrak{m}}(A)^*$ fails Definition 2.22(2) because $N \otimes_A R$ is not $R$-reflexive for some $N \in D^b(A)$.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.23: a connected differential bigraded $k$-algebra satisfying Setup 2.1 admits a balanced dualizing dg-module exactly when $H^0(A)$ and $H^0(A)^{\mathrm{op}}$ satisfy condition $\chi$ and have finite local cohomological dimension. The forward direction is forced: if a balanced dualizing dg-module $R$ exists, the paper shows $R \cong R\Gamma_{\mathfrak{m}}(A)^*$ and derives both conditions on $H^0(A)$ from the duality and torsion properties of $R$. Conversely, under those conditions the paper constructs $R = R\Gamma_{\mathfrak{m}}(A)^*$ and proves it is balanced and dualizing, so that existence for $A$ is equivalent to existence of a balanced dualizing complex for $H^0(A)$.

Load-bearing premise

The converse proof assumes that proving $R$-reflexivity of the input modules $M$ and $N$ is enough to conclude that $R$ is dualizing, even though Definition 2.22(2) also demands that $N \otimes_A R$ and $M \otimes_{A^{\mathrm{op}}} R$ be $R$-reflexive; the paper states this reduction without proof.

Editorial extensions

If this is right

  • If $H^0(A)$ and $H^0(A)^{\mathrm{op}}$ satisfy condition $\chi$ and have finite local cohomological dimension, then the noncommutative space $D_{\mathrm{qgr}}(A)$ satisfies Serre duality, with dualizing object $R = R\Gamma_{\mathfrak{m}}(A)^*$.
  • A balanced dualizing dg-module, when it exists, is unique up to isomorphism and is always $R\Gamma_{\mathfrak{m}}(A)^*$.
  • Existence for $A$ is equivalent to existence of a balanced dualizing complex for $H^0(A)$; this is Corollary 2.30 and yields many new examples.
  • If $H^0(A)$ is Noetherian and commutative, then $A$ automatically admits a balanced dualizing dg-module.
  • For Gorenstein $A$ with finite injective dimension and balanced dualizing $H^0(A)$, the balanced dualizing dg-module is $R \cong A(-a)[n]$, and the category of perfect complexes in $D_{\mathrm{qgr}}(A)$ has a Serre functor.

Reading between the lines

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

  • The unproved reduction in the converse, that $R$-reflexivity of $M$ and $N$ suffices for $R$ to be dualizing, likely admits a repair: the same local-duality chain applied to $N \otimes_A R$ may force the missing tensor-reflexivity, but the paper leaves that step implicit.
  • Because existence is governed entirely by $H^0(A)$, the dg-structure introduces no new obstructions; this suggests a derived version of condition $\chi$ for dg-algebras is not needed for duality theory.
  • A concrete test of the theorem is to take Koszul-type dg-algebras built from central elements: the criterion predicts balanced dualizing dg-modules whose underlying objects are the usual shifts and twists, recovering classical local duality.
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.

Referee Report

3 major / 6 minor

Summary. The paper characterizes, for a connected differential bigraded k-algebra A satisfying the finiteness conditions of Setup 2.1, when A admits a balanced dualizing dg-module. The main theorem (Theorem 2.23) states that such a module exists if and only if H^0(A) and H^0(A)^op satisfy Artin-Zhang's condition χ and have finite local cohomological dimension; when these conditions hold, the candidate is R = RΓ_m(A)^*, which is moreover unique up to isomorphism in D(A^op ⊗ A). The paper further derives Corollary 2.30, identifying the existence of a balanced dualizing dg-module for A with the existence of a balanced dualizing complex for H^0(A), and applies the main theorem to Serre duality for the noncommutative space associated with A (Section 3, Corollaries 3.1 and 1.3).

Significance. If the proof gaps identified below are repaired, this is a substantial and natural generalization of Van den Bergh's characterization of balanced dualizing complexes to the differential graded setting. It gives a clean criterion in terms of ordinary graded algebras, provides many new examples of dg-algebras with Serre duality, and strengthens the program of noncommutative geometry over dg-algebras begun in [BS24, BS25]. The paper is well organized and contains a number of useful technical lemmas on local cohomology of differential bigraded modules. The main theorem is not circular: it relies on prior results of the authors and of Artin-Zhang, Van den Bergh, and Yekutieli-Zhang, but does not presuppose the conclusion. However, two load-bearing assertions in the proof of Theorem 2.23 are currently unproved, and a third point about the dual convention needs clarification.

major comments (3)
  1. [§2.3, proof of Theorem 2.23, converse] The reduction after Proposition 2.26 is not justified by Definition 2.22(2). That definition requires the four dg-modules N, N ⊗_A R, M, and M ⊗_Aop R to be R-reflexive. The displayed isomorphism chain proves only the R-reflexivity of M, and the text says the proof for N is the same; it does not address N ⊗_A R or M ⊗_Aop R. These tensor products are not even shown to lie in D^b(A) or D^b(A^op), and their R-reflexivity does not follow from the reflexivity of M and N by any stated argument. This is load-bearing for the 'if' direction of Theorem 2.23: without it, R = RΓ_m(A)^* is not shown to satisfy Definition 2.22(2). The authors should either supply the missing argument (for example, using Proposition 2.27 and adjunction to reduce the tensor-product reflexivity to the already-proved cases) or cite a result that provides it.
  2. [§2.3, proof of Theorem 2.23, forward direction, footnote 1] The forward direction invokes [BS24, Theorem 5.1(2)] to conclude that lcd(H^0(A)) ≤ −inf(R) and lcd(H^0(A)^op) ≤ −inf(R), with the footnote stating that the Gorenstein hypothesis in [BS24, Theorem 5.1] 'is not needed for part (2)' but giving no argument. This is load-bearing for the necessity direction: if the Gorenstein hypothesis cannot be removed, the proof that condition (2) of Theorem 2.23 holds for every balanced dualizing dg-module is incomplete. The authors should prove the weakened statement or replace this step with a self-contained argument from the exact triangle [BS24, (4.3)] and Proposition 2.12.
  3. [§2.3, proof of Theorem 2.23, converse, final balancedness step] The final step derives balancedness from the chain RΓ_m(R)^* ≅ RHom_A(R,R) ≅ A in D(A ⊗ A^op). Balancedness requires RΓ_m(R) ≅ A^* in D(A^op ⊗ A), and passing from RΓ_m(R)^* ≅ A to RΓ_m(R) ≅ A^* uses a double-dual isomorphism for the k-dual. This is not automatic for arbitrary complexes of vector spaces, and the manuscript's notation V^* := Hom_k(V,k) does not specify whether the graded or the full dual is meant. If the intended dual is the graded dual, the needed reflexivity of objects such as RΓ_m(R) should be stated and proved; if the full dual is meant, the isomorphism (A^*)^* ≅ A used in Proposition 2.27 is not generally valid. The authors should clarify the convention and justify the double-dual steps.
minor comments (6)
  1. [Abstract and author line] There are typos in the abstract ('an d sufficient') and in the author line ('Sridh ar'); these should be corrected.
  2. [Notation 1.4] The definition of V^* := Hom_k(V,k) should specify the bigrading on the dual; for objects with infinite-dimensional bigraded components, the full dual is not the usual graded dual and may fail the reflexivity properties used later.
  3. [Example 2.33] In the Koszul complex example, the sentence 'If S or H^0(K) admits a balanced dualizing complex' is confusing because H^0(K) is the quotient S/(f_1,...,f_c), so it is not an alternative to S; the intended dichotomy should be clarified.
  4. [Proposition 3.3(1)] The proof says 'The term on the left is finite dimensional by Proposition 2.3(1);' since RHom_A(M,N) is a complex, the statement should say that its cohomology is finite-dimensional, not that the complex itself is a finite-dimensional vector space.
  5. [Corollary 2.32] There is a typo in the proof: 'lcd(H(A)0)' should be 'lcd(H^0(A))'.
  6. [References] The reference [BS24] is listed as an unpublished preprint with year only; if available, an arXiv identifier or journal reference should be added.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is a new existence criterion proved from local cohomology results, not from the target conclusion.

full rationale

The central derivation chain is self-contained against external tools: Theorem 2.23 is proved by constructing R = RΓ_m(A)^* and verifying the conditions of Definition 2.22 using Proposition 2.24, Corollary 2.25, Proposition 2.26, Proposition 2.27, and the external theorems of Artin–Zhang [AZ94] and Van den Bergh [VdB97]. No step fits data to a target, and no equation is defined in terms of the conclusion. The paper does cite the same authors' [BS24] and [BS25] for the definition of balanced dualizing dg-modules, local duality, and derived torsion, but those citations are used as prior supporting results, not as the source of the existence criterion. In particular, the converse direction of Theorem 2.23 (Section 2.3, proof of Theorem 2.23) proves R-reflexivity for M and N and then asserts without argument that this suffices for Definition 2.22(2), which also demands R-reflexivity of N⊗_A R and M⊗_Aop R; this is a potential gap in the written proof, not a circular reduction. Overall the theorem's content does not reduce to its inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new mathematical entities: the balanced dualizing dg-module concept was defined in the authors' prior work [BS24]. No free parameters are fitted. The central claim rests on the setup assumptions and on several imported theorems, two of which are used in strengthened or asserted form as noted in the axioms.

assumptions (4)
  • domain assumption Setup 2.1: A is a connected differential bigraded k-algebra with H^0(A) Noetherian and H(A) finitely generated as an H^0(A)-module.
    The entire theory is built under this setup, ensuring D^b(A) is classically generated by finitely generated H^0(A)-modules (Proposition 2.2).
  • standard math The derived category and DG-module machinery from [BS24] and [BS25], including K-projective resolutions, derived torsion functors, local duality, and the definition of balanced dualizing dg-modules.
    The paper imports these foundational definitions and theorems as established background; they are prior results of the authors and others.
  • ad hoc to paper The Gorenstein hypothesis in [BS24, Theorem 5.1] is not needed for part (2) of that theorem.
    Invoked in the 'only if' direction of Theorem 2.23 without proof; the footnote on page 9 states the hypothesis is unnecessary but gives no argument.
  • ad hoc to paper To establish the dualizing dg-module property, it suffices to prove R-reflexivity of M and N; the tensor conditions on N ⊗_A R and M ⊗_Aop R are not verified.
    In the converse direction of Theorem 2.23, the proof checks only M and N, asserting the rest is unnecessary; this reduction is not justified in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence of balanced dualizing dg-modules." pith.science (2026). https://pith.science/paper/2KR3QLSU

@misc{pith2026250602398,
  author       = {Pith},
  title        = {Pith review of: Existence of balanced dualizing dg-modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2KR3QLSU}},
  note         = {Machine review of arXiv:2506.02398}
}
read the original abstract

We describe cohomological conditions that are necessary and sufficient for the existence of balanced dualizing dg-modules, generalizing a theorem of Van den Bergh for balanced dualizing complexes over graded algebras. As a consequence, we show that a dg-algebra satisfying certain finiteness conditions admits a balanced dualizing dg-module if and only if its zeroth cohomology algebra admits a balanced dualizing complex. Additionally, we obtain a host of new examples of dg-algebras whose associated noncommutative spaces satisfy Serre duality.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 13 canonical work pages

  1. [1]

    Artin and J

    M. Artin and J. J. Zhang, Noncommutative projective schemes, Adv. Math. 109 (1994), no. 2, 228--287. 1304753

    work page 1994

  2. [2]

    Brown and Prashanth Sridhar, Serre duality for dg-algebras, 2024

    Michael K. Brown and Prashanth Sridhar, Serre duality for dg-algebras, 2024

    work page 2024

  3. [3]

    , Orlov's theorem for dg-algebras, Advances in Mathematics 460 (2025), 110035

    work page 2025

  4. [4]

    Isaac Bird, Liran Shaul, Prashanth Sridhar, and Jordan Williamson, Finitistic dimensions over commutative DG -rings , Math. Z. 309 (2025), no. 1, Paper No. 3, 29. 4827125

    work page 2025

  5. [5]

    Bondal and M

    A. Bondal and M. Van den Bergh, Generators and representability of functors in commutative and noncommutative geometry, Mosc. Math. J. 3 (2003), no. 1, 1--36, 258. 1996800

    work page 2003

  6. [6]

    Algebra 25 (1997), no

    Peter J rgensen, Local cohomology for non-commutative graded algebras, Comm. Algebra 25 (1997), no. 2, 575--591. 1428799

    work page 1997

  7. [7]

    Hiroyuki Minamoto, Resolutions and homological dimensions of DG -modules , Israel J. Math. 245 (2021), no. 1, 409--454. 4357467

    work page 2021

  8. [8]

    Amnon Neeman, The connection between the K -theory localization theorem of T homason, T robaugh and Y ao and the smashing subcategories of B ousfield and R avenel , Ann. Sci. \' E cole Norm. Sup. (4) 25 (1992), no. 5, 547--566. 1191736

    work page 1992

Show all 14 references
  1. [9]

    The Stacks project authors , The S tacks project , https://stacks.math.columbia.edu, 2025

    2025

  2. [10]

    Algebra 195 (1997), no

    Michel Van den Bergh, Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J. Algebra 195 (1997), no. 2, 662--679. 1469646

    1997

  3. [11]

    Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol

    Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. 1269324

    1994

  4. [12]

    Algebra 153 (1992), no

    Amnon Yekutieli, Dualizing complexes over noncommutative graded algebras, J. Algebra 153 (1992), no. 1, 41--84. 1195406

    1992

  5. [13]

    183, Cambridge University Press, Cambridge, 2020

    , Derived categories, Cambridge Studies in Advanced Mathematics, vol. 183, Cambridge University Press, Cambridge, 2020. 3971537

    2020

  6. [14]

    Zhang, Serre duality for noncommutative projective schemes, Proc

    Amnon Yekutieli and James J. Zhang, Serre duality for noncommutative projective schemes, Proc. Amer. Math. Soc. 125 (1997), no. 3, 697--707. 1372045

    1997

Pith tools

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