The Hilbert scheme of a pair of linear spaces

DOI10.1007/S00209-021-02788-6MaRDI QIDQ2070943zbMATH OpenOpenAlexFDO

Authors Ritvik Ramkumar

Publication date 25 January 2022

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Borel fixed pointseffective conesFano varietiesGrassmann varietiesHilbert schemesMori dream spaces

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Deformations and infinitesimal methods in commutative ring theory (13D10) Parametrization (Chow and Hilbert schemes) (14C05) Rational and birational maps (14E05) Minimal model program (Mori theory, extremal rays) (14E30) Grassmannians, Schubert varieties, flag manifolds (14M15)

Abstract: Let $mathcal{H}_{a,b}^n$ denote the component of the Hilbert scheme whose general point parameterizes an $a$-plane union a $b$-plane meeting transversely in $mathbf{P}^n$. We show that $mathcal{H}_{a,b}^n$ is smooth and isomorphic to successive blow ups of $mathbfGr(a,n)imesmathbfGr(b,n)$ or $ext{Sym}^{2}mathbfGr(a,n)$ along certain incidence correspondences. We classify the subschemes parameterized by $mathcal{H}_{a,b}^n$ and show that this component has a unique Borel fixed point. We also study the birational geometry of this component. In particular, we describe the effective and nef cones of $mathcal{H}_{a,b}^n$ and determine when the component is Fano. Moreover, we show that $mathcal{H}_{a,b}^n$ is a Mori dream space for all values of $a,b,n$.

Review text

\textit{D. Chen} et al. [Commun. Algebra 39, 3021--3043 (2011; Zbl 1238.14012] studied the Hilbert scheme component \(H_n \subset \text{Hilb} (\mathbb P^n)\) whose general point corresponds to the union of a pair of codimension two linear subspaces meeting transversely, showing that \(H_n\) is smooth, isomorphic to the blow up of the symmetric square of \(\mathbb G (n-2,n)\) along the diagonal, meets only one other component of the Hilbert scheme, and is a Mori dream space. Extending this work, the author offers a very complete study of the component \(\mathcal H_{c,d}^n \subset \text{Hilb} (\mathbb P^n)\) whose general point parametrizes a union of two linear subspaces of codimensions \(2 \leq c \leq d\) which meet transversely. He shows that \(\mathcal H_{c,d}^n\) is smooth, constructing it as (a) an iterated blow up over the symmetric square of \(\mathbb G (n-c,n)\) if \(c=d\) or (b) an iterated blow up over \(\mathbb G (n-c,n) \times \mathbb G (n-d,n)\) if \(d > c\). To show these isomorphisms, he constructs a Gröbner basis for the ideals of schemes parametrized by \(\mathcal H_{c,d}^n\), which leads to a classification of those schemes and the conclusion that \(\mathcal H_{c,d}^n\) has a unique Borel fixed point. In particular, there are exactly \(2^c\) schemes parametrized by \(\mathcal H_{c,d}^n\) up to projective equivalence. He goes on to determine the effective and Nef cones of \(\mathcal H_{c,d}^n\), concluding that \(\mathcal H_{c,d}^n\) is a Mori dream space. Furthermore \(\mathcal H_{c,d}^n\) is Fano if and only if \(c=3\) and \(n=5\) or \(c \neq 3\) and \(n=2c-1\) or \(2c\).

Recommendations

• Hilbert scheme of a pair of codimension two linear subspaces
• Smooth Hilbert schemes: their classification and geometry
• Hilbert schemes with two Borel-fixed points
• Recovering the good component of the Hilbert scheme
• Schematic union of \((n-3)\) and \((n-2)\) dimensional quadrics in \(\mathbb{P}^n\)

Cites work

• Algebraic Families on an Algebraic Surface
• Bott’s formula and enumerative geometry
• Deformation Theory
• Existence of minimal models for varieties of log general type
• Families of elliptic curves in \(\mathbb P^3\) and Bridgeland stability
• Higher-dimensional algebraic geometry
• Hilbert scheme of a pair of codimension two linear subspaces
• scientific article; zbMATH DE number 52497 (Why is no real title available?)
• scientific article; zbMATH DE number 125543 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 3805712 (Why is no real title available?)
• scientific article; zbMATH DE number 1822310 (Why is no real title available?)
• Hypersurfaces in P^5 containing unexpected subvarieties
• Invariant theory of finite groups
• Monomial Ideals
• Mori dream spaces
• Mori's Program for the Kontsevich Moduli Space
• Murphy's law in algebraic geometry: Badly-behaved deformation spaces
• On images of Mori dream spaces
• On the Hilbert Scheme Compactification of the Space of Twisted Cubics
• The Geometry of Syzygies
• The minimal model program for the Hilbert scheme of points on \(\mathbb P^2\) and Bridgeland stability

Cited in

(8)

• Commuting matrices and the Hilbert scheme of points on affine spaces
• Schematic union of \((n-3)\) and \((n-2)\) dimensional quadrics in \(\mathbb{P}^n\)
• Hilbert schemes with two Borel-fixed points
• The Hilbert scheme parameterizing finite length subschemes of the line with support at the origin.
• Hilbert scheme of a pair of codimension two linear subspaces
• The Hilbert Scheme of the Diagonal in a Product of Projective Spaces
• The fiber-full scheme
• Hilbert scheme of a pair of skew lines on cubic threefolds

This page was built for publication: The Hilbert scheme of a pair of linear spaces

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