Real rank boundaries and loci of forms

In this article we study forbidden loci and typical ranks of forms with respect to the embeddings of $\mathbb P^1\times \mathbb P^1$ given by the line bundles $(2,2d)$. We introduce the Ranestad-Schreyer locus corresponding to supports of non-reduced apolar schemes. We show that, in those cases, this is contained in the forbidden locus. Furthermore, for these embeddings, we give a component of the real rank boundary, the hypersurface dividing the minimal typical rank from higher ones. These results generalize to a class of embeddings of $\mathbb P^n\times \mathbb P^1$. Finally, in connection with real rank boundaries, we give a new interpretation of the $2\times n \times n$ hyperdeterminant.Comment: 17 p

Preface

The aim of this volume is to advance the understanding of linear spaces of symmetric matrices. These seemingly simple objects play many different roles across several fields of mathematics. For instance, in algebraic statistics these spaces appear as linear Gaussian covariance or concentration models, while in enumerative algebraic geometry they classically represent spaces of smooth quadrics satisfying certain tangency conditions. In semidefinite programming, linear spaces of symmetric matrices define the spectrahedra on which optimization problems are considered, and in nonlinear algebra they encode partially symmetric tensors. It is often the case that one of the above-mentioned fields inspires or pro- vides tools for the advancement of the others. In the articles that follow, the reader will find several examples where this has happened through the common link of linear spaces of symmetric matrices. This volume is the culmination of a collaboration project with the same name, which began at MPI Leipzig in June 2020. Over the course of several months, about 40 researchers gathered on-line to work on the ideas and projects that eventually became the articles of this special issue. We are grateful to Bernd Sturmfels for initiating the project and for being its driving force, in particular for presenting the list of open problems that served as a starting point for the working groups that formed. Many of his conjectures became theorems in this volume. We thank Biagio Ricceri and the editorial team of Le Matematiche for co- ordinating the publication of this volume. Finally, thanks to all participants for their contributions to the talks, discussions, and articles around the project

Apolarity, Hessian and Macaulay polynomials

A result by Macaulay states that an Artinian graded Gorenstein ring R of socle dimension one and socle degree b can be realized as the apolar ring of a homogeneous polynomial f of degree b. If R is the Jacobian ring of a smooth hypersurface g=0, then b is just equal to the degree of the Hessian polynomial of g. In this paper we investigate the relationship between f and the Hessian polynomial of g.Comment: 12 pages. Improved exposition, minor correction

Decomposition of homogeneous polynomials with low rank

Let $F$ be a homogeneous polynomial of degree $d$ in $m+1$ variables defined over an algebraically closed field of characteristic zero and suppose that $F$ belongs to the $s$-th secant varieties of the standard Veronese variety $X_{m,d}\subset \mathbb{P}^{{m+d\choose d}-1}$ but that its minimal decomposition as a sum of $d$-th powers of linear forms $M_1, ..., M_r$ is $F=M_1^d+... + M_r^d$ with $r>s$. We show that if $s+r\leq 2d+1$ then such a decomposition of $F$ can be split in two parts: one of them is made by linear forms that can be written using only two variables, the other part is uniquely determined once one has fixed the first part. We also obtain a uniqueness theorem for the minimal decomposition of $F$ if the rank is at most $d$ and a mild condition is satisfied.Comment: final version. Math. Z. (to appear

Three embeddings of the Klein simple group into the Cremona group of rank three

We study the action of the Klein simple group G consisting of 168 elements on two rational threefolds: the three-dimensional projective space and a smooth Fano threefold X of anticanonical degree 22 and index 1. We show that the Cremona group of rank three has at least three non-conjugate subgroups isomorphic to G. As a by-product, we prove that X admits a Kahler-Einstein metric, and we construct a smooth polarized K3 surface of degree 22 with an action of the group G.Comment: 43 page

Linear precision for toric surface patches

We classify the homogeneous polynomials in three variables whose toric polar linear system defines a Cremona transformation. This classification also includes, as a proper subset, the classification of toric surface patches from geometric modeling which have linear precision. Besides the well-known tensor product patches and B\'ezier triangles, we identify a family of toric patches with trapezoidal shape, each of which has linear precision. B\'ezier triangles and tensor product patches are special cases of trapezoidal patches

Rationality of the moduli spaces of plane curves of sufficiently large degree

We prove that the moduli space of plane curves of degree d is rational for all sufficiently large d.Comment: 18 pages; 1 figure; Macaulay2 scripts used can be found at http://www.uni-math.gwdg.de/bothmer/rationality/ or at the end of the latex source fil