Generalized symmetry in the vanishing of Ext

Andrew J. Soto Levins; Paulo Martins; Tatheer Ajani; Victor D. Mendoza Rubio

Ext-vanishing is symmetric for homologically finite complexes over Noetherian rings with a dualizing complex, under extra homological conditions.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-15 02:00 UTC pith:245T7MLI

load-bearing objection Abstract-only unification of Ext-vanishing symmetry via dualizing complexes; solid-sounding subfield cleanup whose proofs we cannot yet inspect. the 3 major comments →

arxiv 2607.12957 v1 pith:245T7MLI submitted 2026-07-14 math.AC

Generalized symmetry in the vanishing of Ext

Tatheer Ajani , Paulo Martins , Victor D. Mendoza Rubio , Andrew J. Soto Levins This is my paper

classification math.AC MSC 13D0713H1013D0513D09

keywords Ext vanishingsymmetrydualizing complexhomologically finite complexesNoetherian ringsGorenstein ringscomplete intersections

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper claims that, over a Noetherian ring that admits a dualizing complex, the vanishing of Ext between two homologically finite complexes is symmetric once those complexes satisfy further homological conditions. Earlier symmetry theorems of Avramov–Buchweitz and Huneke–Jorgensen, and later extensions over local Gorenstein rings, are recovered as special cases; the dualizing complex is the structural feature that was tacitly present in those settings. A sympathetic reader cares because the result replaces a list of ad-hoc Gorenstein-case statements with a single mechanism that works over any ring possessing a dualizing complex, and because it identifies that complex as the hidden reason the earlier theorems held.

Core claim

There is a generalized symmetry for the vanishing of Ext between homologically finite complexes over a Noetherian ring with a dualizing complex, provided the complexes satisfy additional homological conditions; this unifies and extends the known symmetry theorems over local complete intersections, AB-rings, and local Gorenstein rings, revealing that a dualizing complex was the concealed ingredient of those results.

What carries the argument

The dualizing complex of a Noetherian ring: a dualizing object that converts the vanishing of one family of Ext groups into the vanishing of the dual family once the stated homological conditions on the complexes are met.

Load-bearing premise

The additional homological conditions placed on the complexes are strong enough to force the claimed Ext-vanishing symmetry, and the dualizing complex is precisely the structural reason earlier Gorenstein-case theorems held.

What would settle it

An explicit pair of homologically finite complexes over a concrete Noetherian ring with dualizing complex that satisfy the paper’s stated homological hypotheses yet for which Ext vanishes in one order but not the other.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Abstract-only unification of Ext-vanishing symmetry via dualizing complexes; solid-sounding subfield cleanup whose proofs we cannot yet inspect.

read the letter

The one thing to know is that this abstract claims a generalized Ext-vanishing symmetry for homologically finite complexes over any Noetherian ring that admits a dualizing complex, under extra (unspecified) homological conditions. It positions the dualizing complex as the structural reason earlier Gorenstein-case theorems worked, and it unifies Avramov–Buchweitz, Huneke–Jorgensen, and later Gorenstein results.

What looks new and useful is exactly that framing: making the dualizing complex explicit instead of staying inside the Gorenstein or complete-intersection setting. If the arguments hold, this is honest conceptual cleanup for people who already work with dualizing complexes and derived categories of modules. The citation pattern in the abstract is standard and appropriate; nothing looks forced or self-referential beyond the usual interpretive claim that something was “hidden.”

The soft spots are proportional to the fact that we only have the abstract. The “additional homological conditions” are left blank, so we cannot judge how restrictive they are or whether they actually force the symmetry. Soundness is therefore uncheckable; there is no visible contradiction, just an information gap. The claim that dualizing complexes explain the older Gorenstein results is plausible but remains an assertion until the proofs appear.

This is for specialists in homological commutative algebra who already care about Ext symmetry, AB-rings, and dualizing complexes. It will not move people outside that circle. Once the full text is available it deserves a serious referee rather than a desk reject; the abstract alone is enough to justify that. I would not cite it yet, and I would not put the abstract in a reading group, but I would look at the paper when it lands.

Referee Report

3 major / 0 minor

Summary. The manuscript claims a generalized symmetry theorem for the vanishing of Ext between homologically finite complexes over a Noetherian ring that admits a dualizing complex, under additional (unspecified in the abstract) homological conditions on the complexes. It asserts that this result extends and unifies earlier symmetry theorems of Avramov–Buchweitz (complete intersections), Huneke–Jorgensen (AB-rings), and subsequent authors working over local Gorenstein rings, and that the dualizing complex was the structural ingredient latent in those earlier Gorenstein-case statements.

Significance. If the stated generalization is correct and the additional homological conditions are natural, the paper would supply a single dualizing-complex framework that recovers and organizes several known Ext-vanishing symmetries, clarifying why Gorenstein hypotheses appeared in prior work. That would be a useful structural contribution in commutative algebra and homological algebra of complexes. The abstract alone, however, does not exhibit the precise hypotheses, the main theorem statement, or any comparison with the cited results, so the significance remains conditional on the unseen body of the paper.

major comments (3)

Only the abstract is available for review. The central claim (generalized Ext-vanishing symmetry under additional homological conditions, with dualizing complexes as the unifying reason for prior Gorenstein results) is therefore unsupported by any visible theorem statement, proof, or comparison argument. Soundness cannot be assessed; a full technical referee report is impossible until the complete manuscript is supplied.
Abstract: the phrase “under additional homological conditions on the complexes involved” is load-bearing for the scope of the main result, yet those conditions are not stated. Without them one cannot judge whether the theorem properly extends the Avramov–Buchweitz / Huneke–Jorgensen / Gorenstein-case literature or merely recovers special cases under strong extra assumptions.
Abstract: the interpretive assertion that “the dualizing complex has been hidden in these results” is part of the paper’s claimed contribution. It requires explicit comparison theorems or corollaries recovering the cited Gorenstein-case statements; those comparisons are not visible and must be checked in the full text.

Circularity Check

0 steps flagged

No circularity detectable from the abstract; result is stated as a theorem under explicit hypotheses, not as a fit or definitional restatement.

full rationale

Only the abstract is available, so no derivation chain, equations, or load-bearing citations can be inspected. The abstract presents a standard-style generalization: symmetry of Ext-vanishing for homologically finite complexes over a Noetherian ring with a dualizing complex, under additional (unspecified here) homological conditions. That is a claim of the form “under hypotheses H, property P holds,” not a parameter fit, a self-definitional identity, or a uniqueness theorem imported solely from the authors’ prior work. The interpretive remark that “the dualizing complex has been hidden” in earlier Gorenstein results is framing, not a mathematical step that reduces the theorem to its inputs by construction. No quoteable circular step of kinds 1–6 can be exhibited. Per the analyzer rules, an abstract-only theorem statement of this form receives score 0 with empty steps.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review: free parameters are not expected in a pure existence/vanishing theorem. Axioms are the standard background of commutative algebra plus the paper’s extra homological hypotheses (not spelled out). No new physical or geometric entities are introduced; dualizing complexes are classical.

axioms (3)

domain assumption R is a Noetherian ring admitting a dualizing complex
Stated as the ambient setting in the abstract; dualizing complexes exist for many but not all Noetherian rings.
ad hoc to paper Complexes are homologically finite and satisfy additional (unspecified) homological conditions
The abstract requires extra conditions for the symmetry; their precise form is load-bearing and not given here.
standard math Standard derived-category and Ext formalism over Noetherian rings
Background used by all cited prior work (Avramov–Buchweitz, Huneke–Jorgensen, etc.).

pith-pipeline@v1.1.0-grok45 · 6021 in / 2083 out tokens · 22428 ms · 2026-07-15T02:00:35.735534+00:00 · methodology

0 comments

read the original abstract

Foundational work by Avramov and Buchweitz, as well as by Huneke and Jorgensen, established symmetry results for the vanishing of Ext over local complete intersections and AB-rings, respectively. Later, several authors studied symmetry in the vanishing of Ext over local Gorenstein rings under additional homological assumptions on the modules involved. In this work, we provide a generalized symmetry in the vanishing of Ext for homologically finite complexes over a Noetherian ring with a dualizing complex, under additional homological conditions on the complexes involved. The results in this paper extend and unify several symmetry results on the vanishing of Ext previously proved over local Gorenstein rings and show that the dualizing complex has been hidden in these results.

Generalized symmetry in the vanishing of Ext

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)