Terminal quotient singularities in dimension three via variation of GIT (Q324236): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Given a group \(G\) acting on a variety \(M\), the McKay Correspondence studies the relation between resolutions of singularities \(\phi:Y\to M/G\) and certain moduli spaces of \(G\)-equivariant objects in \(M\). When \(M=\mathbb{C}^3\) and the group \(G\) is a finite subgroup of \(\mathrm{SL}_3(\mathbb{C})\) the celebrated result of \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] asserts that \(G\)-Hilb\((\mathbb{C}^3)\), the fine moduli space of \textit{\(G\)-clusters} (or scheme-theoretic orbits), is actually a crepant resolution. The paper under revision studies the case when \(G\subset \mathrm{GL}_3(\mathbb{C})\) where instead of looking for crepant resolutions, which no longer exist, one can ask about the ``closest resolution to being crepant''. This approach leads to the notion of \textit{economic resolutions} (also known as the Danilov resolution in the abelian case), which are obtained as a sequence of weighted blowups. In this case one has to consider the generalization of \(G\)-clusters know us \textit{\(G\)-constellations}, which are \(G\)-equivariant coherent sheaves \(\mathcal{F}\) on \(\mathbb{C}^n\) with \(H^0(\mathcal{F})\) isomorphic to the regular representation \(\mathbb{C}[G]\) as \(\mathbb{C}[G]\)-modules. For a generic stability parameter \(\theta\), it is know by \textit{A. Craw} et al. [Proc. Lond. Math. Soc. (3) 95, No. 1, 179--198 (2007; Zbl 1140.14046)] that the (possibly not normal) moduli space \(\mathcal{M}_\theta\) of \(\theta\)-stable \(G\)-constellations contains a unique irreducible component \(Y_\theta\) which is birational to \(\mathbb{C}^n/G\). Following the spirit of \textit{I. Nakamura}'s \(G\)-graphs to construct \(G\)-Hilb\((\mathbb{C}^3)\) [J.\ Algebr.\ Geom.\ 10, No.\ 4, 757--779 (2001; Zbl 1104.14003)], the author introduces the notion of \textit{G-bricks} to show that the economic resolution of a 3-fold terminal quotient singularity \(\mathbb{C}^3/G\), that is \(G=\frac{1}{r}(1,a,r-a)\) with \(r\) coprime to \(a\), is isomorphic to the birational component \(Y_\theta\) of the moduli space \(\mathcal{M}_\theta\) for a suitable stability parameter \(\theta\). This result was conjectured by \textit{O. Kędzierski} [Tohoku Math. J. (2) 66, No. 3, 355--375 (2014; Zbl 1309.14010)]. In fact, \(G\)-bricks determines an affine open cover of \(Y_\theta\), which consists of a union of copies of \(\mathbb{C}^3\). The author finishes with the explicit example \(G=\frac{1}{12}(1,7,5)\), relating it with Kedzierski's calculations. | |||
Property / review text: Given a group \(G\) acting on a variety \(M\), the McKay Correspondence studies the relation between resolutions of singularities \(\phi:Y\to M/G\) and certain moduli spaces of \(G\)-equivariant objects in \(M\). When \(M=\mathbb{C}^3\) and the group \(G\) is a finite subgroup of \(\mathrm{SL}_3(\mathbb{C})\) the celebrated result of \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] asserts that \(G\)-Hilb\((\mathbb{C}^3)\), the fine moduli space of \textit{\(G\)-clusters} (or scheme-theoretic orbits), is actually a crepant resolution. The paper under revision studies the case when \(G\subset \mathrm{GL}_3(\mathbb{C})\) where instead of looking for crepant resolutions, which no longer exist, one can ask about the ``closest resolution to being crepant''. This approach leads to the notion of \textit{economic resolutions} (also known as the Danilov resolution in the abelian case), which are obtained as a sequence of weighted blowups. In this case one has to consider the generalization of \(G\)-clusters know us \textit{\(G\)-constellations}, which are \(G\)-equivariant coherent sheaves \(\mathcal{F}\) on \(\mathbb{C}^n\) with \(H^0(\mathcal{F})\) isomorphic to the regular representation \(\mathbb{C}[G]\) as \(\mathbb{C}[G]\)-modules. For a generic stability parameter \(\theta\), it is know by \textit{A. Craw} et al. [Proc. Lond. Math. Soc. (3) 95, No. 1, 179--198 (2007; Zbl 1140.14046)] that the (possibly not normal) moduli space \(\mathcal{M}_\theta\) of \(\theta\)-stable \(G\)-constellations contains a unique irreducible component \(Y_\theta\) which is birational to \(\mathbb{C}^n/G\). Following the spirit of \textit{I. Nakamura}'s \(G\)-graphs to construct \(G\)-Hilb\((\mathbb{C}^3)\) [J.\ Algebr.\ Geom.\ 10, No.\ 4, 757--779 (2001; Zbl 1104.14003)], the author introduces the notion of \textit{G-bricks} to show that the economic resolution of a 3-fold terminal quotient singularity \(\mathbb{C}^3/G\), that is \(G=\frac{1}{r}(1,a,r-a)\) with \(r\) coprime to \(a\), is isomorphic to the birational component \(Y_\theta\) of the moduli space \(\mathcal{M}_\theta\) for a suitable stability parameter \(\theta\). This result was conjectured by \textit{O. Kędzierski} [Tohoku Math. J. (2) 66, No. 3, 355--375 (2014; Zbl 1309.14010)]. In fact, \(G\)-bricks determines an affine open cover of \(Y_\theta\), which consists of a union of copies of \(\mathbb{C}^3\). The author finishes with the explicit example \(G=\frac{1}{12}(1,7,5)\), relating it with Kedzierski's calculations. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E16 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L24 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6636993 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
McKay correspondence | |||
Property / zbMATH Keywords: McKay correspondence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
terminal quotient singularities | |||
Property / zbMATH Keywords: terminal quotient singularities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
economic resolutions | |||
Property / zbMATH Keywords: economic resolutions / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alvaro Nolla de Celis / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963644384 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1502.03579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The McKay correspondence as an equivalence of derived categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flops of \(G\)-Hilb and equivalences of derived categories by variation of GIT quotient / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moduli of McKay quiver representations I: the coherent component / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moduli of McKay quiver representations. II: Gröbner basis techniques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BIRATIONAL GEOMETRY OF TORIC 3-FOLDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: McKay correspondence and Hilbert schemes in dimension three / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4655216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Danilov's resolution and representations of the McKay quiver / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MODULI OF REPRESENTATIONS OF FINITE DIMENSIONAL ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The construction of ALE spaces as hyper-Kähler quotients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Terminal Quotient Singularities in Dimensions Three and Four / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric Invariant Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2769834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772328 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:35, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Terminal quotient singularities in dimension three via variation of GIT |
scientific article |
Statements
Terminal quotient singularities in dimension three via variation of GIT (English)
0 references
10 October 2016
0 references
Given a group \(G\) acting on a variety \(M\), the McKay Correspondence studies the relation between resolutions of singularities \(\phi:Y\to M/G\) and certain moduli spaces of \(G\)-equivariant objects in \(M\). When \(M=\mathbb{C}^3\) and the group \(G\) is a finite subgroup of \(\mathrm{SL}_3(\mathbb{C})\) the celebrated result of \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] asserts that \(G\)-Hilb\((\mathbb{C}^3)\), the fine moduli space of \textit{\(G\)-clusters} (or scheme-theoretic orbits), is actually a crepant resolution. The paper under revision studies the case when \(G\subset \mathrm{GL}_3(\mathbb{C})\) where instead of looking for crepant resolutions, which no longer exist, one can ask about the ``closest resolution to being crepant''. This approach leads to the notion of \textit{economic resolutions} (also known as the Danilov resolution in the abelian case), which are obtained as a sequence of weighted blowups. In this case one has to consider the generalization of \(G\)-clusters know us \textit{\(G\)-constellations}, which are \(G\)-equivariant coherent sheaves \(\mathcal{F}\) on \(\mathbb{C}^n\) with \(H^0(\mathcal{F})\) isomorphic to the regular representation \(\mathbb{C}[G]\) as \(\mathbb{C}[G]\)-modules. For a generic stability parameter \(\theta\), it is know by \textit{A. Craw} et al. [Proc. Lond. Math. Soc. (3) 95, No. 1, 179--198 (2007; Zbl 1140.14046)] that the (possibly not normal) moduli space \(\mathcal{M}_\theta\) of \(\theta\)-stable \(G\)-constellations contains a unique irreducible component \(Y_\theta\) which is birational to \(\mathbb{C}^n/G\). Following the spirit of \textit{I. Nakamura}'s \(G\)-graphs to construct \(G\)-Hilb\((\mathbb{C}^3)\) [J.\ Algebr.\ Geom.\ 10, No.\ 4, 757--779 (2001; Zbl 1104.14003)], the author introduces the notion of \textit{G-bricks} to show that the economic resolution of a 3-fold terminal quotient singularity \(\mathbb{C}^3/G\), that is \(G=\frac{1}{r}(1,a,r-a)\) with \(r\) coprime to \(a\), is isomorphic to the birational component \(Y_\theta\) of the moduli space \(\mathcal{M}_\theta\) for a suitable stability parameter \(\theta\). This result was conjectured by \textit{O. Kędzierski} [Tohoku Math. J. (2) 66, No. 3, 355--375 (2014; Zbl 1309.14010)]. In fact, \(G\)-bricks determines an affine open cover of \(Y_\theta\), which consists of a union of copies of \(\mathbb{C}^3\). The author finishes with the explicit example \(G=\frac{1}{12}(1,7,5)\), relating it with Kedzierski's calculations.
0 references
McKay correspondence
0 references
terminal quotient singularities
0 references
economic resolutions
0 references
0 references