Showing 1–50 of 54 results for author: Ranestad, K

Moment varieties of the inverse Gaussian and gamma distributions are nondefective

Authors: Oskar Henriksson, Kristian Ranestad, Lisa Seccia, Teresa Yu

Abstract: We show that the parameters of a $k$-mixture of inverse Gaussian or gamma distributions are algebraically identifiable from the first $3k-1$ moments, and rationally identifiable from the first $3k+2$ moments. Our proofs are based on Terracini's classification of defective surfaces, careful analysis of the intersection theory of moment varieties, and a recent result on sufficient conditions for rat… ▽ More We show that the parameters of a $k$-mixture of inverse Gaussian or gamma distributions are algebraically identifiable from the first $3k-1$ moments, and rationally identifiable from the first $3k+2$ moments. Our proofs are based on Terracini's classification of defective surfaces, careful analysis of the intersection theory of moment varieties, and a recent result on sufficient conditions for rational identifiability of secant varieties by Massarenti--Mella. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 23 pages, comments welcome!

MSC Class: 62R01; 14C17; 14N05; 14N07; 14M12

Variety of apolar schemes to powers of quadrics

Authors: Grzegorz Kapustka, Michał Kapustka, Kristian Ranestad

Abstract: We study the variety $\rm{VAPS}_G(q_2^3, 10)$ (resp. $\rm{VAPS}_G(q_3^2, 10)$), a Grassmannian compactification of the variety of finite schemes of length $10$ apolar to $q_{2}^3$ (resp. $q_3^2$), where $\{q_{n} = 0\}\subset \mathbb P^{n} $ is a smooth quadric hypersurface. In particular, we show that $\rm{VAPS_G}(q_2^3, 10)$ is the tangent developable of a rational normal curve, while… ▽ More We study the variety $\rm{VAPS}_G(q_2^3, 10)$ (resp. $\rm{VAPS}_G(q_3^2, 10)$), a Grassmannian compactification of the variety of finite schemes of length $10$ apolar to $q_{2}^3$ (resp. $q_3^2$), where $\{q_{n} = 0\}\subset \mathbb P^{n} $ is a smooth quadric hypersurface. In particular, we show that $\rm{VAPS_G}(q_2^3, 10)$ is the tangent developable of a rational normal curve, while $\rm{VAPS}_G(q_3^2, 10)$ is reducible with three singular $5$-dimensional components. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 53 pages, comments welcome

MSC Class: 14N07; 14J40; 14J45; 14M99; 13E10; 13H10

A Real Generalized Trisecant Trichotomy

Authors: Kristian Ranestad, Anna Seigal, Kexin Wang

Abstract: The classical trisecant lemma says that a general chord of a non-degenerate space curve is not a trisecant; that is, the chord only meets the curve in two points. The generalized trisecant lemma extends the result to higher-dimensional varieties. It states that the linear space spanned by general points on a projective variety intersects the variety in exactly these points, provided the dimension… ▽ More The classical trisecant lemma says that a general chord of a non-degenerate space curve is not a trisecant; that is, the chord only meets the curve in two points. The generalized trisecant lemma extends the result to higher-dimensional varieties. It states that the linear space spanned by general points on a projective variety intersects the variety in exactly these points, provided the dimension of the linear space is smaller than the codimension of the variety and that the variety is irreducible, reduced, and non-degenerate. We prove a real analogue of the generalized trisecant lemma, which takes the form of a trichotomy. Along the way, we characterize the possible numbers of real intersection points between a real projective variety and a complimentary dimension real linear space. We show that any integer of correct parity between a minimum and a maximum number can be achieved. We then specialize to Segre-Veronese varieties, where our results apply to the identifiability of independent component analysis, tensor decomposition and to typical tensor ranks. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 22 pages, 1 figure

MSC Class: 14P05; 14P25; 14C20; 14M25; 15A69; 62R01

Adjoints and Canonical Forms of Tree Amplituhedra

Authors: Kristian Ranestad, Rainer Sinn, Simon Telen

Abstract: We consider semi-algebraic subsets of the Grassmannian of lines in three-space called tree amplituhedra. These arise in the study of scattering amplitudes from particle physics. Our main result states that tree amplituhedra in ${\rm Gr}(2,4)$ are positive geometries. The numerator of their canonical form plays the role of the adjoint in Wachspress geometry, and is uniquely determined by explicit i… ▽ More We consider semi-algebraic subsets of the Grassmannian of lines in three-space called tree amplituhedra. These arise in the study of scattering amplitudes from particle physics. Our main result states that tree amplituhedra in ${\rm Gr}(2,4)$ are positive geometries. The numerator of their canonical form plays the role of the adjoint in Wachspress geometry, and is uniquely determined by explicit interpolation conditions. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 27 pages, 5 figures, 3 tables

The variety of polar simplices II

Authors: Joachim Jelisiejew, Kristian Ranestad, Frank-Olaf Schreyer

Abstract: We discuss the space $VPS(Q,H)$ of ideals with Hilbert function $H=(1,n,n, \ldots)$ that are apolar to a full rank quadric $Q$. We prove that its components of saturated ideals are closely related to the locus of Gorenstein algebras and to the Slip component in border apolarity. We also point out an important error in~[RS] and provide the necessary corrections. We discuss the space $VPS(Q,H)$ of ideals with Hilbert function $H=(1,n,n, \ldots)$ that are apolar to a full rank quadric $Q$. We prove that its components of saturated ideals are closely related to the locus of Gorenstein algebras and to the Slip component in border apolarity. We also point out an important error in~[RS] and provide the necessary corrections. △ Less

Submitted 8 April, 2024; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: version 2, final, to appear in Experimental Math

MSC Class: 14C05; 14J45

Convex hulls of surfaces in fourspace

Authors: Chiara Meroni, Kristian Ranestad, Rainer Sinn

Abstract: This is a case study of the algebraic boundary of convex hulls of varieties. We focus on surfaces in fourspace to showcase new geometric phenomena that neither curves nor hypersurfaces do. Our method is a detailed analysis of a general purpose formula by Ranestad and Sturmfels in the case of smooth real algebraic surfaces of low degree (that are rational over the complex numbers). We study both th… ▽ More This is a case study of the algebraic boundary of convex hulls of varieties. We focus on surfaces in fourspace to showcase new geometric phenomena that neither curves nor hypersurfaces do. Our method is a detailed analysis of a general purpose formula by Ranestad and Sturmfels in the case of smooth real algebraic surfaces of low degree (that are rational over the complex numbers). We study both the complex and the real features of the algebraic boundary of Veronese, Del Pezzo and Bordiga surfaces. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: Comments are very welcome!

MSC Class: 52A99; 14N05; 14P10; 14P05;

Algebraic Degrees of Generalized Nash Equilibrium Problems

Authors: Jiawang Nie, Kristian Ranestad, Xindong Tang

Abstract: This paper studies algebraic degree of generalized Nash equilibrium problems (GNEPs) given by polynomials. Their generalized Nash equilibria (GNEs), as well as their KKT or Fritz-John points, are algebraic functions in the coefficients of defining polynomials. We study the degrees of these algebraic functions, which also counts the numbers of complex KKT or Fritz-John points. Under some genericity… ▽ More This paper studies algebraic degree of generalized Nash equilibrium problems (GNEPs) given by polynomials. Their generalized Nash equilibria (GNEs), as well as their KKT or Fritz-John points, are algebraic functions in the coefficients of defining polynomials. We study the degrees of these algebraic functions, which also counts the numbers of complex KKT or Fritz-John points. Under some genericity assumptions, we show that a GNEP has only finitely many complex Fritz-John points and every Fritz-John point is a KKT point. We also give formulae for algebraic degrees of GNEPs, which count the numbers of complex Fritz-John points for generic cases. △ Less

Submitted 31 July, 2022; originally announced August 2022.

Comments: 27 pages

Critical Curvature of Algebraic Surfaces in Three-Space

Authors: Paul Breiding, Kristian Ranestad, Madeleine Weinstein

Abstract: We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number of complex critical curvature points is of order $d^3$. For general quadrics, we fully characterize the number of real and complex umbilics and critical curvatu… ▽ More We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number of complex critical curvature points is of order $d^3$. For general quadrics, we fully characterize the number of real and complex umbilics and critical curvature points. △ Less

Submitted 18 July, 2024; v1 submitted 18 June, 2022; originally announced June 2022.

Quaternary quartic forms and Gorenstein rings

Authors: Gregorz Kapustka, Michał Kapustka, Kristian Ranestad, Hal Schenck, Mike Stillman, Beihui Yuan

Abstract: A quaternary quartic form, a quartic form in four variables, is the dual socle generator of an Artinian Gorenstein ring of codimension and regularity 4. We present a classification of quartic forms in terms of rank and powersum decompositions which corresponds to the classification by the Betti tables of the corresponding Artinian Gorenstein rings. This gives a stratification of the space of quate… ▽ More A quaternary quartic form, a quartic form in four variables, is the dual socle generator of an Artinian Gorenstein ring of codimension and regularity 4. We present a classification of quartic forms in terms of rank and powersum decompositions which corresponds to the classification by the Betti tables of the corresponding Artinian Gorenstein rings. This gives a stratification of the space of quaternary quartic forms which we compare with the Noether-Lefschetz stratification. We discuss various phenomena related to this stratification. We study the geometry of powersum varieties for a general form in each stratum. In particular, we show that the powersum variety $VSP(F,9)$ of a general quartic with singular middle catalecticant is again a quartic surface, thus giving a rational map between two divisors in the space of quartics. Finally, we provide various explicit constructions of general Artinian Gorenstein rings corresponding to each stratum and discuss their lifting to higher dimension. These provide constructions of codimension four varieties, which include canonical surfaces, Calabi-Yau threefolds and Fano fourfolds. In the particular case of quaternary quartics, our results yield answers to questions posed by Geramita, Iarrobino-Kanev, and Reid. △ Less

Submitted 10 November, 2021; originally announced November 2021.

Comments: 106 pages

MSC Class: 13E10 (Primary); 14J32; 13H10; 13D02 (Secondary)

Adjoints and Canonical Forms of Polypols

Authors: Kathlén Kohn, Ragni Piene, Kristian Ranestad, Felix Rydell, Boris Shapiro, Rainer Sinn, Miruna-Stefana Sorea, Simon Telen

Abstract: Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol wi… ▽ More Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol with the numerator of the canonical differential form associated with the positive geometry. We settle several cases of a conjecture by Wachspress claiming that the adjoint curve of a regular planar polypol does not intersect its interior. In particular, we provide a complete characterization of the real topology of the adjoint curve for arbitrary convex polygons. Finally, we determine all types of planar polypols such that the rational map sending a polypol to its adjoint is finite, and explore connections of our topic with algebraic statistics. △ Less

Submitted 11 October, 2024; v1 submitted 26 August, 2021; originally announced August 2021.

MSC Class: 14H10; 14N30; 14P25 (Primary) 14H05; 14H50; 14P10; 14H81; 51M20 (Secondary)

Twenty-Seven Questions about the Cubic Surface

Authors: Kristian Ranestad, Bernd Sturmfels

Abstract: We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that issue. The number of questions is meant to match the number of lines on a cubic surface. We end with a list of problems that are open. We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that issue. The number of questions is meant to match the number of lines on a cubic surface. We end with a list of problems that are open. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 13 pages

Moment Identifiability of Homoscedastic Gaussian Mixtures

Authors: Daniele Agostini, Carlos Améndola, Kristian Ranestad

Abstract: We consider the problem of identifying a mixture of Gaussian distributions with same unknown covariance matrix by their sequence of moments up to certain order. Our approach rests on studying the moment varieties obtained by taking special secants to the Gaussian moment varieties, defined by their natural polynomial parametrization in terms of the model parameters. When the order of the moments is… ▽ More We consider the problem of identifying a mixture of Gaussian distributions with same unknown covariance matrix by their sequence of moments up to certain order. Our approach rests on studying the moment varieties obtained by taking special secants to the Gaussian moment varieties, defined by their natural polynomial parametrization in terms of the model parameters. When the order of the moments is at most three, we prove an analogue of the Alexander-Hirschowitz theorem classifying all cases of homoscedastic Gaussian mixtures that produce defective moment varieties. As a consequence, identifiability is determined when the number of mixed distributions is smaller than the dimension of the space. In the two component setting we provide a closed form solution for parameter recovery based on moments up to order four, while in the one dimensional case we interpret the rank estimation problem in terms of secant varieties of rational normal curves. △ Less

Submitted 15 May, 2020; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: 27 pages, 1 table, 1 figure

MSC Class: 62R01; 62F10; 13P25; 14N07; 14Q15

Projective geometry of Wachspress coordinates

Authors: Kathlén Kohn, Kristian Ranestad

Abstract: We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definitio… ▽ More We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic. △ Less

Submitted 15 October, 2019; v1 submitted 3 April, 2019; originally announced April 2019.

MSC Class: 14N20; 14N30; 52B10; 52B11; 14J70; 14J28; 14J27; 14J32

Voronoi Cells of Varieties

Authors: Diego Cifuentes, Kristian Ranestad, Bernd Sturmfels, Madeleine Weinstein

Abstract: Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic boundaries of these Voronoi cells. Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic boundaries of these Voronoi cells. △ Less

Submitted 20 November, 2018; originally announced November 2018.

Comments: 18 pages, 5 figures

Rational Quartic Spectrahedra

Authors: Martin Helsø, Kristian Ranestad

Abstract: Rational quartic spectrahedra in 3-space are semialgebraic convex subsets in $\mathbb{R}^3$ of semidefinite, real symmetric $(4 \times 4)$-matrices, whose boundary admits a rational parameterization. The Zariski closure in $\mathbb{C}\mathbb{P}^3$ of the boundary of a rational spectrahedron is a rational complex symmetroid. We give necessary conditions on the configurations of singularities of the… ▽ More Rational quartic spectrahedra in 3-space are semialgebraic convex subsets in $\mathbb{R}^3$ of semidefinite, real symmetric $(4 \times 4)$-matrices, whose boundary admits a rational parameterization. The Zariski closure in $\mathbb{C}\mathbb{P}^3$ of the boundary of a rational spectrahedron is a rational complex symmetroid. We give necessary conditions on the configurations of singularities of the corresponding real symmetroids in $\mathbb{R}\mathbb{P}^3$ of rational quartic spectrahedra. We provide an almost exhaustive list of examples realizing the configurations, and conjecture that the missing example does not occur. △ Less

Submitted 29 June, 2020; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: Updated version to be published in Mathematica Scandinavica. Substantially rewritten, with strengthened results. 19 pages, 8 figures

MSC Class: 14P10

Algebraic Identifiability of Gaussian Mixtures

Authors: Carlos Améndola, Kristian Ranestad, Bernd Sturmfels

Abstract: We prove that all moment varieties of univariate Gaussian mixtures have the expected dimension. Our approach rests on intersection theory and Terracini's classification of defective surfaces. The analogous identifiability result is shown to be false for mixtures of Gaussians in dimension three and higher. Their moments up to third order define projective varieties that are defective. Our geometric… ▽ More We prove that all moment varieties of univariate Gaussian mixtures have the expected dimension. Our approach rests on intersection theory and Terracini's classification of defective surfaces. The analogous identifiability result is shown to be false for mixtures of Gaussians in dimension three and higher. Their moments up to third order define projective varieties that are defective. Our geometric study suggests an extension of the Alexander-Hirschowitz Theorem for Veronese varieties to the Gaussian setting. △ Less

Submitted 4 April, 2017; v1 submitted 4 December, 2016; originally announced December 2016.

Comments: 18 pages, to appear in International Mathematics Research Notices

Fano congruences of index $3$ and alternating $3$-forms

Authors: Pietro De Poi, Daniele Faenzi, Emilia Mezzetti, Kristian Ranestad

Abstract: We study congruences of lines $X_ω$ defined by a sufficiently general choice of an alternating 3-form $ω$ in $n+1$ dimensions, as Fano manifolds of index $3$ and dimension $n-1$. These congruences include the $\mathrm{G}_2$-variety for $n=6$ and the variety of reductions of projected $\mathbb{P}^2 \times \mathbb{P}^2$ for $n=7$. We compute the degree of $X_ω$ as the $n$-th Fine number and study… ▽ More We study congruences of lines $X_ω$ defined by a sufficiently general choice of an alternating 3-form $ω$ in $n+1$ dimensions, as Fano manifolds of index $3$ and dimension $n-1$. These congruences include the $\mathrm{G}_2$-variety for $n=6$ and the variety of reductions of projected $\mathbb{P}^2 \times \mathbb{P}^2$ for $n=7$. We compute the degree of $X_ω$ as the $n$-th Fine number and study the Hilbert scheme of these congruences proving that the choice of $ω$ bijectively corresponds to $X_ω$ except when $n=5$. The fundamental locus of the congruence is also studied together with its singular locus: these varieties include the Coble cubic for $n=8$ and the Peskine variety for $n=9$. The residual congruence $Y$ of $X_ω$ with respect to a general linear congruence containing $X_ω$ is analysed in terms of the quadrics containing the linear span of $X_ω$. We prove that $Y$ is Cohen-Macaulay but non-Gorenstein in codimension $4$. We also examine the fundamental locus $G$ of $Y$ of which we determine the singularities and the irreducible components. △ Less

Submitted 1 February, 2017; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: 46 pages, 2 tables. AMS-LaTeX. Minor changes. To appear in the Annales de l'Institut Fourier

MSC Class: 14M15 (Primary); 14J45; 14J60; 14M06; 14M05 (Secondary)

Hyperkähler fourfolds and Kummer surfaces

Authors: Atanas Iliev, Grzegorz Kapustka, Michał Kapustka, Kristian Ranestad

Abstract: We show that a Hilbert scheme of conics on a Fano fourfold double cover of $\mathbb{P}^2\times\mathbb{P}^2$ ramified along a divisor of bidegree $(2,2)$ admits a $\mathbb{P}^1$-fibration with base being a hyper-Kähler fourfold. We investigate the geometry of such fourfolds relating them with degenerated EPW cubes, with elements in the Brauer groups of $K3$ surfaces of degree $2$, and with Verra th… ▽ More We show that a Hilbert scheme of conics on a Fano fourfold double cover of $\mathbb{P}^2\times\mathbb{P}^2$ ramified along a divisor of bidegree $(2,2)$ admits a $\mathbb{P}^1$-fibration with base being a hyper-Kähler fourfold. We investigate the geometry of such fourfolds relating them with degenerated EPW cubes, with elements in the Brauer groups of $K3$ surfaces of degree $2$, and with Verra threefolds studied in [Ver04]. These hyper-Kähler fourfolds admit natural involutions and complete the classification of geometric realizations of anti-symplectic involutions on hyper-Kähler $4$-folds of type $K3^{[2]}$. As a consequence we present also three constructions of quartic Kummer surfaces in $\mathbb{P}^3$: as Lagrangian and symmetric degeneracy loci and as the base of a fibration of conics in certain threefold quadric bundles over $\mathbb{P}^1$. △ Less

Submitted 12 August, 2017; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: to appear in Proceedings of the London Mathematical Society

Varieties of apolar subschemes of toric surfaces

Authors: Matteo Gallet, Kristian Ranestad, Nelly Villamizar

Abstract: Powersum varieties, also called varieties of sums of powers, have provided examples of interesting relations between varieties since their first appearance in the 19th century. One of the most useful tools to study them is apolarity, a notion originally related to the action of differential operators on the polynomial ring. In this work we make explicit how one can see apolarity in terms of the Co… ▽ More Powersum varieties, also called varieties of sums of powers, have provided examples of interesting relations between varieties since their first appearance in the 19th century. One of the most useful tools to study them is apolarity, a notion originally related to the action of differential operators on the polynomial ring. In this work we make explicit how one can see apolarity in terms of the Cox ring of a variety. In this way powersum varieties are a special case of varieties of apolar schemes; we explicitely describe examples of such varieties in the case of two toric surfaces, when the Cox ring is particularly well-behaved. △ Less

Submitted 5 June, 2017; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: 25 pages, to appear in Arkiv för Matematik

MSC Class: 14C99; 14M99

EPW Cubes

Authors: Atanas Iliev, Grzegorz Kapustka, Michal Kapustka, Kristian Ranestad

Abstract: We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension 3 subvarieties of the Grassmanian G(3,6). These codimension 3 subvarieties are defined as Lagrangian degen… ▽ More We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension 3 subvarieties of the Grassmanian G(3,6). These codimension 3 subvarieties are defined as Lagrangian degeneracy loci and their construction is parallel to that of EPW sextics, we call them the EPW cubes. As a consequence we prove that the moduli space of polarized IHS sixfolds of K3-type, Beauville-Bogomolov degree 4 and divisibility 2 is unirational. △ Less

Submitted 13 July, 2016; v1 submitted 10 May, 2015; originally announced May 2015.

Comments: minor corrections, 25 pages, to appear in J. Reine Angew. Math

MSC Class: 14J10; 14J40

Cremona linearizations of some classical varieties

Authors: Ciro Ciliberto, Maria Angelica Cueto, Massimiliano Mella, Kristian Ranestad, Piotr Zwiernik

Abstract: In this paper we present an effective method for linearizing rational varieties of codimension at least two under Cremona transformations, starting from a given parametrization. Using these linearizing Cremonas, we simplify the equations of secant and tangential varieties of some classical examples, including Veronese, Segre and Grassmann varieties. We end the paper by treating the special case of… ▽ More In this paper we present an effective method for linearizing rational varieties of codimension at least two under Cremona transformations, starting from a given parametrization. Using these linearizing Cremonas, we simplify the equations of secant and tangential varieties of some classical examples, including Veronese, Segre and Grassmann varieties. We end the paper by treating the special case of the Segre embedding of the n-fold product of projective spaces, where cumulant Cremonas, arising from algebraic statistics, appear as specific cases of our general construction. △ Less

Submitted 15 November, 2014; v1 submitted 7 March, 2014; originally announced March 2014.

Comments: 19 pages, revised version incorporating referees' comments. To appear in the proceedings of the conference "Homage to Corrado Segre."

Report number: Mittag-Leffler-2011spring MSC Class: Primary: 14E25; Secondary: 14E08; 14N05; 14E05

Quartic Spectrahedra

Authors: John Christian Ottem, Kristian Ranestad, Bernd Sturmfels, Cynthia Vinzant

Abstract: Quartic spectrahedra in 3-space form a semialgebraic set of dimension 24. This set is stratified by the location of its ten nodes. There are twenty maximal strata, identified recently by Degtyarev and Itenberg, via the global Torelli Theorem for real K3 surfaces. We here give a new proof that is self-contained and algorithmic. This involves extending Cayley's characterization of quartic symmetroid… ▽ More Quartic spectrahedra in 3-space form a semialgebraic set of dimension 24. This set is stratified by the location of its ten nodes. There are twenty maximal strata, identified recently by Degtyarev and Itenberg, via the global Torelli Theorem for real K3 surfaces. We here give a new proof that is self-contained and algorithmic. This involves extending Cayley's characterization of quartic symmetroids, by the property that the branch locus of the projection from a node consists of two cubic curves. This paper represents a first step towards the classification of all spectrahedra of a given degree and dimension. △ Less

Submitted 7 November, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 28 pages, 9 figures

Variety of power sums and divisors in the moduli space of cubic fourfolds

Authors: Kristian Ranestad, Claire Voisin

Abstract: We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a ver… ▽ More We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a very general cubic and its VSP. △ Less

Submitted 11 February, 2017; v1 submitted 7 September, 2013; originally announced September 2013.

Comments: 42 pages, expanded and revised version to appear in Documenta Mathematica

MSC Class: 14J70 (Primary); 14M15; 14N99 (Secondary)

On polynomials with given Hilbert function and applications

Authors: Alessandra Bernardi, Joachim Jelisiejew, Pedro Macias Marques, Kristian Ranestad

Abstract: Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. △ Less

Submitted 23 June, 2016; v1 submitted 30 November, 2012; originally announced November 2012.

MSC Class: 13H10 (Primary) 14Q15; 14C05 (Secondary)

Journal ref: Collectanea Mathematica, 69 (2018) 39-64

On the cactus rank of cubics forms

Authors: Alessandra Bernardi, Kristian Ranestad

Abstract: We prove that the smallest degree of an apolar 0-dimensional scheme of a general cubic form in $n+1$ variables is at most $2n+2$, when $n\geq 8$, and therefore smaller than the rank of the form. For the general reducible cubic form the smallest degree of an apolar subscheme is $n+2$, while the rank is at least $2n$. We prove that the smallest degree of an apolar 0-dimensional scheme of a general cubic form in $n+1$ variables is at most $2n+2$, when $n\geq 8$, and therefore smaller than the rank of the form. For the general reducible cubic form the smallest degree of an apolar subscheme is $n+2$, while the rank is at least $2n$. △ Less

Submitted 20 May, 2024; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: We thank Joachim Jelisiejew for pointing out that Lemma 2 is correct as stated only when using apolarity by contraction (as reflected in the current version of this paper, updated in May 2024) instead of apolarity by differentiation (as it was in the originally published version)

Report number: Mittag-Leffler-2011spring

Journal ref: Journal of Symbolic Computation 50 (2013) 291-297

Algebraic boundaries of Hilbert's SOS cones

Authors: Grigoriy Blekherman, Jonathan Hauenstein, John Christian Ottem, Kristian Ranestad, Bernd Sturmfels

Abstract: We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic… ▽ More We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized respectively by the Severi variety of plane rational sextics and by the variety of quartic symmetroids. △ Less

Submitted 10 July, 2011; originally announced July 2011.

Comments: 18 pages

Report number: Mittag-Leffler-2011spring MSC Class: 14J; 14P; 14Q

Journal ref: Compositio Math. 148 (2012) 1717-1735

On the rank of a symmetric form

Authors: Kristian Ranestad, Frank-Olaf Schreyer

Abstract: We give a lower bound for the degree of a finite apolar subscheme of a symmetric form F, in terms of the degrees of the generators of the annihilator ideal of F. In the special case, when F is a monomial x_0^d_0 x_2^d_2... x_n^d_n with d_0<= d_1<=...<=d_n-1<= d_n we deduce that the minimal length of an apolar subscheme of F is (d_0+1)...(d_n-1+1), and if d_0=..=d_n, then this minimal length coinci… ▽ More We give a lower bound for the degree of a finite apolar subscheme of a symmetric form F, in terms of the degrees of the generators of the annihilator ideal of F. In the special case, when F is a monomial x_0^d_0 x_2^d_2... x_n^d_n with d_0<= d_1<=...<=d_n-1<= d_n we deduce that the minimal length of an apolar subscheme of F is (d_0+1)...(d_n-1+1), and if d_0=..=d_n, then this minimal length coincides with the rank of F. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Comments: 2 pages

Report number: Mittag-Leffler-2011spring MSC Class: 13P; 14X

The Variety of Polar Simplices

Authors: Kristian Ranestad, Frank-Olaf Schreyer

Abstract: A collection of n distinct hyperplanes L_i ={l_i=0} in P^{n-1}, the n-1-dimensional projective space over an algebraically closed field of characteristic not equal to 2, is a polar simplex of a quadric Q={q=0}, if each L_i is the polar hyperplane of the point p_i, the intersection point of the L_j with j different from i, equivalently, if q= l_1^2+...+l_n^2 for suitable choices of the linear forms… ▽ More A collection of n distinct hyperplanes L_i ={l_i=0} in P^{n-1}, the n-1-dimensional projective space over an algebraically closed field of characteristic not equal to 2, is a polar simplex of a quadric Q={q=0}, if each L_i is the polar hyperplane of the point p_i, the intersection point of the L_j with j different from i, equivalently, if q= l_1^2+...+l_n^2 for suitable choices of the linear forms l_i. In this paper we study the closure VPS(Q,n) in Hilb_n(P^{n-1}) of the variety of sums of powers presenting Q from a global viewpoint: VPS(Q,n) is a smooth Fano variety of index 2 and Picard number 1 when n<6, and VPS(Q,n) is singular when n>= 6. △ Less

Submitted 25 April, 2012; v1 submitted 14 April, 2011; originally announced April 2011.

Comments: 33 pages, a revised presentation

Report number: Mittag-Leffler-2011spring MSC Class: 14J45; 14M

Vector bundles on Fano varieties of genus ten

Authors: Michal Kapustka, Kristian Ranestad

Abstract: In this note we describe a unique linear embedding of a prime Fano 4-fold F of genus 10 into the Grassmannian G(3,6). We use this to construct some moduli spaces of bundles on linear sections of F. In particular the moduli space of bundles with Mukai vector (3,L,3) on a generic polarized K3 surface (S,L) of genus 10 is constructed as a double cover of the projective plane branched over a smooth se… ▽ More In this note we describe a unique linear embedding of a prime Fano 4-fold F of genus 10 into the Grassmannian G(3,6). We use this to construct some moduli spaces of bundles on linear sections of F. In particular the moduli space of bundles with Mukai vector (3,L,3) on a generic polarized K3 surface (S,L) of genus 10 is constructed as a double cover of the projective plane branched over a smooth sextic. △ Less

Submitted 21 July, 2010; v1 submitted 30 May, 2010; originally announced May 2010.

Comments: 19 pages, revised and expanded

MSC Class: Primary: 14D20; Secondary: 14J45; 14J28

The Convex Hull of a Variety

Authors: Kristian Ranestad, Bernd Sturmfels

Abstract: We present a characterization, in terms of projective biduality, for the hypersurfaces appearing in the boundary of the convex hull of a compact real algebraic variety. We present a characterization, in terms of projective biduality, for the hypersurfaces appearing in the boundary of the convex hull of a compact real algebraic variety. △ Less

Submitted 1 July, 2010; v1 submitted 18 April, 2010; originally announced April 2010.

Comments: 12 pages, 2 figures

MSC Class: 14N05; 90C25

On the convex hull of a space curve

Authors: Kristian Ranestad, Bernd Sturmfels

Abstract: The boundary of the convex hull of a compact algebraic curve in real 3-space defines a real algebraic surface. For general curves, that boundary surface is reducible, consisting of tritangent planes and a scroll of stationary bisecants. We express the degree of this surface in terms of the degree, genus and singularities of the curve. We present algorithms for computing their defining polynomials,… ▽ More The boundary of the convex hull of a compact algebraic curve in real 3-space defines a real algebraic surface. For general curves, that boundary surface is reducible, consisting of tritangent planes and a scroll of stationary bisecants. We express the degree of this surface in terms of the degree, genus and singularities of the curve. We present algorithms for computing their defining polynomials, and we exhibit a wide range of examples. △ Less

Submitted 18 January, 2011; v1 submitted 15 December, 2009; originally announced December 2009.

Comments: 19 pages, 4 figures, minor changes

Linear precision for toric surface patches

Authors: Hans-Christian Graf von Bothmer, Kristian Ranestad, Frank Sottile

Abstract: 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ézier triangles, we identify a family of toric patches with trapezoida… ▽ More 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ézier triangles, we identify a family of toric patches with trapezoidal shape, each of which has linear precision. Bézier triangles and tensor product patches are special cases of trapezoidal patches. △ Less

Submitted 29 June, 2009; v1 submitted 19 June, 2008; originally announced June 2008.

MSC Class: 14M25; 65D17

Journal ref: Foundations of Computational Mathematics, Volume 10, Number 1 (2010), 37-66

Algebraic Degree of Polynomial Optimization

Authors: Jiawang Nie, Kristian Ranestad

Abstract: Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials. Under some genericity assumptions, %% on these polynomials, we prove that the optimality conditions always hold on optimizers, and the coordinates of optimizers are algebraic functions of the coefficients of the input polynomials. We also give a general formula for the alge… ▽ More Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials. Under some genericity assumptions, %% on these polynomials, we prove that the optimality conditions always hold on optimizers, and the coordinates of optimizers are algebraic functions of the coefficients of the input polynomials. We also give a general formula for the algebraic degree of the optimal coordinates. The derivation of the algebraic degree is equivalent to counting the number of all complex critical points. As special cases, we obtain the algebraic degrees of quadratically constrained quadratic programming (QCQP), second order cone programming (SOCP) and $p$-th order cone programming (pOCP), in analogy to the algebraic degree of semidefinite programming. △ Less

Submitted 8 February, 2008; originally announced February 2008.

Comments: 13 pages

A general formula for the algebraic degree in semidefinite programming

Authors: Hans-Christian Graf von Bothmer, Kristian Ranestad

Abstract: In this note, we use a natural desingularization of the conormal variety of the variety of n x n symmetric matrices of rank at most r to find a general formula for the algebraic degree in semidefinite programming. In this note, we use a natural desingularization of the conormal variety of the variety of n x n symmetric matrices of rank at most r to find a general formula for the algebraic degree in semidefinite programming. △ Less

Submitted 30 January, 2007; originally announced January 2007.

Comments: 6 Pages

MSC Class: 14H; 90C22

Journal ref: Bull. London Math. Soc. 2009 41: 193-197

The Algebraic Degree of Semidefinite Programming

Authors: Jiawang Nie, Kristian Ranestad, Bernd Sturmfels

Abstract: Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically, this degree counts the critical points attained by a linear functional on a fixed rank locus in a linear space of symmetric matrices. We determine this degree us… ▽ More Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically, this degree counts the critical points attained by a linear functional on a fixed rank locus in a linear space of symmetric matrices. We determine this degree using methods from complex algebraic geometry, such as projective duality, determinantal varieties, and their Chern classes. △ Less

Submitted 8 September, 2008; v1 submitted 18 November, 2006; originally announced November 2006.

Comments: 23 pages, 3 figures

Addendum to "K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds"

Authors: Atanas Iliev, Kristian Ranestad

Abstract: In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of… ▽ More In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke Math. J. 134, no. 1 (2006), 99-137). △ Less

Submitted 17 November, 2006; originally announced November 2006.

Comments: 4 pages

MSC Class: 14J; 14M

Classification of rational surfaces of degree 11 and sectional genus 11 in P^4

Authors: Hans-Christian Graf v. Bothmer, Kristian Ranestad

Abstract: We use the BGG-correspondence to show that there are at most three possible Hilbert functions for smooth rational surfaces of degree 11 and sectional genus 11. Surfaces with one of these Hilbert functions have been classified by Popescu. The classification for a second one is done in this paper. For the third Hilbert function the classification is still open. We use the BGG-correspondence to show that there are at most three possible Hilbert functions for smooth rational surfaces of degree 11 and sectional genus 11. Surfaces with one of these Hilbert functions have been classified by Popescu. The classification for a second one is done in this paper. For the third Hilbert function the classification is still open. △ Less

Submitted 28 February, 2007; v1 submitted 23 March, 2006; originally announced March 2006.

Comments: 26 pages, 2 Macaulay scripts can found at the end of the source file or at http://www-ifm.math.uni-hannover.de/~bothmer/degree11/, new introduction, a gap in the proof of Proposition 6.19 (now 6.20) closed, some small changes

MSC Class: 14J26

Journal ref: Math. Scand. 104 (2009), 60-94

The abelian fibration on the Hilbert cube of a K3 surface of genus 9

Authors: Atanas Iliev, Kristian Ranestad

Abstract: In this paper we construct an abelian fibration over ${\bf P}^3$ on the Hilbert cube of the primitive K3 surface of genus 9. After the abelian fibration constructed by Mukai on the Hilbert square on the primitive K3 surface S of genus 5, this is the second example where the abelian fibration on such Hilb_n(S) is directly constructed. Our example is also the first known abelian fibration on a Hil… ▽ More In this paper we construct an abelian fibration over ${\bf P}^3$ on the Hilbert cube of the primitive K3 surface of genus 9. After the abelian fibration constructed by Mukai on the Hilbert square on the primitive K3 surface S of genus 5, this is the second example where the abelian fibration on such Hilb_n(S) is directly constructed. Our example is also the first known abelian fibration on a Hilbert scheme Hilb_n(S) of a primitive K3 surface S which is not the Hilbert square of S; the primitive K3 surfaces on the Hilbert square of which such a fibration exists are known by a recent result of Hassett and Tschinkel. △ Less

Submitted 1 July, 2005; originally announced July 2005.

Comments: 26 pages

MSC Class: 14J32; 14D06

Schubert Unions in Grassmann Varieties

Authors: Johan P. Hansen, Trygve Johnsen, Kristian Ranestad

Abstract: We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss th… ▽ More We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss the maximum number of points over a finite field for the Schubert unions of a given spanning dimension, and we give some applications to coding theory. We define Schubert union codes, and study the parameters and support weights of these codes and of the well-known Grassmann codes. △ Less

Submitted 7 March, 2005; originally announced March 2005.

Comments: 37 pages, 2 figures

MSC Class: 14M15 (05E15; 94B27)

Cremona Convexity, Frame Convexity, and a Theorem of Santaló

Authors: Jacob E. Goodman, Andreas Holmsen, Ricky Pollack, Kristian Ranestad, Frank Sottile

Abstract: In 1940, Luis Santaló proved a Helly-type theorem for line transversals to boxes in R^d. An analysis of his proof reveals a convexity structure for ascending lines in R^d that is isomorphic to the ordinary notion of convexity in a convex subset of R^{2d-2}. This isomorphism is through a Cremona transformation on the Grassmannian of lines in P^d, which enables a precise description of the convex… ▽ More In 1940, Luis Santaló proved a Helly-type theorem for line transversals to boxes in R^d. An analysis of his proof reveals a convexity structure for ascending lines in R^d that is isomorphic to the ordinary notion of convexity in a convex subset of R^{2d-2}. This isomorphism is through a Cremona transformation on the Grassmannian of lines in P^d, which enables a precise description of the convex hull and affine span of up to d ascending lines: the lines in such an affine span turn out to be the rulings of certain classical determinantal varieties. Finally, we relate Cremona convexity to a new convexity structure that we call frame convexity, which extends to arbitrary-dimensional flats. △ Less

Submitted 16 September, 2004; v1 submitted 13 September, 2004; originally announced September 2004.

Comments: 18 pages, 4 .eps figures Corrected statement of Helly's Theorem in the Introduction

MSC Class: 52A35; 14M15; 14M12

Journal ref: Advances in Geometry, 6, No. 3, (2006), 301--322.

Phylogenetic Algebraic Geometry

Authors: Nicholas Eriksson, Kristian Ranestad, Bernd Sturmfels, Seth Sullivant

Abstract: Phylogenetic algebraic geometry is concerned with certain complex projective algebraic varieties derived from finite trees. Real positive points on these varieties represent probabilistic models of evolution. For small trees, we recover classical geometric objects, such as toric and determinantal varieties and their secant varieties, but larger trees lead to new and largely unexplored territory.… ▽ More Phylogenetic algebraic geometry is concerned with certain complex projective algebraic varieties derived from finite trees. Real positive points on these varieties represent probabilistic models of evolution. For small trees, we recover classical geometric objects, such as toric and determinantal varieties and their secant varieties, but larger trees lead to new and largely unexplored territory. This paper gives a self-contained introduction to this subject and offers numerous open problems for algebraic geometers. △ Less

Submitted 2 July, 2004; originally announced July 2004.

Comments: 15 pages, 7 figures

Intersection of ACM-curves in P^3

Authors: R. M. Miro-Roig, K. Ranestad

Abstract: In this note we address the problem of determining the maximum number of points of intersection of two arithmetically Cohen-Macaulay curves in $\PP^3$. We give a sharp upper bound for the maximum number of points of intersection of two irreducible arithmetically Cohen-Macaulay curves $C_t$ and $C_{t-r}$ in $\PP^3$ defined by the maximal minors of a $t \times (t+1)$, resp. $(t-r) \times (t-r+1)$,… ▽ More In this note we address the problem of determining the maximum number of points of intersection of two arithmetically Cohen-Macaulay curves in $\PP^3$. We give a sharp upper bound for the maximum number of points of intersection of two irreducible arithmetically Cohen-Macaulay curves $C_t$ and $C_{t-r}$ in $\PP^3$ defined by the maximal minors of a $t \times (t+1)$, resp. $(t-r) \times (t-r+1)$, matrix with linear entries, provided $C_{t-r}$ has no linear series of degree $d\leq{{t-r+1}\choose 3}$ and dimension $n\geq t-r$. △ Less

Submitted 15 December, 2003; originally announced December 2003.

Comments: 15 pages

MSC Class: 14C17 (Primary) 14H45 (Secondary)

Degenerations of (1,7)-polarized abelian surfaces

Authors: Franck Melliez, Kristian Ranestad

Abstract: The moduli space of (1,7)-polarized abelian surfaces with a level structure was shown by Manolache and Schreyer to be rational with compactification a Fano 3-fold of genus 12 which is also a compactification of the variety of powersum presentations of the Klein quartic curve. In this paper the possible degenerations of the abelian surfaces are classified in terms of degenerations of powersum pre… ▽ More The moduli space of (1,7)-polarized abelian surfaces with a level structure was shown by Manolache and Schreyer to be rational with compactification a Fano 3-fold of genus 12 which is also a compactification of the variety of powersum presentations of the Klein quartic curve. In this paper the possible degenerations of the abelian surfaces are classified in terms of degenerations of powersum presentations. In particular, the surface degenerations into fourteen planes are recovered. These were independently discovered by Alfio Marini using degenerations of twisted cubic curves. △ Less

Submitted 18 September, 2003; originally announced September 2003.

Comments: 16 pages, 3 figures

MSC Class: 14J10

Irregular elliptic surfaces of degree 12 in the projective fourspace

Authors: Hirotachi Abo, Kristian Ranestad

Abstract: So far only a few families of smooth irregular surfaces are known to exist in P^4 up to pullbacks by suitable finite morphisms from P^4 onto P^4 itself. In this paper we present two different constructions of irregular smooth minimal elliptic surfaces of degree 12 in P^4. The first is a monad construction while the other uses liaison. The family constructed via liaison includes the surfaces of… ▽ More So far only a few families of smooth irregular surfaces are known to exist in P^4 up to pullbacks by suitable finite morphisms from P^4 onto P^4 itself. In this paper we present two different constructions of irregular smooth minimal elliptic surfaces of degree 12 in P^4. The first is a monad construction while the other uses liaison. The family constructed via liaison includes the surfaces of the first family as a special case. △ Less

Submitted 21 October, 2002; originally announced October 2002.

Comments: 16 pages

MSC Class: 14J27

Geometry of the Lagrangian Grassmannian Sp(3)/U(3) with applications to Brill-Noether loci

Authors: Atanas Iliev, Kristian Ranestad

Abstract: The geometry of Sp(3)/U(3) as a subvariety of Gr(3,6) is explored to explain several examples given by Mukai of non-abelian Brill-Noether loci, and to give some new examples. These examples identify Brill-Noether loci of vector bundles on linear sections of the Lagrangian Grassmannian Sp(3)/U(3) with orthogonal linear sections of the dual variety and vice versa. A main technical result of indepe… ▽ More The geometry of Sp(3)/U(3) as a subvariety of Gr(3,6) is explored to explain several examples given by Mukai of non-abelian Brill-Noether loci, and to give some new examples. These examples identify Brill-Noether loci of vector bundles on linear sections of the Lagrangian Grassmannian Sp(3)/U(3) with orthogonal linear sections of the dual variety and vice versa. A main technical result of independent interest is the fact that any nodal hyperplane section of the Lagrangian Grassmannian projected from the node is a linear section of the Grassmannian Gr(2,6). △ Less

Submitted 17 December, 2002; v1 submitted 13 September, 2002; originally announced September 2002.

Comments: 45 pages, revision of applications to Brill-Noether loci

Canonical curves and varieties of sums of powers of cubic polynomials

Authors: Atanas Iliev, Kristian Ranestad

Abstract: In this note we show that the apolar cubic forms associated to codimension two linear sections of canonical curves of genus at least eleven are special with respect to their presentation as sums of cubes. In this note we show that the apolar cubic forms associated to codimension two linear sections of canonical curves of genus at least eleven are special with respect to their presentation as sums of cubes. △ Less

Submitted 16 February, 2001; originally announced February 2001.

Comments: 7 pages, Latex file

MSC Class: 13H10 (Primary); 13E10; 14M05; 14H45 (Secondary)

K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds

Authors: Atanas Iliev, Kristian Ranestad

Abstract: The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof… ▽ More The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/0611533), where we establish that the general VSP(F,10) is in fact a new symplectic 4-fold different from the family of lines on a cubic 4-fold. △ Less

Submitted 17 November, 2006; v1 submitted 19 October, 1998; originally announced October 1998.

Comments: 15 pages appeared in Trans. Amer. Math. Soc. 353, No.4, 1455-1468 (2001)

MSC Class: 14J (Primary) 14M (Secondary)

Abelian surfaces with two plane cubic curve fibrations and Calabi-Yau threefolds

Authors: Klaus Hulek, Kristian Ranestad

Abstract: (1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-no… ▽ More (1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities. △ Less

Submitted 19 October, 1998; originally announced October 1998.

Comments: 41 pages

MSC Class: 14K10 (Primary) 14J32 (Secondary)

Varieties of sums of powers

Authors: Kristian Ranestad, Frank-Olaf Schreyer

Abstract: The variety of sums of powers of a homogeneous polynomial of degree d in n variables is defined and investigated in some examples, old and new. These varieties are studied via apolarity and syzygies. Classical results of Sylvester (1851), Hilbert (1888), Dixon and Stuart (1906) and some more recent results of Mukai (1992) are presented together with new results for the cases (n,d)=(3,8), (4,2), (5… ▽ More The variety of sums of powers of a homogeneous polynomial of degree d in n variables is defined and investigated in some examples, old and new. These varieties are studied via apolarity and syzygies. Classical results of Sylvester (1851), Hilbert (1888), Dixon and Stuart (1906) and some more recent results of Mukai (1992) are presented together with new results for the cases (n,d)=(3,8), (4,2), (5,3). In the last case the variety of sums of 8 powers of a general cubic form is a Fano 5-fold of index 1 and degree 660. △ Less

Submitted 14 April, 2011; v1 submitted 23 January, 1998; originally announced January 1998.

Comments: Final published version (Crelle)

MSC Class: 14M

Journal ref: J. Reine Angew. Math. 525 (2000) 147--181

On surfaces in P^6 with no trisecant lines

Authors: Sandra Di Rocco, Kristian Ranestad

Abstract: We construct examples of smooth surfaces S in P^6 with no trisecant lines. This list includes examples of surfaces not cut out by quadrics. We prove that unless S has a finite number of disjoint $(-1)$-lines, and each one meets some other line L on the surface with L^2\leq -2, and S is not an inner projection from P^7 the surface belongs to the list of examples. We construct examples of smooth surfaces S in P^6 with no trisecant lines. This list includes examples of surfaces not cut out by quadrics. We prove that unless S has a finite number of disjoint $(-1)$-lines, and each one meets some other line L on the surface with L^2\leq -2, and S is not an inner projection from P^7 the surface belongs to the list of examples. △ Less

Submitted 25 May, 1997; originally announced May 1997.

Comments: 21 pages, DVI file available at http://www.math.kth.se/~sandra/Welcome Mittag-Leffler Report No 13, 1996/97 Latex