A genuine $G$-spectrum for the cut-and-paste $K$-theory of $G$-manifolds

David Chan; Maxine Calle

arxiv: 2508.03621 · v2 · submitted 2025-08-05 · 🧮 math.KT · math.AT

A genuine G-spectrum for the cut-and-paste K-theory of G-manifolds

Maxine Calle , David Chan This is my paper

Pith reviewed 2026-05-19 01:16 UTC · model grok-4.3

classification 🧮 math.KT math.AT

keywords squares K-theoryequivariant SK-manifoldsgenuine G-spectraspectral Mackey functorsscissors congruencecut-and-paste invariantsG-manifolds

0 comments

The pith

The squares K-theory of equivariant SK-manifolds arises as the fixed points of a genuine G-spectrum.

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

This paper proves that the squares K-theory of equivariant SK-manifolds arises as the fixed points of a genuine G-spectrum. If correct, this equips algebraic invariants of manifolds with group actions with the full structure of equivariant stable homotopy, including transfers and fixed-point operations. The authors establish the result by developing a general procedure that builds spectral Mackey functors directly from squares K-theory data, which then serve as models for the desired genuine G-spectrum. A sympathetic reader would care because the construction bridges combinatorial cut-and-paste geometry with modern tools from equivariant homotopy theory.

Core claim

The squares K-theory of equivariant SK-manifolds arises as the fixed points of a genuine G-spectrum. This is shown by a general procedure for constructing spectral Mackey functors using squares K-theory data that models genuine G-spectra and recovers the original K-theory upon taking fixed points.

What carries the argument

The general procedure for constructing spectral Mackey functors from squares K-theory data, which provides models for genuine G-spectra.

Load-bearing premise

Spectral Mackey functors provide valid models for genuine G-spectra and the general construction procedure applies without obstruction to squares K-theory data from equivariant SK-manifolds.

What would settle it

An explicit equivariant SK-manifold where the fixed points of the constructed spectrum fail to match the directly computed squares K-theory, or where the resulting object violates the axioms required of a genuine G-spectrum.

read the original abstract

Recent work has applied scissors congruence $K$-theory to study classical cut-and-paste ($SK$) invariants of manifolds. This paper proves the conjecture that the squares $K$-theory of equivariant $SK$-manifolds arises as the fixed points of a genuine $G$-spectrum. Our method utilizes the framework of spectral Mackey functors as models for genuine $G$-spectra, and our main technical result is a general procedure for constructing spectral Mackey functors using squares $K$-theory.

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.

Desk Editor's Note private letter to a colleague

Calle and Chan give a general construction of spectral Mackey functors from squares K-theory that they apply to show the K-theory of equivariant SK-manifolds is the fixed points of a genuine G-spectrum, settling the conjecture.

read the letter

The paper's main result is a proof of the conjecture that squares K-theory of G-manifolds with SK-equivalences arises as the fixed-point spectrum of a genuine G-spectrum. They do this by defining a general procedure that turns squares K-theory data into a spectral Mackey functor, then specializing it to the equivariant setting. This organizes the cut-and-paste invariants in a way that fits existing models for genuine equivariant spectra, which is a concrete step beyond the non-equivariant work on scissors congruence K-theory. The construction itself looks like the substantive new piece rather than just an application of prior machinery. The authors get credit for making the procedure explicit enough to apply directly to the SK-manifold category and for framing it as a tool that could be reused. The central claim holds up in outline because the abstract ties the output directly to the fixed points and states that the Mackey functor axioms are satisfied by design. That said, the load-bearing step is whether the general procedure automatically produces the full set of Wirthmüller isomorphisms and transfer compatibilities for arbitrary subgroups and non-free actions on manifolds. If the verification is only carried out on orbits or free G-spaces and then extended by continuity or formal properties, that extension needs to be checked carefully; otherwise the genuine-spectrum claim rests on an unverified step. The paper does not appear to introduce circular reasoning or hidden parameters. Readers working in equivariant algebraic K-theory or scissors-congruence invariants will get the most out of it, especially those already using spectral Mackey functors. It is worth sending to a serious referee because it resolves an open conjecture with a reusable construction, even if the technical details on the equivariant coherences will require close scrutiny in review.

Referee Report

1 major / 2 minor

Summary. The paper proves the conjecture that the squares K-theory of equivariant SK-manifolds arises as the fixed points of a genuine G-spectrum. It models genuine G-spectra via spectral Mackey functors and gives a general construction of such functors from squares K-theory data on the category of G-manifolds equipped with SK-equivalences.

Significance. If correct, the result supplies a concrete bridge between scissors-congruence K-theory and equivariant stable homotopy theory, making equivariant tools available for the study of cut-and-paste invariants of G-manifolds. The reliance on the established spectral-Mackey-functor framework is a methodological strength.

major comments (1)

[§4.3] §4.3, Construction 4.12 and Theorem 4.15: the argument that the output spectral Mackey functor satisfies the Wirthmüller isomorphisms and the full set of restriction/transfer adjunctions for non-free G-actions on SK-manifolds is only sketched via the general procedure; an explicit verification for a concrete non-trivial action (e.g., Z/2 acting on a manifold with fixed-point set of positive dimension) is needed to confirm that no additional coherence data must be imposed.

minor comments (2)

[§2.4] The notation distinguishing ordinary SK-equivalence from equivariant SK-equivalence is introduced only in §2.4; repeating the distinction once in the statement of the main theorem would improve readability.
Figure 1 (the diagram of the spectral Mackey functor on orbits) would benefit from explicit labels for the restriction and transfer maps.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance in connecting scissors-congruence K-theory with equivariant stable homotopy theory. We address the single major comment below and will revise the manuscript accordingly to strengthen the exposition.

read point-by-point responses

Referee: [§4.3] §4.3, Construction 4.12 and Theorem 4.15: the argument that the output spectral Mackey functor satisfies the Wirthmüller isomorphisms and the full set of restriction/transfer adjunctions for non-free G-actions on SK-manifolds is only sketched via the general procedure; an explicit verification for a concrete non-trivial action (e.g., Z/2 acting on a manifold with fixed-point set of positive dimension) is needed to confirm that no additional coherence data must be imposed.

Authors: We agree that an explicit verification for a non-free action would improve clarity and address potential concerns about coherence. In the revised manuscript we will insert a new example immediately after Construction 4.12. The example will take G = Z/2 acting on a concrete SK-manifold with positive-dimensional fixed-point set (for instance, the standard involution on S^1 equipped with a suitable SK-structure). We will compute the resulting spectral Mackey functor explicitly, verify the Wirthmüller isomorphisms, and check the restriction/transfer adjunctions directly. This computation will confirm that the general procedure of Construction 4.12 produces a valid spectral Mackey functor without requiring additional coherence data. The proof of Theorem 4.15 already guarantees the required properties for arbitrary actions by appealing to the universal properties of squares K-theory and the axioms satisfied by spectral Mackey functors; the added example simply renders this verification concrete for a representative non-free case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies established external framework to prove conjecture

full rationale

The paper states it proves a prior conjecture that squares K-theory of equivariant SK-manifolds arises as fixed points of a genuine G-spectrum by utilizing the framework of spectral Mackey functors as models for genuine G-spectra and providing a general procedure for constructing such functors from squares K-theory data. No load-bearing step is shown to reduce by the paper's own equations or self-citation to the input data or fitted parameters; the construction is presented as a sound application of an independent modeling framework to the specific setting. This qualifies as a self-contained proof against external benchmarks with no exhibited reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the modeling power of spectral Mackey functors for genuine G-spectra and on the correctness of the new construction procedure; no free parameters or invented entities are mentioned in the abstract.

axioms (1)

domain assumption Spectral Mackey functors serve as models for genuine G-spectra
The paper states that it utilizes this framework as the model for genuine G-spectra.

pith-pipeline@v0.9.0 · 5609 in / 1230 out tokens · 40688 ms · 2026-05-19T01:16:57.150664+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem B (Theorem 3.8 and Corollary 3.9). Squares K-theory extends to a product-preserving ∞-functor from an ∞-category of categories with squares to spectra. In particular, every Mackey functor in the ∞-category of squares categories determines a spectral Mackey functor.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The K-theory space of a category with squares C is K□(C) = ΩO |T□•(C)| … K□0(C) ≅ Z[ObC]/∼ generated by distinguished squares.

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.