K-theory of Gieseker variety and type A cyclotomic Hecke algebra

Pavel Shlykov; Rapha\"el Paegelow; Vasily Krylov

K-theory of Gieseker variety and type A cyclotomic Hecke algebra

T0 review · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Equivariant K-theory of Gieseker varieties equals the Jucys-Murphy center of the cyclotomic Hecke algebra over the equivariant K-theory of a point.

desk verdict The paper identifies the equivariant K-theory of Gieseker varieties with the Jucys-Murphy center of the cyclotomic Hecke algebra over K_T(pt), extending the authors' own prior proof of the Hikita-Nakajima conjecture. read the letter →

arxiv 2605.11579 v2 pith:LRKC2MBK submitted 2026-05-12 math.AG math.RT

Vasily Krylov , Raphaël Paegelow , Pavel Shlykov This is my paper · ORCID

classification math.AGmath.RT

keywords equivariantK-theoryGiesekervarietycyclotomicHeckealgebraJucys-MurphycenterquiverHikita-Nakajimaconjecture

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

The paper gives an algebraic description of the equivariant K-theory of Gieseker varieties. It identifies this K-theory with the Jucys-Murphy center of the cyclotomic Hecke algebra, taken relative to the equivariant K-theory of a point. The identification arises from a construction modeled on the proof of the Hikita-Nakajima conjecture for these spaces. A reader would care because the result turns a geometric object into an algebraic one, so computations or bases in one setting transfer to the other. It also yields statements about centers after specialization to q=1 and to roots of unity, including a strengthened link between affine type A quiver varieties and blocks of specialized cyclotomic Hecke algebras.

What carries the argument

The identification of equivariant K-theory of Gieseker varieties with the Jucys-Murphy center of the cyclotomic Hecke algebra, constructed via a method modeled on the Hikita-Nakajima proof.

What would settle it

An explicit computation of the rank of the equivariant K-theory ring for a small Gieseker variety that differs from the rank of the corresponding Jucys-Murphy center would disprove the identification.

Watch

Extended reading notes

Core claim

The equivariant K-theory of the Gieseker space is identified with the Jucys-Murphy center of the cyclotomic Hecke algebra, over the equivariant K-theory of a point. This supplies an algebraic model for the geometric K-theory and produces consequences for the centers of cyclotomic Hecke algebras under specialization.

Load-bearing premise

The construction modeled on the Hikita-Nakajima conjecture proof for Gieseker spaces produces a valid identification between the K-theory and the Jucys-Murphy center.

Editorial extensions

If this is right

The centers of cyclotomic Hecke algebras admit a geometric description via equivariant K-theory of Gieseker varieties.
Specialization at q=1 relates the K-theory of affine type A quiver varieties to the centers of the corresponding blocks of specialized cyclotomic Hecke algebras.
The result strengthens earlier correspondences between quiver varieties and blocks of Hecke algebras.
The identification remains valid after specialization to roots of unity.

Reading between the lines

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

The identification may let one compute the dimension of centers of Hecke algebras by counting fixed points or using localization in K-theory.
It suggests similar algebraic models could exist for K-theory of other Nakajima quiver varieties.
Checking the identification on the level of bases or generators in low-rank cases would give a direct test.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main thing here is that the authors identify the equivariant K-theory of the Gieseker space with the Jucys-Murphy center of the cyclotomic Hecke algebra, over K_T(pt). This is presented as the central new result.

They build this on their own earlier proof of the Hikita-Nakajima conjecture for Gieseker spaces. The paper then looks at what this means for the centers of the algebras and at specializations when q=1 or at roots of unity. In particular it connects K-theory of affine type A quiver varieties to centers of blocks in the specialized Hecke algebras, which extends work by the second author.

This gives a concrete algebraic handle on the K-theory, which is the useful part. The link is direct and the consequences seem straightforward from the identification. What the paper does well is to make the identification explicit and then derive the specialization results without introducing new parameters or ad hoc constructions. The fact that it strengthens the second author's earlier correspondences is a plus, as it shows consistency across different approaches.

The construction is inspired by prior work rather than starting from scratch, so the advance is in applying the same ideas to get this center description. No obvious circularity or fitting issues show up in the abstract or the stress-test note. The paper stays within established literature on these topics and the citation pattern looks standard for the area. Soft spots are minor: the result is quite close to their previous paper, so someone looking for a big conceptual leap might find it incremental. But within the subfield, the explicit link to the Jucys-Murphy elements is a nice concrete output.

This is for people working on geometric representation theory, especially those following the Hikita-Nakajima conjecture and its consequences. A reader who wants an algebraic model for these K-groups or who cares about centers in Hecke algebras at special parameters will get something out of it.

It is worth sending to referees because the identification is a solid step forward in connecting the two sides, even if it relies on their previous results.

Referee Report

0 major / 0 minor

Summary. The paper gives an algebraic description of the equivariant K-theory of Gieseker varieties. The main result identifies the equivariant K-theory of the Gieseker space with the Jucys--Murphy center of the cyclotomic Hecke algebra, over the equivariant K-theory of a point. The construction is inspired by the proof of the Hikita--Nakajima conjecture for Gieseker spaces given by the first and third authors. Consequences for the center of cyclotomic Hecke algebras and for specializations to q=1 and to roots of unity are discussed; in particular, K-theory of affine type A quiver varieties is related to the centers of the corresponding blocks of specialized cyclotomic Hecke algebras, strengthening earlier correspondences.

Significance. If the central identification holds, the result would supply a concrete algebraic model for the equivariant K-theory of these moduli spaces and strengthen known links between geometric K-theory and the representation theory of cyclotomic Hecke algebras, including at roots of unity. The work builds directly on the authors' prior proof of the Hikita--Nakajima conjecture and lists explicit consequences for centers and specializations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for their assessment of its significance in providing an algebraic model for the equivariant K-theory of Gieseker varieties via the Jucys-Murphy center of the cyclotomic Hecke algebra, building on our prior work on the Hikita-Nakajima conjecture. The recommendation is listed as uncertain, but the report contains no specific major comments. We therefore have no individual points to address and no revisions to make at this stage. We remain available to respond to any further questions or concerns.

Circularity Check

0 steps flagged · score 2.0 of 10

Minor self-citation noted but not load-bearing; derivation remains independent

full rationale

The abstract explicitly frames the main identification as inspired by the first and third authors' prior proof of the Hikita-Nakajima conjecture for the same spaces, constituting a self-citation. However, the result is presented as a new algebraic description that yields consequences for centers and specializations, without any indication that the identification reduces by construction to the prior work or to fitted parameters. No equations, definitions, or steps are quoted that would make the claimed K-theory identification equivalent to its inputs. The paper is therefore self-contained at the level of its stated claims, with the self-citation serving only as motivational context rather than a load-bearing justification that forbids alternatives or forces the outcome.

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

Review is based on abstract only; no free parameters, axioms, or invented entities can be identified from the given text.

how reviews work

0 comments

Cite this review

Pith. "Pith review of K-theory of Gieseker variety and type A cyclotomic Hecke algebra." pith.science (2026). https://pith.science/paper/LRKC2MBK

@misc{pith2026260511579,
  author       = {Pith},
  title        = {Pith review of: K-theory of Gieseker variety and type A cyclotomic Hecke algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LRKC2MBK}},
  note         = {Machine review of arXiv:2605.11579}
}

read the original abstract

We give an algebraic description of the equivariant K-theory of Gieseker varieties. Our main result identifies the equivariant K-theory of the Gieseker space with the Jucys--Murphy center of the cyclotomic Hecke algebra, over the equivariant K-theory of a point. The construction is inspired by the proof of the Hikita--Nakajima conjecture for Gieseker spaces given by the first and third authors. We discuss consequences for the center of cyclotomic Hecke algebras and for specializations to q=1 and to roots of unity. In particular, we relate K-theory of affine type A quiver varieties with the centers of the corresponding blocks of specialized cyclotomic Hecke algebras. This last result strengthens the correspondences obtained by the second author in earlier work.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

[AHDM78] M. F. Atiyah, N. J. Hitchin, V . G. Drinfeld, and Yu.˜I. Manin. Construction of instantons.Phys. Lett. A, 65(3):185–187, 1978. [AK94] S. Ariki and K. Koike. A Hecke algebra of(Z/rZ)≀S n and construction of its irreducible representations. Adv. Math., 106(2):216–243, 1994. [AMR06] Susumu Ariki, Andrew Mathas, and Hebing Rui. Cyclotomic Nazarov-Wen...

work page 1978
[2]

Centers of KLR algebras and cohomology rings of quiver varieties

Verlag, New York, 1991. A first course, Readings in Mathematics. [GL96] J. J. Graham and G. I. Lehrer. Cellular algebras.Invent. Math., 123(1):1–34, 1996. [GP00] M. Geck and G. Pfeiffer.Characters of Finite Coxeter Groups and Iwahori-Hecke Algebras, volume 21 of London Mathematical Society Monographs. New Series. The Clarendon Press Oxford University Pres...

work page Pith review arXiv 1991

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.

[1] [1]

[AHDM78] M. F. Atiyah, N. J. Hitchin, V . G. Drinfeld, and Yu.˜I. Manin. Construction of instantons.Phys. Lett. A, 65(3):185–187, 1978. [AK94] S. Ariki and K. Koike. A Hecke algebra of(Z/rZ)≀S n and construction of its irreducible representations. Adv. Math., 106(2):216–243, 1994. [AMR06] Susumu Ariki, Andrew Mathas, and Hebing Rui. Cyclotomic Nazarov-Wen...

work page 1978

[2] [2]

Centers of KLR algebras and cohomology rings of quiver varieties

Verlag, New York, 1991. A first course, Readings in Mathematics. [GL96] J. J. Graham and G. I. Lehrer. Cellular algebras.Invent. Math., 123(1):1–34, 1996. [GP00] M. Geck and G. Pfeiffer.Characters of Finite Coxeter Groups and Iwahori-Hecke Algebras, volume 21 of London Mathematical Society Monographs. New Series. The Clarendon Press Oxford University Pres...

work page Pith review arXiv 1991