Pathologies on the Hilbert scheme of points

DOI10.1007/S00222-019-00939-5MaRDI QIDQ1985461zbMATH OpenOpenAlexWikidataFDO

Authors Joachim Jelisiejew

Publication date 7 April 2020

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.08531

zbMATH Keywords

Hilbert scheme of pointsVakil's Murphy's Law

Mathematics Subject Classification ID

Deformations and infinitesimal methods in commutative ring theory (13D10) Deformations of singularities (14B07) Local deformation theory, Artin approximation, etc. (14B12) Parametrization (Chow and Hilbert schemes) (14C05) Group actions on varieties or schemes (quotients) (14L30)

Abstract: We prove that the Hilbert scheme of points on a higher dimensional affine space is non-reduced and has components lying entirely in characteristic p for all primes p. In fact, we show that Vakil's Murphy's Law holds up to retraction for this scheme. Our main tool is a generalized version of the Bialynicki-Birula decomposition.

Review text

R. Vakil defined singularity type as an equivalence class of pointed schemes under the relation generated by \((X,x)\sim(Y,y)\) if there is a smooth morphism \((X,x)\rightarrow(Y,y)\) [\textit{R. Vakil}, Invent. Math. 164, No. 3, 569--590 (2006; Zbl 1095.14006)]. He showed that every singularity type over \(\mathbb Z\) appears on various moduli spaces of well-behaved objects: one says that Murphy's law holds for these moduli spaces. The author investigates the Hilbert scheme of points, which is missing in Vakil's list. The main theorem states that Murphy's law holds up to retraction for \(\mathrm{Hilb}_{\mathrm{pts}}(\mathbb A^{16}_{\mathbb Z})\). The proof proceeds by a series of reductions from objects with more structure. The main role is played by a generalized Białynicki-Birula decomposition [\textit{J. Jelisiejew} and \textit{Ł. Sienkiewicz}, J. Math. Pures Appl. (9) 131, 290--325 (2019; Zbl 1446.14030)]. In order to construct the local retractions, the author uses TNT frames. Using concrete singularity types, the author shows that \(\mathrm{Hilb}_{\mathrm{pts}}(\mathbb A^{16}_{\mathbb Z})\) and \(\mathrm{Hilb}_{\mathrm{pts}}(\mathbb A^{16}_{\mathbb C})\) are non-reduced, answering questions raised by J. Fogarty [\textit{J. Fogarty}, Am. J. Math. 90, 511--521 (1968; Zbl 0176.18401)]. He also shows that not all finite schemes over finite fields lift to characteristic zero, answering a question by R. Hartshorne [\textit{R. Hartshorne}, Deformation theory. Berlin: Springer (2010; Zbl 1186.14004)]. As a corollary of the main theorem, Murphy's law holds up to retraction for \(\mathrm{Hilb}_{\mathrm{pts}}(\mathbb P^{16}_{\mathbb Z})\). Since the forgetful functor from embedded to abstract deformations of a finite scheme is smooth, the above described pathologies appear for abstract deformations of finite schemes. The author highlights that the choice of ambient dimension \(n=16\) was made for sake of transparency in the proof, but he suggests that the result may hold for \(n=6\) or even \(n=4\).

Recommendations

• Murphy's law for Hilbert function strata in the Hilbert scheme of points
• Mnëv-Sturmfels universality for schemes
• scientific article; zbMATH DE number 4053770
• A note on the Hilbert scheme of points on a cusp curve
• The Chow of \(S^{[n]}\) and the universal subscheme
• Singular homology of arithmetic schemes
• scientific article; zbMATH DE number 125562
• scientific article; zbMATH DE number 889131
• Murphy's law in algebraic geometry: Badly-behaved deformation spaces
• Computable Białynicki-Birula decomposition of the Hilbert scheme

Cites work

• Algebraic Families on an Algebraic Surface
• Białynicki-Birula decomposition for reductive groups
• Deformation Theory
• Double-generic initial ideal and Hilbert scheme
• Elementary components of Hilbert schemes of points
• Hilbert schemes of 8 points
• scientific article; zbMATH DE number 5968745 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Le schéma de Hilbert des courbes gauches localement Cohen-Macaulay n'est (presque) jamais réduit
• Lectures on deformations of singularities. Notes by C. S. Seshadri, Allen Tannenbaum
• Liftability of singularities and their Frobenius morphism modulo p^2
• Lifting zero-dimensional schemes and divided powers
• Mnëv-Sturmfels universality for schemes
• Motivic degree zero Donaldson-Thomas invariants
• Multigraded Hilbert schemes
• Murphy's law for Hilbert function strata in the Hilbert scheme of points
• Murphy's law in algebraic geometry: Badly-behaved deformation spaces
• Notes on Crystalline Cohomology. (MN-21)
• Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes
• Some theorems on actions of algebraic groups
• The Milnor fibre of the Pfaffian and the Hilbert scheme of four points on \(\mathbb{C}^3\)
• The moduli space of commutative algebras of finite rank

Cited in

(38)

• Hilbert schemes of 8 points
• Pathologies of the Hilbert scheme of points of a supersingular Enriques surface
• Primary ideals and their differential equations
• Components and singularities of Quot schemes and varieties of commuting matrices
• Murphy's law in algebraic geometry: Badly-behaved deformation spaces
• The Gröbner fan of the Hilbert scheme
• Pathological phenomena in Denjoy-Carleman classes
• Białynicki-Birula schemes in higher dimensional Hilbert schemes of points and monic functors
• Murphy's law for Hilbert function strata in the Hilbert scheme of points
• On the tangent space to the Hilbert scheme of points in 𝐏³
• On deformation spaces of toric singularities and on singularities of K-moduli of Fano varieties
• Mnëv-Sturmfels universality for schemes
• Frobenius splitting of Hilbert schemes of points on surfaces
• Hilbert schemes with two Borel-fixed points in arbitrary characteristic
• A sign that used to annoy me, and still does
• Geometry of canonical genus 4 curves
• Small elementary components of Hilbert schemes of points
• More elementary components of the Hilbert scheme of points
• Galois closures and elementary components of Hilbert schemes of points
• Bounding embedded singularities of Hilbert schemes of points on affine three space
• Open problems in deformations of Artinian algebras, Hilbert schemes and around
• Universality for tropical and logarithmic maps
• Unexpected but recurrent phenomena for Quot and Hilbert schemes of points
• The motive of the Hilbert scheme of points in all dimensions
• Geometric complexity theory for product-plus-power
• On the parity conjecture for Hilbert schemes of points on threefolds
• Conjectural Criteria for the Most Singular Points of the Hilbert Schemes of Points
• Fixed-parameter debordering of Waring rank
• Homogeneous algebraic complexity theory and algebraic formulas
• On singular Hilbert schemes of points: local structures and tautological sheaves
• The fiber-full scheme
• The geometry of double nested Hilbert schemes of points on curves
• The Hilbert scheme of infinite affine space and algebraic K-theory
• The Hilbert scheme of points on a threefold: broken Gorenstein structures and linkage
• On the quot scheme \(\operatorname{Quot}^l_{\mathrm{S}}(\mathcal{E})\)
• Non-reducedness of the Hilbert schemes of few points
• The Hilbert scheme of points for supersingular abelian surfaces
• The Milnor fibre of the Pfaffian and the Hilbert scheme of four points on \(\mathbb{C}^3\)

This page was built for publication: Pathologies on the Hilbert scheme of points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1985461)