pith. sign in

arxiv: 2604.16326 · v1 · submitted 2026-03-08 · 🧮 math.RA

Morita Invariance, Categorical Obstructions, and Dimension Transfer for texorpdfstring{C4}{C4}, texorpdfstring{C4^(ast)}{C4*}, Strongly texorpdfstring{C4^(ast)}{C4*}, and Semi-Weak-CS Modules

Chandrasekhar Gokavarapu (Department of Mathematics , Government College (Autonomous) , Rajamahendravaram , Andhra Pradesh , India) This is my paper

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

classification 🧮 math.RA
keywords Morita invarianceC4 modulesC4* modulesCS modulesmodule categoriesring theorycategorical obstructionsdirect summands
0
0 comments X

The pith

Module conditions C4, C4*, strongly C4* and semi-weak-CS are invariant under Morita equivalence of rings.

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

The paper establishes that when two rings have equivalent categories of modules, a module satisfies one of the four conditions if and only if its image does. These conditions concern the way modules decompose into direct summands and avoid certain obstruction pairs involving submodules and essential extensions. The proofs work by moving the finite data that witness the conditions across the equivalence of categories. This leads to characterizations in terms of the ring itself and criteria for matrix rings and corner rings. The author also separates the strong versions from the weaker ones to show they are distinct.

Core claim

The four conditions are Morita invariant because they are expressed in terms of direct summands, subobjects, essentiality, and finite decomposition data, all of which are preserved under equivalences of module categories. The C4 condition uses finite summand witness schemes while the C4* condition uses the absence of subobject-level C4 defects. The semi-weak-CS condition uses the absence of admissible semisimple obstruction pairs, and the strongly C4* condition combines the two defect types.

What carries the argument

Categorical transport of finite witness data for summands and defects across the equivalence functor between module categories.

If this is right

  • Ring-level characterizations follow for these module properties.
  • Matrix ring and full-corner criteria hold for the properties.
  • Obstruction statements separate the strong C4* theory from the pure C4* theory.
  • The semi-weak-CS condition cannot be recovered from ideal-theoretic C4 data alone.
  • Finite depth and finite arity extensions of the C4 framework are also Morita invariant.

Where Pith is reading between the lines

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

  • Similar invariance might hold for other module conditions defined via finite categorical data.
  • The defect geometry could provide a way to classify rings up to Morita equivalence based on their module properties.
  • The semiring path indicated may connect to algebraic invariants for module categories.

Load-bearing premise

The relevant module properties are completely determined by finite witness structures on summands and subobjects that can be transported by any equivalence of module categories.

What would settle it

Finding a pair of Morita equivalent rings R and S together with a module M over R that satisfies C4 but whose image under the equivalence fails C4 over S would show the claim false.

read the original abstract

Let $R$ and $S$ be rings with equivalent module categories. We study the Morita behavior of the conditions $C4$, $C4^{\ast}$, strongly $C4^{\ast}$, and semi-weak-CS. The point is categorical. These conditions are expressed through direct summands, subobjects, essentiality, and finite decomposition data. Their Morita status must therefore be determined at the level of transported witness structure. We prove that the four classical conditions are Morita invariant. The $C4$ condition is treated through finite summand witness schemes. The $C4^{\ast}$ condition is treated through the absence of subobject-level $C4$ defects. The semi-weak-CS condition is treated through the absence of admissible semisimple obstruction pairs. The strongly $C4^{\ast}$ condition is then recovered as the simultaneous vanishing of the two corresponding defect types. From this point we derive ring-level characterizations, together with matrix and full-corner criteria. We also isolate obstruction and impossibility statements showing that the strong theory does not collapse into the pure $C4^{\ast}$ theory, and that the semi-weak-CS layer cannot be read off from ideal-theoretic $C4$ data alone. We then introduce finite depth and finite arity extensions of the $C4$ framework and prove their Morita invariance in the same witness-theoretic form. Finally, we formulate a categorical reconstruction principle showing that the $C4$-type theory of a module is determined by its transported defect geometry, and we indicate the conditional semiring path suggested by this formalism. The paper is purely algebraic. No empirical input is used. The proofs rest on categorical transport of finite witness data and on the separation between local $C4$ defects and semisimple essentiality obstructions.

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 paper claims that for rings R and S with equivalent module categories, the module conditions C4, C4*, strongly C4*, and semi-weak-CS are Morita invariant. It establishes this via categorical transport of finite summand witness schemes (for C4), absence of subobject-level C4 defects (for C4*), absence of admissible semisimple obstruction pairs (for semi-weak-CS), and their joint vanishing (for strongly C4*). The work derives ring-level characterizations, matrix and full-corner criteria, obstruction and impossibility statements, finite depth/arity extensions, and a categorical reconstruction principle based on transported defect geometry.

Significance. If the central claims hold, the results provide a coherent categorical framework for transferring these classical module conditions under Morita equivalence, which is a standard and useful tool in ring theory. The separation of local C4 defects from semisimple essentiality obstructions, together with the witness-theoretic proofs and the reconstruction principle, offers a structured way to study these properties without reducing to ideal-theoretic data alone. The finite extensions and obstruction statements add further value by delineating the boundaries of the theory.

minor comments (3)
  1. [Abstract] The abstract states that proofs rest on 'categorical transport of finite witness data' but does not name the specific functors or equivalences used in the transport; adding a brief reference to the relevant equivalence (e.g., the standard Morita equivalence functor) would improve readability.
  2. [Ring-level characterizations] In the discussion of matrix and full-corner criteria, the notation for the corner rings and the precise statement of the criterion (e.g., which idempotents are involved) should be made explicit to avoid ambiguity for readers unfamiliar with the C4 literature.
  3. [Obstruction statements] The impossibility statement separating the strong theory from pure C4* theory is important; a short diagram or explicit counter-example module (even if sketched) would make the distinction more concrete.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment, accurate summary of the categorical approach via witness schemes and defect separation, and the recommendation of minor revision. No specific major comments appear in the provided report, so we have no points requiring detailed rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via categorical preservation

full rationale

The paper defines the C4, C4*, strongly C4*, and semi-weak-CS conditions explicitly in terms of direct summands, subobjects, essentiality, and finite decomposition data. It then observes that Morita equivalence preserves these structures and therefore transports the witness schemes, defect absences, and obstruction pairs. This is a direct application of the definition of Morita equivalence rather than a reduction of any claimed result to fitted parameters, self-citations, or prior ansatzes by the same authors. No equation or step is shown to equal its input by construction; the separation of defect types and the reconstruction principle follow from the transported data without circular renaming or imported uniqueness theorems. The argument is therefore independent of any internal fit or self-referential premise.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard axioms of category theory and module theory for equivalence and transport; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption Module categories of rings are equivalent under Morita equivalence, allowing transport of categorical properties expressed via summands and subobjects
    This is the foundational setup invoked throughout the abstract for determining Morita status.

pith-pipeline@v0.9.0 · 5690 in / 1178 out tokens · 50414 ms · 2026-05-15T14:24:41.316940+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    G. D. Abrams,Morita equivalence for rings with local units, Communications in Al- gebra11(1983), no. 8, 801–837

    work page 1983

  2. [2]

    Adel Alahmadi, S. K. Jain, and André Leroy,Ads modules, Journal of Algebra352 (2012), no. 1, 215–222

    work page 2012

  3. [3]

    Çiğdem Özcan, and Mohamed Yousif, C4- and d4-modules via perspective direct summands, Communications in Algebra46 (2018), no

    Meltem Altun-Özarslan, Yasser Ibrahim, A. Çiğdem Özcan, and Mohamed Yousif, C4- and d4-modules via perspective direct summands, Communications in Algebra46 (2018), no. 10, 4480–4497

    work page 2018

  4. [4]

    4, 655–670

    Ismail Amin, Yasser Ibrahim, Mohamed Yousif, and Yiqiang Zhou,C3-modules, Al- gebra Colloquium22(2015), no. 4, 655–670

    work page 2015

  5. [5]

    Anderson and Kent R

    Frank W. Anderson and Kent R. Fuller,Rings and categories of modules, 2 ed., Springer, New York, 1992

    work page 1992

  6. [6]

    P. N. Ánh and László Márki,Morita equivalence for rings without identity, Tsukuba Journal of Mathematics11(1987), 1–16

    work page 1987

  7. [7]

    Birkenmeier, Jae Keol Park, and S

    Gary F. Birkenmeier, Jae Keol Park, and S. Tariq Rizvi,Extensions of rings and modules, Birkhäuser, New York, 2013

    work page 2013

  8. [8]

    Vanaja, and Robert Wisbauer,Lifting modules: Sup- plements and projectivity in module theory, Birkhäuser, Basel, 2006

    John Clark, Christian Lomp, N. Vanaja, and Robert Wisbauer,Lifting modules: Sup- plements and projectivity in module theory, Birkhäuser, Basel, 2006

    work page 2006

  9. [9]

    P. M. Cohn,Morita equivalence and duality, Queen Mary College, London, 1966

    work page 1966

  10. [10]

    M. Das, S. Gupta, and S. K. Sardar,Morita equivalence of semirings with local units, Algebra and Discrete Mathematics31(2021), no. 1, 37–60

    work page 2021

  11. [11]

    4, 1727–1740

    Nanqing Ding, Yasser Ibrahim, Mohamed Yousif, and Yiqiang Zhou,C4-modules, Communications in Algebra45(2017), no. 4, 1727–1740

    work page 2017

  12. [12]

    Smith, and Robert Wisbauer,Ex- tending modules, Pitman Research Notes in Mathematics Series, vol

    Nguyen Viet Dung, Dinh Van Huynh, Patrick F. Smith, and Robert Wisbauer,Ex- tending modules, Pitman Research Notes in Mathematics Series, vol. 313, Pitman, Harlow, 1994

    work page 1994

  13. [13]

    2, 491–503

    Noyan Er,Direct sums and summands of weak CS-modules and continuous modules, Rocky Mountain Journal of Mathematics29(1999), no. 2, 491–503

    work page 1999

  14. [14]

    Golan,Semirings and affine equations over them: Theory and applica- tions, Springer, Dordrecht, 2003

    Jonathan S. Golan,Semirings and affine equations over them: Theory and applica- tions, Springer, Dordrecht, 2003. 84 CHANDRASEKHAR GOKA V ARAPU

    work page 2003

  15. [15]

    K. R. Goodearl,Ring theory: Nonsingular rings and modules, Marcel Dekker, New York, 1976

    work page 1976

  16. [16]

    11, 4774–4786

    Yasser Ibrahim and Mohamed Yousif,C4-modules with the exchange property, Com- munications in Algebra50(2022), no. 11, 4774–4786

    work page 2022

  17. [17]

    6, 2488–2506

    ,Perspectivity, exchange and summand-dual-square-free modules, Communica- tions in Algebra50(2022), no. 6, 2488–2506

    work page 2022

  18. [18]

    12, 2350260

    ,Direct complements almost unique, Journal of Algebra and Its Applications 22(2023), no. 12, 2350260

    work page 2023

  19. [19]

    31, 10857–10869

    ,C4*-modules, strongly c4*-modules and semi-weak-cs modules, Filomat38 (2024), no. 31, 10857–10869

    work page 2024

  20. [20]

    3, 445–473

    Yuri Katsov and Taesam Nam,Morita equivalence and homological characterization of semirings, Journal of Algebra and Its Applications10(2011), no. 3, 445–473

    work page 2011

  21. [21]

    Veronika Laan and László Márki,Morita invariants for semigroups with local units, Monatshefte für Mathematik166(2012), 441–451

    work page 2012

  22. [22]

    T. Y. Lam,Lectures on modules and rings, Springer, New York, 1999

    work page 1999

  23. [23]

    Huanhuan Liu,Morita equivalence for semirings without identity, Italian Journal of Pure and Applied Mathematics36(2016), 495–508

    work page 2016

  24. [24]

    Kiiti Morita,Adjoint pairs of functors and frobenius extensions, Sci. Rep. Tokyo Ky- oiku Daigaku Sect. A9(1965), 40–71

    work page 1965

  25. [25]

    3, 252–259

    Laur Tooming,Morita contexts, ideals, and congruences for semirings with local units, Proceedings of the Estonian Academy of Sciences67(2018), no. 3, 252–259

    work page 2018

  26. [26]

    3, 595–611

    Derya Keskin Tütüncü and Gabriella D’Este,D3-modules versus d4-modules – appli- cations to quivers, Glasgow Mathematical Journal63(2021), no. 3, 595–611

    work page 2021

  27. [27]

    Derya Keskin Tütüncü, Gabriella D’Este, and Fatma Kaynarca,Some variations of perspectivity and direct complements almost unique, Bulletin of the Malaysian Math- ematical Sciences Society48(2025), no. 3, 58

    work page 2025

  28. [28]

    Robert Wisbauer,Foundations of module and ring theory, Gordon and Breach, Read- ing, 1991

    work page 1991

  29. [29]

    1, 187–197

    Zhanmin Zhu,Generalizations of c3 modules and c4 modules, Mathematical Reports 25(75)(2023), no. 1, 187–197

    work page 2023

  30. [30]

    Department of Mathematics, Government College (Autonomous), Rajama- hendravaram, Andhra Pradesh, India Email address:chandrasekhargokavarapu@gmail.com

    Zhanmin Zhu and Carmelo Antonio Finocchiaro,A-d3 modules and a-d4 modules, Journal of Mathematics2023(2023), 4148088. Department of Mathematics, Government College (Autonomous), Rajama- hendravaram, Andhra Pradesh, India Email address:chandrasekhargokavarapu@gmail.com

    work page 2023