Strata of vector spaces of forms in R = k[x, y], and of rational curves in Pk. arXiv:1306.1282 [math.AC], to appear

Consider the polynomial ring R = k[x, y] over an infinite field k and the subspace Rj of degree-j homogeneous polynomials. The Grassmanian G = Grass(Rj, d) parametrizes the vector spaces V ⊂ Rj having dimension d. The strata GrassH(Rj, d) ⊂ G determined by the Hilbert function H = H(R/(V)) or, equivalently, by the Betti numbers of the algebra R/(V), are locally closed and irreducible of known dimension. They satisfy a frontier property that the closure of a stratum is its union with lower strata [I1, I2]. The strata are determined also by the decomposition of the restricted tangent bundle TV = φ∗V (T) where T is the tangent bundle on Pd−1 and φV is the rational curve determined by V. Each stratum corresponds to a partition, and the the poset of strata under closure is isomorphic to the poset of corresponding partitions in the Bruhat order. They are coarser than the strata defined by D. Cox, A. Kustin, C. Polini, and B. Ulrich [CKPU] and studied further in [KPU], that are determined in part by singularities of φV. We explain these results and give examples to make them more accessible. We also generalize a result of D. Cox, T. Sederberg, and F. Chen and another of C. D’Andrea concerning the dimension and closure of µ families of parametrized rational curves from planar [CSC, D] to higher dimensional embeddings (Theorem 1.11). Consider the polynomial ring R = k[x, y] with maximum ideal m = (x, y) over an infinite field k, and write R = ⊕∞0 Rj. Let V ⊂ Rj be a d-dimensional vector space of degree-j forms; then V determines a rational curve φV: P1 → Pd−1. We denote by Grass(Rj, d) the Grassmann variety parametrizing all such d-dimensional subspaces of Rj. The Hilbert function H(A), A = R/(V) is the sequence H(A) = (1, 2,..., j, j + 1 − d,... hi,...), hi = dimk(Ai). (0.1) The sequences H possible for such a Hilbert function are well-known (Lemma 0.2). We denote by GrassH(Rj, d) ⊂ Grass(Rj, d) the corresponding parameter space. C. Polini described in her talk [Pol] her study with collaborators D. Cox, A. Kustin, and B. Ulrich [CKPU, KPU] of certain locally closed subfamilies of Grass(Rj, d) determined by the singularity types of the associated rational planar and space curves φV. They relate these 1 a