Table of Contents
Fetching ...

Open Covers and Lex Points of Hilbert schemes over quotient rings via relative marked bases

Cristina Bertone, Francesca Cioffi, Matthias Orth, Werner M. Seiler

Abstract

We introduce the notion of a relative marked basis over quasi-stable ideals, together with constructive methods and a functorial interpretation, developing computational methods for the study of Hilbert schemes over quotients of polynomial rings. Then we focus on two applications. The first has a theoretical flavour and produces an explicit open cover of the Hilbert scheme when the quotient ring is Cohen-Macaulay on quasi-stable ideals. Together with relative marked bases, we use suitable general changes of variables which preserve the structure of the quasi-stable ideal, against the expectations. The second application has a computational flavour. When the quotient rings are Macaulay-Lex on quasi-stable ideals, we investigate the lex-point of the Hilbert schemes and find examples of both smooth and singular lex-points.

Open Covers and Lex Points of Hilbert schemes over quotient rings via relative marked bases

Abstract

We introduce the notion of a relative marked basis over quasi-stable ideals, together with constructive methods and a functorial interpretation, developing computational methods for the study of Hilbert schemes over quotients of polynomial rings. Then we focus on two applications. The first has a theoretical flavour and produces an explicit open cover of the Hilbert scheme when the quotient ring is Cohen-Macaulay on quasi-stable ideals. Together with relative marked bases, we use suitable general changes of variables which preserve the structure of the quasi-stable ideal, against the expectations. The second application has a computational flavour. When the quotient rings are Macaulay-Lex on quasi-stable ideals, we investigate the lex-point of the Hilbert schemes and find examples of both smooth and singular lex-points.
Paper Structure (12 sections, 21 theorems, 30 equations, 1 algorithm)

This paper contains 12 sections, 21 theorems, 30 equations, 1 algorithm.

Key Result

Proposition 1.2

If $\tilde{I}$ is a quasi-stable ideal, then $\mathcal{B}_{\tilde{I}}\subseteq \mathcal{P}_{\tilde{I}}$ holds and the regularity $\mathrm{reg}(\tilde{I})$ coincides with the maximum degree of a term in $\mathcal{P}_{\tilde{I}}$.

Theorems & Definitions (67)

  • Definition 1.1
  • Proposition 1.2: Seiler2009II, Seiler:InvolutionBook
  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • Remark 2.4
  • Remark 2.5
  • Proposition 2.6
  • proof
  • ...and 57 more