MarkedFamiliesWarsaw.m2
(click to download)
Available at
$p(t) \in \mathbb{Q}[t]$ Hilbert polynomial $\mathbb{K}[\mathbf{x}] = \mathbb{K}[x_0,\ldots,x_n]$ coordinate ring of $\mathbb{P}^n$
Consider
$$ \mathbf{Hilb}^{p(t)}(\mathbb{P}^n) = \bigsqcup_{J \in \mathcal{M}_{p(t)}} \mathbf{St}_{\prec}(J) $$
Notari, Spreafico. A stratification of Hilbert schemes by initial ideals and applications, Manuscripta Math. (2000)
$J \subset \mathbb{K}[\mathbf{x}]$ quasi-stable ideal, $\mathcal{P}_J$ Pommaret basis, $\mathcal{N}(J) = \{\text{monomials}\ \mathbf{x}^\alpha \notin J\}$
definition A $J$-marked set is a set of polynomials $$ F = \left\{ f_{\alpha} := \mathbf{x}^\alpha + \sum_{\mathbf{x}^\beta \in \mathcal{N}(J)_{\vert \alpha\vert}} a_{\alpha,\beta}\, \mathbf{x}^\beta \ \middle\vert\ \mathbf{x}^{\alpha} \in \mathcal{P}_{J},\ a_{\alpha,\beta} \in \mathbb{K}\right\} $$
definition A $J$-marked set $F = \{f_\alpha\ \vert\ \mathbf{x}^\alpha \in \mathcal{P}_J\}$ is called $J$-marked basis if $$ \mathbb{K}[\mathbf{x}] = (F) \oplus \langle \mathcal{N}(J) \rangle\qquad\Longleftrightarrow\qquad \mathbb{K}[\mathbf{x}]/(F) = \langle \mathcal{N}(J)\rangle $$
Cioffi, Roggero. Flat families by strongly stable ideals and a generalization of Groebner bases, J. Symb. Comp. (2011)
theorem Given a $J$-marked set $F = \left\{ f_{\alpha}\ \middle\vert\ \mathbf{x}^\alpha \in \mathcal{P}_J \right\}$, we can define a noetherian procedure called $\ast$-reduction $$ p \in \mathbb{K}[\mathbf{x}] \qquad \stackrel{F}{\longrightarrow}_{\ast} \qquad r \in \left\langle\mathcal{N}(J)\right\rangle $$
theorem $F = \left\{ f_{\alpha}\ \middle\vert\ \mathbf{x}^\alpha \in \mathcal{P}_J \right\}$ $J$-marked set $$ F\ \text{is a}\ J\text{-marked basis} \qquad \Longleftrightarrow\qquad x_i f_{\alpha} \stackrel{F}{\longrightarrow}_{\ast} 0,\quad \forall\ x_i,\ \forall\ f_{\alpha} $$
definition $J\subset \mathbb{K}[\mathbf{x}]$ quasi-stable ideal. Define the functor $$ \underline{\mathbf{Mf}}_J : (\mathbb{K}\text{-algebras}) \to (\text{Sets}) $$ such that $$ \begin{split} \underline{\mathbf{Mf}}_J(A) &{}= \left\{ I \subset A[\mathbf{x}]\ \middle\vert\ A[\mathbf{x}] = I \oplus \langle\mathcal{N}(J)\rangle\right\}\\ &{}= \left\{ I \subset A[\mathbf{x}]\ \middle\vert\ I = (F),\ J\text{-marked basis}\ F\right\} \end{split} $$
theorem $J \in \mathcal{M}_{p(t)}^{q.s.}$
L., Roggero. On the functoriality of marked families, J. Commut. Algebra (2016)
$$ \begin{array}{c c cccc ccccc cc} \underline{\mathbf{Mf}}_J(A) & \subseteq & \underline{\mathbf{Mf}}_{J_{\geqslant 2}}(A) & \subseteq & & \ldots && \subseteq & \underline{\mathbf{Mf}}_{J_{\geqslant t}}(A) & \subseteq && \ldots \\ I & \mapsto & I_{\geqslant 2} & \mapsto && \ldots && \mapsto & I_{\geqslant t} & \mapsto && \ldots \\ \\ \end{array} $$
theorem For $t \gg 0$, $\underline{\mathbf{Mf}}_{J_{\geqslant t}}$ is an open subfunctor of the Hilbert functor, i.e. $$ \mathbf{Mf}_{J_{\geqslant t}} \underset{\text{open}}{\subset} \mathbf{Hilb}^{p(t)}(\mathbb{P}^n) $$
markedFamily J
J
quasi-stable ideal
openSubsetHilbertScheme J
J
quasi-stable ideal
markedFamily J
J
quasi-stable idealMinimize => ...
, a Boolean value, default value false, whether to try to reduce the number of parameters
tangentSpaceMarkedFamily J
tangentSpaceMarkedFamily (J,I)
J
quasi-stable idealI
homogeneous ideal
tangentSpaceHilbertScheme J
tangentSpaceHilbertScheme (J,I)
tangentSpaceHilbertScheme I
J
quasi-stable idealI
homogeneous idealGiven
Show
Jelisiejew. Local finite-dimensional Gorenstein $k$-algebras having Hilbert function (1,5,5,1) are smoothable, J. Algebra Appl. (2014)
Consider $$ L \subset (x,y,z)^7 \subset R = \mathbb{K}[x,y,z] $$ such that
Check
Compute
For $\mathcal{M}_g,\ g \leqslant 10$, the unirationality proof uses plane models with double points in general position [Severi]
$$r=2 \qquad d = \min\{d\ \vert\ \rho(g,d,r) \geqslant 0\} \qquad \delta = \binom{d-1}{2}-g$$
Schreyer. Computer aided unirationality proofs of moduli spaces, Handbook of moduli. Vol. III (2013)
$(J_1,J_2)$ pair of quasi-stable ideals s.t. $J_2 \subset J_1$: $$ \begin{split} & F_1 = \left\{ f_{\alpha}\ \middle\vert\ \mathbf{x}^\alpha \in \mathcal{P}_{J_1}\right\}\ \text{describes}\ \mathbf{Mf}_{J_1}\\ & F_2 = \left\{ g_{\beta}\ \middle\vert\ \mathbf{x}^\beta \in \mathcal{P}_{J_2}\right\}\ \text{describes}\ \mathbf{Mf}_{J_2} \end{split} $$
$H \subset \mathbf{Mf}_{J_1} \times \mathbf{Mf}_{J_2}$ open in $\mathbf{Hilb}^{(n_1,n_2)}(\mathbb{A}^3)$ defined by imposing $$ g_{\beta} \stackrel{F_1}{\longrightarrow}_\star 0,\qquad\forall\ g_\beta \in F_2 $$
$$ \begin{array}{ccc} \text{quasi-stable ideal}\ J& \qquad\leadsto\qquad & \text{quasi-stable submodule}\ \oplus J^{(k)} \mathbf{e}_k\\ \mathbf{Hilb}^{p(t)}(\mathbb{P}^n)& \qquad\leadsto\qquad & \mathbf{Quot}^{p(t)}(\mathcal{O}_{\mathbb{P}^n}^r)\\ \end{array} $$
markedFamily U
openSubsetQuotScheme U
tangentSpaceMarkedFamily U
dimTangentSpaceMarkedFamily U
tangentSpaceQuotScheme U
dimTangentSpaceQuotScheme U
U
quasi-stable submoduleAlbert, Bertone, Roggero, Seiler. Computing Quot schemes via marked bases over quasi-stable modules, J. Algebra (2020)
$$R = \mathbb{K}[x_0,x_1,x_2,x_3,x_4] \qquad\qquad\qquad M : R^{12}(-1) \to R^4$$ $$ \small\left[ \begin{array}{cccccccccccc} x_{0}&x_{1}&x_{2}&x_{3}&0&0&0&0&0&0&0&0\\ 0&0&0&0&x_{0}&x_{1}&x_{2}&x_{3}&0&0&0&0\\ 0&0&0&0&0&0&0&0&x_{0}&x_{1}&x_{2}&x_{3}\\ 0&0&x_{3}&x_{0}&x_{1}&0&0&2\,x_{0}+3\,x_{1}+x_{2}+2\,x_{3}&x_{1}+x_{2}&2\,x_{0}+3\,x_{1}+5\,x_{2}+5\,x_{3}&0&0 \end{array}\right] $$ $$ X = [\text{coker}(M)] \in \mathbf{Quot}^8(\mathcal{O}_{\mathbb{P}^4}^4)\qquad\qquad \dim T_X \mathbf{Quot}^8(\mathcal{O}_{\mathbb{P}^4}^4) = ?? $$
Jelisiejew, Šivic. Components and singularities of Quot schemes and varieties of commuting matrices, Crelles Journal (2022)