2-Cycles on Higher Fano Hypersurfaces

Abstract: Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth.

\section{Introduction}
A fundamental question about cycles on a smooth projective variety $X$ over complex numbers is to determine the Griffiths groups of $X$. Let us recall the definition of the first Griffiths group \[\mathrm{Griff}_1(X)=\frac{\mathrm{CH}_1(X)_{hom}}{\mathrm{CH}_1(X)_{alg}}.\] Professor Voisin asks the following question:
\begin{question}\label{q1}
Is the $\mathrm{Griffiths}$ group  $\mathrm{Griff}_1(X)$ of a Fano variety $X$ (or more generally, a rationally connected variety) over complex numbers  trivial?
\end{question}
In general, to answer this question is very difficult. However, in the case of dimension at most three, Bloch and Srinivas give a positive answer, see \cite{BS}. Recently, Tian and Zong give a positive answer for Fano complete intersections in a projective space, see \cite{TZ}.
Another fundamental question about cycles is to determine the Chow groups of a variety. The geometry of Chow groups is very delicate. For instance,  Mumford proves that the Chow group of zero cycles $\mathrm{CH}_0(S)$ of a K3 surface $S$ is infinitely dimensional, see \cite{mumford}. For a Fano variety $X$ over complex numbers, J\'anos Koll\'ar, Yoichi Miyaoka, and Shigefumi Mori prove that \[\mathrm{CH}_0(X)=\mathbb{Z}\]since $X$ is rationally connected, see \cite{KMM}. In the paper \cite{HF}, de Jong and Starr introduce a concept of higher Fano varieties. Typical examples of higher Fano varieties are low degree hypersurfaces. In the paper \cite{TZ}, Tian and Zong prove that \[\mathrm{CH}_1(X_d)=\mathbb{Z}\] for a smooth hypersurface $X_d$ of 2-Fano type, see \cite{TZ} for details. In this paper, we use recent techniques from the rational curves on algebraic varieties due to de Jong and Starr, Harris and Roth (cf. \cite{DS},\cite{S1} and \cite{S2}) to give a positive answer to the question (\ref{q1}) in the case of Fano varieties of lines. As a result, we prove that $\mathrm{CH}_2(X_d)=\mathbb{Z}$ for a general smooth $3$-Fano hypersurface $X_d$ over complex numbers. More precisely, we have
\begin{theorem}\label{mainthmab}
Let $X_d$ be a hypersurface of degree $d\geq 3$ in $\mathbb{P}^n_{\mathbb{C}}$.
\begin{enumerate}
\item Suppose that the Fano variety $\Fa(X_d)$ of lines is smooth. If $d\geq 4$ and \[n\geq 3\binom {d+1}{2}-d-4,\]or $d=3$ and $n\geq 14$, then $\mathrm{Griff}_1(\Fa(X_d))=0.$
\item  If the Fano variety $\Fa(X_d)$ of lines is smooth and \[\frac{d(2d^2+1)}{3}\leq n,\] then $\mathrm{CH}_2(X_d)=\mathbb{Z}$.
\end{enumerate}
\end{theorem}
We know the assumption of the smoothness of $\Fa(X_d)$ always holds if $d=3$ or $X_d$ is a general hypersurface.

Let us briefly describe the structure of this paper. In Section 2 and 3, we use the Tsen-Lang Theorem to show that $\mathrm{CH}_2(X_d)$ can be generated by ruled surfaces and the torsion part of $\mathrm{CH}_2(X_d)$ is annihilated by $d$ if $X_d$ is of $3$-Fano. In Section 4, we use the fibration structure of $\Fa(X_d)$ and the homotopy fiber sequence to prove the second homology group of $\Fa(X_d)$ is torsion-free and generated by the class of lines under some hypothesis.

 In Section 5, 6 and 7, we systematically use the techniques of rational curves such as bend-and-break, smoothing curves and the geometry of quadrics to show the connectedness of the moduli spaces of rational curves on $\Fa(X_d)$. As a result, we show Theorem \ref{mainthmab}.

\textbf{Acknowledgments.} The author would like to thank Professor~Jason Starr for his considerate explanation of his thesis to the author. The author thanks Professor~Luc~Illusie and Professor~Burt~Totaro for their interest in this project. The author also thanks Professor~Matt Kerr for giving a course on algebraic cycles in Washington University in St. Louis. One part of the paper is inspired during his course. At the end, the author is grateful for his truly great friend Dr.~Zhiyu Tian.

\section{Rationally Equivalent to Ruled Surfaces}
In this section, we suppose that $X_d$ is a hypersurface in $\mathbb{P}^{n}_\mathbb{C}$ of degree d.
\begin{lemm}\label{rational}
Suppose that $E$ is a vector bundle of rank two on an algebraic scheme $M$. Let $\sigma_0$ and $\sigma_1$ be two sections of $\pi: \mathbb{P}(E)\rightarrow M$. Then, we have
\[\sigma_0-\sigma_1=\pi^{*} ([N]) \in \mathrm{CH}^1(\mathbb{P}(E))\]
where $N$ is a cycle of codimension one on $M$.
\end{lemm}
\begin{proof}
By \cite{F}, we have \begin{equation}\label{chow}
\xymatrix{ \mathrm{CH}_{l-1}(M)\bigoplus \mathrm{CH}_{l}(M) \ar[rr]^{\cong} &&\mathrm{CH}_l(\mathbb{P}(E))}
\end{equation}
\[(Z_0,Z_1) \mapsto\pi^*(Z_0)+h\cap \pi^*(Z_1)\]
where $Z_0\in \mathrm{CH}_{l-1}(M)$, $Z_1\in \mathrm{CH}_{l}(M)$ and $h=c_1(\mathcal{O}_{\mathbb{P}(E)}(1))$. If $l=\dim(M)$, then the sections $[\sigma_i(M)]\in \mathrm{CH}^1(\mathbb{P}(E))$ have the same second coordinate $h\cap \pi^*([M])$ by the identification (\ref{chow}). In other words, $[\sigma_i(M)]=(-,h\cap \pi^*([M]))$. Therefore, we have
\[\sigma_0-\sigma_1=\pi^{*} ([N])\]for some $[N]\in \mathrm{CH}_{l-1}(M)$.
\end{proof}
Let $\overline{\mathcal{M}}_{0,2}(X_d,\mathbb{P}^1\vee \mathbb{P}^1)$ be the Kontsevich space parametrizing the reducible conics on $X_d$ with one marked point on each component. Denote $\overline{\mathcal{M}}_{0,2}(X_d,\mathbb{P}^1\vee \mathbb{P}^1)$ by $\overline{\mathcal{M}}_2$. It is clear that we have the forgetful map \[\pi:\overline{\mathcal{M}}_2\rightarrow \overline{\mathcal{M}}_{0,1}(X_d,\mathbb{P}^1\vee \mathbb{P}^1):=\overline{\mathcal{M}}_1\]forgetting the second marked point.

There is a commutative diagram of evalution maps
\[\xymatrix{\overline{\mathcal{M}}_2 \ar[d]^{\pi} \ar[rr]^{(ev_1,ev_2)} && X_d\times X_d\ar[d]^{\pi_1}\\
\overline{\mathcal{M}}_1=\overline{\mathcal{M}}_{0,1}(X_d,\mathbb{P}^1\vee \mathbb{P}^1)\ar@/^1pc/[u]^{\sigma_1} \ar[rr]^{ev} && X_d}.\]
where $\sigma_1$ is the universal section of $\pi$ and $\pi_1$ is the projection onto the first factor.

Let $\overline{\mathcal{M}}_{1,p}$ be the fiber  $ev^{-1}(p)$ of $ev$ over $p\in X_d$. So we have maps
\begin{equation}\label{moduli}
\xymatrix{ C=\overline{\mathcal{M}}_2|_{\overline{\mathcal{M}}_{1,p}}\ar[rr]^{f=ev_2} \ar[d] &&X_d\\
\overline{\mathcal{M}}_{1,p} \ar@/^1pc/[u]^{\sigma_2} \ar@/^3pc/[u]^{\sigma_1}}
\end{equation}
such that $\textbf{Im} (ev_2\circ \sigma_1) =\{p\}$ and $\sigma_2$ is the section induced by the singular locus of $\pi$. More precisely, suppose that $s\in \overline{\mathcal{M}}_{1,p}$ parametrizes a reducible conic $L_1\cup L_2$ with the wedge point $q= L_1\cap L_2$, then $\sigma_2(s)=q$. Therefore, the fiber $f^{-1}(q)$ of $f$ over $q$ is the fiber $(ev_1,ev_2)^{-1}(p,q)$.
In other words, the fiber $f^{-1}(q)$ parametrizes the reducible conics (on $X_d$) passing through $p$ and $q$, so $f^{-1}(q)$ is a complete intersection, see \cite{DS} or \cite[Page 82(2)]{DS2}. Moreover, the general fiber of $f$ is a complete intersection in $\mathbb{P}^n$ of type
\[(1,1,2,2,3,3\ldots,d-1,d-1,d).\]
Suppose that $S$ is a surface passing through a general point of $X_d$. It follows that the preimage $f^{-1}(\Spec (\mathbb{C}(S))$ of the generic point of $S$ is a complete intersection in $\mathbb{P}^n_{\mathbb{C}(S)}$ of type
\[(1,1,2,2,3,3\ldots,d-1,d-1,d).\]
In particular, if the square sum of these degrees \[2(\sum\limits_{i=1}^{d-1} i^2)+d^2=\frac{d(2d^2+1)}{3}\]is less than $n+1$, then, by the Tsen-Lang Theorem \cite{Lang}, there exists a surfaces $S'\subseteq C$ such that $f|_{S'}$ is generic one-to-one onto $S$. In other words, we have $f_*([S'])=[S]$ in $\mathrm{CH}_2(X_d)$. Here, we do not need to worry about the stacky issue since $S'$ passes through a non-stacky point,
see \cite[Section 5 and 6]{V} for the details. Therefore, we have the following diagram induced by the diagram (\ref{moduli})
\[\xymatrix{C'\ar[r]^g \ar[d] \ar@{}[dr]|-{\Box} &C\ar[r]^f \ar[d]^{\pi}& X_d\\
S'\ar@/^1pc/[u]^{\sigma_1} \ar@/^2.5pc/[u]^{\sigma_2} \ar@/^4pc/[u]^{\Delta}  \ar[r]_{\pi|_{S'}} &\overline{\mathcal{M}}_{1,p}}\]
where $\Delta$ is induced by the diagonal map of $S'$. It is clear that \[f\circ g\circ \Delta=f|_{S'} ~\text{and}~ \textbf{Im}(f\circ g\circ \sigma_1) =\{p\}.\]By Lemma \ref{rational}, the following cycles are rationally equivalent
\[[\Delta(S')] \sim_{rat} [\sigma_2(S')] \sim_{rat}[\sigma_1(S')]\]
in $\mathrm{CH}_2(C')$ mod $\pi^* \mathrm{CH}_1(S')$. In particular, \[[S]=[f\circ g\circ \Delta(S')] \sim_{rat} [f\circ g\circ \sigma_1(S)]=[p]=0\]
in $\mathrm{CH}_2(X_d)$ mod $\textbf{Im}\left((f\circ g)_*\circ \pi^*:\mathrm{CH}_1(S')\rightarrow \mathrm{CH}_2(X_d)\right)$. Therefore, we have \[[S]\in \textbf{Im}\left((f\circ g)_*\circ \pi^*:\mathrm{CH}_1(S')\rightarrow \mathrm{CH}_2(X_d)\right).\] We conclude that $[S]$ is the formal sum of some ruled surfaces whose fibers are lines. In particular, the Abel-Jacobi map $\AJ$ is surjective
\begin{equation}\label{AJ}
\AJ:\mathrm{CH}_1(\Fa(X_d))\rightarrow \mathrm{CH}_2(X_d)
\end{equation}
where $\Fa(X_d)$ is the Fano variety of lines of $X_d$. In summary, we show the following proposition.

\begin{propo} \label{rationaleqruledsurf}
Every surface $S$ passing through a general point in $X_d$ is rationally equivalent to the formal sum of ruled surfaces if \begin{equation}\label{inequality}
\frac{d(2d^2+1)}{3}\leq n.
\end{equation}
\end{propo}
Let $C$ be a projective curve. Suppose that $g$ is a morphism $g:C \rightarrow \Fa(X_d)$. We consider the following incidence subvariety $\mathcal{I}$
\begin{equation}\label{incidence}
 \xymatrix{ \mathcal{I}=\{(l,P)|l\subseteq P\} \ar[d]^h \ar@{^{(}->}[r] &\Fa(X_d)\times \Fa_2(X_d)\ar[dl]^{\pi_1} \ar[dr]^{\pi_2} \\
\Fa(X_d) & &\Fa_2(X_d) }
\end{equation}
where $l$ is a line in $X_d$, $P$ is a 2-plane in $X_d$ and $\Fa_2(X_d)$ is the Fano variety of 2-planes in $X_d$. We claim that the pull-back $h|_C$ of $h$ via $g$  has a section $s$.
\[\xymatrix{ g^{-1}\mathcal{I}  \ar@{}[dr]|-{\Box} \ar[d]_{h|_C} \ar[r] &\mathcal{I} \ar[d]^h \\
C\ar[r]^g  \ar@/^2pc/[u]^s & \Fa(X_d)}\]
We show the claim as follows. Recall that the space $\Fa_p$ of lines in $X_d$ throguh a point $p\in X_d$ is defined by the equations of $\mathbb{P}^{n-1}$ of type
\[(1,2,3,4,\ldots,d-1,d),\]see \cite[Lemma 2.1]{Cubic}.
Therefore, the space $\mathrm{Fano}_q(\Fa_p)$ of lines in $\Fa_p$ through a point $q\in \Fa_p$ is defined by the equations in $\mathbb{P}^{n-2}$ of type (complete intersection of equations of degree)
\begin{equation}\label{typeeq}
(1,1,2); (1,1,2,3);(1,1,2,3,4);\ldots;(1,1,2,3,\ldots d).
\end{equation}
Let $l$ be a line in $\Fa_p$ corresponding to a plane $\mathbb{P}^2=\Span(l,p)$ in $X_d$. Suppose that $x$ is a point of $ \Fa(X_d)$ parametrizing a line $L_x\subseteq X_d$. The fiber $h^{-1}(x)$ is the space of 2-planes in $X_d$ containing the line $L_x$.

Let $Q$ be a point on $L_x$. Suppose that $\Fa_Q$ is the subspace of $\Fa(X_d)$ parametrizing the lines through $Q$. Denote by $\mathrm{Fano}_{x}(\Fa_Q)$ the space of lines in $\Fa_Q$ parametrizing lines through $x\in \Fa_Q\subseteq \Fa(X_d)$. So the space $\mathrm{Fano}_{x}(\Fa_Q)$ is defined by the equations in $\mathbb{P}^n$ of type as (\ref{typeeq}). Note that \[h^{-1}(x)=\mathrm{Fano}_{x}(\Fa_Q)\]
and the sum of (\ref{typeeq})
\begin{equation} \label{sumstar}
(d-1)+\sum \limits_{i=2}^d\frac{i(i+1)}{2}=d-2+\frac{d(d+1)(2d+1)}{12}+\frac{d(d+1)}{4}
\end{equation}
is less than $n-1$ if we assume the inequality (\ref{inequality}). So the map $h|_C$ has a section $s$ by the Tsen-Lang Theorem. We have proved the claim.

In particular, it produces a map as follows
\[
\pr_2\circ s:C\rightarrow \mathcal{I}\rightarrow \Fa_2(X_d).
\]Therefore, we show the following lemma:
\begin{lemm}\label{lineinplane}
Suppose that the morphism $g$ gives rise to a family $\mathcal{L}$ of lines on $X_d$. Then the morphism $\pr_2\circ s$ gives rise to a family $\mathcal{P}$ of 2-planes in $X_d$ which contains $\mathcal{L}$.
\[\xymatrix{\mathcal{L}\ar[dr] \ar@{^{(}->}[r] & \mathcal{P} \ar[r]^{H} \ar[d] & X_d\\
&C&}\]
\end{lemm}

\section{The Torsion part of the Second Chow group}
In this section, we always assume that \begin{equation}\label{ineq}
\frac{d(2d^2+1)}{3}\leq n ~\text{and}~ d\geq 3.
\end{equation}
\begin{lemm} \label{lemm31}
With the notations as in section 2, we have
\[d\left(H_*([\mathcal{L}])\right)=\sum_i \pm [P_i] + [V]\cdot c_1(\mathcal{O}_{X_d}(d))\]
holds in $\mathrm{CH}_2(X_d)$ where $\{P_i\}$ are 2-planes in $X_d$ and $V$ is $H_*([\mathcal{P}]) \in \mathrm{CH}_3(X_d)$ (see the diagram at the end of Section 2 before Lemma \ref{lineinplane} for the definition of $H$).
\end{lemm}
\begin{proof}
It is clear that \[[V]\cdot c_1(\mathcal{O}_{X_d}(d))= H_*\left([\mathcal{P}]\cdot H^*(c_1(\mathcal{O}_{X_d}(d)))\right)\] in $\mathrm{CH}_3(|V|\cap |X_d|)$, see \cite{F}. By Lemma \ref{lineinplane}, for the fiber $\mathcal{P}_y$ of $\mathcal{P}/C$ over the point $y\in C$, we have that
\begin{center}
$\mathbb{P}^1=\mathcal{L}_y \subseteq \mathcal{P}_y=\mathbb{P}^2$ and $[H^*([X_d])]|_{\mathcal{P}_y}=d[\mathcal{L}_y]$.
\end{center}
Therefore, we conclude that
\[d\cdot [\mathcal{L}]-H^*(c_1(\mathcal{O}_{X_d}(d)))=\sum \pm \textbf{fibers of } \mathcal{P}/C=\sum \limits_{i=1}^n \pm [\mathcal{P}_i]\]
where $\{\mathcal{P}_i\}$ are 2-planes in $X_d$. It follows from the projection formula that
\[d\cdot H_*([\mathcal{L}])=\sum \limits_{i=1}^n \pm H_*([\mathcal{P}_i]) +c_1(\mathcal{O}_{X_d}(d))\cdot H_*([\mathcal{P}])=\sum\limits_i \pm P_i +[V]\cdot c_1(\mathcal{O}_{X_d}(d)).\]
\end{proof}

By the moving lemma, every 2-cycle of $X_d$ is rationally equivalent to the formal sum of some surfaces passing through general points of $X_d$. By Proposition \ref{rationaleqruledsurf} and Lemma \ref{lemm31}, we conclude the following corollary.
\begin{cor}\label{corre}
Under the hypothesis as above, we have \[d[S]=\sum\limits_{i=0}^n \pm [P_i]+[V]\cdot c_1(\mathcal{O}_{X_d}(d))\]holds in $\mathrm{CH}_2(X_d)$ where $S\in \mathrm{CH}_2(X_d)$, $[V]\in \mathrm{CH}_3(X_d)$ and $\{P_i\}$ are 2-planes in $X_d$.
\end{cor}
\begin{lemm}\label{lemmplanere}
Under the hypothesis as above, all the 2-planes of $X_d$ are rationally equivalent.
\end{lemm}
\begin{proof}
Let us consider the incidence $\mathcal{I}$ in (\ref{incidence}). By the calculation (\ref{sumstar}), the fibers of $h: \mathcal{I}\rightarrow \Fa(X_d)$ is zero locus of the equations of Fano type. We claim that these fibers are smooth complete intersections for $X_d$ general, therefore, the general fibers of $h$ are Fano varieties, hence, they are rationally connected for $X_d$ general.

In fact, the incidence $\mathcal{I}$ is just the flag variety $\Fl(\mathbb{P}^1,\mathbb{P}^2;X_d)$ of $X_d$. Therefore, we can use the classical incidence method to prove $\mathcal{I}$ is irreducible, smooth and of expected dimension for $X_d$ general. Namely, consider the following incidence, it is clear that $\Fl(\mathbb{P}^1,\mathbb{P}^2;X_d)$ is the fiber of $\pr_2^{-1}([X_d])$.
\[\xymatrix{& \mathbb{I}=\{(\mathbb{P}^1\subseteq\mathbb{P}^2, X_d)~|~\mathbb{P}^1\subseteq\mathbb{P}^2 \subseteq X_d\} \ar[dl]_{\pr_1} \ar[dr]^{\pr_2}&\\
\Fl(\mathbb{P}^1,\mathbb{P}^2;\mathbb{P}^n)& &\mathbb{P} \Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))}
\]
We leave an easy exercise to the reader to finish the proof of the claim.

Note that $\Fa(X_d)$ is rationally connected for $X_d$ general (in fact it is Fano, see \cite[Chapter V, Exercise 4.7]{K}) and the general fibers of $h:\mathcal{I}\rightarrow \Fa(X_d)$ are rationally connected. It follows from the Graber-Harris-Starr Theorem \cite{GHS} or the Tsen-Lang Theorem that $\mathcal{I}$ is rationally connected for $X_d$ general.  It is clear that the projection \[\pi_2: \mathcal{I} \rightarrow \Fa_2(X_d)\]is surjective. It implies that $\Fa_2(X_d)$ is rationally connected for $X_d$ general. By the specialization argument, we conclude that $\Fa_2(X_d)$ is rationally chain connected for every smooth hypersurface $X_d$. In particular, all the 2-planes of $X_d$ are rationally equivalent.
\end{proof}

\begin{propo}\label{killd}
With the hypothesis as above, we have \[d\cdot [\mathrm{CH}_2(X_d)]_{tor}=0.\]
\end{propo}
\begin{proof}
Let $a$ be an element of $[\mathrm{CH}_2(X_d)]_{tor}$. By Corollary \ref{corre}, we have
\begin{equation}\label{eq1}
d\cdot a=\sum \limits_i a_i [(\mathbb{P}^2)_i]+V\cdot [X_d]
\end{equation}
where $a_i \in \mathbb{Z}$, $V\in \mathrm{CH}_3(\mathbb{P}^n)$ and $\{(\mathbb{P}^2)_i\}$ are 2-planes in $X_d$. Let $j$ be the inclusion $X_d\rightarrow \mathbb{P}^n$. It is clear that $j_*(d\cdot a)$ is a torsion element in $\mathrm{CH}_2(\mathbb{P}^n)=\mathbb{Z}$. In particular, we have\[0=j_*(d\cdot a)=(\sum\limits_i a_i) [\mathbb{P}^2] +c [\mathbb{P}^3]\cdot [X_d]=(\sum\limits_i a_i) [\mathbb{P}^2] +c\cdot d\cdot [\mathbb{P}^2] \] where $V=c[\mathbb{P}^3] \in \mathrm{CH}_3(\mathbb{P}^n)$  . Therefore, it follows that \[\sum\limits_i a_i+c\cdot d=0.\]
By Lemma \ref{lemmplanere}, the equality (\ref{eq1}) becomes
\begin{equation}\label{eq2}
d\cdot a=c([\mathbb{P}^3]\cdot [X_d]-d\cdot [\mathbb{P}^2])
\end{equation}
where $\mathbb{P}^2$ is a 2-plane in $X_d$. It is clear that, under the hypothesis (\ref{ineq}), the hypersurface $X_d$ contains a projective space $\mathbb{P}^3$ by \cite[Theorem 1.6]{W}. In particular, the equality (\ref{eq2}) is \[d\cdot a=c(d[\mathbb{P}^2]-d[\mathbb{P}^2])=0\] in $\mathrm{CH}_2(\mathbb{P}^3\cap X_d)=\mathrm{CH}_2(\mathbb{P}^3)$. We have proved the proposition.
\end{proof}

\section{The Homology of Fano Variety of Lines}
\begin{prop}\label{morse} (\cite[Page 153, Theorem]{Morse}, \cite{H4})
Let $X$ be a projective variety. Suppose that $Z$ is a subvariety of $X$ and $H$ is a linear hyperplane in the ambient projective space. If $X-(Z\cup H)$ is a local complete intersection, then the homomorphism
\[\pi_i((X-Z)\cap H)\rightarrow \pi_i(X-Z)\]
is an isomorphism for all $i<dim(X)-1$.
\end{prop}

\begin{propo}\label{prophomology}
Suppose that $X_d$ is a general hypersurface of degree $d$ in $\mathbb{P}^n$ and \[d(d+1)\leq n-2.\] Then, we have \[\Ho_2(\Fa(X_d),\mathbb{Z})=\mathbb{Z}\] and it is generated by the class $[l]$ of lines in $\Fa(X_d)$ with respect to the Pl\"ucker embedding.
\end{propo}

\begin{proof}
Let $\mathbb{P}$ be $\mathbb{P}\Ho om_{\mathbb{C}}(V^*,\Ho^0(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(1)))$ where $X_d\subseteq \mathbb{P}(V)=\mathbb{P}^n$ is defined by a homogeneous polynomial $F$ of degree $d$. So $\mathbb{P}$ parameterizes $(n+1)-$tuples \[[u_0,u_1,\ldots,u_n]\] of homogeneous polynomials of degree $e$ on $\mathbb{P}^1$. Let $D\subseteq \mathbb{P}$ be the closed subvariety parametrizing the tuples $[u_0,\ldots,u_n]$ that have a common zero in $\mathbb{P}^1$. Suppose that $e=1$. The subvariety $D$ parameterizes the tuples $[u_0,\ldots,u_n]$ that $\Span(u_0,\ldots,u_n)$ in $\Ho^0(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(1))$ is one dimensional, i.e., every pair $(u_i,u_j)$ satisfies a scalar linear relation. In particular, we have
\begin{equation}\label{dimeq}
 \dim(D)=n+1 \text{~and~} \dim(\mathbb{P})=2n+1.
\end{equation}

Let $\mathbb{P}_{X_d}$ be the closed subset of $\mathbb{P}$ parameterizing $[u_0,\ldots,u_n]$ such that \[F(u_0,\ldots,u_n) \equiv 0.\] Then the subvariety $\mathbb{P}_{X_d}$ is defined by $d+1$ homogeneous polynomials of degree $d$ in $\mathbb{P}$, i.e., it is of type as follows
\begin{equation}\label{citype}
\underbrace{(d,\ldots,d)}_{d+1}.
\end{equation}
On the other hand, it is clear that the space $\textbf{Mor}_1(\mathbb{P}^1,X_d)$ parametrizing the morphisms whose images are lines is $\mathbb{P}_{X_d}-D$. In particular, the expected dimension of $\textbf{Mor}_1(\mathbb{P}^1,X_d)$ is\[\dim(\mathbb{P})-(d+1)=2n+1-(d+1)=2n-d.\] The space $\textbf{Mor}_1(\mathbb{P}^1,X_d)$ has the expected dimension if and only if $\mathbb{P}_{X_d}$ is a complete intersection. It is clear that there is topological fiberation as follows.
\[\xymatrix{ \textbf{PGL}_2(\mathbb{C}) \ar[r] & \textbf{Mor}_1(\mathbb{P}^1,X_d)\ar[d] \\
&\Fa(X_d)=\textbf{Mor}_1(\mathbb{P}^1,X_d)/\textbf{PGL}_2(\mathbb{C})}\] In particular, it follows from \cite[Chapter V, 4.3.2]{K} that \[\dim(\textbf{Mor}_1(\mathbb{P}^1,X_d))=\dim(\Fa(X))+\dim \textbf{PGL}_2(\mathbb{C})=2n-d-3+3=2n-d.\]Therefore, the subscheme $\mathbb{P}_{X_{d}}$ of $\mathbb{P}$ is a complete intersection in $\mathbb{P}$ of type (\ref{citype}).

Notice that we have (\ref{dimeq}). By using general $n+2$ hyperplanes in $\mathbb{P}$ to intersect with $\mathbb{P}_{X_d}-D$, we conclude that $\mathbb{P}_{X_d}-D$ contains a line $L\subseteq \mathbb{P}$ if $d(d+1)\leq n-2$, see \cite[Ex.4.10.5]{K}.
By Proposition \ref{morse} and the homotopy fiber sequence, we have a short exact sequence
\[\xymatrix{0 \ar[r] & \pi_2(\textbf{Mor}_1(\mathbb{P}^1,X_d))\ar[r] &\pi_2(\Fa(X_d))\ar[r] &\pi_1(\textbf{PGL}_2(\mathbb{C}))=\mathbb{Z}/2\mathbb{Z} \ar[r] & 0 } \]
where we use the fact $\pi_2(\textbf{PGL}_2(\mathbb{C}))=0$ and $$ \pi_1(\textbf{Mor}_1(\mathbb{P}^1,X_d))=\pi_1(\mathbb{P}_{X_d}-D)=\pi_1(\mathbb{P}_{X_d})=\{1\}.$$ Note that $\Fa(X_d)$ is simply connected. By the Hurewicz theorem, the above exact short sequence is
\[\xymatrix{0\ar[r] & \Ho_2(\mathbb{P}_{X_d}-D,\mathbb{Z})=\mathbb{Z}<[L]>\ar[r] & \Ho_2(\Fa(X_d),\mathbb{Z})\ar[r] & \mathbb{Z}/2\mathbb{Z} \ar[r] &0}\]
where $[L]$ is the homology class of a line $L$ in $\mathbb{P}_{X_d}-D$. From this exact sequence, it is clear that $\Ho_2(\Fa(X_d))=\mathbb{Z}$ or $\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$. We exclude the second case. In fact, if $\Ho_2(\Fa(X_d))=\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$, then the map $\varphi$
\[\xymatrix{\mathbb{Z}<[L]>=\Ho_2(\textbf{Mor}_1(\mathbb{P}^1, X_d),\mathbb{Z})\ar@/^1.5pc/[rr]^{\varphi} \ar[r] &\Ho_2(\Fa(X_2)) \ar[r]_{i_*} & \Ho_2(\mathbb{P}^N,\mathbb{Z})=\mathbb{Z}}\]
is an isomorphism where $i:\Fa(X_d)\rightarrow \mathbb{P}^N$ is induced by the Pl\"ucker embedding. Therefore, we have a family \[f:L\times \mathbb{P}^1 \rightarrow X_d\]of lines parametrized by $L$ such that the image $f_*([L\times \mathbb{P}^1])=f_*([\mathbb{P}^1\times \mathbb{P}^1])$ of $f$ is homologous to a 2-plane in $X_d$. It is absurd since the self-intersection of any line bundle on $\mathbb{P}^1\times \mathbb{P}^1$ is even and the intersection number of two general hyperplanes with a 2-plane is one. We have proved the proposition.

\end{proof}
\section{Dual Graphs and Specializations}
We recall some facts about the Kontsevich space $\overline{\mathcal{M}}_{0,m}(X,b)$ which parametrizes stable maps of genus zero and of degree $b$ into $X$. For the details, we refer to \cite{KM} and \cite{S1}.
\subsection{Notations}
We recall the combinatorial data for a stable map, namely, its dual graph. All the graphs in our paper are finite trees, i.e., they have finitely many vertices and do not have any loops. A graph consists of the following data:
\begin{enumerate}
\item there is a non-negative integer $d_v$ for each vertex $v$, which we call the degree of the vertex, and
\item there is a list $\mathcal{L}=\{p_1,\ldots, p_k\}$ of vertices which we call the marked points. The points in the list may not be distinct, the number of the point $p$ in this list is called the multiplicity of the point.
\end{enumerate}
Let us recall how to associate to a stable map its dual graph. For a stable map of genus zero \[f:C\rightarrow X,\]the dual graph $G(f)$ of $f$ is a graph with data as follows:
\begin{itemize}
\item the vertices in the graph $G(f)$ is one-to-one corresponding to the irreducible components  of $C$, e.g. the vertex $v\in v(G)$ corresponds to the irreducible component $C_v$ of $C$,
\item an edge between the vertices for every intersection point between two componenets of $C$,
\item there is a non-negative integer $d_v$ which is equal to the degree of $f_*([C_v])$ (it may be zero if the map $f$ collapses the component),
\item a marked point on the component $C_i\cong \mathbb{P}^1$ contributes a point to the list $\mathcal{L}$.
\end{itemize}
We call a graph is a good tree if all the numbers $\{d_v\}$ are one. The stable map $f$ is a good tree if its dual graph $G(f)$ is a good tree, i.e., the map $f$ does not contract any component and its image is the union of lines.

\begin{definition}
Let $G$ be a graph as above. A subgraph $W$ of $G$ is a graph satisfying:
\begin{itemize}
\item the vertices $v(W)\subseteq v(G)$,
\item the edges $e(W)\subseteq e(G)$,
\item the marked vertices $\mathcal{L}(W)\subseteq \mathcal{L}(G)$ counting with the multiplicity,
\item the degree $d_v$ of $v\in W$ is equal to the degree with respect to $G$.
\end{itemize}
\end{definition}
\subsection{Deformation and Specialization}
\begin{definition} Let $G$ be a dual graph and $H$ be a non-empty subgraph. We call $G_1$ a contraction of $G$ along $H$ if
\begin{itemize}
\item the set of the vertices of $G_1$ is the disjoint union of the vetices that are not in H and a single point $\{v_H\}$, i.e., $v(G_1)=(v(G)-v(H)) \amalg \{v_H\}$,
\item the edges $e(G_1)$ are those edges of $G_1$ connecting two vertices that are not in $H$, together with edges from $v\in S\subseteq v(G)-v(H)$ to $v_H$ where the subset $S\subseteq v(G)-v(H)$ consists of the vertices in $G$ connecting with a vertex in $H$,
\item the marked vertices $\mathcal{L}(G_1)$ consist of the marked vertices in $v(G)-v(H)$ and the vertex $v_H$ with multiplicity $|\mathcal{L}(H)|$,
\item the degree $d_{v_H}$ of $v_H$ is $\sum\limits_{v\in v(H)} d_v$ and the degrees of other vertices are their degrees in $G$.
\end{itemize}
The degree $\deg(G)$ of the graph $G$ is $\sum\limits_{v\in v(G)} d_v$. In this case, we call $G_1$ a deformation of $G$ and $G$ a specialization of $G_1$ (without mentioning $H$).\\ Suppose that $G$ is a good tree. If $G_1$ is obtained by contracting a subgraph $K$ in $G$ and the total degree of $K$ is two, then we call $G_1$ is a conic deformation of $G$. Two good trees $G_2$ and $G_3$ are said to be connected by a conic deformation if there is some dual graph $K$ that is a conic deformation of $G_2$ and $G_3$. We would like to provide a typical example to illustrate it.

\begin{example}\label{ex}
Consider the following configurations (the underlying chain of degree one rational curve is the same and the
unique marked point lies on the $i$-th component in $\Gamma_i$):
\[\Gamma_1:\underbrace{\overline{\mathcal{M}}_{0,2}(X,1)\times_{X}\overline{\mathcal{M}}_{0,2}(X,1)\times_X\ldots \times_X \overline{\mathcal{M}}_{0,1}(X,1)}_{b~factors}\]
\[\Gamma_2:\underbrace{\overline{\mathcal{M}}_{0,1}(X,1)\times_{X}\overline{\mathcal{M}}_{0,3}(X,1)\times_X\ldots \times_X \overline{\mathcal{M}}_{0,1}(X,1)}_{b~factors}\]
\[\ldots \ldots\]
\[\ldots \ldots\]
\[\Gamma_b:\underbrace{\overline{\mathcal{M}}_{0,1}(X,1)\times_{X}\overline{\mathcal{M}}_{0,2}(X,1)\times_X\ldots \times_X \overline{\mathcal{M}}_{0,2}(X,1)}_{b~factors}\]
where the marked point of the configuration $\Gamma_i$ is on the $i$-th component of the domain of the stable map. We can use a conic deformation to connect $\Gamma_i$ and $\Gamma_{i+1}$. We only give this deformation for $i=1$ (the general case is similar). In fact, the conic deformation connecting $\Gamma_1$ and $\Gamma_2$ is given by the dual graph of the following configuration:
\begin{equation} \label{conf}
\underbrace{\overline{\mathcal{M}}_{0,2}(X,2)\times_{X}\overline{\mathcal{M}}_{0,2}(X,1)\times_X\ldots \times_X \overline{\mathcal{M}}_{0,1}(X,1)}_{b-1~factors}.
\end{equation}

\end{example}

\end{definition}
Keeping the notations as before, we have a space $\overline{\mathcal{M}}_{0,m}(X,G)$ which parametrizes the stable maps whose dual graphs are $G$ or specializations of $G$. We have evaluation maps
\begin{equation}\label{evaluation}
ev:\overline{\mathcal{M}}_{0,1}(X,b)\rightarrow X~\text{and}~ev_{G}:\overline{\mathcal{M}}_{0,1}(X,G)\rightarrow X.
\end{equation}

\begin{lemm} \label{conicdeform}
Let $G_1$ and $G_2$ be two dual graphs of good trees of total degree $e$, i.e., each graph consists of $e$ vertices such that each vertex is of degree $1$. Assume that $G_1$ and $G_2$ have $k$ marked points. Then we can connect $G_1$ to $G_2$ by a finite series of conic deformations.
\end{lemm}
See Example \ref{ex}. We can connect $\Gamma_i$ and $\Gamma_j$ by finitely many configurations similar as \ref{conf}).
\begin{proof}
Let $G_0$ be the dual graph such that $|v(G_0)|=e$ and $d_v=1$ for each $v\in v(G_0)$. Suppose that $G_0$ has a central vertex $v_0$ to which every other vertex is connected and all the marked points are $v_0$. To prove the lemma, it suffices to show that all the good trees can be deformed to $G_0$ by series of conic deformations. Suppose that $G$ is a good tree and $v'$ is a vertex of $G$ with the most edges. If $v'$ is not connected to every vertex, then there is some vertex $w$ connected to both $v'$ and other vertex $u$.

We contract the subgraph $K(\subseteq G)$ of degree two which consists of $\{w,v'\}$. This new graph $G'$ is a contraction of a graph $G''$ where $G''$ is the union of $G'$ and one point $v_1$ such that $v_1$ connects to $v_K\in v(G')$. In particular, we get a conic deformation connecting $G''$ and $G$. From $G$ to $G''$, we increase the number of the edges connected to $v'$ since $u$ is connected to $v'$ in $G''$. Similarly, for any marked point which is not $v'$, there is a conic deformation that increases the number\[\#(\{p\in \mathcal{L}~|p=v'\}), \text{ see 5.1 (2).}\
Repeat this process. We can connect $G$ to $G_0$ by series of conic deformations. We have proved the lemma.
\end{proof}

\begin{lemm}\label{starlemm}
Let $G$ be a dual graph with $d_v=0$ or $1$ for all $v\in v(G)$. Then $G$ is a specialization of a good tree $G'$. Moreover, we have
\[\deg(G)=\sum\limits_{v\in G}d_v=\sum\limits_{v'\in G'} d_{v'}=\deg(G').\]
\end{lemm}
\begin{proof}
For a vertex $v\in v(G)$ with $d_v=0$, we can pick up some vertex $w$ which is connected to $v$. Then we contract the subgraph that consists of $\{v,w\}$. Repeat this process, we have proved the lemma.
\end{proof}

\subsection{The connectedness of evaluation fibers for the unions of lines and conics}

In the following, we assume that $\Ho^2(X,\mathbb{Z})=\mathbb{Z}$ and the evalution fibers of the evalution maps
\begin{equation} \label{hypothesis}
\overline{\mathcal{M}}_{0,1}(X,1)\rightarrow X~\text{and}~\overline{\mathcal{M}}_{0,1}(X,2)\rightarrow X
\end{equation}
are connected and nonempty. We will verify the assumptions for $X=\Fa(X_d)$ in section 7, see Lemma \ref{line} and Lemma \ref{conic}.
It is obvious that we have the following lemma.
\begin{lemm}\label{connected}
Let $Z$ and $Y$ be Deligne-Mumford stacks over $\mathbb{C}$. The fiber product $Z\times_S Y$ of two proper morphisms \[Z\rightarrow S~and~g:Y\rightarrow S\] over $S$ is connected if $Z$ is connected and the fibers of $g$ are connected where $S$ is a $\mathbb{C}$-scheme.
\end{lemm}
Recall the evaluation map $ev_{G}:\overline{\mathcal{M}}_{0,1}(X,G)\rightarrow X$ (\ref{evaluation}) for a graph $G$.
\begin{lemm} \label{lemmone}
Let G be a dual graph with one marked point and $d_v=1$ or $2$ for all $v\in v(G)$. Then the fibers of $ev_{G}$ are connected. Suppose that $G$ has two conic specializations $K_1$ and $K_2$, then \[\deg(G)=\deg(K_1)=\deg(K_2)\] and $ev^{-1}_{K_i}(p)\subseteq ev^{-1}_G(p)$ (in the fiber $ev^{-1}(p)$) for $p\in X$.
\end{lemm}
\begin{proof}
Assume that $k\geq 2$ (i.e., the graph $G$ has at least two vertices). Since $d_v$ is positive (i.e., a stable map of type $G$ does not contract any component), a stable map $f$ of type $G$ is reducible and it is the union of two stable maps of types $G_1$ and $G_2$ such that the marked point is on $G_1$. In other words, we have the following diagram
\[\xymatrix{ \overline{\mathcal{M}}_{0,2}(X,G_1)\times_X \overline{\mathcal{M}}_{0,1}(X,G_2)\ar[dr]_{ev_1} \ar@{->>}[rr] & &\overline{\mathcal{M}}_{0,1}(X,G)\ar[dl]^{ev_G} \\
&X &}\]
where $v(G_i)=k_i$, $\deg(G_i)=b_i$ and $k_1+k_2=k$, $b_1+b_2=b$. Let $\hat{ev}_1$ and $\hat{ev}_2$ be the two natural evaluation maps of $\overline{\mathcal{M}}_{0,2}(X,G_1)$
\[(\hat{ev}_1,\hat{ev}_2):\overline{\mathcal{M}}_{0,2}(X,G_1)\rightarrow X\times X.\]

Note the assumption (\ref{hypothesis}). By the induction on $k$, we conclude that the fiber \[ev_1^{-1}(p)=\hat{ev}^{-1}_1(p)\times_X \overline{\mathcal{M}}_{0,1}(X,G_2)\] is connected from the fact that the fiber $\hat{ev}_1^{-1}(p)$ is connected and Lemma \ref{connected}. In fact, the following diagram commutes and the fibers of the morphism $F$ (it is the forgetful map forgetting the second marked point) are connected. Therefore, it implies that $\hat{ev}_1^{-1}(p)$ is connected since $ev^{-1}_{G_1}(p)$ is connected by the induction on $k_1=v(G_1)$.
\[\xymatrix{\hat{ev}_1^{-1}(p)\ar[d] \ar@{}[dr]|-{\Box} \ar[r] &\overline{\mathcal{M}}_{0,2}(X,G_1) \ar[d]^{F} \ar[r]^<<<<{\hat{ev}_1} &X \\
ev_{G_1}^{-1}(p) \ar[r] &\overline{\mathcal{M}}_{0,1}(X,G_1)\ar[ur]_{ev_{G_1}}}
\]

\end{proof}

\begin{prop} \label{propconnectdualgraph}
Let $\Gamma_1$ and $\Gamma_2$ be two possible dual graphs of the unions of lines in $X$ of total degree $b$ with one marked point. Then the evaluation fibers
\[ev_{\Gamma_1}^{-1}(p)~and~ev_{\Gamma_2}^{-1}(p)\]are in a common connected component of $ev^{-1}_b(p)$ where $ev_b$ is the evaluation map
\[ev_b:\overline{\mathcal{M}}_{0,1}(X,b)\rightarrow X.\]
\end{prop}

\begin{proof}
By Lemma \ref{starlemm}, we know $\Gamma_i$ is a specialization of a good tree $\hat{\Gamma}_i$ of degree $b$, in particular, we have \[\overline{\mathcal{M}}_{0,1}(X,\Gamma_i)\subseteq \overline{\mathcal{M}}_{0,1}(X,\hat{\Gamma_i}).\] Therefore, we can assume that $\Gamma_i$ is a good tree for $i=1,2$. By Lemma \ref{conicdeform}, we have the following series of conic deformations to connect $\Gamma_1$ and $\Gamma_2$
\[\xymatrix{ &K_0 & &K_1&&\ldots& &K_{k+1} & \\
\hat{\Gamma}_0 \ar[ur]& \ar@{}[u]|-{conic}&\hat{\Gamma}_1\ar[ul]\ar[ur] &\ar@{}[u]|-{conic} & \hat{\Gamma}_2\ar[ul] \ar[ur] &\ldots &\hat{\Gamma_k}\ar[ur]\ar[ul] &\ar@{}[u]|-{conic} &\hat{\Gamma}_{k+1}\ar[ul] }\] where $\hat{\Gamma}_0=\Gamma_1$ and $\hat{\Gamma}_{k+1}=\Gamma_2$. Applying Lemma \ref{lemmone}, we know the fibers $ev_{\hat{\Gamma_i}}^{-1}(p)$ and  $ev_{\hat{\Gamma}_{i+1}}^{-1}(p)$ are in a common connected component of $ev_b^{-1}(p)$. We have proved the proposition.
\end{proof}
We provide an example to illustrate this proposition.
\begin{example}
With the notations as in Example \ref{ex}, we have the evaluation maps as follows
\[Ev_{\Gamma_i}:\overline{\mathcal{M}}_{0,1}(X,\Gamma_i) \rightarrow X.\]
We use a conic deformation to connect $Ev_{\Gamma_i}^{-1}(p)$ and $Ev_{\Gamma_{i+1}}^{-1}(p)$ in $ev^{-1}_b(p)$ to show that the general fiber $Ev_{\Gamma_i}^{-1}(p)$ over a general point $p\in X$ is contained in a connected component of $ev^{-1}_b(p)$. We explain it for $i=1$, for arbitrary $i$, it is similar. By the hypothesis (\ref{hypothesis}) and Lemma \ref{connected}, we can prove the evaluation map
\[Ev:\underbrace{\overline{\mathcal{M}}_{0,2}(X,2)\times_{X}\overline{\mathcal{M}}_{0,2}(X,1)\times_X\ldots \times_X \overline{\mathcal{M}}_{0,1}(X,1)}_{b-1~factors}\rightarrow X\] has connected fibers as above, where the first factor parametrizes the conics with two marked points. It is clear that the fiber $Ev^{-1}(p)$ over the point $p\in X$ contains fibers $Ev_{\Gamma_1}^{-1}(p)$  and $Ev_{\Gamma_2}^{-1}(p)$. Hence, we use this conic deformation to connect \[Ev_{\Gamma_1}^{-1}(p)~ and~Ev_{\Gamma_{2}}^{-1}(p).\]

\end{example}

\section{Special Loci, Geometry of Spaces of Quadrics}
In this section, we always assume, unless otherwise noted, that \begin{equation}\label{sixstar}
n\geq \binom {d+1}2 +d~\text{and}~ d\geq 3.
\end{equation}

\begin{prop}\label{propirr}
The stack $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),1)$ is smooth and irreducible for $X_d$ general. Moreover, we have \[\dim(\overline{\mathcal{M}}_{0,0}(\Fa(X_d),1))=3n-\binom {d+1}2 -d-5\]for $X_d$ general.
\end{prop}
\begin{proof}
It is easy to prove this proposition by considering the smooth incidence subvariety $I$ as follows:
\[ \xymatrix{ & I=\{(l,X_d)| l\subseteq \Fa(X_d)\}\ar[ld]_{pr_1} \ar[rd]^{pr_2} &\\
\overline{\mathcal{M}}_{0,0}(G(2,n+1),1) & &\mathbb{P}(\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d)))}
\]where $l$ is a line in $G(2,n+1)$. The line $l$ sweep out a 2-plane $\mathbb{P}^2$ in $\mathbb{P}^n$, the fiber of $pr_1$ over $[l]$ is the projective space parametrizing hypersurfaces of degree $d$ containing this 2-plane. Therefore, we conclude $I$ is smooth since $\overline{\mathcal{M}}_{0,0}(G(2,n+1),1)$ is smooth, see \cite{FP}. On the other hand, we can follow the same method as the proof of \cite[Theorem 4.3]{K} to show the codimension of the singular locus of $pr_2$ is at least $2$. Hence, it is the same as \cite[Theorem 4.3]{K} that we can conclude $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),1)$ is smooth and connected of expected dimension for $X_d$ general. We leave the details to the reader.
\end{proof}

\subsection{Special Loci} We have a natural map
\[\overline{\mathcal{M}}_{0,0}(\Fa(X_d),1)\times \overline{\mathcal{M}}_{0,0}(\mathbb{P}^1,2) \rightarrow \overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)\]
\[(f,g)\mapsto f\circ g\]whose image parametrizes double lines in $\Fa(X_d)$. Denote this image by $L_1$. We call the locus $L_1$ is special. Similarly, we have a closed substack $L$ of $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2) $ parametrizing double lines in $G(2,n+1)$. It is clear that the dimension of the special locus $L_1$ is
\[ \dim(\overline{\mathcal{M}}_{0,0}(\Fa(X_d),1) )+ \dim (\overline{\mathcal{M}}_{0,0}(\mathbb{P}^1,2))=3n-\binom {d+1}2-d.\]
Moreover, it follows from Proposition \ref{propirr} that the special locus $L_1$ is irreducible for $X_d$ general. Similarly, we know $L$ is also irreducible since $\overline{\mathcal{M}}_{0,0}(G(2,n+1),1)$ is irreducible, see \cite{Kim}.

We have the following incidence correspondence:
\begin{equation} \label{picstar}
\xymatrix{ & I=\{(C,X_d)| C\subseteq \Fa(X_d)\}\ar[ld]_{pr_1} \ar[rd]^{pr_2} &\\
\overline{\mathcal{M}}_{0,0}(G(2,n+1),2) & &\mathbb{P}(\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d)))}
\end{equation}
where $C$ is a conic in $G(2,n+1)$ and $\mathbb{P}(\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d)))$ is the space parametrizing hypersurfaces of degree $d$ in $\mathbb{P}^n$. It is clear that $pr_2$ is surjective if any general hypersurface of degree $d$ contains a 2-plane.

\subsection{Geometry of Conics}
\begin{lemm} \label{lemmnotirr}
The special locus $L_1$ is not an irreducible component of \[\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)\] for $X_d$ general.
\end{lemm}
\begin{proof}
We know $L_1$ is irreducible by Proposition \ref{propirr}. It is clear that a general point of $L_1$ parametrizes a conic which is a double cover of a free line passing through a general point of $\Fa(X_d)$. Recall that the space $Y$ of lines in $X_d$ through a point $p$ is defined by the equations in $\mathbb{P}^n$ of type \begin{equation}\label{degrees}
(1,1,2,3,\dots,d-1,d).
\end{equation}For each point $y\in Y$, the space $Y$ has a line through $y$ if the sum of these degrees (\ref{degrees}) is at most $n-1$, see \cite[Chapter V Exercise 4.10.5 ]{K}. It follows that $\Fa(X_d)$ is covered by lines. Therefore, for a general line $\mathbb{P}^1$ in $\Fa(X_d)$, it is free and we have
\[T_{\Fa(X_d)}|_{\mathbb{P}^1}=\mathcal{O}_{\mathbb{P}^1}(a_1)\oplus\mathcal{O}_{\mathbb{P}^1}(a_2)\oplus \ldots \oplus \mathcal{O}_{\mathbb{P}^1}(a_{2n-d-3})\]where $T_{\Fa(X_d)}$ is the tangent sheaf of $\Fa(X_d)$, $a_i\geq 0$ and $a_i\geq a_{i+1}$.

We claim that $a_3\geq 1$. In fact, if $a_3=a_4=\ldots=a_{2n-d-3}=0$, then we have \[a_1+a_2=\sum\limits_{i=1}^{2n-d-3} a_i =\deg( T_{\Fa(X_d)})=n+1-\binom {d+1}2\geq 4.\] The space $\textbf{Mor}_1(\mathbb{P}^1, \Fa(X_d); \{0,1\})$ of maps fixing $0$ and $1$ is the disjoint union of copies of $\mathbb{C}^*$. On the other hand, the dimenison of the tangent space of $$\textbf{Mor}_1(\mathbb{P}^1, \Fa(X_d); \{0,1\})$$ is
$h^0(\mathbb{P}^1,T_{\Fa(X_d)}(-2)|_{\mathbb{P}^1})=h^0(\mathbb{P}^1, \mathcal{O}_{\mathbb{P}^1}(a_1-2)\oplus \ldots \oplus \mathcal{O}_{\mathbb{P}^1}(a_{2n-d-3}-2))\geq 2$ which is a contradiction. So we prove our claim.

In particular, by \cite[Theorem 3.14.3, Chapter II]{K}, a general deformation of a double cover of a general (free) line is a smooth conic in $\Fa(X_d)$. It implies that $L_1$ is not an irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$.
\end{proof}

We apply a similar method to prove the following lemma.

\begin{lemm} \label{lemmairr}
The incidence correspondence $I$ (\ref{picstar}) is irreducible.
\end{lemm}
\begin{proof}
Denote by $U$ the open substack $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)-L$. By the main theorem of \cite{Kim}, we know $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$ is irreducible. Hence, the stack $U$ is irreducible. On the other hand, every point $c\in U$ sweeps out a quadric $Q_c\in \mathbb{P}^n$ (it may be singular), the fiber of $pr_1$ over $c$ is the projective space  parametrizing hypersurfaces containing $Q_c$. The projective space is a subspace of $\mathbb{P} \Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))$ of codimension $(d+1)^2$, in fact, it is given by
\begin{equation} \label{quadric}
\xymatrix{\mathbb{P}(\mathrm{Ker}:\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))\ar@{->>}[r] &\Ho^0(Q_c,\mathcal{O}_{Q_c}(d)))}.
\end{equation} In particular, the open substack $pr_1^{-1}(U)$ of $I$ is irreducible. On the other hand, a point $u\in L$ parametrizing a double line in $\Fa(X_d)$ sweeps out a 2-plane in $\mathbb{P}^n$. As above, the fiber of $pr_1$ over $u$ is the projective space as follows:
\[\xymatrix{\mathbb{P}(\mathrm{Ker}:\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))\ar@{->>}[r] &\Ho^0(\mathbb{P}^2,\mathcal{O}_{\mathbb{P}^2}(d)))}.\] In particular, the closed substack $pr_1^{-1}(L)$ is irreducible.

We claim that $pr_1^{-1}(L)$ is not an irreducible component of $I$. The proof is similar to the proof of Lemma \ref{lemmnotirr}. Since a general hypersurface of degree $d$ in $\mathbb{P}^n$ contains a 2-plane, a general point $u$ in $pr^{-1}_1(L)$ maps to a general point of $\mathbb{P} \Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))$ via $pr_2$. Denote $pr_2(u)$ by $[X_d]$. On the other hand, $L_1= pr_1^{-1}(L)\cap pr_2^{-1}([X_d])$. By the argument as in the proof of Lemma \ref{lemmnotirr}, we can deform the double line in $\Fa(X_d)$ associated to $u$ to a smooth conic in $\Fa(X_d)$. In particular, the preimage $pr_1^{-1}(L)$ is not an irreducible component of $I$.

In summary, we prove that $I$ is irreducible.

\end{proof}

\begin{lemm} \label{lemmsm}
The space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)-L_1$ is smooth (as a scheme) for $X_d$ general.
\end{lemm}
\begin{proof}
We show the stack $I-pr_1^{-1}(L)$ is smooth first. In fact, the stack $I-pr_1^{-1}(L)$ is the preimage of the smooth stack $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)-L$ (see \cite{FP}) via $pr_1$. The fiber of $pr_1$ over a point $[C]\in \overline{\mathcal{M}}_{0,0}(G(2,n+1),2)-L$ is just the projective subspace parametrizing hypersurfaces of degree $d$ containing the quardic $Q_C\subseteq \mathbb{P}^n$ where $Q_C$ is swept out by the lines parametrized by $C$, see (\ref{quadric}).
It implies that the stack $I-pr_1^{-1}(L)$ is smooth. It is clear that \[\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)-L_1=(I-pr_1^{-1}(L))\cap pr_2^{-1}([X_d]).\] Since the space $I-pr_1^{-1}(L)$ is smooth. We conclude this lemma by the generic smoothness theorem via $pr_2$.
\end{proof}

\subsection{Geometry of Quadrics}
\begin{lemm}\label{lemmcon}
The space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is connected if \[n \geq \binom {d+1}2+d-1~\text{and}~d\geq 3.\]
\end{lemm}
\begin{proof}
We use degeneration argument. We can assume that $X_d$ is general. By deformation theory, we know every irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is of dimension at least (expected dimension=)
\[\begin{aligned}
&-K_{\Fa(X_d)}\cdot 2[line]+\dim(\Fa(X_d))-3\\
&=2 (n+1-\binom {d+1}2)+2n-3-d-3\\
&\geq 4n-\binom{d+1}2-d-5
\end{aligned}\]
where
 \[-K_{\Fa(X_d)}=\mathcal{O}_{\Fa(X_d)}(n+1-\binom {d+1}2)\] and $\dim(\Fa(X_d))=2n-3-d$ (see \cite[Chapter V Theorem 4.3 and Exercise 4.7]{K}). By the assumption, we conclude that every irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ has dimension at least $3n-6$. We apply \cite[Proposition 11.6]{Eric} to conclude that every component contains a point parametrizing a conic $C$ in $\Fa(X_d)$ such that the associated quadric $Q_C$ in $\mathbb{P}^n$ is singular. Therefore, a such conic $C$ is in a subspace $Y$ of $\Fa(X_d)$ parametrizing the lines through a point. Recall that $Y$ is defined by the equations in $\mathbb{P}^n$ of type
\[(1,1,2,3,\ldots,d-1,d).\] If\[1+1+2+3+\ldots+(d-1)+d +\frac{d+1}{2}\leq \frac{3n-2}{2}\] (i.e., $\frac{(d+1)^2+4}{3}\leq n$), then the subspace $\overline{\mathcal{M}}_{0,0}(Y,2)$ of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is connected by \cite[Theorem 1.3]{Zongrunpu} and intersects the special locus $L_1$ by the fact that $Y$ contains a line, see \cite[Chapter V, Exercise 4.10.5]{K}. It implies the connectedness of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$.

\end{proof}

\begin{lemm} \label{lemmlc}
Every irreducible component of space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is of dimension \[D=\dim~ \overline{\mathcal{M}}_{0,0}(G(2,n+1),2)-(d+1)^2.\] The space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is a local complete intersection in $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$, therefore, it is $(D-1)$-connected, see \cite[Chapter 3 3.3.C ]{L}.
\end{lemm}

\begin{proof}
We claim $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is the zero locus of a section of a vector bundle on $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$. In fact, we have the following universal bundles over $G(2,n+1)=G$ and $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$
\[\xymatrix{ \mathcal{L}=\mathbb{P}(S)\ar[d]^{\pi}\ar[r]^f &\mathbb{P}^n & \mathcal{C}\ar[r]^g\ar[d]^{\hat{\pi}}& G(2,n+1)\\
G(2,n+1) & & \overline{\mathcal{M}}_{0,0}(G,2) & &}\]where $S$ is the universal subbundle over $G(2,n+1)$. Suppose that the section $s\in \Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))$ defines the hypersurface $X_d\subseteq \mathbb{P}^n$. We have
\[\pi_*f^*\mathcal{O}_{\mathbb{P}^n}(d)=\pi_*\mathcal{O}_{\mathbb{P}(S)}(d)=\Sym^d(S^{\vee})\]
and a section $s_1=\pi_*f^*(s)\in \Ho^0(G(2,n+1),\Sym^d(S^{\vee}))$. The zero locus of $s_1$ defines the Fano variety $\Fa(X_d)$ of lines in $X_d$. \\
We claim that \[\hat{\pi}_*g^*\Sym^d(S^{\vee})=E\]is a vector bundle on $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$. Moreover, it has a section $s_2=\hat{\pi}_*g^*(s_1)$. In fact, by the base change theorem, it suffices to prove that the cohomology group
\begin{center}
$\Ho^1(C,h^*(\Sym^dS^{\vee}))$ is zero
\end{center} for any conic $h:C\rightarrow G=G(2,n+1)$. We divide it into two cases:
\begin{itemize}
\item
If $h:\mathbb{P}^1 \rightarrow G$ is a smooth conic or a double line, then $h^*(\Sym^d(S^{\vee}))$ is semi-ample since there is quiotient $\mathcal{O}_G^{\oplus {n+1}} \rightarrow  S^{\vee}.$ In particular, we have $\Ho^1(C,h^*(\Sym^d(S^{\vee}))=0$.
\item
If the image $h:C=\mathbb{P}^1\vee \mathbb{P}^1\rightarrow G$ is a reducible conic or a double line, then, as above, we conclude $\Ho^1(C,h^*(\Sym^dS^{\vee}))=0$ by using the short exact sequence
\[0\rightarrow \mathcal{O}_{\mathbb{P}^1}(-1)\rightarrow \mathcal{O}_C\rightarrow \mathcal{O}_{\mathbb{P}^1}\rightarrow 0.\]
\end{itemize}

It is clear that the zero locus of $s_2$ defines $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$.
 As in the proof of Lemma \ref{lemmsm}, we know that \[pr_2^{-1}([X_d])=\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2),\]cf. (\ref{picstar}). Note that $I$ is irreducible by Lemma \ref{lemmairr} and $L_1$ is not an irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ for $X_d$ general by Lemma \ref{lemmnotirr}. The dimension of each irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ for $X_d$ general is \[\begin{aligned}
  &\dim(I)-\dim( \mathbb{P} \Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d)))\\
  &=\dim (\overline{\mathcal{M}}_{0,0}(G(2,n+1),2))+ \dim (pr_1^{-1}(C))-\dim( \mathbb{P}\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d)))\\
&=\dim (\overline{\mathcal{M}}_{0,0}(G(2,n+1),2))-h^0(Q_C,\mathcal{O}_{Q_C}(d))\\
&=\dim (\overline{\mathcal{M}}_{0,0}(G(2,n+1),2))-(d+1)^2
\end{aligned} \]
where $[C]$ is a general point of $\overline{\mathcal{M}}_{0,0}(G(2,n+1),2)$. Hence, the fiber $pr_1^{-1}([C])$, cf. (\ref{picstar}), is the following projective space by (\ref{quadric})
\[\mathbb{P}\left(\mathrm{Ker}:\Ho^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(d))\rightarrow \Ho^0(Q_C,\mathcal{O}_{Q_C}(d))\right).\]
We show the first statment of the lemma.

To prove the space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is a local complete intersection in \[\overline{\mathcal{M}}_{0,0}(G(2,n+1),2),\] it suffices to verify the rank of $E$ is $(d+1)^2$ since $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is the zero locus of a section of $E$. It is clear that the rank of $E$ is $h^0(C,q^*(\Sym^dS^{\vee}))$ for any conic $q:C\rightarrow G$. So we can consider the case when $q:C\rightarrow G$ is a double line. Since $\varphi^*(S^{\vee})=\mathcal{O}_{\mathbb{P}^1}(1)\oplus \mathcal{O}_{\mathbb{P}^1}$ for any line $\varphi:\mathbb{P}^1 \rightarrow G$, we conclude that \[\begin{aligned}
&\varphi^*\Sym^dS^{\vee}\\
&=\Sym^d(\mathcal{O}_{\mathbb{P}^1}(1)\oplus \mathcal{O}_{\mathbb{P}^1})\\
&=\sum\limits^{d}_{s=0} \mathcal{O}_{\mathbb{P}^1}^{\otimes s}\otimes \mathcal{O}_{\mathbb{P}^1}(1)^{\otimes (d-s)}=\sum\limits^{d}_{s=0} \mathcal{O}_{\mathbb{P}^1}(s).\end{aligned} \] For the double line $q$ induced by $\varphi$, i.e.,
\[\xymatrix{q:\mathbb{P}^1\ar[r]^{\psi}_{2:1}& \mathbb{P}^1 \ar[r]^{\varphi} &G},\] we have \[\begin{aligned}
& h^0(\mathbb{P}^1,q^*\Sym^dS^{\vee})\\
&=h^0(\mathbb{P}^1,\psi^*(\varphi^*\Sym^dS^{\vee}))\\
&=\sum\limits^d_{s=0}h^0(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(2s))=\sum\limits_{s=0}^d(2s+1)=(d+1)^2.
\end{aligned}\] We have proved the lemma.
\end{proof}

\begin{cor}\label{corconnect}
The space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)-L_1$ is connected.
\end{cor}
\begin{proof}
It follows from Lemma \ref{lemmlc} and the fact that the codimension of $L_1$ in \[\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)\] is at least 2.
\end{proof}
\begin{prop}\label{propconnirr}
The space \[\overline{\mathcal{M}}_{0,m}(\Fa(X_d),2)\] is irreducible for $X_d$ general.
\end{prop}

\begin{proof}
Note that the generic fibers of \[\overline{\mathcal{M}}_{0,m}(\Fa(X_d),2)\rightarrow \overline{\mathcal{M}}_{0,m-1}(\Fa(X_d),2)\] are irreducible curves. It suffices to prove the case $m=0$ by the induction on $m$. It follows from Lemma \ref{lemmsm} and Corollary \ref{corconnect} that the space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)-L_1$ is irreducible for $X_d$ general. Since $L_1$ is not an irreducible component of $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ for $X_d$ general by Lemma \ref{lemmnotirr}, we conclude that $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),2)$ is irreducible for $X_d$ general.
\end{proof}

\section{Bend and Break, Curves on Fano Variety of Lines}

In this section, we assume that $X_d$ is a smooth hypersurface of degree $d$ in $\mathbb{P}^n$.
\begin{theorem}\label{propgriffiths}Suppose that one of the following assumptions holds:
\begin{itemize}
\item  $d\geq 4$ and \[n\geq 3\binom {d+1}{2}-d-4,\]
\item $d=3$ and $n\geq 14$.
\end{itemize}If the Fano variety $\Fa(X_d)$ is smooth, then we have
\[\mathrm{CH}_1(\Fa(X_d))_{hom}=\mathrm{CH}_1(\Fa(X_d))_{alg}\] i.e., $\mathrm{Griff_1}(\Fa(X_d))=0$. In particular, $\mathrm{CH}_1(\Fa(X_d))_{hom}$ is divisible.
\end{theorem}
\begin{proof}
Note that $\Fa(X_d)$ is Fano under the assumption of the theorem. It follows from \cite[Theorem 1.3]{TZ} that the first Chow group $\mathrm{CH}_1(\Fa(X_d))$ is generated by rational curves. Suppose that 1-cycle  $C$ is a rational curve. It is homologus to $b\cdot[line]$, see Proposition \ref{prophomology}. The cycle $C$ is algebraically equivalent to the sum of some lines in $\Fa(X_d)$ since $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),b)$ is connected by Proposition \ref{conn}. We have proved the theorem.
\end{proof}

In the rest of this section, we will show Proposition \ref{conn}. In the following, we assume that the hypersurface $X_d$ is general and one of the assumptions of Theorem \ref{propgriffiths} holds.

\begin{lemm}\label{line}
The fibers of the evalution map \[ev:\overline{\mathcal{M}}_{0,1}(\Fa(X_d),1)\rightarrow \Fa(X_d)\] are connected and nonempty.
\end{lemm}
\begin{proof}
The fiber $ev^{-1}([l])$ over $[l]\in \Fa(X_d)$ parametrizes 2-planes in $X_d$ containing the line $l$. By the same arugment as in section 2 (after Proposition \ref{rationaleqruledsurf}), we know the fiber $ev^{-1}([l])$ is the intersection of ample divisors in a projective spaces and of positive dimension, therefore, it is connected and nonempty.
\end{proof}

\begin{lemm} \label{connectedfibers}
Suppose that the map $f:X\rightarrow Y$ is proper from an irreducible reduced Deligne-Mumford stack $X$ to an irreducible variety $Y$ over complex numbers $\mathbb{C}$. Let $Z$ be a closed Deligne-Mumford substack of $X$. If the fibers of $f|_Z:Z\rightarrow Y$ are nonempty and connected, then the fibers of $f$ are connected.
\end{lemm}

\begin{proof}
According to \cite{Martin}, we have the Stein factorization as follows
\[\xymatrix{ X\ar@/^1pc/[rr]^f \ar[r]_g& W \ar[r]_h & Y}\]where $W$ is an integral scheme, the morphism $h$ is finite and and the fibers of $g$ are connected. Since $X$ is irreducible, the preimage $X_U$ of an open subset $U$ of $Y$ is irreducible (in particular, it is connected). So we can shrink $Y$ to an open subset $U$ so that $h$ over $U$ is \'etale. The fibers $h^{-1}(u)=\{u_1,\ldots, u_s\}$ of $h$ over $u\in U$ correspond to the connected components of $f^{-1}(u)$. There is a unique marked point $P$ in $h^{-1}(u)$ associated to the connected component of $f^{-1}(u)$ containing $Z_u$. Since $X_U$ is connected, the fundamental group $\pi_1(U)$ acts on the fibers $h^{-1}(u)$ transitively and fixes the marked point $P$. It implies that the morphism $h$ is one-to-one. In particular, the general fibers of $f$ are connected. Therefore, all the fibers of $f$ are connected.
\end{proof}

\begin{lemm}\label{conic}
The fibers of the evalution map \[ev:\overline{\mathcal{M}}_{0,1}(\Fa(X_d),2)\rightarrow \Fa(X_d)\] are connected and nonempty.
\end{lemm}
\begin{proof}
Recall that $\Fa(X_d)$ is covered by lines, see Lemma \ref{line} or the proof of Lemma \ref{lemmnotirr}. For any point $u\in \Fa(X_d)$, there is a line $l\subseteq \Fa(X_d)$ passing through $u$. A double cover from $\mathbb{P}^1$ to $l$ gives rise to a point $[f]\in \overline{\mathcal{M}}_{0,1}(\Fa(X_d),2)$ such that $ev([f])=u$. In particular, the fibers of $ev$ are non-empty. By Proposition \ref{propconnirr}, we can apply Lemma \ref{connectedfibers} to $X=\overline{\mathcal{M}}_{0,1}(\Fa(X_d),2)$, $Y=\Fa(X_d)$ and $f=ev$. We take \[Z=\textbf{Im}\left( \overline{\mathcal{M}}_{0,2}(\Fa(X_d),1)\times_{\Fa(X_d)} \overline{\mathcal{M}}_{0,1}(\Fa(X_d),1)\rightarrow \overline{\mathcal{M}}_{0,1}(\Fa(X_d),2)\right). \]It follows from Lemma \ref{connected} and Lemma \ref{line} that the fibers of $ev|_Z:Z\rightarrow \Fa(X_d)$ are connected. We have proved the lemma.
\end{proof}

\begin{propo}\label{conn}
With the same assumption as Theorem \ref{propgriffiths}, for a general hypersurface $X_d$, the fibers of the evaluation map \[ev:\overline{\mathcal{M}}_{0,1}(\Fa(X_d),b)\rightarrow \Fa(X_d)\] are connected for any $b\in \mathbb{N}_{+}$ and intersect the locus of the unions of lines. In particular, the space $\overline{\mathcal{M}}_{0,0}(\Fa(X_d),b)$ is connected for any smooth $\Fa(X_d)$.
\end{propo}

\begin{proof}
Denote the curve class \[b[l]\in \Ho_2(\Fa(X_2),\mathbb{Z})=\mathbb{Z}<[l]>\]by $b$, see Proposition \ref{prophomology}. Since the map \[ev_1:\overline{\mathcal{M}}_{0,1}(\Fa(X_d),1)\rightarrow \Fa(X_d)\] is surjective by Lemma \ref{line}, there are unions of lines passing through $p$ for every point $p\in \Fa(X_d)$. In particular, if the evaluation fibers of $ev$ are connected, then the fibers intersect the locus of unions of lines

To show the proposition, it suffices to either prove
\begin{itemize}
\item the fiber of $ev$ is connected or prove
\item every connected component of the evaluation fiber intersects the locus of unions of lines and the locus of unions of lines in the evaluation fiber is in a common connected component of the evaluation fiber.
\end{itemize}
We show the statement by the induction on $b$. For $b=1$ and $2$, it is Lemma \ref{line} and Lemma \ref{conic}. Let us assume $b\geq 3$. Suppose that $f$ is a map \[f:\mathbb{P}^1\rightarrow \Fa(X_d)~\text{and}~f_*([\mathbb{P}^1])=b=b[l]\in \Ho_2(\Fa(X_d),\mathbb{Z}).\] Assume that $f(0)=p$ and $f(\infty)=q$, we consider the morphism space\[\textbf{Mor}(\mathbb{P}^1,\Fa(X_d);0\mapsto p,\infty\mapsto q).\] By \cite[Chapter II]{K}, its expected dimension at the point $[f]$ is
\[\begin{aligned}
&h^0(\mathbb{P}^1,T_{\Fa(X_d)}(-2))-h^1(\mathbb{P}^1,T_{\Fa(X_d)}(-2))\\
&=-K_{\Fa(X_d)}\cdot [f(\mathbb{P}^1)]-\dim(\Fa(X_d))\\
&=b~(n+1-\binom {d+1}2)-(2n-3-d)\geq 2
\end{aligned} \]
where the last equality follows from \cite[Chapter V Theorem 4.3 and Exercise 4.7]{K}. In particular, by the bend-and-break \cite[Chapter II]{K}, every irreducible component of ev intersects the boundary $B\subseteq \overline{\mathcal{M}}_{0,1}(\Fa(X_d),b)$ for $b\geq 3$. Denote $\Fa(X_d)$ by $Y$. Recall that there are natural gluing maps for $(b_1,b_2)$ \[\overline{\mathcal{M}}_{0,2}(Y,b_1)\times_{Y}\overline{\mathcal{M}}_{0,1}(Y,b_2)\rightarrow \overline{\mathcal{M}}_{0,1}(Y,b).\] and \[B=\bigcup\limits_{b_1+b_2=b,b_1,b_2>0} \mathrm{Im}\left(\overline{\mathcal{M}}_{0,2}(Y,b_1)\times_Y\overline{\mathcal{M}}_{0,1}(Y,b_2)\rightarrow \overline{\mathcal{M}}_{0,1}(Y,b)\right).\]
We claim that the fibers of \[ev_1:\overline{\mathcal{M}}_{0,2}(Y,b_1)\times_{Y}\overline{\mathcal{M}}_{0,1}(Y,b_2) \rightarrow Y\] are connected and intersect the locus of unions of lines. In fact, as at the beginning of the proof, for every point $p\in Y$, there are unions of lines passing through $p$. In particular, we only need to prove the fibers of $ev_1$ are connected.  Note that we have the following diagram
\begin{equation} \label{ev1}
\xymatrix{\hat{ev}_1^{-1}(p)\ar[d] \ar@{}[dr]|-{\Box} \ar[r] &\overline{\mathcal{M}}_{0,2}(Y,b_1) \ar[d]^{F} \ar[r]^<<<<{\hat{ev}_1} &Y \\
ev^{-1}_{b_1}(p) \ar[r] &\overline{\mathcal{M}}_{0,1}(Y,b_1)\ar[ur]_{ev_{b_1}}}
\end{equation}
where $F$ is the forgetful functor forgetting the second marked point.
By the induction on $b$, we know $ev^{-1}_{b_1}(p) $ is connected, therefore, the evaluation fiber $\hat{ev}_1^{-1}(p)$ in the diagram (\ref{ev1}) is connected. Since the fiber of $ev_1$ over $p$ is \[ev_1^{-1}(p)=\hat{ev}_1^{-1}(p)\times_Y \overline{\mathcal{M}}_{0,1}(Y,b_2),\] we show the claim by Lemma \ref{connected}.

In summary, we conclude that every connected component of the fiber $ev^{-1}_b(p)$ parameterizes some stable maps with one marked point whose images are unions of lines. These stable maps are in a common connected component of $ev_b^{-1}(p)$ by Proposition \ref{propconnectdualgraph} ($X=Y$). We have proved the proposition.

\end{proof}

\begin{theorem}
Suppose that $X_d$ is a hypersurface of degree $d$ in $\mathbb{P}^n$ with smooth Fano variety of lines. If the equality \[\frac{d(2d^2+1)}{3}\leq n\]holds, then $\mathrm{CH}_2(X_d)=\mathbb{Z}$.
\end{theorem}

\begin{proof}
By the main theorem of paper \cite{E}, it suffices to prove that \[\mathrm{CH}_2(X_d)_{tor}=0.\] We claim that $\mathrm{CH}_2(X_d)_{tor}$ is divisable. In fact, we have that \[\mathrm{CH}_2(X_d)_{tor}\subseteq \mathrm{CH}_2(X_d)_{hom}\]
where $\mathrm{CH}_2(X_d)_{hom}$ is the subgroup of $\mathrm{CH}_2(X_d)$ generated by 2-cycles that are homologous to zero.
To prove $\mathrm{CH}_2(X_d)_{tor}$ is divisible, it suffices to show $\mathrm{CH}_2(X_d)_{hom}$ is divisible. Let us consider the following commutative diagram.
\[\xymatrix{ 0\ar[r]& \mathrm{CH}_1(\Fa(X_d))_{hom}\ar[r]\ar[d]^{\AJ_{hom}} &\mathrm{CH}_1(\Fa(X_d))\ar[r]^{cl} \ar[d]^{\AJ} & \Ho_2(\Fa(X_d),\mathbb{Z})\ar[r]\ar[d]^{\AJ_{top}} &0\\
0\ar[r]& \mathrm{CH}_2(X_d)_{hom}\ar[r] &\mathrm{CH}_2(X_d)\ar[r]^{cl} & \Ho_4(X_d,\mathbb{Z})\ar[r] &0 }\]
By Proposition \ref{rationaleqruledsurf}, the map $\AJ$ (\ref{AJ}) is surjective. By Proposition \ref{prophomology}, the map $\AJ_{top}$ is an ismorphism. Therefore, the map $\AJ_{hom}$ is surjective. Note that $\mathrm{CH}_1(\Fa(X_d))_{alg}$ is divisible. It implies that $\mathrm{CH}_2(X_d)_{hom}$ is divisible since $\mathrm{CH}_1(\Fa(X_d))_{hom}=\mathrm{CH}_1(\Fa(X_d))_{alg}$ by Theorem \ref{propgriffiths}.

It follows from Proposition \ref{killd} and the claim $\mathrm{CH}_2(X_d)_{tor}$ is divisible that \[\mathrm{CH}_2(X_d)_{tor}=0.\] Hence, we prove the theorem.
\end{proof}
\bibliographystyle{acm}
\def$'${$'$}

2-Cycles on Higher Fano Hypersurfaces


On Ext-indices of ring extensions

Abstract: In this paper we are concerned with the finiteness property of Ext-indices of several ring extensions. In this direction, we introduce some conjectures and discuss the relationship of them. Also we give affirmative answers to these conjectures in some special cases. Furthermore, we prove that the trivial extension of an Artinian local ring by its residue class field is always of finite Ext-index and we show that the Auslander-Reiten conjecture is true for this type of rings.

\section{introduction}
Throughout the paper,  all rings are assumed to be commutative Noetherian rings with unity.

Let  $R$  be a ring.
According to \cite{AY}, given nonzero $R$-modules $M$ and $N$, we define $p^R(M,N)$ by the following equality:
$$
p^R (M,N)= \sup \{ i \in \Bbb N  \ | \  \mathrm{Ext}_R^i(M,N) \neq  0 \} \ (\leq \infty).
$$
And we define the Ext-index of the ring  $R$,  denoted by $\mathrm{Ext}\text{-}\mathrm{index} (R)$, to be  the supremum of finite values  of  $p^R (M, N)$ for finitely generated  $R$-modules  $M$ and $N$, i.e.
$$
\begin{aligned}
\mathrm{Ext}\text{-}\mathrm{index} (R) = \sup \{ p^R(M,N) \ | \ &\text{$M$ and $N$ are finitely generated} \\
&\text{$R$-modules with } \ p^R(M,N) < \infty \  \}.
\end{aligned}
$$

\begin{definition}
We say that the ring  $R$  is {\bf of finite Ext-index} if it satisfies
$\mathrm{Ext}\text{-}\mathrm{index} (R) < \infty$.
Following the paper \cite{HJ}, we often call  $R$  an AB ring if it is a Gorenstein local ring of finite Ext-index.
\end{definition}

Recall that the following rings are examples known to be of finite Ext-index:

\vspace{4pt}
\noindent
Complete intersections (\cite[Corollary 3.5]{HJ}),
Golod rings (\cite[Proposition 1.4]{JS}),
Gorenstein local rings with minimal multiplicity (\cite[Theorem 3.6]{HJ}),
and Gorenstein local rings with codimension at most 4 (\cite[Theorem 3.4]{S}).
\vspace{4pt}

Note also from  \cite{JS} that there exists an example of an Artinian Gorenstein  local ring which is not AB.

\vspace{6pt}

In this paper we are mainly concerned with the finiteness property of Ext-indices of several ring extensions.
This is motivated by the following conjectures, all of which seem to be open.
(See also \cite{CH}.)

\par\vspace{6pt}\noindent {\bf Conjecture (L)} :
Let  $R$ be a ring and let $\frak{p} \in \operatorname{Spec} (R)$.
If  $R$  is of finite Ext-index, then so would be the \underline{l}ocalization  $R_{\frak{p}}$.

\par\vspace{6pt}\noindent {\bf Conjecture (E)} :
Let  $R$  be an algebra over a field $k$ and let  $\ell$  be a finitely generated \underline{e}xtension field  of  $k$.
If  $R$  is of finite Ext-index, then so would be the ring $R \otimes _k \ell$.

\par\vspace{6pt}\noindent {\bf Conjecture (P)} :
Let  $R$  be a ring.
If  $R$  is of finite Ext-index, then so would be the \underline{p}olynomial ring $R[x]$.
\vspace{6pt}

In Section 2, after making some preliminaries, we discuss the relationship among these conjectures (Proposition \ref{relation of conjectures}).
We shall also give some of the obvious cases for the above conjectures.

In Section 3, we are interested in the trivial extension $R(k)$  of an Artinian local ring  $R$ with its residue class field $k$.
Surprisingly enough, we prove that  $R(k)$ is always of finite Ext-index (Corollary \ref{first cor}).
Furthermore we can show that the Auslander-Reiten conjecture is true for the rings of this type (Corollary \ref{AR}).

In Section 4, we are interested in how the finiteness of Ext-index is preserved  by a base field extension for algebras.
To be precise let  $R$ be a finite dimensional algebra over a field $k$ and we consider a transcendental extension $k(x)$  of  $k$.
We show under a mild assumption that if  $R$  is of finite Ext-index then so is  the extended ring  $R \otimes _k k(x)$.
See Theorem \ref{k(x)} for the detail.
We also give some variants of this theorem in Theorems \ref{Extgap} and \ref{zeta}.

For unexplained notation and terminologies in the paper, see the books \cite{BH}, \cite{E}, \cite{M} and \cite{W}.

\section{Preliminaries}

We recall some of the basic facts concerning the Ext-indices.

\begin{lemma}\label{first lemma}
\begin{itemize}
\item[]
\item[$(1)$]
Let  $R \to S$  be a faithfully flat ring homomorphism.
Then the inequality  $\mathrm{Ext}\text{-}\mathrm{index} (R) \leq \mathrm{Ext}\text{-}\mathrm{index} (S)$ holds.
In particular, if  $S$  is of finite Ext-index, then so is  $R$.

\item[$(2)$]
Let  $R = R_1 \times R_2$  be a product of rings.
Then we have an equality
$$
\mathrm{Ext}\text{-}\mathrm{index} (R) = \sup \{ \mathrm{Ext}\text{-}\mathrm{index} (R_1), \  \mathrm{Ext}\text{-}\mathrm{index} (R_2) \}.
$$
In particular,  $R$  is of finite Ext-index if and only if so are the both of   $R_1$ and  $R_2$.

\item[$(3)$]
Let  $x$  be a non-zero divisor of  $R$.
Then the inequality $\mathrm{Ext}\text{-}\mathrm{index} (R/xR) \leq \mathrm{Ext}\text{-}\mathrm{index} (R) -1$ holds.
In particular, if  $R$  is of finite Ext-index, then so is  $R/xR$.

\item[$(4)$]
Let $(R, \frak{m})$  be a Cohen-Macaulay local ring with dualizing module.
And let  $x$  be a non-zero divisor of $R$ that belongs to $\frak{m}$.
If  $R/xR$  is of finite Ext-index, then so is  $R$.
\end{itemize}
\end{lemma}

\begin{proof}
(1) and (2) are proved straightforward only from the definition.
See \cite[Proposition 3.5]{CH} for (1) and \cite[Proposition 3.3]{CH} for (2).
For  (3) and (4),  refer to \cite[Proposition 3.3(1)]{HJ}, \cite[Lemma 3.4]{CH} and \cite[Propositions 4.2]{CH}.
\end{proof}

In the following  we give an obvious case of Conjecture (L).
In the lemma, $\operatorname{Max} (R)$  (resp. $\operatorname{Min} (R)$)  denotes the set of all maximal (resp. minimal prime) ideals of  $R$.

\begin{lemma}\label{maxmin}
Let  $\frak{m} \in \operatorname{Max}(R) \cap \operatorname{Min} (R)$.
Then we have
$$
\mathrm{Ext}\text{-}\mathrm{index} (R_{\frak{m}}) \leq \mathrm{Ext}\text{-}\mathrm{index} (R).
$$
In particular, if $R$ is of finite Ext-index, then so is $R_{\frak{m}}$ for each $\frak{m} \in \operatorname{Max} (R) \cap \operatorname{Min}(R)$.
\end{lemma}

\begin{proof}
Let  $(0) = Q_1  \cap Q_2$  be  an irredundant primary decomposition, where  $Q_1$  is an $\frak{m}$-primary component and  $Q_2$  is the intersection of the components  belonging to other primes.
Since  $\frak{m}$  is a maximal ideal, we have  $Q_1 + Q_2 = R$, hence  $R \cong R/Q_1 \times R/Q_2$.
Noting that  $(0)_{\frak{m}} = {Q_1}_{\frak{m}}$, we see that
$R_{\frak{m}} \cong (R/Q_1)_{\frak{m}} \cong  R/Q_1$.
Therefore the lemma follows from Lemma \ref{first lemma}(2).
\end{proof}

\begin{corollary}\label{cor maxmin}
If $R$ is an Artinian ring of finite Ext-index, then so is $R_{\frak{p}}$ for every prime ideal $\frak{p}$ of $R$.
\end{corollary}

\begin{lemma}\label{localization}
Let $R$ be a Cohen-Macaulay ring of finite Ext-index.
Then $R_{\frak{m}}$ is of finite Ext-index for every maximal ideal $\frak{m}$ of $R$.
\end{lemma}

\begin{proof}
Let $d = \operatorname{ht} (\frak{m}) \geq 0$.
We can take a regular sequence  $x_1 , \ldots , x_d  \in \frak{m}$  on $R$.
Then  $R/(x_1,...,x_d)R$ is of finite Ext-index by \ref{first lemma}(3).
And thus  $(R/(x_1,...,x_d)R)_{\frak{m}}$  is an Artinian ring of finite Ext-index by Lemma  \ref{maxmin}.
Apply  \ref{first lemma}(4)  to this ring that is isomorphic to $\widehat{(R_{\frak{m}})}/(x_1, \ldots , x_d)\widehat{(R_{\frak{m}})}$, and we see that $\widehat{(R_{\frak{m}})}$  is of finite Ext-index.
Finally, by virtue of  \ref{first lemma}(1), we have the finiteness of Ext-index of  $R_{\frak{m}}$.
\end{proof}

The following is a corollary of the proof above.

\begin{corollary}\label{completion}
Let  $R$  be a Cohen-Macaulay local ring of finite Ext-index.
Then the completion  $\widehat R$  is also of finite Ext-index.
\end{corollary}

\begin{lemma}\label{Extindex=dim}
Let  $R$ be a Gorenstein ring of finite Ext-index and suppose that  $\dim (R) < \infty$.
Then the equality  $\mathrm{Ext}\text{-}\mathrm{index} (R) =  \dim (R)$ holds.
\end{lemma}

Before proving this, we should remark that if  $R$ is an AB ring then the equality was shown in \cite[Proposition 3.2]{HJ}.
Also this has been proved by Mori \cite[Corollary 3.3]{Mo} including non-commutative cases.
We give below the proof for the convenience of the reader.

\begin{proof}
Let  $\frak{m}$ be a maximal ideal of $R$.
By \ref{localization},  we know that $R_{\frak{m}}$ is an AB ring.
It follows from the above mentioned result of \cite{HJ} that  $\mathrm{Ext}\text{-}\mathrm{index} (R_{\frak{m}})= \operatorname{ht} (\frak{m}) \leq \dim (R)$.

Now let $M$ and $N$ be finitely generated $R$-modules with $\mathrm{Ext}^i_R(M,N)=0$  for  $i\gg 0$.
Then we have obviously $\mathrm{Ext}^i_{R_{\frak{m}}}(M_{\frak{m}},N_{\frak{m}}) =0$ for $i\gg 0$,
hence the equality holds for all $i> \dim (R) \geq \mathrm{Ext}\text{-}\mathrm{index} (R_{\frak{m}})$.
This is true for any maximal ideal $\frak{m}$.
Hence we have  $\mathrm{Ext}^i_R(M,N)=0$  for $i > \dim (R)$.
Therefore, it is concluded that  $\mathrm{Ext}\text{-}\mathrm{index} (R) \leq \dim (R)$.

On the other hand, since  $\dim (R)= \operatorname{id} (R)$, we can find a finitely generated $R$-module $L$ such that $\mathrm{Ext} _R^d(L,R) \neq 0$, and $\mathrm{Ext}_R^i(L,R)=0$ for all $i> d = \dim (R)$.
This implies that $\dim (R) \leq \mathrm{Ext}\text{-}\mathrm{index} (R)$.
\end{proof}

\begin{lemma}\label{finite Krull dim}
Let  $R$ be a Gorenstein ring of finite Krull dimension and suppose  $R_{\frak{m}}$ is of finite Ext-index for each $\frak{m} \in \operatorname{Max} (R)$.
Then $R$ is of finite Ext-index.
\end{lemma}

\begin{proof}
In fact,  completely as in the same way as in the proof of \ref{Extindex=dim} we can prove the following inequalities:
$$
\mathrm{Ext}\text{-}\mathrm{index} (R) \leq \sup \{\mathrm{Ext}\text{-}\mathrm{index} (R_{\frak{m}}) \ | \ \frak{m} \in \operatorname{Max} (R) \} \leq \dim (R) < \infty.
$$
\end{proof}

We observe the relationship among Conjectures (L), (E) and (P) introduced in Section 1.

\begin{proposition}\label{relation of conjectures}
\begin{itemize}
\item[]
\item[$(1)$]
Suppose that Conjecture (P)  is true for all Cohen-Macaulay local rings  $R$  of dimension one.
Then Conjecture (L) is true for all Cohen-Macaulay local rings $R$  of any dimension with dualizing module.

\item[$(2)$]
Suppose that Conjecture (P)  is true for a $k$-algebra $R$.
Then Conjecture  (E)  is true for $R$ and for all simple algebraic extensions  $\ell$ of $k$.

\item[$(3)$]
Suppose that Conjectures (L) and (E) are true for all Gorenstein rings containing field.
Then Conjecture (P) is true for all Gorenstein rings of finite Krull dimension that contain fields.
\end{itemize}
\end{proposition}

\begin{proof}
(1)
Suppose  (P)  holds for all Cohen-Macaulay local rings of dimension one.
Let  $(R, \frak{m})$  be a Cohen-Macaulay local ring with dualizing module
 and let  $\frak{p} \in \operatorname{Spec} (R)$, and assume that  $R$  is of finite Ext-index.
To prove that $R_{\frak{p}}$  is of finite Ext-index, by induction on $\operatorname{ht} (\frak{m}/\frak{p})$, we may assume that  $\operatorname{ht}  (\frak{m}/\frak{p}) =1$.
Take a maximal regular sequence $\{ x_1, \ldots , x_h \}$  in  $\frak{p}$  (so that  $h = \operatorname{ht} (\frak{p})$), and consider the residue ring  $\overline R = R/(x_1, \ldots , x_h)$.
By virtue of Lemma \ref{first lemma}(3) and (4), replacing  $R$  by $\overline R$, we may assume that  $R$  is of one dimension and  $\frak{p} \in \operatorname{Min} (R)$.
Then take a non-zero divisor  $a \in \frak{m}$.
Since  $R[x]$  is of finite Ext-index, it follows from Lemma \ref{first lemma}(3) that  $R_{a} \cong  R[x]/(ax-1)$  is also of finite Ext-index.
Since $R_{a}$  is Artinian and  $a \not\in \frak{p}$,  the localization  $R_{\frak{p}}$ is of finite Ext-index as well, by Corollary \ref{cor maxmin}.

(2)
Let  $R$  be a $k$-algebra of finite Ext-index.
Assume $\ell = k ( \alpha )$  is a simple algebraic extension of  $k$.
Let  $f(x)$  be the minimal polynomial of  $\alpha$  over  $k$.
Then we have $R \otimes _k \ell \cong  R[x]/(f(x))$.
Since we are assuming that  $R[x]$ is of finite Ext-index,  $R[x]/(f(x))$ is of finite Ext-index as well, by Lemma \ref{first lemma}(3).

(3)
Let  $R$  be a Gorenstein ring of finite Ext-index that contains a field.
To prove that the polynomial ring  $R[x]$  is of finite Ext-index,
 we only have to show that  $R[x]_{\frak M}$ is so for each maximal ideal $\frak M$  of  $R[x]$.
(See Lemma \ref{finite Krull dim}.)
Set  $\frak{p} = \frak M \cap R$ and we have that  $R_{\frak{p}}$ is of finite Ext-index by the assumption that (L) is true for $R$.
Replacing  $R$  with  $R_{\frak{p}}$, we may assume that  $(R, \frak{m})$  is a Gorenstein local ring of finite Ext-index and that  $\frak M \cap R = \frak{m}$.
By virtue of Lemma \ref{first lemma}(1) and Corollary \ref{completion}, we may also assume that  $R$  is a complete local ring.
Since  $R$ contains a field, $R$  has  a coefficient field $k$.
Then it is obvious that there is an irreducible polynomial $f(x) (\not= 0) \in k[x]$  with  $\frak M = (\frak{m} , f(x))R[x]$.
By Lemma \ref{first lemma}(4), the finiteness of Ext-index for  $R[x]_{\frak M}$  follows from that for  $\left( R[x]/(f(x)) \right)_{\frak M}$.
But the last ring is a localization of $R \otimes _k k[x]/(f(x))$, which is of finite Ext-index by the validity of  (E) and (L).
\end{proof}

As to Conjecture (P) we give an affirmative answer in a special case.

\begin{proposition}\label{poly}
Let  $R$  be an Artinian Gorenstein ring of finite Ext-index.
Assume that every residue class field of  $R$  is algebraically closed.
Then the polynomial ring  $R[x_1,...,x_n]$  is also of finite Ext-index.
\end{proposition}

\begin{proof}
By Lemma \ref{finite Krull dim}, it is enough to prove that $R[x_1,...,x_n]_{\frak M}$ is of finite Ext-index for every maximal ideal $\frak M$ of $R[x_1,...,x_n]$.
Since $R$ is Artinian, we see that $\frak M \cap R=\frak{m}$ is a maximal ideal of  $R$ and  $R/\frak{m}$ is an algebraically closed field.
Therefore, by Hilbert's Nullstellensatz, there are elements $r_1, \ldots , r_n \in R$  with  $\frak M = (\frak{m} , x_1-r_1, \ldots, x_n -r_n) R[x_1, \ldots , x_n]$.  Since $R _{\frak{m}} \cong R[x_1,...,x_n]_{\frak M} / (x_1-r_1,...,x_n-r_n)R[x_1,...,x_n]_{\frak M}$  is of finite Ext-index by Corollary \ref{cor maxmin} and since  $\{ x_1-r_1,...,x_n-r_n\}$  is a regular sequence contained in the Jacobson radical of  $R[x_1,...,x_n]_{\frak M}$,  it follows from Lemma \ref{first lemma}(4) that $R[x_1,...,x_n]_{\frak M}$  is of  finite Ext-index.
\end{proof}

\section{Trivial Extensions}

Let $M$ be an $R$-module.
Recall that the trivial extension  $R(M)$  of $R$  by $M$  is defined to be  $R\oplus M$  as an underlying  $R$-module that is equipped with ring structure by defining the multiplication by
$$
(r,m)\cdot (r',m')=(rr',rm'+r'm).
$$
There are ring homomorphisms $\rho: R\longrightarrow R(M)$ with $\rho(r)=(r,0)$ and $\pi: R(M)\longrightarrow R$ with $\pi(r,m)=r$.
Note that  $\pi\cdot\rho$ is the identity mapping on $R$.

In this section we are mainly concerned with the trivial extension  $R(k)$  of the local ring  $(R, \frak{m}, k)$  by the residue class field  $k$.
We prove the following theorem as a main result of this section.

\begin{theorem}\label{trivial ext}
Let $(R, \frak{m}, k)$  be a local ring and $M$, $N$ be nonzero non-free finitely generated $R(k)$-modules.
Then  $\operatorname{Tor}_n^{R(k)} (M,N) \neq 0$  for all $n\geq 3$.
\end{theorem}

The following is a key to prove the theorem.
Notice that any $R$-module can be regarded as an $R(k)$-module through  $\pi : R(k) \to R$.

\begin{lemma}\label{key lemma}
Let $(R, \frak{m}, k)$  be a local ring.
Then for $R$-modules $M$ and $N$ and for an integer $n\geq 1$  we have an isomorphism
$$
\operatorname{Tor}_n^{R(k)} (M,N) \cong  \operatorname{Tor}_n^R(M,N) \oplus \coprod_{i+j=n-1} \operatorname{Tor} _i^{R(k)} (M,k) \otimes_k  \operatorname{Tor} _j^R(k,N).
$$
\end{lemma}

\begin{proof}
Set   $A = R(k)$, $x=(0,1)\in A$ and let $\frak{n}$ be the maximal ideal of $A$.
Note that $\frak{n} = (0:_Ax)$ holds and there is an isomorphism  $R \cong A/Ax$ as a ring.
Now consider the short exact sequence of $A$-modules:
$$
0\longrightarrow k\overset{x}\longrightarrow A\longrightarrow R\longrightarrow 0.
$$
This induces the triangle
$$
\begin{CD}
R \otimes_A^{\mathbf{L}} k @>>> R \otimes_A^{\mathbf{L}} A
@>{\pi}>>  R \otimes_A^{\mathbf{L}}R @>>>  R \otimes_A^{\mathbf{L}}k[1],
\end{CD}
$$
which is actually a triangle in the derived category ${\operatorname{D}}^{-}(R,A)$ of right bounded chain complexes of $(R, A)$-bimodules.
Consider the natural augmentation  $\epsilon: R \otimes_A^{\mathbf{L}} R \longrightarrow \operatorname{H} _0(R\otimes_A^{\mathbf{L}}R)$ and we have the following commutative diagram in  ${\operatorname{D}}^{-}(R,A)$:
$$
\begin{CD}
R \otimes_A^{\mathbf{L}} A @>{\pi}>> R \otimes_A^{\mathbf{L}}R \\
 @V{\cong}VV    @V{\epsilon}VV \\
R @>{\cong}>> \operatorname{H} _0(R\otimes_A^{\mathbf{L}}R).
\end{CD}
$$
Thus $\pi$ has a left inverse $\epsilon$.
Therefore the triangle splits off and it gives an isomorphism in  $\operatorname{D}^{-}(R,A)$:
$$
(*) \qquad R \otimes_A^{\mathbf{L}}R  \cong  \ R\  \oplus \ (R\otimes_A^{\mathbf{L}}k)[1].
$$

Note that the natural ring homomorphism  $\rho : R \to A$  induces the forgetting functor  $\operatorname{D}^{-}(R,A) \to \operatorname{D}^{-} (R,R)$, and through this functor we can regard $(*)$ as an isomorphism in  $\operatorname{D} ^{-}(R,R)$.
Now apply the functors $M\otimes_R^{\mathbf{L}}-$ from the left and $-\otimes_R^{\mathbf{L}}N$ from the right to the isomorphism $(*)$, and as a consequence we have an isomorphism in ${\operatorname{D}}^{-}(R,R)$:
$$
M \otimes_A^{\mathbf{L}}N \cong  (M  \otimes_R^{\mathbf{L}} N) \ \oplus \ \left( (M\otimes_A^{\mathbf{L}}k) \otimes_k^{\mathbf{L}}(k\otimes_R^{\mathbf{L}}N)\right)[1].
$$
The lemma follows by taking the homology modules of the both ends.
\end{proof}

\begin{remark}
Let $S$ be a local ring with residue class field $\ell$ and let $M$, $N$ be $S$-modules such that $\ell_S( \operatorname{Tor} _n^S(M, N))< \infty$ for all $n$.
Then we can consider the generating function  $P^S_{M,N}(t)$  defined by the equality
$$
P^S_{M,N}(t) = \sum_{n\geq 0} \ell_S( \operatorname{Tor} _n^S (M,N))t^n.
$$
Recall that the Poincar\'{e} series $P^S_M(t)$  of $M$ is defined to be $P^S_{\ell ,M}(t)$ and the Poincar\'{e} series $P^S_{\ell}(t)$ is denoted  simply by $P_S(t)$.

Note that by the previous lemma we can show the equality
$$
P^{R(k)}_{M,N}(t) = P^R_{M,N} (t) + P^{R(k)}_M (t)\  P^R_N (t) \ t,
$$
if  $M$ and $N$ are finitely generated $R$-modules with
 $\ell_{R(k)}( \operatorname{Tor} _n^{R(k)}(M, N))< \infty$ for all $n$.
Applying this to $M=N=k$, we have
$$
P_{R(k)}(t)=P_R(t)(1 - P_R(t)\ t)^{-1},
$$
which is a special case of a theorem of Gulliksen \cite[Theorem 2]{G}.
\end{remark}

Now we proceed to the proof of the theorem.

\vspace{12pt}
\textit{Proof of Theorem \ref{trivial ext}.}
We use the same notation as in the proof of Lemma \ref{key lemma}.
Suppose $\operatorname{Tor} _n^A(M,N)=0$  for some $n\geq 3$.
Replacing $M$ and $N$ with their first syzygies, we may assume that $\operatorname{Tor} _n^A(M,N)=0$  for some $n\geq 1$ and that $xM=0$ and  $xN=0$,  since  $M \subseteq \frak{n} F$ and  $N \subseteq \frak{n} G$ for some free $A$-modules $F$ and $G$.
Thus we may assume $M$ and $N$ are modules over $R$ through the identification   $R \cong A /Ax$.
Then by Lemma \ref{key lemma},  the equality $\operatorname{Tor} _{n-1}^A (M,k) \otimes_k (N\otimes_Rk)=0$ holds.
Since  $N \otimes_R k \neq 0$, we see $\operatorname{Tor} _{n-1}^A (M,k)=0$.
This implies that $M$ has finite projective dimension as an $A$-module.
But $\operatorname{depth} (A)=0$ and by Auslander-Buchsbaum formula, $M$ is a free $A$-module. This is a contradiction.
$\Box$

\vspace{12pt}
As applications of Theorem \ref{trivial ext} we can show the following corollaries.

\begin{corollary}\label{first cor}
Let  $(R, \frak{m}, k)$  be an Artinian local ring and let  $M$ and  $N$ be finitely generated modules over the trivial extension $R(k)$.
If  $\mathrm{Ext}_{R(k)}^i (M, N) = 0$  for some integer $i \geq 3$, then either $M$ is $R(k)$-free or  $N$  is $R(k)$-injective.

In particular, the equality  $\mathrm{Ext}\text{-}\mathrm{index} (R(k)) =0$ holds.
\end{corollary}

\begin{proof}
Taking the Matlis dual which we denote by $(\ \ )^{\vee}$, we have $\operatorname{Tor}^{R(k)}_i(M, N^\vee) = 0$ for an integer $i \geq 3$.
Hence by Theorem \ref{trivial ext},  one of $M$ and $N^{\vee}$  is $R(k)$-free.
\end{proof}

\begin{corollary}
Let  $(R, \frak{m}, k)$ be an Artinian local ring.
And let $E=E_{R(k)}(k)$ be the injective envelope of the $R(k)$-module $k$.
Then  $\mathrm{Ext}^i_{R(k)} (E, R(k)) \neq 0$ for all $i \geq 3$.
\end{corollary}

\begin{proof}
Otherwise, it follows from Corollary \ref{first cor} that $E$ is $R(k)$-free or
 $R(k)$  is $R(k)$-injective.
In either case  $R(k)$  must be a Gorenstein ring.
However, since the socle dimension of $R(k)$ is bigger than that of $R$ by $1$,  there is no chance for  $R(k)$  to be Gorenstein.
\end{proof}

\begin{corollary}[Auslander-Reiten conjecture for $R(k)$]\label{AR}
Let $(R, \frak{m}, k)$ be an Artinian local ring and let $M$ be a finitely generated  module over  $R(k)$.
Suppose that  $\mathrm{Ext}^i_{R(k)}(M, M \oplus R(k)) = 0$  for all  $i >0$  (or more weakly, for some integer $i \geq 3$).
Then $M$ is a free $R(k)$-module.
\end{corollary}

\begin{proof}
By Corollary \ref{first cor},  either  $M$ is $R(k)$-free or $M \oplus R(k)$ is  $R(k)$-injective.
In the latter case $R(k)$ has to be a Gorenstein ring.
However this never occurs as we have already remarked in the proof of the previous corollary.
\end{proof}

\section{More ring extensions}

Let $R$  be an algebra over a field $k$.
And let $M$ be a module over the polynomial ring $R[x]$.
The {\it specialization of $M$ to an element  $\alpha \in k$} is defined by
$$
M_{\alpha} := M \otimes_{k[x]}({k[x]}/{(x-\alpha)k[x]}).
$$
Remark that if $M$ is a finitely generated $R[x]$-module, then $M_{\alpha}$ is a finitely generated $R$-module.

\begin{lemma}\label{specialization lemma}
Let  $R$ be a $k$-algebra and let  $\alpha\in k$.
Assume that $x-\alpha$ is a nonzero divisor on $R[x]$-modules $M$ and $N$.
Then we have an exact sequence
$$
0 \to \mathrm{Ext}^i_{R[x]}(M,N)_{\alpha}  \to \mathrm{Ext}^i_R(M_{\alpha},N_{\alpha}) \to \operatorname{Tor}_1^{k[x]}(\mathrm{Ext}^{i+1}_{R[x]}(M,N),\ {k[x]}/{(x-\alpha)}) \to 0 \\
$$
for each $i\geq 0$.
\end{lemma}

\begin{proof}
From the obvious exact sequence
$$
\begin{CD}
0 @>>> N @>{x-\alpha}>> N @>>>  N_{\alpha} @>>> 0 \\
\end{CD}
$$
we have a long exact sequence
$$
\mathrm{Ext}_{R[x]}^i(M,N) \overset{f_i}\rightarrow \mathrm{Ext}_{R[x]}^i(M,N) \to \mathrm{Ext}_{R[x]}^i(M,N_{\alpha}) \to \mathrm{Ext}_{R[x]}^{i+1}(M,N) \overset{f_{i+1}}\rightarrow \mathrm{Ext}_{R[x]}^{i+1}(M,N),
$$
where each $f_i$  is a multiplication mapping by  $x-\alpha$.
Since  $x-\alpha$ is a nonzero divisor on $M$, one can easily see that
$\mathrm{Ext}_{R[x]}^i (M, N_{\alpha}) \cong \mathrm{Ext} _R^i ( M_{\alpha}, N_{\alpha})$.
Thus it results the exact sequence
$$
0\longrightarrow \operatorname{coker} (f_i) \longrightarrow \mathrm{Ext} _R^i (M_{\alpha},N_{\alpha})\longrightarrow \operatorname{ker} (f_{i+1}) \longrightarrow 0.
$$
By the definition of specialization it is easy to verify that
$\operatorname{coker} (f_i) =  \mathrm{Ext}_{R[x]}^i (M,N)_{\alpha}$, and
$\operatorname{ker} (f_{i+1}) \cong \operatorname{Tor} _1^{k[x]} (\mathrm{Ext}^{i+1}_{R[x]}(M,N), k[x]/(x-\alpha))$
\end{proof}

Related to Conjecture (E) in Section 1, we are now able to the following theorem.

\begin{theorem}\label{k(x)}
Suppose that $k$ is an uncountable field and $R$ is a finite dimensional $k$-algebra of finite Ext-index.
Let $k(x)$  be a transcendental extension of $k$.
Then $R \otimes_k k(x)$ is also of finite Ext-index.
More precisely,  the inequality $\mathrm{Ext}\text{-}\mathrm{index} (R \otimes _{k} k(x)) \leq \mathrm{Ext}\text{-}\mathrm{index} (R)$  holds.
\end{theorem}

\begin{proof}
Set $b = \mathrm{Ext}\text{-}\mathrm{index} (R)$ and let $M'$ and $N'$ be finitely generated
$R\otimes_k k(x)$-modules satisfying  $\mathrm{Ext}_{R\otimes_k k(x)}^i(M',N')=0$ for $i\gg 0$.
We only have to show that $\mathrm{Ext}_{R\otimes_k k(x)}^i(M',N')=0$ for $i > b$.

Note that  $R \otimes _k k(x)$ is just a localization of  $R[x]$  by a multiplicatively closed subset  $k[x]\backslash \{0\}$.
Hence we can choose a finitely generated $R[x]$-submodule  $M$  of  $M'$  (resp. $N$ of $N'$) so that  $M \otimes_{k[x]}k(x) \cong M'$ (resp. $N \otimes_{k[x]}  k(x) \cong N'$).
Notice that  $x - \alpha$ acts on  $M$ and $N$ as a non-zero divisor for each $\alpha \in k$.

Since we have an isomorphism
$\mathrm{Ext}^i_{R\otimes_kk(x)}(M',N') \cong \mathrm{Ext}^i_{R[x]}(M,N) \otimes_{k[x]}k(x)$,
we see that $\mathrm{Ext} ^i_{R[x]}(M,N)\otimes_{k[x]}k(x)=0$ for $i\gg 0$.

On the other hand, since $R$ is a finite dimensional $k$-algebra,
each module  $\mathrm{Ext} _{R[x]} ^i (M, N) \ (i \geq 0)$  is a finitely generated $k[x]$-module.
Hence it has a decomposition as a $k[x]$-module as follows:
$$
\mathrm{Ext}^i_{R[x]}(M,N) \cong \bigoplus_{j=1}^{s_i} k[x]/ (f_{ij}(x)) \oplus  k[x]^{r_i},
$$
where $f_{ij}(x) \neq 0 \in k[x]$.

Since $\mathrm{Ext}^i_{R[x]}(M,N) \otimes_{k[x]} k(x)$ are vanishing for $i\gg 0$, we have $r_i=0$ for $i\gg 0$.
Since there are only countably many equations  $f_{ij}(x)$, we can find   an element  $\alpha\in k$ with the property $f_{ij}(\alpha)\neq 0$ for all $i, j$.
Then,  since $x-\alpha$ acts bijectively on $k[x]/(f_{ij}(x))$,
we see that  $\operatorname{Tor}_1^{k[x]}( \mathrm{Ext} ^{i+1}_{R[x]} (M,N), \ k[x]/(x-\alpha))=0$ for all $i$.
And we see as well that  $\mathrm{Ext}^i_{R[x]} (M,N)_{\alpha}=0$ for $i\gg 0$.
Therefore the previous lemma implies that  $\mathrm{Ext}^i_R(M_{\alpha},N_{\alpha})=0$ for $i\gg 0$.
Thus, by the definition of Ext-index,  we have $\mathrm{Ext} ^i_R(M_{\alpha}, N_{\alpha})=0$ for all $i> b$.
Since $\mathrm{Ext}^i_{R[x]}(M,N)_{\alpha}$ is a submodule of $\mathrm{Ext}^i_R(M_{\alpha},N_{\alpha})$ by Lemma \ref{specialization lemma}, we have Ext$^i_{R[x]}(M,N)_{\alpha}=0$ for all $i> b$.
This implies that $r_i=0$ for $i> b$, which is equivalent to the vanishing
$
\mathrm{Ext}^i_{R[x]}(M,N)\otimes _{k[x]} k(x) = 0
$
for $i >b$.
\end{proof}

\begin{remark}\label{rem for Extgap}
Given an integer  $t \geq 1$, suppose there is a natural number $n$  with  $\mathrm{Ext}^i_R(M,N)=0$ for $n+1\leq i\leq n+t$ and Ext$^j_R(M,N)\neq 0$ for $j=n, n+t+1$.
In such a case we say that $\mathrm{Ext}_R(M,N)$ has a gap of length $t$.
Set
$$
\begin{aligned}
\mathrm{Ext}\text{-}\mathrm{gap} (R):=  \sup \{ t \in \mathbb{N} \ | \ &\text{there are finitely generated  $R$-modules  $M$ and $N$} \\
&\text{ such that  $\mathrm{Ext}_R(M,N)$ has a gap of length $t$} \}. \\
\end{aligned}
$$
The ring $R$ is called Ext-bounded if $\mathrm{Ext}\text{-}\mathrm{gap} (R) < \infty$.
We should remark from \cite[Theorem 3.4(3)]{HJ} that if  $R$  is a Gorenstein local ring that is Ext-bounded, then $R$  is of finite Ext-index.
\end{remark}

Keeping in mind this remark, we can prove the following statement completely in a similar way to the proof of Theorem \ref{k(x)}:

\begin{theorem}\label{Extgap}
Let  $R$  be a finite dimensional $k$-algebra where $k$ is an infinite field, and let  $k(x)$  be a transcendental extension of  $k$.
If  $R$ is Ext-bounded, then so is  $R\otimes_k k(x)$.
More precisely the inequality  $\mathrm{Ext}\text{-}\mathrm{gap} (R \otimes _k k(x)) \leq \mathrm{Ext}\text{-}\mathrm{gap} (R)$ holds.
\end{theorem}

\begin{proof}
Let  $M'$  and  $N'$  be finitely generated $R \otimes _k k(x)$-modules and suppose that $\mathrm{Ext} _{R \otimes _k k(x)} (M', N')$  has a gap of length $t$.
To prove  $t \leq \mathrm{Ext}\text{-}\mathrm{gap} (R)$, we use the same notation as in the proof of Theorem \ref{k(x)}.
First we can find finitely generated $R[x]$-modules $M$ and $N$ and an integer  $n$  satisfying $\mathrm{Ext} ^i_ {R[x]} (M,N) \otimes_{k[x]} k(x)=0$ for  $n+1 \leq i \leq n +t$ and  $\mathrm{Ext} ^j_ {R[x]} (M,N) \otimes_{k[x]} k(x)\not= 0$ for $j =  n, \ n +t+1$.
As in the proof of Theorem \ref{k(x)},
we decompose   $\mathrm{Ext} ^i_ {R[x]} (M,N)$  as $k[x]$-modules into direct sums of indecomposable ones,
 and we have a finite number of equations  $f_{ij}(x) \ (n+1 \leq i \leq n+t+1, \  1 \leq j \leq s_i)$.
Now we choose an element  $\alpha\in k$  that is not a zero of any of these polynomials.
Then, as in the same way as the proof of Theorem \ref{k(x)},  we can show  $\mathrm{Ext} ^i_R (M_{\alpha}, N_{\alpha})=0$  for $n+1 \leq i \leq n+t$.
Thus by definition we have  $t \leq \mathrm{Ext}\text{-}\mathrm{gap}{R}$.
\end{proof}

\begin{remark}\label{rem for zeta}
Let $R$ be a Cohen-Macaulay local ring with dualizing module.
As pointed out in \cite[Observation (4.1)]{CH}, by using  maximal Cohen-Macaulay approximations,  it is easy to see that $R$ is of finite Ext-index if and only if there exists an integer $b\geq 0$, depending only on $R$, such that $P^R(M,N)\leq b$ for all maximal Cohen-Macaulay $R$-modules $M$ and $N$  with  $P^R(M,N)<\infty$.
In fact, setting
$$
\begin{aligned}
\zeta(R)= \sup \left\{\right. p^R(M,N) \ | \ &\text{$p^R(M,N)<\infty$ where  $M$ and $N$ are } \\
 &\text{maximal Cohen-Macaulay $R$-modules} \left.\right\},
\end{aligned}
$$
we can show
$$
\zeta(R) \leq \mathrm{Ext}\text{-}\mathrm{index} (R) \leq \zeta (R) + d.
$$
Therefore  $R$  is of finite Ext-index if and only if  $\zeta (R) < \infty$.

Note that in the case that  $R$ ia a Gorenstein local ring,
we have the equality  $\mathrm{Ext}\text{-}\mathrm{index} (R) = \zeta(R)$.
\end{remark}

\begin{theorem}\label{zeta}
Let  $(R, \frak{m}, k)$ be a Cohen-Macaulay local ring of finite Ext-index.
Assume that $R$  possesses a dualizing module and that $R$  has an uncountable coefficient field $k$.
Then $R[x]_{\frak{m} R[x]}$ is of finite Ext-index as well.
More precisely, the inequality $\zeta (R[x]_{\frak{m} R[x]}) \leq \mathrm{Ext}\text{-}\mathrm{index} (R)$ holds.
\end{theorem}

\begin{proof}
It is known and is easily seen that  $R[x]_{\frak{m} R[x]}$  is also a Cohen-Macaulay  local ring with dualizing module.
We only have to show that $\zeta (R[x]_{\frak{m} R[x]}) \leq \mathrm{Ext}\text{-}\mathrm{index} (R)$.

Let $t = \mathrm{Ext}\text{-}\mathrm{index} (R)$, and assume that there are maximal Cohen-Macaulay $R[x]_{\frak{m} R[x]}$-modules  $M'$ and $N'$  such that  $\mathrm{Ext} ^i_{R[x]_{\frak{m} R[x]}} (M',N')=0$ for $i\gg 0$.
We shall show that this vanishing holds for all $i >t$.

As in the proof of Theorem \ref{k(x)},
we can find finitely generated $R[x]$-modules $M$ and $N$, such that $\mathrm{Ext} ^i_{R[x]_{\frak{m} R[x]}} (M',N') \cong \mathrm{Ext} ^i_{R[x]} (M,N)_{\frak{m} R[x]}$ for all $i$.
For simplicity we denote the  $R[x]$-module  $\mathrm{Ext} ^i_{R[x]} (M,N)$  by  $E^i$.  By Nakayama's lemma, it is easy to see that
that  $E^i_{\frak{m} R[x]}=0$  is equivalent to that $(E^i/\frak{m} E^i ) \otimes_{k[x]} k(x)=0$.

Note that each  ${E^i}/{\frak{m} E^i}$ is a finitely generated $k[x]$-module.
Hence, as in the proof of Theorem \ref{k(x)},  we have the decomposition as $k[x]$-modules into indecomposable modules:

$$
{E^i}/{\frak{m} E^i} \cong \bigoplus_{j=1}^{s_i} {k[x]}/(f_{ij}(x)) \oplus k[x]^{r_i},
$$
where  $f_{ij} \neq 0$ are irreducible polynomials of $k[x]$.
As before we can choose an element  $\alpha\in k$ so that $f_{ij} (\alpha) \neq 0$ for all $i, j$.
Since  $x-\alpha$ acts bijectively on $k[x]/(f_{ij}(x))$,
 we see that  $(E^i/{\frak{m} E^i})_{\alpha} = k ^{r_i}$  for $i$.
By the assumption, since  $r_i=0$  holds for $i\gg 0$,
we have  $({E^i}/{\frak{m} E^i})_{\alpha}=0$ for $i\gg 0$.

Note that  $({E^i}/{\frak{m} E^i})_{\alpha} \cong {E^i_{\alpha}}/{\frak{m} E^i_{\alpha}}$  holds by a trivial reason.
Thus it follows from Nakayama's lemma that  $E^i_{\alpha}=0$ for $i\gg 0$.
This means that $E^i\overset{x-\alpha}\longrightarrow E^i$ is bijective for $i \gg 0$.
Therefore we have $\operatorname{Tor} _1^{k[x]}\left( E^{i+1}, k[x]/(x-\alpha) \right) = 0$ for $i\gg 0$.

Hence  by Lemma \ref{specialization lemma}, $\mathrm{Ext} ^i_R ( M_{\alpha}, N_{\alpha})=0$  for $i\gg 0$, and thus  $\mathrm{Ext}^i_R (M_{\alpha}, N_{\alpha})=0$ for $i>t$, by the definition of  $t$.
Use Lemma \ref{specialization lemma}, and we have that $E^i_{\alpha}=0$ for all $i>t$.
In particular, $({E^i}/{\frak{m} E^i})_{\alpha}=0$ for $i>t$.
This means that  $r_i=0$ for  $i>t$ and hence  ${E^i}/{\frak{m} E^i} \otimes_{k[x]} k(x)=0$ for $i>t$, equivalently  $E^i_{\frak{m} R[x]} = 0$ for $i > t$.
This shows $\zeta(R[x]_{\frak mR[x]}) \leq t$ as desired.
\end{proof}

\begin{remark}
As in Remark \ref{rem for Extgap}, we can prove the following statement completely in the same way as the proof above:

\vspace{6pt}
{\it
Let  $(R, \frak{m}, k)$ be an Ext-bounded Cohen-Macaulay local ring admitting dualizing module.
Assume that $R$  has an infinite coefficient field $k$.
Then $R[x]_{\frak{m} R[x]}$ is also Ext-bounded.
}
\end{remark}

\bigskip

\begin{center} \textsc{Acknowledgments}
\end{center}

The whole work of this paper was done during the visit of the first author to Department of Mathematics of Okayama University.
The first author is grateful to Okayama University for its hospitality and facilities.

Commutative Algebra (math.AC); Rings and Algebras (math.RA)

On Ext-indices of ring extensions