pith. machine review for the scientific record. sign in

arxiv: 2605.11579 · v1 · submitted 2026-05-12 · 🧮 math.AG · math.RT

Recognition: no theorem link

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

Pavel Shlykov, Rapha\"el Paegelow, Vasily Krylov

Pith reviewed 2026-05-13 01:27 UTC · model grok-4.3

classification 🧮 math.AG math.RT
keywords Gieseker varietiesequivariant K-theorycyclotomic Hecke algebrasJucys-Murphy elementsquiver varietiesHikita-Nakajima conjecturemoduli spacesrepresentation theory
0
0 comments X

The pith

Equivariant K-theory of Gieseker varieties equals the Jucys-Murphy center of the cyclotomic Hecke algebra over the K-theory of a point.

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

The paper provides an algebraic model for the equivariant K-theory of Gieseker varieties by showing it matches the Jucys-Murphy center of the cyclotomic Hecke algebra, taken over the equivariant K-theory of a point. This gives a direct bridge that lets representation-theoretic data compute geometric invariants of these moduli spaces. The construction draws from prior work proving the Hikita-Nakajima conjecture in this setting and yields explicit consequences for the centers of cyclotomic Hecke algebras in both generic and specialized cases.

Core claim

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. Consequences include recovery of the group-algebra description when q equals 1, and, at roots of unity with an auxiliary identification of Lagrangian K-theory with the cocenter, an identification of the K-theory of affine type A quiver varieties with the centers of the corresponding blocks of specialized cyclotomic Hecke algebras.

What carries the argument

The Jucys-Murphy center of the cyclotomic Hecke algebra, which collects the central elements generated by the Jucys-Murphy elements and serves as the algebraic counterpart to the geometric equivariant K-theory ring.

If this is right

  • When q=1 the identification recovers the known description of the K-theory in terms of the group algebra.
  • At roots of unity the result identifies K-theory of affine type A quiver varieties with centers of blocks of the specialized cyclotomic Hecke algebras, strengthening earlier correspondences.
  • The algebraic model supplies new tools for studying the centers of cyclotomic Hecke algebras via geometric methods.

Where Pith is reading between the lines

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

  • The same style of identification may extend to other moduli spaces whose K-theory is expected to carry similar algebraic structures.
  • Independent verification of the Lagrangian-to-cocenter link would remove the conditional part and make the roots-of-unity statement unconditional.
  • Techniques used here could transfer to related problems linking K-theory of quiver varieties to centers of other Hecke or Cherednik algebras.

Load-bearing premise

The roots-of-unity case depends on an assumed identification between the equivariant K-theory of the Lagrangian subvariety and the cocenter.

What would settle it

Explicit computation of both the geometric K-theory ring and the Jucys-Murphy center for the smallest nontrivial Gieseker variety (or quiver variety) where the two graded dimensions or generator counts differ.

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. Under the specialization $q=1$, we recover the corresponding description in terms of the group algebra, while at roots of unity, assuming an identification between the equivariant $K$-theory of the Lagrangian subvariety and the cocenter, our result identifies the $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.

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

1 major / 1 minor

Summary. The manuscript presents an algebraic description of the equivariant K-theory of Gieseker varieties. The main result identifies this K-theory with the Jucys-Murphy center of the cyclotomic Hecke algebra, taken over the equivariant K-theory of a point. The construction is inspired by the authors' prior proof of the Hikita-Nakajima conjecture. Consequences are discussed for the centers of cyclotomic Hecke algebras, recovering the group algebra case at q=1, and at roots of unity, under an assumption on the Lagrangian subvariety, identifying the K-theory of affine type A quiver varieties with centers of blocks in the specialized algebras, strengthening previous correspondences.

Significance. If the central identification holds, the result offers a valuable bridge between geometric K-theory and algebraic structures in representation theory, providing explicit descriptions of centers and extending known correspondences. The adaptation of the Hikita-Nakajima argument to this setting adds new content with grounding from both sides.

major comments (1)
  1. The strengthening at roots of unity, which identifies the K-theory of affine type A quiver varieties with the centers of the corresponding blocks, rests on the assumption that the equivariant K-theory of the Lagrangian subvariety coincides with the cocenter. This assumption is invoked but not justified, elaborated, or proven within the manuscript (see abstract and the relevant discussion section). Without support for this identification, the claimed strengthening does not fully follow from the main construction.
minor comments (1)
  1. The abstract mentions 'the first and third authors' for the prior work; ensure consistent citation of the relevant reference in the introduction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript's significance and for the detailed feedback. We address the major comment below, agreeing that the assumption requires clearer presentation.

read point-by-point responses
  1. Referee: The strengthening at roots of unity, which identifies the K-theory of affine type A quiver varieties with the centers of the corresponding blocks, rests on the assumption that the equivariant K-theory of the Lagrangian subvariety coincides with the cocenter. This assumption is invoked but not justified, elaborated, or proven within the manuscript (see abstract and the relevant discussion section). Without support for this identification, the claimed strengthening does not fully follow from the main construction.

    Authors: We agree that the identification between the equivariant K-theory of the Lagrangian subvariety and the cocenter is presented as an assumption without further justification or elaboration in the current version. This assumption is invoked specifically for the roots-of-unity strengthening and draws motivation from the second author's prior correspondences, but we acknowledge it is not proven or supported in detail here. In the revised manuscript we will expand the relevant discussion section (and update the abstract accordingly) to explicitly state the conditional nature of the result, provide additional context on the motivation drawn from related geometric and representation-theoretic literature, and clarify that the strengthening is conditional on this identification rather than a direct consequence of the main theorem alone. revision: yes

Circularity Check

1 steps flagged

Minor self-citation to authors' prior Hikita-Nakajima work; main identification remains independently grounded

specific steps
  1. self citation load bearing [Abstract]
    "The construction is inspired by the proof of the Hikita--Nakajima conjecture for Gieseker spaces given by the first and third authors."

    The adaptation of the authors' own prior argument supplies the methodological template for the main result, creating a minor self-referential dependency even though the specific K-theory-to-center identification is claimed as novel content.

full rationale

The paper's core identification of equivariant K-theory of the Gieseker variety with the Jucys-Murphy center is presented as a new algebraic description, with the construction merely 'inspired by' the authors' earlier proof rather than reducing to it by definition or fit. The roots-of-unity case is explicitly conditional on an external assumption about Lagrangian K-theory equaling the cocenter, which is not derived within the paper. No self-definitional loops, fitted predictions, or ansatz smuggling appear in the given derivation chain; the self-citation is acknowledged but does not bear the full load of the central claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the stated identification and one explicit assumption for the roots-of-unity specialization; no free parameters or invented entities are apparent from the abstract.

axioms (1)
  • domain assumption Assuming an identification between the equivariant K-theory of the Lagrangian subvariety and the cocenter
    This assumption is invoked to obtain the result identifying K-theory of affine type A quiver varieties with centers of blocks at roots of unity.

pith-pipeline@v0.9.0 · 5482 in / 1360 out tokens · 48575 ms · 2026-05-13T01:27:14.228339+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

299 extracted references · 299 canonical work pages

  1. [1]

    arXiv , VOLUME=

    name , TITLE=. arXiv , VOLUME=

  2. [2]

    , TITLE=

    Schmitt, J. , TITLE=. Thesis , YEAR=

  3. [3]

    and Keel, S

    Hu, Y. and Keel, S. , TITLE =. Michigan Math. J. , FJOURNAL =. 2000 , PAGES =. doi:10.1307/mmj/1030132722 , URL =

  4. [4]

    , TITLE =

    Ohta, R. , TITLE =. Eur. J. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1007/s40879-022-00552-6 , URL =

  5. [5]

    and Craw, A

    Bellamy, G. and Craw, A. and Schedler, T. , TITLE =

  6. [6]

    , TITLE =

    Kraft, H. , TITLE =. Group actions and invariant theory (. 1989 , ISBN =

  7. [7]

    , TITLE=

    Knop, F. , TITLE=. arXiv , VOLUME=

  8. [8]

    and Levcovitz, D

    Coutinho, S. and Levcovitz, D. , TITLE =. Comm. Algebra , FJOURNAL =. 2001 , NUMBER =. doi:10.1081/AGB-100002114 , URL =

  9. [9]

    and Michel, J

    Marin, I. and Michel, J. , TITLE =. Represent. Theory , FJOURNAL =. 2010 , PAGES =. doi:10.1090/S1088-4165-2010-00380-5 , URL =

  10. [10]

    , TITLE =

    Opdam, E. , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01388841 , URL =

  11. [11]

    , TITLE =

    Illusie, L. , TITLE =. Th\'eorie des intersections et th\'eor\`eme de

  12. [12]

    and Griffeth, S

    Dunkl, C. and Griffeth, S. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00029-010-0032-0 , URL =

  13. [13]

    , TITLE =

    Konno, H. , TITLE =. Internat. J. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1142/S0129167X03001764 , URL =

  14. [14]

    , TITLE=

    Weekes, A. , TITLE=. arXiv , VOLUME=

  15. [15]

    , TITLE =

    Braun, A. , TITLE =. J. Algebra , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jalgebra.2018.01.046 , URL =

  16. [16]

    , TITLE =

    Grzeszczuk, P. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045800 , URL =

  17. [17]

    , TITLE =

    Quillen, D. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/2036884 , URL =

  18. [18]

    Homological

    Mc. Homological. arXiv , VOLUME=

  19. [19]

    , TITLE =

    Ressayre, N. , TITLE =. Inst. Hautes \'. 1998 , PAGES =

  20. [20]

    2021 , NUMBER =

    Tilting bundles on hypertoric varieties , JOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz218 , URL =

  21. [22]

    , TITLE =

    Konno, H. , TITLE =. Toric topology , SERIES =. 2008 , MRCLASS =. doi:10.1090/conm/460/09022 , URL =

  22. [23]

    and Craw, A

    Bellamy, G. and Craw, A. and Rayan, S. and Schedler, T. and Weiss, H. , TITLE=

  23. [24]

    and Craw, A

    Bellamy, G. and Craw, A. and Schedler, T. , TITLE=

  24. [25]

    Geometry & Topology , year=

    Symplectic resolutions of character varieties , author=. Geometry & Topology , year=

  25. [26]

    , TITLE =

    Ressayre, N. , TITLE =. Geom. Dedicata , FJOURNAL =. 2000 , NUMBER =. doi:10.1023/A:1005275524522 , URL =

  26. [27]

    , TITLE=

    Yamagishi, R. , TITLE=. preprint arXiv:2209.11901 , YEAR=

  27. [28]

    and Watanabe, K

    Goto, S. and Watanabe, K. , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1978 , NUMBER =. doi:10.2969/jmsj/03020179 , URL =

  28. [29]

    , TITLE =

    Dade, E. , TITLE =. Math. Z. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01161413 , URL =

  29. [30]

    , TITLE =

    Dade, E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1970 , PAGES =. doi:10.2307/1970606 , URL =

  30. [31]

    , TITLE =

    Rouquier, R. , TITLE =. Algebra Colloq. , FJOURNAL =. 2012 , NUMBER =. doi:10.1142/S1005386712000247 , URL =

  31. [32]

    and Lauda, A

    Khovanov, M. and Lauda, A. D. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0002-9947-2010-05210-9 , URL =

  32. [33]

    and Thiel, U

    Bellamy, G. and Thiel, U. , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.03.011 , URL =

  33. [34]

    and Rouquier, R

    Bonnaf\'e, C. and Rouquier, R. , title =. arXiv , year =

  34. [35]

    and Topley, L

    Launois, S. and Topley, L. , TITLE =. J. Algebra , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.jalgebra.2019.01.006 , URL =

  35. [36]

    , TITLE =

    Braun, A. , TITLE =. J. Algebra , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jalgebra.2007.08.021 , URL =

  36. [37]

    Grosshans, F. D. , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01393822 , URL =

  37. [38]

    and Thiel, U

    Bellamy, G. and Thiel, U. , TITLE=. arXiv , VOLUME=

  38. [39]

    and Ostrik, V

    Malkin, A. and Ostrik, V. and Vybornov, M. , TITLE =. Duke Math. J. , FJOURNAL =. 2005 , NUMBER =. doi:10.1215/S0012-7094-04-12622-3 , URL =

  39. [40]

    , TITLE =

    Grothendieck, A. , TITLE =. 1968 , PAGES =

  40. [41]

    Hamm, H. A. and L\^. On the. Singularit\'. 2005 , MRCLASS =

  41. [42]

    and Le Bruyn, L

    Adriaenssens, J. and Le Bruyn, L. , TITLE =. Comm. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1081/AGB-120018508 , URL =

  42. [43]

    and Procesi, C

    Kraft, H. and Procesi, C. , TITLE =. Invent. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01394257 , URL =

  43. [44]

    , TITLE =

    Crawley-Boevey, W. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s000140050105 , URL =

  44. [45]

    and Kraft, H

    Knop, F. and Kraft, H. and Vust, T. , TITLE =. Algebraische. 1989 , MRCLASS =

  45. [46]

    Cox, D. A. and Little, J. B. and Schenck, H. K. , TITLE =. 2011 , PAGES =. doi:10.1090/gsm/124 , URL =

  46. [47]

    Kleiman, S. L. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.2307/1970447 , URL =

  47. [48]

    Kleiman, S. L. , TITLE =. Fundamental algebraic geometry , SERIES =. 2005 , MRCLASS =

  48. [49]

    2021 , eprint=

    Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution , author=. 2021 , eprint=

  49. [50]

    Popov, V. L. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1972 , PAGES =

  50. [51]

    , TITLE=

    Bowman, C. , TITLE=. arXiv , VOLUME=

  51. [52]

    , TITLE =

    Webster, B. , TITLE =. Forum Math. Sigma , FJOURNAL =. 2017 , PAGES =. doi:10.1017/fms.2017.17 , URL =

  52. [53]

    , TITLE =

    Boutot, J.-F. , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01405091 , URL =

  53. [54]

    , TITLE =

    Konno, H. , TITLE =. Integrable systems, topology, and physics (. 2002 , MRCLASS =. doi:10.1090/conm/309/05345 , URL =

  54. [55]

    , TITLE =

    Artin, M. , TITLE =. Invent. Math. , FJOURNAL =. 1968 , PAGES =. doi:10.1007/BF01389777 , URL =

  55. [56]

    , TITLE =

    Vale, R. , TITLE =. J. Math. Kyoto Univ. , FJOURNAL =. 2008 , NUMBER =. doi:10.1215/kjm/1250280974 , URL =

  56. [57]

    Richardson, R. W. , TITLE =. Algebraic groups. 1987 , MRCLASS =. doi:10.1007/BFb0079242 , URL =

  57. [58]

    Kac, V. G. , TITLE =. J. Algebra , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0021-8693(80)90141-6 , URL =

  58. [59]

    , TITLE =

    Martino, M. , TITLE =. 2006 , PAGES =

  59. [60]

    Introduction to complex reflection groups and their braid groups , SERIES =

    Brou\'. Introduction to complex reflection groups and their braid groups , SERIES =. 2010 , PAGES =. doi:10.1007/978-3-642-11175-4 , URL =

  60. [61]

    , TITLE=

    Ginzburg, V. , TITLE=. arXiv , VOLUME=

  61. [62]

    , TITLE =

    Kemper, G. , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-03545-6 , URL =

  62. [63]

    , TITLE =

    Iversen, B. , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01425495 , URL =

  63. [64]

    , TITLE =

    Fogarty, J. , TITLE =. Amer. J. Math. , FJOURNAL =. 1973 , PAGES =. doi:10.2307/2373642 , URL =

  64. [65]

    and Koike, K

    Ariki, S. and Koike, K. , TITLE =. Adv. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/aima.1994.1057 , URL =

  65. [66]

    Lam, T. Y. , TITLE =. 2001 , PAGES =. doi:10.1007/978-1-4419-8616-0 , URL =

  66. [67]

    , TITLE =

    Lorenz, M. , TITLE =. 2018 , PAGES =. doi:10.1090/gsm/193 , URL =

  67. [68]

    Higman's criterion revisited , JOURNAL =

    Brou\'. Higman's criterion revisited , JOURNAL =. 2009 , NUMBER =. doi:10.1307/mmj/1242071686 , URL =

  68. [69]

    and Fitzgerald Tokoly, L

    Lorenz, M. and Fitzgerald Tokoly, L. , TITLE =. Comm. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1080/00927872.2011.617619 , URL =

  69. [70]

    , TITLE =

    Grinberg, M. , TITLE =. Represent. Theory , FJOURNAL =. 1998 , PAGES =. doi:10.1090/S1088-4165-98-00053-3 , URL =

  70. [71]

    and Vilonen, K

    Ting, X. and Vilonen, K. , TITLE=. arXiv , VOLUME=

  71. [72]

    and Ting, X

    Grinberg, M. and Ting, X. and Vilonen, K. , TITLE=. arXiv , VOLUME=

  72. [73]

    and Rouquier, R

    Geck, M. and Rouquier, R. , TITLE =. Finite reductive groups (. 1997 , MRCLASS =

  73. [74]

    , TITLE =

    Kaledin, D. , TITLE =. Algebraic geometry---. 2009 , MRCLASS =. doi:10.1090/pspum/080.2/2483948 , URL =

  74. [75]

    , TITLE =

    Hartshorne, R. , TITLE =. 1970 , PAGES =

  75. [76]

    and Stoll, W

    Andreotti, A. and Stoll, W. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1970137 , URL =

  76. [77]

    and Thiel, U

    Bellamy, G. and Thiel, U. , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jalgebra.2016.06.003 , URL =

  77. [78]

    , TITLE =

    Hesselink, Wim H. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1978 , PAGES =. doi:10.1515/crll.1978.303-304.74 , URL =

  78. [79]

    , TITLE =

    Hesselink, Wim H. , TITLE =. Invent. Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1007/BF01390087 , URL =

  79. [80]

    and Wallach, N

    Goodman, R. and Wallach, N. R. , TITLE =. 2009 , PAGES =. doi:10.1007/978-0-387-79852-3 , URL =

  80. [81]

    , TITLE =

    Levasseur, T. , TITLE =. , SERIES =. 1981 , MRCLASS =

Showing first 80 references.