pith. sign in

arxiv: 2412.18724 · v2 · submitted 2024-12-25 · ✦ hep-th · math-ph· math.CO· math.DS· math.MP

Vershik-Kerov in higher times

Andrei Grekov , Nikita Nekrasov This is my paper

Pith reviewed 2026-05-23 07:30 UTC · model grok-4.3

classification ✦ hep-th math-phmath.COmath.DSmath.MP
keywords Vershik-Kerov limit shapedouble-elliptic generalizationgenus two curvequiver gauge theoriessix-dimensional gauge theoryelliptic cohomologyHilbert schemeenumerative dualities
0
0 comments X

The pith

The double-elliptic limit shape is governed by a genus two algebraic curve.

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

The paper examines extensions of the Vershik-Kerov limit shape problem that arise in topological string theory and supersymmetric gauge theory instanton counting. It treats the cases of circular and linear quiver theories in detail and introduces a double-elliptic generalization defined through six-dimensional gauge theory compactified on a torus together with elliptic cohomology of the Hilbert scheme of points. The central result is that the limit shape in this double-elliptic setting is controlled by a genus two algebraic curve. A reader cares because the result links a classical combinatorial limit-shape question to an algebraic curve of higher genus and thereby indicates dualities between enumerative and equivariant parameters.

Core claim

In the double-elliptic generalization of the Vershik-Kerov problem, related to six-dimensional gauge theory compactified on a torus and to elliptic cohomology of the Hilbert scheme of points on a plane, the limit shape is governed by a genus two algebraic curve. This suggests unexpected dualities between the enumerative and equivariant parameters.

What carries the argument

The genus two algebraic curve that governs the limit shape in the double-elliptic Vershik-Kerov setting.

If this is right

  • Circular and linear quiver theories admit limit-shape descriptions inside the same generalized framework.
  • Dualities between enumerative and equivariant parameters follow from the presence of the genus two curve.
  • The limit shape problem remains well-posed once the elliptic cohomology of the Hilbert scheme is used to define the double-elliptic case.

Where Pith is reading between the lines

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

  • Analogous higher-genus curves may control limit shapes in further string-theory motivated generalizations.
  • Direct numerical checks of the predicted dualities are possible by comparing enumerative counts against equivariant parameters in specific models.
  • The same curve-governed structure could appear in other enumerative problems built from Hilbert schemes.

Load-bearing premise

The double-elliptic generalization is correctly defined by six-dimensional gauge theory compactified on a torus and elliptic cohomology of the Hilbert scheme so that the limit shape problem is well-posed.

What would settle it

An explicit computation of the limit shape for a concrete double-elliptic quiver theory whose shape fails to coincide with any genus two algebraic curve.

read the original abstract

Several generalizations of Vershik-Kerov limit shape problem are motivated by topological string theory and supersymmetric gauge theory instanton count. In this paper specifically we study the circular and linear quiver theories. We also briefly discuss the double-elliptic generalization of the Vershik-Kerov problem, related to six dimensional gauge theory compactified on a torus, and to elliptic cohomology of the Hilbert scheme of points on a plane. We prove that the limit shape in that setting is governed by a genus two algebraic curve, suggesting unexpected dualities between the enumerative and equivariant parameters.

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 / 0 minor

Summary. The paper generalizes the Vershik-Kerov limit shape problem to circular and linear quiver theories in the context of topological string theory and supersymmetric gauge theory instanton counting. It introduces a double-elliptic generalization tied to six-dimensional gauge theory compactified on a torus and to elliptic cohomology of the Hilbert scheme of points on a plane. The central result is a claimed proof that the limit shape in this double-elliptic setting is governed by a genus-two algebraic curve, which is said to suggest unexpected dualities between enumerative and equivariant parameters.

Significance. If the claimed proof is correct, the result would establish a direct link between the limit shape in the double-elliptic quiver setting and a genus-two curve, potentially revealing parameter dualities that connect enumerative geometry with the geometry of higher-genus curves in gauge-theoretic contexts. This could open avenues for relating elliptic cohomology constructions to algebraic curve techniques in instanton counting problems.

major comments (1)
  1. [Abstract] Abstract: the statement 'We prove that the limit shape in that setting is governed by a genus two algebraic curve' is presented without any equations defining the measure, the partition function, the double-elliptic generalization, or any derivation steps. This absence is load-bearing for the central claim, as the soundness of the asserted proof cannot be verified from the provided text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. Below we respond point-by-point to the single major comment.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the statement 'We prove that the limit shape in that setting is governed by a genus two algebraic curve' is presented without any equations defining the measure, the partition function, the double-elliptic generalization, or any derivation steps. This absence is load-bearing for the central claim, as the soundness of the asserted proof cannot be verified from the provided text.

    Authors: The abstract is written as a concise summary of the paper's main results, consistent with standard practice. The measure, partition function, double-elliptic generalization (tied to 6d gauge theory on a torus and elliptic cohomology of Hilb(C^2)), and the full derivation establishing governance by the genus-two curve are defined and proved in the body of the manuscript. We therefore maintain that the claim is verifiable from the complete text. That said, we acknowledge the referee's point that the abstract's brevity makes the central claim harder to assess at a glance; we will revise the abstract to include one or two brief definitional phrases and a pointer to the relevant sections. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The visible abstract and description present the double-elliptic Vershik-Kerov problem as defined by six-dimensional gauge theory compactified on a torus and elliptic cohomology of the Hilbert scheme, with a claimed proof that the limit shape is governed by a genus-two curve. No equations, explicit constructions of measures or partition functions, or derivation steps appear in the provided text, so no load-bearing step can be shown to reduce by construction to its own inputs. The result is offered as a derived consequence of the setup rather than a renaming, fit, or self-citation chain, rendering the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no identifiable free parameters, axioms, or invented entities; the central claim rests on the existence and well-posedness of the double-elliptic limit shape problem, which cannot be audited from the given text.

pith-pipeline@v0.9.0 · 5621 in / 1029 out tokens · 24361 ms · 2026-05-23T07:30:49.504852+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 16 internal anchors

  1. [1]

    Chern-Simons and Twisted Supersymmetry in Higher Dimensions

    L. Baulieu, A. Losev and N. Nekrasov, Chern-Simons and twisted supersymmetry in various dimensions, Nucl. Phys. B 522, 82-104 (1998) doi:10.1016/S0550-3213(98)00096- 0 [arXiv:hep-th/9707174 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0550-3213(98)00096- 1998

  2. [2]

    Siegel Modular Forms and Black Hole Entropy

    A. Belin, A. Castro, J. Gomes and C. A. Keller, Siegel Modular Forms and Black Hole Entropy , JHEP 04, 057 (2017) doi:10.1007/JHEP04(2017)057 [arXiv:1611.04588 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep04(2017)057 2017

  3. [3]

    Z-Measures on partitions, Robinson-Schensted-Knuth correspondence, and beta=2 random matrix ensembles

    A. Borodin, G. Olshanski, Z-Measures on partitions, Robinson-Schensted-Knuth cor- respondence, and β = 2 random matrix ensembles , arXiv preprint math/9905189

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    Braden and T

    H. Braden and T. Hollowood, The Curve of compactified 6-D gauge theories and in- tegrable systems, JHEP 12, 023 (2003) doi:10.1088/1126-6708/2003/12/023 [arXiv:hep- th/0311024 [hep-th]]

    work page doi:10.1088/1126-6708/2003/12/023 2003

  5. [5]

    Re-Recounting Dyons in N=4 String Theory

    D. Gaiotto, Re-recounting dyons in N=4 string theory , [arXiv:hep-th/0506249 [hep- th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    N=2 dualities

    D. Gaiotto, N = 2 dualities, JHEP 08, 034 (2012) doi:10.1007/JHEP08(2012)034 [arXiv:0904.2715 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep08(2012)034 2012

  7. [7]

    Integrability and Seiberg-Witten Exact Solution

    A. Gorsky, I. Krichever, A. Marshakov, A. Mironov and A. Morozov, Integrability and Seiberg-Witten exact solution , Phys. Lett. B 355, 466-474 (1995) doi:10.1016/0370- 2693(95)00723-X [arXiv:hep-th/9505035 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370- 1995

  8. [8]

    RG Equations from Whitham Hierarchy

    A. Gorsky, A. Marshakov, A. Mironov and A. Morozov, RG equations from Whitham hierarchy, Nucl. Phys. B 527, 690-716 (1998) doi:10.1016/S0550-3213(98)00315-0 [arXiv:hep-th/9802007 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0550-3213(98)00315-0 1998

  9. [9]

    Grekov, N

    A. Grekov, N. Nekrasov, Elliptic Calogero-Moser system, crossed and folded instantons, and bilinear identities , (2023) arXiv:2310.04571 [math-ph]

    work page arXiv 2023

  10. [10]

    Grekov, N

    A. Grekov, N. Nekrasov, Elliptic analogue of Vershik-Kerov limit shape , arXiv:2403.07168[math-ph]

    work page arXiv

  11. [11]

    Grekov, N

    A. Grekov, N. Nekrasov, Noncommutative Jacobi identity, and gauge theory , [arXiv:2411.17144 [math-ph]]

    work page arXiv

  12. [12]

    Grekov, Classical elliptic integrable systems from the moduli space of instantons , [arXiv:2412.00912 [math-ph]]

    A. Grekov, Classical elliptic integrable systems from the moduli space of instantons , [arXiv:2412.00912 [math-ph]]

    work page arXiv

  13. [13]

    Grekov, N

    A. Grekov, N. Nekrasov, Applied BPS/CFT correspondence: Lax pairs and isomon- odromy, to appear

    work page

  14. [14]

    Donagi, Decompositions of Spectral Covers, Ast´ erisque,218 (1992), 145–176 R

    R. Donagi, Decompositions of Spectral Covers, Ast´ erisque,218 (1992), 145–176 R. Donagi and D. Gaitsgory, The gerbe of Higgs bundles , Transformation Groups, 7 (2002), no. 2, 109–153

    work page 1992

  15. [15]

    Vershik and S

    A. Vershik and S. Kerov, Asymptotics of the Plancherel measure of the symmetric group and the limiting form of Young tableaux, Doklady akademii nauk, Russian Academy of Sciences Vol. 233 (1977) 6, pp. 1024–1027, MR0480398

    work page 1977

  16. [16]

    Logan and L

    B. Logan and L. Shepp, A variational problem for random Young tableaux, Adv.Math. 26 (1977) 206–222, MR1417317

    work page 1977

  17. [17]

    Donagi and E

    R. Donagi and E. Witten, Supersymmetric Yang-Mills theory and integrable sys- tems, Nucl. Phys. B 460, 299-334 (1996) doi:10.1016/0550-3213(95)00609-5 [arXiv:hep- th/9510101 [hep-th]]. VERSHIK-KEROV HIGHER TIMES 29

    work page doi:10.1016/0550-3213(95)00609-5 1996

  18. [19]

    Matrix Models, Geometric Engineering and Elliptic Genera

    T. Hollowood, A. Iqbal and C. Vafa, Matrix models, geometric engineering and elliptic genera, JHEP 03, 069 (2008) doi:10.1088/1126-6708/2008/03/069 [arXiv:hep-th/0310272 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2008/03/069 2008

  19. [20]

    A. S. Losev, A. Marshakov and N. A. Nekrasov, Small instantons, little strings and free fermions, [arXiv:hep-th/0302191 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [21]

    Macdonald, Symmetric functions and Hall polynomials , 2nd edition, Oxford, 1995

    I. Macdonald, Symmetric functions and Hall polynomials , 2nd edition, Oxford, 1995

    work page 1995

  21. [22]

    Nakajima, Lectures on Hilbert schemes of points on surfaces , University Lecture Series, vol

    H. Nakajima, Lectures on Hilbert schemes of points on surfaces , University Lecture Series, vol. 18, American Mathematical Society, Providence, RI, 1999

    work page 1999

  22. [23]

    H. Nakajima, More Lectures on Hilbert schemes of points on surfaces , Advanced Studies in Pure Mathematics 69, 2016, Development of Moduli Theory – Kyoto 2013, 173-205, arXiv:1401.6782 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  23. [24]

    Seiberg-Witten Prepotential From Instanton Counting

    N. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7, no.5, 831-864 (2003) doi:10.4310/ATMP.2003.v7.n5.a4 [arXiv:hep-th/0206161 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/atmp.2003.v7.n5.a4 2003

  24. [25]

    Nekrasov and A

    N. Nekrasov and A. Okounkov, Seiberg-Witten theory and random partitions, In, ‘The Unity of Mathematics: In Honor of the Ninetieth Birthday of I.M. Gelfand’, Boston, MA: Birkh¨ auser Boston (2006) 525-596

    work page 2006

  25. [26]

    Nekrasov, BPS/CFT correspondence: non-perturbative Dyson-Schwinger equa- tions and qq-characters , Journal of High Energy Physics, 3 (2016) 1-70

    N. Nekrasov, BPS/CFT correspondence: non-perturbative Dyson-Schwinger equa- tions and qq-characters , Journal of High Energy Physics, 3 (2016) 1-70

    work page 2016

  26. [27]

    BPS/CFT correspondence II: Instantons at crossroads, Moduli and Compactness Theorem

    N. Nekrasov, BPS/CFT correspondence II: instantons at crossroads, mod- uli and compactness theorem , Adv. Theor. Math. Phys. 21, 503-583 (2017) doi:10.4310/ATMP.2017.v21.n2.a4 [arXiv:1608.07272 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/atmp.2017.v21.n2.a4 2017

  27. [28]

    BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters

    N. Nekrasov, BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters, Commun. Math. Phys. 358, no.3, 863-894 (2018) doi:10.1007/s00220-017- 3057-9 [arXiv:1701.00189 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-017- 2018

  28. [29]

    Nekrasov, V

    N. Nekrasov, V. Pestun, Seiberg-Witten Geometry of Four-Dimensional N = 2 Quiver Gauge Theories, arXiv:1211.2240v2 [hep-th]

    work page arXiv

  29. [30]

    Extended Seiberg-Witten Theory and Integrable Hierarchy

    A. Marshakov and N. Nekrasov, Extended Seiberg-Witten Theory and Integrable Hier- archy, JHEP 01, 104 (2007) doi:10.1088/1126-6708/2007/01/104 [arXiv:hep-th/0612019 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2007/01/104 2007

  30. [31]

    Kerov, Asymptotic Representation Theory of the Symmetric Group and its Appli- cations in Analysis, American Mathematical Society, ISBN 978-0-8218-3440-4

    S. Kerov, Asymptotic Representation Theory of the Symmetric Group and its Appli- cations in Analysis, American Mathematical Society, ISBN 978-0-8218-3440-4

    work page

  31. [32]

    Kerov's central limit theorem for the Plancherel measure on Young diagrams

    V. Ivanov, G. Olshanski, Kerov’s central limit theorem for the Plancherel measure on Young diagrams, arXiv:math/0304010v1 [math.CO]

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [33]

    I. M. Krichever, The τ-function of the universal Whitham hierarchy, matrix models and topological field theories , Commun. Pure Appl. Math. 47, 437 (1994) [arXiv:hep- th/9205110 [hep-th]]

    work page arXiv 1994

  33. [34]

    Okounkov, and R

    A. Okounkov, and R. Pandharipande, Gromov-Witten theory, Hurwitz theory, and completed cycles, (2002) arXiv:0204305 [math.AG]

    work page 2002

  34. [35]

    Vafa and E

    C. Vafa and E. Witten, A Strong coupling test of S duality , Nucl. Phys. B 431, 3-77 (1994) doi:10.1016/0550-3213(94)90097-3

    work page doi:10.1016/0550-3213(94)90097-3 1994

  35. [36]

    Elliptic Genera of Symmetric Products and Second Quantized Strings

    R. Dijkgraaf, G. W. Moore, E. P. Verlinde and H. L. Verlinde, Elliptic genera of symmetric products and second quantized strings , Commun. Math. Phys. 185, 197-209 (1997) doi:10.1007/s002200050087 [arXiv:hep-th/9608096 [hep-th]]. Simons Center for Geometry and Physics n, Yang Institute for Theoretical Physicsg,n, Stony Brook University, Stony Brook NY 117...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s002200050087 1997