pith. sign in

arxiv: 2407.21003 · v3 · submitted 2024-07-30 · 🧮 math.AT · math.SG

Hamiltonian elements in algebraic K-theory

Yasha Savelyev This is my paper

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

classification 🧮 math.AT math.SG
keywords Hamiltonian bundlesFloer theoryFukaya categoriesA-infinity categoriescategorified algebraic K-theoryMorita theorycompact Lie groupsLanglands duality
0
0 comments X

The pith

For any compact Lie group G and commutative ring R there is a natural homomorphism from the homotopy groups of BG to categorified algebraic K-theory groups of R.

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

The paper shows that Hamiltonian bundles over a base space induce bundles of A-infinity categories through Floer theory applied to the Fukaya categories of their fibers. Using Morita theory of these categories together with geometric representation theory, this construction produces natural group homomorphisms from the m-th homotopy group of the classifying space of a compact Lie group to categorified K-theory groups of any commutative ring. These homomorphisms also underlie maps to ordinary algebraic K-theory. The approach yields a proof that the second categorified K-theory group of the integers is infinitely generated, in contrast to the finite generation result for standard algebraic K-theory of the integers.

Core claim

A Hamiltonian bundle M into P over X with monotone compact fibers induces via Floer theory a bundle of A-infinity categories over X whose fiber is the Fukaya category of M. For X equal to a sphere this picture, combined with Morita theory of A-infinity categories and geometric representation theory, produces a natural group homomorphism from the m-th homotopy group of BG to the categorified algebraic K-theory groups K^Cat_m(R) of any commutative ring R. The same framework produces underlying maps to classical algebraic K-theory of R and gives a geometry-powered proof that K^Cat_2(Z) is infinitely generated.

What carries the argument

Induction via Floer theory of a bundle of A-infinity categories from a Hamiltonian bundle with monotone compact fibers, followed by application of Morita theory to obtain the homomorphism to categorified K-theory.

If this is right

  • Natural maps exist from π_m(BG) to classical algebraic K-theory of R.
  • K^Cat_2(Z) is infinitely generated as an abelian group.
  • The images of the homomorphisms for G and its Langlands dual are conjecturally related.

Where Pith is reading between the lines

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

  • The maps may supply geometric invariants that distinguish elements of homotopy groups of classifying spaces.
  • Analogous constructions could be tested on other geometric categories whose Morita theory is well understood.

Load-bearing premise

A Hamiltonian bundle with monotone compact fibers induces via Floer theory a bundle of A-infinity categories whose fiber is the Fukaya category of the manifold.

What would settle it

An explicit computation of the image of a generator of π_2(BG) for some compact Lie group G inside K^Cat_2(Z) that is zero or finite order, or a direct proof that K^Cat_2(Z) is finitely generated as an abelian group.

read the original abstract

A Hamiltonian bundle $M \hookrightarrow P \to X$ (with monotone compact fibers) induces via Floer theory a type of ``bundle of $A _{\infty}$ categories'' over $X$, with fiber given by the Fukaya category of $M$. Morita theory of $A _{\infty} $ categories, the above picture for $X=S ^{m}$, and geometric representation theory yield the following: if $G$ is a compact Lie group and $R$ is a commutative ring then there is a natural group homomorphism $\pi _{m} (BG) \to K ^{Cat}_{m}(R) $, where $K ^{Cat} _{m} (R)$ are a type of categorified algebraic $K$-theory groups of $R$, analogous to To\"en's secondary $K$-theory. We also construct underlying maps of this type to classical algebraic $K$-theory of $R$. This framework gives a geometry-powered proof that $K ^{Cat} _{2} (\mathbb{Z} )$ is infinitely generated (with the details to appear in a future work). This is in contrast to Quillen's finite generation result for standard algebraic $K$-theory of $\mathbb{Z} $. Taking the Langlands dual of $G$, we explore a conjectural relationship between the images of the corresponding homomorphisms above.

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

2 major / 2 minor

Summary. The manuscript claims that a Hamiltonian bundle M ↪ P → X with monotone compact fibers induces, via Floer theory, a bundle of A_∞-categories over X whose fiber is the Fukaya category of M. Applying Morita theory of A_∞-categories together with the case X = S^m and geometric representation theory produces a natural group homomorphism π_m(BG) → K^Cat_m(R) for any compact Lie group G and commutative ring R; underlying maps to classical algebraic K-theory of R are also constructed. The framework is said to yield a geometry-powered proof that K^Cat_2(Z) is infinitely generated (details deferred to future work), in contrast to Quillen's finite-generation theorem, and a conjectural relationship is explored after replacing G by its Langlands dual.

Significance. If the asserted constructions can be made rigorous, the work would supply a new geometric source of elements in categorified algebraic K-theory, potentially accounting for infinite generation via symplectic geometry and linking the groups to representation theory through Langlands duality. The contrast with Quillen's result on K_*(Z) would be of independent interest.

major comments (2)
  1. The central claim rests on the assertion that a Hamiltonian bundle induces a bundle of A_∞-categories (with fiber the Fukaya category of M) and that Morita theory then produces the homomorphism π_m(BG) → K^Cat_m(R). No derivation, explicit construction, referenced theorem, or section is supplied for either the induction step or the subsequent application of Morita theory; this step is load-bearing for every stated homomorphism.
  2. The infinite-generation statement for K^Cat_2(Z) is explicitly deferred to future work, so the manuscript contains no proof or even outline of the argument that would distinguish the categorified groups from Quillen's finite-generation result.
minor comments (2)
  1. The notation K^Cat_m(R) is introduced only by analogy with Toën's secondary K-theory; a precise definition or reference establishing the groups as objects in the category of interest should be supplied.
  2. The abstract contains minor typographic inconsistencies in subscript spacing (e.g., K ^{Cat} _{m}(R)) that should be standardized.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for identifying the load-bearing steps in the argument. The manuscript is a concise announcement of a new geometric construction and its consequences; full technical details are reserved for follow-up papers. Below we respond to each major comment.

read point-by-point responses

  1. Referee: The central claim rests on the assertion that a Hamiltonian bundle induces a bundle of A_∞-categories (with fiber the Fukaya category of M) and that Morita theory then produces the homomorphism π_m(BG) → K^Cat_m(R). No derivation, explicit construction, referenced theorem, or section is supplied for either the induction step or the subsequent application of Morita theory; this step is load-bearing for every stated homomorphism.

    Authors: We agree that the manuscript supplies only an outline rather than a self-contained derivation. The induction of the A_∞-bundle is asserted to follow from standard Floer-theoretic constructions for Hamiltonian bundles (monotonicity and compactness of fibers ensure the necessary transversality and compactness results), while the passage to K^Cat_m(R) invokes the Morita equivalence functor from the category of A_∞-categories to its K-theory spectrum. We will revise the text to cite the precise background theorems (e.g., the relevant results on Floer theory of Hamiltonian fibrations and the Morita invariance of secondary K-theory) and to indicate the logical steps more explicitly, while retaining the statement that complete proofs appear elsewhere. revision: partial

  2. Referee: The infinite-generation statement for K^Cat_2(Z) is explicitly deferred to future work, so the manuscript contains no proof or even outline of the argument that would distinguish the categorified groups from Quillen's finite-generation result.

    Authors: The referee correctly observes that no proof or outline is given here; the manuscript only records the claim that the new homomorphisms supply infinitely many independent classes in K^Cat_2(Z), with the geometric argument deferred. This is a deliberate choice of scope for the present announcement. We do not intend to expand the current manuscript to include that argument. revision: no

Circularity Check

0 steps flagged

No circularity: construction imports external Floer/Morita input without self-reduction

full rationale

The derivation chain begins with an external input (Hamiltonian bundles inducing A_∞-category bundles via Floer theory) that is not defined or fitted inside the paper; Morita theory is then applied to produce the homomorphism π_m(BG) → K^Cat_m(R). No equation, definition, or self-citation reduces the output to the input by construction, and the infinite-generation claim is explicitly deferred. The steps are therefore independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the unproven induction of A_∞-category bundles from Hamiltonian bundles via Floer theory, the applicability of Morita theory to produce the homomorphisms, and background results from geometric representation theory; no free parameters or invented entities are explicitly introduced in the abstract.

axioms (2)
  • domain assumption A Hamiltonian bundle with monotone compact fibers induces via Floer theory a bundle of A_∞ categories whose fiber is the Fukaya category of the fiber manifold.
    This induction is the starting point that allows the rest of the construction; it is stated as given in the abstract.
  • domain assumption Morita theory of A_∞ categories together with the case X = S^m produces the stated group homomorphisms.
    The abstract invokes this step without further justification.

pith-pipeline@v0.9.0 · 5759 in / 1647 out tokens · 25195 ms · 2026-05-23T22:55:44.022000+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

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Y. Cho, M. Kim, Y. Kim, and E. Park , Cluster algebras and monotone Lagrangian tori , https://arxiv.org/abs/2401.00252, (2023)

    work page arXiv 2023

  2. [2]

    Cohn , Differential graded categories are k-linear stable infinity categories, Arxiv, (2016)

    L. Cohn , Differential graded categories are k-linear stable infinity categories, Arxiv, (2016)

    work page 2016

  3. [3]

    Ganatra, J

    S. Ganatra, J. Pardon, and V. Shende , Sectorial descent for wrapped Fukaya categories , J. Am. Math. Soc., 37 (2024), pp. 499–635

    work page 2024

  4. [4]

    Karoubi and M

    M. Karoubi and M. Wodzicki , Algebraic k-theory of operator rings , Journal of Geometry and Physics, 146 (2019), p. 103514

    work page 2019

  5. [5]

    Keller , On differential graded categories

    B. Keller , On differential graded categories. , Proceedings of the international congress of mathematici ans (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectu res. Z¨ urich: European Mathematical Society (EMS), (2006)

    work page 2006

  6. [6]

    A. A. Kirillov , Lectures on the orbit method , Providence, RI: American Mathematical Society, (2004)

    work page 2004

  7. [7]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman , Notes on A∞-algebras, A∞-categories and non-commutative geometry , in Homological mirror symmetry. New developments and perspec tives, Berlin: Springer, 2009, pp. 153–219

    work page 2009

  8. [8]

    Lau, N.-C

    S.-C. Lau, N.-C. C. Leung, and Y.-L. L. Li , Equivariant Lagrangian correspondence and a conjecture of Teleman, https://arxiv.org/abs/2312.13926, (2024)

    work page arXiv 2024

  9. [9]

    Oh and Tanaka , Continuous and coherent actions on wrapped Fukaya categori es, https://arxiv.org/abs/1911.00349

    work page arXiv 1911

  10. [10]

    Polterovich, The geometry of the group of symplectic diffeomorphism

    L. Polterovich, The geometry of the group of symplectic diffeomorphism. , Lectures in Mathematics, ETH Z¨ urich. Basel: Birkh¨ auser. xii, 132 p. sFr. 34.00; DM 44.00; ¨ oS 321 .00 , 2001

    work page 2001

  11. [11]

    Porter and J

    T. Porter and J. Stasheff , Representations up to coherent homotopy , J. Geom. Phys., 193 (2023), p. 15. Id/No 104966

    work page 2023

  12. [12]

    Saito , A note on Grothendieck groups of periodic derived categorie s, J

    S. Saito , A note on Grothendieck groups of periodic derived categorie s, J. Algebra, 609 (2022), pp. 552–566

    work page 2022

  13. [13]

    Savelyev, Global Fukaya category II: singular connections, quantum o bstruction theory and other applications , https://arxiv.org/abs/1408.3250

    Y. Savelyev, Global Fukaya category II: singular connections, quantum o bstruction theory and other applications , https://arxiv.org/abs/1408.3250

    work page arXiv

  14. [14]

    , Bott periodicity and stable quantum classes. , Sel. Math., New Ser., 19 (2013), pp. 439–460

    work page 2013

  15. [15]

    , Global Fukaya category I , Int. Math. Res. Not., 2023 (2023), pp. 18302–18386. HAMILTONIAN ELEMENTS IN ALGEBRAIC K-THEORY 13

    work page 2023

  16. [16]

    Sheridan , Homological mirror symmetry for Calabi-Yau hypersurfaces in projective space , Invent

    N. Sheridan , Homological mirror symmetry for Calabi-Yau hypersurfaces in projective space , Invent. Math., 199 (2015), pp. 1–186

    work page 2015

  17. [17]

    Sheridan , On the Fukaya category of a Fano hypersurface in projective s pace., Publ

    N. Sheridan , On the Fukaya category of a Fano hypersurface in projective s pace., Publ. Math., Inst. Hautes ´Etud. Sci., 124 (2016), pp. 165–317

    work page 2016

  18. [18]

    A. E. Stanculescu , Constructing model categories with prescribed fibrant obje cts, Theory Appl. Categ., 29 (2014), pp. 635–653

    work page 2014

  19. [19]

    A. A. Suslin and M. Wodzicki , Excision in algebraic k-theory , Annals of Mathematics, 136 (1992), pp. 51–122

    work page 1992

  20. [20]

    Tabuada, A note on secondary K-theory, Algebra Number Theory, 10 (2016), pp

    G. Tabuada, A note on secondary K-theory, Algebra Number Theory, 10 (2016), pp. 887–906

    work page 2016

  21. [21]

    Gauge theory and mirror symmetry

    C. Teleman , Gauge theory and mirror symmetry , https://arxiv.org/abs/1404.6305, (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  22. [22]

    To ¨en, The homotopy theory of dg-categories and derived Morita the ory., Invent

    B. To ¨en, The homotopy theory of dg-categories and derived Morita the ory., Invent. Math., 167 (2007), pp. 615–667

    work page 2007

  23. [23]

    To ¨en, Lectures on dg-categories., Berlin: Springer, 2011

    B. To ¨en, Lectures on dg-categories., Berlin: Springer, 2011

    work page 2011

  24. [24]

    To¨en and M

    B. To¨en and M. V aqui´e, Moduli of objects in dg-categories , Ann. Sci. ´Ec. Norm. Sup´ er. (4), 40 (2007), pp. 387–444

    work page 2007

  25. [25]

    W aldhausen, Algebraic K-theory of spaces

    F. W aldhausen, Algebraic K-theory of spaces. Algebraic and geometric topology, Proc. Conf., New Brunsw ick/USA 1983, Lect. Notes Math. 1126, 318-419 (1985)., 1985

    work page 1983

  26. [26]

    C. A. Weibel , The K-book. An introduction to algebraic K-theory, vol. 145 of Grad. Stud. Math., Providence, RI: American Mathematical Society (AMS), 2013. Email address : yasha.savelyev@gmail.com University of Colima and IAS

    work page 2013