pith. sign in

arxiv: 2409.11562 · v3 · pith:6P7PE7G5new · submitted 2024-09-17 · 🧮 math.AC · math.NT

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

Cristian D. Popescu , Wei Yin This is my paper

Pith reviewed 2026-05-23 20:20 UTC · model grok-4.3

classification 🧮 math.AC math.NT
keywords Fitting idealsprojective limitsIwasawa algebrasnon-Noetherian ringsequivariant Iwasawa theoryDrinfeld modulesTaelman class modules
0
0 comments X

The pith

The commutativity of projective limits and Fitting ideals extends to modules over non-Noetherian Iwasawa algebras with countably many generators and general coefficients.

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

This paper generalizes a theorem of Greither and Kurihara on the interchange between projective limits and Fitting ideals of modules. The original result applied to classical equivariant Iwasawa algebras that are Noetherian. The generalization covers first the finite-variable Noetherian case and then the infinite-variable non-Noetherian case with arbitrary coefficient rings. This matters for recent developments in geometric Iwasawa theory over function fields and for the Iwasawa theory of Taelman class modules attached to Drinfeld modules, where the relevant algebras are non-Noetherian. Sympathetic readers would value the result if it permits the reduction of infinite-level statements to finite-level computations in these contexts.

Core claim

The paper proves that projective limits commute with Fitting ideals for modules over the non-Noetherian Iwasawa algebras O[[T_1, T_2, …]] with general coefficient rings O, under suitable technical conditions on the modules. This extends the theorem of Greither and Kurihara from the Noetherian setting Λ_G = Z_p[G][[T]] to both Noetherian algebras with finitely many variables and the countably infinite case. The result is motivated by applications in the Geometric Equivariant Iwasawa Conjecture for function fields and the Iwasawa theory of Drinfeld modules.

What carries the argument

The Fitting ideal construction for modules over these Iwasawa algebras together with the projective limit operation, shown to commute when the modules meet the required finiteness and presentation conditions.

Load-bearing premise

The modules under consideration satisfy the technical conditions such as appropriate finiteness or presentation properties that permit the extension of the argument from the Noetherian setting.

What would settle it

A concrete module over an algebra of the form O[[T_1, T_2, …]] for which the Fitting ideal of the projective limit differs from the projective limit of the Fitting ideals would disprove the claimed commutativity.

read the original abstract

In \cite{grku1}, Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[G][[T]]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebras $\mathcal O[[T_1, T_2, \dots, T_n]]$ and, most importantly, to non-Noetherian algebras $\mathcal O[[T_1, T_2, \dots, T_n, \dots]]$ of countably many generators, with more general rings of coefficients $\mathcal O$. The latter generalization is motivated by the recent work of Bley--Popescu on the Geometric Equivariant Iwasawa Conjecture for function fields, as well as by the emerging Iwasawa theory of Taelman class--modules associated to Drinfeld modules, where the Iwasawa algebras are not Noetherian, of the type described above. A sample application of our results to non--Noetherian geometric Iwasawa theory is given in Appendix B. Further number theoretic applications will be given in an upcoming paper.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript generalizes the Greither-Kurihara theorem on commutativity of projective limits and Fitting ideals, first from the classical equivariant Iwasawa algebra Λ_G = ℤ_p[G][[T]] to Noetherian Iwasawa algebras 𝒪[[T_1, …, T_n]] and then to the non-Noetherian case 𝒪[[T_1, T_2, …]] with general coefficient rings 𝒪. The argument reduces the infinite-variable case to finite truncations, verifies stabilization of the relevant Fitting ideals, and states explicit technical conditions on the modules (finiteness of presentation after base change and compatibility of annihilators). A sample application to non-Noetherian geometric Iwasawa theory appears in Appendix B.

Significance. If the central claim holds, the result is significant: it supplies a verifiable tool for Iwasawa-theoretic arguments in the non-Noetherian settings that arise in the Geometric Equivariant Iwasawa Conjecture for function fields and in the Iwasawa theory of Taelman class-modules for Drinfeld modules. The reduction via finite truncations and the explicit listing of module hypotheses make the generalization usable for concrete applications, as the appendix illustrates.

minor comments (3)
  1. [Introduction] Introduction, paragraph 2: the phrase 'more general rings of coefficients 𝒪' is used without an immediate list of the precise hypotheses imposed on 𝒪 (e.g., whether 𝒪 is required to be a DVR, complete, or p-adically complete); a short enumerated list would improve readability.
  2. [§2] The notation for the infinite-variable algebra 𝒪[[T_1, T_2, …]] is introduced in the abstract but first defined formally only after the Noetherian case; a single displayed definition at the beginning of §2 would eliminate forward references.
  3. [Appendix B] Appendix B, statement of the sample theorem: the module M is asserted to satisfy the finiteness-of-presentation condition after base change, but the verification is only sketched; adding one sentence that cites the exact lemma or proposition used would make the application self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript, for recognizing its significance in the context of non-Noetherian Iwasawa theory, and for recommending minor revision. The referee's description of the main results and the sample application in Appendix B is accurate.

Circularity Check

0 steps flagged

No significant circularity; generalization of external result with explicit technical conditions

full rationale

The paper's central claim is a generalization of the external Greither-Kurihara theorem on commutativity of projective limits and Fitting ideals, first to finite-variable Noetherian Iwasawa algebras and then to the countably infinite non-Noetherian case. The argument proceeds by reduction to the Noetherian case via finite truncations, with stabilization of Fitting ideals verified under the inverse limit; all additional hypotheses (finiteness of presentation after base change, compatibility of annihilators) are stated explicitly as module conditions and do not reduce to self-referential definitions or fitted inputs. The Bley-Popescu citation appears only for motivation of the non-Noetherian setting and is not invoked to justify the proof steps. No self-citation chain, ansatz smuggling, or renaming of known results is load-bearing for the derivation, which remains self-contained against the stated assumptions and the external base theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated. The result rests on the unstated technical conditions that allow the generalization.

pith-pipeline@v0.9.0 · 5783 in / 1182 out tokens · 27863 ms · 2026-05-23T20:20:37.194391+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    M.F.Atiyah and I.G.MacDonald, Introduction to Commutative Algebra , Addison-Wesley Publishing Company, Inc., 1969

    work page 1969

  2. [2]

    Popescu, Geometric Main Conjectures in Function Fields , arXiv:2209.02440, to appear in Journal f¨ ur die reine und angewand te Mathematik (Crelle), 2024

    Werner Bley and Cristian D. Popescu, Geometric Main Conjectures in Function Fields , arXiv:2209.02440, to appear in Journal f¨ ur die reine und angewand te Mathematik (Crelle), 2024

    work page arXiv 2024

  3. [3]

    Greither, Equivariant Weierstrass Preparation and values of L-funct ions at negative integers

    D.Burns and C. Greither, Equivariant Weierstrass Preparation and values of L-funct ions at negative integers. Doc. Math., Extra Volume Kato (2003), 157-185

    work page 2003

  4. [4]

    Number Th

    P.Cornacchia and C.Greither, Fitting ideals of class groups of real fields with prime power conductor, J. Number Th. 73 (1998), 459-471

    work page 1998

  5. [5]

    M.Emerton, Inverse limit of modules and tensor product , StackExchange, 2012

    work page 2012

  6. [6]

    Folland, A Course in Abstract Harmonic Analysis , Chapman and Hall/CRC, 2015

    Gerald B. Folland, A Course in Abstract Harmonic Analysis , Chapman and Hall/CRC, 2015

    work page 2015

  7. [7]

    Folland, Real Analysis: Modern Techniques and Their Applications , 2nd Edition, John Wiley & Sons, Inc., 2007

    Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications , 2nd Edition, John Wiley & Sons, Inc., 2007

    work page 2007

  8. [8]

    Greither and M

    C. Greither and M. Kurihara, Stickelberger elements, Fitting ideals of class groups of C M-fields, and dualisation, Mathematische Zeitschrift, volume 260, pages 905–930 (2008)

    work page 2008

  9. [9]

    221, Springer-V erlag, New York, 2002

    Serge Lang, Algebra, 3rd Edition, Graduate Texts in Mathematics, vol. 221, Springer-V erlag, New York, 2002. FITTING IDEALS OF PROJECTIVE LIMITS OVER IW ASA W A ALGEBRAS 3 1

    work page 2002

  10. [10]

    D. G. Northcott, Finite Free Resolutions , Cambridge Tracts in Mathematics vol. 71, Cambridge Uni- versity Press, 1976

    work page 1976

  11. [11]

    C. D. Popescu, On the Coates-Sinnott Conjecture , Mathematische Nachrichten, Volume 282, Issue 10, 2009

    work page 2009

  12. [12]

    Ribes and P

    L. Ribes and P. Zalesskii, Profinite Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, vol.40, Springer-Verlag, Berlin, 2000

    work page 2000

  13. [13]

    Washington, Introduction to Cyclotomic Fields , 2nd Edition, Graduate Texts in Mathe- matics, vol

    Lawrence C. Washington, Introduction to Cyclotomic Fields , 2nd Edition, Graduate Texts in Mathe- matics, vol. 83, Springer-Verlag, New York, 1997

    work page 1997

  14. [14]

    178, Elsevier Science Pub - lishers B.V., 1993

    Seth Warner, Topological Rings, North-Holland Mathematics Studies, Vol. 178, Elsevier Science Pub - lishers B.V., 1993. Cristian D. Popescu. University of California, San Diego. E-mail address : cpopescu@ucsd.edu Wei Yin. University of California, San Diego. E-mail address : wey101@ucsd.edu

    work page 1993