Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Lusztig's special pieces conjecture

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The special pieces conjecture is true: every special nilpotent piece is a quotient of a smooth variety by a finite group.

desk verdict First proof of Lusztig's conjecture for exceptional types, with a clean conceptual proof—but one theorem is stated too broadly and the second construction has a sparse computational tail. read the letter →

arxiv 2607.15406 v2 pith:MAMGFNKY submitted 2026-07-16 math.RT math.AG

Daniel Juteau , Paul Levy , Eric Sommers , Shilin Yu This is my paper · ORCID
classification math.RTmath.AG MSC 17B0814L30
keywords specialnilpotentorbitpiecesmoothquotientconetransverseslicefundamentalgroupcoveringspaceaffinization
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

The paper proves the special pieces conjecture: in the nilpotent cone of a simple Lie algebra, each special piece—the stratum attached to a special nilpotent orbit—is the quotient of a smooth algebraic variety by a finite group. The group is intrinsic: it is the image of the fundamental group of the regular part of a transverse slice to the minimal orbit in the piece, injected into the orbit's fundamental group. The proof works through coverings of the orbit and an explicit construction of the smooth variety as an orbit closure inside a sum of fundamental weight representations. A stronger 'if and only if' criterion identifies exactly which coverings yield smooth pieces, and the paper settles the conjecture in exceptional Lie algebras while giving new proofs in the classical types.

What carries the argument

The load-bearing object is the finite group H(O), realized as the image of the fundamental group of the regular locus of the transverse slice to the minimal orbit in the piece, injected into π1(O). The proof leverages a local slice isomorphism S ≃ V/H (established in earlier work) and the newly proved injectivity of the induced map of fundamental groups; coverings of the orbit then yield global smoothness through a geometric criterion for the preimage of the slice. The explicit construction uses highest-weight modules that realize the irreducible representations of the component group.

What would settle it

Check, for a special nilpotent orbit in an exceptional group (for example E8(a7) or F4(a3)), whether the fundamental group of the regular part of the slice to the minimal orbit injects into π1(O); if it does not, Corollary 1.9 fails and Theorem 2.7 with it. Alternatively, test the claimed smoothness criterion by confirming that for two different subgroups K with trivial intersection with H(O), the preimage of the special piece is smooth in one cover and singular in the other.

Watch

Extended reading notes

Core claim

The central claim: for any special nilpotent orbit O and any subgroup K of π1(O), the preimage of the special piece P(O) in the affinized covering eX_K is smooth exactly when K ∩ H(O) = 1; when K is normal and π1(O) is the semidirect product of K and H(O), this preimage is a smooth G-variety whose quotient by π1(O)/K ≃ H(O) is P(O). Thus every special piece is the quotient of a smooth G-variety by a finite group, with the minimal orbit covered by a single point. The paper also constructs explicit smooth models as closures of G-orbits in g ⊕ V, where V is a sum of fundamental weight representations.

Load-bearing premise

The main theorem rests on the injectivity of the map from the fundamental group of the regular part of the slice into the fundamental group of the orbit; in the exceptional cases this is verified case-by-case in a table, with the five hardest cases relying on earlier classification results without a fully written proof.

Editorial extensions

If this is right

  • The special pieces conjecture is true for all simple Lie algebras: each special piece is a quotient of a smooth G-variety by a finite group.
  • The singular locus of the affinization of the universal cover of certain nilpotent orbits has codimension at least six, yielding a uniform construction of special unipotent representations.
  • There can be several non-isomorphic smooth G-varieties solving the conjecture; in the classical groups the count is 2^{|J|(ℓ−1−|J|)}.
  • The intrinsic description of H(O) as a fundamental-group image coincides with the group built from families of Weyl-group characters in the appendix.

Reading between the lines

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

  • The injectivity criterion behind the main theorem is likely to hold for a broader class of nilpotent degenerations in the classical types; the paper already notes extensions to non-special pieces, so one could test predictively which partition operations preserve smoothness.
  • The explicit orbit-closure models in g ⊕ V may connect to quiver gauge theory Coulomb branches: in the exceptional S5 case the paper raises the question of whether the preimage of a certain slice is the conjectural smooth space C5; computing Hilbert series of the coordinate ring could identify the minimal representation sum needed to make the model normal.
  • The contrast between uniqueness of the solution in exceptional adjoint groups and multiplicity in classical groups suggests the number of solutions is governed by the abelian structure of π1(O); the metaplectic type C′ case offers a further test where the component group is not always a quotient of the adjoint group.
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

3 major / 5 minor

Summary. The paper proves Lusztig's special pieces conjecture for all simple Lie algebras over C: for every special nilpotent orbit O, the special piece P(O) is the quotient of a smooth G-variety by the finite group H(O). The first proof (§2) is conceptual, deducing the global statement from the local slice theorem of [FJLS24] using a covering argument and the injectivity of i_pi: pi_1(S^{reg}) → pi_1(O). The second proof (§3) constructs explicit smooth covers as orbit closures in g ⊕ V, with case-by-case verification for classical and exceptional groups. An appendix identifies the group H(O) with Lusztig's G'_c via Springer correspondence and u-symbols.

Significance. If correct, this settles a long-standing conjecture of Lusztig, unifies the classical results of Kraft–Procesi with the exceptional cases, and provides a new explicit construction of the covering varieties. The conceptual reduction from local to global in §2 is elegant and is the first argument that works uniformly for all types modulo the slice theorem. The paper also correctly observes that the solution is not unique and gives a precise count of possible K in the classical case. The appendix provides a detailed combinatorial verification that the group H(O) attaches to Lusztig's canonical quotient, which is valuable independent of the main conjecture. The main weaknesses are a false statement in Theorem 2.7 for non-normal K and incomplete details in the exceptional case analysis, both of which need repair before the claims can be accepted.

major comments (3)
  1. [Theorem 2.7 and Corollary 2.4] Theorem 2.7's first sentence ('eP_K is smooth if and only if K ∩ H(O) = 1') is false for non-normal K. Corollary 2.4 actually proves a different criterion: smoothness of eS — hence of eP_K — is equivalent to gKg^{-1} ∩ H_π = 1 for every g ∈ π_1(O). The proof of Corollary 2.4 incorrectly asserts that K_g = i_π^{-1}(gKg^{-1} ∩ H_π) equals i_π^{-1}(1) when i_π is injective; in fact K_g = 1 requires the intersection to be contained in ker i_π, which under injectivity indeed forces gKg^{-1} ∩ H_π = 1, but the stated equivalence is not the one proved. Example 4.1(c) is exactly a configuration where K ∩ H(O) = 1 for a non-normal K, yet some conjugate of K equals H(O), producing a singular component V/H_π in eP_K. The main theorem's second part requires K normal, so that part is unaffected, but the theorem as stated must be corrected (e.g., replace the condition by 'gKg^{-1} ∩ H(O) = 1 for all g
  2. [Proposition 1.7 and Corollary 1.9] The injectivity of i_π — a load-bearing hypothesis for Corollary 2.4 and Theorem 2.7 — is not fully proved in the exceptional groups. Proposition 1.7 is verified by Table 1, but the five hard cases (F4: B2; E8: 2A3, D6(a2), A7, D7) are dismissed in a short paragraph saying 'we need to show that Q ≃ SL2 or SL2 × SL2' and then asserting the conclusion. The arguments for the F4 case and the E8 cases are not written out at a level that allows verification; they cite [Som98] and [LT11] but do not provide the actual computations or the relevant centralizer data. Since a failure in any of these cases would invalidate the injectivity claim and hence the global smoothness criterion, the proof is incomplete as written. The authors should supply full details, or at least a precise computational script (e.g., in GAP or Sage) that verifies the five cases.
  3. [Section 3.5 (S4 and S5 special pieces)] The second construction of the smooth cover in the two hardest cases, F4(a3) and E8(a7), is only sketched. The text states that computations are 'straightforward' or 'can be verified computationally', but no computational data, code, or complete parameterization is provided. Given that the authors themselves describe these cases as 'the most recalcitrant' and requiring 'brute force computation' in [FJLS24], the current level of detail is insufficient for a proof in a research paper. The referee cannot verify that the map from h3 ⊕ h3* to S is an isomorphism, nor that the degree arguments establish smoothness. The authors should either include the full computation, an appendix with the key ingredients, or make the code/data publicly available.
minor comments (5)
  1. [§1.1] In the paragraph after the definition of H(O), the notation 'eS' is introduced but the subscript K is later dropped; it would help to consistently write eS_K and eS_K^∘ to avoid confusion in Propositions 2.2 and 2.3.
  2. [§2.1, Proposition 2.2(5)] The phrase 'π_K maps each irreducible component of eS surjectively to a unique irreducible component of S' — the target should be a component of S, but the proposition later refers to components of S as if S is necessarily irreducible; since S is irreducible in the applications this is fine, but the statement should clarify.
  3. [§2.1, Proposition 2.5] Part (2) of Proposition 2.5 states that i_π is an isomorphism; the proof is correct but depends on the choice of base point and slice. The notation π|_{O'} in part (4) is awkward: π^{-1}(O') is used, and part (5) talks about smoothness at points over O'; consider rewording for clarity.
  4. [§3.3, Table 2] The table has a column 'λ+' and a column 'λ+ in C_i[eO]'; it would help to define precisely what the bold-face entries indicate and how the degrees are computed, since the smoothness argument depends on these degrees.
  5. [Appendix A.2] There are several typos: 'classicla', 'desribed', 'staricases' should be fixed. Also the definition of 'congruent' symbols is clear but the notation for the shifting operations S is overloaded; consider a different symbol.

Circularity Check

0 steps flagged · score 2.0 of 10

No meaningful circularity: the paper derives the global special-pieces statement from the independent local slice theorem of [FJLS24]; self-citation is heavy but not a restatement of the target. The skeptical objection to Theorem 2.7 is a non-circular correctness gap.

full rationale

The derivation chain is: local slice theorem S ≃ V/H from [FJLS24] (same three authors plus Fu) → injectivity of iπ (Corollary 1.9, proven here via Proposition 1.7 and Table 1) → Corollary 2.4 → Theorem 2.7. The [FJLS24] local theorem is the main load-bearing input and is a self-citation, but it does not contain the global conjecture; it is a separate parameter-free statement about the local geometry of special pieces, supported by independent computations in classical and exceptional cases. Nothing is fitted to the target: the subgroups K are genuinely free complements and the smooth variety eP_K is constructed from covers π_K, not reverse-engineered from P(O). The appendix's identification of H(O) with Lusztig's G'_c is a proved matching, not a renaming of the conjecture. Two caveats are noted but are not circularity: (1) Corollary 1.9's exceptional-case verification is only sketched via [Som98]/[LT11], so if those cases fail the theorem would fail, but that is missing justification, not input-output equivalence; (2) the skeptic's point that Corollary 2.4 requires gKg^{-1}∩Hπ=1 for all g while Theorem 2.7 states only K∩H(O)=1 is a likely logical gap in the 'if and only if' (especially with the paper's own non-normal examples), but again it is an inference error, not a reduction of the conclusion to its premises. Hence the central claim has independent content.

Assumptions & free parameters 1 free parameters · 4 assumptions · 2 invented entities

The central result is grounded in the local slice theorem of [FJLS24] (self-cited prior work by three of the four authors) and a long sequence of case checks. There are no fitted numerical parameters; the only free choices are subgroups K, whose multiplicity the paper itself counts. The invented varieties eX_K and \hatX_K are constructed and proven smooth, not postulated.

free parameters (1)
  • Choice of subgroup K ⊆ π1(O) = any K with K∩H(O)=1 and [π1(O):K]=|H(O)|; 2^{|J|(ℓ−1−|J|)} choices in classical types
    The theorem holds for every such K; the explicit variety \hatX_K depends on this choice. This is a genuine free choice in the construction, not a number fitted to data.
assumptions (4)
  • domain assumption Local slice theorem of [FJLS24]: for a special orbit O, the Slodowy slice S from the minimal orbit Om to O is isomorphic to V/H with H acting linearly symplectically, with the freeness/codimension properties used in §2.
    Used as the main input for the conceptual proof in §2. This is prior work by three of the four authors plus B. Fu, not re-proven here.
  • ad hoc to paper Proposition 1.7 case-by-case verification for exceptional groups (Table 1): existence of pseudo-Levi subgroup M and elements e,x with the stated slice forms, verified using [Som98] and [LT11].
    Established in the paper by table and case analysis, not a fully written derivation for every exceptional case; load-bearing for Corollary 1.9's injectivity of iπ.
  • domain assumption Normality of special pieces P(O) (proved in [FJLS24] for exceptional, [KP82] for classical types).
    Used in the introduction and §2 to ensure ν is an isomorphism on the preimage of P(O); not re-derived here.
  • standard math Finiteness and equality of topological and étale fundamental groups for the regular loci involved, citing [Bra].
    Allows treating π1(S reg) ≃ H as a finite group; standard in this setting.
invented entities (2)
  • The smooth cover eP_K(O) independent evidence
    purpose: A G-variety whose quotient by H(O) is P(O); the solution to Lusztig's conjecture.
    Defined as the preimage of P(O) in the affinization eX_K; existence is proven. Independent evidence: in classical types it reproduces the Kraft–Procesi cover; in exceptional types H(O) matches Achar–Sage/Lusztig's G_c.
  • The orbit-closure model \hatX_K independent evidence
    purpose: An explicit subvariety of g ⊕ U whose normalization is eX_K; used to prove smoothness by showing preimages of slices are affine spaces.
    Constructed as the closure of G·(e,u) in g ⊕ V(Y_i); smoothness of \hatP(O) is proven in Theorem 3.4 for classical types and case-checked for exceptional types. It is a concrete algebraic variety, not a postulate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lusztig's special pieces conjecture." pith.science (2026). https://pith.science/paper/MAMGFNKY

@misc{pith2026260715406,
  author       = {Pith},
  title        = {Pith review of: Lusztig's special pieces conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MAMGFNKY}},
  note         = {Machine review of arXiv:2607.15406}
}
abstract

Let $\mathcal O$ be a special nilpotent orbit in the Lie algebra $\mathfrak g$ of a simple algebraic group $G$. We give two proofs of the result that every special piece ${\mathcal P}(\mathcal O)$ in $\mathfrak g$ is the quotient of a smooth $G$-variety $X$ by the action of a certain finite group $H$. We first deduce the result from a similar result for transverse slices, established in earlier work of the first three authors and Fu. Then we give a more explicit construction of $X$, as a subvariety of the closure of a $G$-orbit in the direct sum of $\mathfrak g$ and some fundamental weight representations of $G$. Both methods apply to classical $\mathfrak g$, where we give new proofs of this result, which was first proved by Kraft and Procesi. The result in the exceptional groups was conjectured by Lusztig. Our first proof shows that there can be several $G$-varieties $X$ that satisfy the conjecture, related to a natural embedding of $H$ in the fundamental group of $\mathcal O$. In an appendix, we relate this natural embedding to Lusztig's definition of $H$ that arises from the family in the Weyl group of $G$ attached to $\mathcal O$ and from the Springer correspondence.

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. Special unipotent representations and the coadjoint orbit method

    math.RT 2026-07 conditional novelty 7.0 of 10

    Special unipotent representations attached to quasi-distinguished nilpotent orbits are classified by admissible orbit data and proved unitarizable.

Reference graph

Works this paper leans on

111 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    , title =

    Adams, Jeffrey and Barbasch, Dan and Vogan, Jr., David A. , title =. 1992 , pages =. doi:10.1007/978-1-4612-0383-4 , url =

    doi:10.1007/978-1-4612-0383-4 1992

  2. [2]

    Lie group representations,

    Arthur, James , title =. Lie group representations,. 1984 , mrclass =. doi:10.1007/BFb0073144 , url =

    doi:10.1007/bfb0073144 1984

  3. [3]

    Arthur, James , title =. Ast\'. 1989 , pages =

    1989

  4. [4]

    , TITLE =

    Achar, Pramod N. , TITLE =. Doc. Math. , FJOURNAL =. 2011 , PAGES =. doi:10.1142/s0218202506001388 , URL =

    work page doi:10.1142/s0218202506001388 2011

  5. [5]

    Transformation Groups , author =

    An order-reversing duality map for conjugacy classes in. Transformation Groups , author =. 2003 , keywords =. doi:10.1007/s00031-003-0422-x , language =

    doi:10.1007/s00031-003-0422-x 2003

  6. [6]

    Journal of the Institute of Mathematics of Jussieu , author=

    Supports unipotents de faisceaux caract\`eres , volume=. Journal of the Institute of Mathematics of Jussieu , author=. 2007 , pages=. doi:10.1017/S1474748006000065 , number=

    work page doi:10.1017/s1474748006000065 2007

  7. [7]

    Represent

    Local systems on nilpotent orbits and weighted Dynkin diagrams , volume =. Represent. Theory , author =. 2002 , langid =. doi:10.1090/S1088-4165-02-00174-7 , abstract =

    work page doi:10.1090/s1088-4165-02-00174-7 2002

  8. [8]

    and Sage, Daniel S

    Achar, Pramod N. and Sage, Daniel S. , TITLE =. Adv. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.aim.2008.10.012 , URL =

    work page doi:10.1016/j.aim.2008.10.012 2009

Show all 111 references
  1. [9]

    On special pieces, the Springer correspondence, and unipotent characters , volume =. Amer. J. Math. , author =. 2008 , mrnumber =. doi:10.1353/ajm.0.0019 , pages =

    2008 doi

  2. [10]

    Component groups of centralizers of unipotent elements in semisimple algebraic groups , NOTE =

    Alekseevski. Component groups of centralizers of unipotent elements in semisimple algebraic groups , NOTE =. Akad. Nauk Gruzin. SSR Trudy Tbiliss. Mat. Inst. Razmadze , FJOURNAL =. 1979 , PAGES =

    1979

  3. [11]

    Alvis, Dean and Lusztig, George , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1982 , NUMBER =. doi:10.1017/S0305004100059703 , URL =

    1982 doi

  4. [12]

    , TITLE =

    Andreatta, Marco and Wisniewski, Jaroslaw A. , TITLE =

  5. [13]

    International Mathematics Research Notices , VOLUME =

    Barbasch, Dan and Ma, Jia-Jun and Sun, Binyong and Zhu, Chen-Bo , TITLE =. International Mathematics Research Notices , VOLUME =. 2023 , NUMBER =. doi:10.1093/imrn/rnad097 , URL =

    2023 doi

  6. [14]

    Beauville, Arnaud , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900043 , URL =

    2000 doi

  7. [15]

    A new family of isolated symplectic singularities with trivial local fundamental group , year =

    Bellamy, Gwyn and Bonnaf\'e, C\'edric and Fu, Baohua and Juteau, Daniel and Levy, Paul and Sommers, Eric , journal =. A new family of isolated symplectic singularities with trivial local fundamental group , year =

  8. [16]

    Meurig and Lusztig, George , TITLE =

    Beynon, W. Meurig and Lusztig, George , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1978 , NUMBER =. doi:10.1017/S0305004100055249 , URL =

    1978 doi

  9. [17]

    Meurig and Spaltenstein, Nicolas , TITLE =

    Beynon, W. Meurig and Spaltenstein, Nicolas , TITLE =. J. Algebra , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0021-8693(84)90084-X , URL =

    1984 doi

  10. [18]

    Proceedings of the

    Borho, Walter , TITLE =. Proceedings of the. 1987 , MRCLASS =

    1987

  11. [19]

    Analysis and topology on singular spaces,

    Borho, Walter and MacPherson, Robert , TITLE =. Analysis and topology on singular spaces,. 1983 , MRCLASS =

    1983

  12. [20]

    Fibrations and Hasse diagrams for 6d SCFTs

    Bourget, Antoine and Grimminger, Julius F. Fibrations and Hasse diagrams for 6d SCFTs. JHEP. 2022. doi:10.1007/JHEP12(2022)159. arXiv:2209.15016

    2022 arXiv

  13. [21]

    and Hanany, Amihay and Zhong, Zhenghao

    Bourget, Antoine and Grimminger, Julius F. and Hanany, Amihay and Zhong, Zhenghao. The Hasse diagram of the moduli space of instantons. JHEP. 2022. doi:10.1007/JHEP08(2022)283. arXiv:2202.01218

    2022 arXiv

  14. [22]

    2023 , archiveprefix =

    Bourget, Antoine and Sperling, Marcus and Zhong, Zhenghao , month =. 2023 , archiveprefix =

    2023

  15. [23]

    Higgs branch

    Antoine Bourget and Marcus Sperling and Zhenghao Zhong , year=. Higgs branch. arXiv , primaryClass=:2401.08757 , note=

    arXiv

  16. [24]

    When is the algebra of multisymmetric polynomials generated by the elementary multisymmetric polynomials? , year =

    Briand, Emmanuel , journal =. When is the algebra of multisymmetric polynomials generated by the elementary multisymmetric polynomials? , year =

  17. [25]

    , TITLE =

    Brieskorn, E. , TITLE =. Actes du. 1971 , MRCLASS =

    1971

  18. [26]

    Broer, Abraham , TITLE =. J. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jabr.1998.7458 , URL =

    1998

  19. [27]

    Broer, Abraham , TITLE =. Canad. J. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.4153/CJM-1998-048-6 , URL =

    1998 doi

  20. [28]

    Brylinski, Ranee and Kostant, Bertram , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1992 , NUMBER =. doi:10.1090/S0273-0979-1992-00271-9 , URL =

    1992 doi

  21. [29]

    Brylinski, Ranee and Kostant, Bertram , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2152759 , URL =

    1994 doi

  22. [30]

    Quiver subtractions , volume=

    Cabrera, Santiago and Hanany, Amihay , year=. Quiver subtractions , volume=. J. High Energy Phys. , publisher=. doi:10.1007/jhep09(2018)008 , number=

    2018 doi

  23. [31]

    , TITLE =

    Carter, Roger W. , TITLE =. 1993 , PAGES =

    1993

  24. [32]

    Chaput, Pierre-Emmanuel and Fu, Baohua , TITLE =. Math. Res. Lett. , FJOURNAL =. 2007 , NUMBER =

    2007

  25. [33]

    2010 , PAGES =

    Chriss, Neil and Ginzburg, Victor , TITLE =. 2010 , PAGES =. doi:10.1007/978-0-8176-4938-8 , URL =

    2010 doi

  26. [34]

    Publications Math\'ematiques de l'IH\'ES , pages =

    Grothendieck, Alexander , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1967 , publisher =. doi:10.1007/BF02732123 , zbl =

    1967 doi

  27. [35]

    2001 , note =

    Gan, Wee Liang and Ginzburg, Victor , title =. 2001 , note =. doi:10.48550/arXiv.math/0105225 , url =

    2001 doi arXiv

  28. [36]

    and McGovern, William M

    Collingwood, David H. and McGovern, William M. , TITLE =

  29. [37]

    Monopole operators and Hilbert series of Coulomb branches of 3d N =4 gauge theories

    Cremonesi, Stefano and Hanany, Amihay and Zaffaroni, Alberto. Monopole operators and Hilbert series of Coulomb branches of 3d N =4 gauge theories. JHEP. 2014. doi:10.1007/JHEP01(2014)005. arXiv:1309.2657

    2014 arXiv

  30. [38]

    , TITLE =

    de Graaf, Willem A. , TITLE =. LMS J. Comput. Math. , FJOURNAL =. 2008 , PAGES =

    2008

  31. [39]

    Domokos, M\'. J. Algebra , title =. 2012 , issn =. doi:10.1016/j.jalgebra.2012.01.016 , fjournal =

    2012 doi

  32. [40]

    The normality of closures of conjugacy classes of matrices

    Donkin, Stephen , journal =. The normality of closures of conjugacy classes of matrices. , url =

  33. [41]

    Dynkin, E. B. , TITLE =. Mat. Sbornik N.S. , VOLUME =. 1952 , PAGES =

    1952

  34. [42]

    Fu, Baohua , TITLE =. Adv. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.aim.2006.12.004 , URL =

    2007 doi

  35. [43]

    Internat

    Fu, Baohua , TITLE =. Internat. J. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1142/S0129167X07004187 , URL =

    2007 doi

  36. [44]

    Fu, Baohua , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.matpur.2009.08.010 , URL =

    2010 doi

  37. [45]

    Generic singularities of nilpotent orbit closures , year =

    Fu, Baohua and Juteau, Daniel and Levy, Paul and Sommers, Eric , journal =. Generic singularities of nilpotent orbit closures , year =. doi:10.1016/j.aim.2016.09.010 , fjournal =

    2016 doi

  38. [46]

    Juteau, Daniel and Levy, Paul and Sommers, Eric , TITLE =

  39. [47]

    Uniqueness of crepant resolutions and symplectic singularities , year =

    Fu, Baohua and Namikawa, Yoshinori , journal =. Uniqueness of crepant resolutions and symplectic singularities , year =

  40. [48]

    1971 , PAGES =

    Grothendieck, Alexandre , TITLE =. 1971 , PAGES =

    1971

  41. [49]

    2009 , PAGES =

    Szamuely, Tam\'as , TITLE =. 2009 , PAGES =. doi:10.1017/CBO9780511627064 , URL =

    2009 doi

  42. [50]

    2011 , MONTH =

    Goldstein, Ellen , TITLE =. 2011 , MONTH =

    2011

  43. [51]

    Trends in commutative algebra , SERIES =

    Haiman, Mark , TITLE =. Trends in commutative algebra , SERIES =. 2004 , ISBN =. doi:10.1017/CBO9780511756382.006 , URL =

    2004 doi

  44. [52]

    Actions on the quiver -- Discrete quotients on the

    Amihay Hanany and Guhesh Kumaran and Chunhao Li and Deshuo Liu and Marcus Sperling , note =. Actions on the quiver -- Discrete quotients on the. 2023 , archiveprefix =. 2311.02773 , primaryclass =

    2023 arXiv

  45. [53]

    Magnetic quivers and negatively charged branes

    Hanany, Amihay and Sperling, Marcus. Magnetic quivers and negatively charged branes. JHEP. 2022. doi:10.1007/JHEP11(2022)010. arXiv:2208.07270

    2022 arXiv

  46. [54]

    Discrete gauging in Coulomb branches of three dimensional

    Hanany, Amihay and Zajac, Anton , year=. Discrete gauging in Coulomb branches of three dimensional. J. High Energy Phys. , publisher=. doi:10.1007/jhep08(2018)158 , number=

    2018 doi

  47. [55]

    Hesselink, Wim , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1976 , PAGES =

    1976

  48. [56]

    , TITLE =

    Hinich, V. , TITLE =. Israel J. Math. , FJOURNAL =. 1991 , NUMBER =. doi:10.1007/BF02773843 , URL =

    1991 doi

  49. [57]

    The Action of Component Groups on Irreducible Components of

    Hoang, Do Kien , year = 2024, month = sep, journal =. The Action of Component Groups on Irreducible Components of

    2024

  50. [58]

    , TITLE =

    James, Gordon D. , TITLE =. Journal of Algebra , VOLUME =. 1981 , PAGES =

    1981

  51. [59]

    Lie theory , SERIES =

    Jantzen, Jens Carsten , TITLE =. Lie theory , SERIES =. 2004 , ISBN =

    2004

  52. [60]

    Juteau, Daniel , TITLE =

  53. [61]

    Juteau, Daniel , title =

  54. [62]

    2023 , eprint=

    Minimal special degenerations and duality , author=. 2023 , eprint=

    2023

  55. [63]

    Kraft, Hanspeter , TITLE =. J. Algebra , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0021-8693(89)90313-X , URL =

    1989 doi

  56. [64]

    Inventiones Math

    Kraft, Hanspeter and Procesi, Claudio , TITLE =. Inventiones Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1007/BF01389764 , URL =

    1979 doi

  57. [65]

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

    1981 doi

  58. [66]

    Kraft, Hanspeter and Procesi, Claudio , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF02565876 , URL =

    1982 doi

  59. [67]

    Ast\'erisque , VOLUME =

    Kraft, Hanspeter and Procesi, Claudio , TITLE =. Ast\'erisque , VOLUME =. 1989 , PAGES =

    1989

  60. [68]

    , TITLE =

    Lawther, Ross and Testerman, Donna M. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =

    2011

  61. [69]

    Internat

    LeBrun, Claude , TITLE =. Internat. J. Math. , FJOURNAL =. 1995 , NUMBER =. doi:10.1142/S0129167X95000146 , URL =

    1995 doi

  62. [70]

    The Local Fundamental Group of a

    Braun, Lukas , date =. The Local Fundamental Group of a. doi:10.1007/s00222-021-01062-0 , url =

    doi

  63. [71]

    Paul , journal =

    Levasseur, Thierry and Smith, S. Paul , journal =. Primitive ideals and nilpotent orbits in type. 1988 , issn =. doi:10.1016/0021-8693(88)90214-1 , fjournal =

    1988 doi

  64. [72]

    L. LMS J. Comput. Math. , title =. 2001 , pages =. doi:10.1112/S1461157000000838 , fjournal =

    2001 doi

  65. [73]

    Lusztig, George , TITLE =. Indag. Math. , VOLUME =. 1979 , PAGES =

    1979

  66. [74]

    Lusztig, George , TITLE =. Invent. Math. , VOLUME =. 1981 , PAGES =

    1981

  67. [75]

    , TITLE =

    Lusztig, G. , TITLE =. Invent. Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF01388564 , URL =

    1984 doi

  68. [76]

    Lusztig, George , TITLE =. Adv. in Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1016/0001-8708(86)90071-X , URL =

    1986 doi

  69. [77]

    Notes on unipotent classes , year =

    Lusztig, George , journal =. Notes on unipotent classes , year =

  70. [78]

    and Spaltenstein, N

    Lusztig, G. and Spaltenstein, N. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1979 , NUMBER =. doi:10.1112/jlms/s2-19.1.41 , URL =

    1979 doi

  71. [79]

    and Spaltenstein, N

    Lusztig, G. and Spaltenstein, N. , TITLE =. Algebraic groups and related topics (. 1985 , ISBN =. doi:10.2969/aspm/00610289 , URL =

    1985

  72. [80]

    , title=

    Lusztig, G. , title=

  73. [81]

    , TITLE =

    McGovern, William M. , TITLE =. Algebraic quotients. 2002 , MRCLASS =

    2002

  74. [82]

    , journal =

    McNinch, George J. , journal =. Semisimplicity of exterior powers of semisimple representations of groups , year =. doi:10.1006/jabr.1999.8132 , fjournal =

    1999

  75. [83]

    , journal =

    McNinch, George J. , journal =. Optimal. 2005 , issn =. doi:10.4171/CMH/19 , fjournal =

    2005 doi

  76. [84]

    Namikawa, Yoshinori , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2001 , NUMBER =

    2001

  77. [85]

    Namikawa, Yoshinori , TITLE =. Kyoto J. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1215/21562261-2081270 , URL =

    2013 doi

  78. [86]

    , TITLE =

    Panyushev, Dmitri I. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1991 , NUMBER =. doi:10.1007/BF01085494 , URL =

    1991 doi

  79. [87]

    Projections of the minimal nilpotent orbit in a simple Lie algebra and secant varieties , volume=

    Panyushev, Dmitri , year=. Projections of the minimal nilpotent orbit in a simple Lie algebra and secant varieties , volume=. Math. Proc. Cambridge Philos. Soc. , publisher=. doi:10.1017/S0305004123000348 , number=

    doi

  80. [88]

    Premet, Alexander , title =. J. Algebra , year =. doi:10.1016/S0021-8693(02)00662-2 , fjournal =

    doi

  81. [89]

    Shoji, Toshiaki , TITLE =. Comm. Algebra , FJOURNAL =. 1980 , NUMBER =. doi:10.1080/00927878008822466 , URL =

    1980 doi

  82. [90]

    Shoji, Toshiaki , TITLE =. Comm. Algebra , FJOURNAL =. 1982 , PAGES =

    1982

  83. [91]

    1980 , PAGES =

    Slodowy, Peter , TITLE =. 1980 , PAGES =

    1980

  84. [92]

    Internat

    Sommers, Eric , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1998 , NUMBER =. doi:10.1155/S107379289800035X , URL =

    1998 doi

  85. [93]

    Sommers, Eric , TITLE =. J. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0021-8693(03)00416-2 , URL =

    2003 doi

  86. [94]

    Sommers, Eric , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 2005 , NUMBER =. doi:10.1112/S0024609304003935 , URL =

    2005 doi

  87. [95]

    2001 , month = sep, publisher =

    Eric Sommers , title =. 2001 , month = sep, publisher =

    2001

  88. [96]

    1982 , PAGES =

    Spaltenstein, Nicolas , TITLE =. 1982 , PAGES =

    1982

  89. [97]

    , TITLE =

    Springer, Tonny A. , TITLE =. Invent. Math. , FJOURNAL =. 1976 , PAGES =

    1976

  90. [98]

    , TITLE =

    Springer, Tonny A. , TITLE =. Invent. Math. , FJOURNAL =. 1978 , NUMBER =

    1978

  91. [99]

    and Steinberg, Robert , booktitle =

    Springer, Tonny A. and Steinberg, Robert , booktitle =. Conjugacy classes , year =

  92. [100]

    , journal =

    Stewart, David I. , journal =. On the minimal modules for exceptional. 2016 , number =. doi:10.1112/S1461157016000103 , fjournal =

    2016 doi

  93. [101]

    Wierzba, Jan , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2003 , NUMBER =

    2003

  94. [102]

    Small contractions of symplectic 4-folds , JOURNAL =

    Wierzba, Jan and Wi. Small contractions of symplectic 4-folds , JOURNAL =. 2003 , NUMBER =. doi:10.1215/S0012-7094-03-12013-X , URL =

    2003 doi

  95. [103]

    Normality of orthogonal and symplectic nilpotent orbit closures in positive characteristic , YEAR =

    Xiao, Husileng and Shu, Bin , JOURNAL =. Normality of orthogonal and symplectic nilpotent orbit closures in positive characteristic , YEAR =

  96. [104]

    Birational geometry of symplectic quotient singularities , year =

    Bellamy, Gwyn and Craw, Alastair , journal =. Birational geometry of symplectic quotient singularities , year =. doi:10.1007/s00222-020-00972-9 , fjournal =

    doi

  97. [105]

    Birational geometry for the covering of a nilpotent orbit closure , year =

    Namikawa, Yoshinori , journal =. Birational geometry for the covering of a nilpotent orbit closure , year =. doi:10.1007/s00029-022-00790-2 , fjournal =

    doi

  98. [106]

    2024 , archiveprefix =

    Baohua Fu and Daniel Juteau and Paul Levy and Eric Sommers , title =. 2024 , archiveprefix =. 2308.07398 , note =

    2024 arXiv

  99. [107]

    , journal =

    Sommers, Eric N. , journal =. Irreducible local systems on nilpotent orbits , year =

  100. [108]

    2020 , archiveprefix =

    Dmytro Matvieievskyi , title =. 2020 , archiveprefix =. 2003.09356 , primaryclass =

    2020 arXiv

  101. [109]

    2024 , archiveprefix =

    Ivan Losev and Lucas Mason-Brown and Dmytro Matvieievskyi , title =. 2024 , archiveprefix =. 2108.03453 , primaryclass =

    2024

  102. [110]

    Proceedings of the London Mathematical Society , author =

    Unipotent representations of complex groups and extended Sommers duality , volume =. Proceedings of the London Mathematical Society , author =. 2025 , langid =. doi:10.1112/plms.70035 , pages =

    2025 doi

  103. [111]

    doi:10.48550/ARXIV.2607.20144 , url =

    Special Unipotent Representations and the Coadjoint Orbit Method , author =. doi:10.48550/ARXIV.2607.20144 , url =

    doi arXiv

Pith tools

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