arxiv: 2605.00418 · v1 · submitted 2026-05-01 · 🧮 math.AC · math.AG

Recognition: unknown

Trace ideals of exterior powers of the module of differentials

Ryo Ishizuka, Sora Miyashita

Pith reviewed 2026-05-09 15:24 UTC · model grok-4.3

classification 🧮 math.AC math.AG

keywords trace idealexterior powermodule of differentialspolynomial rankformal power series ranksingular locusnearly regular ring

0 comments

The pith

Trace ideals of the exterior powers of differentials characterize the polynomial rank and singular locus of rings.

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

The paper examines the trace ideals of the i-th exterior power of the module of differentials for each i. It establishes that these ideals determine the polynomial rank of graded rings and the formal power series rank of complete local rings, meaning the largest number of variables needed for a polynomial or power series extension over a subring. For the top exterior power the authors define the top differential trace and show that it coincides exactly with the singular locus in reduced equidimensional rings. This leads them to introduce nearly regular rings as the Noetherian rings in which the top differential trace contains the maximal ideal. A sympathetic reader cares because the construction supplies explicit algebraic invariants that recover extension ranks and detect geometric singularities directly from the differentials module.

Core claim

The trace ideals of the exterior powers of the module of differentials characterize the polynomial rank of graded rings and the formal power series rank of complete local rings, namely the maximal number of variables for a polynomial or formal power series extension over a subring. For the top exterior power, the top differential trace precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, nearly regular rings are introduced as Noetherian rings whose top differential trace contains the maximal ideal.

What carries the argument

The trace ideal of the i-th exterior power of the module of differentials (the ideal consisting of all traces of homomorphisms from that exterior power to the ring); when i reaches the top degree this becomes the top differential trace that locates the singular locus.

If this is right

The polynomial rank of a graded ring is recoverable directly from the collection of these trace ideals.
The formal power series rank of a complete local ring is likewise recoverable from the same collection.
The singular locus of a reduced equidimensional ring is exactly the zero set of the top differential trace.
Nearly regular rings are precisely the Noetherian rings satisfying the containment of the maximal ideal in the top differential trace.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These trace ideals may supply a practical computational test for polynomial rank once the differentials module is known.
The nearly-regular condition could serve as an intermediate notion between regular rings and more general classes where singularities are controlled algebraically.
The construction suggests possible comparisons with other differential invariants such as the Jacobian ideal or the different.

Load-bearing premise

The rings are Noetherian, and for the singular-locus claim they must additionally be reduced and equidimensional.

What would settle it

A single reduced equidimensional Noetherian ring in which the zero set of the top differential trace fails to equal the singular locus would falsify the characterization.

read the original abstract

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings, namely the maximal number of variables for a polynomial or formal power series extension over a subring. For the top exterior power, we introduce the top differential trace and prove that it precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, we introduce and investigate nearly regular rings, which are Noetherian rings whose top differential trace contains the maximal ideal.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines trace ideals for exterior powers of differentials that characterize polynomial and power series ranks, plus a top differential trace that pins down singular loci for reduced equidimensional rings and a new class of nearly regular rings.

read the letter

The core contribution is the construction of these trace ideals and the proof that they recover the maximal number of variables in polynomial or power series extensions. For the top exterior power they introduce the top differential trace and show it equals the singular locus under the stated hypotheses. They then define nearly regular rings as Noetherian rings where this trace contains the maximal ideal and begin to study them. That is genuinely new material; the characterizations do not appear to collapse to earlier notions of trace ideals or Jacobian ideals in the literature they cite. The arguments are presented as direct from the explicit constructions in sections 2-4, and the stress-test note confirms there are no internal inconsistencies once the reduced, equidimensional, and Noetherian conditions are in place. The paper does a clean job of stating the hypotheses up front and deriving the rank and locus results from them. The main limitation is the scope: everything is restricted to Noetherian rings, and the singular-locus claim further requires reduced and equidimensional. Those are not hidden assumptions, but they do mean the results apply only inside that class. Without more examples or explicit computations in the text it is hard to judge how often the new objects simplify existing calculations in practice. This is specialized commutative algebra aimed at people working on singularities, module ranks, and classification of local or graded rings. A reader already thinking about differentials and trace ideals will find the new descriptors useful for computation and for spotting when a ring is close to regular. It is coherent on its own terms and the claims are precise enough to merit referee time.

Referee Report

0 major / 3 minor

Summary. The paper studies the trace ideals of the i-th exterior powers of the module of differentials Ω_{R/k} over a commutative ring R. It proves that these trace ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings (the maximal number of variables in a polynomial or power series extension over a subring). For the top exterior power, it introduces the top differential trace and proves that this ideal coincides with the singular locus for reduced equidimensional local or graded rings. Motivated by this, the paper defines nearly regular rings as Noetherian rings whose top differential trace contains the maximal ideal and investigates their basic properties.

Significance. If the claims hold, the work supplies explicit algebraic characterizations of polynomial/formal ranks and singular loci via trace ideals of exterior powers of differentials, under clearly stated hypotheses (Noetherian, reduced, equidimensional). The constructions in §§2–4 appear direct and the introduction of nearly regular rings is a natural outgrowth. These tools may prove useful for detecting singularities or extension ranks without geometric language. The absence of circular reasoning and the conditioning of all main statements on the listed hypotheses are strengths.

minor comments (3)

[§1] §1 (Introduction): the definition of the trace ideal Tr(∧^i Ω_{R/k}) is used before recalling the standard definition of the trace ideal of a module; adding one sentence with the usual formula Tr(M) = ∑_{f∈Hom(M,R)} f(M) would improve readability for readers outside the immediate subfield.
[§4] §4 (singular-locus theorem): while the equidimensional hypothesis is stated, a one-sentence remark explaining why it cannot be dropped (or a pointer to a known counter-example in the literature) would clarify the sharpness of the result without lengthening the proof.
[Definition of nearly regular rings] Definition of nearly regular rings (late in the paper): the phrase “contains the maximal ideal” is slightly ambiguous in context—does it mean the trace ideal equals the unit ideal or properly contains m? A parenthetical clarification would prevent misreading.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment of its contributions. The referee's summary accurately reflects the main results on trace ideals of exterior powers of differentials, their characterization of polynomial and formal ranks, the top differential trace, and the introduction of nearly regular rings. We note the recommendation for minor revision. As the report contains no specific major comments, we have no point-by-point responses to provide at this stage. We will perform a careful review for any minor improvements, such as typographical corrections or clarifications, in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivations are independent

full rationale

The paper introduces trace ideals of exterior powers of the module of differentials as new objects and proves they characterize polynomial rank and formal power series rank via explicit constructions in §§2–4. The top differential trace is defined and shown to coincide with the singular locus for reduced equidimensional rings, again by direct proof rather than by reduction to inputs or self-citations. No load-bearing step reduces by construction to a fitted parameter, renamed known result, or author self-citation chain; all claims rest on standard Noetherian ring hypotheses stated upfront and on independent algebraic arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on standard assumptions in commutative algebra such as the rings being Noetherian, reduced, and equidimensional in specific cases, plus the introduction of new objects without external evidence.

axioms (2)

domain assumption Rings are Noetherian
Required for the definition and investigation of nearly regular rings.
domain assumption Rings are reduced and equidimensional
Explicitly required for the top differential trace to precisely define the singular locus.

invented entities (2)

top differential trace no independent evidence
purpose: To precisely define the singular locus of reduced equidimensional rings
New ideal introduced for the top exterior power of the differentials module.
nearly regular rings no independent evidence
purpose: To classify Noetherian rings where the top differential trace contains the maximal ideal
New class of rings motivated by the properties of the top trace ideal.

pith-pipeline@v0.9.0 · 5397 in / 1515 out tokens · 41400 ms · 2026-05-09T15:24:56.423226+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 4 canonical work pages · 1 internal anchor

[1]

Aoyama,Some basic results on canonical modules, Journal of Mathematics of Kyoto University23(1983), no

[Aoy83] Y . Aoyama,Some basic results on canonical modules, Journal of Mathematics of Kyoto University23(1983), no. 1, 85–94. [AG85] Y . Aoyama and S. Goto,On the endomorphism ring of the canonical module, Journal of Mathematics of Kyoto University25(1985), no. 1, 21–30. [BH93] W. Bruns and J. Herzog,Cohen–Macaulay rings, Cambridge Studies in Advanced Mat...

1983
[2]

[Cos79] D

arXiv:2312.00983. [Cos79] D. L. Costa,The polynomial rank of a commutative ring, Communications in Algebra7(1979), no. 14, 1509–1530. [DKT21] H. Dao, T. Kobayashi, and R. Takahashi,Trace ideals of canonical modules, annihilators of Ext modules, and classes of rings close to being Gorenstein, Journal of Pure and Applied Algebra225(2021), no. 9, 106655. [Ei...

work page arXiv 1979
[3]

[Fic25] A

With a view toward algebraic geometry. [Fic25] A. Ficarra,The canonical trace of Cohen–Macaulay algebras of codimension2, Proceedings of the American Math- ematical Society153(2025), no. 8, 3275–3289. [FHST24] A. Ficarra, J. Herzog, D. I. Stamate, and V . Trivedi,The canonical trace of determinantal rings, Archiv der Mathe- matik123(2024), no. 5, 487–497....

2025
[4]

Goto and K

[GW78] S. Goto and K. Watanabe,On graded rings, I, Journal of the Mathematical Society of Japan30(1978), no. 2, 179–213. [GS] D. R. Grayson and M. E. Stillman,Macaulay2, a software system for research in algebraic geometry. Available at http://www2.macaulay2.com. [Har13] R. Hartshorne,Algebraic geometry, Springer Science & Business Media,

1978
[5]

Herzog, T

[HHS19] J. Herzog, T. Hibi, and D. I. Stamate,The trace of the canonical module, Israel Journal of Mathematics233(2019), no. 1, 133–165. [IT16] S. B. Iyengar and R. Takahashi,Annihilation of cohomology and strong generation of module categories, International Mathematics Research Notices2016(2016), no. 2, 499–535. [Kim26] K. Kimura,Trace ideals of canonic...

2019
[6]

[KM25] S

arXiv:2601.18387. [KM25] S. Kumashiro and S. Miyashita,Canonical traces of fiber products and their applications,

work page arXiv
[7]

Canonical traces of graded fiber products: applications to disconnected Stanley--Reisner rings

arXiv:2506.04899. [Les06] J. Lescot,La s ´erie de Bass d’un produit fibr ´e d’anneaux locaux, S´eminaire d’alg`ebre Paul Dubreil et Marie-Paule Malliavin: Proceedings, Paris 1982 (35`eme ann´ee), Springer, 2006, pp. 218–239. [Lin17] H. Lindo,Trace ideals and centers of endomorphism rings of modules over commutative rings, Journal of Algebra 482(2017), 102...

work page internal anchor Pith review Pith/arXiv arXiv 1982
[8]

[MV25] S

arXiv:2407.05629. [MV25] S. Miyashita and M. Varbaro,The canonical trace of Stanley–Reisner rings that are Gorenstein on the punctured spectrum, International Mathematics Research Notices12(2025), rnaf176. [Nob75] A. Nobile,Some properties of the Nash blowing-up, Pacific Journal of Mathematics60(1975), no. 1, 297–305. [Sta] The Stacks Project Authors,Stac...

work page arXiv 2025