Pith. sign in

REVIEW 3 major objections 4 minor 25 references

Frobenius and Verschiebung for $K$-theory of endomorphisms

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Frobenius and Verschiebung maps can be built directly on the reduced K-theory of twisted endomorphisms over noncommutative rings.

desk verdict Genuinely new Frobenius/Verschiebung construction, but the main definitions are built on an abelian-category hypothesis that the motivating example does not satisfy. read the letter →

arxiv 2507.05956 v1 pith:OIWDWEZ2 submitted 2025-07-08 math.KT math.ATmath.CT

Sanjana Agarwal , Jonathan Campbell , Diego Manco , Kate Ponto , Zhonghui Sun This is my paper · ORCID
classification math.KTmath.ATmath.CT MSC 19D2318N10
keywords algebraicK-theoryendomorphismcategoryFrobeniusmapVerschiebungWittvectorsHattori-Stallingstraceshadowsinbicategoriesnoncommutativerings
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper aims to show that Frobenius and Verschiebung, the two operations that organize Witt vectors, are not special to commutative algebra: they can be constructed directly on the reduced $K$-theory of twisted endomorphisms of bimodules over possibly noncommutative rings. The construction turns an endomorphism $f:M\otimes_R P\to P\otimes_S N$ into an $n$-fold composite, giving a homomorphism $F_n:\tilde K_0(R,S;M,N)\to\tilde K_0(R,S;M^{\otimes n},N^{\otimes n})$, and, when the right-side twist is flat and one of the twists is trivial, a companion Verschiebung map $V_n$ in the reverse direction. The stated payoff is that these maps obey $F_nF_m=F_{nm}$ and $V_nV_m=V_{nm}$, and that their iterated Hattori-Stallings traces land on the subsequences predicted by the classical ghost-map formulas. A sympathetic reader would care because this positions the $K$-theory of endomorphisms, rather than Witt vectors, as the primordial object whose structure can be studied over noncommutative rings.

What carries the argument

The central object is the generalized endomorphism category $\operatorname{End}(\mathcal C;G,H;\vec i)$, whose objects are cyclic tuples of maps $G^{i_j}(c_{j+1})\to H^{i_j}(c_j)$, with $\mathcal C=\operatorname{Mod}^c_{R,S}$, $G=M\otimes_R-$, and $H=-\otimes_S N$. When $\mathcal C$ is abelian and $H$ is left exact, this category is abelian, and its reduced zeroth $K$-theory is defined by killing the zero-map tuples from $\mathcal C^{\times n}$. The paper's key move is the ``compose maps'' functor $\Gamma:\operatorname{End}(\mathcal C;G,H;n,1)\to\operatorname{End}(\mathcal C;G,H;1,n)$, which turns $n$ separate maps into one composite; Frobenius is obtained by repeating $f$ $n$ times and applying $\Gamma$, and Verschiebung by inverting $\Gamma$ (when $G=1$ or $H=1$) and then summing cyclic components. The shadow structure on $K$-theory, i.e. the natural isomorphism $\langle\langle M\odot N\rangle\rangle\cong\langle\langle N\odot M\rangle\rangle$ in the bicategory of rings and bimodules, is what makes the traces of these composites computable.

What would settle it

The decisive test is whether the untwisting map of Corollary 3.12 is an isomorphism when both $G$ and $H$ are nontrivial flat twists, for example $R=S=\mathbb Z[x]$, $M=N=R^{\oplus 2}$ with the two basis elements acting by multiplication by $x$ and $x+1$; computing the two reduced $K_0$ groups and comparing them would show whether $V_n$ can be defined for general coefficients.

Watch

Extended reading notes

Core claim

The central claim is that Frobenius and Verschiebung maps exist on the reduced $K$-theory of twisted endomorphisms. For a flat $R$-$R$-bimodule $M$ and an $S$-$S$-bimodule $N$ (with $N$ flat so the endomorphism category is abelian), Theorem 1.3 produces a homomorphism $F_n:\tilde K_0(R,S;M,N)\to\tilde K_0(R,S;M^{\otimes n},N^{\otimes n})$ with $F_nF_m=F_{nm}$, and Theorem 1.4, under the additional hypothesis $M=R$ or $N=S$, produces $V_n:\tilde K_0(R,S;M^{\otimes n},N^{\otimes n})\to\tilde K_0(R,S;M,N)$ with $V_nV_m=V_{nm}$. The iterated trace of $F_n(\varphi)$ is $(\operatorname{tr}(F_n(\varphi)),\operatorname{tr}(F_{2n}(\varphi)),\ldots)$, while the trace of $V_n(\varphi)$ is zero except at indices divisible by $n$, where it is the transfer $\tau$ applied to the corresponding trace. These formulas are proved by realizing the reduced $K$-theory of the endomorphism category as a shadow in the bicategory of rings and bimodules and using the cyclicity of the trace to control the $\mathbb Z/n$ action.

Load-bearing premise

The construction requires the right-side tensor $H=-\otimes_S N$ to be left exact, i.e. $N$ flat, so the endomorphism category is abelian, and the Verschiebung map is only built when $M=R$ or $N=S$, because the key untwisting isomorphism is proved only for $G=1$ or $H=1$; the authors state they cannot prove the general case.

Editorial extensions

If this is right

  • The composition laws $F_nF_m=F_{nm}$ and $V_nV_m=V_{nm}$ hold on $\tilde K_0$ itself, so the Witt-vector identities are built into the K-theoretic construction rather than verified only after the characteristic-polynomial completion.
  • Applying $F_n$ forces the iterated trace of a class $\varphi$ to be the subsequence at indices $n,2n,3n,\dots$, and each entry is a $\mathbb Z/n$-equivariant map between twisted trace groups.
  • The Verschiebung map is sparse on traces: $V_n(\varphi)$ has vanishing trace at every index not divisible by $n$, and at index $nk$ it records the transfer of the $k$-th trace.
  • In the commutative case $R=S=M=N$, the new constructions agree with Almkvist's classical Frobenius and Verschiebung on $\tilde K_0(\operatorname{End}(A))$, making the classical Witt-vector identities a special case.
  • The shadow-based proof shows the trace descends to reduced $K_0$, so the trace formulas are statements about $K$-theory classes rather than individual representatives.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the untwisting isomorphism of Corollary 3.12 holds without the identity-functor assumption, the same recipe would define $V_n$ for all flat bimodule coefficients; a natural test is a pair of nontrivial commuting twists such as $R=S=\mathbb Z[x]$, $M=N=R^{\oplus 2}$ with basis elements acting by multiplication by $x$ and $x+1$.
  • The shadow viewpoint suggests the same Frobenius/Verschiebung construction could be run in any bicategory with additive shadows and dualizable 1-cells, so analogues may exist for parametrized spectra or topological Hochschild homology, not only module categories.
  • If the iterated trace is read as a ghost map, the reduced $K$-theory of endomorphisms may serve as a noncommutative ring of Witt vectors whose completion recovers known Witt-vector constructions, making density arguments available away from commutativity.
  • The transfer appearing in the Verschiebung trace formula hints at a connection to norm maps and cyclotomic structure, so these maps may interact with cyclotomic traces in topological cyclic homology.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper defines Frobenius and Verschiebung operations on the reduced K-theory of twisted endomorphism categories of bimodules over noncommutative rings, and proves compatibility with iterated Hattori-Stallings traces. The main theorems (1.3 and 1.4) state that the Frobenius F_n and, under M=R or N=S, the Verschiebung V_n exist as homomorphisms between such groups and satisfy F_nF_m=F_{nm}, V_nV_m=V_{nm}, with prescribed trace images. The constructions pass through a general categorical framework End(C;G,H;vector i), its reduced K-theory, and a comparison isomorphism (Corollary 3.12) whose proofs are deferred to Appendix A. Appendix B gives an explicit proof of additivity of traces.

Significance. If the main theorems were valid, they would give a noncommutative generalization of Almkvist's K-theory of endomorphisms and a concrete bridge to Witt-vector Frobenius/Verschiebung operators, with explicit and checkable trace formulas. The paper does provide full proofs of the shadow structure of K-theory of endomorphisms and of additivity of the bicategorical trace, which are useful contributions in their own right. However, the central categorical construction is not sound for the motivating module category, so the main claims are not currently established.

major comments (3)
  1. [3, Definition 3.6 and Example 3.2(2)] The groups eK0(R,S;M,N) that appear in Theorems 1.3 and 1.4 are defined using Definition 3.6, which requires C in Lemma 3.3 to be an abelian category. In Example 3.2(2), C is Mod^c_{R,S}, the category of R-S-bimodules that are finitely generated and projective as S-modules; this category is not abelian, since kernels and cokernels of bimodule maps need not be projective as S-modules. Consequently eK0(R,S;M,N) is not defined by the paper for its motivating example, and Theorem 1.3's assertion that F_n exists as a homomorphism between these groups has no well-defined content. The Remark after Lemma 3.3 only flags the flatness of N; it does not address the non-abelianness of Mod^c_{R,S}.
  2. [Theorem 1.3] The theorem states that N is an arbitrary S-S-bimodule, but the body's Remark after Lemma 3.3 says that H = -⊗_S N is left exact only if N is flat, which is needed for End(C;G,H;vec i) to be abelian. Thus the stated generality is internally inconsistent: for a non-flat N, the domain and codomain are not defined even if C were abelian. Moreover, even with N flat, Example 3.2(2) remains outside the scope of Lemma 3.3 for the reason in the previous comment.
  3. [Appendix A, Lemma A.5 and Theorem A.4] The proof of Corollary 3.12, which is used to define V_n in Definition 5.7, relies on Quillen's localization theorem for abelian categories and identifies the image of C in End(C;G,H;n-i+1,i) as a Serre subcategory. These arguments do not apply to the exact category Mod^c_{R,S}. If the intended fix is to work with exact categories, Lemma A.5, Theorem A.4, and Definition 3.6 need to be redeveloped in that setting; as written, they do not cover the paper's main example.
minor comments (4)
  1. [Theorem 1.4] The displayed trace formula contains an extra closing parenthesis: `(0,...,0, ... )),` should likely be `(0,...,0, ... )`.
  2. [Example 4.10] There is a typo in the phrase 'the Frobeinus map', which should read 'the Frobenius map'.
  3. [Section 5, Definition 5.7] Definition 5.7 should explicitly restate the hypotheses on G and H (such as preservation of direct sums and, for the proof of Proposition 5.9, symmetric monoidality with respect to direct sums) rather than leaving them implicit from the preceding paragraphs.
  4. [Section 3, after (3.5)] The phrase 'the zeroth K-theory of the abelian category End(C;G,H;vec i)' should be reconciled with the non-abelian example; this is related to the major comments above.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: F_n and V_n are new functorial constructions whose trace behavior is proved from external trace calculus; flatness/abelian-scope gaps are correctness issues, not circularity.

full rationale

The derivation is self-contained with respect to the claims: Definition 4.5 constructs F_n as a composite of the exact diagonal functor (4.1), the reduced-K map (4.2), and the Γ-composition map (3.11); Definition 5.7 constructs V_n as the composite of the inverse of (3.11) (when G=1 or H=1) and the sum functor (5.6). The Frobenius and Verschiebung maps are therefore new constructions, not quantities fitted to, or defined in terms of, the trace identities they are later shown to satisfy. The trace compatibility results (Theorems 6.12 and 6.15) are proved from Proposition 4.6, Corollary 4.9, the additivity of the Hattori-Stallings trace proved in Appendix B, and the cyclicity/tightening properties of the Ponto-Shulman bicategorical trace; none of these inputs states the target identity as an assumption. The shadow identification of reduced K-theory is proved in Appendix A rather than imported: the paper explicitly supplies its own proof and cites [Gep18] only as a 'proof sketch' and motivation. Self-citations to [Pon10], [PS12], [PS16], [MP22], [CP19], and [Cam] are to general trace, shadow, and coherence frameworks; they do not contain the present theorems, and Lemma 6.13's generalization of [Cam, Lemma 6.2] is proved in the text. The paper also states its limitations honestly: the Remark after Lemma 3.3 requires N flat for H = -⊗_S N to be left exact, and the Remark after Corollary 3.12 says the authors cannot prove the Γ-isomorphism without G=1 or H=1 and have no evidence it is necessary. These are genuine scope restrictions but not circular reasoning. There is a separate correctness concern, not a circularity: Theorem 1.3 omits the flatness hypothesis on N, and Example 3.2(2) uses Mod^c_{R,S}, an exact rather than abelian category, so Lemma 3.3 as stated does not cover the motivating example; this affects well-definedness in the stated generality but does not make any conclusion equivalent to its own input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters and no invented entities. The central claim rests on the listed domain assumptions (flatness of N, and M=R or N=S for V_n) plus standard K-theory and trace theory.

assumptions (5)
  • domain assumption N is flat as an S-S-bimodule (so H = -⊗_S N is left exact and End(R,S;M,N) is abelian).
    Needed for Lemma 3.3; the body flags it after Lemma 3.3, but Theorem 1.3 in the introduction omits it.
  • domain assumption M is flat as an R-R-bimodule.
    Stated as a hypothesis in Theorems 1.3 and 1.4; likely ensures exactness of G = M⊗_R - in the K-theory constructions.
  • domain assumption For Verschiebung, either M = R or N = S, so that G = 1_C or H = 1_C.
    Corollary 3.12, the isomorphism underlying V_n, is only proved in this case. The authors state they cannot remove this assumption.
  • standard math The shadow structure of K-theory of endomorphisms and the bicategorical trace machinery of Ponto-Shulman.
    Imported from [Pon10], [PS12], [PS16], [Gep18]; used throughout Sections 6 and Appendix A.
  • standard math Quillen's localization theorem for abelian category K-theory.
    Used in Appendix A to prove Theorem A.4, following [Qui73].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Frobenius and Verschiebung for $K$-theory of endomorphisms." pith.science (2026). https://pith.science/paper/OIWDWEZ2

@misc{pith2026250705956,
  author       = {Pith},
  title        = {Pith review of: Frobenius and Verschiebung for $K$-theory of endomorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OIWDWEZ2}},
  note         = {Machine review of arXiv:2507.05956}
}
read the original abstract

We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms of modules over non commutative rings and show they have the expected behavior after applying the iterated trace map

Figures

Figures reproduced from arXiv: 2507.05956 by the authors.

Figure 5
Figure 5. (A). The maps in Figure 5.11(B) are a preimage for [PITH_FULL_IMAGE:figures/full_fig_p014_5.png] view at source ↗
Figure 5
Figure 5. is an illustration of this result in the case [PITH_FULL_IMAGE:figures/full_fig_p016_5.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 19 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION output.nonempty.doi duplicate missing pop "" 'skip if duplicate empty 'pop " doi:" swap * "" * write if FUNCTION output.nonempty.arxiv duplicate missing pop "" 'skip if duplicate empty '...

    work page

  2. [2]

    Almkvist, Endomorphisms of finitely generated projective modules over a commutative ring, Ark

    G. Almkvist, Endomorphisms of finitely generated projective modules over a commutative ring, Ark. Mat. 11 (1973), 263--301

    work page 1973

  3. [3]

    Algebra 55 (1978), no

    , K -theory of endomorphisms , J. Algebra 55 (1978), no. 2, 308--340

    work page 1978

  4. [4]

    J. A. Campbell, Facets of the W itt vectors . arXiv:1910.10206

    work page Pith review arXiv 1910

  5. [5]

    J. A. Campbell and K. Ponto, Topological H ochschild homology and higher characteristics , Algebr. Geom. Topol. 19 (2019), no. 2, 965--1017. doi:10.2140/agt.2019.19.965 arXiv:1803.01284

    work page Pith review arXiv 2019

  6. [6]

    Dold and D

    A. Dold and D. Puppe, Duality, trace, and transfer, Proceedings of the International Conference on Geometric Topology, Warsaw; Warsaw, 1978, pp. 81--102

    work page 1978

  7. [7]

    Witt vectors with coefficients and characteristic polynomials over non-commutative rings

    E. Dotto, A. Krause, T. Nikolaus, and I. Patchkoria, Witt vectors with coefficients and characteristic polynomials over non-commutative rings, Compos. Math. 158 (2022), no. 2, 366--408. doi:https://doi.org/10.1112/s0010437x22007254 arXiv:2002.01538

    work page Pith review arXiv 2022

  8. [8]

    A. W. Dress and C. Siebeneicher, The B urnside ring of profinite groups and the W itt vector construction , Advances in Mathematics 70 (1988), no. 1, 87--132. doi:https://doi.org/10.1016/0001-8708(88)90052-7

    work page doi:10.1016/0001-8708(88)90052-7 1988

Show all 25 references
  1. [9]

    A. W. Dress and C. Siebeneicher, The B urnside ring of the infinite cyclic group and its relations to the necklace algebra, -rings, and the universal ring of W itt vectors , Advances in Mathematics 78 (1989), no. 1, 1--41. doi:https://doi.org/10.1016/0001-8708(89)90027-3

    1989 doi

  2. [10]

    Gepner, The cyclotomic trace, Arbeitsgemeinschaft: Topological Cyclic Homology (L

    D. Gepner, The cyclotomic trace, Arbeitsgemeinschaft: Topological Cyclic Homology (L. Hesselholt and P. Scholze, eds.), vol. 15, Oberwolfach Rep., no. 2, 2018, pp. 874--879. doi:https://doi.org/10.4171/OWR/2018/15

    2018 doi

  3. [11]

    D. R. Grayson, The K -theory of endomorphisms , J. Algebra 48 (1977), no. 2, 439--446

    1977

  4. [12]

    Algebra 6 (1978), no

    , Grothendieck rings and W itt vectors , Comm. Algebra 6 (1978), no. 3, 249--255

    1978

  5. [13]

    Hesselholt, Witt vectors of non-commutative rings and topological cyclic homology, Acta Mathematica 178 (1997), 109--141

    L. Hesselholt, Witt vectors of non-commutative rings and topological cyclic homology, Acta Mathematica 178 (1997), 109--141

    1997

  6. [14]

    Krause and T

    A. Krause and T. Nikolaus, Lectures on topological hochschild homology and cyclotomic spectra, available at https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/Lectures.pdf, 2018

    2018

  7. [15]

    Leinster, Basic bicategories

    T. Leinster, Basic bicategories. arXiv:math/9810017

    arXiv

  8. [16]

    Malkiewich and K

    C. Malkiewich and K. Ponto, Coherence for bicategories, lax functors, and shadows, Theory and Applications of Categories 38 (2022), no. 12, 328--373. arXiv:2109.01249

    2022 arXiv

  9. [17]

    J. P. May and J. Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs, vol. 132, American Mathematical Society, Providence, RI, 2006. doi:https://doi.org/10.1090/surv/132

    2006 doi

  10. [18]

    Ponto, Fixed point theory and trace for bicategories, Ast\' e risque (2010), no

    K. Ponto, Fixed point theory and trace for bicategories, Ast\' e risque (2010), no. 333, xii+102. arXiv:0807.1471

    2010 arXiv

  11. [19]

    Ponto and M

    K. Ponto and M. Shulman, Shadows and traces in bicategories, Journal of Homotopy and Related Structures 8 (2012), no. 2, 151--200. doi:https://doi.org/10.1007/s40062-012-0017-0 arXiv:0910.1306

    2012 arXiv

  12. [20]

    , The linearity of traces in monoidal categories and bicategories, Theory Appl. Categ. 31 (2016), Paper No. 23, 594--689. arXiv:1406.7854

    2016 arXiv

  13. [21]

    Quillen, Higher algebraic K -theory

    D. Quillen, Higher algebraic K -theory. I , Algebraic K -theory, I : H igher K -theories ( P roc. C onf., B attelle M emorial I nst., S eattle, W ash., 1972), Lecture Notes in Math., vol. Vol. 341, Springer, Berlin-New York, 1973, pp. 85--147

    1972

  14. [22]

    The Stacks project authors , The stacks project, https://stacks.math.columbia.edu, 2024

    2024

  15. [23]

    C. A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. doi:10.1017/CBO9781139644136

    1994 doi

  16. [24]

    145, American Mathematical Society, Providence, RI, 2013, An introduction to algebraic K -theory

    , The K -book , Graduate Studies in Mathematics, vol. 145, American Mathematical Society, Providence, RI, 2013, An introduction to algebraic K -theory. doi:10.1090/gsm/145

    2013 doi

  17. [25]

    orper und A lgebren der C harakteristik p vom G rad pn. S truktur diskret bewerteter perfekter K \

    E. Witt, Zyklische K \"orper und A lgebren der C harakteristik p vom G rad pn. S truktur diskret bewerteter perfekter K \"orper mit vollkommenem R estklassenk\"orper der charakteristik p. , Journal für die reine und angewandte Mathematik 176 (1937), 126--140

    1937

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.