Componentwise linear ideals in Veronese rings
In this article, we study the componentwise linear ideals in the Veronese subrings of $R=K[x_1,\ldots,x_n]$. If char$(K)=0$, then we give a characterization for graded ideals in the $c^{th}$ Veronese ring $R^{(c)}$ to be componentwise linear. This characterization is an analogue of that over $R$ due to Aramova, Herzog and Hibi in \cite{ah00} and Conca, Herzog and Hibi in \cite{chh04}.
\section{Introduction}
Let $R=K[x_1,\ldots,x_n]$, where $K$ is a field. For $c\in \mathbb N$, the $c^{th}$ {\it Veronese ring} of $R$ is the ring  $$R^{(c)}:=K[\mbox{all monomials of degree equal to $c$ in } R].$$
The componentwise linear ideals in $R$ are well studied by various authors. 
Their graded Betti numbers are studied by Herzog and Hibi, see \cite{hh99}. In \cite{ah00}, Aramova, Herzog and Hibi characterized that if char$(K)=0$, then a graded ideal $I$ in $R$ is componentwise linear if and only if $I$ and $\operatorname{Gin}_{\tau}(I)$ have the same graded Betti numbers, where $\operatorname{Gin}_{\tau}(I)$ is the generic initial ideal of $I$, with respect to the term order $\tau$, the reverse lexicographic order. Later Conca proved a characterization in terms of Koszul Betti numbers of 
$\operatorname{Gin}_{\tau}(I)$, see \cite{c03}. Also see \cite{chh04} for the regidity of Koszul Betti numbers. Not much is known in the literature about the componentwise linear ideals in $R^{(c)}$. It is interesting to look whether 
one can have a characterization for the componentwise linear ideals in the Veronese ring $R^{(c)}$ which is an analogue of that of \cite[Theorem 1.1]{ah00} and \cite[Theorem 4.5]{c03}. 
\begin{question}
Can we give a characterization for the componentwise linear ideals in $R^{(c)}$?   
\end{question}
In this work, we answer this question affirmatively. Gasharov, Murai and Peeva defined and studied the Borel ideals and lex ideals in the Veronese ring $R^{(c)}$ to prove the Macaulay's Theorem for graded ideals in $R^{(c)}$, see \cite{gmp11}. We show that if $I$ is a graded ideal in  
$R^{(c)}$, then the contracted ideal $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ in $R^{(c)}$ is a Borel ideal and has graded Betti numbers bigger than that of $I$ (Lemma \ref{lem1} and  Proposition \ref{pro1}). Using this we prove formulas for the graded Betti numbers of componentwise 
linear ideals in $R^{(c)}$ (Proposition \ref{pro2}). This is an analogue of that of 
\cite[Proposition 1.3]{hh99}. Thus, we prove that \cite[Corollary 3.7.5]{gmp11} is more generally true for componentwise linear ideals. We show an analogue characterization of that of 
\cite[Theorem 1.1]{ah00} in $R^{(c)}$:  

\noindent 
{\bf Theorem \ref{thm1}.}
 Assume char$(K)=0$. Then a graded ideal $I$ in $R^{(c)}$ is componentwise linear if and only if 
 $$\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{I}\right) =  
\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right) ~~\mbox{ for all }i,j.$$
 Also we showed that 
 
\noindent 
{\bf Theorem \ref{thm2}.}
   Assume char$(K)=0$. Let $I \subset R^{(c)}$ be a graded ideal and $M=\frac{R^{(c)}}{I}$. Let $y_1,\ldots,y_d$ be a generic sequence of homogeneous forms of degree one in $R^{(c)}$. Suppose $y_1,\ldots,y_d$ is a proper $M$-sequence. Then $I$ is componentwise linear.
\vskip 0.1cm
 This is partly an analogue of \cite[Theorem 1.5]{chh04} for the graded ideals in the Veronese ring $R^{(c)}$. Also, we give a necessary condition for the componentwise linearity of ideals in $R^{(c)}$ as below. 
 
\noindent 
{\bf Theorem \ref{thm3}.} 
 Assume char$(K)=0$. Let $y_1,\ldots,y_d$ be a generic sequence of homogeneous forms of degree one in $R^{(c)}$. Let $I \subset R^{(c)}$ be a graded ideal. Suppose $I$ is componentwise linear. Then $\mathfrak m^{(c)}\left(Tor_i^{R^{(c)}}\left(K, \frac{R^{(c)}}{I}\right)\right)=0$ for all $i\geq 1$.
  
  

 We organize the paper as follows. In the Section \ref{sec2}, we recall various notations, results that are needed in the rest of the paper. Also we prove our one of the main result, Theorem \ref{thm1}. Finally in the Section \ref{sec3}, we study a necessary and a  sufficient condition for componentwise linear ideals in $R^{(c)}$ in Theorems \ref{thm2}, \ref{thm3}.    

\noindent  
{\bf Acknowledgement:} I would like to thank Professor Aldo Conca for some clarifications and I thank the anonymous referee for the critical reading of the manuscript. 

 \section{Betti numbers of componentwise linear ideals in $R^{(c)}$} \label{sec2}

      Let $R=K[x_1,\ldots,x_n]$ be the polynomial ring in the variables $x_1,\ldots,x_n$ 
      over a field $K$ and $\mathfrak m=(x_1,\ldots,x_n)$. Let $c\in \mathbb N$. The $c^{th}$ {\it Veronese ring} 
      of $R$ is the ring  $R^{(c)}:=K[{\bf x}^{\bf a}~|~ {\bf x}^{\bf a} \mbox{ is a monomial of 
      degree $c$ in } R]$. $R^{(c)}$ is a standard graded $K$-algebra with the grading 
      $$R^{(c)} = \displaystyle \bigoplus_{j} R_{cj}.$$ 
In this work, we study the componentwise linearity of graded ideals in $R^{(c)}$. Let $I$ 
be a graded ideal in $R^{(c)}$. We say that $I$ is {\it componentwise linear}, if $I_{\langle j \rangle}$ 
has $j$-linear resolution over $R^{(c)}$, for all $j$. Here $I_{\langle j \rangle}$ denotes the ideal 
generated by $I_j$, the $j^{th}$ graded component of $I$. 
      
      The $ij^{th}$ Betti number of $R^{(c)}/I$, where $I$ is a graded ideal in $R^{(c)}$,  is denoted and defined as 
$$\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{I}\right):=\dim_K\left(Tor_i^{R^{(c)}}\left(K,\frac{R^{(c)}}{I}\right)_j\right).$$      
       
Set $d={n+c-1 \choose n-1}$. Let $S=K[t_1,\ldots,t_d]$ be the polynomial ring in $d$ variables over $K$. 
Define a ring homomorphism $\varphi:S \rightarrow R$, 
$\varphi(t_i)={\bf x}^{\bf a_i}$, where ${\bf a_1, \ldots, a_d}$ be the vectors in $\mathbb Z_+^n$ such 
that $|{\bf a}_i|=c$ and ${\bf a_1} >_{lex} \cdots >_{lex} {\bf a_d}$. 
Then $\frac{S}{\operatorname{ker}(\varphi)}\cong R^{(c)}$ and denote this isomorphism as   $\varphi_{R^{(c)}}$. 
Let $\varphi_S:S\rightarrow \frac{S}{\operatorname{ker}(\varphi)}$ be the projection map. Then $\varphi=\varphi_{R^{(c)}}\circ \varphi_S$. 

Recall that a monomial ideal $J$ in $R$ is called Borel, if $m x_j\in J$, then 
$m x_i\in J$, for $1\leq i < j$. The Borel ideals in $R^{(c)}$ are defined as 
follows due to Gasharov, Murai and Peeva. 
\begin{definition}[Definition 3.7.1, \cite{gmp11}]
A monomial ideal $I$ in $R^{(c)}$ is called Borel, if the ideal $IR$ is Borel in $R$.  
\end{definition}  

Let $J$ be an graded ideal in $R$. Then the generic initial ideal of $J$ with respect 
to a term order $\tau$, is denoted and defined as $\operatorname{Gin}_{\tau}(I):=in_{\tau}(g(J))$, where 
$g$ is a generic element in $GL_n(K)$. Notice that $\operatorname{Gin}_{\tau}(J)$ is a Borel ideal. 
For a graded ideal $J$ in $R$, $J^{(c)}$ denotes the contraction of $J$ in $R^{(c)}$. 

\begin{lemma} \label{lem1}
Let $I$ be a graded ideal in $R^{(c)}$. Then $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ is a Borel ideal 
in $R^{(c)}$. 
\end{lemma}
\begin{proof}
Note that the minimal monomial generators of $(\operatorname{Gin}_{\tau}(IR))^{(c)}R$ and $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ are equal. Also we have 
$$
\left((\operatorname{Gin}_{\tau}(IR))^{(c)}R\right)_j = \left\{
\begin{array}{ll}
 \operatorname{Gin}_{\tau}(IR)_j & \mbox{ if } c|j \\
 \mathfrak m^r \operatorname{Gin}_{\tau}(IR)_{cq} & \mbox{ if } j=cq+r, ~~0< r < c. 
\end{array}
\right.
$$
Since $\operatorname{Gin}_{\tau}(IR)$ is Borel, then we have the property that for each monomial 
$mx_u \in \operatorname{Gin}_{\tau}(IR)_j$, then $mx_i \in \operatorname{Gin}_{\tau}(IR)_j$, for $1 \leq i < u$. The same property holds for 
each monomial which belongs to $\left((\operatorname{Gin}_{\tau}(IR))^{(c)}R\right)_j$ as well.    
This implies that $\left((\operatorname{Gin}_{\tau}(IR))^{(c)}R\right)$ is Borel. 
\end{proof}
 
\begin{lemma} \label{lem2}
Let $I\subset R^{(c)}$ be a graded ideal. Then $R^{(c)}/I$ and $R^{(c)}/(\operatorname{Gin}_{\tau}(IR))^{(c)}$ have the same Hilbert function. 
\end{lemma} 
\begin{proof}
For each $j$,  
\begin{eqnarray*}
\dim_K((\operatorname{Gin}_{\tau}(IR))^{(c)}_j) &=& \dim_K(\operatorname{Gin}_{\tau}(IR)_{cj}) \\
                                  &=& \dim_K((IR)_{cj}) ~~~( \operatorname{Gin}_{\tau}(IR), IR \mbox{ have the same Hilbert function}) \\
                                  &=&  \dim_K(I_{j}).                                   
\end{eqnarray*}
\end{proof}

\begin{proposition} \label{pro1} 
Let $I\subset R^{(c)}$ be a graded ideal. Then 
$$\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{I}\right)\leq 
\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right).$$
\end{proposition} 
\begin{proof}
By the discussions 3.3 and 3.4 in \cite{gmp11}, we have $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ is a type B 
deformation of $I$. Therefore the graded Betti numbers of $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ are bigger than that of $I$.  
\end{proof} 

Now prove the Betti number of componentwise linear ideals in $R^{(c)}$. This proves that \cite[Corollary 3.7.5]{gmp11} is more generally true for componentwise linear ideals. 

\begin{proposition} \label{pro2}
Let $I$ be a componentwise linear ideal in $R^{(c)}$.  Then 
$$\beta^{R^{(c)}}_{i,i+j}(I)= \beta^{R^{(c)}}_i(I_{\langle j \rangle})-
\beta^{R^{(c)}}_i(\mathfrak m^{(c)} I_{\langle j-1 \rangle}),$$ 
for all $i,j$. 
\end{proposition}
\begin{proof}
By induction on the highest degree $t$ of a minimal generator of $I$. Suppose $t=1$. 
Then $I$ is generated by homogeneous elements of degree one in $R^{(c)}$. Then by the 
\cite[Lemma 3.7.2]{gmp11}, $I$ has $1$-linear resolution over $R^{(c)}$. This implies that 
$I$ is componentwise linear over $R^{(c)}$. Therefore the statement is trivially true for $t=1$. 
Assume $t >1$. Consider the short exact sequence 
$$0 \rightarrow I_{\leq t-1} \rightarrow I \rightarrow 
\frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t \rangle}} \rightarrow 0,$$
which induces the long exact sequence 
$$\cdots \rightarrow Tor_{i+1}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t \rangle}}\right)_{i+j} 
\rightarrow Tor_i\left(K, I_{\leq t-1}\right)_{i+j} \rightarrow Tor_i\left(K, I\right)_{i+j}  
\rightarrow Tor_{i}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t \rangle}}\right)_{i+j} \rightarrow \cdots.$$ 
By induction hypothesis we have 
$$\beta^{R^{(c)}}_{i,i+j}(I_{\leq t-1})= \beta^{R^{(c)}}_i((I_{\leq t-1})_{\langle j \rangle}) - 
\beta^{R^{(c)}}_i(\mathfrak m^{(c)} (I_{\leq t-1})_{\langle j-1 \rangle}),$$ 
for all $j \geq t$. Therefore by above long exact sequence we have 
$$Tor_i\left(K, I\right)_{i+j}  
\cong Tor_{i}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t \rangle}}\right)_{i+j} 
\mbox{  for all } j \geq t.$$
Since $\beta^{R^{(c)}}_{i,i+j}(I)=\beta^{R^{(c)}}_{i,i+j}(I_{\leq t-1})$ for all $j \leq t-1$, for all $i$, 
then by the induction hypothesis the statement is true for $j \leq t-1$. Assume $j \geq t$. 
Consider the short exact sequence 
$$0 \rightarrow \mathfrak m^{(c)}I_{\langle t-1 \rangle} \rightarrow I_{\langle t \rangle} \rightarrow 
\frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t-1 \rangle}}\rightarrow 0,$$
there is an exact sequence in homology 
\begin{eqnarray*}
 Tor_{i+1}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t-1 \rangle}}\right)_{i+j} &\rightarrow& Tor_i(K, \mathfrak m^{(c)}I_{\langle t-1 \rangle})_{i+j}
\rightarrow Tor_i(K, I_{\langle t \rangle})_{i+j} \rightarrow Tor_{i}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t-1 \rangle}}\right)_{i+j} \\
 &\rightarrow& Tor_{i-1}(K, \mathfrak m^{(c)}I_{\langle t-1 \rangle})_{i+j}.
\end{eqnarray*}
If $j=t$, then the extreme Tors are zeros because $I_{\langle t \rangle}$ and $\mathfrak m^{(c)}I_{\langle t-1 \rangle}$ have $t$-linear resolutions. 
This implies that the statement is true for $j=t$. Assume $j > t$. Then we have that  
$$Tor_i(K, I_{\langle t \rangle})_{i+j} \rightarrow Tor_{i}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t-1 \rangle}}\right)_{i+j} 
\rightarrow 0$$ 
is exact for all $i$ and $j>t$. Since $I_{\langle t \rangle}$ has $t$-linear resolution, we have 
$Tor_i(K, I_{\langle t \rangle})_{i+j}=0$ for all $i$ and $j>t$. Therefore the above exact sequence gives that 
$Tor_{i}\left(K, \frac{I_{\langle t \rangle}}{\mathfrak m^{(c)}I_{\langle t-1 \rangle}}\right)_{i+j}=0$ for all $i$ and $j>t$. 
By using the above isomorphism, this implies that $Tor_i(K, I)_{i+j}=0$, for all $i$ and for all $j > t$. 
Thus $\beta^{R^{(c)}}_{i,i+j}(I)=0$ for all $i$ and for all $j > t$. This concludes the proof because 
$\mathfrak m^{(c)}I_{\langle j-1 \rangle}=I_{\langle j \rangle}$ for $j > t$. 
\end{proof}


\begin{lemma} \label{lem3}
 Let $I$ be a componentwise linear ideal in $R^{(c)}$. Then $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ is Borel. 
\end{lemma}
\begin{proof}
 Assume $I_{\langle j \rangle}$ has a linear resolution. That is $\operatorname{reg}(I_{\langle j \rangle})=j$. 
 Since $\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R)$ is generated in single degree $cj$ in $R$, then 
 $\operatorname{reg}(\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R))=cj$. Then by \cite[Proposition 10]{er94}, 
 $\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R)_{cj}$ generates a Borel ideal in $R$. But 
 $$\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R)_{cj}=\operatorname{Gin}_{\tau}((IR)_{\langle cj \rangle})_{cj}=
 \operatorname{Gin}_{\tau}((IR))_{cj}.$$ 
 Since $j$ is arbitrary, we have that$(\operatorname{Gin}_{\tau}(IR))^{(c)}= \displaystyle \bigoplus_{j} \operatorname{Gin}_{\tau}((IR))_{cj}$ is Borel.
\end{proof}

\begin{theorem} \label{thm1}
 Assume char$(K)=0$. Then a graded ideal $I$ in $R^{(c)}$ is componentwise linear if and only if 
 $$\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{I}\right) =  
\beta^{R^{(c)}}_{ij}\left(\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right) ~~\mbox{ for all }i,j.$$
\end{theorem}
\begin{proof}
 Assume $I$ is componentwise linear. By using the Proposition \ref{pro2} it is suffices to show that  
 \begin{center}
 $\beta^{R^{(c)}}_{i}\left(I_{\langle j \rangle}\right) =  
\beta^{R^{(c)}}_{i}\left(\left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle j \rangle}\right)$ and  \\ 
  $\beta^{R^{(c)}}_{i}\left(\mathfrak m^{(c)}I_{\langle j-1 \rangle}\right) =  
\beta^{R^{(c)}}_{i}\left(\left(\mathfrak m^{(c)}(\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle j-1 \rangle}\right)$
 \end{center}
for all $i,j$. 
 We have that $$\left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle j \rangle}=
 \left(\operatorname{Gin}_{\tau}(IR)\right)_{\langle cj \rangle}=\left(\operatorname{Gin}_{\tau}((IR)_{\langle cj \rangle})\right)^{(c)} 
 =\left(\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R)\right)^{(c)}.$$
 Since $\left(\operatorname{Gin}_{\tau}(I_{\langle j \rangle}R)\right)^{(c)}$ generated in single 
 degree, then by \cite[Theorem 3.7.4]{gmp11}, we have that it has $j$-linear resolution. 
 This implies that $I_{\langle j \rangle}$ and $\left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle j \rangle}$ 
 have the same Betti numbers because they have the same Hilbert function (cf. Lemma \ref{lem2}). Since $\mathfrak m^{(c)}I_{\langle j-1 \rangle}$ and 
$\left(\mathfrak m^{(c)}(\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle j-1 \rangle}$ have $j$-linear 
resolutions, then by above argument we get that they have same Betti numbers.  

 Conversely, assume that $I$ and $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ have the same graded Betti numbers. 
 Let $r=\operatorname{max}(I)-\min(I)$, where $\operatorname{max}(I)$ ($\min(I)$) is the maximum (minimum) degree of a minimal 
 generator of $I$. Suppose $r=0$. Then $I$ is generated in single degree. This implies that 
 $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ is also generated in single degree. 
By \cite[Theorem 3.7.4]{gmp11}, we have that $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ has linear resolution. 
Then by the Proposition \ref{pro1}, $I$ has linear resolution. Assume 
$r\geq 1$. Let $s=\min(I)$. First we show that $I_{\langle s \rangle}$ have $s$-linear 
resolution. On the contrary, suppose $I_{\langle s \rangle}$ has no $s$-linear 
resolution. This implies that $\beta^{R^{(c)}}_{i, i+j}\left(I_{\langle s \rangle}\right) \neq 0$, 
for some $j \neq s$. By using the Proposition \ref{pro1}, 
$\beta^{R^{(c)}}_{i, i+j}\left(\left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\langle s \rangle}\right) \neq 0$, 
for some $j \neq s$. This implies that 
$\beta^{R^{(c)}}_{i, i+j}\left(\left((\operatorname{Gin}_{\tau}(I_{\langle s \rangle}R))^{(c)}\right)\right) \neq 0$, 
for some $j \neq s$. This gives that    
 $\operatorname{reg}((\operatorname{Gin}_{\tau}(I_{\langle s \rangle}R))^{(c)}) > s$. This is a contradiction 
 because $\operatorname{reg}((\operatorname{Gin}_{\tau}(I_{\langle s \rangle}R))^{(c)}) = s$ by \cite[Theorem 3.7.4]{gmp11}. 
 For the ideal $I_{\geq s+1}$, we have 
 $(\operatorname{Gin}_{\tau}(I_{\geq s+1}R))^{(c)}=\left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\geq s+1}$ and 
 $I_{\geq s+1}, \left((\operatorname{Gin}_{\tau}(IR))^{(c)}\right)_{\geq s+1}$ have the same graded Betti numbers. 
 Then by induction, $I_{\geq s+1}$ is componentwise linear.  
\end{proof}
 
 \section{The componentwise linearity of ideals in $R^{(c)}$} \label{sec3}
 
 Let $y_1,\ldots,y_d$ be a generic sequence of linear forms in $R^{(c)}$. Let $M$ be a 
 finitely generated graded $R^{(c)}$-module. Define $A_p= \frac{((y_1,\ldots,y_{p-1})M:y_p)}{(y_1,\ldots,y_{p-1})M}$ 
 for $1\leq p \leq d$. Let $\alpha_p(M):= \dim_K(A_p)$. Let 
 $H_i(p):=Tor_i^{R^{(c)}}\left(\frac{R^{(c)}}{(y_1,\ldots,y_p)}, M\right)$, for $1\leq p\leq d$. Let $h_i(p):= \dim_K(H_i(p))$. From the short exact sequence 
 
 $$0\rightarrow  \frac{R^{(c)}}{(y_1,\ldots,y_{p-1})}\xrightarrow{\pm y_p} 
  \frac{R^{(c)}}{(y_1,\ldots,y_{p-1})} \rightarrow \frac{R^{(c)}}{(y_1,\ldots,y_p)} \rightarrow 0,$$ 
 we have the long exact sequence 
 \begin{equation} \label{eq2}
  H_i(p-1)(-1)\xrightarrow{\varphi_{i,p-1}} H_i(p-1) \rightarrow H_i(p) \rightarrow H_{i-1}(p-1)(-1)
 \xrightarrow{\varphi_{i-1,p-1}} \cdots 
 \end{equation}
 \begin{equation*}
 \rightarrow H_0(p-1)(-1)\xrightarrow{\varphi_{0,p-1}} H_0(p-1) 
 \rightarrow H_0(p) \rightarrow 0,
 \end{equation*}
 where $\varphi_{i,p-1}$ is the map multiplication by $\pm y_p$. Note that $A_p=\operatorname{ker}(\varphi_{0,p-1})$, 
 for $1\leq p \leq d$. Then we have 
 \begin{equation} \label{eq3}
  h_1(p)=h_1(p-1)+\alpha_p(M)-\dim_K(Im(\varphi_{1,p-1}))
 \end{equation}
 \begin{equation*}
  h_i(p)=h_i(p-1)+h_{i-1}(p-1)-\dim_K(Im(\varphi_{i,p-1}))-\dim_K(Im(\varphi_{i-1,p-1}))
 \end{equation*}
 for all $p$ and for all $i\geq 2$. 
 
 Let $\beta^{R^{(c)}}_{ijp}(M):=\dim_K(H_i(p)_j)$. If we take $p=d$, then these numbers coincide with the graded Betti numbers of $M$.  Now the exact sequence \eqref{eq2}, implies that 
 \begin{equation}\label{eq4}
  \beta^{R^{(c)}}_{ijp}(M)=\beta^{R^{(c)}}_{ij(p-1)}(M)+\beta^{R^{(c)}}_{(i-1)(j-1)(p-1)}(M)-
  \dim_K(Im(\varphi_{i,p-1})_j)-\dim_K(Im(\varphi_{i-1,p-1})_j),   
 \end{equation} 
 \begin{equation*}
  \beta^{R^{(c)}}_{1jp}(M)=\beta^{R^{(c)}}_{1j(p-1)}(M)+\beta^{R^{(c)}}_{0(j-1)(p-1)}(M)-
  \beta^{R^{(c)}}_{0j(p-1)}(M)+\beta^{R^{(c)}}_{0jp}(M),
 \end{equation*}
for all $i\geq 2,$ for all $j$, $1\leq p \leq d$. 

 
 Now we state a result on the upper bounds for the Betti numbers of a graded module over $R^{(c)}$. By using the above equations, one derive analogue formulas that are proved by Conca, Herzog and Hibi in \cite{chh04}. The proof is almost similar to that of 
 \cite[Proposition 1.1]{chh04}. Hence we skip the proof. 
 
\begin{proposition} \label{pro3}
  For $1\leq i \leq p$, let $A_{i,p}=\{(a,b)\in \mathbb Z_+^2~|~1\leq b \leq p-1 
  \mbox{ and } \operatorname{max}(i-p+b,1)\leq a \leq i\}$. Let $M$ be a finitely generated graded $R^{(c)}$-module.
 Then 
 \begin{enumerate}
  \item $h_i(p) \leq \displaystyle \sum_{j=1}^{p-i+1}{p-j \choose i-1}\alpha_j(M)$, for all $i, p \geq 1$.
  \item For $i,p\geq 1$, the following are equivalent. 
   \subitem(i) $h_i(p)=\displaystyle \sum_{j=1}^{p-i+1}{p-j \choose i-1}\alpha_j(M)$.
   \subitem(ii) $\varphi_{a,b}=0$ for all $(a,b)\in A_{i,p}$.
   \subitem(iii) $\mathfrak m^{(c)}H_a(b)=0$ for all $(a,b)\in A_{i,p}$.
 \end{enumerate}
\end{proposition}

To state the next result we need to define a proper $M$-sequence in $R^{(c)}$.  
\begin{definition}
A sequence of homogeneous elements $f_1,\ldots,f_s$ in $R^{(c)}$ is called a proper $M$-sequence if $f_{p+1}H_i(p)=0$ for all $i \geq 1$ and $p=0,1, \ldots, s-1$. 
\end{definition}
This definition is an extension of that in \cite{hsv83}.

Take $p=d$ in the Proposition \ref{pro3}, then we get  
\begin{corollary} \label{cor3}
\begin{enumerate}
 \item $\beta^{R^{(c)}}_i(M)\leq \displaystyle \sum_{j=1}^{d-i+1}{d-j \choose i-1}\alpha_j(M)$ for all $i\geq 1$. 
 \item The following are equivalent: 
 \subitem(i) $M$ has maximal Betti numbers. That is, 
 $\beta^{R^{(c)}}_i(M)=\displaystyle \sum_{j=1}^{d-i+1}{d-j \choose i-1}\alpha_j(M)$ 
 for all $i\geq 1$.
 \subitem(ii) $\mathfrak m^{(c)}H_a(b)=0$ for all $b$ and for all $a\geq 1$. 
 \subitem(iii) $y_1,\ldots,y_d$ is a proper $M$-sequence. 
\end{enumerate}  
\end{corollary}
  Now we prove an analogue result of \cite[Lemma 1.2]{c03} which is required in the next theorem. 
\begin{lemma} \label{lem4}
Let $I\subset R^{(c)}$ be a graded ideal. Let $y_1,\ldots,y_d$ be a generic sequence of 
homogeneous forms of degree one in $R^{(c)}$. Then $\frac{R^{(c)}}{I+(y_1,\ldots,y_p)}$ and  
$\frac{R^{(c)}}{(y_1,\ldots,y_p)+\operatorname{Gin}_{\tau}(IR)^{(c)}}$ have the same Hilbert function, for $0\leq p \leq d$. 
\end{lemma} 
\begin{proof}
Let $f_1,\ldots,f_d \in S$ be homogeneous polynomials of degree one such that $\varphi((f_1,\ldots,f_p))=(y_1,\ldots,y_p)$. 
Let $g\in GL_n(K)$. Then $g$ gives a change of variables on $R$, $g:R \rightarrow R$. Let $g_{R^{(c)}}:R^{(c)}\rightarrow R^{(c)}$ denotes the restriction map of $g$ to $R^{(c)}$. Let $g_{S}$ be the 
change of variables in the polynomial ring $S$ that is induced by $g_{R^{(c)}}$ defined such that $g_S(t_{d-p+1})= f_1, \ldots, g_S(t_d)=f_p$ (see the discussion 3.3 in \cite{gmp11}). Then we have $\varphi \circ g_S=g \circ \varphi$. Now 
\begin{eqnarray*}
g_S^{-1}\circ \varphi^{-1}(IR+(y_1,\ldots,y_p)) &=& g_S^{-1}(\varphi^{-1}(IR)+\varphi^{-1}((y_1,\ldots,y_p))) \\
&=& g_S^{-1}(\varphi^{-1}(IR)+(f_1,\ldots,f_p)) \\
&=& g_S^{-1}\circ\varphi^{-1}(IR) +(t_{d-p+1}, \ldots,t_d).
\end{eqnarray*}
Now take the initial ideal with respect to a term order in $S$ that is compatible with $\tau$ in $R$. We denote this term order on $S$ also by $\tau$. Thus 
by \cite[Lemma 3.2.1]{gmp11} we have 
 $$\mbox{in}_{\tau}(g_S^{-1}\circ \varphi^{-1}(IR+(y_1,\ldots,y_p)))=\mbox{in}_{\tau}(g_S^{-1}\circ\varphi^{-1}(IR) +(t_{d-p+1}, \ldots,t_d))=\mbox{in}_{\tau}(g_S^{-1}\circ\varphi^{-1}(IR))+(t_{d-p+1}, \ldots,t_d).$$
 This implies that 
 $$g_S^{-1}\circ \varphi^{-1}(\mbox{in}_{\tau}(IR+(y_1,\ldots,y_p)))=(g_S^{-1}\circ\varphi^{-1}(\mbox{in}_{\tau}(IR)))+(t_{d-p+1}, \ldots,t_d).$$
Choose $g$ generic, then $g_S$ is so. Then we have 
$$g_S^{-1}\circ \varphi^{-1}(\operatorname{Gin}_{\tau}(IR+(y_1,\ldots,y_p)))=(g_S^{-1}\circ\varphi^{-1}(\operatorname{Gin}_{\tau}(IR)))+(t_{d-p+1}, \ldots,t_d).$$
Since $g_S$ is an isomorphism, we have that 
$$\varphi^{-1}(\operatorname{Gin}_{\tau}(IR+(y_1,\ldots,y_p)))=(\varphi^{-1}(\operatorname{Gin}_{\tau}(IR))+(f_1, \ldots,f_p).$$
Applying $\varphi$ both sides, we get that $\operatorname{Gin}_{\tau}(IR+(y_1,\ldots,y_p))=\operatorname{Gin}_{\tau}(IR)+(y_1,\ldots,y_p)$. 
Since $\operatorname{Gin}_{\tau}(IR+(y_1,\ldots,y_p))$ and $IR+(y_1,\ldots,y_p)$ have the same Hilbert function, it follows that 
$IR+(y_1,\ldots,y_p)$ and $\operatorname{Gin}_{\tau}(IR)+(y_1,\ldots,y_p)$ have the same Hilbert function. By taking the contraction of these ideals to $R^{(c)}$, then the contracted ideals still have the same Hilbert function. Notice that 
$(IR+(y_1,\ldots,y_p))^{(c)}=I+(y_1,\ldots,y_p)$ and $(\operatorname{Gin}_{\tau}(IR)+(y_1,\ldots,y_p))^{(c)}=\operatorname{Gin}_{\tau}(IR)^{(c)}+(y_1,\ldots,y_p)$. 
\end{proof}
 
 Now we prove a sufficient condition for the componenetwise linearity of ideals in $R^{(c)}$. 
\begin{theorem} \label{thm2} 
  Assume char$(K)=0$. Let $I \subset R^{(c)}$ be a graded ideal and $M=\frac{R^{(c)}}{I}$. 
  Let $y_1,\ldots,y_d$ be a generic sequence of homogeneous forms of degree one in $R^{(c)}$. Suppose $y_1,\ldots,y_d$ is a proper $M$-sequence. Then $I$ is componentwise linear.
 \end{theorem}
\begin{proof}
 Assume $y_1,\ldots,y_d$ is a proper $M$-sequence. 
 Since $R^{(c)}$ is Koszul, then $K=\frac{R^{(c)}}{\mathfrak m^{(c)}}$ has a finite free resolution over $R^{(c)}$. 
 Note that 
 $\mathfrak m^{(c)}$ is generated by $y_1,\ldots,y_d$ and $H_i(d)=Tor_i^{R^{(c)}}(K, M)$ for all $i$. 
 Since $y_1,\ldots,y_d$ is a proper $M$-sequence, we have that Im$(\varphi_{i,p-1})=0$, for all 
 $i,p$. Then by the exact sequence \eqref{eq4}, we get that 
 $$\beta^{R^{(c)}}_{ijp}(M)=\beta^{R^{(c)}}_{ij(p-1)}(M)+\beta^{R^{(c)}}_{(i-1)(j-1)(p-1)}(M)$$ 
 and $\beta^{R^{(c)}}_{1jp}(M)=\beta^{R^{(c)}}_{1j(p-1)}(M)+\beta^{R^{(c)}}_{0(j-1)(p-1)}(M)-
  \beta^{R^{(c)}}_{0j(p-1)}(M)+\beta^{R^{(c)}}_{0jp}(M)$, for all $i\geq 2,$ for all $j$, $1\leq p \leq d$.
 Thus $\beta^{R^{(c)}}_{ijp}(M)$ are computed from $\beta^{R^{(c)}}_{0jp}(M)$, 
 for all $j,p$. Now we will prove that $\beta^{R^{(c)}}_{0jp}(M)=\beta^{R^{(c)}}_{0jp}\left(\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right)$, for all $j,p$. Since 
 $$H_0(p)=\frac{R^{(c)}}{I+(y_1,\ldots,y_p)},~~~~~~Tor^{R^{(c)}}_0\left(\frac{R^{c}}{(y_1,\ldots,y_p)}, \frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right)=\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}+(y_1,\ldots,y_p)},$$
 then by the Lemma \ref{lem4}, we have that both these homologies have the same Hilbert function. This implies that 
\begin{eqnarray*}
 \beta^{R^{(c)}}_{0jp}(M)=\dim_K(H_0(p)_j)
             &=& \dim_K\left(Tor^{R^{(c)}}_0\left(\frac{R^{c}}{(y_1,\ldots,y_p)}, \frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right)\right) \\
             &=&
 \beta^{R^{(c)}}_{0jp}\left(\frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right),
 \end{eqnarray*} 
 for all $j,p$. Thus $\beta^{R^{(c)}}_{ijp}(I)=\beta^{R^{(c)}}_{ijp}((\operatorname{Gin}_{\tau}(IR))^{(c)})$, for all $i,j,p$. In particular, take $p=d$, then we get that $I$ and $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ have the same graded Betti numbers. Therefore by the Theorem \ref{thm1}, $I$ is componentwise linear. 
 \end{proof}
 
 Below we give a necessary condition for the componentwise linearity of ideals in $R^{(c)}$.
 \begin{theorem} \label{thm3}
 Assume char$(K)=0$. Let $y_1,\ldots,y_d$ be a generic sequence of homogeneous forms of degree one in $R^{(c)}$. Let $I \subset R^{(c)}$ be a graded ideal. Suppose $I$ is componentwise linear. Then $\mathfrak m^{(c)}H_i(d)=0$ for all $i\geq 1$.
 \end{theorem}
 \begin{proof}
 Assume $I$ is componentwise linear. Suppose $I$ is generated in single degree $s$. Since $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ is Borel, then by the formulas for its Betti numbers in \cite[Theorem 3.7.4]{gmp11}, we have that $(\operatorname{Gin}_{\tau}(IR))^{(c)}$ has $s$-linear resolution. This implies that 
$Tor^{R^{(c)}}_i\left(K, \frac{R^{(c)}}{(\operatorname{Gin}_{\tau}(IR))^{(c)}}\right)$ is concentrated in single degree $s+i-1$. Then by the Proposition \ref{pro1}, $Tor^{R^{(c)}}_i\left(K, \frac{R^{(c)}}{I}\right)$ is also concentrated in single degree $s+i-1$. This implies that $\mathfrak m^{(c)}H_i(d)=0$. 
Now assume that $I$ is generated in distinct degrees. Let ${\bf F_{\bullet}}$ be a minimal graded free resolution of $K$ over $R^{(c)}$. Let $\phi_i:F_i\otimes \frac{R^{(c)}}{I}\rightarrow F_{i-1}\otimes \frac{R^{(c)}}{I}$, be the $i^{th}$ map in the complex ${\bf F_{\bullet}}\otimes \frac{R^{(c)}}{I}$. Let $a\in Tor_i^{R^{(c)}}\left(K, \frac{R^{(c)}}{I}\right)$ be a homogeneous element of degree say $s$. Then $a=\overline{f}$, for some $f\in F_i\otimes \frac{R^{(c)}}{I}$. Then $\phi_i(f)\in IF_{i-1}$ and it is a homogeneous element of degree $s$. This implies that $\phi_i(f)\in I_kF_{i-1}$, where $k=s-i+1$. Set $J=I_{\langle k \rangle}$. Then $\phi_i(f)\in JF_{i-1}$. 
Since $J$ has linear resolution, therefore by above case, we have $\mathfrak m^{(c)}f \in \mbox{Im}(\phi_{i+1})+IF_i$. This gives that $\mathfrak m^{(c)}a=0$. Thus $\mathfrak m^{(c)}H_i(d)=0$.  
\end{proof}

 

2021-06-18T02:11:05.000
2106
2106.09262
en
https://arxiv.org/abs/2106.09262
In this article, we study the componentwise linear ideals in the Veronese subrings of $R=K[x_1,\ldots,x_n]$. If char$(K)=0$, then we give a characterization for graded ideals in the $c^{th}$ Veronese ring $R^{(c)}$ to be componentwise linear. This characterization is an analogue of that over $R$ due to Aramova, Herzog and Hibi in \cite{ah00} and Conca, Herzog and Hibi in \cite{chh04}.
Commutative Algebra (math.AC)
Componentwise linear ideals in Veronese rings
Qwen/Qwen-72B
1. YES
2. YES