pith. sign in

arxiv: 2604.04472 · v2 · pith:FXG6EXUBnew · submitted 2026-04-06 · 🧮 math.AG

Resolutions and deformations of cyclic quotient surface singularities

Yukari Ito , Kohei Sato , Meral Tosun This is my paper

Pith reviewed 2026-05-10 19:50 UTC · model grok-4.3

classification 🧮 math.AG
keywords cyclic quotient singularitiesminimal resolutionG-Hilbert schemeMcKay correspondencequiver varietiesdeformationssurface singularitiesbamboo-type graphs
0
0 comments X

The pith

Various independently developed results on minimal resolutions of cyclic quotient singularities unify into one coherent exposition.

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

This paper brings together classical results on the minimal resolution of cyclic quotient surface singularities of the form C squared over G. These singularities are termed bamboo-type because the dual graphs of their exceptional curves resemble bamboo. It presents results from the G-Hilbert scheme, the generalized McKay correspondence, deformations of singularities, and quiver varieties, which originated separately in different contexts. The authors combine them with numerous examples into a single unified guide for studying two-dimensional cyclic singularities.

Core claim

The paper claims that results on the minimal resolution of cyclic quotient singularities C squared over G, the G-Hilbert scheme, the generalized McKay correspondence, deformations, and quiver varieties, obtained independently, can be investigated for their relations and presented together in a unified exposition enriched by many examples to serve as a guide for two-dimensional cyclic singularities.

What carries the argument

Bamboo-type dual graphs of exceptional curves in the minimal resolution, which organize and link the separate results on resolutions, Hilbert schemes, McKay correspondence, deformations, and quiver varieties.

Load-bearing premise

Independently developed results from different contexts can be unified into one coherent exposition without introducing inconsistencies, oversimplifications, or loss of technical detail.

What would settle it

An explicit cyclic quotient singularity where the resolution from the G-Hilbert scheme contradicts the classical minimal resolution graph would show that the unification cannot hold without inconsistencies.

Figures

Figures reproduced from arXiv: 2604.04472 by Kohei Sato, Meral Tosun, Yukari Ito.

Figure 1
Figure 1. Figure 1: The Gr¨obner fan GF(IC11,7 ) Example 7.15. Let us compute the Gr¨obner fan in the case of A11,7 singularities. Recall that there are five irreducible representations ρ0, ρ1, . . . , ρ4 and the invariant ring is C[x, y] C11,7 = C[x 11, x4 y, xy3 , y11]. The G-orbit ideal IC11,7 (p) for the point p = (1, 1) is IC11,7 := IG(p) = (x 11 − 1, x4 y − 1, xy3 − 1, y11 − 1). We remark that the choice of the point p … view at source ↗
read the original abstract

In this paper, we investigate the relations among various results concerning the minimal resolution of cyclic quotient singularities of the form $\mathbb{C}^2/G$. We refer to these as "bamboo-type" singularities, since the dual graphs of the exceptional curves in their resolutions resemble the shape of bamboo. We present classical results on the minimal resolution of singularities, the $G$-Hilbert scheme, the generalized McKay correspondence, deformations of singularities, and quiver varieties. These results have been obtained independently in different contexts, and here we provide a unified exposition enriched with numerous examples, which we hope will serve as a useful guide to the study of two-dimensional cyclic singularities. Moreover, this survey aims to offer insights that may inspire generalizations to non-cyclic singularities and to higher-dimensional quotient singularities.

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

Summary. The manuscript is an expository survey that collects and relates classical results on the minimal resolution of bamboo-type cyclic quotient surface singularities of the form C²/G. It connects these to the G-Hilbert scheme, the generalized McKay correspondence, deformations of singularities, and quiver varieties, presenting them in a unified manner with numerous examples. No new theorems or derivations are claimed; the goal is to provide a coherent guide that may inspire generalizations to non-cyclic or higher-dimensional cases.

Significance. If the synthesis accurately reproduces and relates the cited classical results without introducing inconsistencies, the paper offers a useful reference for algebraic geometers working on surface singularities. The emphasis on examples and cross-context relations is a strength for an expository work, as is the explicit aim of facilitating future generalizations. The absence of new technical claims means the significance rests on the clarity and fidelity of the unification rather than on novel mathematics.

minor comments (3)
  1. [Introduction] The introduction would benefit from an explicit statement of the precise definition of 'bamboo-type' singularities (including the form of the dual graph) before referring to it in the abstract and throughout; this would aid readers unfamiliar with the terminology.
  2. [Sections on G-Hilbert scheme and quiver varieties] In the sections discussing the G-Hilbert scheme and quiver varieties, ensure that all cited classical theorems are accompanied by precise references to the original sources (e.g., specific theorems in the works of Ito-Nakajima or Craw) rather than general citations, to facilitate verification.
  3. [Examples throughout] Some of the examples illustrating the relations between resolutions and deformations could include explicit coordinate computations or equations for the singularity to make the unification more concrete for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript as a unified expository survey on bamboo-type cyclic quotient surface singularities. We appreciate the recognition of its value in relating classical results across resolutions, G-Hilbert schemes, the generalized McKay correspondence, deformations, and quiver varieties, along with the emphasis on examples and potential for future generalizations. The recommendation for minor revision is noted; however, no specific major comments were provided in the report.

Circularity Check

0 steps flagged

Expository survey of independent classical results; no new derivations or self-referential claims

full rationale

The paper is explicitly framed as a unified exposition of prior, independently obtained results on minimal resolutions of bamboo-type cyclic quotient singularities, the G-Hilbert scheme, generalized McKay correspondence, deformations, and quiver varieties. No new theorems, predictions, or first-principles derivations are asserted; the central activity is faithful reproduction and relation of existing literature with examples. Consequently, none of the enumerated circularity patterns (self-definitional, fitted-input-as-prediction, self-citation load-bearing, etc.) can be instantiated, as there is no internal derivation chain that reduces to its own inputs. The load-bearing condition is simply accurate citation of external classical statements, which the survey format does not place at risk of circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper builds entirely on classical results from algebraic geometry and representation theory without introducing new parameters, axioms beyond standard ones, or new entities.

axioms (2)
  • standard math Existence and uniqueness of minimal resolutions for surface singularities
    Invoked when discussing minimal resolutions of cyclic quotient singularities.
  • domain assumption The generalized McKay correspondence holds for these singularities
    Central to relating representations and geometry in the unified exposition.

pith-pipeline@v0.9.0 · 5425 in / 1313 out tokens · 74836 ms · 2026-05-10T19:50:44.558661+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.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We investigate the relations among various results concerning the minimal resolution of cyclic quotient singularities of the form C²/G ... present classical results on the minimal resolution of singularities, the G-Hilbert scheme, the generalized McKay correspondence, deformations of singularities, and quiver varieties

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.