Pith. sign in

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 →

arxiv 2501.00197 v1 pith:OWBUI4M3 submitted 2024-12-31 math.CO math.AG

classification math.COmath.AG MSC 05E0505E1014M1514F43
keywords DeltaConjectureaffineSpringerfibersRationalShuffleTheoremBorel-MoorehomologyparkingfunctionsSchurskewingoperatorflagvarietiesgradedFrobeniuscharacter
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

This paper proves that the $\Delta$ Conjecture, a central combinatorial formula for the symmetric function $\mathrm{rev}_q\,\omega \Delta'_{e_{k-1}}e_n$, is a statement about the homology of an explicitly defined variety. The authors introduce the affine $\Delta$-Springer fiber $Y_{n,k}$, cut out from an affine Springer fiber by a union of Schubert cells and a Jordan-type bound, and show that its Borel-Moore homology carries an $S_n$ action and a bigrading whose graded Frobenius character is exactly that symmetric function. A companion variety $X_{n,k}$ gives the same geometric treatment of the $(K,k)$ Rational Shuffle Theorem, and a geometric skewing formula transfers one character to the other. If correct, the construction makes the $\Delta$ Conjecture a concrete homology computation and a source of representation-theoretic structure behind the formula.

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)$.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

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)
  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)
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [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

0 steps flagged · score 2.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on three kinds of inputs: standard Springer theory, external proven theorems (Rational Shuffle Theorem, Delta Conjecture proofs), and the authors' own prior results [10,11]. No free parameters are fitted to data: the parameter N stabilizes for N >= k and is not a fitted constant. The new varieties X_{n,k} and Y_{n,k} are explicitly constructed geometric objects with derived properties, not ad hoc postulated entities introduced to force the output.

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.
    External theorem used in the proof of Theorem 1.6 (Section 6.2) to identify the bigraded Frobenius character of H^BM_*(X_{n,k}) with rev_q omega(E_{K,k} . 1). Not re-proved here.
  • 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).
    Key algebraic input for Theorem 1.6(b); cited from [10] and proved there using elliptic Hall algebra and shuffle algebra identities. The paper does not re-derive it.
  • standard math Borho-MacPherson theory of partial resolutions of the nilpotent cone, including semismall maps and the Decomposition Theorem for perverse sheaves.
    Foundation for the Springer actions and the geometric skewing formula in Section 5; cited as [5] and used without proof.
  • domain assumption [11, Lemma 3.4] on the rational smoothness of O_y over the relevant locus.
    External result from the first and third authors' earlier work; needed for Lemma 5.12 and hence for the W^P action on H^BM_*(Y_{n,k}).
  • standard math Characteristic-zero base field C and the classical Borel-Moore homology with affine paving framework.
    Throughout the paper; all varieties are over C and homology groups are taken with Q coefficients.

how reviews work

0 comments
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 reproduced from arXiv: 2501.00197 by the authors.

Figure 1
Figure 1. Examples of (3, 3) and (6, 3) parking functions Theorem 1.6. (a) For all N ≥ k, the space Yn,k = Yn,k,N does not depend on N, and its Borel-Moore homology admits an action of Sn such that q ( k−1 2 )(n−k)Frob(HBM ∗ (Yn,k); q, t) = s ⊥ λ′ Frob(HBM ∗ (Xn,k); q, t) where λ ′ = (n − k) k−1 . (b) We have Frob HBM ∗ (Yn,k); q, t = revq ω(∆′ ek−1 en), where the q parameter keeps track of homological degree and the t gradi… view at source ↗
Figure 2
Figure 2. Ranks for (K, k) = (12, 4) some j with 1 ≤ j < k since x and a are on the same diagonal. Then b is either equal to x + k or x + k + 1, so a < b ≤ a + k. We now show that if two squares do not form an attacking pair, then one of the inequalities is not satisfied. If a is to the right of b in its diagonal, or left of b in one higher diagonal, the inequality a < b is not satisfied by the cases above. So we can assume t… view at source ↗
Figure 3
Figure 3. At left, computing pathdinv of the red path D as the number of boxes marked with ∗, whose arm and leg satisfy the conditions of Lemma 2.16. We there￾fore have pathdinv(D) = 9. The remaining figures show the three types of comple￾mentary boxes as used in the proof of Lemma 2.17. • Below D: We mark these boxes with a ◦. • Above D, “too high”: These squares b have leg(b) ≥ s · arm(b) + s, in other words, their leg is t… view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: The map F that shrinks a (K, k)-parking function to a stacked parking function by removing the big labels. Here k = 3 and n = 6, so K = 9. One can define the analogues of area and dinv statistics for stacked parking functions. These appear in the Delta Theorem, but we …
Figure 5
Figure 5. Figure 5: The labeled rational Dyck path π corresponding to ωπ = [1, 5, 11, 16, 6, 9, 20, 10, 12, 14, 15, 19]. The ranks are in bold to the left of the Dyck path, and the parking function is to the right of the path. Definition 3.7. An inversion of an affine permutation ω is a p…
Figure 6
Figure 6. Figure 6: We have γ(x) = ω(j) + mK = ω(j + mK), so that ω −1 (γ(x)) = j + mK. If m = 0, then ω −1 (γ(x)) = j > i = ω −1 (x) by the parking function condition. If m > 0, then j +mK > K ≥ i, so again we have ω −1 (γ(x)) > ω−1 (x). Finally, for x = ω(i) in the top row we have γ(x) …
Figure 7
Figure 7. Figure 7: The staircase diagram of the fixed point ϵ λwI − in Xn,k,N = Spγ ∩ C in the case when n = 6, k = 4, K = 12, N is arbitrary and where λ = (0, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0) and w = [1, 5, 11, 4, 6, 9, 8, 10, 12, 2, 3, 7]. One can visualize the T-fixed point of Xn,k,N …

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A proof of the Fields Conjectures

    math.CO 2025-05 accept novelty 8.0 of 10

    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

37 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [10]

    Maria Gillespie, Eugene Gorsky, and Sean T. Griffin. A combinatorial skewing formula for the Rise Delta Theorem. arXiv:2408.12543, 2024

  2. [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

  3. [1]

    Pramod N. Achar. Perverse sheaves and applications to representation theory, volume 258 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2021

  4. [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

  5. [3]

    Seelinger

    Jonah Blasiak, Mark Haiman, Jennifer Morse, Anna Pun, and George H. Seelinger. A proof of the extended delta conjecture. Forum Math. Pi , 11:Paper No. e6, 28, 2023

  6. [4]

    Seelinger

    Jonah Blasiak, Mark Haiman, Jennifer Morse, Anna Pun, and George H. Seelinger. A shuffle theorem for paths under any line. Forum Math. Pi , 11:Paper No. e5, 38, 2023

  7. [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

  8. [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

Show all 37 references
  1. [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

  2. [8]

    Affine Schubert calculus and double coinvariants

    Erik Carlsson and Alexei Oblomkov. Affine Schubert calculus and double coinvariants. arXiv preprint arXiv:1801.09033, 2018

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [24]

    G. Lusztig. Green polynomials and singularities of unipotent classes. Adv. Math., 42:169–178, 1981

  17. [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

  18. [26]

    The P = W conjecture for GLn

    Davesh Maulik and Junliang Shen. The P = W conjecture for GLn. arXiv preprint arXiv:2209.02568 , 2022

  19. [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

  20. [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

  21. [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

  22. [30]

    The shuffle algebra revisited

    Andrei Negut. The shuffle algebra revisited. Int. Math. Res. Not. IMRN , (22):6242–6275, 2014

  23. [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

  24. [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

  25. [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

  26. [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

  27. [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

  28. [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

  29. [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...

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.