-
Secant Varieties of the Varieties of Reducible Hypersurfaces in ${\mathbb P}^n$
Authors:
M. V. Catalisano,
A. V. Geramita,
A. Gimigliano,
B. Harbourne,
J. Migliore,
U. Nagel,
Y. S. Shin
Abstract:
Given the space $V={\mathbb P}^{\binom{d+n-1}{n-1}-1}$ of forms of degree $d$ in $n$ variables, and given an integer $\ell>1$ and a partition $λ$ of $d=d_1+\cdots+d_r$, it is in general an open problem to obtain the dimensions of the $\ell$-secant varieties $σ_\ell ({\mathbb X}_{n-1,λ})$ for the subvariety ${\mathbb X}_{n-1,λ} \subset V$ of hypersurfaces whose defining forms have a factorization i…
▽ More
Given the space $V={\mathbb P}^{\binom{d+n-1}{n-1}-1}$ of forms of degree $d$ in $n$ variables, and given an integer $\ell>1$ and a partition $λ$ of $d=d_1+\cdots+d_r$, it is in general an open problem to obtain the dimensions of the $\ell$-secant varieties $σ_\ell ({\mathbb X}_{n-1,λ})$ for the subvariety ${\mathbb X}_{n-1,λ} \subset V$ of hypersurfaces whose defining forms have a factorization into forms of degrees $d_1,\ldots,d_r$. Modifying a method from intersection theory, we relate this problem to the study of the Weak Lefschetz Property for a class of graded algebras, based on which we give a conjectural formula for the dimension of $σ_\ell({\mathbb X}_{n-1,λ})$ for any choice of parameters $n,\ell$ and $λ$. This conjecture gives a unifying framework subsuming all known results. Moreover, we unconditionally prove the formula in many cases, considerably extending previous results, as a consequence of which we verify many special cases of previously posed conjectures for dimensions of secant varieties of Segre varieties. In the special case of a partition with two parts (i.e., $r=2$), we also relate this problem to a conjecture by Fröberg on the Hilbert function of an ideal generated by general forms.
△ Less
Submitted 1 January, 2021; v1 submitted 31 January, 2015;
originally announced February 2015.
-
Artinian level algebras of codimension 3
Authors:
Jeaman Ahn,
Young Su Shin
Abstract:
In this paper, we continue the study of which $h$-vectors $\H=(1,3,..., h_{d-1}, h_d, h_{d+1})$ can be the Hilbert function of a level algebra by investigating Artinian level algebras of codimension 3 with the condition $β_{2,d+2}(I^{\rm lex})=β_{1,d+1}(I^{\rm lex})$, where $I^{\rm lex}$ is the lex-segment ideal associated with an ideal $I$. Our approach is to adopt an homological method called {\…
▽ More
In this paper, we continue the study of which $h$-vectors $\H=(1,3,..., h_{d-1}, h_d, h_{d+1})$ can be the Hilbert function of a level algebra by investigating Artinian level algebras of codimension 3 with the condition $β_{2,d+2}(I^{\rm lex})=β_{1,d+1}(I^{\rm lex})$, where $I^{\rm lex}$ is the lex-segment ideal associated with an ideal $I$. Our approach is to adopt an homological method called {\it Cancellation Principle}: the minimal free resolution of $I$ is obtained from that of $I^{\rm lex}$ by canceling some adjacent terms of the same shift.
We prove that when $β_{1,d+2}(I^{\rm lex})=β_{2,d+2}(I^{\rm lex})$, $R/I$ can be an Artinian level $k$-algebra only if either $h_{d-1}<h_d<h_{d+1}$ or $h_{d-1}=h_d=h_{d+1}=d+1$ holds. We also apply our results to show that for $\H=(1,3,..., h_{d-1}, h_d, h_{d+1})$, the Hilbert function of an Artinian algebra of codimension 3 with the condition $h_{d-1}=h_d<h_{d+1}$,
(a) if $h_d\leq 3d+2$, then $h$-vector $\H$ cannot be level, and
(b) if $h_d\geq 3d+3$, then there is a level algebra with Hilbert function $\H$ for some value of $h_{d+1}$.
△ Less
Submitted 20 July, 2011;
originally announced July 2011.
-
The Gotzmann Coefficients of Hilbert Functions
Authors:
Jeaman Ahn,
Anthony V. Geramita,
Yong Su Shin
Abstract:
In this paper we investigate some algebraic and geometric consequences which arise from an extremal bound on the Hilbert function of the general hyperplane section of a variety (Green's Hyperplane Restriction Theorem). These geometric consequences improve some results in this direction first given by Green and extend others by Bigatti, Geramita, and Migliore.
Other applications of our detailed…
▽ More
In this paper we investigate some algebraic and geometric consequences which arise from an extremal bound on the Hilbert function of the general hyperplane section of a variety (Green's Hyperplane Restriction Theorem). These geometric consequences improve some results in this direction first given by Green and extend others by Bigatti, Geramita, and Migliore.
Other applications of our detailed investigation of how the Hilbert polynomial is written as a sum of binomials, are to conditions that must be satisfied by a polynomial if it is to be the Hilbert polynomial of a non-degenerate integral subscheme of $\mathbb P^n$ (a problem posed by R. Stanley). We also give some new restrictions on the Hilbert function of a zero dimensional reduced scheme with the Uniform Position Property.
△ Less
Submitted 18 September, 2008;
originally announced September 2008.
-
Generic Initial Ideals And Graded Artinian Level Algebras Not Having The Weak-Lefschetz Property
Authors:
Jea-Man Ahn,
Yong Su Shin
Abstract:
We find a sufficient condition that $\H$ is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function $\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1})$ cannot be level if $h_d\le 2d+3$, and that there exists a level O-sequence of codimension 3 of type $\H$ for $h_d \ge 2d+k$ for $k\ge 4$. Furthermore, we show that $\H$ is not level…
▽ More
We find a sufficient condition that $\H$ is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function $\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1})$ cannot be level if $h_d\le 2d+3$, and that there exists a level O-sequence of codimension 3 of type $\H$ for $h_d \ge 2d+k$ for $k\ge 4$. Furthermore, we show that $\H$ is not level if $β_{1,d+2}(I^{\rm lex})=β_{2,d+2}(I^{\rm lex})$, and also prove that any codimension 3 Artinian graded algebra $A=R/I$ cannot be level if $β_{1,d+2}(\Gin(I))=β_{2,d+2}(\Gin(I))$. In this case, the Hilbert function of $A$ does not have to satisfy the condition $h_{d-1}>h_d=h_{d+1}$.
Moreover, we show that every codimension $n$ graded Artinian level algebra having the Weak-Lefschetz Property has the strictly unimodal Hilbert function having a growth condition on $(h_{d-1}-h_{d}) \le (n-1)(h_d-h_{d+1})$ for every $d > θ$ where $$ h_0<h_1<...<h_α=...=h_θ>...>h_{s-1}>h_s. $$ In particular, we find that if $A$ is of codimension 3, then $(h_{d-1}-h_{d}) < 2(h_d-h_{d+1})$ for every $θ< d <s$ and $h_{s-1}\le 3 h_s$, and prove that if $A$ is a codimension 3 Artinian algebra with an $h$-vector $(1,3,h_2,...,h_s)$ such that $$ h_{d-1}-h_d=2(h_d-h_{d+1})>0 \quad \text{and} \quad \soc(A)_{d-1}=0 $$ for some $r_1(A)<d<s$, then $(I_{\le d+1})$ is $(d+1)$-regular and $\dim_k\soc(A)_d=h_d-h_{d+1}$.
△ Less
Submitted 3 July, 2006;
originally announced July 2006.
-
Non-Level O-sequences of Codimension 3 and Degree of The Socle Elements
Authors:
Yong Su Shin
Abstract:
It is unknown if an Artinian level O-sequence of codimension 3 and type $r (\ge 2)$ is unimodal, while it is known that any Gorenstein O-sequence of codimension 3 is unimodal. We show that some Artinian non-unimodal O-sequence of codimension 3 cannot be level. We also find another non-level case: if some Artinian algebra $A$ of codimension 3 has the Hilbert function…
▽ More
It is unknown if an Artinian level O-sequence of codimension 3 and type $r (\ge 2)$ is unimodal, while it is known that any Gorenstein O-sequence of codimension 3 is unimodal. We show that some Artinian non-unimodal O-sequence of codimension 3 cannot be level. We also find another non-level case: if some Artinian algebra $A$ of codimension 3 has the Hilbert function $$\begin{matrix}\H & : & h_0 & h_1 & ... & h_{d-1} & \underbrace{h_d ... h_d}_{s\text{-times}} & h_{d+s}, \end{matrix} $$ such that $h_d<h_{d+s}$ and $s\ge 2$, then $A$ has a socle element in degree $d+s-2$, that is, $A$ is not level.
△ Less
Submitted 8 May, 2005;
originally announced May 2005.
