\section{Preliminaries}
We work over an arbitrary algebraically closed field
and use Grothendieck's projective bundle convention.
In this section we collect some definitions and facts, mostly well known,
for later reference.
\subsection{Some numerology}\label{numerology-sec}
It is convenient to set, for fixed $d\leq n$,
\eqspl{qmax}{q_{\max}(e)=\lfloor\frac{e(n+1-d)-2}{n-2}\rfloor+1}
\eqspl{emin}{e_{\min}(q)=\lceil\frac{(q-1)(n-2)+2}{n+1-d}\rceil.}
Some trivial remarks:
\begin{itemize}\item
	For $d>3$ $e$ is point-minimal iff the remainder of $e(n+1-d)-2$ mod $n-2$ is
	$< {n+1-d}$\item
	$q_{\max}(e)-1$ is the round-down of the slope of the normal bundle of a rational
	curve $C$ of degree $e$  on a hypersurface $X$ of degree $d$ in $\mathbb P^n$, hence
	$q_{\max}(e)$ equals
	the maximum  (expected) number of general points
	that may lie on $C$ ,
	as well as the actual number of general points on a general $C$ if $C$ is balanced
	(note that a balanced curve is automatically unobstructed, hence lies on a unique
	smooth component of the Hilbert scheme of curves in $X$).
	\item Similarly $e_{\min}(q)$ is the minimum (expected) degree
	of a rational curve that may go through $q$ general points of $X$
	and the expected degree equals the actual degree iff $X$ is minimally $(q-1)$-connected.
	\item The two functions above are mutual 'sub' -inverses:
	If $d> 3$ then $\frac{n+1-d}{n-2}<1$ so by elementary arithmetic
	$q_{\max}(e_{\min}(q))=q$
	while $e_{\min}(q_{\max}(e))\leq e$, with equality iff $q_{\max}(e-1)<q_{\max}(e)$
	iff $e$ is of the form $e_{\max}(q)$ for some $q$ iff $e$ is point-minimal.
	\item Thus, if $X$ contains a balanced rational curve of degree $e$ which
	is point-minimal,
	then $X$ is minimally rationally $(q_{\max}(e)-1)$-connected
	(if $e$ is not point-minimal there may exist rational curves of degree $<e$
	through $q_{\max}(e)$ general points).\end{itemize}

\subsection{Fans}[cf. \cite{hypersurf}, sec. 4]
A 2-fan is a variety of the form $P_1\cup P_2$ where $P_1$ is a blowup
$B_p\mathbb P^n$ with exceptional divisor $E\simeq\mathbb P^{n-1}$ and $P_2=\mathbb P^n$,
so that $P_1\cap P_2$ is embedded as $E\subset P_1$ and as
a hyperplane in $P_2$. For every $d>e>0$ there is a very ample
divisor on $P_1\cup P_2$ which is $dH-eE$ on $P_1$ and $eH$ on
$P_2$, $H=$hyperplane. A divisor of this class is said to
be of type $(d, e)$.\par
A 2-fan is the special fibre $\pi^{-1}(0)$ in a relative 2-fan $\pi:\cP(2)\to \Bbb A^1$
which is just $B_{(p,0)}\mathbb P^n\times \Bbb A^1$, where $P_2$ is the exceptional divisor.
The divisor $p_1^*(dH)-eP_2$ induces a divisor of type $(d,e)$ on the special
fibre and $dH$ on other fibres.\par
Note that rather than blowup $(p,0)$ we can also blow up $\mathbb P^r\times 0$ for any
$r\leq n-2$.
This construction will be used in \S 1 below to give a proof of the balancedness of a
general rational curve of degree $e\geq n$ in $\mathbb P^n$,
and again in \S \ref{fang}.
\subsection{Subvarieties of fan(g)s}
This actually applies to any ambient variety with normal crossings and double points only.
Let
\[P=P_1\cup_Q P_2\]
be a transverse union of two smooth  $n$-dimensional varieties
meeting in a common smooth
divisor (e.g. a fan or fang, see \S \ref{fangs}). Let
\[X=X_1\cup_{Q_X}X_2 \subset P\]
be a subvariety consisting of smooth, codimension-$c$ subvarieties $X_i\subset P_i$
meeting $Q$ transversely in a smooth common divisor $Q_X\subset X_i, i=1,2$.
We have a Mayer-Vietoris sequence
\[\exseq{\mathcal O_P}{\mathcal O_{P_1}\oplus\mathcal O_{P_2}}{\mathcal O_Q},\]
and likewise for $X$.
Locally, $Q_X\subset Q$ is defined by equations $u_1,...,u_c$ which extend to defining
equations $u_i^j, i=1,...,c, j=1,2$ for $X_j, j=1,2$. Then $u_i^1$ and $u_i^2$ glue together
to a function $v_i$ on $P$ and $v_1,...,v_c$ constitute local defining equations
for $X\subset P$. In particular, $X\to P$ is lci and
\[\mathcal{ I}_{X/P}\otimes\mathcal O_{P_j}=\mathcal{ I}_{X_j/P_j}\]
so that for the conormal bundles
\[\check N_{X/P}\otimes\mathcal O_{X_j}=\check N_{X_j/P_j}, j=1,2,\]
and
\[\check N_{X/P}\otimes\mathcal O_{Q_X}=\check N_{Q_X/Q},\]
hence likewise for the normal bundles
\[ N_{X/P}\otimes\mathcal O_{X_j}= N_{X_j/P_j}, j=1,2,\]
and
\[ N_{X/P}\otimes\mathcal O_{Q_X}= N_{Q_X/Q},\]
which may be written suggestively as
\[N_{X/P}=N_{X_1/P_1}\cup_{N_{Q_X/Q}} N_{X_2\cup P_2}.\]
More generally, given coherent sheaves $E_i$ on $P_i$, $i=1,2$, together with
an isomorphism
\[E_1\otimes\mathcal O_Q\to E_2\otimes\mathcal O_Q\]
there is a uniquely determined coherent sheaf $E$ on $P$ restricting to $E_i$
on each $P_i, i=1,2$.
\subsection{Subvarieties of subvarieties of fan(g)s}\label{subsub-sec}
Notations as above, given a subvariety
\[C=C_1\cup C_2\subset X\]
where $C_1\subset X_1, C_2\subset X_2$ are smooth codimension-$c'$
subvarieties meeting $Q_X$  transversely in the same subvariety $Q_C$,
then $C$ is lci in $X$ with normal bundle
\[N_{C/X}=N_{C_1/X_1}\cup N_{C_2/X_2}\]
and we have an exact sequence
\[\exseq{N_{C/X}}{N_{C/P}}{N_{X/P}\otimes\mathcal O_C}.\]
Now suppose we have a smoothing, i.e. a flat family $\pi:\mathcal X\to T$ with
$\pi^{-1}(0)=X$ and smooth general fibre. Then there is an exact sequence
\[\exseq{N_{C/X}}{N_{C/\mathcal X}}{N_{X/\mathcal X}|_C}\]
with  $N_{X/\mathcal X}$ a trivial bundle. If $H^1(N_{C/X})=0$ and $H^1(\mathcal O_C)=0$
(e.g. $C$ is a rational tree), then $H^1(N_{C/\mathcal X})=0$ and
$H^0(N_{C/\mathcal X})\to H^0(N_{X/\mathcal X}|_C)$ is surjective.
This means that $C$ is unobstructed as subvariety of either $X$ or $\mathcal X$
and deforms along with the smoothing $\mathcal X$. Clearly the general fibre
of the deformation of $C$ is smooth. Moreover given smoothings
\[\mathcal C/T\subset\mathcal X/T,\]
$\mathcal C$ is lci in $\mathcal X$ and its equations restrict to to equations of $C$ on
$X$, hence
\[N_{\mathcal C/\mathcal X}\otimes\mathcal O_C=N_{C/X}.\]

\subsection{Reducible normal bundles}\label{reducible-sec}
Normal bundles to reducible varieties in a smooth ambient space behave differently
to the case of a reducible ambient space:
\begin{lem}
	Let $P$ be a smooth $n$-dimensional variety and $X_1, X_2\subset P$ smooth codimension-$c$
subvarieties such that $Y=X_1\cap X_2$ is a smooth divisor in each. Let $X=X_1\cup X_2$. Then
$X$ is lci in $P$ and there are exact sequences
\[\exseq{\check N_{X/P}\otimes\mathcal O_{X_1}}{\check N_{X_1/P}}{\check N_{Y/X_2}},\]
\[\exseq{N_{X_1/P}}{N_{X/P}\otimes\mathcal O_{X_1}}{N_{Y/X_1}\otimes N_{Y/X_2}}.\]
\end{lem}
\begin{proof}
Locally, $X$ has defining equations of the form
\[u_1,...u_{c-1}, u_c^1u_c^2\]
where $u_1,...,u_{c-1}, u_c^1$ are defining equations for $X_1$ and $u_c^2$
 is an equation for $Y$ on $X_1$ resp. $X_2$. This shows exactness of the
 first sequence, and the second is just its ext-dual.
	\end{proof}
Thus, unlike in the case $P$ reducible,
the conormal $\check N_{X/P}$ (resp. normal $N_{X/P}$) restricts on $X_i$ to a
rank-1 elementary down (resp. up) modification of $\check N_{X_i/P}$ (resp. $N_{X_i/P}$)
(see \S \ref{modifications-sec}).
\begin{example}
	Suppose $X_1, X_2$ are smooth curves meeting transversely in a point $Y$.
	Then we have an exact sequence
	\[\exseq{N_{X_1/P}\oplus N_{X_2/P}}{ N_{X/P}} {T^1_X}\]
where $T^1_X$ is a 1-dimensional vector space skyscraper  at $Y$, which yields
	\[0\to \carets{v_i}\to N_{X_i/P}|_Y\stackrel{j_i}{\to} N_{X/P}|_Y\to T^1_X\to 0 \]
	where $v_1, v_2$ are tangent vectors to $X_2, X_1$ respectively at $Y$
	and $q_1, q_2$ are 1-dimensional vector spaces.
	Thus the images of $j_1, j_2$ are the same and correspond to locally trivial
	local deformations of $X$, i.e. the kernel of the natural map
	$N_{X/P}|_Y\to T^1_X$.
	\end{example}
\subsection{Balanced bundles}\label{balanced}\footnote{Notation here
differs slightly from the introduction} See \cite{hypersurf} for more details.
A balanced bundle $E$ or rank $r$ on $\mathbb P^1$ has the form
\[E=r^+\mathcal O(a^+)\oplus (r-r^+)(\mathcal O(a^+-1), r^+>0,\]
where the uniquely determined subbundle $r^+\mathcal O(a^+)$ is called the upper subbundle
and its rank and slope are called the upper rank and degree, respectively.
We have $r^+=r$ iff $E$ is a twist of a trivial bundle.
Note that the smaller line bundle degree appearing above (i.e. $a^+-1$ if
$r^+<r$, otherwise $a^+$) equals the round-down of the slope,
i.e. $\lfloor\deg(E)/r\rfloor$, and that $H^1(E(-t)=0$ iff $t\leq\lfloor\deg(E)/r\rfloor+1$.
The fibre of the upper subbundle at a point $p$,
which is a subspace of the fibre $E_p=E\otimes k(p)$, is called the
upper subspace at $p$.\par
Balancedness of $E$ is equivalent to rigidity, i.e. vanishing of
$H^1(\check E\otimes E)$, and in particular it is an open property.\par
We could define a bundle $E$ on a rational \emph{chain} $T$ to be balanced if its
restriction on any connected subtree is a direct sum
of line bundles of total degree $a^+$ or $a^+-1$.
This condition is satisfied whenever the restriction of $E$
on any component of the chain is balanced and the gluing at the nodes is
general (\cite{hypersurf}, Lemma 2). It implies
that in any smoothing of $(T,E)$, the general fibre is balanced
(see \cite{hypersurf}, Lemma 5). A different approach to smoothing
is given in \S \ref{caudate} below.
\subsection{Modifications} \label{modifications-sec}
Given a vector bundle $E$ on a variety
$X$, a Cartier divisor $D$ on $X$, and an exact sequence
of locally-free $\mathcal O_D$-modules, where $E_D$ denotes $E\otimes\mathcal O_D$,
\[\exseq{P}{E_D}{Q},\]
the \emph{ elementary down modification} of $E$ corresponding
to $Q$ is an exact sequence
\[\exseq{M_Q(E)}{E}{Q}.\] Then $M_Q(E)$ is a locally free $\mathcal O_D$-module and
fits in another exact sequence
\[\exseq{E}{M_Q(E)(D)}{P\otimes\mathcal O_D(D)}.\]
For the restrictions on $D$, we also have exact
\[0\to P\to M_Q(E)_D\to E_D\to Q\to 0.\]
Locally, if $t$ is an equation for $D$,
then there is a local basis $x_1,...,x_r$ of $E$ such that
$x_1,...,x_{s}, tx_{s+1}, ...,tx_r$ is a local basis of $M_Q(E)$
while $x_1/t,..., x_s/t, x_{s+1},..., x_r$ is a local basis for $M_Q(E)(D)$.
Note in our applications $Q$ will have constant rank but this is not required.\par

Set $M^P(E):=M_Q(E)(D)$, called the \emph{elementary up modification} of
$E$ corresponding to $P$. For restriction on $D$, we have an exact sequence
\[\exseq{Q\otimes\mathcal O_D(-D)}{M_Q(E)\otimes\mathcal O_D}{P}.\]
\par
A \emph{modification} of $E$ is the composition of a sequence of elementary down and
elementary up modifications.
These constructions apply in particular to the case of a bundle $E$ on a
curve $C$, in which case a modification may be realized as the composition
of a single down and a single up modification (or vice versa).
For an elementary modification, corresponding to a smoothly supported reduced divisor
$D=\sum p_\ell$ on $C$,  $P$ and $Q$
are just a sub and quotient vector space of $E_D=\bigoplus E\otimes k(p_\ell)$.
If $D$ is supported on a unique component $F$ of $C$
and $E$ restricted on  $F$ is balanced,
the modification is said to be in general position (resp. general)
if the induced map from the upper subbundle (see \S \ref{balanced})
\[E_F^+\otimes \mathcal O_D\to Q\] has maximal rank (resp. is general). In that case it is easy to check,
setting $s=\text{rk}(Q)$,
that $M_Q(E)|_F$ is also balanced, with upper rank $r^+-s$ if $r^+>s$
or $r+r^+-s$ if $r^+\leq s$. See Lemma \ref{mod} below for a more general result.\par
Unless otherwise stated, all elementary modifications we use in the curve case will be
of the pointwise variety.
A pointwise elementary down (resp. up) modification of colength $s$
 of a bundle  $E$ on a  curve $C$  is just an inclusion $E'\subset E$
 (resp.  $E\subset E"$)
such that $E/E'\simeq sk(p)$ (resp. $E"/E\simeq sk(p)$) for some smooth point $p\in C$.  \par
\begin{lem}\label{mod-lem}
	Let $E$ be a balanced bundle with upper rank $r^+$ and upper degree $a^+$,
	and let $E'\subset E$ be
	a sufficiently general elementary modification of colength $s$.Then
	if $s<r^+$, we have
	\[r^+(E')=r^+-s, a^+(E')=e^+(E).\] Otherwise,
	\[r^+(E')=r+r^+-s, a^+(E')=a^+-1.\]
\end{lem}
\begin{proof}
	This follows easily from the fact that the induced map
	$E'(p)\to sk(p)$ has maximal rank by generality (here and elsewhere,
	$sA$ where $s\in\mathbb N$, denotes $\bigoplus\limits_1^sA$ wherever this makes sense).
\end{proof}
\subsection{Blowing up normal bundles}
Elementary modifications occur often in the geometry of embedded curves.
One example is the following standard result which to save notation
we have stated just for a curve $C$ but with evident modifications is equally valid
for $C$ any lci subvariety (which will naturally get blown up in the blowup
of $X$).
\begin{lem}\label{blowup-lem}
	Let $C$ be a lci curve on a smooth variety $X$ and let $Y$ be a lci
	of codimension $s$ in $X$ meeting $C$ schematically in a
	unique point $p$ smooth on $C$.
	Let $\pi:X'\to X$ be the blowup of $Y$ with exceptional divisor $E$
	and let $C'$ the birational transform of $C$
	on $X$. Then \par
	(i) $N_{C'/X'}$ is the elementary down modification
	of colength $s-1$
	of $N_{C/X}$ corresponding to the image of $T_pY$ in $N_{C/X}(p)$.\par
	(ii) Under the natural identification of $(N_{C'/X'})_p$ with $T_pE$,
	the kernel of the map $(N_{C'/X'})_p\to (N_{C/X})_p $ coincides with the vertical subspace of
	$T_pE$, i.e. the tangent space to the fibre of $E\to Y$.
	\end{lem}
\begin{proof}For convenience we work with conormal bundles denoted $\check N_{C/X}$ etc.
	If $\pi:X'\to X$ denotes the blowup map, $\pi^*\check N_{C/X}$ is clearly
	a subsheaf of $\check N_{C'/X'}$ and coincides with it locally off $p$,
	so it suffices to identify the image at $p$.
	We can choose local coordinates at $p$ of the form
	$y, x_1, ...,x_{s-1}, x_{s},..., x_n$ so that
	$y$ defines $p$ on $C$, $x_1,...,x_n$ define $C$ and
	$y, x_1,...,x_{s-1}$ define $Y$. Then $x_1,..., x_n$ yield a local basis for
	$\check N_{C/X}$ while, in a suitable affine open in $X'$
	containing $C'$ with coordinates $y, x_1/y, ...,x_{s-1}/y, x_s,...,x_n$,
	a basis for $\check N_{C'/X'}$ is $x_1/y,...,x_{s-1}/y, x_s,...,x_n$.
	This proves the dual statement for conormals which is
	equivalent to assertion (i).\par
	As for (ii), it follows from the above computation or,
	just as  well, from the diagram
	\[
	\begin{matrix}
	T_pE&\simeq&(N_{C'/X'})_p\\
	\downarrow&&\downarrow\\
	T_pY&\simeq& (N_{C/X})_p.
	\end{matrix}
	\]

	\end{proof}

\section{Bundles on caudate curves}\label{caudate}
The purpose of this section is to prove a general and elementary result about smoothing
of vector bundles on curves endowed with multiple tails. This result
permits construction of some balanced vector bundles on rational curves and in particular
to prove the existence of some balanced rational curves.
The result is stated in much greater generality than is needed
for the applications to minimal rational curves given in this paper, in the hope that
it might enable further such applications.
See also \cite{coskun-scrolls}, \cite{smith-rat-trees}, \cite{ran-normal}, \cite{hypersurf}  for other results
on bundles on rational trees.
\par
By definition, a \emph{rational tree} is a nodal curve that is a tree of smooth
rational curves. A \emph{broken comb} is a connected nodal curve of the form
\[ C=B\cup \bigcup T_i\]
where $B$, the \emph{base} (aka the body), is a connected
nodal curve and each \emph{tooth} (aka tail) $T_i$ is a rational tree
meeting $B$ in a unique smooth
point called its \emph{root} and meeting no other $T_j$. A broken comb is \emph{rational}
if $B$ is a rational tree. A \emph{rational comb} is a rational broken comb that is unbroken,
i.e. where $B$ and each $T_i$ are $\simeq\mathbb P^1$.\par
Unlike the irreducible case, or for that matter the case of
rational \emph{chains}- see \cite{hypersurf}-
even nice bundles on rational combs need not split
as direct sums of line bundles. The following example is essentially taken from
\cite{ran-normal}.
\begin{example}\label{comb}
	Let $C=B\cup\bigcup\limits_{i=1}^t T_i$
	be a  rational comb and let $E$ be a vector bundle on $C$
	whose restriction on each $T_i$ is isomorphic to $\mathcal O\oplus \mathcal O(-1)$,
	with $E_B$ arbitrary and  general gluing at nodes.
	Then $h^0(\check E\otimes E)\geq t\ $ hence, if $t\geq 5$, then
	$h^0(\check E\otimes E)>4=\chi(\check E\otimes E)$, therefore
	$h^1(\check E\otimes E)>0$. Consequently, $E$ is not  balanced
	and in fact not a direct sum of line bundles. Nonetheless, as we shall see below in Example \ref{comb2},
	 Theorem \ref{main-thm} below applies to $E$, showing that a smoothing of $E$ is a deformation
	of a general down modification of $E_B$ at the nodes, hence is as well-behaved as possible.

\end{example}
 If $E_C$ is a bundle on a curve $C$, by a
\emph{smoothing} of $(C, E_C)$ is meant an irreducible surface $S$ endowed with a flat map to a smooth curve
$S\to T$ with smooth general fibre and special fibre $C$, plus a vector bundle $E$ on $S$
that restricts to $E_C$ on $C$. Similarly, for a  subset $A\subset C$, a \emph{partial
	smoothing} at $A$ assumes only that there is a neighborhood $U$ of $A$ on $S$
such that the intersection of the general fibre with $U$ is smooth.
\begin{thm}\label{main-thm}
	Let $C=B\cup\bigcup T_i$ be a broken comb with teeth
	$T_1,...,T_k$ and respective roots $p_1,...,p_k$
	and let $E_C$ be a vector bundle on $C$.
	Assume\par (i) on each component of each $T_i$, $E_C$ is balanced;\par
	and for each $T_i$ either\par
	(ii) the gluing at each node $q$ of $C$ on $T_i$ of
	the restrictions of $E_C$ on the components of $C$ through $q$  is general; or\par
	(ii)' the restriction of $E_C$ on  $T_i$ is a twist of a trivial bundle,
	i.e. has the form $\mathrm{(vector\  space)}\otimes\mathrm{(line\  bundle)}$.\par
	Then any partial smoothing of $(C, E_C)$ at $\bigcup T_i$ is the pullback by a birational map of a deformation
	of a general modification of some twist $E_B\otimes\mathcal O_B(\sum m_ip_i)$ at $p_1,...,p_k$.
\end{thm}
\begin{rem}
	Here the genus of $C$ is arbitrary but in applications it will be zero.
	In fact, the only case used here is that of a rational comb, i.e. where $B$ and each $T_i$
	are $\mathbb P^1$.\par
	\end{rem}
\begin{rem}
 Note that the Theorem applies an \emph{arbitrary} 1-parameter
	partial smoothing rather than just
	a 'sufficiently general' one or, for that matter, a multi-parameter smoothing
	dominating a versal deformation of the curve, where the nodes smooth independently.
	This feature  is crucial for applications to curves on fans
	because when the curve smooths together with the fan, the nodes lying on the
	fan's double locus smooth \emph{simultaneously}, so this smoothing of the curve is
	never general.
\end{rem}

\begin{proof}[Proof of theorem]
	Given a partial smoothing $(E, S)$, we first resolve all singularities of the surface
	$S$ lying on
	$\bigcup T_i$ to obtain a smoothing with  total space that is smooth in a neighborhood
	of the preimage of $\bigcup T_i$, this at the cost
	of  augmenting the $T_i$ by some further rational trees $K_j$
	on which $E$
	is trivial.  Suitably refreshing notation, we have a
	fibred surface $\pi:S\to B$ with \[\pi^{-1}(0)=B\cup\bigcup T_i\cup\bigcup K_j\]
	such that $S$ is smooth along $\bigcup T_i\cup\bigcup K_j$,
	and such that each restriction  $E_{T_i}$  balanced
	and each $E_{K_j}$ is trivial. Moreover, each ${K_j}$ meets
	$B\cup\bigcup T_i$ in exactly 2 points $p'_j, p"_j$ at most one of which is on $B$.
	Notice, writing $E_{K_j}=U\otimes\mathcal O_{K_j}$ and $Z', Z"$ for the other components
	through $p'_j, p"_j$ respectively, the identification of $E_{p_j'}$ and $E_{p"_j}$ with
	$U$ is general and in particular the upper subspaces of $E_{Z'}$ at $p_j'$
	and $E_{Z"}$ ar $p"_j$, considered as subspaces of $U$, are in general position.\par
	Now the proof is an inductive procedure on the  irreducible components of
	the 'multitail' $\mathcal T= \bigcup T_i\cup\bigcup K_j$,
	proceeding 'inward' towards $B$, where each step eliminates by contraction
	an extremal component. The procedure works separately for each $T_i$ and we will
	work on a $T_i$ for which (ii) above holds as the case of (ii)' is similar and simpler.
	We start with the initial step, which is essentially identical
	to the inductive step. Let $F$ be an extremal component of $\mathcal T$, i.e.
	$F$ meets the rest of the curve in a single point $p$, hence $F$ is a $(-1)$
	curve (initially $F$ must be a component of some $T_i$ but this is unimportant).
	By assumption we can write
	\[E_F\simeq r^+\mathcal O_F(d^+)\oplus (r-r^+)\mathcal O_F(d^+-1).\]
	Replacing $E$ by its twist $E(d^+F)$, we may assume $d^+=0$. Now
	if $r^+=r$, i.e. $E_F$ is a twist of a trivial bundle, we may as well
	assume $E_F\simeq r\mathcal O_F$.
	If $r^+<r$, perform an elementary modification on $E$ corresponding to the quotient
	\[E\to (r-r^+)\mathcal O_F(-1).\]
	 This modification yields a subsheaf $E'\subset E$, equal to $E$
	off $\pi^{-1}(0)$, with $E'_F\simeq r\mathcal O_F$. Moreover if $F^*$ is the unique other component
	of $\pi^{-1}(0)$ through $p$ then $E'_{F^*}$ is the elementary modification of $E_{F^*}$ at $p$
	corresponding to the corresponding pointwise quotient of vector spaces
	\[E(p)\to (r-r^+)\mathcal O_F(-1)(p).\]
	Furthermore, if $G$ is the subcurve of $\pi^{-1}(0)$
	complementary to $F\cup F^*$ then $E'_G=E_G$.\par
	 Now if the aforementioned
	 $F^*$ is a component of some $T_i$ then by our general gluing hypothesis,
	$E'_{F^*}$ is balanced and its upper subspace at all nodes on $F^*$, being a sum or intersection
	of 2 general subspaces (compare Lemma \ref{mod-lem}), is general. \par
	In the other case, $F^*$ is a component
	of some $K_j$ which meets $B\cup\bigcup T_i$ in another point $p'=K_j\cap F^{**}$
	where $F^{**}$ is a component of $B\cup\bigcup T_i$
	and by general gluing plus the fact that $E_{K_j}$ is a trivial bundle $U\otimes_\mathbb C\mathcal O_{K_j}, U\simeq\mathbb C^r$,
	 ensures as above that
	$(E_F)^+(p)$ and $(E_{F^{**}})^+(p')$, as subspaces of $U$, are general and meet
	transversely. In particular, $E'_{F^*}$ is balanced.

	\par
	Next, we blow down $F$. Consider the standard exact sequence
	\[\exseq{E'\otimes\mathcal O_F(-(r+1)F)}{E'\otimes(\mathcal O_S/\mathcal O_S(-(r+1)F))}{E'\otimes (\mathcal O_S/\mathcal O_S(-rF))}.\]
	Using the fact that $E'_F=r\mathcal O_F$ and
	 $\mathcal O_F(-F)=\mathcal O_F(1)$ it follows easily that if $\hat F$ denotes the
	formal completion of $S$ along $F$, then \[E'\otimes \mathcal O_{\hat F}\simeq r\mathcal O_{\hat F}.\]
	Consequently if we let $f:S\to S_1$ denote the blowing down of the $(-1)$ curve $F$,
	then by the formal function theorem
	$f_*(E')$ is locally free near $q=f(F)$ (also $R^1f_*(E')=0$).
	Hence is we let
	\[E_1=f_*(E')\] then , identifying the general fibre $Y$ of $S/B$ and $S_1/B$,
	we have $(E_1)_Y\simeq E'_Y$. Thus we get a modified family with similar properties whose special
	fibre has a smaller multitail, and we may continue the process until there is no multitail,
	which is the desired family.

\end{proof}
\begin{rem}
Regarding the meaning of 'general gluing' in terms of the inductive procedure in the proof.
This proceeds 'from the outside in' (i.e. toward the 'spine' $B$).
	In practice, general gluing at a node $q$ lying on an 'outer' component $F$
	and an 'inner' one $F^*$ means that
	the upper subspace of $E_{F^*}$ at  is transverse to the 'distinguished subspace' of
	$E_F$ at $p$, the latter being the upper subspace  of a modification of the original $E_F$
	previously constructed in the course of the proof, which has to do with upper subbundles
	on components 'further out' than $F$. It is possible that $E_{F^*}$ is a twist
	of a trivial bundle, so its upper subspace is all of $E_p$, but after the next modification
	of $E$ the resulting bundle will generally be nontrivial on $F^*$.
\end{rem}
\begin{rem}
	Similar results in the case of a rational chain, rather than broken comb, or a comb with few teeth
	are given in \cite{hypersurf}, \S 1.
	\end{rem}
\begin{cor}\label{tree-cor}
	Let $T$ be a rational tree and let $E_T$ be a vector bundle on $T$
	such that for each component $S$ of $T$ either\par
	(i) the restriction $E_S$ is balanced and the gluing at each node
	on $S$ is general; or\par
	(ii) $E_S$ is a twist of a trivial bundle.\par
	 Then any smoothing of $(T, E_T)$ has balanced general fibre.
\end{cor}
Note that by Example \ref{comb2} below,
it is possible under the hypotheses of the Corollary  to have
$h^1(\check E_T\otimes E_T)>0$, a condition which for $\mathbb P^1$ is equivalent
to non-balancedness.
The Corollary may be used in lieu of Lemma 2 or Lemma 7 of \cite{hypersurf}
to show existence of some  balanced rational curves of low degree $e$
on general Fano hypersurfaces
of degree $d\leq n$, and will be used for a similar purpose in \S 3 below
for the case $d=n$ and $e\geq n-1$.
\begin{cor}
	Let $f:X\to S$ be a proper flat family of nodal-or-smooth curves
	with general fibre isomorphic to  $\mathbb P^1$, over an irreducible variety $S$.
	Let $\partial S\subset S$ be the locus of singular fibres.
	Let $E$ be a vector bundle on $X$. Suppose that $T:=f^{-1}(s_0)$ together with
	$E_T$ satisfy the hypotheses of Corollary \ref{tree-cor}. Then
	there is a neighborhood $U$ of $s_0$ in $S$ such that for every $s\in U\cap(S\setminus\partial S)$,

	$E_{f^{-1}(s)}$ is balanced; equivalently,
	\[\mathrm{supp}(R^1f_*(\check E\otimes E))\cap U\subset \partial S\cap U.\]
\end{cor}
The Corollary is interesting because it applies in situations where
standard semi-continuity fails because, with the
above notation, one has $H^1(\check E_T\otimes E_T)\neq 0$- see Example \ref{comb} below.
Then we conclude that $R^1f_*(\check E\otimes E)$ is nontrivial and
locally supported on the boundary.
\par
Returning to the general situation of the Theorem,  it actually
implies more, namely to the effect that, when nontrivial modification
get involved, a general smoothing
of $(C, E)$ is 'better behaved' than $E_B$. To make this precise,
it is convenient to use the language
of partitions. Suppose $E$ is a vector bundle on $\mathbb P^1$of the form

\[ E\simeq\bigoplus\limits_{i=1}^sr_i\mathcal O(d_i),\ \  d_1>d_2>...>d_s.\]
The subbundles
\[E_j=\sum\limits_{i=1}^j r_i\mathcal O(d_i)\]
are canonically defined and form the Harder-Narasimhan filtration of $E$:
\[E_1\subset E_2\subset....\subset E_s=E.\]
We associate to $E$ the partition $\Pi(E)$ with blocks of height $d_i$
and width $r_i$,
$i=1,...,s$ and total width $r$.
These partitions are lexicographically ordered via
the degree sequence $(d_i)$ and if $E'$ is a general
member of a deformation of $E$ then \[\Pi(E')\leq\Pi(E).\] Given  a partition $\Pi$
of degree $d$ and width $r$ and an integer $k$, the \emph{elementary modification}
of type $k$ of $\Pi$, denoted $M_k(\Pi)$,
is the lexicographically smallest partition $\Pi'$ of width $r$ and degree $d+k$,
such that \[\Pi'=\Pi \ \ \mathrm{if}\ \  k=0,\]  \[  \Pi'\supset \Pi, \ \ \mathrm{if}\ \  k>0,\ \ \] and
\[ \Pi'\subset\Pi, \ \ \mathrm{if}\ \  k<0.\]
One way to define $M_k(\Pi)$  is inductively as $M_1(M_{k-1}(\Pi))$ ($k>0$)
or $M_{-1}(M_{k+1}(\Pi))$ ($k<0$),
where $M_1(\Pi)$ (resp. $M_{-1}(\Pi)$) replaces the first (resp. last)
column of height $d_r$ (resp. $d_1$) by a
column of height $d_r+1$ (resp. $d_1-1$).
\par
A  modification corresponding to  $E\to Q=\bigoplus\limits_{\ell=1}^t Q_{p_\ell}$
supported on $D=\sum p_\ell$ is said to be
\emph{in general position} if for each $i$ the induced map
\[E_{i}\otimes\mathcal O_D\to Q\] has maximal rank.
\begin{lem}\label{mod} If $E'$ is an elementary modification in general position of $E$
	(up or down, at one or more points),
	and \[\deg(E')=\deg(E)+k\] then \[\Pi(E')=M_k(\Pi(E)).\]
\end{lem}
\begin{proof}It suffices  treat the case of a down modification. Let $j$
	be smallest such that $E_j\otimes\mathcal O_D\to Q$ is surjective. Then there is
	an exact sequence
	\[\exseq{\bigoplus\limits_{i<j}r_i\mathcal O(d_i-1)\oplus r'_j\mathcal O(d_j-1)}{E'}{(r_j-r'_j)\mathcal O(d_j)
		\oplus\bigoplus\limits_{i>j}r_i\mathcal O(d_i)} \]
	with $r_1+...+r_{j-1}+r'_j=\ell(Q)$, $0<r'_j\leq r_j$.
	Such a sequence automatically splits and this suffices to imply that $E'$ has the
	desired partition.
\end{proof}
Therefore the Theorem implies (compare \cite{hypersurf}, Lemma 7):
\begin{cor}
	Assumptions as in the Theorem, if
	$B\simeq\mathbb P^1$ and
	$(C', E')$ is a smoothing of $E$ then
	$\Pi(E')\leq M_k(\Pi(E_B))$, where $k=\sum\deg(E_{T_i})$.
\end{cor}

\begin{example}\label{comb2}[Example \ref{comb} revisited]
	Notations as in Example \ref{comb}, Theorem \ref{main-thm} applies to $E$, showing that a smoothing $E'$ of $E$ is a deformation
	of a general down modification of $E_B$ at the nodes.
	Consequently, if $E_B\simeq\mathcal O(a_1)\oplus\mathcal O(a_2)$ then $E'\simeq \mathcal O(b_1)\oplus\mathcal O(b_2)$
	with $|b_1-b_2|\leq\max(|a_1-a_2|-t, 1)$. Informally, attaching an $\mathcal O\oplus\mathcal O(-1)$ tail
	works like an elementary down modification.

\end{example}

\section{Curves in projective space}\label{pn}
Here as a warmup for fan-like methods we will prove the well-known fact
(see \cite{ran-normal} for a longer proof ):
\begin{prop}\label{pn-prop}
	A general rational curve of degree $e\geq n$ in $\mathbb P^n$ is balanced.
	\end{prop}

\begin{proof}
	\ul{Case 1}: a rational normal curve $C\subset \mathbb P^n$.\par
	 We must show $N_{C/\mathbb P^n}=(n-1)\mathcal O(n+2)$.\par
	\emph{Proof 1}: We work inductively, the cases $n=1, 2$ being easy.
	Degenerate $C$ to $C_0=C'\cup_p L$ where $C'\subset\mathbb P^{n-1}$
	is rational normal and $L$ is a transversal line. See the discussion
	in \S \ref{reducible-sec}.
	By induction, we have $N_{C'/\mathbb P^{n-1}}=(n-2)\mathcal O(n+1)$. The natural exact sequence
	\[\exseq{N_{C'/\mathbb P^{n-1}}}{N_{C'/\mathbb P^n}}{\mathcal O(1)|_{C'}}\]
	splits because $C'$ is the intersection of a minimal scroll in $\mathbb P^n$ with $\mathbb P^{n-1}$,
	hence \[N_{C'/\mathbb P^n}=(n-2)\mathcal O(n+1)\oplus\mathcal O(n-1).\]
	Then $N_{C_0/\mathbb P^n}|_{C'}$ is the rank-1 elementary up modification
	of $N_{C'/\mathbb P^n}$ at $p$ corresponding to $T_pL$ which is not tangent to $\mathbb P^{n-1}$, hence
	  \[N_{C_0/\mathbb P^n}|_{C'}=(n-2)\mathcal O_{C'}(n+1)\oplus\mathcal O_{C'}(n),\] with upper subbundle
	  $N_{C'/\mathbb P^{n-1}}=(n-2)\mathcal O_{C'}(n+1)$.
Similarly,
\[N_{C_0/\mathbb P^n}|_L=\mathcal O_L(2)\oplus (n-2)\mathcal O_L(1).\]
Now the natural maps
\[i_1: N_{C'/\mathbb P^n}\to N_{C_0/\mathbb P^n}, i_2: N_{L/\mathbb P^n}\to N_{C_0/\mathbb P^n}\]
have the same codimension-1 image at $p$, namely the subspace corresponding to local
locally-trivial deformation of $C_0$. The image of $i_1(p)$coincides with the upper subspace
of $N_{C_0/\mathbb P^n}|_{C'}$ at $p$, coming from the $(n-2)\mathcal O(n+1)$ (unique) subbundle.
On the other hand the upper subspace of $N_{C_0/\mathbb P^n}|{L}$, coming from the $\mathcal O(2)$,
is clearly not in the image of $i_2(p)$.
Since the images of $i_1(p)$ and $i_2(p)$ coincide, it follows the respective upper
	subspaces at $p=C'\cap L$  are different, i.e.  in general position, so
	$N_{C_0/\mathbb P^n}\simeq (n-1)\mathcal O_{C_0}(n+2)$.
	\par
\emph{Proof 2} (char. 0 ?):	The normal bundle $N=N_{C/\mathbb P^n}$ has
 degree  $(n-1)(n+2)$ and rank $n-1$.
		Textbooks (\cite{harris-ag} or\cite{griffiths-harris} p.12) show that
		there is a unique $C$ through $n+3$ general points. Carefully examining this construction
		(or else using char. 0) shows that the locus of rational normal curves through $n+3$
		general points is a reduced singleton.
		Consequently, this locus has trivial tangent space, i.e.
		$H^0(N(-\sum\limits_{i=1}^{n+3}p_i))=0$.
		Hence $N$ contains no line bundle of degree $n+3$ or more, so
		$N\simeq (n-1)\mathcal O(n+2)$. \par
		\ul{Case 2}:
		 $n<e<2n$.\par
		  Consider the blowup $\cX$ of $\mathbb P^n_1\times\Bbb A^1$
		in $\mathbb P^{e-n}_1\times 0$ ($\mathbb P^a_b$ is a copy of $\mathbb P^a$),
		with natural map $\pi:\cX\to\Bbb A^1$. Then
		\[\pi^{-1}(0)=X_1\cup X_2,\]
		where
		\[X_1=B_{\mathbb P^{e-n}_1}\mathbb P^n_1, X_2=B_{\mathbb P^{2n-e-1}_2}\mathbb P^n_2, Z:=X_1\cap X_2=
		\mathbb P^{e-n}_1\times\mathbb P^{2n-e-1}_2.    \]
		($\mathbb P^n_1, \mathbb P^n_2$ are copies of $\mathbb P^n$ and likewise for their subspaces.)
		Let $C'_1\subset X_1, C'_2\subset X_2$ be respective
		proper transforms of curves
		$C_1$, a rational normal curve in $\mathbb P^n_1$ and
		$C_2$, a rational normal curve in its span $S\simeq\mathbb P^{e-n+1}$,

		where $C_1$ (resp. $C_2$) meets $\mathbb P^{e-n}_1$ (resp. $\mathbb P^{2n-e-1}_2$), transversely in 1 point,
		so that $C'_1\cup C'_2\subset X$ is a connected nodal curve.
		We also assume $S$ is transverse to the blowup center $\mathbb P^{2n-e-1}_2$.
		Then $N_{C_1/\mathbb P^n_1}\simeq (n-1)\mathcal O(n+2)$. Similarly,

			\[N_{ C_{2}/S}=(2n-e-2)\mathcal O(2n-e+1)\]
			hence
\[N_{ C_{2}/\mathbb P^n_2}\simeq (2n-e-2)\mathcal O(2n-e+1)\oplus (e-n+1)\mathcal O(2n-e-1).\]
The latter bundle is not balanced, however after the blowup
of the transverse
$\mathbb P^{2n-e-1}_2$, we get (see Lemma \ref{blowup-lem})
\[N_{C_2'/X_2}\simeq (2n-e-2)\mathcal O(2n-e)\oplus (e-n+1)\mathcal O(2n-e-1)\]
which is balanced and whose upper subspace at $p$
corresponds to the kernel of $T_pZ\to T_p\mathbb P_2^{2n-e-1}$
(see Lemma \ref{blowup-lem}). Likewise
\[N_{C_1'/X_1}\simeq (e-n-1)\mathcal O(n+2)\oplus (2n-e)\mathcal O(n+1)\]
which is balanced as well and whose upper subspace at $p$
corresponds to the kernel of $T_p\mathbb P_1^{e-n}$.
 Clearly the two upper subspaces are transverse.
Therefore $C_1'\cup C_2'$ is
a locally complete intersection relative to $X_1\cup X_2$, hence on $\cX$,
 $N_{C_1'\cup C_2'/X_1\cup X_2}$ is balanced, positive and has $H^1=0$,
hence as in \S \ref{subsub-sec}, the union smooths out to a smooth rational curve of degree $e$ in
$\mathbb P^n\times t, t\neq 0$ with balanced normal bundle.\par
\ul{Case 3}: $e\geq 2n$.\par
This case is similar to Case 2 except that we take $C_2$ to be a general
curve of degree $e-n$ with $C_1$ still a rational normal curve.
Then by induction $N_{C_2/\mathbb P^n_2}$
	is balanced so we have
\[N_{C_2/\mathbb P^n_2}\simeq r^+\mathcal O(a^+)\oplus (n-1-r) \mathcal O(a^+-1), 0<r^+\leq n-1.\]
Then let $X_2$ be the blowup of $\mathbb P^n_2$ in a general  $\mathbb P^r_2$  meeting $C_2$
transversely in 1 point
 and $X_1$
be the  blowup of $\mathbb P^n_1$ in a general $\mathbb P^{n-1-r}_1$ meeting $C_1$ transversely
in 1 point. Now the upper subspace of $N_{C_2'/X_2}$ is either,
if   $a^++2n-e-1\geq n-1$, a subspace of the
vertical subspace, kernel of $T_pZ\to T_p\mathbb P^{r}_2$,
in which case it will be automatically transverse to the upper
subspace of $N_{C'_1/X_1}$;
 or, if $a^++2n-e-1\leq n-1$, it will be the
sum of the same vertical subspace and the intersection
of the upper subspace of $(N_{C_2/{\mathbb P_2^n}})_p$
with the (isomorphic) image of $T_p\mathbb P_2^{r}$ in $(N_{C_2/\mathbb P_2^n})_p$.
Since the upper subspace of $N_{C_1'/X_1}$  coincides with $T_p\mathbb P_2^{r}$,
the two upper subspaces are automatically transverse . This shows as above
that $N_{C_1'\cup C'2/X_1\cup X_2}$
 is balanced so we can conclude as above.
\end{proof}
\begin{rem}
(i) The foregoing proof goes through whenever $C_1$ and $C_2$ are balanced
and the blowup centers are general enough.\par
(ii) The method of proof implicitly uses the notion
of fang which will be revisited more explicitly in \S \ref{fang}.
\end{rem}
\section{Case $d=n$}\label{fano}
Our result is the following.
\begin{thm}\label{d=n-thm}
	Let $X$ be a general hypersurface of degree $n$ in $\mathbb P^n$, $n\geq 4$. Then
	for any $e\geq n-1$, $X$ contains a nonsingular irreducible
	balanced rational curve of degree $e$.
	\end{thm}
\begin{cor}\label{ratcon-d=n-cor}
	Notations as above, $X$ is
	separably $(\lfloor\frac{e-2}{n-2}\rfloor+1, e)$-
	rationally connected.
	\end{cor}
\begin{proof}[Proof of Corollary]
	Standard. Let $\cC/B$ be the universal degree-$e$ rational curve in
	$X$ and $\cC^q/B$ its $q$-th fibre power, which admits
	an obvious map
	\[f_q:\cC^q_B\to X^q\]
	For $z=(C, p_1,...,p_q)\in
	\cC^q/B$, there is a derivative map
	\[df_q:T_z(\cC^q/B)\to \bigoplus T_{p_i}X\]
	taking the vertical part of the tangent space to $\bigoplus T_{p_i}C$,
	hence inducing $T_{[C]}B\to \bigoplus N_{p_i,C/X}$
	which is none other than the evaluation map
	\[H^0(N_{C/X})\to \bigoplus N_{p_i,C/X},\]
	with cokernel $H^1(N_{C/X}(-q))$.
	For $q=\lfloor\frac{e-2}{n-2}\rfloor+1=q_{\max}(e)$,
	the latter map is surjective by an evident $H^1$ vanishing, hence
	so is $f_q$ locally.
	\end{proof}
\begin{cor}
	Notations as above, for all $q\geq 2$, the minimal degree of a rational
	curve in $X$ through $q$ general points is the expected
	one, viz. $(q-1)(n-2)+2$, and the locus of such curves is reduced
	and  of the expected dimension.
	\end{cor}
\begin{proof}
	By Corollary \ref{ratcon-d=n-cor}, there exists a rational curve of degree
	$e=(q-1)(n-2)+2=e_{\max}(q)$ through $q$ general points. Because $q_{\max}(e-1)<e$,
	this $e$ is smallest.
	\end{proof}
\begin{proof}[Proof of Theorem]
	\ul{Case 1}: $e\geq (n-1)^2$.\par
	Write $e=e_1n-a$ with \[e_1\geq n-1, a\leq n-1.\]
	We will consider a degenerate form of $X$ in the the form of a fan
	hypersurface of type $(n-1, n)$ as in \cite{hypersurf}, i.e.
	 \[X_0=X_1\cup_F X_2.\]
	Here $X_2$ is a general
	hypersurface of degree $n-1$ in $\mathbb P^n$ and $X_1=B_p\bar X_1$ is the blowup
	of a general quasi-cone $\bar X_1$ of degree $n$ and multiplicity $n-1$
	 at $p$, with exceptional divisor $F$, and also
	the blowup of $\mathbb P^{n-1}$ in a general $(n-1,n)$
	complete intersection $Y=F_{n-1}\cap F_n, \deg(F_i)=i$,
	with $F$ being the birational transform of $F_{n-1}$.
	There is a family $\cX/\Bbb A^1$ with general fibre $X$ and special fibre $X_0$. \par
	To construct a suitable curve in $X_0$ we proceed as follows.
	Let $C$ be a general rational curve of degree $e_1$
	in $\mathbb P^{n-1}$. Let $F_{n-1}\subset\mathbb P^{n-1}$ be a general
	hypersurface meeting $C$ transversely in $e_1(n-1)$ points.
	Note that $C\cap F_{n-1}$ is in general position and choose a subset
	$A$ from it with $|A|=a$ which we may assume consists
	of coordinate vertices $p_1,...,p_a$ (recall that $a\leq n-1$).
	The standard exact sequence
	\[\exseq{\mathcal{ I}_{p_1,...,p_a/\mathbb P^{n-1}}}{\mathcal{ I}_{C/\mathbb P^{n-1}}}{\mathcal O_C(-p_1-...-p_a)}\]
	shows that $\mathcal{ I}_{p_1,...,p_a/\mathbb P^{n-1}}(n-1)$ is globally generated so $F_{n-1}$
	may be assumed to miss any given finite st of points.
	I claim we can find a hypersurface $F_n$ through
	$A$ and no other points of $C\cap F_{n-1}$ and with given normal
	hyperplanes to $C$ at $A$. Indeed, a degree-$n$ form through $p_i$
	 has no $x_i^n$ term and its tangent at  $p_i$
	corresponds to a term $x_i^{n-1}g_i$ with $g_i$ linear in $x_j, j\neq i$.
The $g_i$ may be chosen independently of one another and $g_i$ specifies the normal
	direction to $C$ at $p_i$. Choosing the $g_i$ generally with this property
	and setting $F_n=\sum x_i^{n-1}g_i$ yields the desired $F_n$; choosing $F_{n-1}$
	general enough with given $p_1,...,p_a$ ensures that $F_{n-1}\cap F_n\cap C=\{p_1,...,p_a\}$.
	Now blow up \[Y=F_{n-1}\cap F_n\subset\mathbb P^{n-1}\]
	to get $X_1$ and let $C_1\subset X_1$ be
	the birational transform of $C$. Because
	$C_1$ has balanced normal bundle and  $Y$ has general tangents at $Y\cap C$,
	$C_1\subset X_1$ also has balanced normal bundle, and it meets
	$F$ transversely in $e_1(n-1)-a$ points.
\par
Now let $C_2\subset X_2$ be $e_1(n-1)-a$ general lines so that
	$C_2\cap F=C_1\cap F$. As $X_2$ is a general hypersurface of degree $n-1$ it is easy to check that
	each of the lines has trivial
	(i.e. globally free) normal bundle. Now in view of \S \ref{subsub-sec},
	 Corollary \ref{tree-cor}
	 applies
	and shows that $C_1\cup C_2$ smooths out to a smooth rational curve of degree $e$
	on a general hypersurface of degree $n$ in $\mathbb P^n$ with balanced normal bundle.

	\par
	\ul{Case 2}: $n-1\leq e<(n-1)^2$.\par
	Again we consider $(n-1)^2-a$ general lines for $C_2\subset X_2$ with
	$a=n(n-1)-e$, glued to $C_1\subset X_1$ which is
	 the birational transform of a rational
	normal curve $C\subset\mathbb P^{n-1}$ meeting $Y=F_{n-1}\cap F_n$ in $a$ points.
	It suffices to show that we can choose $C_1$ to have
	balanced normal bundle in $X_1$. Let $2C$ be the first order neighborhood
	of $C$, with ideal sheaf $\mathcal{ I}_C^2$, so we have an exact sequence
	\[\exseq{\check N}{\mathcal O_{2C}}{\mathcal O_C}\]
	where $\check N$ is the dual to
	\[N_{C/\mathbb P^{n-1}}=(n-2)\mathcal O_C(n+1).\]
	This sequence shows that \[H^1(\mathcal O_{2C}(kH))=0, k\geq 2\] where $H$ is a hyperplane,
	so that $\mathcal O_C(H)=\mathcal O_C(n-1)$.
	Let $Z=C\cap F_{n-1}, 2Z=2c\cap F_{n-1}$. Then we have exact sequences
	\[\exseq{\mathcal{ I}_{C/\mathbb P^{n-1}}}{\mathcal{ I}_{Z/\mathbb P^{n-1}}}{\mathcal{ I}_{Z/C}}\]
	\[\exseq{\mathcal{ I}^2_{C/\mathbb P^{n-1}}}{\mathcal{ I}_{2Z/\mathbb P^{n-1}}}{\mathcal{ I}_{2Z/2C}}\]
	where $\mathcal{ I}_{Z/C}=\mathcal O_C(-(n-1)H), \mathcal{ I}_{2Z/2C}=\mathcal O_{2C}(-(n-1)H)$.
 A theorem of Rathmann ca. 1991 (see \cite{rathmann-eh-conj}, Prop.4.2
	or \cite{vermeire}) shows that
	\[H^1(\mathcal{ I}_C^2(kH)=0, k\geq 3.\] Hence
	 \[H^1(\mathcal{ I}_{2Z}(kH)))=0, k\geq n-1\] since $n-1\geq 3$.
	This shows that $F_n$ can be chosen to have general tangent hyperplanes
	at $Y\cap C$ which makes $N_{C_1/X_1}$ balanced. Therefore again $C_1\cup C_2$
	smooths out to a balanced rational curve on $X$.
		\end{proof}

\section{Fangs and the case $d<n$}\label{fang}
	The purpose of this section is to construct, for infinitely many degrees $e$,
	rational curves of degree $e$ with balanced normal bundle on
	a general hypersurface $X$ of degree
	$d$ in $\mathbb P^n$ with $3\leq d\leq n-1$. Since it is known by
	the result of Riedl-Yang that the family
	of rational curves of degree $e$ on $X$ is irreducible at least if $d<n-1$, it follows that almost all
	of these curves have balanced normal bundle. This
	construction has
	consequences for minimal rational connectivity.

	\subsection{Curves in projective bundles}\label{vertical-normal}
	Let $G$ be a vector bundle on a variety $B$, with associated projective
	(quotient) bundle $\mathbb P(G)\stackrel{\pi}{\to} B$.
	Given a parametrized curve $c_0: C_0\to B$, a lifting  of
	$c_0$ to $c:C_0\to \mathbb P(G)$ corresponds to an invertible quotient
	$G_0:=c_0^*G\to L_0$. In this case we have
	\[c^*\mathcal O_{\mathbb P(G)}(1)=L_0.\]
	There is an exact sequence for the normal bundle
	\[\exseq{N_{C_0/\mathbb P(G)/B}}{N_{C_0/\mathbb P(G)}}{N_{C_0/B}}\]
			and, setting $K_0:=\ker(G_0\to L_0)$,
	the vertical normal bundle $N_{C_0/\mathbb P(G)/B}$ is given by
		\[N_{C_0/\mathbb P(G_0)/B}=K_0\otimes L_0 .\]
	\subsection{Some blowups}\label{blowup}

This construction will be used to construct components of fangs and fang hypersurfaces.
	Let $b:Z\to\mathbb P^n$ denote the blow-up of $\mathbb P^{n-m-1}$ and
	$\pi:Z\to\mathbb P^m$ the projection, with fibres $\mathbb P^{n-m}$.
	Note that via $\pi$, $Z$ is a projective bundle
	 \[Z=\mathbb P_{\mathbb P^m}(\mathcal O(1)\oplus(n-m)\mathcal O):=\mathbb P(1, 0^{n-m})\]
	and  that the exceptional divisor of $b$ is
	\[E=\mathbb P_{\mathbb P^m}((n-m)0)=\mathbb P^m\times\mathbb P^{n-m-1}.\]
	A hypersurface $X$ of type $(d,e)$ on $Z$ is an element of
	the linear system $|b^*\mathcal O(d)-eE|$ and $X$
	maps to a hypersurface of degree $d$ in $\mathbb P^n$ with multiplicity
	$e$ on $\mathbb P^{n-m-1}$ and $X$
	meets $E=\mathbb P^m\times\mathbb P^{m-n-1}$ in a divisor $Y$   of bidegree
	$(d-e, e)$ on $E$.
	The fibres of $\pi|_X$ are hypersurfaces of degree $d-e$
	in $\mathbb P^{n-m-1}$.\par
\subsubsection{Case 1:}\label{case1} One special case of the construction that
	 we will need is $e=d-1$. Then $X$ is a projective subbundle
	of $Z$ of the form $\mathbb P(G)$ where $G$ fits in an exact sequence
	\eqspl{G}{\exseq{\mathcal O_{\mathbb P^m}(-(d-1))}{\mathcal O_{\mathbb P^m}(1)\oplus(n-m)\mathcal O_{\mathbb P^m}}{G}.
	}
	In terms of coordinates, the image of $X$ in
	$\mathbb P^n$ has an equation of the form
	\eqspl{equation}{
		f=\sum\limits_{i=0}^{d-e}\sum\limits_ja_{d-i,j}(x)b_{i,j}(y)
	}
	where
	$x_0,...,x_m, y_1,...,y_{n-m}$ are linear coordinates
	on $\mathbb P^n$ such that $x_0,...,x_m$ cut out $\mathbb P^{n-m-1}$,
	and each $a_{k,j}, b_{i,j}$ has degree $k, i$ respectively.
	The term $i=d-e$ in same equation, viewed as bihomogeneous form of bidegree $(e, d-e)$,
	also yields the equation of $Y$ in $E$
	and, when $e=d-1$, the left map in \eqref{G}.\par
\subsubsection{Case 2:}\label{case2}	Another case we need  is where $e=1$ and $d=n-m$.
	Then the general fibre of $\pi_X$ is a  hypersurface
	of degree $n-m-1$ in $\mathbb P^{n-m}$. As is well known, a
	general such hypersurface is filled up by lines $L$ with trivial
	normal bundles (cf. Remark \ref{trivial} below),
	and of course $L$ must meet $\mathbb P^{n-m-1}$.
	Now the birational transform of $L$ in $X$ has normal bundle which
	is an extension of trivial bundles, hence trivial as well.
	Consequently:
	\begin{lem}\label{x2}
		Notations as above, and assuming general choices and $m=n-d$,
		there is a filling family in $X$ of birational transforms of lines
		meeting the projection center $\mathbb P^{n-m-1}$,
	whose general member has trivial normal bundle in $X$.
	\end{lem}
	\subsection{Fans generalized}\label{fangs}
	This is a slight generalization of the fans considered  above
	and in \cite{hypersurf}, and has already occurred in \S \ref{pn}.
	Let $Z_1\to\mathbb P^m$ be as in \S\ref{blowup}. Let $Z_2\to\mathbb P^{n-m-1}$ be the analogous
	object, based on blowing up $\mathbb P^m$. Note that both $Z_1$ and
	$Z_2$ have exceptional divisor $E=\mathbb P^m\times\mathbb P^{n-m-1}$. The normal-crossing
	variety
	\[Z_0=Z_1\cup_EZ_2\]
	is called a \emph{generalized fan} or \emph{fang} of type $(n,m)$.\par
	A flat morphism $\cZ\to B$ is called a \emph{relative fang} of
	type $(n,m)$ is each fibre is either $\mathbb P^n$ or a fang of type $(n,m)$.
	A standard construction for a relative fang is to blow up
	$\mathbb P^{n-m-1}\times 0$ in $\mathbb P^n\times\Bbb A^1$.
	There $Z_1$ and $Z_2$ are the birational transform of $\mathbb P^n\times 0$
	and the exceptional divisor, respectively.
	Now assume $0<m<n-1$ and $e<d$. Then
	the linear system $|dH-eZ_2|$ on $\cZ$,
	where $H$ is the pullback of a hyperplane in
	$\mathbb P^n$, restricts as follows.
	\begin{itemize}\item on the general fibre, to $|dH|$;\item
	on $Z_1$,  to $dH-e\mathbb P^{n-m-1}$;\item
	on $Z_2$ to $dH-(d-e)\mathbb P^m$;\item on
	$E=\mathbb P^m\times\mathbb P^{n-m-1}$ to the linear system of hypersurfaces
	bidegree $(e, d-e)$.
	\end{itemize}
	\par
	The foregoing construction may obviously be extended to the case of
	more than 2 components but we don't need this.

	\subsection{Balanced extensions}
	An extension of balanced vector bundles is balanced when their slopes
	are roughly equal. This is useful for constructing balanced bundles.
	\begin{lem}\label{extension}
		Let
		\[\exseq{E_1}{E}{E_2}\]
		be an exact sequence of  vector bundles on $\mathbb P^1$,
		of respective slopes $s_1, s, s_2$. Assume $E_1, E_2$ are
		balanced and
		\eqspl{extension-eq}{
		\lfloor{s_1}\rfloor=\lfloor{s_2}\rfloor.}

		Then $E$ is balanced and $\lfloor{s}\rfloor=\lfloor{s_1}\rfloor$.
		Moreover the extension splits.
	\end{lem}
	The proof may be left to the reader.
	\subsection{The main construction and results}
	Fix integers $d, n$, and let $\cZ\to\Bbb A^1$ be a relative fang
	of type $(n, m), m=d-1$, with special fibre $Z_0=Z_1\cup Z_2$.
	Thus
	\[Z_1=\mathbb P_{\mathbb P^m}(1, 0^{n-m}), Z_2=\mathbb P_{\mathbb P^{n-m-1}}(1, 0^{m+1}).\]
	Consider a general member of the linear system $|dH-(d-1)Z_2|$
	on $\cZ$ and let
	\[X_0=X_1\cup X_2\]
	be its special fibre. Thus, $X_1=\mathbb P(G)$ as in \S \ref{case1}, while
	$X_2$ fibres over $\mathbb P^{n-m-1}$ with general fibre a hypersurface of degree
	$d-1=(m+1)-1$ in $\mathbb P^{m+1}$ \S \ref{case2} (beware the switch in notation,
	interchanging $n-m$ and $m+1$).
	Consider a general rational curve  $C_0$ of
	degree $e_0$ in $\mathbb P^m$, and let $C_1\subset X_1$ be a general
	degree-$e$ lifting of $C_0$,
	which corresponds to a general surjection
	\eqspl{surjection}{G_{C_0}\to\mathcal O_{C_0}(e).}
	Thus, $C_1$ meets the exceptional divisor $E=\mathbb P^m\times\mathbb P^{n-m-1}$
	in $e-e_0$ points. By Proposition \ref{pn-prop}, as soon as $e_0\geq m$,
	the normal bundle $N_0=N_{C_0/\mathbb P^m}$
	is balanced, of slope $ s_0=\frac{(m+1)e_0-2}{m-1}$.
	By \S \ref{vertical-normal}, the 'relative'
	or vertical normal bundle $N_{C/X_1/\mathbb P^m}$ is just
	$K^*(e)$ where $K$ is the kernel of \eqref{surjection}. Thus,
	we have an exact sequence
	\eqspl{normal}{
		\exseq{K^*(e)}{N_{C_1/X_1}}{N_0}.
	}
	\begin{lem}
		Notations as above, $K$ is balanced.
	\end{lem}
	This follows from
	\begin{lem}\label{kernel}
		Let $E$ be a balanced bundle on $\mathbb P^1$ and $\phi: E\to L$ a
		sufficiently general surjection
		to a vector bundle. Then $\ker(\phi)$ is balanced.
	\end{lem}
	\begin{proof} By an obvious induction we may  assume $L$ has rank 1.
		Because balancedness is open is suffices to prove: given $E$
		balanced of slope $s$ and an integer $\ell\geq \lfloor s\rfloor$, there
		exists a balanced bundle $K$
		with $c_1(K)=c_1(E)-\ell, \text{rk}(K)=\text{rk}(E)-1$ and a locally split injection $K\to E$.
		We may assume $E=r_+\mathcal O(1)\oplus (r-r_+)\mathcal O$, so $\ell\geq 0$.
		Write
		\[\ell=q(r-1)+p, 0\leq p<r-1.\]
		If $p\leq r_+$ we can take
		\[K=((r_+-p)\mathcal O(1-q)\oplus (r-r_++p)\mathcal O(-q).\]
		If $p>r_+$ we can take
		\[K=(r-p+r_+)\mathcal O(-q)\oplus (p-r_+)\mathcal O(-q-1).\]
		Clearly, a general map $K\to E$ is locally split injective.
	\end{proof}
\begin{rem}\label{trivial}
	The Lemma yields a quick proof of the fact that a general line on
	a general hypersurface has balanced normal bundle; in particular,
	a general line on a general hypersurface of degree $n-1$ in $\mathbb P^n$
	has trivial normal bundle.
	\end{rem}
	Now first applying  Lemma \ref{kernel} to $G^*$ in the role of $K^*$
	(cf. \eqref{G}))
	shows that $G_{C_0}$ is balanced. Then applying the lemma again to
	the surjection $G_{C_0}\to \mathcal O(e)$ shows that $K$ is balanced.
	Now applying Lemma \ref{extension} to the exact sequence \eqref{normal},
	we can conclude that $N_{C_1/X_1}$ is balanced provided the numerology
	(cf. display \eqref{extension-eq})works out:
	\begin{lem}\label{x1}
		Notations as above, assume that $n,d, e_0, e$ satisfy
		\eqspl{slopes}{
			3\leq d\leq n-1\\
			e\geq e_0\geq d-1\\
			\lfloor \frac{-de_0+e}{n-d}\rfloor+e=e_0+\lfloor\frac{2e_0-2}{d-2}\rfloor.
		}
		Then, with general choices, $X_1$ contains a rational curve mapping to
		a curve of degree $e$ in $\mathbb P^n$ and projecting to a curve of degree
		$e_0$ in  $\mathbb P^m$, whose normal bundle in $X_1$ is balanced.
	\end{lem}
Let's call an $e$ that fits in \eqref{slopes} \emph{accessible}.
	Note that the curves produced in Lemma \ref{x1} meet $E$
	in $e-e_0$ points.
	Now we argue as in \S \ref{fano} and attach lines in $X_2$ with trivial normal bundle at
	those points, (cf. Lemma \ref{x2}), thus obtaining an lci curve in $X_0$ with 'balanced'
	normal bundle as in \S \ref{fano}. We have thus proven
	Theorem \ref{d<n-thm}, Part (i) below.
	As for parts (ii), (iii), see the Appendix by M. C. Chang
	 (resp. Example \ref{d=n-1} below) for
	much more precise results  in case $d<n-1$ (resp. $d=n-1$)).
	First  recall that $e$ is said to be point-minimal if
	(cf. \eqref{qmax}, \eqref{emin})
	\eqspl{q}{
		q_{\max}(e-1)<q_{\max}(e)
	} and if so and $e$ is accessible as well
then $q=q_{\max}(e)$ is interpolating for $X$, i.e.

 $X$ is (separably) minimally $(q-1)$- rationally connected, so that
	$e$ is the actual minimal degree as well as
	the expected minimal degree of a rational curve on $X$
	through $q$ general points.\par
	\begin{thm}\label{d<n-thm}
		(i) A general hypersurface
		$X$ of  degree $d<n$
		in $\mathbb P^n$ contains balanced rational curves of
		any accessible degree $e$ and is
		separably rationally
		$q_{\max}(e)$- connected for any accessible $e$.
		\par (ii) For  $d>2$, the the set of accessible $e$ contains the intersection
		of $[d-1, \infty)$ with $a(d, n-d)$ many

		congruence classes mod $d(n-2)$ where $a(n,n-d)=(n-d)d-\mathrm{(linear\ terms)}$. \par
		(iii) The
		set of $e$ which are both accessible and point-minimal
		contains the intersection of $[d-1, \infty)$ with $(n+1-d)/2$ many congruence
		classes mod $d(n-2)$ and the set of interpolating $q$

		contains some ray intersected with $(n+1-d)/2$ many congruence classes mod $(n+1-d)d$.
	\end{thm}

	\begin{example}\label{d=n-1}
		Take $d=n-1, n\geq 4$. Write $e_0=k(n-3)+r, k\geq 1, 0\leq r<n-3$.
		Then either
		\[n\ \ \mathrm{even,}\ \  n\geq 6, \ 0<r\leq \frac{n-3}{2},\
		e=\binom{n-1}{2}k+\frac{nr}{2}\]
		or
		\[n, r \mathrm{\ \ both\  odd,\ \ } n\geq 5,\  r\geq\frac{n-1}{2},
		e=\binom{n-1}{2}k+\frac{nr+1}{2},\]
		or
		\[ n\mathrm{\ \ odd},\  r\mathrm{\ \ even},\  r\leq \frac{n-3}{2},
		\ e=\binom{n-1}{2}k+\frac{r}{2}, \]
	or else
	\[n=4, r=0, e=3k-1.\]

		Thus, the accessible degrees cover about  $(n-3)/2$
		of the possible congruence classes of $e$ mod $\binom{n-1}{2}$.\par
		The point-minimal condition on the accessible $e$ is that
		the remainder of $2e-2$ mod $n-2$ should equal 0 or 1.
		Considering those $e$ that are both accessible and point-minimal
		 yields that $X$ is minimally
		rationally $(q-1)$-connected for $q-1=(n-1)k+1$ if  $n$ is even
		(resp. $q-1=(n-1)k+2$ if  $n$ is odd),
		for any $k\geq 1$.
			\end{example}

		\begin{rem}
			Extending the fang method beyond the accessible values of $e$ would require
			taking $m\neq d-1$, and hence attaching lines with
			balanced, but nontrivial
			normal bundle. One would have to prove a general position property
			for the upper subspaces of these normal bundles, as in Theorem
			\ref{main-thm}, (i).
			This seems difficult.
			\end{rem}

\vfill\eject
\bibliographystyle{amsplain}

\section{#1}\setcounter{equation}{0}
}
\newcommand\newsubsection[1]{\subsection{#1}\setcounter{equation}{0}}
\newcommand{\mathfrak J}{\mathfrak J}
\newcommand{\mathbb E}{\mathbb E}
\newcommand{\mathrm{loc}}{\mathrm{loc}}
\newcommand\dual{\ \check{}\ }
\pagestyle{plain}