Equivariant $K$-theory, affine Grassmannian and perfection

Jakub L\"owit

arxiv: 2409.18925 · v4 · submitted 2024-09-27 · 🧮 math.AG · math.KT

Equivariant K-theory, affine Grassmannian and perfection

Jakub L\"owit This is my paper

Pith reviewed 2026-05-23 20:11 UTC · model grok-4.3

classification 🧮 math.AG math.KT

keywords equivariant K-theoryaffine Grassmannianperfect complexesHochschild homologyaffine Schubert varietiestorus actionF_p coefficientsperfection

0 comments

The pith

Torus-equivariant K-theory of affine Schubert varieties in perfect affine Grassmannians over F_p is isomorphic to equivariant Hochschild homology of perfect complexes.

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

The paper establishes that the torus-equivariant algebraic K-theory of affine Schubert varieties inside perfect affine Grassmannians over F_p matches the torus-equivariant Hochschild homology of perfect complexes when taken linearly over F_p. The Hochschild side is described geometrically as global functions on fixed-point schemes. This yields an explicit isomorphism and produces new computations of the K-theory rings. It also records structural facts about equivariant perfect K-theory that stand on their own.

Core claim

We prove that F_p-linearly, this comparison is an isomorphism. The torus-equivariant Hochschild homology of perfect complexes admits a geometric description in terms of global functions on certain fixed-point schemes in the perfect affine Grassmannian setting over F_p. Our approach is constructive and produces new computations of these K-theory rings while establishing structural results for equivariant perfect algebraic K-theory.

What carries the argument

The comparison map between torus-equivariant algebraic K-theory and torus-equivariant Hochschild homology, realized geometrically via global functions on fixed-point schemes.

If this is right

The K-theory rings admit new explicit computations.
Structural results hold for equivariant perfect algebraic K-theory in this setting.
The geometric description of Hochschild homology supplies a concrete model for the K-theory groups.

Where Pith is reading between the lines

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

The constructive method may produce explicit generators or bases for the rings in additional cases.
Similar comparisons could be tested once geometric models for Hochschild homology become available outside the perfect setting.

Load-bearing premise

The torus-equivariant Hochschild homology of perfect complexes admits a geometric description in terms of global functions on certain fixed-point schemes in the perfect affine Grassmannian setting over F_p.

What would settle it

An independent computation of both the K-theory ring and the ring of global functions on the fixed-point scheme for one concrete affine Schubert variety, showing they differ as F_p-vector spaces.

read the original abstract

We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a geometric description in terms of global functions on certain fixed-point schemes. We prove that $\mathbb{F}_p$-linearly, this comparison is an isomorphism. Our approach is quite constructive, resulting in new computations of these $K$-theory rings. We establish various structural results for equivariant perfect algebraic $K$-theory on the way; we believe these are of independent interest.

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

Abstract claims F_p-linear isomorphism between torus-equivariant K-theory and Hochschild homology plus new computations, but no proof details visible.

read the letter

This paper claims to prove that, F_p-linearly, the torus-equivariant K-theory of affine Schubert varieties in perfect affine Grassmannians over F_p is isomorphic to the torus-equivariant Hochschild homology of perfect complexes, described geometrically via global functions on fixed-point schemes. It also provides constructive computations of the K-theory rings and some structural results for equivariant perfect algebraic K-theory. The constructive approach is a strength here, as it leads to actual calculations that could be checked or used by others in the field. The structural results are flagged as potentially of independent interest, which is fair if they hold up. The soft spot is obvious from the abstract-only view: no proof steps, no sample computations, and no error analysis are shown. We can't tell if the isomorphism is correctly established or if the geometric description of the Hochschild homology works as stated. The comparison itself doesn't look circular, but the details are missing. This work is for researchers focused on equivariant algebraic K-theory and the geometry of affine Grassmannians in positive characteristic. A reader in that narrow area might benefit from the computations if the full paper delivers on the claims. It probably deserves peer review to evaluate the proof, given that it asserts a new isomorphism and explicit results in a technical subfield.

Referee Report

1 major / 0 minor

Summary. The paper claims to study torus-equivariant algebraic K-theory of affine Schubert varieties in the perfect affine Grassmannians over F_p, compare it to the torus-equivariant Hochschild homology of perfect complexes (with a geometric description via global functions on fixed-point schemes), and prove that this comparison is an F_p-linear isomorphism. The approach is described as constructive, yielding new computations of the K-theory rings along with various structural results for equivariant perfect algebraic K-theory claimed to be of independent interest.

Significance. If the claimed F_p-linear isomorphism and constructive computations hold, the result would connect equivariant K-theory and Hochschild homology in the setting of perfect affine Grassmannians, potentially enabling explicit calculations in this geometric context. The structural results on equivariant perfect K-theory could have value beyond the main comparison.

major comments (1)

The available manuscript consists solely of the abstract, which asserts a proof of the F_p-linear isomorphism and constructive computations but supplies no derivation details, assumptions, error analysis, or verification steps. This prevents assessment of whether the central claim is supported.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their comments on our work. We note that the version under review consists only of the abstract, which limits the ability to assess the proofs. We address this point directly below.

read point-by-point responses

Referee: The available manuscript consists solely of the abstract, which asserts a proof of the F_p-linear isomorphism and constructive computations but supplies no derivation details, assumptions, error analysis, or verification steps. This prevents assessment of whether the central claim is supported.

Authors: We agree that the provided text contains only the abstract and therefore lacks the detailed derivations, assumptions, error analysis, and verification steps needed for a full assessment. The complete manuscript with these elements is posted on arXiv:2409.18925; the abstract summarizes the constructive approach and the F_p-linear isomorphism result, but the referee is correct that the abstract alone is insufficient to evaluate the claims. revision: yes

standing simulated objections not resolved

The full derivation details, assumptions, error analysis, or verification steps are not included in the manuscript provided for this review (which consists solely of the abstract).

Circularity Check

0 steps flagged

No circularity in available abstract

full rationale

Only the abstract is provided, which states a comparison between independently motivated objects (torus-equivariant K-theory of affine Schubert varieties in perfect affine Grassmannians over F_p and torus-equivariant Hochschild homology via fixed-point schemes) and claims an F_p-linear isomorphism proved constructively. No equations, derivation steps, fitted parameters, self-citations, or ansatzes are exhibited that reduce the claimed result to its inputs by construction. The abstract describes new computations and structural results, indicating self-contained content against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, no free parameters, invented entities, or ad-hoc axioms are introduced or mentioned; the work relies on standard background in algebraic K-theory and geometry.

axioms (1)

standard math Standard definitions and properties of torus-equivariant algebraic K-theory and Hochschild homology hold in the perfect setting.
The comparison and isomorphism rest on established categorical and geometric constructions in the field.

pith-pipeline@v0.9.0 · 5594 in / 1265 out tokens · 34891 ms · 2026-05-23T20:11:11.708837+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Equivariant localizing invariants of simple varieties
math.AG 2025-07 unverdicted novelty 6.0

Simple varieties, including finite and affine Schubert varieties for GL_n, admit control of equivariant truncating invariants, implying p-adic cyclotomic trace equivalences over algebraically closed fields of characte...