Showing 1–15 of 15 results for author: Abo, H

Non-defectivity of Segre-Veronese varieties

Authors: Hirotachi Abo, Maria Chiara Brambilla, Francesco Galuppi, Alessandro Oneto

Abstract: We prove that Segre-Veronese varieties are never secant defective if each degree is at least three. The proof is by induction on the number of factors, degree and dimension. As a corollary, we give an almost optimal non-defectivity result for Segre-Veronese varieties with one degree equal to one and all the others at least three. We prove that Segre-Veronese varieties are never secant defective if each degree is at least three. The proof is by induction on the number of factors, degree and dimension. As a corollary, we give an almost optimal non-defectivity result for Segre-Veronese varieties with one degree equal to one and all the others at least three. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 12 pages

Report number: BCSim-2022-s04 MSC Class: 14N05; 14N07

Ramification and Discriminants of Vector Bundles and a Quick Proof of Bogomolov's Theorem

Authors: Hirotachi Abo, Robert Lazarsfeld, Gregory G. Smith

Abstract: By analyzing degeneracy loci over projectivized vector bundles, we recompute the degree of the discriminant locus of a vector bundle and provide a new proof of the Bogomolov instability theorem. By analyzing degeneracy loci over projectivized vector bundles, we recompute the degree of the discriminant locus of a vector bundle and provide a new proof of the Bogomolov instability theorem. △ Less

Submitted 15 May, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 12 pages, typos corrected, reference added

MSC Class: 14J60; 14C17; 14N05

Journal ref: Rendiconti dell'Istituto di Matematica dell'Università di Trieste 54 (2022) 1-15

Most secant varieties of tangential varieties to Veronese varieties are nondefective

Authors: Hirotachi Abo, Nick Vannieuwenhoven

Abstract: We prove a conjecture stated by Catalisano, Geramita, and Gimigliano in 2002, which claims that the secant varieties of tangential varieties to the $d$th Veronese embedding of the projective $n$-space $\mathbb{P}^n$ have the expected dimension, modulo a few well-known exceptions. As Bernardi, Catalisano, Gimigliano, and Idá demonstrated that the proof of this conjecture may be reduced to the case… ▽ More We prove a conjecture stated by Catalisano, Geramita, and Gimigliano in 2002, which claims that the secant varieties of tangential varieties to the $d$th Veronese embedding of the projective $n$-space $\mathbb{P}^n$ have the expected dimension, modulo a few well-known exceptions. As Bernardi, Catalisano, Gimigliano, and Idá demonstrated that the proof of this conjecture may be reduced to the case of cubics, i.e., $d=3$, the main contribution of this work is the resolution of this base case. The proposed proof proceeds by induction on the dimension $n$ of the projective space via a specialization argument. This reduces the proof to a large number of initial cases for the induction, which were settled using a computer-assisted proof. The individual base cases were computationally challenging problems. Indeed, the largest base case required us to deal with the tangential variety to the third Veronese embedding of $\mathbb{P}^{79}$ in $\mathbb{P}^{88559}$. △ Less

Submitted 30 October, 2015; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: 25 pages, 2 figures, extended the introduction, and added a C++ code as an ancillary file

MSC Class: 14M99; 14Q15; 14Q20; 15A69; 15A72

Journal ref: Transactions of the American Mathematical Society 370(1), pp. 393--420, 2018

Eigenschemes and the Jordan canonical form

Authors: Hirotachi Abo, David Eklund, Thomas Kahle, Chris Peterson

Abstract: We study the eigenscheme of a matrix which encodes information about the eigenvectors and generalized eigenvectors of a square matrix. The two main results in this paper are this decomposition encodes the numeric data of the Jordan canonical form of the matrix. We also describe how the eigenscheme can be interpreted as the zero locus of a global section of the tangent bundle on projective space. T… ▽ More We study the eigenscheme of a matrix which encodes information about the eigenvectors and generalized eigenvectors of a square matrix. The two main results in this paper are this decomposition encodes the numeric data of the Jordan canonical form of the matrix. We also describe how the eigenscheme can be interpreted as the zero locus of a global section of the tangent bundle on projective space. This interpretation allows one to see eigenvectors and generalized eigenvectors of matrices from an alternative viewpoint. △ Less

Submitted 12 April, 2016; v1 submitted 27 June, 2015; originally announced June 2015.

Comments: 23 pages; v3: minor corrections, final version as appeared in Linear Algebra Appl

MSC Class: Primary 15A18; Secondary 13C40; 13P10; 14M12; 15A21; 15A22

Journal ref: Linear Algebra Appl. 496 (2016), 121-151

Eigenconfigurations of Tensors

Authors: Hirotachi Abo, Anna Seigal, Bernd Sturmfels

Abstract: Square matrices represent linear self-maps of vector spaces, and their eigenpoints are the fixed points of the induced map on projective space. Likewise, polynomial self-maps of a projective space are represented by tensors. We study the configuration of fixed points of a tensor or symmetric tensor. Square matrices represent linear self-maps of vector spaces, and their eigenpoints are the fixed points of the induced map on projective space. Likewise, polynomial self-maps of a projective space are represented by tensors. We study the configuration of fixed points of a tensor or symmetric tensor. △ Less

Submitted 19 December, 2015; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 25 pages

MSC Class: Primary 15A18; Secondary 13P25; 14M12; 15A69

New examples of defective secant varieties of Segre-Veronese varieties

Authors: Hirotachi Abo, Maria Chiara Brambilla

Abstract: We prove the existence of defective secant varieties of three-factor and four-factor Segre-Veronese varieties embedded in certain multi-degree. These defective secant varieties were previously unknown and are of importance in the classification of defective secant varieties of Segre-Veronese varieties with three or more factors. We prove the existence of defective secant varieties of three-factor and four-factor Segre-Veronese varieties embedded in certain multi-degree. These defective secant varieties were previously unknown and are of importance in the classification of defective secant varieties of Segre-Veronese varieties with three or more factors. △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 10 pages

MSC Class: 14M99; 15A69; 15A72

Journal ref: Collectanea Mathematica. 63, (2012) 3, 287-297

On the dimensions of secant varieties of Segre-Veronese varieties

Authors: Hirotachi Abo, Maria Chiara Brambilla

Abstract: This paper explores the dimensions of higher secant varieties to Segre-Veronese varieties. The main goal of this paper is to introduce two different inductive techniques. These techniques enable one to reduce the computation of the dimension of the secant variety in a high dimensional case to the computation of the dimensions of secant varieties in low dimensional cases. As an application of these… ▽ More This paper explores the dimensions of higher secant varieties to Segre-Veronese varieties. The main goal of this paper is to introduce two different inductive techniques. These techniques enable one to reduce the computation of the dimension of the secant variety in a high dimensional case to the computation of the dimensions of secant varieties in low dimensional cases. As an application of these inductive approaches, we will prove non-defectivity of secant varieties of certain two-factor Segre-Veronese varieties. We also use these methods to give a complete classification of defective s-th Segre-Veronese varieties for small s. In the final section, we propose a conjecture about defective two-factor Segre-Veronese varieties. △ Less

Submitted 29 June, 2011; v1 submitted 22 December, 2009; originally announced December 2009.

Comments: Revised version. To appear in Annali di Matematica Pura e Applicata

MSC Class: 14J10; 14J26; 14Q10

Journal ref: Annali di Matematica Pura ed Applicata. 192, (2013) 1, 61-92

Non-Defectivity of Grassmannians of planes

Authors: Hirotachi Abo, Giorgio Ottaviani, Chris Peterson

Abstract: Let $Gr(k,n)$ be the Plücker embedding of the Grassmann variety of projective $k$-planes in $¶n$. For a projective variety $X$, let $σ_s(X)$ denote the variety of its $s-1$ secant planes. More precisely, $σ_s(X)$ denotes the Zariski closure of the union of linear spans of $s$-tuples of points lying on $X$. We exhibit two functions $s_0(n)\le s_1(n)$ such that $σ_s(Gr(2,n))$ has the expected dime… ▽ More Let $Gr(k,n)$ be the Plücker embedding of the Grassmann variety of projective $k$-planes in $¶n$. For a projective variety $X$, let $σ_s(X)$ denote the variety of its $s-1$ secant planes. More precisely, $σ_s(X)$ denotes the Zariski closure of the union of linear spans of $s$-tuples of points lying on $X$. We exhibit two functions $s_0(n)\le s_1(n)$ such that $σ_s(Gr(2,n))$ has the expected dimension whenever $n\geq 9$ and either $s\le s_0(n)$ or $s_1(n)\le s$. Both $s_0(n)$ and $s_1(n)$ are asymptotic to $\frac{n^2}{18}$. This yields, asymptotically, the typical rank of an element of $\wedge^{3} 1pt {\mathbb C}^{n+1}$. Finally, we classify all defective $σ_s(Gr(k,n))$ for $s\le 6$ and provide geometric arguments underlying each defective case. △ Less

Submitted 16 January, 2009; originally announced January 2009.

Comments: 17 pages

MSC Class: 15A69; 15A72; 14Q99; 14M12; 14M99

Secant varieties of Segre-Veronese varieties P^m x P^n embedded by O(1,2)

Authors: Hirotachi Abo, Maria Chiara Brambilla

Abstract: Let $X_{m,n}$ be the Segre-Veronese variety $\mathbb{P}^m \times \mathbb{P}^n$ embedded by the morphism given by $\mathcal{O}(1,2)$. In this paper, we provide two functions $\underline{s}(m,n)\le \bar{s}(m,n)$ such that the $s^{\mathrm{th}}$ secant variety of $X_{m,n}$ has the expected dimension if $s \leq \underline{s}(m,n)$ or $ \bar{s}(m,n) \leq s$. We also present a conjecturally complete list… ▽ More Let $X_{m,n}$ be the Segre-Veronese variety $\mathbb{P}^m \times \mathbb{P}^n$ embedded by the morphism given by $\mathcal{O}(1,2)$. In this paper, we provide two functions $\underline{s}(m,n)\le \bar{s}(m,n)$ such that the $s^{\mathrm{th}}$ secant variety of $X_{m,n}$ has the expected dimension if $s \leq \underline{s}(m,n)$ or $ \bar{s}(m,n) \leq s$. We also present a conjecturally complete list of defective secant varieties of such Segre-Veronese varieties. △ Less

Submitted 6 February, 2012; v1 submitted 28 September, 2008; originally announced September 2008.

Comments: 18 pages; published version; corrected typo in Definition 4.3

MSC Class: 14M99; 14Q99; 15A69; 15A72

Journal ref: Experimental Mathematics, 18 (2009) 3, 369-384

Induction for secant varieties of Segre varieties

Authors: Hirotachi Abo, Giorgio Ottaviani, Chris Peterson

Abstract: This paper studies the dimension of secant varieties to Segre varieties. The problem is cast both in the setting of tensor algebra and in the setting of algebraic geometry. An inductive procedure is built around the ideas of successive specializations of points and projections. This reduces the calculation of the dimension of the secant variety in a high dimensional case to a sequence of calcula… ▽ More This paper studies the dimension of secant varieties to Segre varieties. The problem is cast both in the setting of tensor algebra and in the setting of algebraic geometry. An inductive procedure is built around the ideas of successive specializations of points and projections. This reduces the calculation of the dimension of the secant variety in a high dimensional case to a sequence of calculations of partial secant varieties in low dimensional cases. As applications of the technique: We give a complete classification of defective $t$-secant varieties to Segre varieties for t < 7. We generalize a theorem of Catalisano-Geramita-Gimigliano on non-defectivity of tensor powers of P^n. We determine the set of p for which unbalanced Segre varieties have defective p-secant varieties. In addition, we show that the Segre varieties P^1 x P^1 x P^n x P^n and P^2 x P ^3 x P^3 are deficient and completely describe the dimensions of their secant varieties. In the final section we propose a series of conjectures about defective Segre varieties. △ Less

Submitted 2 August, 2006; v1 submitted 7 July, 2006; originally announced July 2006.

Comments: the reference to [CGG1] in example 5.6 is expanded

MSC Class: 14M12; 14Q12; 15A69; 15A72

Implementation of Kumar's correspondence

Authors: Hirotachi Abo, Chris Peterson

Abstract: In 1997, N.M. Kumar published a paper which introduced a new tool of use in the construction of algebraic vector bundles. Given a vector bundle on projective n-space, a well known theorem of Quillen-Suslin guarantees the existence of sections which generate the bundle on the complement of a hyperplane in projective n-space. Kumar used this fact to give a correspondence between vector bundles on… ▽ More In 1997, N.M. Kumar published a paper which introduced a new tool of use in the construction of algebraic vector bundles. Given a vector bundle on projective n-space, a well known theorem of Quillen-Suslin guarantees the existence of sections which generate the bundle on the complement of a hyperplane in projective n-space. Kumar used this fact to give a correspondence between vector bundles on projective n-space and vector bundles on projective (n-1)-space satisfying certain conditions. He then applied this correspondence to establish the existence of many, previously unknown, rank two bundles on projective fourspace in positive characteristic. The goal of the present paper is to give an explicit homological description of Kumar's correspondence in a setting appropriate for implementation in a computer algebra system. △ Less

Submitted 17 January, 2006; originally announced January 2006.

Comments: 17 pages

MSC Class: 14F05; 13C05

Exterior algebra methods for the construction of rational surfaces in the projective fourspace

Authors: Hirotachi Abo, Frank-Olaf Schreyer

Abstract: The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard deformation theory. The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard deformation theory. △ Less

Submitted 29 August, 2005; originally announced August 2005.

Comments: 13 pages. Singular or Macaulay2 scripts needed to construct and analyse these surfaces are available at http://www.math.uni-sb.de/~ag-schreyer and http://www.math.colostate.edu/~abo/programs.html

MSC Class: 14J10; 14J26; 14Q10

Construction of rational surfaces of degree 12 in projective fourspace (with an appendix by Kristian Ranestad)

Authors: Hirotachi Abo

Abstract: The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth rational surfaces in projective fourspace with the prescribed invariants. The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth rational surfaces in projective fourspace with the prescribed invariants. △ Less

Submitted 2 November, 2004; originally announced November 2004.

Comments: See http://www.math.colostate.edu/~abo/programs.html for the Macaulay2 scripts

MSC Class: 14J26

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

An elliptic conic bundle in P^4 arising from a stable rank-3 vector bundle

Authors: Hirotachi Abo, Wolfram Decker, Nobuo Sasakura

Abstract: In this note we show the existence of a family of elliptic conic bundles in P^4 of degree 8. This family has been overlooked and in fact falsely ruled out in a series of classification papers. Our surfaces provide a counterexample to a conjecture of Ellingsrud and Peskine. According to this conjecture there should be no irregular m-ruled surface in P^4 for m at least 2. In this note we show the existence of a family of elliptic conic bundles in P^4 of degree 8. This family has been overlooked and in fact falsely ruled out in a series of classification papers. Our surfaces provide a counterexample to a conjecture of Ellingsrud and Peskine. According to this conjecture there should be no irregular m-ruled surface in P^4 for m at least 2. △ Less

Submitted 28 August, 1997; originally announced August 1997.

Comments: 13 pages, AmS-TeX v. 2.1