pith. sign in

arxiv: 2404.02846 · v4 · submitted 2024-04-03 · 🧮 math.RT · math.AG

On the Springer correspondence for wreath products

You-Hung Hsu , Chun-Ju Lai This is my paper

Pith reviewed 2026-05-24 02:28 UTC · model grok-4.3

classification 🧮 math.RT math.AG
keywords wreath productSpringer correspondenceClifford theorySteinberg varietyBorel-Moore homologyBruhat decompositionWeyl groupstype A geometry
0
0 comments X

The pith

The wreath product Σ_m wr Σ_d has its irreducible representations identified geometrically with isotypic components of unconventional Springer fibers using type A geometry.

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

The paper constructs a Bruhat decomposition for the wreath product of symmetric groups and shows it corresponds to a Bialynicki-Birula decomposition on varieties with circle actions. It then builds a Steinberg variety whose top Borel-Moore homology realizes the group algebra of the wreath product as a subalgebra. This setup produces a Springer-type correspondence that links the representations to components of certain Springer fibers in type A geometry, offering a geometric version of Clifford theory. This approach also produces Springer correspondences for the Weyl groups of types B, C, and D using only type A methods.

Core claim

By constructing a Steinberg variety whose top Borel-Moore homology contains the group algebra of the wreath product Σ_m wr Σ_d as a proper subalgebra, the authors establish a geometric Springer correspondence. This correspondence identifies the irreducible representations of the wreath product with isotypic components of unconventional Springer fibers, providing the first geometric counterpart to algebraic Clifford theory and yielding new Springer correspondences for Weyl groups of type B/C/D via type A geometry.

What carries the argument

The Steinberg variety constructed using the Bruhat decomposition indexed by the wreath product, whose top Borel-Moore homology realizes the group algebra as a proper subalgebra.

If this is right

  • The irreducible representations of Σ_m wr Σ_d are realized as isotypic components of Springer fibers.
  • A geometric analog of Clifford theory is obtained for the first time.
  • Springer correspondences for Weyl groups of types B, C, D are obtained using type A geometry.

Where Pith is reading between the lines

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

  • This method might allow explicit computation of representation characters using geometric invariants of the fibers.
  • Similar geometric constructions could be explored for other wreath products or complex reflection groups.
  • The unconventional Springer fibers may exhibit new topological features not present in classical cases.

Load-bearing premise

The top Borel-Moore homology of the constructed Steinberg variety realizes the group algebra Q[Σ_m wr Σ_d] as a proper subalgebra.

What would settle it

Computing the top Borel-Moore homology of the Steinberg variety and finding that it does not realize the group algebra as a subalgebra with matching representation theory would falsify the geometric realization.

read the original abstract

We establish a Bruhat decomposition indexed by the wreath product $\Sigma_m\wr \Sigma_d$ between two symmetric groups -- note that $\Sigma_m\wr \Sigma_d$ is not a Coxeter group in general. We show that such a decomposition affords a geometric variant in terms of the Bialynicki-Birula decomposition for varieties with $\mathbb{C}^*$-actions. Next, we construct a Steinberg variety whose top Borel-Moore homology realizes the group algebra $\mathbb{Q}[\Sigma_m\wr \Sigma_d]$ as a proper subalgebra. Such a geometric realization leads to a Springer-type correspondence which identifies the irreducible representations of $\Sigma_m\wr \Sigma_d$ with isotypic components of certain unconventional Springer fibers using type A geometry. In other words, we obtain a geometric counterpart of the (algebraic) Clifford theory, for the first time. Consequently, we obtain a new Springer correspondence of Weyl groups of type B/C/D using essentially type A geometry.

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

Summary. The paper establishes a Bruhat decomposition indexed by the wreath product Σ_m wr Σ_d (not a Coxeter group in general), interprets it geometrically via the Bialynicki-Birula decomposition for varieties with C*-actions, constructs a Steinberg variety whose top Borel-Moore homology realizes Q[Σ_m wr Σ_d] as a proper subalgebra, and uses this to define a Springer-type correspondence identifying the irreducible representations of the wreath product with isotypic components of unconventional Springer fibers via type A geometry. This yields a geometric version of Clifford theory and new Springer correspondences for Weyl groups of types B/C/D.

Significance. If the central homology realization holds with the claimed embedding, the work would provide a novel geometric realization of Clifford theory for wreath products and extend Springer theory beyond Coxeter groups using only type A varieties, which is a substantive contribution to geometric representation theory.

major comments (1)
  1. [Steinberg variety construction (abstract and relevant sections)] Abstract and Steinberg variety construction: the claim that the top Borel-Moore homology of the constructed Steinberg variety realizes Q[Σ_m wr Σ_d] as a proper subalgebra is load-bearing for the entire Springer correspondence, yet the description supplies no explicit basis, dimension count, or verification of the algebra embedding. Because the wreath product is not Coxeter, the usual properties of Steinberg varieties do not apply automatically, so this step requires detailed justification to support the isotypic-component identification.
minor comments (1)
  1. [Abstract / Introduction] The term 'unconventional Springer fibers' is used in the abstract without an immediate definition or reference to the precise variety; adding a brief definition or forward reference in the introduction would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for stronger verification of the Steinberg variety construction. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract and Steinberg variety construction: the claim that the top Borel-Moore homology of the constructed Steinberg variety realizes Q[Σ_m wr Σ_d] as a proper subalgebra is load-bearing for the entire Springer correspondence, yet the description supplies no explicit basis, dimension count, or verification of the algebra embedding. Because the wreath product is not Coxeter, the usual properties of Steinberg varieties do not apply automatically, so this step requires detailed justification to support the isotypic-component identification.

    Authors: We agree that the current exposition of the Steinberg variety requires additional explicit verification to confirm the embedding of Q[Σ_m wr Σ_d] as a subalgebra of the top Borel-Moore homology, particularly since the wreath product is not Coxeter. In the revised manuscript we will add: (i) an explicit basis for the top homology given by the fundamental classes of the irreducible components, indexed directly by the elements of Σ_m wr Σ_d via the Bruhat decomposition constructed in Section 2; (ii) a dimension count showing that this basis has cardinality equal to |Σ_m wr Σ_d|; and (iii) a direct verification that the convolution product on the Steinberg variety restricts to the group-algebra multiplication on this subspace. These additions will appear in the section describing the Steinberg variety and will rely on the Bialynicki-Birula decomposition already established earlier in the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; geometric construction from type A objects to wreath product algebra realization

full rationale

The paper's derivation begins with an explicit construction of a Bruhat decomposition indexed by Σ_m wr Σ_d (not a Coxeter group), followed by a Bialynicki-Birula decomposition for C*-actions and a Steinberg variety built from these geometric objects. The top Borel-Moore homology is then asserted to contain Q[Σ_m wr Σ_d] as a subalgebra, yielding the Springer correspondence via isotypic components. No step reduces by definition to its own output, no parameters are fitted and relabeled as predictions, and no load-bearing uniqueness theorem or ansatz is imported via self-citation. The central homology claim is presented as a direct consequence of the constructed variety rather than an input, rendering the chain self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard tools from algebraic geometry and representation theory. No free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Bialynicki-Birula decomposition applies to varieties with C*-actions and affords a geometric variant of the Bruhat decomposition.
    Invoked immediately after the algebraic Bruhat decomposition statement.
  • domain assumption Top Borel-Moore homology of the Steinberg variety contains the group algebra as a proper subalgebra.
    Central to the geometric realization step.

pith-pipeline@v0.9.0 · 5692 in / 1255 out tokens · 26020 ms · 2026-05-24T02:28:25.667289+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Quantum wreath products and Schur--Weyl duality II

    math.RT 2025-11 unverdicted novelty 7.0

    The authors define wreath modules for quantum wreath products that recover and unify simple modules over Ariki-Koike algebras, Specht modules over Hu algebras, and spherical modules over affine Hecke algebras while so...

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    Ariki and K

    S. Ariki and K. Koike, A Hecke Algebra of ( Z /r Z ) S_n and Construction of Its Irreducible Representations , Adv. in Math., 106 , no.2, (1994), 216--243

    work page 1994

  2. [2]

    Bialynicki-Birula, Some theorems on actions of algebraic groups , Ann

    A. Bialynicki-Birula, Some theorems on actions of algebraic groups , Ann. of Math. 98 no.2 (1973) 480--497

    work page 1973

  3. [3]

    Brou\'e, G

    M. Brou\'e, G. Malle, and R. Rouquier. Complex reflection groups, braid groups, Hecke algebras , J. reine angew. Math., 500 (1998) 127--190

    work page 1998

  4. [4]

    Chriss and V

    N. Chriss and V. Ginzburg, Representation theory and complex geometry . Birkhauser Boston, MA (1997)

    work page 1997

  5. [5]

    Ceccherini-Silberstein, F

    T. Ceccherini-Silberstein, F. Scarabotti, and F. Tolli, Representation Theory and Harmonic Analysis of Wreath Products of Finite Groups . London Mathematical Society Lecture Note Series. Cambridge University Press, 2014

    work page 2014

  6. [6]

    C. W. Curtis and L. Reiner, Methods of representation theory, I , New York:Wiley-Interscience, 1981

    work page 1981

  7. [7]

    Ginzburg, g -Modules, Springer's representations and bivariant Chern classes , Adv

    V. Ginzburg, g -Modules, Springer's representations and bivariant Chern classes , Adv. Math., 64 (1986) 1--48

    work page 1986

  8. [8]

    Hu, A Morita equivalence theorem for Hecke algebra H_q(D_n) when n is even , Manuscripta Math

    J. Hu, A Morita equivalence theorem for Hecke algebra H_q(D_n) when n is even , Manuscripta Math. (2002), 409 -- 430

    work page 2002

  9. [9]

    Iwahori, Generalized Tits system(Bruhat decomposition) on p -adic semisimple groups , Publ

    N. Iwahori, Generalized Tits system(Bruhat decomposition) on p -adic semisimple groups , Publ. Math. Inst. Hautes Etudes Sci. 25 (1965), 5--48

    work page 1965

  10. [10]

    Kashiwara and T

    M. Kashiwara and T. Tanisaki, The characteristic cycles of holonomic systems on a flag manifold , Invent. Math. 77 (1984) 185--198

    work page 1984

  11. [11]

    Kazhdan and G

    D. Kazhdan and G. Lusztig, Proof of the D eligne- L anglands conjecture for H ecke algebras , Invent. Math., 87 , (1987) 153--p215

    work page 1987

  12. [12]

    C. Lai, D. K. Nakano and Z. Xiang, Quantum Wreath Products and Schur-Weyl Duality I , Forum Math. Sigma , 34 pages (to appear)

    work page

  13. [13]

    Li Quasi-split symmetric pairs of sl _n( C ) and S teinberg varieties of classical type , Represent

    Y. Li Quasi-split symmetric pairs of sl _n( C ) and S teinberg varieties of classical type , Represent. Theory, 25 (2021), 903--934

    work page 2021

  14. [14]

    Lusztig, A class of irreducible representations of a W eyl group , Proc

    G. Lusztig, A class of irreducible representations of a W eyl group , Proc. Kon. Nederl. Akad. 82 , (1979) 323--335

    work page 1979

  15. [15]

    Lusztig, G reen polynomials and singularities of unipotent classes , Invent

    G. Lusztig, G reen polynomials and singularities of unipotent classes , Invent. Math. 34 no.3 (1976) 201--213

    work page 1976

  16. [16]

    Shoji, On the S pringer representations of the W eyl groups of classical algebraic groups , Comm

    T. Shoji, On the S pringer representations of the W eyl groups of classical algebraic groups , Comm. in Algebra 7 (1979), 1713--1745

    work page 1979

  17. [17]

    Shoji, On the G reen polynomials of classical groups , Invent

    T. Shoji, On the G reen polynomials of classical groups , Invent. Math. 74 (1983), 239--267

    work page 1983

  18. [18]

    T. A. Springer, Trigonometric sums, G reen functions of finite groups and representations of W eyl groups , Invent. Math. 36 (1976) 173--207

    work page 1976

  19. [19]

    T. A. Springer, A construction of representations of W eyl groups , Invent. Math. 44 (1978) 279--293

    work page 1978

  20. [20]

    Stroppel and A

    C. Stroppel and A. Wilbert, Two-block Springer fibers of types C and D: a diagrammatic approach to Springer theory , Math. Z. 292 (2019), 1387--1430

    work page 2019