arxiv: 2605.11472 · v1 · submitted 2026-05-12 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Geometric Construction of the McKay-Slodowy Correspondence

Shengyu Hou

Authors on Pith no claims yet

Pith reviewed 2026-05-13 02:07 UTC · model grok-4.3

classification 🧮 math.AG

keywords McKay correspondenceMcKay-Slodowy correspondencefinite subgroups of SL(2,C)quotient singularitiesminimal resolutionexceptional locusinduced representations

0 comments

The pith

For G finite in SL_2(C) with normal H, induced nontrivial irreps from H to G correspond bijectively to the images of exceptional components of the minimal resolution of C^2/H after quotient by G/H.

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

The paper gives a geometric construction that extends the classical McKay correspondence to pairs of groups. It shows that when G is a finite subgroup of SL_2(C) containing a normal subgroup H, the nontrivial irreducible representations of G that are induced from H stand in one-to-one correspondence with the distinct images of the irreducible components of the exceptional locus in the minimal resolution of C^2/H, obtained by pushing those components forward under the quotient action of G/H. The argument proceeds uniformly by geometry rather than by checking individual cases. A reader cares because the construction directly ties induced representation data to the geometry of resolved quotient singularities.

Core claim

When G is a finite subgroup of SL_2(C) with a normal subgroup H, the set of induced nontrivial irreducible representations from H to G corresponds one-to-one to the set of pushing-forward of components of the exceptional locus of the minimal resolution of C^2/H under the quotient by G/H-action. This bijection is constructed geometrically and holds without case-by-case verification.

What carries the argument

The pushforward map on exceptional components induced by the quotient action of G/H on the minimal resolution of C^2/H, which produces the bijection with induced representations.

If this is right

The classical McKay correspondence appears as the special case H trivial.
The geometry of the resolved quotient C^2/H supplies the representation data of G via the induced irreps.
The correspondence applies uniformly to all such pairs G containing normal H inside SL_2(C).
The exceptional locus remains well-behaved under the quotient, preserving the count of irreducible components after pushforward.

Where Pith is reading between the lines

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

The same pushforward construction might extend to other quotient singularities or to equivariant invariants beyond representations.
Explicit resolution data for C^2/H could be used to compute the induced representation ring of G for concrete groups.
The approach suggests checking whether the bijection lifts to a correspondence on the level of K-theory or cohomology of the resolutions.

Load-bearing premise

The G/H-action on the minimal resolution of C^2/H must be well-defined and compatible with the exceptional components so that their distinct images under pushforward give a bijection with the induced representations.

What would settle it

A specific pair G and H where the number of distinct images of exceptional components after the G/H quotient differs from the number of nontrivial irreps of G induced from H.

read the original abstract

This paper presents a geometric construction of the McKay-Slodowy correspondence, which extends the classical McKay correspondence. The classical McKay correspondence says: for a finite subgroup G of SL_2(C), there is a bijection between the set of nontrivial irreducible representations of G and the irreducible components of the exceptional locus of the minimal resolution of the quotient variety C^2/G. We generalizes it to a pair of groups: when G is a finite subgroup of SL_2(C) with a normal subgroup H, the set of induced nontrivial irreducible representations from H to G corresponds one-to-one to the set of pushing-forward of components of the exceptional locus of the minimal resolution of C^2/H under the quotient by G/H-action. Our proof is not given by case-by-case verification.

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.

Desk Editor's Note private letter to a colleague

The paper gives a geometric construction for the McKay-Slodowy correspondence on pairs of groups but the compatibility of the G/H action on exceptional components needs close checking to confirm the bijection.

read the letter

The main takeaway is that this work gives a geometric construction of the McKay-Slodowy correspondence. For G finite in SL(2,C) with normal H, the induced nontrivial irreps from H to G are put in bijection with the pushforwards of exceptional components from the minimal resolution of C^2/H under the G/H quotient action. This avoids the case-by-case verification that often comes with these correspondences. What stands out is the uniform approach. It builds directly on the geometry of resolutions and group quotients rather than listing representations for each possible group. That is a solid way to extend the classical McKay correspondence, which is already well-known for single groups. The soft spot is the assumption that the G/H action behaves nicely on the exceptional locus. The stress-test concern is valid to raise: the action might not be free or could have fixed points on some components, which could cause the pushforward to not be bijective. The paper states it works without extra conditions, so the proof must establish the compatibility in general. If it does so rigorously using properties of minimal resolutions, then the result holds up. Otherwise, there might be a need for additional hypotheses on H. This is aimed at specialists in algebraic geometry and representation theory who work with quotient singularities. A reader who knows the standard McKay setup will see the value in the extension. The arguments appear to rest on reproducible geometric constructions, so the math looks honest. I would recommend sending it for peer review to get the details of the action and the bijection verified by experts.

Referee Report

1 major / 2 minor

Summary. The paper claims a geometric construction of the McKay-Slodowy correspondence extending the classical McKay correspondence. For a finite subgroup G of SL_2(C) with normal subgroup H, it asserts a bijection between the nontrivial irreducible representations of G induced from those of H and the irreducible components of the exceptional locus of the minimal resolution of C^2/H, obtained by pushing forward under the quotient by the G/H-action. The proof is presented as geometric and uniform, avoiding case-by-case verification.

Significance. If the construction is valid, the result supplies a uniform geometric proof of the extended correspondence using standard objects (minimal resolutions of quotient singularities and induced group actions). This is a strength, as it replaces classification-dependent arguments with a direct geometric map. The approach could aid further work on representation-theoretic interpretations of resolutions in quotient singularities.

major comments (1)

[Abstract and main construction] The central bijection (as stated in the abstract) requires that the G/H-action on the minimal resolution of C^2/H is well-defined, preserves the exceptional divisor setwise, and that the induced map on irreducible components is bijective. The manuscript must explicitly establish that this action has no fixed points on the exceptional locus and does not collapse or identify components; without this, the pushforward fails to yield a bijection in general. This is load-bearing for the claim of a general geometric construction without extra freeness hypotheses on H.

minor comments (2)

[Notation and definitions] Clarify the precise definition of the pushforward operation on exceptional components, including any diagrams or local coordinate descriptions that illustrate compatibility with the quotient map.
[Introduction] Add a reference to the original Slodowy work on the correspondence to situate the geometric construction relative to prior results.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the properties of the G/H-action explicit. This comment will help strengthen the presentation of the main construction, and we will revise the manuscript accordingly.

read point-by-point responses

Referee: The central bijection (as stated in the abstract) requires that the G/H-action on the minimal resolution of C^2/H is well-defined, preserves the exceptional divisor setwise, and that the induced map on irreducible components is bijective. The manuscript must explicitly establish that this action has no fixed points on the exceptional locus and does not collapse or identify components; without this, the pushforward fails to yield a bijection in general. This is load-bearing for the claim of a general geometric construction without extra freeness hypotheses on H.

Authors: We agree that these properties are essential to the central bijection and that they should be verified explicitly rather than left implicit. In the revised version we will insert a short new subsection (or expanded paragraph) immediately following the statement of the main construction. There we will prove: (1) the G/H-action on C^2/H is well-defined by normality of H; (2) the action lifts to an algebraic automorphism of the minimal resolution X because the minimal resolution of a surface quotient singularity is unique; (3) the exceptional divisor is preserved setwise, being the fibre over the origin, which is fixed; and (4) the lifted action has no fixed points on the exceptional locus and induces a bijection on its irreducible components, so that the images under the quotient map X → X/(G/H) are precisely the distinct irreducible components of the exceptional locus of the minimal resolution of C^2/G. The argument will be purely geometric, relying on the uniqueness of the minimal resolution and the crepant nature of the quotient singularities, without invoking case-by-case classification or additional freeness assumptions on H. We believe this addition removes the gap noted by the referee while preserving the uniform character of the proof. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard geometric objects

full rationale

The paper constructs the McKay-Slodowy correspondence geometrically via minimal resolutions of C^2/H, the induced G/H-action, and pushforwards of exceptional components, corresponding to induced representations from H to G. No quoted steps reduce by definition to inputs, rename fitted parameters as predictions, or rely on load-bearing self-citations whose content is unverified. The abstract explicitly states the proof is non-case-by-case and general, making the central bijection independent of the result itself. This is the expected non-circular outcome for a construction paper in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard facts from algebraic geometry about minimal resolutions of quotient singularities and compatible group actions; no new entities or fitted parameters are introduced in the abstract.

axioms (2)

standard math Finite subgroups of SL_2(C) admit minimal resolutions of the quotient singularities C^2/G whose exceptional loci consist of irreducible components in bijection with nontrivial irreducible representations.
This is the background classical McKay correspondence invoked for both the single-group and pair-of-groups cases.
domain assumption When H is normal in G, the quotient group G/H acts on the minimal resolution of C^2/H in a manner that allows well-defined push-forward of exceptional components.
This compatibility is required for the generalized correspondence to hold geometrically.

pith-pipeline@v0.9.0 · 5421 in / 1553 out tokens · 79306 ms · 2026-05-13T02:07:06.087232+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proof relies on Gonzalez-Springberg-Verdier construction Φ(τ)=Hom_C[H](τ,E) with c1(Φ((T_H−2)τ))=E_τ and projection formulas for pushforwards.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Bridgeland, A

T. Bridgeland, A. D. King and M. Reid, The McKay correspondence as an equivalence of derived categories, J. Amer. Math. Soc. 14 (2001), no. 3, 535--554; MR1824990

work page 2001
[2]

Debarre, Higher-dimensional algebraic geometry , Universitext, Springer, New York, 2001; MR1841091

O. Debarre, Higher-dimensional algebraic geometry , Universitext, Springer, New York, 2001; MR1841091

work page 2001
[3]

Yucong Du, Shengyu Hou, Lizhong Wang, The realization of Slodowy correspondence via intersection matrices , under submission

work page
[4]

Gonzalez-Sprinberg and J.-L

G. Gonzalez-Sprinberg and J.-L. Verdier, Construction g\'eom\'etrique de la correspondance de McKay, Ann. Sci. \'Ecole Norm. Sup. (4) 16 (1983), no. 3, 409--449 (1984); MR0740077

work page 1983
[5]

Hartshorne, Algebraic Geometry, Springer-Verlag New York Inc., 1977

R. Hartshorne, Algebraic Geometry, Springer-Verlag New York Inc., 1977

work page 1977
[6]

Ito and I

Y. Ito and I. Nakamura, Hilbert schemes and simple singularities, in New trends in algebraic geometry (Warwick, 1996) , 151--233, London Math. Soc. Lecture Note Ser., 264, Cambridge Univ. Press, Cambridge, ; MR1714824

work page 1996
[7]

Kapranov · E

M. Kapranov · E. Vasserot, Kleinian singularities, derived categories and Hall algebras, Math. Ann. 316, 565–576 (2000)

work page 2000
[8]

Koll\'ar and S

J. Koll\'ar and S. Mori, Birational geometry of algebraic varieties , translated from the 1998 Japanese original, Cambridge Tracts in Mathematics, 134, Cambridge Univ. Press, Cambridge, 1998; MR1658959

work page 1998
[9]

Kn\" o rrer, Group representations and the resolution of rational double points, Contemp

H. Kn\" o rrer, Group representations and the resolution of rational double points, Contemp. Math., 45, American Mathematical Society, Providence, RI, 1985, 175–222

work page 1985
[10]

Lang, Algebra , revised third edition, Graduate Texts in Mathematics, 211, Springer, New York, 2002; MR1878556

S. Lang, Algebra , revised third edition, Graduate Texts in Mathematics, 211, Springer, New York, 2002; MR1878556

work page 2002
[11]

Liu, Algebraic geometry and arithmetic curves , translated from the French by Reinie Ern\'e, Oxford Graduate Texts in Mathematics Oxford Science Publications, 6 , Oxford Univ

Q. Liu, Algebraic geometry and arithmetic curves , translated from the French by Reinie Ern\'e, Oxford Graduate Texts in Mathematics Oxford Science Publications, 6 , Oxford Univ. Press, Oxford, 2002; MR1917232

work page 2002
[12]

McKay, Graphs, singularities, and the finite groups, in: The Santa Cruz Conference on Finite Groups, Proc

J. McKay, Graphs, singularities, and the finite groups, in: The Santa Cruz Conference on Finite Groups, Proc. Symp. Pure Math 37, 1980, 183-186

work page 1980
[13]

Slodowy, Simple singularities and simple algebraic groups, Lecture Notes in Mathematics, 815

P. Slodowy, Simple singularities and simple algebraic groups, Lecture Notes in Mathematics, 815. Springer, Berlin, 1980. x+175 pp

work page 1980