pith. sign in

arxiv: 2606.26380 · v1 · pith:NREVVYPVnew · submitted 2026-06-24 · 🧮 math.KT · math.RA

Matrix stability and Morita invariance

Eugenia Ellis , Emanuel Rodr\'iguez Cirone This is my paper

Pith reviewed 2026-06-26 00:34 UTC · model grok-4.3

classification 🧮 math.KT math.RA
keywords algebraic K-theoryMorita invariancematrix stabilityG-algebrasG-graded algebrasbivariant K-theorycrossed productssimplicial sets
0
0 comments X

The pith

Matrix stability for G-algebras or G-graded algebras guarantees Morita invariance.

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

The paper shows that if an algebraic K-theory construction is matrix stable, then it must also be invariant under Morita equivalence, both when a group G acts on the algebras and when the algebras carry a G-grading. A reader would care because this removes the need to check Morita invariance separately once matrix stability is established, and it immediately implies that the associated bivariant K-theory functors respect Morita equivalence. The argument also produces a concrete equivalence: when a finite group acts freely on a finite simplicial set X, the crossed-product algebra and the algebra of the quotient space become equivalent in bivariant K-theory.

Core claim

We prove that matrix stability for either G-algebras or G-graded algebras guarantees Morita invariance. As a consequence, bivariant algebraic K-theory (either G-equivariant or G-graded) is Morita invariant. In particular, we show that if G is a finite group acting freely on a finite simplicial set X, then ℓ^X ⋊ G and ℓ^{X/G} are kk-equivalent.

What carries the argument

The direct implication from matrix stability to Morita invariance in the categories of G-algebras and G-graded algebras.

If this is right

  • Bivariant algebraic K-theory is Morita invariant in both the G-equivariant and the G-graded settings.
  • When a finite group G acts freely on a finite simplicial set X, the algebras ℓ^X ⋊ G and ℓ^{X/G} are equivalent in bivariant K-theory.
  • The same matrix-stability-to-Morita-invariance implication holds independently for G-algebras and for G-graded algebras.

Where Pith is reading between the lines

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

  • K-theory computations for quotient spaces arising from free group actions can be replaced by computations on the corresponding crossed products.
  • The result suggests that, in these categories, Morita invariance need not be imposed as a separate axiom once matrix stability is verified.
  • Similar implications may hold in other algebra categories where matrix stability is already known but Morita invariance has not been checked.

Load-bearing premise

The argument uses the standard definitions of matrix stability, Morita invariance, and bivariant kk-theory already present in the algebraic K-theory literature.

What would settle it

An explicit G-algebra or G-graded algebra that is matrix stable yet fails to have Morita-invariant bivariant K-theory, or a free finite-group action on a simplicial set where the crossed product and quotient are not kk-equivalent.

read the original abstract

Let $G$ be a group. We prove that matrix stability for either $G$-algebras or $G$-graded algebras guarantees Morita invariance. As a consequence, bivariant algebraic K-theory (either $G$-equivariant or $G$-graded) is Morita invariant. In particular, we show that if $G$ is a finite group acting freely on a finite simplicial set $X$, then $\ell^X\rtimes G$ and $\ell^{X/G}$ are kk-equivalent. Here, $\ell^Y$ denotes the $\ell$-algebra of piecewise polynomial functions on $Y$ with coefficients in the ground ring $\ell$.

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 / 1 minor

Summary. The manuscript proves that matrix stability for G-algebras or G-graded algebras implies Morita invariance. Consequently, bivariant algebraic K-theory (G-equivariant or G-graded) is Morita invariant. In particular, for a finite group G acting freely on a finite simplicial set X, the algebras ℓ^X ⋊ G and ℓ^{X/G} are kk-equivalent, where ℓ^Y is the ℓ-algebra of piecewise polynomial functions on Y.

Significance. If the central implication holds, the result provides a criterion linking matrix stability to Morita invariance in equivariant and graded settings, extending standard definitions from algebraic K-theory literature. The finite-group example offers a concrete, falsifiable application that could simplify equivalence checks for such algebras.

minor comments (1)
  1. [Abstract] The abstract uses standard terms like 'matrix stability' and 'Morita invariance' without recalling their precise definitions; the introduction should include a brief reminder of these to aid readers unfamiliar with the cited prior literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report and for recognizing the potential significance of the central implication (matrix stability implying Morita invariance) and the concrete application to kk-equivalence of crossed products. The recommendation is listed as uncertain, but no specific major comments or points of concern are provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained on standard definitions

full rationale

The paper's central claim is an implication (matrix stability implies Morita invariance for G-algebras or G-graded algebras) that yields Morita invariance of bivariant kk-theory as a direct consequence, followed by an application to a specific equivalence under free finite-group actions. This rests explicitly on standard definitions of the relevant notions from the prior algebraic K-theory literature, with no equations, ansatzes, or fitted parameters introduced in the provided abstract or description. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear. The derivation chain is therefore independent of its own outputs and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard background definitions and properties of G-algebras, Morita equivalence, and algebraic K-theory from the existing literature rather than new free parameters or invented entities.

axioms (1)
  • domain assumption Standard definitions and properties of matrix stability and Morita invariance in the categories of G-algebras and G-graded algebras
    The proof invokes these as given from prior work in algebraic K-theory.

pith-pipeline@v0.9.1-grok · 5632 in / 1156 out tokens · 30559 ms · 2026-06-26T00:34:43.886868+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 · 7 canonical work pages

  1. [1]

    Morita equivalence for graded rings

    Gene Abrams, Efren Ruiz, and Mark Tomforde,Morita equivalence for graded rings, J. Al- gebra617(2023), 79–112, DOI 10.1016/j.jalgebra.2022.10.036 (English)

    work page doi:10.1016/j.jalgebra.2022.10.036 2023

  2. [2]

    Guido Arnone and Guillermo Corti˜ nas,GradedK-theory and Leavitt path algebras, J. Algebr. Comb.58(2023), no. 2, 399–434, DOI 10.1007/s10801-022-01184-5 (English)

    work page doi:10.1007/s10801-022-01184-5 2023

  3. [3]

    S. U. Chase, D. K. Harrison, and Alex Rosenberg,Galois theory and Galois cohomology of commutative rings, Mem. Amer. Math. Soc.52(1965), 15–33. MR0195922

    1965

  4. [4]

    topologicalK-theory: a friendly match, Topics in algebraic and topologicalK-theory, Lecture Notes in Math., vol

    Guillermo Corti˜ nas,Algebraic v. topologicalK-theory: a friendly match, Topics in algebraic and topologicalK-theory, Lecture Notes in Math., vol. 2008, Springer, Berlin, 2011, pp. 103– 165, DOI 10.1007/978-3-642-15708-0 3. MR2762555

    work page doi:10.1007/978-3-642-15708-0 2008

  5. [5]

    13, Depto

    Corti˜ nas G., ´Algebra II+1/2, Cursos y seminarios de matem´ atica, vol. 13, Depto. de Matem´ atica, FCEyN, UBA, 2021

    2021

  6. [6]

    and Ellis E.,Isomorphism conjectures with proper coefficients, Journal of Pure and Applied Algebra218(2014), no

    Corti˜ nas G. and Ellis E.,Isomorphism conjectures with proper coefficients, Journal of Pure and Applied Algebra218(2014), no. 7, 1224-1263, DOI https://doi.org/10.1016/j.jpaa.2013.11.016

    work page doi:10.1016/j.jpaa.2013.11.016 2014

  7. [7]

    Reine Angew

    Guillermo Corti˜ nas and Andreas Thom,Bivariant algebraicK-theory, J. Reine Angew. Math. 610(2007), 71–123, DOI 10.1515/CRELLE.2007.068. MR2359851 (2008i:19003) MATRIX STABILITY AND MORITA INVARIANCE 21

    work page doi:10.1515/crelle.2007.068 2007

  8. [8]

    Algebra398 (2014), 200–226, DOI 10.1016/j.jalgebra.2013.09.023

    Eugenia Ellis,Equivariant algebraickk-theory and adjointness theorems, J. Algebra398 (2014), 200–226, DOI 10.1016/j.jalgebra.2013.09.023. MR3123759

    work page doi:10.1016/j.jalgebra.2013.09.023 2014

  9. [9]

    Math.29(2024), no

    Eugenia Ellis and Emanuel Rodr´ ıguez Cirone,Algebraick k-theory and the KH-isomorphism conjecture, Doc. Math.29(2024), no. 2, 399–456, DOI 10.4171/DM/953 (English)

    work page doi:10.4171/dm/953 2024

  10. [10]

    Piccinini,Cellular structures in topology, Cambridge Studies in Advanced Mathematics, vol

    Rudolf Fritsch and Renzo A. Piccinini,Cellular structures in topology, Cambridge Studies in Advanced Mathematics, vol. 19, Cambridge University Press, Cambridge, 1990. MR1074175

    1990

  11. [11]

    Masoud Khalkhali,Basic noncommutative geometry(2009) (English)

    2009

  12. [12]

    T. Y. Lam,Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189, Springer-Verlag, New York, 1999. MR1653294

    1999

  13. [13]

    Saunders MacLane,Categories for the working mathematician, Graduate Texts in Mathe- matics, vol. Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR0354798

    1971

  14. [14]

    Kiiti Morita,Duality for modules and its applications to the theory of rings with minimum condition, Sci. Rep. Tokyo Kyoiku Daigaku, Sect. A6(1958), 83–142 (English). Email address:eellis@fing.edu.uy IMERL. Facultad de Ingenier´ıa. Universidad de la Rep ´ublica. Montevideo, Uruguay. Email address:erodriguezcirone@cbc.uba.ar Dep. Matem´atica – CBC – UBA, B...

    1958