Showing 1–33 of 33 results for author: Buczynski, J

Cactus varieties of sufficiently ample embeddings of projective schemes have determinantal equations

Authors: Weronika Buczyńska, Jarosław Buczyński, Łucja Farnik

Abstract: For a fixed projective scheme X, a property P of line bundles is satisfied by sufficiently ample line bundles if there exists a line bundle L_0 on X such that P(L) holds for any L with (L - L_0) ample. As an example, sufficiently ample line bundles are very ample, moreover, for a normal variety X, the embedding corresponding to sufficiently ample line bundle is projectively normal. The grandfather… ▽ More For a fixed projective scheme X, a property P of line bundles is satisfied by sufficiently ample line bundles if there exists a line bundle L_0 on X such that P(L) holds for any L with (L - L_0) ample. As an example, sufficiently ample line bundles are very ample, moreover, for a normal variety X, the embedding corresponding to sufficiently ample line bundle is projectively normal. The grandfather of such properties and a basic ingredient used to study this concept is Fujita vanishing theorem, which is a strengthening of Serre vanishing to sufficiently ample line bundles. The r-th cactus variety of X is an analogue of secant variety and it is defined using linear spans of finite schemes of degree r. In this article we show that cactus varieties of sufficiently ample embeddings of X are set-theoretically defined by minors of matrices with linear entries. The topic is closely related to conjectures of Eisenbud-Koh-Stillman, which was proved by Ginensky in the case X a smooth curve. On the other hand Sidman-Smith proved that the ideal of sufficiently ample embedding of any projective scheme X is generated by 2 x 2 minors of a matrix with linear entries. △ Less

Submitted 1 December, 2024; originally announced December 2024.

Comments: 32 pages, 1 figure, Dedicated in memory of Gianfranco Casnati

Report number: BCSim-2022-s04 MSC Class: 14N07 (Primary) 14M12; 14F17; 14C05 (Secondary)

Cactus scheme, catalecticant minors, and scheme theoretic equations

Authors: Jarosław Buczyński, Hanieh Keneshlou

Abstract: The $r$-th cactus variety of a subvariety $X$ in a projective space generalizes the $r$-th secant variety of $X$ and it is defined using linear spans of finite subschemes of $X$ of degree $r$. One of its original purposes was to study the vanishing sets of catalecticant minors. In this article, we equip the cactus variety with a scheme structure, via ``relative linear spans'' of families of finite… ▽ More The $r$-th cactus variety of a subvariety $X$ in a projective space generalizes the $r$-th secant variety of $X$ and it is defined using linear spans of finite subschemes of $X$ of degree $r$. One of its original purposes was to study the vanishing sets of catalecticant minors. In this article, we equip the cactus variety with a scheme structure, via ``relative linear spans'' of families of finite schemes over a potentially non-reduced base. In this way, we are able to study the vanishing scheme of the catalecticant minors. For a sufficiently high degree Veronese variety, we show that $r$-th cactus scheme and the zero scheme of appropriate catalecticant minors agree on a dense open subset which is the complement of the $(r-1)$-th cactus variety (or scheme). This article is the first part of a series. In the follow-up, as an application, we can describe the singular locus of (in particular) secant varieties to high degree Veronese varieties in terms of singularities of the Hilbert scheme. We will also generalize the result to high degree Veronese reembeddings of other varieties and schemes. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 52 pages, 1 figure

MSC Class: Primary: 14A15; Secondary: 13H10; 14B25; 14D99; 14N07; 14M12; 14M17; 15B33

Toric Sarkisov links of toric Fano varieties

Authors: Gavin Brown, Jarosław Buczyński, Alexander Kasprzyk

Abstract: We explain a web of Sarkisov links that overlies the classification of Fano weighted projective spaces in dimensions 3 and 4, extending results of Prokhorov. We explain a web of Sarkisov links that overlies the classification of Fano weighted projective spaces in dimensions 3 and 4, extending results of Prokhorov. △ Less

Submitted 17 July, 2022; originally announced July 2022.

Apolarity, border rank and multigraded Hilbert scheme

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with l… ▽ More We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, where the base variety is not necessarily a Segre or Veronese variety, but an arbitrary smooth toric projective variety. A critical ingredient of our work is an irreducible component of a multigraded Hilbert scheme related to the toric variety in question. △ Less

Submitted 7 November, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 37 pages; v2: accepted version, to appear in Duke Mathematical Journal

MSC Class: 14C05 (Primary) 14M25; 15A69; 68Q17 (Secondary)

Singular Curves of Low Degree and Multifiltrations from Osculating Spaces

Authors: Jarosław Buczyński, Nathan Ilten, Emanuele Ventura

Abstract: In order to study projections of smooth curves, we introduce multifiltrations obtained by combining flags of osculating spaces. We classify all configurations of singularities occurring for a projection of a smooth curve embedded by a complete linear system away from a projective linear space of dimension at most two. In particular, we determine all configurations of singularities of non-degenerat… ▽ More In order to study projections of smooth curves, we introduce multifiltrations obtained by combining flags of osculating spaces. We classify all configurations of singularities occurring for a projection of a smooth curve embedded by a complete linear system away from a projective linear space of dimension at most two. In particular, we determine all configurations of singularities of non-degenerate degree d rational curves in $\mathbb{P}^n$ when $d - n \leq 3$ and $d < 2n$. Along the way, we describe the Schubert cycles giving rise to these projections. We also reprove a special case of the Castelnuovo bound using these multifiltrations: under the assumption $d < 2n$, the arithmetic genus of any nondegenerate degree $d$ curve in $\mathbb{P}^n$ is at most $d - n$. △ Less

Submitted 12 January, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 34 pages, 11 tables, 2 figures; v2 added references and made minor corrections; v3 more minor revisions, to appear in IMRN

Report number: BCSim-2018-s09

On Strassen's rank additivity for small three-way tensors

Authors: Jarosław Buczyński, Elisa Postinghel, Filip Rupniewski

Abstract: We address the problem of the additivity of the tensor rank. That is for two independent tensors we study if the rank of their direct sum is equal to the sum of their individual ranks. A positive answer to this problem was previously known as Strassen's conjecture until recent counterexamples were proposed by Shitov. The latter are not very explicit, and they are only known to exist asymptotically… ▽ More We address the problem of the additivity of the tensor rank. That is for two independent tensors we study if the rank of their direct sum is equal to the sum of their individual ranks. A positive answer to this problem was previously known as Strassen's conjecture until recent counterexamples were proposed by Shitov. The latter are not very explicit, and they are only known to exist asymptotically for very large tensor spaces. In this article we prove that for some small three-way tensors the additivity holds. For instance, if the rank of one of the tensors is at most 6, then the additivity holds. Or, if one of the tensors lives in $C^k \otimes C^3 \otimes C^3$ for any $k$, then the additivity also holds. More generally, if one of the tensors is concise and its rank is at most 2 more than the dimension of one of the linear spaces, then additivity holds. In addition we also treat some cases of the additivity of border rank of such tensors. In particular, we show that the additivity of the border rank holds if the direct sum tensor is contained in $C^4 \otimes C^4 \otimes C^4$. Some of our results are valid over an arbitrary base field. △ Less

Submitted 4 August, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 21 pages, 1 figure, accepted for publication in the SIAM Journal on Matrix Analysis and Applications (SIMAX)

MSC Class: 15A69 (Primary) 14M17; 68W30; 15A03 (Secondary)

Immaculate line bundles on toric varieties

Authors: Klaus Altmann, Jarosław Buczyński, Lars Kastner, Anna-Lena Winz

Abstract: We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we prese… ▽ More We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans. The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 48 pages, 9 figures, 4 tables

MSC Class: 14M25 (14F05; 14F17; 52B20; 14L32)

Complex contact manifolds, varieties of minimal rational tangents, and exterior differential systems

Authors: Jarosław Buczyński, Giovanni Moreno

Abstract: Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial c… ▽ More Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the first case we also discuss a distinguished contact cone structure, arising as the variety of minimal rational tangents. We discuss the repercussion of the aforementioned classification theorems for the geometry of quaternion-Kähler manifolds with positive scalar curvature and for the geometry of second-order PDEs imposed on hypersurfaces. △ Less

Submitted 25 February, 2019; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: 22 pages. Based on a talk given by the first aouthor at the workshop "Geometry of Lagrangian Grassmannians and nonlinear PDEs" held in Warsaw, September 5-9, 2016. Changes in v2: revised section 10

MSC Class: 14M17; 53D10; 14M20; 53C26; 58A15

Journal ref: Banach Center Publications 117 (2019), 145-176

Algebraic torus actions on contact manifolds

Authors: Jarosław Buczyński, Jarosław A. Wiśniewski, Andrzej Weber

Abstract: We prove the LeBrun-Salamon Conjecture in low dimensions. More precisely, we show that a contact Fano manifold X of dimension 2n+1 that has reductive automorphism group of rank at least n-2 is necessarily homogeneous. This implies that any positive quaternion-Kahler manifold of real dimension at most 16 is necessarily a symmetric space, one of the Wolf spaces. A similar result about contact Fano m… ▽ More We prove the LeBrun-Salamon Conjecture in low dimensions. More precisely, we show that a contact Fano manifold X of dimension 2n+1 that has reductive automorphism group of rank at least n-2 is necessarily homogeneous. This implies that any positive quaternion-Kahler manifold of real dimension at most 16 is necessarily a symmetric space, one of the Wolf spaces. A similar result about contact Fano manifolds of dimension at most 9 with reductive automorphism group also holds. The main difficulty in approaching the conjecture is how to recognize a homogeneous space in an abstract variety. We contribute to such problem in general, by studying the action of algebraic torus on varieties and exploiting Bialynicki-Birula decomposition and equivariant Riemann-Roch theorems. From the point of view of T-varieties (that is, varieties with a torus action), our result is about high complexity T-manifolds. The complexity here is at most 1/2(dim X+5) with dim X arbitrarily high, but we require this special (contact) structure of X. Previous methods for studying T-varieties in general usually only apply for complexity at most 2 or 3. △ Less

Submitted 13 September, 2020; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: 67 pages, v2: minor corrections throughout in accordance to the referees' suggestions. To appear in Journal of Differential Geometry v3 fixed a typo in a grant number

MSC Class: 14L30 (Primary) 53C26; 53D10; 14J45; 14M17; 22E46 (Secondary)

On the locus of points of high rank

Authors: Jarosław Buczyński, Kangjin Han, Massimiliano Mella, Zach Teitler

Abstract: Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of points of rank with respect to X equal to k. For small values of k such loci are called secant varieties. This article studies the loci W_k for values of k larger th… ▽ More Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of points of rank with respect to X equal to k. For small values of k such loci are called secant varieties. This article studies the loci W_k for values of k larger than the generic rank. We show they are nested, we bound their dimensions, and we estimate the maximal possible rank with respect to X in special cases, including when X is a homogeneous space or a curve. The theory is illustrated by numerous examples, including Veronese varieties, the Segre product of dimensions (1,3,3), and curves. An intermediate result provides a lower bound on the dimension of any GL_n orbit of a homogeneous form. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 28 pages

MSC Class: 14N15; 15A72

Finite schemes and secant varieties over arbitrary characteristic

Authors: Jarosław Buczyński, Joachim Jelisiejew

Abstract: We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent o… ▽ More We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent of the base field, secant varieties to high degree Veronese reembeddings behave well with respect to the intersection and they are defined by minors of catalecticants whenever a suitable smoothability condition for Gorenstein subschemes holds. The content of the article is largely expository, although many results are presented in a stronger form than in the literature. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 56 pages

Report number: BCSim-2016-s02 MSC Class: 14M12 (Primary); 14B12; 14C05; 14A15; 14M17 (Secondary)

Maps of Mori Dream Spaces in Cox coordinates. Part I: existence of descriptions

Authors: Jarosław Buczyński, Oskar Kędzierski

Abstract: Any rational map between affine spaces, projective spaces or toric varieties can be described in terms of their affine, homogeneous, or Cox coordinates. We show an analogous statement in the setting of Mori Dream Spaces. More precisely (in the case of regular maps) we show there exists a finite extension of the Cox ring of the source, such that the regular map lifts to a morphism from the Cox ring… ▽ More Any rational map between affine spaces, projective spaces or toric varieties can be described in terms of their affine, homogeneous, or Cox coordinates. We show an analogous statement in the setting of Mori Dream Spaces. More precisely (in the case of regular maps) we show there exists a finite extension of the Cox ring of the source, such that the regular map lifts to a morphism from the Cox ring of the target to the finite extension. Moreover the extension only involves roots of homogeneous elements. Such a description of the map can be applied in practical computations. △ Less

Submitted 20 October, 2017; v1 submitted 22 May, 2016; originally announced May 2016.

Comments: 28 pages. v2 a few corrected typos and minor bugs as suggested by the referee. To appear in Mathematische Nachrichten

Report number: BCSim-2016-s02 MSC Class: 14C20 (Primary); 14L24; 14E30 (Secondary)

Constructions of k-regular maps using finite local schemes

Authors: Jarosław Buczyński, Tadeusz Januszkiewicz, Joachim Jelisiejew, Mateusz Michałek

Abstract: A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for which such maps exist. The methods of algebraic topology provide lower bounds for N, however there are very few results on the existence of such maps for parti… ▽ More A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for which such maps exist. The methods of algebraic topology provide lower bounds for N, however there are very few results on the existence of such maps for particular values m and k. Using the methods of algebraic geometry we construct k-regular maps. We relate the upper bounds on N with the dimension of the locus of certain Gorenstein schemes in the punctual Hilbert scheme. The computations of the dimension of this family is explicit for k<10, and we provide explicit examples for k<6. We also provide upper bounds for arbitrary m and k. △ Less

Submitted 7 November, 2016; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: 29 pages, minor corrections; to appear in JEMS

MSC Class: 53A07 (Primary); 57R42; 14C05; 13H10 (Secondary)

Some examples of forms of high rank

Authors: Jarosław Buczyński, Zach Teitler

Abstract: We describe some forms with greater Waring rank than previous examples. In $3$ variables we give forms of odd degree with strictly greater rank than the ranks of monomials, the previously highest known rank. This narrows the possible range of values of the maximum Waring rank of forms in $3$ variables. In $4$ variables we give forms of odd degree with strictly greater than generic rank. In degrees… ▽ More We describe some forms with greater Waring rank than previous examples. In $3$ variables we give forms of odd degree with strictly greater rank than the ranks of monomials, the previously highest known rank. This narrows the possible range of values of the maximum Waring rank of forms in $3$ variables. In $4$ variables we give forms of odd degree with strictly greater than generic rank. In degrees greater than or equal to $5$ these are the first examples showing that there exist forms with Waring rank strictly greater than the generic value. △ Less

Submitted 5 August, 2015; v1 submitted 27 March, 2015; originally announced March 2015.

Comments: 11 pages. v2: minor corrections and clarifications. To appear in Collectanea Mathematica

MSC Class: 13P05; 15A69; 14N15

Hackbusch Conjecture on tensor formats

Authors: Weronika Buczyńska, Jarosław Buczyński, Mateusz Michałek

Abstract: We prove a conjecture of W. Hackbusch about tensor network states related to a perfect binary tree and train track tree. Tensor network states are used to present seemingly complicated tensors in a relatively simple and efficient manner. Each such presentation is described by a binary tree and a collection of vector spaces, one for each vertex of the tree. A problem suggested by Wolfgang Hackbusch… ▽ More We prove a conjecture of W. Hackbusch about tensor network states related to a perfect binary tree and train track tree. Tensor network states are used to present seemingly complicated tensors in a relatively simple and efficient manner. Each such presentation is described by a binary tree and a collection of vector spaces, one for each vertex of the tree. A problem suggested by Wolfgang Hackbusch and Joseph Landsberg is to compare the complexities of encodings, if one presents the same tensor with respect to two different trees. We answer this question when the two trees are extremal cases: the most "spread" tree (perfect binary tree), and the "deepest" binary tree (train track tree). The corresponding tensor formats are called hierarchical formats (HF) and tensor train (TT) formats, respectively. △ Less

Submitted 7 August, 2015; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: 14 pages, 6 figures, final published version in Journal de Mathématiques Pures et Appliquées, 2015

MSC Class: 15A69 (primary); 46B28; 65D15 (secondary)

Special lines on contact manifolds

Authors: Jarosław Buczyński, Grzegorz Kapustka, Michał Kapustka

Abstract: In a series of two articles Kebekus studied deformation theory of minimal rational curves on contact Fano manifolds. Such curves are called contact lines. Kebekus proved that a contact line through a general point is necessarily smooth and has a fixed standard splitting type of the restricted tangent bundle. In this paper we study singular contact lines and those with special splitting type. We pr… ▽ More In a series of two articles Kebekus studied deformation theory of minimal rational curves on contact Fano manifolds. Such curves are called contact lines. Kebekus proved that a contact line through a general point is necessarily smooth and has a fixed standard splitting type of the restricted tangent bundle. In this paper we study singular contact lines and those with special splitting type. We provide restrictions on the families of such lines, and on contact Fano manifolds which have reducible varieties of minimal rational tangents. We also show that the results about singular lines naturally generalise to complex contact manifolds, which are not necessarily Fano, for instance, quasi-projective contact manifolds or compact contact manifolds of Fujiki class C. In particular, in many cases the dimension of a family of singular lines is at most 2 less than the dimension of the contact manifold. △ Less

Submitted 7 November, 2020; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: 53 pages; major rewrite following the recommendations of reviewers. To appear in Annales de l'Institut Fourier

Report number: BCSim-2016-s02 MSC Class: 53D10 (Primary) 14J45; 14M20; 32Q57; 14M22 (Secondary)

Apolarity and direct sum decomposability of polynomials

Authors: Weronika Buczyńska, Jarosław Buczyński, Johannes Kleppe, Zach Teitler

Abstract: A polynomial is a direct sum if it can be written as a sum of two non-zero polynomials in some distinct sets of variables, up to a linear change of variables. We analyze criteria for a homogeneous polynomial to be decomposable as a direct sum, in terms of the apolar ideal of the polynomial. We prove that the apolar ideal of a polynomial of degree $d$ strictly depending on all variables has a minim… ▽ More A polynomial is a direct sum if it can be written as a sum of two non-zero polynomials in some distinct sets of variables, up to a linear change of variables. We analyze criteria for a homogeneous polynomial to be decomposable as a direct sum, in terms of the apolar ideal of the polynomial. We prove that the apolar ideal of a polynomial of degree $d$ strictly depending on all variables has a minimal generator of degree $d$ if and only if it is a limit of direct sums. △ Less

Submitted 23 February, 2015; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 35 pages. v2: added remarks generalizing results to arbitrary characteristic. v3: extensive rewrite, several generalizations in last section, numerous clarifications throughout. v4: another extensive rewrite with improved notation and terminology, clarifications and corrections throughout, to incorporate suggestions of referee

MSC Class: 13H10; 14N15

On differences between the border rank and the smoothable rank of a polynomial

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We consider higher secant varieties to Veronese varieties. Most points on the r-th secant variety are represented by a finite scheme of length r contained in the Veronese variety --- in fact, for generic point, it is just a union of r distinct points. A modern way to phrase it is: the smoothable rank is equal to the border rank for most polynomials. This property is very useful for studying secant… ▽ More We consider higher secant varieties to Veronese varieties. Most points on the r-th secant variety are represented by a finite scheme of length r contained in the Veronese variety --- in fact, for generic point, it is just a union of r distinct points. A modern way to phrase it is: the smoothable rank is equal to the border rank for most polynomials. This property is very useful for studying secant varieties, especially, whenever the smoothable rank is equal to the border rank for all points of the secant variety in question. In this note we investigate those special points for which the smoothable rank is not equal to the border rank. In particular, we show an explicit example of a cubic in five variables with border rank 5 and smoothable rank 6. We also prove that all cubics in at most four variables have the smoothable rank equal to the border rank. △ Less

Submitted 6 March, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 17 pages; v2: final version to appear in Glasgow Journal of Mathematics; added the calculation of rank of the key example

MSC Class: 14M17 (Primary) 14C05; 15A69; 14Q20 (Secondary)

Contact Moishezon threefolds with second Betti number one

Authors: Jaroslaw Buczynski, Thomas Peternell

Abstract: We prove that the only contact Moishezon threefold having second Betti number equal to one is the projective space. We prove that the only contact Moishezon threefold having second Betti number equal to one is the projective space. △ Less

Submitted 30 March, 2012; v1 submitted 18 January, 2012; originally announced January 2012.

Comments: 5 pages. v2: exposition improved as suggested by the referee. To appear in Archiv der Math

MSC Class: 32J17; 53D10 (Primary) 14J30 (Secondary)

Journal ref: Archiv der Mathematik, 2012, Volume 98, Number 5, Pages 427-431

Waring decompositions of monomials

Authors: Weronika Buczyńska, Jarosław Buczyński, Zach Teitler

Abstract: A Waring decomposition of a polynomial is an expression of the polynomial as a sum of powers of linear forms, where the number of summands is minimal possible. We prove that any Waring decomposition of a monomial is obtained from a complete intersection ideal, determine the dimension of the set of Waring decompositions, and give the conditions under which the Waring decomposition is unique up to s… ▽ More A Waring decomposition of a polynomial is an expression of the polynomial as a sum of powers of linear forms, where the number of summands is minimal possible. We prove that any Waring decomposition of a monomial is obtained from a complete intersection ideal, determine the dimension of the set of Waring decompositions, and give the conditions under which the Waring decomposition is unique up to scaling the variables. △ Less

Submitted 31 January, 2013; v1 submitted 13 January, 2012; originally announced January 2012.

Comments: v2: Improved exposition. v3: Final version; minor changes only. 13 pages

MSC Class: 15A21; 14N15

Journal ref: J. Algebra, Volume 378, (2013), pages 45-57

On the third secant variety

Authors: Jarosław Buczyński, J. M. Landsberg

Abstract: We determine normal forms and ranks of tensors of border rank at most three. We present a differential-geometric analysis of limits of secant planes in a more general context. In particular there are at most four types of points on limiting trisecant planes for cominuscule varieties such as Grassmannians. We also show the singular locus of the first two secant varieties of all triple Segre product… ▽ More We determine normal forms and ranks of tensors of border rank at most three. We present a differential-geometric analysis of limits of secant planes in a more general context. In particular there are at most four types of points on limiting trisecant planes for cominuscule varieties such as Grassmannians. We also show the singular locus of the first two secant varieties of all triple Segre products has codimension at least two. △ Less

Submitted 9 October, 2012; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: 22 pages; v2 exposition improved in accordance with referee's suggestions, corrected a few minor mistakes in the proofs. To appear in Journal of Algebraic Combinatorics

MSC Class: 14M99 (Primary) 32M10; 15A69 (Secondary)

On the graph labellings arising from phylogenetics

Authors: Weronika Buczyńska, Jarosław Buczyński, Kaie Kubjas, Mateusz Michałek

Abstract: We study semigroups of labellings associated to a graph. These generalize the Jukes-Cantor model and phylogenetic toric varieties defined by Buczyńska. Our main theorem bounds the degree of the generators of the semigroup by g+1 when the graph has first Betti number g. Also, we provide a series of examples where the bound is sharp. We study semigroups of labellings associated to a graph. These generalize the Jukes-Cantor model and phylogenetic toric varieties defined by Buczyńska. Our main theorem bounds the degree of the generators of the semigroup by g+1 when the graph has first Betti number g. Also, we provide a series of examples where the bound is sharp. △ Less

Submitted 9 October, 2012; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 17 pages, 13 figures; v2: presentation improved, results generalised to arbitrary graphs (not only trivalent); to appear in Central European Journal of Mathematics

Report number: Mittag-Leffler-2011spring MSC Class: 20M14 (Primary) 14M25; 20M05; 52B20; 13P25; 14D21 (Secondary)

Journal ref: Central European Journal of Mathematics, 11(9), 2013, 1577-1592

Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We study the secant varieties of the Veronese varieties and of Veronese reembeddings of a smooth projective variety. We give some conditions, under which these secant varieties are set-theoretically cut out by determinantal equations. More precisely, they are given by minors of a catalecticant matrix. These conditions include the case when the dimension of the projective variety is at most 3 and t… ▽ More We study the secant varieties of the Veronese varieties and of Veronese reembeddings of a smooth projective variety. We give some conditions, under which these secant varieties are set-theoretically cut out by determinantal equations. More precisely, they are given by minors of a catalecticant matrix. These conditions include the case when the dimension of the projective variety is at most 3 and the degree of reembedding is sufficiently high. This gives a positive answer to a set-theoretic version of a question of Eisenbud in dimension at most 3. For dimension four and higher we produce plenty of examples when the catalecticant minors are not enough to set-theoretically define the secant varieties to high degree Veronese varieties. This is done by relating the problem to smoothability of certain zero-dimensional Gorenstein schemes. △ Less

Submitted 29 November, 2011; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 28 pages, 10 figures; v2: improved presentation in accordance with referee's suggestions. The corrections were made while the first named author was at Mittag-Leffler Institute; v3: added Remark 1.5 (thanks to Anthony Iarrobino) on previously known results; v4: added new references; To appear in Journal of Algebraic Geometry

Report number: Mittag-Leffler-2011spring MSC Class: 14M12 (Primary) 13H10; 14M17 (Secondary)

Determinantal equations for secant varieties and the Eisenbud-Koh-Stillman conjecture

Authors: Jarosław Buczyński, Adam Ginensky, J. M. Landsberg

Abstract: We address special cases of a question of Eisenbud on the ideals of secant varieties of Veronese re-embeddings of arbitrary varieties. Eisenbud's question generalizes a conjecture of Eisenbud, Koh and Stillman (EKS) for curves. We prove that set-theoretic equations of small secant varieties to a high degree Veronese re-embedding of a smooth variety are determined by equations of the ambient Verone… ▽ More We address special cases of a question of Eisenbud on the ideals of secant varieties of Veronese re-embeddings of arbitrary varieties. Eisenbud's question generalizes a conjecture of Eisenbud, Koh and Stillman (EKS) for curves. We prove that set-theoretic equations of small secant varieties to a high degree Veronese re-embedding of a smooth variety are determined by equations of the ambient Veronese variety and linear equations. However this is false for singular varieties, and we give explicit counter-examples to the EKS conjecture for singular curves. The techniques we use also allow us to prove a gap and uniqueness theorem for symmetric tensor rank. We put Eisenbud's question in a more general context about the behaviour of border rank under specialisation to a linear subspace, and provide an overview of conjectures coming from signal processing and complexity theory in this context. △ Less

Submitted 9 October, 2012; v1 submitted 1 July, 2010; originally announced July 2010.

Comments: 21 pages; presentation improved as suggested by the referees; To appear in Journal of London Mathematical Society

MSC Class: 14M12 (Primary) 14M99; 03F20 (Secondary)

Journal ref: J. London Math. Soc. (2013) 88 (1): 1-24

Secants of Lagrangian Grassmannians

Authors: Ada Boralevi, Jarosław Buczyński

Abstract: We study the dimensions of secant varieties of the Grassmannian of Lagrangian subspaces in a symplectic vector space. We calculate these dimensions for third and fourth secant varieties. Our result is obtained by providing a normal form for four general points on such a Grassmannian and by explicitly calculating the tangent spaces at these four points. We study the dimensions of secant varieties of the Grassmannian of Lagrangian subspaces in a symplectic vector space. We calculate these dimensions for third and fourth secant varieties. Our result is obtained by providing a normal form for four general points on such a Grassmannian and by explicitly calculating the tangent spaces at these four points. △ Less

Submitted 6 October, 2010; v1 submitted 9 June, 2010; originally announced June 2010.

MSC Class: 14M99; 14M17; 15A69

Journal ref: Annali di Matematica Pura ed Applicata 2011, Volume 190, Number 4, 725-739

Maps of toric varieties in Cox coordinates

Authors: Gavin Brown, Jarosław Buczyński

Abstract: The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise this to toric varieties, providing a unified description of arbitrary rational maps between toric arieties in terms of their Cox coordinates. Introducing forma… ▽ More The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise this to toric varieties, providing a unified description of arbitrary rational maps between toric arieties in terms of their Cox coordinates. Introducing formal roots of polynomials is necessary even in the simplest examples. △ Less

Submitted 15 May, 2013; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: v2: 41 pages. final version, to appear in Fundamenta Mathematica

MSC Class: 14M25 (Primary) 14E05; 14Q99 (Secondary)

Journal ref: Fundamenta Mathematica, 222 (2013), 213-267

Duality and integrability on contact Fano manifolds

Authors: Jarosław Buczyński

Abstract: We address the problem of classification of contact Fano manifolds. It is conjectured that every such manifold is necessarily homogeneous. We prove that the Killing form, the Lie algebra grading and parts of the Lie bracket can be read from geometry of an arbitrary contact manifold. Minimal rational curves on contact manifolds (or contact lines) and their chains are the essential ingredients for o… ▽ More We address the problem of classification of contact Fano manifolds. It is conjectured that every such manifold is necessarily homogeneous. We prove that the Killing form, the Lie algebra grading and parts of the Lie bracket can be read from geometry of an arbitrary contact manifold. Minimal rational curves on contact manifolds (or contact lines) and their chains are the essential ingredients for our constructions. Along the way we collect several facts about bundles of projective lines admitting a contractible section, which might be of independent interest. △ Less

Submitted 15 February, 2021; v1 submitted 3 February, 2010; originally announced February 2010.

Comments: Dedicated in memory of Marcin Hauzer. 23 pages. v2 consolidates the published article and its erratum available at https://www.mimuw.edu.pl/~jabu/CV/publications/contact_errata.pdf

MSC Class: 14M17 (Primary) 53C26; 14M20; 14J45 (Secondary)

Journal ref: Documenta Math. 15 (2010) 821--841

Ranks of tensors and a generalization of secant varieties

Authors: Jarosław Buczyński, J. M. Landsberg

Abstract: We introduce subspace rank as a tool for studying ranks of tensors and X-rank more generally. We derive a new upper bound for the rank of a tensor and determine the ranks of partially symmetric tensors in C^2 \otimes C^b \otimes C^b. We review the literature from a geometric perspective. We introduce subspace rank as a tool for studying ranks of tensors and X-rank more generally. We derive a new upper bound for the rank of a tensor and determine the ranks of partially symmetric tensors in C^2 \otimes C^b \otimes C^b. We review the literature from a geometric perspective. △ Less

Submitted 9 October, 2012; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: 22 pages; final published version; Linear Algebra and its Applications 2012

MSC Class: 14Q20 (Primary) 15A69; 15A21 (Secondary)

Journal ref: Linear Algebra and Its Applications 438 (2013), pp. 668-689 (Special Issue "Tensors and Multilinear Algebra")

Algebraic Legendrian Varieties

Authors: Jarosław Buczyński

Abstract: Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional properties. The most remarkable case is the Legendrian subvarieties of projective space and prior to the author's research only few smooth examples of these were known… ▽ More Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional properties. The most remarkable case is the Legendrian subvarieties of projective space and prior to the author's research only few smooth examples of these were known. The first series of results of this thesis is related to the automorphism group of any Legendrian subvariety in any projective contact manifold. The connected component of this group (under suitable minor assumptions) is completely determined by the sections of the distinguished line bundle on the contact manifold vanishing on the Legendrian variety. Moreover its action preserves the contact structure. The second series of results is devoted to finding new examples of smooth Legendrian subvarieties of projective space. The contribution of this thesis is in three steps: First we find an example of a smooth toric surface. Next we find a smooth quasihomogeneous Fano 8-fold that admits a Legendrian embedding. Finally, we realise that both of these are special cases of a very general construction: a general hyperplane section of a smooth Legendrian variety, after a suitable projection, is a smooth Legendrian variety of smaller dimension. By applying this result to known examples and decomposable Legendrian varieties, we construct infinitely many new examples in every dimension, with various Picard rank, canonical degree, Kodaira dimension and other invariants. △ Less

Submitted 19 January, 2010; v1 submitted 25 May, 2008; originally announced May 2008.

Comments: 116 pages, 6 figures. Author's PhD thesis (corrected and improved), defended on Feb 7th, 2008. to appear in Dissertationnes Mathematicae

MSC Class: 14M99; 53D10; 14L30; 53D20

Journal ref: Documenta Math. 15 (2010) 821-841

Some quasihomogeneous Legendrian varieties

Authors: Jaroslaw Buczynski

Abstract: We construct a family of examples of Legendrian subvarieties in some projective spaces. Although most of them are singular, a new example of smooth Legendrian variety in dimension 8 is in this family. The 8-fold has interesting properties: it is a compactification of the special linear group, a Fano manifold of index 5 and Picard number 1. We construct a family of examples of Legendrian subvarieties in some projective spaces. Although most of them are singular, a new example of smooth Legendrian variety in dimension 8 is in this family. The 8-fold has interesting properties: it is a compactification of the special linear group, a Fano manifold of index 5 and Picard number 1. △ Less

Submitted 8 August, 2007; v1 submitted 25 January, 2007; originally announced January 2007.

Comments: 21 pages, 1 figure

MSC Class: 14M99; 14M17; 14L35; 14L40

Journal ref: Adv. Geom. 9 (2009), no. 2, 257--277.

Hyperplane sections of Legendrian subvarieties

Authors: Jaroslaw Buczynski

Abstract: We prove that a general hyperplane section of a smooth Legendrian subvariety in a projective space admits Legendrian embedding into another projective space. This gives numerous new examples of smooth Legendrian subvarieties, some of which have positive Kodaira dimension. We prove that a general hyperplane section of a smooth Legendrian subvariety in a projective space admits Legendrian embedding into another projective space. This gives numerous new examples of smooth Legendrian subvarieties, some of which have positive Kodaira dimension. △ Less

Submitted 8 August, 2007; v1 submitted 21 January, 2007; originally announced January 2007.

Comments: 9 pages

MSC Class: 14M99

Journal ref: Math. Res. Lett. 15 (2008), no. 4, 623--629.

Toric Legendrian subvarieties

Authors: Jaroslaw Buczynski

Abstract: We give the full classification of smooth toric Legendrian subvarieties in projective space. We also prove that under some minor assumptions the group of linear automorphisms preserving given Legendrian subvariety preserves the contact structure of the ambient projective space. We give the full classification of smooth toric Legendrian subvarieties in projective space. We also prove that under some minor assumptions the group of linear automorphisms preserving given Legendrian subvariety preserves the contact structure of the ambient projective space. △ Less

Submitted 8 August, 2007; v1 submitted 20 September, 2006; originally announced September 2006.

Comments: 19 pages, 5 figures

MSC Class: 14M99; 14M25; 14L30

Journal ref: Transform. Groups 12 (2007), no. 4, 631--646.

Properties of legendrian subvarieties of projective space

Authors: Jaroslaw Buczynski

Abstract: I prove that every smooth legendrian variety generated by quadrics is a homogeneous variety and further I give a list of all such legendrian varieties. A review of the subject is included, illustrated by examples. Another result is that no complete intersection is a legendrian variety. I prove that every smooth legendrian variety generated by quadrics is a homogeneous variety and further I give a list of all such legendrian varieties. A review of the subject is included, illustrated by examples. Another result is that no complete intersection is a legendrian variety. △ Less

Submitted 24 March, 2005; originally announced March 2005.

Comments: 44 pages, 11 figures. This is an extended translation of my MSc Degree disertation

MSC Class: 14M99; 14M10; 14M17 (Primary) 17B10; 22E46 (Secondary)

Journal ref: A short version of this article is published in Geom. Dedicata 118 (2006), 87--103.