Recognition: no theorem link
K-theory of Gieseker variety and type A cyclotomic Hecke algebra
Pith reviewed 2026-05-13 01:27 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- 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)
- 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
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
-
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
Minor self-citation to authors' prior Hikita-Nakajima work; main identification remains independently grounded
specific steps
-
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
axioms (1)
- domain assumption Assuming an identification between the equivariant K-theory of the Lagrangian subvariety and the cocenter
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Hu, Y. and Keel, S. , TITLE =. Michigan Math. J. , FJOURNAL =. 2000 , PAGES =. doi:10.1307/mmj/1030132722 , URL =
-
[4]
Ohta, R. , TITLE =. Eur. J. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1007/s40879-022-00552-6 , URL =
- [5]
- [6]
- [7]
-
[8]
Coutinho, S. and Levcovitz, D. , TITLE =. Comm. Algebra , FJOURNAL =. 2001 , NUMBER =. doi:10.1081/AGB-100002114 , URL =
-
[9]
Marin, I. and Michel, J. , TITLE =. Represent. Theory , FJOURNAL =. 2010 , PAGES =. doi:10.1090/S1088-4165-2010-00380-5 , URL =
-
[10]
Opdam, E. , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01388841 , URL =
- [11]
-
[12]
Dunkl, C. and Griffeth, S. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00029-010-0032-0 , URL =
-
[13]
Konno, H. , TITLE =. Internat. J. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1142/S0129167X03001764 , URL =
- [14]
-
[15]
Braun, A. , TITLE =. J. Algebra , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jalgebra.2018.01.046 , URL =
-
[16]
Grzeszczuk, P. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045800 , URL =
-
[17]
Quillen, D. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/2036884 , URL =
- [18]
- [19]
-
[20]
Tilting bundles on hypertoric varieties , JOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz218 , URL =
-
[22]
Konno, H. , TITLE =. Toric topology , SERIES =. 2008 , MRCLASS =. doi:10.1090/conm/460/09022 , URL =
-
[23]
Bellamy, G. and Craw, A. and Rayan, S. and Schedler, T. and Weiss, H. , TITLE=
- [24]
-
[25]
Symplectic resolutions of character varieties , author=. Geometry & Topology , year=
-
[26]
Ressayre, N. , TITLE =. Geom. Dedicata , FJOURNAL =. 2000 , NUMBER =. doi:10.1023/A:1005275524522 , URL =
- [27]
-
[28]
Goto, S. and Watanabe, K. , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1978 , NUMBER =. doi:10.2969/jmsj/03020179 , URL =
-
[29]
Dade, E. , TITLE =. Math. Z. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01161413 , URL =
-
[30]
Dade, E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1970 , PAGES =. doi:10.2307/1970606 , URL =
-
[31]
Rouquier, R. , TITLE =. Algebra Colloq. , FJOURNAL =. 2012 , NUMBER =. doi:10.1142/S1005386712000247 , URL =
-
[32]
Khovanov, M. and Lauda, A. D. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0002-9947-2010-05210-9 , URL =
-
[33]
Bellamy, G. and Thiel, U. , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.03.011 , URL =
- [34]
-
[35]
Launois, S. and Topley, L. , TITLE =. J. Algebra , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.jalgebra.2019.01.006 , URL =
-
[36]
Braun, A. , TITLE =. J. Algebra , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jalgebra.2007.08.021 , URL =
-
[37]
Grosshans, F. D. , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01393822 , URL =
- [38]
-
[39]
Malkin, A. and Ostrik, V. and Vybornov, M. , TITLE =. Duke Math. J. , FJOURNAL =. 2005 , NUMBER =. doi:10.1215/S0012-7094-04-12622-3 , URL =
- [40]
-
[41]
Hamm, H. A. and L\^. On the. Singularit\'. 2005 , MRCLASS =
work page 2005
-
[42]
Adriaenssens, J. and Le Bruyn, L. , TITLE =. Comm. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1081/AGB-120018508 , URL =
-
[43]
Kraft, H. and Procesi, C. , TITLE =. Invent. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01394257 , URL =
-
[44]
Crawley-Boevey, W. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s000140050105 , URL =
-
[45]
Knop, F. and Kraft, H. and Vust, T. , TITLE =. Algebraische. 1989 , MRCLASS =
work page 1989
-
[46]
Cox, D. A. and Little, J. B. and Schenck, H. K. , TITLE =. 2011 , PAGES =. doi:10.1090/gsm/124 , URL =
-
[47]
Kleiman, S. L. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.2307/1970447 , URL =
-
[48]
Kleiman, S. L. , TITLE =. Fundamental algebraic geometry , SERIES =. 2005 , MRCLASS =
work page 2005
-
[49]
Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution , author=. 2021 , eprint=
work page 2021
-
[50]
Popov, V. L. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1972 , PAGES =
work page 1972
- [51]
-
[52]
Webster, B. , TITLE =. Forum Math. Sigma , FJOURNAL =. 2017 , PAGES =. doi:10.1017/fms.2017.17 , URL =
-
[53]
Boutot, J.-F. , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01405091 , URL =
-
[54]
Konno, H. , TITLE =. Integrable systems, topology, and physics (. 2002 , MRCLASS =. doi:10.1090/conm/309/05345 , URL =
-
[55]
Artin, M. , TITLE =. Invent. Math. , FJOURNAL =. 1968 , PAGES =. doi:10.1007/BF01389777 , URL =
-
[56]
Vale, R. , TITLE =. J. Math. Kyoto Univ. , FJOURNAL =. 2008 , NUMBER =. doi:10.1215/kjm/1250280974 , URL =
-
[57]
Richardson, R. W. , TITLE =. Algebraic groups. 1987 , MRCLASS =. doi:10.1007/BFb0079242 , URL =
-
[58]
Kac, V. G. , TITLE =. J. Algebra , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0021-8693(80)90141-6 , URL =
- [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 =
- [61]
-
[62]
Kemper, G. , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-03545-6 , URL =
-
[63]
Iversen, B. , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01425495 , URL =
-
[64]
Fogarty, J. , TITLE =. Amer. J. Math. , FJOURNAL =. 1973 , PAGES =. doi:10.2307/2373642 , URL =
-
[65]
Ariki, S. and Koike, K. , TITLE =. Adv. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/aima.1994.1057 , URL =
-
[66]
Lam, T. Y. , TITLE =. 2001 , PAGES =. doi:10.1007/978-1-4419-8616-0 , URL =
-
[67]
Lorenz, M. , TITLE =. 2018 , PAGES =. doi:10.1090/gsm/193 , URL =
-
[68]
Higman's criterion revisited , JOURNAL =
Brou\'. Higman's criterion revisited , JOURNAL =. 2009 , NUMBER =. doi:10.1307/mmj/1242071686 , URL =
-
[69]
Lorenz, M. and Fitzgerald Tokoly, L. , TITLE =. Comm. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1080/00927872.2011.617619 , URL =
-
[70]
Grinberg, M. , TITLE =. Represent. Theory , FJOURNAL =. 1998 , PAGES =. doi:10.1090/S1088-4165-98-00053-3 , URL =
- [71]
- [72]
-
[73]
Geck, M. and Rouquier, R. , TITLE =. Finite reductive groups (. 1997 , MRCLASS =
work page 1997
-
[74]
Kaledin, D. , TITLE =. Algebraic geometry---. 2009 , MRCLASS =. doi:10.1090/pspum/080.2/2483948 , URL =
- [75]
-
[76]
Andreotti, A. and Stoll, W. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1970137 , URL =
-
[77]
Bellamy, G. and Thiel, U. , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jalgebra.2016.06.003 , URL =
-
[78]
Hesselink, Wim H. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1978 , PAGES =. doi:10.1515/crll.1978.303-304.74 , URL =
-
[79]
Hesselink, Wim H. , TITLE =. Invent. Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1007/BF01390087 , URL =
-
[80]
Goodman, R. and Wallach, N. R. , TITLE =. 2009 , PAGES =. doi:10.1007/978-0-387-79852-3 , URL =
- [81]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.