Torsion modules and differential operators in infinitely many variables

Leonid Positselski

arxiv: 2505.07739 · v7 · submitted 2025-05-12 · 🧮 math.AC · math.RA

Torsion modules and differential operators in infinitely many variables

Leonid Positselski This is my paper

Pith reviewed 2026-05-22 16:13 UTC · model grok-4.3

classification 🧮 math.AC math.RA

keywords differential operatorstorsion modulesdiagonal idealtransfinite orderspolynomial ringsGrothendieck operatorscommutative algebralocalization

0 comments

The pith

Every ordinal can be the order of a differential operator on polynomials in infinitely many variables over a field.

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

Grothendieck differential operators between modules over a commutative ring are reinterpreted as torsion elements in the bimodule of all linear operators, taken with respect to the diagonal ideal inside the tensor square of the ring. When the ring is not Noetherian and the ideal is infinitely generated, different choices of torsion submodule produce different notions of differential operators, including those whose order is a transfinite ordinal and those that possess only local orders relative to individual ring elements. The central result shows that the polynomial algebra in countably infinitely many variables over any field admits differential operators realizing every ordinal as its order. The paper also treats the behavior of these operators under localization and colocalization of modules.

Core claim

Differential operators in the sense of Grothendieck arise as torsion elements in the bimodule of all operators with respect to the diagonal ideal. For infinitely generated ideals, various torsion notions yield differential operators of transfinite orders or with only local orders. On the polynomial ring in infinitely many variables over a field, every ordinal occurs as the order of some differential operator.

What carries the argument

Torsion submodule with respect to the diagonal ideal in the tensor square of the ring, generalized to infinitely generated ideals to define differential operators of transfinite or local orders.

If this is right

Differential operators can be assigned any transfinite ordinal as their order when the ring is not Noetherian.
Some operators possess only local orders relative to specific elements rather than a single global order.
The constructions extend to localizations of rings and to both localizations and colocalizations of modules.
The realization of every ordinal occurs already on the polynomial algebra in countably many variables.

Where Pith is reading between the lines

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

The same torsion approach may allow differential operators to be defined on arbitrary commutative rings without finite generation hypotheses.
Ordinal-valued orders suggest a filtration theory indexed by ordinals rather than by natural numbers.
Local-order operators could be useful when studying differential equations supported at specific points in infinite-dimensional varieties.

Load-bearing premise

The various torsion-module constructions for an infinitely generated ideal correctly generalize the classical definition of Grothendieck differential operators.

What would settle it

An explicit differential operator on the infinite-variable polynomial ring whose order is not any ordinal, or the failure to produce an operator whose order equals a chosen ordinal such as the first infinite ordinal omega.

read the original abstract

This paper grew out of the author's work on arXiv:2504.18460. Differential operators in the sense of Grothendieck acting between modules over a commutative ring can be interpreted as torsion elements in the bimodule of all operators with respect to the diagonal ideal in the tensor square of the ring. Various notions of torsion modules for an infinitely generated ideal in a commutative ring lead to various notions of differential operators. We discuss differential operators of transfinite orders and differential operators having no global order at all, but only local orders with respect to specific elements of the ring. Many examples are presented. In particular, we prove that every ordinal can be realized as the order of a differential operator acting on the algebra of polynomials in infinitely many variables over a field. We also discuss extension of differential operators to localizations of rings and modules, and to colocalizations of modules.

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

Positselski shows every ordinal arises as the order of some differential operator on the infinite-variable polynomial ring by using torsion submodules with respect to the diagonal ideal.

read the letter

The main point is that this paper constructs differential operators of arbitrary ordinal order on the polynomial algebra in infinitely many variables over a field. It does so by treating them as torsion elements in the bimodule of all operators relative to the diagonal ideal, then taking successive transfinite torsion submodules to define higher orders. The explicit realization that hits every ordinal is the concrete new result, growing out of the author's earlier work on related torsion ideas. The paper also lays out several variants of torsion for infinitely generated ideals, shows operators that only have local orders with respect to specific elements, and discusses extensions to localizations and colocalizations, with plenty of examples to illustrate the distinctions. These pieces organize the transfinite case in a single framework and make the abstract notions more usable. The stress-test concern about recovering classical finite-order Grothendieck operators when the number of variables is finite is worth checking in the proofs. The paper introduces multiple torsion notions, so the variant chosen for the ordinal theorem needs to agree with the standard filtration in the Noetherian finite case; if it does, the extension is direct, and if not, the ordinals apply to a parallel notion rather than the usual one. The abstract indicates awareness of these choices, so the compatibility is probably addressed, but that remains the spot to verify rather than a load-bearing flaw. No circularity or hidden fitting appears in the setup. This work is for commutative algebraists already comfortable with differential operators, torsion modules, and non-Noetherian rings. A reader who knows the finite-variable Grothendieck definition will see the most value in the examples and the ordinal construction. The paper shows clear thinking and honest engagement with the literature, so it deserves a serious referee to check the details of the constructions and the compatibility claim.

Referee Report

2 major / 2 minor

Summary. The paper generalizes Grothendieck differential operators via torsion submodules of the bimodule of all operators with respect to the diagonal ideal Delta in R tensor R, for commutative rings R that need not be Noetherian. It introduces several variants of torsion for infinitely generated ideals, defines transfinite orders via iterated torsion submodules, and constructs examples of operators with no global order but only local orders. The central theorem states that for k[x_i | i in I] with I infinite, every ordinal arises as the order of some differential operator with respect to one of the torsion notions.

Significance. If the constructions are shown to be consistent with the classical finite-order theory when the number of variables is finite, the result provides a precise extension of the order filtration to transfinite ordinals and to non-Noetherian settings. The explicit realization that every ordinal occurs supplies a concrete, falsifiable statement about the possible orders and illustrates the flexibility introduced by infinitely generated ideals. The discussion of localization and colocalization extensions adds further utility.

major comments (2)

[§3.1, Definition 3.4] §3.1 and Definition 3.4: the chosen torsion variant for the infinitely generated diagonal ideal must be shown to recover the standard Grothendieck filtration of order n when I is finite (so that Delta is finitely generated). The text sketches agreement for n finite but does not supply an explicit induction or comparison with the usual definition via the ideal of derivations; without this, the realized ordinals may not correspond to differential operators in the intended sense.
[Theorem 5.3] Theorem 5.3 (the every-ordinal realization): the proof constructs an operator whose order is exactly a prescribed ordinal alpha by using an infinite set of variables and a carefully chosen element of the bimodule. The argument relies on the specific torsion notion being stable under the transfinite iteration; a concrete verification that the order does not collapse for successor ordinals or at limit ordinals would strengthen the claim.

minor comments (2)

[§2] Notation for the various torsion functors (e.g., Gamma_Delta^alpha) is introduced in §2 but used interchangeably in later sections without repeated reminders of which variant is active; a short table or consistent subscript would improve readability.
[§4] The examples in §4 of operators with only local orders would benefit from an explicit computation of the local order at a specific element to illustrate the distinction from global order.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive report and the positive evaluation of the paper's contributions. We address each major comment below and will incorporate revisions to strengthen the manuscript's clarity and rigor.

read point-by-point responses

Referee: [§3.1, Definition 3.4] §3.1 and Definition 3.4: the chosen torsion variant for the infinitely generated diagonal ideal must be shown to recover the standard Grothendieck filtration of order n when I is finite (so that Delta is finitely generated). The text sketches agreement for n finite but does not supply an explicit induction or comparison with the usual definition via the ideal of derivations; without this, the realized ordinals may not correspond to differential operators in the intended sense.

Authors: We agree that an explicit verification is necessary for consistency with the classical theory. In the revised manuscript we will insert a new proposition in §3.1 proving by induction on n that, when I is finite (hence Δ finitely generated), the n-fold iterated torsion submodule with respect to our definition coincides exactly with the Grothendieck differential operators of order ≤ n. The induction step will compare the torsion condition directly with the usual ideal of derivations and the associated filtration on the bimodule. revision: yes
Referee: [Theorem 5.3] Theorem 5.3 (the every-ordinal realization): the proof constructs an operator whose order is exactly a prescribed ordinal alpha by using an infinite set of variables and a carefully chosen element of the bimodule. The argument relies on the specific torsion notion being stable under the transfinite iteration; a concrete verification that the order does not collapse for successor ordinals or at limit ordinals would strengthen the claim.

Authors: The construction in Theorem 5.3 ensures strict increase at successor ordinals by adjoining a fresh variable whose coefficient appears only in the next torsion layer, while at limit ordinals the direct limit over previous stages is taken and the infinite supply of variables prevents premature stabilization. To address the request for explicit verification we will add a short subsection after the proof that checks the successor case (order α+1) and the limit case (order λ) with a concrete low-ordinal example (ω and ω+1) showing that the torsion submodule enlarges precisely as claimed. revision: yes

Circularity Check

0 steps flagged

No circularity: ordinal realization follows from explicit algebraic constructions on torsion submodules

full rationale

The paper defines differential operators of transfinite order via successive torsion submodules with respect to the diagonal ideal in the bimodule of all operators. It then constructs explicit examples in the polynomial algebra k[x_i | i ∈ I] for infinite I that achieve any prescribed ordinal as the minimal alpha such that the operator lies in the alpha-th torsion submodule. These constructions use standard module-theoretic operations (localizations, colocalizations, and direct limits) without fitting parameters to data or reducing the existence claim to a self-citation. When restricted to finite I the definitions recover Grothendieck's classical orders by the usual Noetherian properties of the diagonal ideal, so the transfinite extension is a genuine generalization rather than a renaming or self-definition. No load-bearing step equates the target result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard definition of Grothendieck differential operators and on the correspondence between torsion elements and differential operators; no free parameters or invented entities are introduced in the abstract. The main added content is the transfinite-order constructions and the ordinal-realization theorem.

axioms (1)

domain assumption Differential operators in the sense of Grothendieck can be identified with torsion elements in the bimodule of all operators with respect to the diagonal ideal.
This identification is taken as the starting point for all subsequent definitions of torsion-based differential operators.

pith-pipeline@v0.9.0 · 5672 in / 1228 out tokens · 26860 ms · 2026-05-22T16:13:02.773185+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We put F_β D_{R/K}(U,V)=F^(I)_β E … the elements of ⋃_β F_β D_{R/K}(U,V)=Γ^qu_I(E) the K-linear quite R-differential operators … every ordinal α there exists a differential operator D_α of order α (Theorem 4.4)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the class of quite I-torsion T-modules is the closure of T/I-Mod under extensions and filtered direct limits

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Contraherent cosheaves of contramodules on Noetherian formal schemes
math.AG 2026-03 unverdicted novelty 7.0

The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper · 2 internal anchors

[1]

H. Bass. Finitistic dimension and a homological generalization of semi-primary rings.Trans. of the Amer. Math. Soc.95, #3, p. 466–488, 1960

work page 1960
[2]

Beilinson, J

A. Beilinson, J. Bernstein. A proof of Jantzen conjectures.Advances in Soviet Math.16, #1, p. 1–50, 1993

work page 1993
[3]

Geigle, H

W. Geigle, H. Lenzing. Perpendicular categories with applications to representations and sheaves.Journ. of Algebra144, #2, p. 273–343, 1991

work page 1991
[4]

G¨ obel, J

R. G¨ obel, J. Trlifaj. Approximations and endomorphism algebras of modules. Second Revised and Extended Edition. De Gruyter Expositions in Mathematics 41, De Gruyter, Berlin–Boston, 2012

work page 2012
[5]

Grothendieck, J

A. Grothendieck, J. Dieudonn´ e.´El´ ements de g´ eom´ etrie alg´ ebrique: IV.´Etude locale des sch´ emas et des morphismes des sch´ emas, Quatri` eme partie.Publications Mathematiques de l’IH´ES32, p. 5–361, 1967

work page 1967
[6]

Grothendieck, J

A. Grothendieck, J. A. Dieudonn´ e.´El´ ements de g´ eom´ etrie alg´ ebrique. I. Grundlehren der math- ematischen Wissenschaften, 166. Springer-Verlag, Berlin–Heidelberg–New York, 1971

work page 1971
[7]

A. J. de Jong et al. The Stacks Project. Available fromhttps://stacks.math.columbia.edu/

work page
[8]

K. Kunen. Set theory. An introduction to independence proofs. North-Holland, Elsevier Science Publishers, Amsterdam, 1980–92

work page 1980
[9]

A. Levy. Basic set theory. Springer-Verlag, Berlin–Heidelberg, 1979, and Dover Publications, Inc., Mineola, NY, 2002

work page 1979
[10]

Yu. I. Manin. A course in mathematical logic for mathematicians. With collaboration by B. Zil- ber. Second edition, Graduate Texts in Math., 53, Springer-Verlag, New York, 2010

work page 2010
[11]

On the Homology of Completion and Torsion

M. Porta, L. Shaul, A. Yekutieli. On the homology of completion and torsion.Algebras and Represent. Theory17, #1, p. 31–67, 2014.arXiv:1010.4386 [math.AC]. Erratum inAlgebras and Represent. Theory18, #5, p. 1401–1405, 2015.arXiv:1506.07765 [math.AC] 51

work page internal anchor Pith review Pith/arXiv arXiv 2014
[12]

Positselski

L. Positselski. Contraherent cosheaves on schemes. Electronic preprintarXiv:1209.2995v24 [math.CT]

work page arXiv
[13]

Positselski

L. Positselski. Contraadjusted modules, contramodules, and reduced cotorsion modules. Moscow Math. Journ.17, #3, p. 385–455, 2017.arXiv:1605.03934 [math.CT]

work page arXiv 2017
[14]

Dedualizing complexes and MGM duality

L. Positselski. Dedualizing complexes and MGM duality.Journ. of Pure and Appl. Algebra 220, #12, p. 3866–3909, 2016.arXiv:1503.05523 [math.CT]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[15]

Positselski

L. Positselski. Exact DG-categories and fully faithful triangulated inclusion functors. Electronic preprintarXiv:2110.08237 [math.CT]

work page arXiv
[16]

Positselski

L. Positselski. Philosophy of contraherent cosheaves. Electronic preprintarXiv:2311.14179 [math.AG]

work page arXiv
[17]

Positselski.D-Ω duality on the contra side

L. Positselski.D-Ω duality on the contra side. Electronic preprintarXiv:2504.18460v12 [math.AG]

work page arXiv
[18]

Stenstr¨ om

B. Stenstr¨ om. Rings of quotients. An introduction to methods of ring theory. Springer-Verlag, Berlin–Heidelberg–New York, 1975. Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, 115 67 Prague 1, Czech Republic Email address:positselski@math.cas.cz 52

work page 1975

[1] [1]

H. Bass. Finitistic dimension and a homological generalization of semi-primary rings.Trans. of the Amer. Math. Soc.95, #3, p. 466–488, 1960

work page 1960

[2] [2]

Beilinson, J

A. Beilinson, J. Bernstein. A proof of Jantzen conjectures.Advances in Soviet Math.16, #1, p. 1–50, 1993

work page 1993

[3] [3]

Geigle, H

W. Geigle, H. Lenzing. Perpendicular categories with applications to representations and sheaves.Journ. of Algebra144, #2, p. 273–343, 1991

work page 1991

[4] [4]

G¨ obel, J

R. G¨ obel, J. Trlifaj. Approximations and endomorphism algebras of modules. Second Revised and Extended Edition. De Gruyter Expositions in Mathematics 41, De Gruyter, Berlin–Boston, 2012

work page 2012

[5] [5]

Grothendieck, J

A. Grothendieck, J. Dieudonn´ e.´El´ ements de g´ eom´ etrie alg´ ebrique: IV.´Etude locale des sch´ emas et des morphismes des sch´ emas, Quatri` eme partie.Publications Mathematiques de l’IH´ES32, p. 5–361, 1967

work page 1967

[6] [6]

Grothendieck, J

A. Grothendieck, J. A. Dieudonn´ e.´El´ ements de g´ eom´ etrie alg´ ebrique. I. Grundlehren der math- ematischen Wissenschaften, 166. Springer-Verlag, Berlin–Heidelberg–New York, 1971

work page 1971

[7] [7]

A. J. de Jong et al. The Stacks Project. Available fromhttps://stacks.math.columbia.edu/

work page

[8] [8]

K. Kunen. Set theory. An introduction to independence proofs. North-Holland, Elsevier Science Publishers, Amsterdam, 1980–92

work page 1980

[9] [9]

A. Levy. Basic set theory. Springer-Verlag, Berlin–Heidelberg, 1979, and Dover Publications, Inc., Mineola, NY, 2002

work page 1979

[10] [10]

Yu. I. Manin. A course in mathematical logic for mathematicians. With collaboration by B. Zil- ber. Second edition, Graduate Texts in Math., 53, Springer-Verlag, New York, 2010

work page 2010

[11] [11]

On the Homology of Completion and Torsion

M. Porta, L. Shaul, A. Yekutieli. On the homology of completion and torsion.Algebras and Represent. Theory17, #1, p. 31–67, 2014.arXiv:1010.4386 [math.AC]. Erratum inAlgebras and Represent. Theory18, #5, p. 1401–1405, 2015.arXiv:1506.07765 [math.AC] 51

work page internal anchor Pith review Pith/arXiv arXiv 2014

[12] [12]

Positselski

L. Positselski. Contraherent cosheaves on schemes. Electronic preprintarXiv:1209.2995v24 [math.CT]

work page arXiv

[13] [13]

Positselski

L. Positselski. Contraadjusted modules, contramodules, and reduced cotorsion modules. Moscow Math. Journ.17, #3, p. 385–455, 2017.arXiv:1605.03934 [math.CT]

work page arXiv 2017

[14] [14]

Dedualizing complexes and MGM duality

L. Positselski. Dedualizing complexes and MGM duality.Journ. of Pure and Appl. Algebra 220, #12, p. 3866–3909, 2016.arXiv:1503.05523 [math.CT]

work page internal anchor Pith review Pith/arXiv arXiv 2016

[15] [15]

Positselski

L. Positselski. Exact DG-categories and fully faithful triangulated inclusion functors. Electronic preprintarXiv:2110.08237 [math.CT]

work page arXiv

[16] [16]

Positselski

L. Positselski. Philosophy of contraherent cosheaves. Electronic preprintarXiv:2311.14179 [math.AG]

work page arXiv

[17] [17]

Positselski.D-Ω duality on the contra side

L. Positselski.D-Ω duality on the contra side. Electronic preprintarXiv:2504.18460v12 [math.AG]

work page arXiv

[18] [18]

Stenstr¨ om

B. Stenstr¨ om. Rings of quotients. An introduction to methods of ring theory. Springer-Verlag, Berlin–Heidelberg–New York, 1975. Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, 115 67 Prague 1, Czech Republic Email address:positselski@math.cas.cz 52

work page 1975