REVIEW 1 major objections 5 minor 1 cited by
A geometric interpretation of the Delta Conjecture
T0 review · 1 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The authors build a variety $Y_{n,k}$ whose Borel-Moore homology, with an $S_n$ action and bigrading, has graded Frobenius character $\mathrm{rev}_q\,\omega\Delta'_{e_{k-1}}e_n$, matching the Delta Conjecture.
desk verdict Genuine geometric realization of the Delta Conjecture via a new affine Springer-like fiber; the main gap is a terse rational-smoothness lemma that needs a fuller proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are two subvarieties of (partial) affine flag varieties built from the nil-elliptic operator $\gamma=\gamma_{n,k,N}$ with characteristic polynomial $z^K-\epsilon^{N+k}$: $X_{n,k,N}=\operatorname{Sp}_\gamma\cap C$, where $C$ is the union of positive normalized Schubert cells, and $Y_{n,k,N}=BM_{\gamma,n,k}\cap C'$, where $BM_{\gamma,n,k}$ adds the Jordan-type condition $\operatorname{JT}(\gamma|_{\Lambda_0/\Lambda_{K-n}})\le (n-k)^{k-1}$ and $C'$ is its image in the partial affine flag variety $\widetilde{\operatorname{Fl}}^{(K-n,1^n)}$. The argument runs on two engines: the Springer action, supplied by the partial resolution of the nilpotent cone and the Decomposition Theorem, and an explicit affine paving of $X_{n,k}$ whose cell equations are triangular with respect to a $\mathbb{C}^*\times\mathbb{C}^*$ weight order, so the cell dimensions compute the $\operatorname{dinv}$ statistic of parking functions. The bridge between the two characters is the Schur skewing operator $s^\perp_\mu$, the adjoint of multiplication by a Schur function, whose geometric avatar is Theorem 5.13.
What would settle it
Compute the graded character of $Y_{n,k}$ for the smallest case outside the known Shuffle Theorem diagonal, say $(n,k)=(5,3)$, by explicitly affine-paving the variety, and compare the Schur expansion with $\mathrm{rev}_q\,\omega\Delta'_{e_2}e_5$; any mismatch in a single $(q,t)$-degree would refute Theorem 1.6(b). A sharper check is the rational-smoothness premise itself: in the $(5,5)$ example of Remark 1.11, verify that $O_y$ is rationally smooth over the Schubert cell $C_{[1,7,8,9,15]}$ even though the fiber over the torus fixed point changes Springer type from $(3,1,1)$ to $(2,2,1)$.
Extended reading notes
Core claim
The central discovery is Theorem 1.6(b): for $\lambda' = (n-k)^{k-1}$, after the stabilization $N\ge k$ the Borel-Moore homology of $Y_{n,k}=Y_{n,k,N}$ is a bigraded $S_n$-module with $\operatorname{Frob}_{q,t} H_*^{BM}(Y_{n,k}) = \mathrm{rev}_q\,\omega(\Delta'_{e_{k-1}}e_n)$, where $q$ records homological degree and $t$ the connected component of the partial affine flag variety. The proof realizes this as the geometric counterpart of the skewing formula $\Delta'_{e_{k-1}}e_n = s^\perp_{(k-1)^{n-k}}(E_{K,k}\cdot 1)$: Theorem 1.6(a) gives $q^{\binom{k-1}{2}(n-k)}\operatorname{Frob}_{q,t}H_*^{BM}(Y_{n,k}) = s^\perp_{\lambda'}\operatorname{Frob}_{q,t}H_*^{BM}(X_{n,k})$, while $X_{n,k}$ admits an affine paving whose cells are labeled by $(K,k)$ parking functions and whose character is $\mathrm{rev}_q\,\omega(E_{K,k}\cdot 1)$. In the case $n=k$ the two varieties coincide and the statement specializes to the geometric Shuffle Theorem for $\nabla e_n$.
Load-bearing premise
The load-bearing premise is a technical smoothness property (rational smoothness) of the auxiliary variety $O_y$ over the relevant Schubert-stratum of the affine Grassmannian; if it failed at any fiber, the $S_n$ action on the homology of $Y_{n,k}$ would not transfer and the main geometric identity would collapse.
Editorial extensions
If this is right
- The Delta Conjecture symmetric function $\mathrm{rev}_q\,\omega\Delta'_{e_{k-1}}e_n$ is the graded Frobenius character of an $S_n$-equivariant homology group, so every coefficient in its Schur expansion is a multiplicity of an irreducible $S_n$-representation on $H_*^{BM}(Y_{n,k})$.
- The affine paving of $X_{n,k}$ gives $H_*^{BM}(X_{n,k})$ a cell basis indexed by $(K,k)$ parking functions, with the $\operatorname{dinv}$ statistic appearing as cell dimension; the same cell structure carries over to the projection in the partial flag variety.
- Theorem 1.6(a) supplies a geometric version of the skewing formula: the $S_n$-character of $Y_{n,k}$ is obtained from the $S_K$-character of $X_{n,k}$ by taking a $V_{(n-k)^{k-1}}$-isotypic component, up to a $q$-shift.
- For $n=k$, $Y_{n,n}=X_{n,n}$ and the statement specializes to a geometric realization of the Shuffle Theorem for $\nabla e_n$.
- Since $Y_{n,k,N}$ is independent of $N$ for $N\ge k$, the construction provides stable geometric models; varying $0\le N<k$ defines new symmetric functions $f_{n,k,N}$, $g_{n,k,N}$ that the paper proposes as generalizations.
Reading between the lines
- This construction plausibly extends to other non-coprime rational slopes: replacing the Jordan-type bound by the analogue for a partition $\mu$ should give geometric models for $E_{km,kn}\cdot 1$, with $Y_{n,k}$ the case $(k(n-k+1),k)$.
- The triangular cell equations and the $\mathbb{C}^*\times\mathbb{C}^*$ weight order suggest an explicit monomial basis of $H_*^{BM}(Y_{n,k})$ indexed by stacked parking functions, which would give a combinatorial proof of Schur positivity of $\Delta'_{e_{k-1}}e_n$ directly from geometry.
- The $t$-grading by connected components together with the torus weights $\theta_0,\theta_\infty$ may make $Y_{n,k}$ a geometric home for Delta-Conjecture analogues of double coinvariant modules, extending the $\nabla e_n$ story; one test would be to compare the equivariant localization formula for $Y_{n,k}$ with the stacked parking function statistics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces two families of subvarieties of (partial) affine flag varieties, X_{n,k,N} and Y_{n,k,N}, associated to a nil-elliptic operator γ_{n,k,N}, and proves that for N ≥ k their Borel-Moore homology, equipped with a Springer-type symmetric group action and a bigrading, has graded Frobenius character equal to rev_q ω(E_{K,k}·1) and rev_q ω(Δ'_{e_{k-1}}e_n), respectively. Here E_{K,k}·1 is the rational-shuffle symmetric function and Δ'_{e_{k-1}}e_n is the Delta Conjecture symmetric function, with K = k(n−k+1). The argument combines a combinatorial bijection between rational parking functions and γ-restricted affine permutations (Sections 2–3), a geometric construction of the varieties (Section 4), a sheaf-theoretic skewing formula proved via Borho–MacPherson theory (Section 5), and an explicit affine paving of X_{n,k} (Section 6). Theorem 1.6(b) is obtained by combining the geometric skewing formula (Theorem 5.13) with the authors' prior combinatorial skewing formula [10, Theorem 1.1].
Significance. If the main results are correct, the paper provides a genuine geometric interpretation of the Delta Conjecture and of the Rational Shuffle Theorem in the integer-slope case (km,k), generalizing Hikita's affine Springer fiber realization of ∇e_n. The affine paving of X_{n,k} is explicit and detailed, and the relation between the two geometric objects is mediated by a Schur skewing operator, giving a geometric avatar of the algebraic skewing formula. The combinatorial sections are thorough and the proof of Theorem 1.3 is essentially self-contained modulo standard facts. The main caveat is that the geometric transfer in Theorem 5.13 rests on a rational-smoothness assertion that is currently not demonstrated, so the full strength of the geometric realization depends on closing that gap.
major comments (1)
- [Section 5.2, Lemma 5.12] Lemma 5.12 is the unique justification for replacing IC(Q_{O_y}) by Q_{O_y}|_Ξ in the proof of Theorem 5.13, yet its proof is the single sentence 'This follows from Lemma 5.10 and [11, Lemma 3.4].' Lemma 5.10 bounds the number of Jordan blocks of γ|_{Λ0/ϵΛ0} by k for points of Y_{n,k}; this is a statement about finite-dimensional quotients of the affine flag variety. Rational smoothness of O_y at the points in the preimage of ev(Y_{n,k}) is a pointwise statement about the local geometry of the affine Borho–MacPherson variety, and the paper does not verify that the hypotheses of [11, Lemma 3.4] hold at each such point. The issue is load-bearing: if the smooth locus of O_y does not contain the relevant fibers, equation (28) is false, the W^P action does not transfer, and Theorem 1.6(a), hence Theorem 1.6(b), is unsupported. Remark 5.7 explicitly notes that O_y is not rationally smooth on all fibers over ev(Gr_γ), so a global argument cannot be intended; the restriction to ev(C''∩Gr_γ) is essential. Please provide a complete pointwise verification, or quote the precise statement from [11] and check all of its hypotheses in detail.
minor comments (5)
- [Section 6.2, proof of Theorem 1.6] In the displayed computation of Hilb_{q,t}H^{BM}_*(pr_η(X_{n,k})), the factors q and t are written in opposite orders in two consecutive lines: one line has q^{area(π)}t^{δ_{K,k}−dinv′(π)} and the next has t^{area(π)}q^{δ_{K,k}−dinv′(π)}. These are not equivalent, and the q/t convention should be fixed so that the final equality with rev_qω(E_{K,k}·1) is correct.
- [Theorem 1.6(b) and Definition 4.11] The notation for the partial affine flag variety is inconsistent: the text uses both eFl(K−n,1n) and fFl(K−n,1n) for the same object; please unify the notation.
- [Lemma 4.14] The equivalence 'JT(Λ0/ΛK−n) ≤ (n−k)^{k−1} iff b_i ≤ n−k for all i' is asserted without proof; a short justification, even a sentence explaining the correspondence between Jordan blocks of the induced operator and columns of big labels, would improve readability.
- [Section 6.2, proof of Theorem 1.6] In the final lines of the proof, the notation E_{k,K} is used where the paper elsewhere defines E_{K,k}; please correct the order of the subscripts.
- [Title and running header] The title in the manuscript body appears with misplaced spaces ('INTERPRET A TION', 'DEL T A'); please ensure the final formatting is correct.
Circularity Check
No circular derivation: geometry of Y is matched to Delta' via independent algebraic and geometric inputs; the terse rational-smoothness lemma is a proof-gap risk, not a circular reduction.
full rationale
The derivation chain is: (i) X_{n,k} is paved by cells indexed by (K,k) parking functions (Theorem 6.4); (ii) combined with the Rational Shuffle Theorem of Mellit, this yields Theorem 1.3; (iii) Springer theory via Borho-MacPherson, Lemma 5.6 and Theorem 5.13 constructs the S_K and S_n actions and proves the geometric skewing formula relating Y_{n,k} to X_{n,k}; (iv) Theorem 1.5 from the authors' prior work [10], s_perp_lambda(E_{K,k} * 1) = DeltaPrime_{e_{k-1}} e_n, is then used to translate the geometric skewing formula into the Delta-conjecture symmetric function. The load-bearing self-citations are [10, Theorem 1.1] and [11, Lemma 3.4] (through Lemma 5.12), but neither is a circular reduction: [10] is a parameter-free algebraic identity about elliptic Hall algebra independent of the geometry, and [11, Lemma 3.4] is a published geometric statement about rational smoothness used as an external input. The S_n action is not defined by the skewing formula; it is inherited from the Springer action, and the skewing formula is proved rather than assumed. Lemma 5.12 is terse (it says 'This follows from Lemma 5.10 and [11, Lemma 3.4]') and is the principal correctness risk, but a proof gap is not circularity because nowhere is Frob(H^BM_*(Y_{n,k})) set equal to rev_q omega DeltaPrime_{e_{k-1}} e_n by definition or by fitted data. The T-fixed point bijection with stacked parking functions (Lemma 4.14) is not used to compute the character of Y; the character is obtained via the geometric skewing formula. No self-definitional, fitted-input-called-prediction, imported-uniqueness, or renaming pattern is present.
Assumptions & free parameters
assumptions (5)
- domain assumption Rational Shuffle Theorem (Mellit, Duke Math. J. 2021, cited as [28]): E_{K,k} . 1 = sum_{P in PF_{K,k}} q^{area} t^{dinv} x^P.
- domain assumption Skewing formula Theorem 1.5 from the authors' prior preprint [10]: Delta'_{e_{k-1}} e_n = s^perp_{(k-1)^{n-k}} (E_{K,k} . 1).
- standard math Borho-MacPherson theory of partial resolutions of the nilpotent cone, including semismall maps and the Decomposition Theorem for perverse sheaves.
- domain assumption [11, Lemma 3.4] on the rational smoothness of O_y over the relevant locus.
- standard math Characteristic-zero base field C and the classical Borel-Moore homology with affine paving framework.
Cite this review
Pith. "Pith review of A geometric interpretation of the Delta Conjecture." pith.science (2026). https://pith.science/paper/OWBUI4M3
@misc{pith2026250100197,
author = {Pith},
title = {Pith review of: A geometric interpretation of the Delta Conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/OWBUI4M3}},
note = {Machine review of arXiv:2501.00197}
}
abstract
We introduce a variety $Y_{n,k}$, which we call the \textit{affine $\Delta$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,\omega \Delta'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $\Delta$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture.
Figures
Figures from the paper (4 more)
Forward citations
Cited by 1 Pith paper
-
A proof of the Fields Conjectures
The bigraded S_n-isomorphism type of the superspace coinvariant ring SR_n equals the sign-twisted permutation action on ordered set partitions, proving the Fields Conjectures.
Reference graph
Works this paper leans on
-
[10]
Maria Gillespie, Eugene Gorsky, and Sean T. Griffin. A combinatorial skewing formula for the Rise Delta Theorem. arXiv:2408.12543, 2024
arXiv 2024
-
[11]
Maria Gillespie and Sean T. Griffin. Cocharge and skewing formulas for ∆-Springer modules and the Delta conjecture. Int. Math. Res. Not. , 2024(14):10895–10917, 2024
work page 2024
-
[1]
Pramod N. Achar. Perverse sheaves and applications to representation theory, volume 258 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2021
work page 2021
-
[2]
Compositional ( km, kn)-shuffle conjec- tures
Francois Bergeron, Adriano Garsia, Emily Sergel Leven, and Guoce Xin. Compositional ( km, kn)-shuffle conjec- tures. Int. Math. Res. Not. IMRN , (14):4229–4270, 2016
work page 2016
- [3]
- [4]
-
[5]
Partial resolutions of nilpotent varieties
Walter Borho and Robert MacPherson. Partial resolutions of nilpotent varieties. In Analysis and topology on singular spaces, II, III (Luminy, 1981) , volume 101-102 of Ast´ erisque, pages 23–74. Soc. Math. France, Paris, 1983
work page 1981
-
[6]
On the Hall algebra of an elliptic curve, i
Igor Burban and Olivier Schiffmann. On the Hall algebra of an elliptic curve, i. Duke Math. J., 161(7):1171–1231, 2012
work page 2012
Show all 37 references
-
[7]
A proof of the shuffle conjecture
Erik Carlsson and Anton Mellit. A proof of the shuffle conjecture. J. Amer. Math. Soc. , 31(3):661–697, 2018
2018
-
[8]
Affine Schubert calculus and double coinvariants
Erik Carlsson and Alexei Oblomkov. Affine Schubert calculus and double coinvariants. arXiv preprint arXiv:1801.09033, 2018
2018 arXiv
-
[9]
A proof of the compositional Delta conjecture
Michele D’Adderio and Anton Mellit. A proof of the compositional Delta conjecture. Adv. Math. , 402:108342, 2022
2022
-
[12]
Generic curves and non-coprime Catalans
Eugene Gorsky, Mikhail Mazin, and Alexei Oblomkov. Generic curves and non-coprime Catalans. arXiv preprint arXiv:2210.12569, 2022
2022 arXiv
-
[13]
Affine permutations and rational slope parking functions
Eugene Gorsky, Mikhail Mazin, and Monica Vazirani. Affine permutations and rational slope parking functions. Trans. Amer. Math. Soc. , 368(12):8403–8445, 2016
2016
-
[14]
Refined knot invariants and Hilbert schemes
Eugene Gorsky and Andrei Negut ¸. Refined knot invariants and Hilbert schemes. J. Math. Pures Appl. , 104(3):403–435, 2015
2015
-
[15]
Compactified jacobians and q,t-catalan numbers, i
Evgeny Gorsky and Mikhail Mazin. Compactified jacobians and q,t-catalan numbers, i. J. Combin. Theory Ser. A, 120(1):49–63, 2013
2013
-
[16]
Ordered set partitions, Garsia-Procesi modules, and rank varieties
Sean T Griffin. Ordered set partitions, Garsia-Procesi modules, and rank varieties. Trans. Amer. Math. Soc. , 374(4):2609–2660, 2021
2021
-
[17]
∆-Springer varieties and Hall–Littlewood polynomials
Sean T Griffin. ∆-Springer varieties and Hall–Littlewood polynomials. In Forum Math. Sigma , volume 12, page e19. Cambridge University Press, 2024
2024
-
[18]
Springer fibers and the Delta conjecture at t = 0
Sean T Griffin, Jake Levinson, and Alexander Woo. Springer fibers and the Delta conjecture at t = 0. Adv. Math., 439:109491, 2024
2024
-
[19]
A combinatorial formula for the character of the diagonal convariants
J Haglund, M Haiman, N Loehr, JB Remmel, and A Ulyanov. A combinatorial formula for the character of the diagonal convariants. Duke Math. J. , 126(2):195–232, 2005
2005
-
[20]
Remmel, and Andrew T
James Haglund, Jeff B. Remmel, and Andrew T. Wilson. The Delta conjecture. Trans. Amer. Math. Soc. , 370:4029–4057, 2018. 38
2018
-
[21]
Affine Springer fibers of type A and combinatorics of diagonal coinvariants
Tatsuyuki Hikita. Affine Springer fibers of type A and combinatorics of diagonal coinvariants. Adv. Math. , 263:88–122, 2014
2014
-
[22]
A specialization theorem for certain Weyl group representations and an appli- cation to the Green polynomials of unitary groups
Ryoshi Hotta and TA Springer. A specialization theorem for certain Weyl group representations and an appli- cation to the Green polynomials of unitary groups. Invent. Math. , 41(2):113–127, 1977
1977
-
[23]
Shalika germs for tamely ramified elements in GLn
Oscar Kivinen and Cheng-Chiang Tsai. Shalika germs for tamely ramified elements in GLn. arXiv preprint arXiv:2209.02509, 2022
2022 arXiv
-
[24]
G. Lusztig. Green polynomials and singularities of unipotent classes. Adv. Math., 42:169–178, 1981
1981
-
[25]
Symmetric Functions and Hall Polynomials
Ian Grant Macdonald. Symmetric Functions and Hall Polynomials . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 1979
1979
-
[26]
The P = W conjecture for GLn
Davesh Maulik and Junliang Shen. The P = W conjecture for GLn. arXiv preprint arXiv:2209.02568 , 2022
2022 arXiv
-
[27]
Macdonald formula for curves with planar singularities
Davesh Maulik and Zhiwei Yun. Macdonald formula for curves with planar singularities. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) , 2014(694):27–48, 2014
2014
-
[28]
Toric braids and ( m, n)-parking functions
Anton Mellit. Toric braids and ( m, n)-parking functions. Duke Math. J. , 170(18):4123–4169, 2021
2021
-
[29]
A support theorem for Hilbert schemes of planar curves
Luca Migliorini and Vivek Shende. A support theorem for Hilbert schemes of planar curves. J. Eur. Math. Soc. , 15(6):2353–2367, 2013
2013
-
[30]
The shuffle algebra revisited
Andrei Negut. The shuffle algebra revisited. Int. Math. Res. Not. IMRN , (22):6242–6275, 2014
2014
-
[31]
The Hilbert scheme of a plane curve singularity and the HOMFLY homology of its link
Alexei Oblomkov, Jacob Rasmussen, and Vivek Shende. The Hilbert scheme of a plane curve singularity and the HOMFLY homology of its link. Geometry & Topology, 22(2):645–691, 2018
2018
-
[32]
Geometric representations of graded and rational Cherednik algebras
Alexei Oblomkov and Zhiwei Yun. Geometric representations of graded and rational Cherednik algebras. Adv. Math., 292:601–706, 2016
2016
-
[33]
The cohomology ring of certain compactified Jacobians
Alexei Oblomkov and Zhiwei Yun. The cohomology ring of certain compactified Jacobians. arXiv preprint arXiv:1710.05391, 2017
2017 arXiv
-
[34]
The elliptic Hall algebra, Cherednik Hecke algebras and Macdonald poly- nomials
Olivier Schiffmann and Eric Vasserot. The elliptic Hall algebra, Cherednik Hecke algebras and Macdonald poly- nomials. Compos. Math., 147(1):188–234, 2011
2011
-
[35]
The elliptic Hall algebra and the K-theory of the Hilbert scheme of A2
Olivier Schiffmann and Eric Vasserot. The elliptic Hall algebra and the K-theory of the Hilbert scheme of A2. Duke Math. J. , 162(2):279, 2013
2013
-
[36]
Lectures on Springer theories and orbital integrals
Zhiwei Yun. Lectures on Springer theories and orbital integrals. In Geometry of moduli spaces and representation theory, volume 24 of IAS/Park City Math. Ser. , pages 155–215. Amer. Math. Soc., Providence, RI, 2017
2017
-
[37]
An introduction to affine Grassmannians and the geometric Satake equivalaence
Xinwen Zhu. An introduction to affine Grassmannians and the geometric Satake equivalaence. IAS/Park City Mathematics Series , pages 59–154, 2017. Department of Mathematics, Colorado State University, Fort Collins, CO 80523, USA Email address : maria.gillespie@colostate.edu Dep...
2017
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.