pith. sign in

arxiv: 2601.05634 · v2 · submitted 2026-01-09 · 🧮 math.AG

Special vs Essential

Yukari Ito , Kohei Sato , Yusuke Sato This is my paper

Pith reviewed 2026-05-16 15:51 UTC · model grok-4.3

classification 🧮 math.AG MSC 14E1514J17
keywords McKay correspondenceG-Hilbert schemesmall resolutionexceptional curvesspecial representationsessential representationsquotient singularities
0
0 comments X

The pith

Compact exceptional curves and divisors on G-Hilb(C^3) correspond to special or essential irreducible representations of G.

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

This paper extends the special McKay correspondence by establishing a direct link between the geometry of the G-Hilbert scheme of three-dimensional space and certain representations of finite subgroups G of GL(n,C). Specifically, it matches compact exceptional curves and divisors on G-Hilb(C^3) to non-trivial irreducible representations that are classified as special or essential. The authors also give an explicit construction of a small resolution of this scheme and use it to build a correspondence between special and essential representations themselves. A reader would care because it refines how group representations govern the resolution of quotient singularities, making the McKay correspondence more precise in dimension three.

Core claim

The central claim is that there is a correspondence between the compact exceptional curves and divisors on G-Hilb(C^3) and some non-trivial irreducible representations of G which are special (or essential). Moreover, an explicit construction of the small resolution of G-Hilb(C^3) is given, and using this resolution a correspondence between special and essential representations is constructed. These results extend the special McKay correspondence and Reid's recipe.

What carries the argument

The G-Hilbert scheme G-Hilb(C^3) together with its small resolution, which carries the exceptional curves and divisors matched to the special and essential representations of G.

If this is right

  • The exceptional loci in resolutions of quotient singularities C^3/G are classified by special representations.
  • Special and essential representations are in bijection via the geometry of the resolved G-Hilbert scheme.
  • For any finite G in GL(3,C), the small resolution can be constructed explicitly from the representation data.

Where Pith is reading between the lines

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

  • This correspondence could be used to compute the cohomology of the resolved space using representation theory.
  • It suggests similar extensions might exist for higher-dimensional G-Hilbert schemes.
  • For specific groups, one could verify the correspondence by enumerating representations and resolving the scheme directly.

Load-bearing premise

The definitions of special and essential representations from earlier work on the McKay correspondence classify the geometric objects on the G-Hilbert scheme without needing further conditions.

What would settle it

For a concrete finite subgroup G of GL(3,C), such as the cyclic group of order 3, computing the exceptional divisors on the small resolution of G-Hilb(C^3) and checking if they match the special representations would disprove the claim if they do not align.

Figures

Figures reproduced from arXiv: 2601.05634 by Kohei Sato, Yukari Ito, Yusuke Sato.

Figure 1
Figure 1. Figure 1: Two valleys and socle Lemma 2.5 (Lemma 3.13 in [11]). In the case of the quotient singularity of type 1 r (1, a, r − a), the cone σ(Γ) is three-dimensional. Moreover, the following holds: (1) S(Γ) ∼= C[x, y, z], if Γ has 0 or 1 valley, (2) S(Γ) ∼= C[x, y, z]/(xy − zw), if Γ has 2 valleys. We say that a G-set Γ is spanned by monomials u1, . . . , un if Γ consists of all monomials dividing u1, . . . , un, an… view at source ↗
Figure 2
Figure 2. Figure 2: G-igsaw transformations TUL and TUR [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Construction of G-Hilb(C 3 ) the degree of other vertices is 3. 2. In the Step 2, the degree of a point in the interior of a hole is always 4 (see [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The small resolution G-Hilb( ^C3) over G-Hilb(C 3 ) [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The degree of the vertex Definition 3.3. Let G be a finite cyclic group of GL(n, C) with order r. We will denote by EC the set of essential characters. In addition, for i = 1, . . . , r − 1, a set of generalized essential characters EC(i) is defined as follows: EC(i) = {χi ⊗ χ | χ ∈ EC}. Definition 3.4. Let τ be a one-dimensional cone of Fan(G) and let Dτ be an exceptional divisor of G-Hilb(C 3 ) associate… view at source ↗
Figure 6
Figure 6. Figure 6: G-graphs of G = 1 8 (1, 3) Remark 3.7. If a monomial X is a socle of the G-graph Γσ but X /∈ Γσ1 , then the character χ = wt(X) associated to X satisfies the following: the monomial X′ ∈ Γσ1 such that wt(X′ ) = χ must belong to G-ig(σ, L), and moreover, X′ is a socle in G-ig(σ, L). In particular, the socle of G-ig(σ, L) is also contained in the socle of Γσ1 . Proposition 3.8. Let G = 1 r (1, a), where r an… view at source ↗
Figure 7
Figure 7. Figure 7: Vertex v of valency 3 v e1 e2 y j : z i x : z k [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗
Figure 9
Figure 9. Figure 9: Vertex v with two straight line v e3 x d : y b [PITH_FULL_IMAGE:figures/full_fig_p014_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Vertex v of valency 5 ratios defining these exceptional curves. Thus, the decoration rule in Case 3 reflects the geometry of the small resolution rather than G-Hilb(C 3 ) itself. Remark 3.11. In Case 3 the above decoration rule is well-defined. Indeed, we set χℓ := wt x ixz jz+1 , χm := wt x ixy ky+1 . Since ix = kx + jx + 2 and wt(z kz ) = wt(x kx+1y ky ), we have wt x ixy ky+1 = wt x jx+1z kz−1  . … view at source ↗
Figure 11
Figure 11. Figure 11: Vertex v with two straight lines Case 4: We assume that v is a vertex of valency 5 with line segments Li for i = 1, . . . , 5. The segments L1, L2 and L3 form a regular triangle, and L1 has the monomial ratios x ix : y iy [PITH_FULL_IMAGE:figures/full_fig_p015_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: G-igsaw transformation along with L1 in the case 3. v L1 e3 L5 L3 L2 σ1 σ2 σ3 σ4 σ5 [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Vertex v of valency 5 Let σi be the three-dimensional cones with vertex v for i = 1, . . . , 5 as shown in [PITH_FULL_IMAGE:figures/full_fig_p016_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: G = 1 7 (1, 2, 3) [PITH_FULL_IMAGE:figures/full_fig_p019_14.png] view at source ↗
read the original abstract

We show a correspondence between the compact exceptional curves and divisors on $G-{\rm Hilb}(\mathbf{C}^3)$ and some non-trivial irreducible representations of $G \subset GL(n,C)$ which are special (or essential). Moreover, we provide an explicit construction of the small resolution of $G-{\rm Hilb}(\mathbf{C}^3)$ and, using this resolution, we construct a correspondence between special and essential representations. These results are an extension of ``Special McKay correspondence'' and ``Reid's recipe''.

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

0 major / 2 minor

Summary. The paper extends the special McKay correspondence and Reid's recipe by establishing a correspondence between the compact exceptional curves and divisors on G-Hilb(C^3) for finite G subset GL(3,C) and certain non-trivial irreducible representations of G that are special or essential. It further supplies an explicit construction of a small resolution of G-Hilb(C^3) and employs this resolution to define a correspondence between special and essential representations.

Significance. If the explicit construction and correspondences are verified, the work would strengthen the geometric side of the special McKay correspondence by making the link between exceptional loci on the G-Hilbert scheme and representation-theoretic data more concrete and computable. The provision of an explicit small resolution is a concrete contribution that could support further explicit calculations in crepant resolutions of three-dimensional quotient singularities.

minor comments (2)
  1. [Introduction] The introduction would benefit from a brief diagram or table summarizing the new correspondence between curves/divisors and special/essential representations before the detailed proofs.
  2. [§3 and §4] Notation for the small resolution (e.g., the blow-up centers or the exceptional locus) should be fixed consistently across the construction in §3 and the correspondence statements in §4.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work extending the special McKay correspondence and Reid's recipe, including the explicit small resolution of G-Hilb(C^3) and the correspondence between exceptional loci and special/essential representations. The recommendation for minor revision is noted, though no specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity identified in the derivation

full rationale

The paper extends the special McKay correspondence by defining correspondences between compact exceptional curves/divisors on G-Hilb(C^3) and special/essential representations of G, while providing an explicit small resolution construction. These build directly on prior definitions of special/essential representations taken from the literature together with standard properties of G-Hilbert schemes and representation theory. No load-bearing step reduces the claimed outputs to the inputs by construction, self-definition, or a self-citation chain; the explicit resolution and new correspondences introduce independent content rather than tautological re-labeling or fitted predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background results in representation theory of finite subgroups of GL(3,C) and on the established theory of the G-Hilbert scheme as a crepant resolution; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Finite subgroups G of GL(3,C) admit a well-defined G-Hilbert scheme that provides a crepant resolution of the quotient singularity C^3/G.
    This is a standard fact in the McKay correspondence literature referenced by the abstract.

pith-pipeline@v0.9.0 · 5371 in / 1398 out tokens · 53974 ms · 2026-05-16T15:51:24.449206+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

18 extracted references · 18 canonical work pages

  1. [1]

    Bridgeland, A

    T. Bridgeland, A. King and M. Reid,The McKay correspondence as an equivalence of derived categories, J. AMS14(2001), pp. 535–554

    work page 2001

  2. [2]

    Craw,An explicit construction of the McKay correspondence forA-Hilb(C3), J

    A. Craw,An explicit construction of the McKay correspondence forA-Hilb(C3), J. Algebra 285(2), (2005), pp. 682–705

    work page 2005

  3. [3]

    A. Craw, Y. Ito, and J. Karmazyn,Multigraded linear series and recollement, Math. Z. 289, (2018), pp. 535–565

    work page 2018

  4. [4]

    Craw and M

    A. Craw and M. Reid,How to calculateA-Hilb(C3), Sémin. Congr.6(2002), pp. 129–154

    work page 2002

  5. [5]

    Fulton,Introduction to toric varieties, Annals of Mathematics Studies, Vol.131, Prince- ton University Press, 1993

    W. Fulton,Introduction to toric varieties, Annals of Mathematics Studies, Vol.131, Prince- ton University Press, 1993

    work page 1993

  6. [6]

    Ishii,On the McKay correspondence for a finite small subgroup ofGL(2,C), J

    A. Ishii,On the McKay correspondence for a finite small subgroup ofGL(2,C), J. Reine Angew. Math.549(2002), pp. 221–233

    work page 2002

  7. [7]

    Y. Ito,Survey on crepant resolution and the McKay correspondence in dimension threeto appearintheProceedingsoftheXXIInternationalConferenceonRepresentationsofAlgebras (Shanghai, 2024), the European Mathematical Society

    work page 2024

  8. [8]

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

    work page 1996

  9. [9]

    S. J. Jung,Terminal Quotient Singularities in Dimension Three via Variation of GIT, J. Algebra468(2016), pp. 354–394

    work page 2016

  10. [10]

    Kidoh,Hilbert schemes and cyclic quotient singularities, Hokkaido Mathematical Journal 30(2001), pp

    R. Kidoh,Hilbert schemes and cyclic quotient singularities, Hokkaido Mathematical Journal 30(2001), pp. 91–103

    work page 2001

  11. [11]

    Kedzierski,TheG-Hilbert scheme for 1 r (1, a, r−a), Glasgow Math

    O. Kedzierski,TheG-Hilbert scheme for 1 r (1, a, r−a), Glasgow Math. J.53(2022), pp. 115–129

    work page 2022

  12. [12]

    McKay,Graphs, singularities and finite groups, Proc

    J. McKay,Graphs, singularities and finite groups, Proc. of 1979 Santa Cruz group theory conference, AMS Symposia in Pure Mathematics37(1980), pp. 183—186

    work page 1979

  13. [13]

    Nakamura,Hilbert schemes of abelian group orbits, J Algebraic Geom.10(2001), pp

    I. Nakamura,Hilbert schemes of abelian group orbits, J Algebraic Geom.10(2001), pp. 757 –759

    work page 2001

  14. [14]

    Oda,Convex bodies and algebraic geometry, An introduction to the theory of toric varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3

    T. Oda,Convex bodies and algebraic geometry, An introduction to the theory of toric varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Bb.15, Springer-Verlag, 1988

    work page 1988

  15. [15]

    Reid,Young person’s guide to canonical singularities, In Proc

    M. Reid,Young person’s guide to canonical singularities, In Proc. Symp. Pure Math. Vol.46 (1987), pp. 345-414

    work page 1987

  16. [16]

    Reid,McKay correspondence, Proc

    M. Reid,McKay correspondence, Proc. of Algebraic Geometry Symposium, Kinosaki, Novem- ber 1996 (1997), pp. 14-41

    work page 1996

  17. [17]

    Takahashi,On essential representations in the McKay correspondence forSL(3,C), Mas- ter’s thesis, Nagoya University, 2011

    K. Takahashi,On essential representations in the McKay correspondence forSL(3,C), Mas- ter’s thesis, Nagoya University, 2011

    work page 2011

  18. [18]

    Wunram,Reflexive modules on quotient surface singularities, Math Ann.279(1988), pp

    J. Wunram,Reflexive modules on quotient surface singularities, Math Ann.279(1988), pp. 583–598

    work page 1988