The matroid stratification of the Hilbert scheme of points on P^1

DOI10.1007/S00229-021-01280-ZMaRDI QIDQ2066288zbMATH OpenOpenAlexFDO

Authors Rob Silversmith

Publication date 14 January 2022

Published in Manuscripta Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

multigraded Hilbert schemesSchur polynomialstropical ideals

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Parametrization (Chow and Hilbert schemes) (14C05)

Abstract: Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $fin{I}_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(mathbb{P}^1{)}^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(mathbb{A}^2{)}^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.

Review text

From the abstract: Given a homogeneous ideal \(I \) in a polynomial ring over a field, one may record, for each degree \(d\) and for each polynomial \(f\in I_d\), the set of monomials in \(f\) with nonzero coefficients. These data collectively form the \(tropicalization\) of \(I\) . Tropicalizing ideals induces a ``matroid stratification on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points (\(\mathbb{P}^1)^{[k]}\) is generated by all Schur polynomials in \(k\) variables. We end with an application to the \(T\) -graph problem of (\(\mathbb{A}^2)^{[n]}\); classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.

Recommendations

• The T-graph of a multigraded Hilbert scheme
• On the tropicalization of the Hilbert scheme
• A stratification of the Hilbert scheme of points in the projective plane
• The Gröbner fan of the Hilbert scheme
• A stratification of Hilbert schemes by initial ideals and applications

Cites work

• Equations of tropical varieties
• scientific article; zbMATH DE number 5047784 (Why is no real title available?)
• Incidence relations among the Schubert cells of equivariant punctual Hilbert schemes
• Irreducible components of the equivariant punctual Hilbert schemes
• Multigraded Hilbert schemes
• Punctual Hilbert schemes
• Quantum cohomology of the Hilbert scheme of points in the plane
• Regular sequences of symmetric polynomials
• Smooth and irreducible multigraded Hilbert schemes
• The graph of monomial ideals
• The T-graph of a multigraded Hilbert scheme
• Tropical ideals

Cited in

(11)

• A stratification of the Hilbert scheme of points in the projective plane
• On the tropicalization of the Hilbert scheme
• Varieties of tropical ideals are balanced
• Paving tropical ideals
• Tropical schemes, tropical cycles, and valuated matroids
• The Gröbner fan of the Hilbert scheme
• Gröbner strata in the Hilbert scheme of points
• The T-graph of a multigraded Hilbert scheme
• Small elementary components of Hilbert schemes of points
• The spine of the \(T\)-graph of the Hilbert scheme of points in the plane
• Projective hypersurfaces in tropical scheme theory. I: The Macaulay ideal

Describes a project that uses

Uses Software

• TEdges

This page was built for publication: The matroid stratification of the Hilbert scheme of points on \(\mathbb{P}^1\)

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