Components of Gr\"obner strata in the Hilbert scheme of points

We fix the lexicographic order $\prec$ on the polynomial ring $S=k[x_{1},...,x_{n}]$ over a ring $k$. We define \Hi^{\prec\Delta}_{S/k}, the moduli space of reduced Gr\"obner bases with a given finite standard set $\Delta$, and its open subscheme \Hi^{\prec\Delta,\et}_{S/k}, the moduli space of families of #\Delta points whose attached ideal has the standard set $\Delta$. We determine the number of irreducible and connected components of the latter scheme; we show that it is equidimensional over ${\rm Spec}\,k$; and we determine its relative dimension over ${\rm Spec} k$. We show that analogous statements do not hold for the scheme \Hi^{\prec\Delta}_{S/k}. Our results prove a version of a conjecture by Bernd Sturmfels.Comment: 49 page

Finite sets of dd-planes in affine space

Let $A$ be a subvariety of affine space $\mathbb{A}^n$ whose irreducible components are $d$-dimensional linear or affine subspaces of $\mathbb{A}^n$. Denote by $D(A)\subset\mathbb{N}^n$ the set of exponents of standard monomials of $A$. We show that the combinatorial object $D(A)$ reflects the geometry of $A$ in a very direct way. More precisely, we define a $d$-plane in $\mathbb{N}^n$ as being a set $\gamma+\oplus_{j\in J}\mathbb{N}e_{j}$, where #J=d and $\gamma_{j}=0$ for all $j\in J$. We call the $d$-plane thus defined to be parallel to $\oplus_{j\in J}\mathbb{N}e_{j}$. We show that the number of $d$-planes in $D(A)$ equals the number of components of $A$. This generalises a classical result, the finiteness algorithm, which holds in the case $d=0$. In addition to that, we determine the number of all $d$-planes in $D(A)$ parallel to $\oplus_{j\in J}\mathbb{N}e_{j}$, for all $J$. Furthermore, we describe $D(A)$ in terms of the standard sets of the intersections $A\cap\{X_{1}=\lambda\}$, where $\lambda$ runs through $\mathbb{A}^1$.Comment: 31 pages, 8 figure

Bialynicki-Birula schemes in higher dimensional Hilbert schemes of points and monic functors

The Bialynicki-Birula cells on the Hilbert scheme H^n({A}^d) are smooth and reduced in dimension d=2. We prove that there is a schematic structure in higher dimension, the Bialynicki-Birula scheme, which is natural in the sense that it represents a functor. Let \rho_i be the Hilbert-Chow morphism from the Hilbert scheme H^n({A}^d) to Sym^n(A^1) associated with the i^{th} coordinate. We prove that a Bialynicki-Birula scheme associated with an action of a torus T is schematically included in the fiber over the origin $\rho_i^{-1}(0)$ if the i^{th} weight of T is non positive. We prove that the monic functors parametrizing families of ideals with a prescribed initial ideal are representable.Comment: 18 pages, simplified proofs, noetherian assumptions removed, bibliography improve

Connect Four and Graph Decomposition

We introduce the standard decomposition, a way of decomposing a labeled graph into a sum of certain labeled subgraphs. We motivate this graph-theoretic concept by relating it to Connect Four decompositions of standard sets. We prove that all standard decompositions can be generated in polynomial time, which implies that all Connect Four decompositions can be generated in polynomial time