Pith. sign in

REVIEW 4 major objections 4 minor 69 references

From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes

T0 review · 4 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read The four affine Dynkin Hitchin systems are compactified by orbifold Hilbert schemes to rational elliptic surfaces with C*-actions, each a blow-up of the second Hirzebruch surface.

desk verdict A genuinely useful construction for the D4, E6, and E7 cases, with general orbifold Hilbert scheme theorems that stand on their own; the E8 case is missing its proof, and the Hitchin-system identification leans on an unverified preprint, so it is a conditional accept rather than a finished paper. read the letter →

arxiv 2509.14812 v5 pith:BLF3SLLV submitted 2025-09-18 math.AG math.SG

Yonghong Huang This is my paper · ORCID
classification math.AGmath.SG MSC 14J2714C0514A2014D20
keywords HitchinsystemsorbifoldHilbertschemesrationalellipticsurfacesC*-actionsHirzebruchaffineDynkindiagramsHiggsbundlesPoissonresolutions
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

This paper claims that the two-dimensional Hitchin systems associated with the affine Dynkin diagrams $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$ admit natural compactifications given by Hilbert schemes of one point on orbifold projective bundles, and that these compactifications are rational elliptic surfaces with $C^*$-actions. Concretely, each compactification is obtained by a finite sequence of blow-ups of the second Hirzebruch surface, with the elliptic fibration having singular fibers only over $0$ and $\infty$; removing the fiber over $\infty$ recovers the original Hitchin system. The paper also proves that, under suitable conditions, Hilbert schemes of orbifold surfaces are smooth connected projective schemes, and that the Hilbert-Chow morphism gives the minimal resolution of the coarse moduli space. The upshot is an explicit geometric model for these integrable systems, with the singular fibers and relative minimal models tabulated.

What carries the argument

The central object is the orbifold Hilbert scheme $\mathrm{Hilb}^1(P(T^\vee_{X_i}\oplus O_{X_i}))$, where $X_i=[E_i/\mu_i]$ is the quotient stack of an elliptic curve by a cyclic group; this scheme is the compactification of the Hitchin system $M(i)$. The Hilbert-Chow morphism $h_i$ maps it to the GIT quotient $P(T^\vee E_i\oplus O_{E_i})/\mu_i$ and provides a minimal Poisson resolution. The identification of each $\tilde{X}_i$ with a blow-up of the second Hirzebruch surface is carried out case-by-case by tracking strict transforms and exceptional curves under a sequence of blow-downs, using the configuration of curves determined by the singular fibers of the two natural fibrations.

What would settle it

Compute the $C^*$-action on a generic fiber of $\pi_i:\tilde{X}_i\to P^1$ and compare its weights with the known scaling action on the corresponding Higgs bundles; a mismatch in the weights, or a mismatch in the fixed-point loci over the singular fibers, would disprove the compatibility claim (Theorem 1.4(1)) and thus the identification of the compactification with the Hitchin system's compactification.

Watch

Extended reading notes

Core claim

The central result is Theorem 1.5: for $i = 2,3,4,6$, the compactification $\tilde{X}_i = \mathrm{Hilb}^1(P(T^\vee_{X_i}\oplus O_{X_i}))$ is a rational elliptic surface with $C^*$-action, whose fibration $\pi_i:\tilde{X}_i\to P^1$ has singular fibers only over $0$ and $\infty$, of types summarized in Table 1. Each $\tilde{X}_i$ is isomorphic to an iterated blow-up of the second Hirzebruch surface (Propositions 6.8, 6.11, 6.14, 6.17), and the Hitchin system $M(i)$ is isomorphic to $\tilde{X}_i$ with the fiber over $\infty$ removed. In addition, the paper proves that $\mathrm{Hilb}^n(X)$ for an orbifold surface $X$ is a smooth connected projective scheme, and that the Hilbert-Chow morphism $\mathrm{Hilb}^1(X)\to X$ is the minimal resolution of singularities and a Poisson r...

Load-bearing premise

The identification of the Hilbert-scheme compactification with the Hitchin system's own compactification assumes that the natural $C^*$-action and Poisson structure on the Hilbert scheme agree with the $C^*$-action and symplectic structure on the Hitchin system; this compatibility is attributed to a very recent preprint and to an unstated assertion in the earlier construction it builds on.

Editorial extensions

If this is right

  • The Hitchin fibrations for D̃4, Ẽ6, Ẽ7, Ẽ8 are now described explicitly by the elliptic fiber types I*_0 over 0 and ∞ for D̃4, IV* and IV for Ẽ6 (after one blow-down), III* and III for Ẽ7 (after two blow-downs), and II* and II for Ẽ8 (after three blow-downs).
  • Since the compactification is a blow-up of the second Hirzebruch surface, the rational elliptic surfaces inherit concrete coordinates and intersection forms from that model.
  • Removing the fiber over ∞ recovers the Hitchin system, so the compactification is a natural one-point (in the base) compactification, with boundary consisting of s+1 copies of P^1.
  • The Hilbert-Chow morphism being a Poisson resolution means the compactification is compatible with the symplectic/Poisson geometry, not just the underlying complex structure.
  • The smoothness and connectedness results for orbifold Hilbert schemes extend the standard Hilbert scheme theory to orbifold surfaces, providing tools for further moduli problems.

Reading between the lines

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

  • If the compatibility of the C*-action and Poisson structure with the Hitchin system's structures holds, then the fixed-point loci of the C*-action on these rational elliptic surfaces should match the fixed-point loci of the scaling action on Higgs bundles; this is a concrete check that could be done locally on the fibers over 0 and ∞.
  • The explicit blow-up descriptions may make it possible to compute enumerative invariants (e.g., Gromov-Witten or Donaldson-Thomas invariants) of these Hitchin compactifications by reducing them to computations on the second Hirzebruch surface.
  • The pattern of relative minimal models obtained by blowing down curves over ∞ suggests that each Hitchin system carries a hierarchy of elliptic compactifications, parameterized by which (−1)-curves one contracts; these may correspond to different stability conditions or different choices of compactification.
  • The four cases treated are exactly the non-elliptic one-dimensional Calabi-Yau orbifolds; the same orbifold-Hilbert-scheme construction might, with suitable modifications, compactify higher-dimensional Hitchin systems or Hitchin systems for other orbifold curves.
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

4 major / 4 minor

Summary. The paper defines orbifold Hilbert schemes Hilb^n(X) for projective orbifold surfaces with codimension-two stacky locus, proves smoothness, connectedness, and a Hilbert–Chow minimal-resolution theorem, and applies this to compactify the two-dimensional Hitchin systems of affine types D4, E6, E7, E8 as Hilb^1(P(T^∨X_i ⊕ O_{X_i})). The main geometric claim, Theorem 1.5, is that each compactification is a rational elliptic surface with a C*-action, has only singular fibers over 0 and ∞ with the fiber types listed in Table 1, and is obtained by an explicit sequence of blow-ups of the second Hirzebruch surface. The D4, E6, and E7 cases are supported by detailed curve configurations and blow-down arguments; the E8 case is asserted in Proposition 6.17 via a self-referential proof.

Significance. If the results are correct, the paper gives a concrete and uniform description of the compactified Hitchin systems for the affine Dynkin types D4, E6, E7, E8, connecting them to rational elliptic surfaces and to explicit blow-up constructions on H_2. This is a valuable contribution to the explicit study of Hitchin systems and orbifold Hilbert schemes. The general smoothness and connectedness statements for orbifold Hilbert schemes are also potentially useful beyond the application. However, the central claim currently rests on several incompletely proved steps, most importantly the E8 blow-up classification, so the contribution is not yet fully established.

major comments (4)
  1. [§6.4, Proposition 6.17] The proof of Proposition 6.17 consists of the sentence "As in the proof of Proposition 6.17, this figure illustrates the configuration of the curves, from which the proposition follows." This is a self-reference, not a proof. Lemmas 6.15 and 6.16 identify the local singular fibers over p_1, p_2, p_3 and over 0, ∞, but they do not prove that the global surface eX_6 is isomorphic to the iterated blow-up H_2^(6) of the second Hirzebruch surface described in the text. One must check that the exceptional curves introduced in the six blow-up steps have exactly the intersection pattern of Figure 13 and that no other curves are present. As written, the E8 row of Table 1 and the corresponding part of Theorem 1.5 are unsubstantiated.
  2. [Theorem 1.4(1) and Remark 6.2] The statement that the natural C*-action and Poisson structure on Hilb^1(P(T^∨X_i ⊕ O_{X_i})) are compatible with, and extend, the C*-action and symplectic structure on the Hitchin system M(i) is load-bearing: it is what identifies the Hilbert scheme compactification with the Hitchin-system compactification. The justification in Remark 6.2 says Groechenig proved the C*-action assertion 'although this is not stated explicitly in his paper', and cites [Jia25] for the symplectomorphism. This is not sufficient as a proof. If the C*-action compatibility fails, or if [Jia25] does not cover the present setting, Theorem 1.4(1) collapses. A precise proof or an exact quotation of the relevant statements is needed.
  3. [§3.2, Lemma 3.3] The proof of Lemma 3.3 cites "[?, Theorem A.0.6]" with a literal placeholder, so the reference is missing. More importantly, the proof asserts without derivation that a Gieseker semistable sheaf satisfying the displayed slope inequality is µ_H-stable. This implication is the key point of the lemma, and it is not immediate from the preceding lines. Lemma 3.3 is foundational for Proposition 3.4, Corollary 4.3, and hence for the smoothness and connectedness of the Hilbert schemes used in Section 6. The proof must be completed or replaced by a precise reference.
  4. [§4, Corollary 4.3] The proof of Corollary 4.3 says that 'the proof of this corollary can be completed by following the proof of Corollary 10 in [Ma07]' and gives no details. This is especially delicate in the K_X ≅ O_X case, where Lemma 4.2 and the three-term locally free complex are invoked but the necessary rank, vanishing, and degeneracy-locus computations are omitted. Since connectedness of Hilb^n(X) is used in Theorem 5.9 and hence in the compactification theorem, this step should be written out or the cited argument should be adapted explicitly to the orbifold setting.
minor comments (4)
  1. [§6.4, paragraph before Lemma 6.15] In the E7 case, the two displayed diagrams are both labelled 'eX4'; the first should presumably be X_4 and the second eX_4. This typo makes the notation confusing.
  2. [§6.1, Lemma 6.7 proof] The text writes 'en_i = D_0 · E_i' and then concludes 'en_1 = en_2 = en_3 = en_4 = -1'. Since the en_i are natural numbers, the intended statement must involve squares or absolute values; please correct the notation.
  3. [§6.2, Lemma 6.10 proof] In the sentence 'Analogously, let eD_∞ ⊂ X_2 be the smooth rational curve...', the symbol X_2 should presumably be X_3. Also 'em_i = D_∞ · F_i' followed by 'em_1 = em_2 = em_3 = 1' has the same sign/notation issue as in Lemma 6.7.
  4. [References] There is a literal placeholder '[?]' in the proof of Lemma 3.3. Also, the reference [ACL] appears in the bibliography but does not seem to be cited in the text; please add citations or remove the entry.

Circularity Check

1 steps flagged · score 6.0 of 10

E8 blow-up classification (Proposition 6.17) is supported only by a self-referential proof; the rest of the derivation is self-contained.

  1. other [Section 6.4, Proposition 6.17 (proof), p. 28]
    "As in the proof of Proposition 6.17, this figure illustrates the configuration of the curves, from which the proposition follows."

    The proof of Proposition 6.17 cites 'the proof of Proposition 6.17' as the justification for the conclusion. There is no separate or earlier proof of Proposition 6.17; the proposition itself is the claim that the E8-case surface eX6 is isomorphic to the explicit blow-up H_2^(6) of the second Hirzebruch surface. Thus the proof assumes the very statement it is meant to establish. This is load-bearing because Theorem 1.5 explicitly cites Proposition 6.17 for the E8 row of Table 1, so the E8 part of the central blow-up classification is not derived from the preceding lemmas but reduced to a self-reference.

full rationale

The central derivation is mostly self-contained and non-circular. The compactifications Hilb^1(P(T^vee X_i plus O_X_i)) are constructed directly via orbifold Hilbert schemes, the Hilbert--Chow morphisms are identified with Hitchin maps, and the singular fibers and relative minimal models for the D4, E6, and E7 cases are obtained by explicit curve configurations, adjunction, Zariski's lemma, and explicit blow-downs to the second Hirzebruch surface (Propositions 6.8, 6.11, 6.14). No fitted parameter is relabeled as a prediction, and no uniqueness theorem is imported from the authors' prior work. The compatibility assertion in Theorem 1.4(1) relies on Remark 6.2, which cites Groechenig [Go14] and the external preprint [Jia25]; this is a correctness risk, not a circularity. However, the E8 case of Theorem 1.5 is not supported by a substantive proof: Proposition 6.17's proof refers to itself. Since the proposition is the sole cited support for the E8 row, the derivation of that case reduces to an assertion of its own truth. This is a genuine circular step, though confined to one of the four cases. Therefore the overall circularity score is 6 (partial circularity).

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper's central claim rests on a substantial body of orbifold DM-stack theory, plus one very recent preprint [Jia25] and one missing reference '[?]'. No free parameters are fitted to data; no new entities are postulated.

assumptions (8)
  • domain assumption Existence of coarse moduli space, Picard scheme, and GAGA for smooth Deligne-Mumford stacks (Toen, Brochard)
    Used throughout Sections 2 and 3 to define NS(X), Pic^0(X), and to transfer statements between algebraic and analytic settings.
  • domain assumption Stacky Bogomolov inequality (Lieblich, [Li11], Proposition 4.2.4)
    Used in the proof of Theorem 2.18 to bound discriminants of subsheaves, ensuring that generic polarizations avoid walls.
  • domain assumption Toen-Riemann-Roch formula for orbifold Chern characters
    Used in Lemma 3.3 and Appendix A to compute Euler characteristics and Hilbert polynomials; the citation appears as the placeholder '[?]' in the text.
  • standard math Riemenschneider's classification of cyclic quotient singularities ([Rie77])
    Provides the exceptional curve configurations for 1/r(1,a) singularities used throughout Section 6.
  • standard math Zariski's Lemma and Kodaira's classification of singular elliptic fibers ([BHPV04])
    Used to identify fiber types and intersection matrices of the elliptic fibrations in Section 6.
  • domain assumption Groechenig's theorem that Hilb^1(T^*X_i) is the moduli space M(i) of orbifold Higgs bundles ([Go14])
    This bridges the Hilbert scheme compactification to the Hitchin system; stated as Theorem 6.1 and used in Theorem 1.4.
  • domain assumption Symplectomorphism and C*-action compatibility from [Jia25]
    In Remark 6.2 the paper relies on this recent preprint for the symplectic identification and on an unstated assertion about [Go14] for the C*-action; Theorem 1.4(1) depends on it.
  • domain assumption Canonical stack compactification of [C^2/G] by (P^2/G)^{can} ([GS17, Theorem 1])
    Used in the proof of Lemma 5.10 to show Hilb^n([C^2/G]) is an open subscheme of a projective Hilbert scheme.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes." pith.science (2026). https://pith.science/paper/BLF3SLLV

@misc{pith2026250914812,
  author       = {Pith},
  title        = {Pith review of: From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLF3SLLV}},
  note         = {Machine review of arXiv:2509.14812}
}
read the original abstract

Using orbifold Hilbert schemes, we compactify all two-dimensional Hitchin systems corresponding to types A0-tilde, D4-tilde, E6-tilde, E7-tilde, and E8-tilde, thereby obtaining four rational elliptic surfaces with C*-actions. Their singular fibers and relative minimal models are listed in the main table. A particularly interesting point is that we found they can all be obtained by performing a finite number of blow-ups on the second Hirzebruch surface. To this end, we prove that Hilbert schemes of orbifold surfaces are connected smooth projective schemes under suitable conditions, and we use the Hilbert-Chow morphism to construct the minimal resolutions of the coarse moduli spaces.

Figures

Figures reproduced from arXiv: 2509.14812 by the authors.

Figure 1
Figure 1. Configuration of curves on Xe2 Successively blowing down D1, D2, D3, D4 yields a generically P1 -fibration π ′(1) 2 : Xe(1) 2 → P1 with singular fibers π ′(1)−1 2 (pi) = E (1) i + F (1) i , where E (1) i (resp. F (1) i ) denote the birational transforms of Ei (resp. Fi). Both E (1) i and F (1) i are exceptional curves of the first kind. By further blowing down F (1) 1 , F (1) 2 , F (1) 3 , F (1) 4 , we obtain a P1 -… view at source ↗
Figure 2
Figure 2. Configuration before blowing down D∞ Blowing down D∞ yields a relatively minimal elliptic surface with singular fiber of type IV over ∞ (see [PITH_FULL_IMAGE:figures/full_fig_p022_2.png] view at source ↗
Figure 3
Figure 3. Fiber of type IV after blowing down [PITH_FULL_IMAGE:figures/full_fig_p022_3.png] view at source ↗
Figures from the paper (10 more)
Figure 4
Figure 4. Figure 4: Configuration of curves on Xe3 Blowing down D1, D2, D3 successively gives π ′(1) 3 : Xe(1) 3 → P1 with three singular fibers π ′(1)−1 3 (pi) = E (1) 1i + 2E (1) 2i + F (1) i (see dual graphs below) −2 −1 −2 E (1) 1i E (1) 2i F (1) i where E (1) 1i , E (1) 2i and F (1) …
Figure 5
Figure 5. Figure 5: Configuration of the fiber π −1 4 (∞) before contractions. In addition, by the adjunction formula we obtain 4KXe4 · D∞ = −2m1 − 2m2. Hence, D2 ∞ < 0 and KXe4 · D∞ < 0, which implies that D∞ is an exceptional curve of the first kind. A direct computation shows that m1 =…
Figure 6
Figure 6. Figure 6: Singular fiber π (1)−1 4 (∞) after blowing down D∞. Note that F (1) 1 , F (1) 2 and F (1) intersect at a single point, and that F (1) is an exceptional curve of the first kind. By blowing down F (1), we get a relatively minimal elliptic surface π (2) 4 : Xe(2) 4 → P1 w…
Figure 7
Figure 7. Figure 7: Singular fiber π (2)−1 4 (∞) after blowing down F (1) . In analogy with Proposition 6.11, blowing up E0∩Ci (i = 1, 2, 3) yields h (1) 2 : H (1) 2 → P1 with exceptional divisors E (1) i . Blowing up the three points E (1) i ∩ Cei , where Cei denote the strict transforma…
Figure 8
Figure 8. Figure 8: Configuration of curves on Xe4. 6.4 Ee8-case The morphism σ6 = σ3 ◦τ : E(0,1) → E(0,1) defines a µ6-action on E(0,1). The quotient stack X6 = [E(0,1)/µ6] has three orbifold points p1, p2, and p3 with stabilizer groups µ6, µ3, and µ2, respectively. Moreover, P(T ∨X6 ⊕ O…
Figure 9
Figure 9. Figure 9: The singular fiber over ∞ in Xe6 Blowing down D∞ yields a new elliptic fibration π (1) 6 : Xe(1) 6 → P1 , with singular fiber π (1)−1 6 (∞) = F (1) 1 + 2F (1) 2 + 3E (1) 9 , where F (1) 1 , F(1) 2 , E(1) 9 are the birational transforms of F1, F2, E9 ( [PITH_FULL_IMAGE…
Figure 10
Figure 10. Figure 10: After blowing down D∞ Next, E (1) 9 is an exceptional curve of the first kind. Blowing it down gives π (2) 6 : Xe(2) 6 → P1 , with singular fiber π (2)−1 6 (∞) = F (2) 1 + 2F (2) 2 , where F (2) 1 and F (2) 2 are birational transforms of F (1) 1 and F (1) 2 ( [PITH_F…
Figure 11
Figure 11. Figure 11: After blowing down E (1) 9 Here, F (2) 1 and F (2) 2 intersect at one point, with F (2)2 1 = −4, F (2)2 2 = −1 and F (2) 1 · F (2) 2 = 2. Finally, blowing down F (2) 2 gives π (3) 6 : Xe(3) 6 → P1 , whose singular fiber over ∞ is a cuspidal rational curve F (3) 1 ( […
Figure 12
Figure 12. Figure 12: Cuspidal fiber over ∞ after final blow-down We now show that Xe6 arises from the second Hirzebruch surface via a sequence of blow-ups. Let C1, C2, and C3 be the fibers of h2 : H2 → P1 over the orbifold points p1, p2, p3. Blowing up E0∩Ci (i = 1, 2, 3) yields a new fib…
Figure 13
Figure 13. Figure 13: Configuration of the curves on Xe6. 7 Appendix Throughout this appendix, we always assume that X is a Deligne-Mumford stack of finite type over k with finite diagonal, whose coarse moduli space is π : X → X. A Orbifold Chern character and Euler form Without loss of ge…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

69 extracted references · 2 canonical work pages

  1. [1]

    Abramovich, M

    D. Abramovich, M. Olsson and A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble), 58(4) (2008), 1057-1091

    2008

  2. [2]

    Abramovich and A

    D. Abramovich and A. Vistoli, Compactifying the space of stable maps, J. Am. Math. Soc, 15(1) (2002), 27-75

    2002

  3. [3]

    Artin, On Isolated Rational Singularities of Surfaces, Am

    M. Artin, On Isolated Rational Singularities of Surfaces, Am. J. Math, 88(1) (1966), 129-136

    1966

  4. [4]

    W. L. Baily, The decomposition theorem for V-manifolds, Amer. J. Math. 78 (1956), 862-888

    1956

  5. [5]

    W. L. Baily, On the imbedding of V -manifolds in projective space, Amer. J. Math. 79 (1957), 403-430

    1957

  6. [6]

    Barth, K

    W. Barth, K. Hulek, Chris Peters, A. Van de Ven, Compact complex surfaces. 2nd enlarged ed. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge 4. Berlin: Springer (ISBN 3-540-00832-2/hbk). xii, 436 p. (2004)

    2004

  7. [7]

    Beauville, Sur la cohomologie de certains espaces de modules de fibr\' e s vectoriels , Geometry and analysis (Bombay, 1992), Tata Inst

    A. Beauville, Sur la cohomologie de certains espaces de modules de fibr\' e s vectoriels , Geometry and analysis (Bombay, 1992), Tata Inst. Fund. Res., Bombay (1995), 37-40

    1992

  8. [8]

    Behrend, Cohomology of stacks, from: Intersection theory and moduli, (E

    K. Behrend, Cohomology of stacks, from: Intersection theory and moduli, (E. Arbarello, G. Ellingsrud, L. Goettsche, editors), ICTP Lect. Notes 19 , Abdus Salam Int. Cent. Theoret. Phys. Trieste (2004), 249-294

    2004

Show all 69 references
  1. [9]

    Bejleri and G

    D. Bejleri and G. Zaimi, The topology of equivariant Hilbert schemes, Res. Math. Sci. 10:28 (2023), https://doi.org/10.1007/s40687-023-00393-z

    2023 doi

  2. [10]

    Birkar, Topics in algebraic geometry, arXiv:1104.5035v1 (2011)

    C. Birkar, Topics in algebraic geometry, arXiv:1104.5035v1 (2011)

    2011 arXiv

  3. [11]

    Boalch, Simply-laced isomonodromy systems,Publ

    P. Boalch, Simply-laced isomonodromy systems,Publ. Math-Paris, 116 (2012), pp. 1-68

    2012

  4. [12]

    Boden and Y

    H. Boden and Y. Hu, Variations of moduli of parabolic bundles, Math. Ann. 301 (1995), 539-559

    1995

  5. [13]

    Bottacin, Poisson structures on moduli spaces of sheaves over Poisson surfaces, Invent

    F. Bottacin, Poisson structures on moduli spaces of sheaves over Poisson surfaces, Invent. Math. 121 (1985), 421-436

    1985

  6. [14]

    Bottacin, Poisson structures on Hilbert schemes of points of a surface and integrable systems, Manuscripta Math

    F. Bottacin, Poisson structures on Hilbert schemes of points of a surface and integrable systems, Manuscripta Math. 97 (1998), 517-527

    1998

  7. [15]

    a ten komplexer Fl\

    E. Brieskorn, Rationale Singularit\" a ten komplexer Fl\" a chen , Invent. Math. 4 (1968), 336--358

    1968

  8. [16]

    Bridgeland, A

    T. Bridgeland, A. King and M. Reid, The McKay Correspondence as an Equivalence of Derived Categories, J. Amer. Math. Soc. 14 (2001), 535-554

    2001

  9. [17]

    Brochard, Foncteur de Picard dun champ alg\' e brique , Math

    S. Brochard, Foncteur de Picard dun champ alg\' e brique , Math. Ann. 343 (2009), 541-602

    2009

  10. [18]

    Brochard, Finiteness theorems for the Picard objects of an algebraic stack, Adv

    S. Brochard, Finiteness theorems for the Picard objects of an algebraic stack, Adv. Math. 229 (2012) 1555-1585

    2012

  11. [19]

    C a ld a raru, Derived categories of twisted sheaves on Calabi-Yau manifolds, Thesis, Cornell Univ., May 2000

    A. C a ld a raru, Derived categories of twisted sheaves on Calabi-Yau manifolds, Thesis, Cornell Univ., May 2000

    2000

  12. [20]

    Chen and H

    J. Chen and H. Tseng, A note on derived Mckay correspondence, Math. Res. Lett. 15 (2008), No. 3, 435-445

    2008

  13. [21]

    A. Craw, S. Gammelgaard, \' A . Gyenge and B. Szendr\" o i, Punctual Hilbert schemes for Kleinian singularities as quiver varieties, Algebraic Geom. 8(6) (2021), 680-704, doi:10.14231/AG-2021-021

    2021 doi

  14. [22]

    Debarre, Higher-dimensional algebraic geometry, Universitext

    O. Debarre, Higher-dimensional algebraic geometry, Universitext. New York, NY: Springer. xiii, 233 p. (2001)

    2001

  15. [23]

    Edidin, B

    D. Edidin, B. Hassett, A. Kresch and A. Vistoli, Brauer groups and quotient stacks, Amer. J. Math. 123 (2001), No. 4, 761-777

    2001

  16. [24]

    Ellingsrud and S

    G. Ellingsrud and S. Stromme, Towards the Chow ring of the Hilbert scheme of P^2 , J. Reine Angew. Math. 441 (1993), 33-44

    1993

  17. [25]

    Esnault, Reflexive modules on quotient surface singularities, J

    H. Esnault, Reflexive modules on quotient surface singularities, J. Reine Angew. Math. 362 (1985), 63-71

    1985

  18. [26]

    Fantechi, L

    B. Fantechi, L. Gottsche, L. Illusie, S. L. Kleiman, N. Nitsure, and A. Vistoli, Fundamental algebraic geometry: Grothendiecks FGA explained, Mathematical Surveys and Monographs, vol. 123, American Mathematical Society, Providence, RI, 2005

    2005

  19. [27]

    Fantechi, E

    B. Fantechi, E. Mann and F. Nironi, Smooth toric Deligne-Mumford stacks, J. Reine Angew. Math. 648 (2010), 201-244

    2010

  20. [28]

    Fu, Poisson resolutions, J

    B. Fu, Poisson resolutions, J. Reine Angew. Math. 587 (2005), 17-26

    2005

  21. [29]

    Bottom Up

    A. Geraschenko and M. Satriano, A "Bottom Up" Characterization of Smooth Deligne-Mumford Stacks, Int. Math. Res. Not. (2017), No. 21, pp. 6469-6483

    2017

  22. [30]

    Gorsky, N

    A. Gorsky, N. Nekrasov and V. Rubtsov, Hilbert Schemes, Separated Variables, and D-Branes, Commun. Math. Phys. 222 (2001), 299-318

    2001

  23. [31]

    Griffiths and J

    P. Griffiths and J. Harris, Principles of algebraic geometry. 2nd ed., Wiley Classics Library. New York, NY: John Wiley, Sons Ltd. xii, 813 p. (1994)

    1994

  24. [32]

    Groechenig, Hilbert schemes as moduli of Higgs bundles and local systems, Int

    M. Groechenig, Hilbert schemes as moduli of Higgs bundles and local systems, Int. Math. Res. Not. (2014), No. 23, 6523-6575

    2014

  25. [33]

    Grothendieck, Techniques de construction en g\' e om\' e trie analytique

    A. Grothendieck, Techniques de construction en g\' e om\' e trie analytique. 9 . Quelques probl\` e mes de modules , S\' e minaire Henri Cartan, Volume 13 (1960-1961) No. 2, Talk No. 16, 20 p

    1960

  26. [34]

    Grothendieck and M

    A. Grothendieck and M. Raynaud, Rev\^ e tements \' E tales et Groupe Fondamental , S\' e minaire de G\' e om\' e trie Alg\' e brique du Bois Marie 1960/61 (SGA 1)

    1960

  27. [35]

    Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No

    R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977. xvi+496 pp. ISBN: 0-387-90244-9

    1977

  28. [36]

    Huang, Langton's type theorem on algebraic orbifolds, Acta Math

    Y. Huang, Langton's type theorem on algebraic orbifolds, Acta Math. Sin., Engl. Ser. 39 (2023), No. 4, 584-602

    2023

  29. [37]

    Huang, Mirror symmetry and Hitchin system on Deligne-Mumford curves: Strominger-Yau-Zaslow duality, Canad

    Y. Huang, Mirror symmetry and Hitchin system on Deligne-Mumford curves: Strominger-Yau-Zaslow duality, Canad. J. Math. (2024), 1-58, http://dx.doi.org/10.4153/S0008414X24000439

    2024 doi

  30. [38]

    Hitchin, The self-duality equations on a Riemann surface, Proc

    N. Hitchin, The self-duality equations on a Riemann surface, Proc. London Math. Soc. (3) 55 (1987), 59-126

    1987

  31. [39]

    Huybrechts and M

    D. Huybrechts and M. Lehn, The geometry of moduli spaces of sheaves. 2nd ed., Cambridge University Press (2010)

    2010

  32. [40]

    Illusie, Complexe cotangent et deformations

    L. Illusie, Complexe cotangent et deformations. 1 . , Lecture Notes in Mathematics, Vol. 239. Springer-Verlag, Berlin (1971)

    1971

  33. [41]

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

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

    2002

  34. [42]

    Jia, Symplectic Geometry of Higgs Moduli and the Hilbert Scheme of Points, arXiv:2505.02334v2

    Z. Jia, Symplectic Geometry of Higgs Moduli and the Hilbert Scheme of Points, arXiv:2505.02334v2

    arXiv

  35. [43]

    Kaledin, M

    D. Kaledin, M. Lehn and C. Sorger, Singular symplectic moduli spaces, Invent. Math. 164 (2006), 591-614

    2006

  36. [44]

    Kollar, Lectures on resolution of singularities, Annals of Mathematics Studies 166

    J. Kollar, Lectures on resolution of singularities, Annals of Mathematics Studies 166. Princeton, NJ: Princeton University Press (ISBN 978-0-691-12923-5/pbk; 978-0-691-12922-8/hbk). vi, 208 p. (2007)

    2007

  37. [45]

    Kostant, The McKay correspondence, the Coxeter element and representation theory, Ast\' e risque, No

    B. Kostant, The McKay correspondence, the Coxeter element and representation theory, Ast\' e risque, No. Hors Sr. (1985), 209-255

    1985

  38. [46]

    Kresch, On the geometry of Deligne-Mumford stacks, In: Abramovich, D; Bertram, A; Katzarkov, L; Pandharipande, R; Thaddeus, M

    A. Kresch, On the geometry of Deligne-Mumford stacks, In: Abramovich, D; Bertram, A; Katzarkov, L; Pandharipande, R; Thaddeus, M. Algebraic Geometry: Seattle 2005. Providence, Rhode Island: Amer. Math. Soc. 259-271

    2005

  39. [47]

    Kuhn, The Atiyah class on algebraic stacks, Forum Math

    N. Kuhn, The Atiyah class on algebraic stacks, Forum Math. Sigma 12 (2024), Paper No. e100, 54 p

    2024

  40. [48]

    Lieblich, Moduli of twisted orbifold sheaves

    M. Lieblich, Moduli of twisted orbifold sheaves. Adv. Math. 226(5) (2011), 4145-4182

    2011

  41. [49]

    Markman, Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces, J

    E. Markman, Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces, J. Reine Angew. Math. 544 (2002), 61-82

    2002

  42. [50]

    Markman, Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces, Adv

    E. Markman, Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces, Adv. Math. 208 (2007), No.2, 622-646

    2007

  43. [51]

    McKay, Graphs, singularities, and finite groups, Proc

    J. McKay, Graphs, singularities, and finite groups, Proc. Symp. Pure Math. 37 (1980), 183-186

    1980

  44. [52]

    Mukai, On the moduli space of bundles on K3 sufaces 1 , in: Vector Bundles on Algebraic Varieties, Proc

    S. Mukai, On the moduli space of bundles on K3 sufaces 1 , in: Vector Bundles on Algebraic Varieties, Proc. Bombay Conference, 1984, in: Tata Inst. Fund. Res. Stud., vol. 11, Oxford Univ. Press, 1987, pp. 341-413

    1984

  45. [53]

    Mumford, J

    D. Mumford, J. Fogarty and F. Kirwan, Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2)[Results in Mathematics and Related Areas (2)], xiv+292 pp., 1994, Springer-Verlag, Berlin

    1994

  46. [54]

    Nironi, Moduli spaces of semistable sheaves on Projective Deligne-Mumford Stack, arXiv:0811.1949v2 (2008)

    F. Nironi, Moduli spaces of semistable sheaves on Projective Deligne-Mumford Stack, arXiv:0811.1949v2 (2008)

    2008 arXiv

  47. [55]

    Nironi, Grothendieck duality for Deligne-Mumford stacks, arXiv:0811.1955v2 (2009)

    F. Nironi, Grothendieck duality for Deligne-Mumford stacks, arXiv:0811.1955v2 (2009)

    2009 arXiv

  48. [56]

    Olsson, Sheaves on Artin stacks, J

    M. Olsson, Sheaves on Artin stacks, J. Reine Angew. Math. 603 (2007), 55-112

    2007

  49. [57]

    Olsson, Algebraic spaces and stacks, American Mathematical Society Colloquium Publications, 62

    M. Olsson, Algebraic spaces and stacks, American Mathematical Society Colloquium Publications, 62. American Mathematical Society, Providence, RI (2016). xi+298 pp. ISBN: 978-1-4704-2798-6

    2016

  50. [58]

    Olsson and J

    M. Olsson and J. Starr, Quot functors for Deligne-Mumford stacks, Special issue in honor of Steven L. Kleiman. Comm. Algebra 31 (2003), No. 8, 4069-4096

    2003

  51. [59]

    Pym, Constructions and classifications of projective Poisson varieties, Lett

    B. Pym, Constructions and classifications of projective Poisson varieties, Lett. Math. Phys. 108 (2018), 573-632

    2018

  52. [60]

    Riemenschneider, Die Invarianten der endlichen Untergruppen von GL(2, C) , Math

    O. Riemenschneider, Die Invarianten der endlichen Untergruppen von GL(2, C) , Math. Z. 153 (1977), 37-50

    1977

  53. [61]

    J. H. M. Steenbrink, Mixed Hodge structure on the vanishing cohomology, Real and complex singularities (Proc. Ninth Nordic Summer School/NAVF Sympos. Math., Oslo, 1976), Sijthoff and Noordhoff, Alphen aan den Rijn (1977), 525-563

    1976

  54. [62]

    Toen, Th\' e or\` e mes de Riemann-Roch pour les champs de Deligne-Mumford , K-Theory 18 (1999), No

    B. Toen, Th\' e or\` e mes de Riemann-Roch pour les champs de Deligne-Mumford , K-Theory 18 (1999), No. 1, 33-76

    1999

  55. [63]

    B. Toen, K-th\' e orie et cohomologie des champs alg\' e briques: Th\' e or\` e mes de Riemann-Roch, D-modules et th\' e or\` e mes ``GAGA'' , thesis, Universit\' e Paul Sabatier de Toulouse 3, 1999

    1999

  56. [64]

    Totaro, The resolution property for schemes and stacks, J

    B. Totaro, The resolution property for schemes and stacks, J. Reine Angew. Math. 577 (2004), 1-22

    2004

  57. [65]

    Tseng, Orbifold quantum Riemann-Roch, Lefschetz and Serre, Geom

    H. Tseng, Orbifold quantum Riemann-Roch, Lefschetz and Serre, Geom. Topol. 14 (2010), No. 1, 1-81

    2010

  58. [66]

    Yoshioka, Moduli spaces of stable sheaves on abelian surfaces, Math

    K. Yoshioka, Moduli spaces of stable sheaves on abelian surfaces, Math. Ann. 321 (4) (2001), 817-884

    2001

  59. [67]

    Yamagishi, Symplectic resolutions of the Hilbert squares of ADE surface singularities, arXiv:1709.05886v4, (2018)

    R. Yamagishi, Symplectic resolutions of the Hilbert squares of ADE surface singularities, arXiv:1709.05886v4, (2018)

    2018 arXiv

  60. [68]

    Zheng, Irreducibility of the Hilbert schemes of points on surfaces with Kleinian singularities, Commun

    X. Zheng, Irreducibility of the Hilbert schemes of points on surfaces with Kleinian singularities, Commun. Algebra, 51:1 (2023), 98-115,DOI: 10.1080/00927872.2022.2089993

    2023

  61. [69]

    Zhang, Moduli spaces of sheaves on K3 surfaces and symplectic stacks, Commun

    Z. Zhang, Moduli spaces of sheaves on K3 surfaces and symplectic stacks, Commun. Anal. Geom. 25, No. 5 (2017), 1063-1106

    2017

Pith tools

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