text:
\section{Introduction}
The study of vector bundles on a variety $X$ is a fruitful field of research in algebraic geometry. In particular  the study of vector bundles ${\mathcal E}$ with some prescribed cohomology groups gives interesting information on the variety itself.

For example, when $X$ is endowed with a (very) ample polarization ${\mathcal O}_X(h)$, then it is natural to deal with bundles defined by some particular vanishings. E.g., on the one hand it is interesting to understand when the bundle ${\mathcal E}$ is {\sl aCM}, i.e. $h^i\big(X,{\mathcal E}(th)\big)=0$ for each $t\in\bZ$ and $0< i<\dim(X)$. On the other hand, one can also try to classify bundles with very few vanishings.

Examples of vector bundles of the latter type are provided by instanton bundles on a {\sl Fano threefold} $X$, i.e. a smooth threefold over the complex field $\bC$ whose anticanonical line bundle $\omega_X^{-1}$ is ample: see \cite{I--P} for the classification of such threefolds. In particular, the {\sl index of $X$} is the greatest $i_X\in\bZ$ such that $\omega_X\cong{\mathcal O}_X(-i_Xh)$ for an ample ${\mathcal O}_X(h) \in \operatorname{Pic}(X)$. It is well--known that $1\le i_X\le 4$ and that such an ${\mathcal O}_X(h)$ is uniquely determined: it is called the {\sl fundamental line bundle} of $X$.

The easiest Fano threefold is $\p3$: an instanton bundle ${\mathcal E}$ on $\p3$ is a rank $2$ bundle such that $h^0\big(\p3,{\mathcal E}\big)=h^1\big(\p3,{\mathcal E}(-2)\big)=0$ and $c_1({\mathcal E})=0$. Instanton bundles on $\p3$ were first introduced in the seminal paper \cite{A--D--H--M} and widely studied from different viewpoints since the discovery of their connection, through the Atiyah--Penrose--Ward transformation, with the solutions of the Yang--Mills equations (see \cite{A--W}).

Because of its importance, the notion of instanton bundle has been extended in several papers to different classes of  varieties. Without any claim of completeness we refer the interested reader to \cite{Fa, Kuz} for instanton bundles on a Fano threefold $X$. If $\varrho_X=1$, then the condition $h^0\big(X,{\mathcal E}\big)=0$ is equivalent to the $\mu$--stability of ${\mathcal E}$ with respect to ${\mathcal O}_X(h)$ (see \cite{H--L} for the definition and properties of $\mu$--(semi)stable bundles). When $\varrho_X\ge2$ this is no longer true. For this reason in \cite{C--C--G--M} instanton bundles are defined as rank $2$ bundles ${\mathcal E}$ such that $h^0\big(X,{\mathcal E}\big)=h^1\big(X,{\mathcal E}(-q_Xh)\big)=0$, $c_1({\mathcal E})=(2q_X-i_X)h$, where $q_X:=\left[\frac{i_X}2\right]$, and which are $\mu$--semistable with respect to ${\mathcal O}_X(h)$. The study of such instanton bundles has been carried out on several Fano threefolds in \cite{M--M--PL, A--M,C--C--G--M, Cs--Ge}: see also \cite{A--C--G} for further generalizations. We collect in Section \ref{sGeneral} the results on instanton bundles that we need in the paper.

In this paper we deal with instanton bundles on $F:=\p1\times\bF_1$, where $\bF_1\subseteq\p8$ is the del Pezzo surface of degree $8$ obtained by blowing up a single point in $\p2$. In order to better explain the results proved in the paper we fix some notation. The threefold $F$ is endowed with two natural projections $p\colon F\to \bF_1$ and $\pi\colon F\to\p1$. If $\sigma\colon\bF_1\to\p2$ is the blow up morphism, then $\operatorname{Pic}(\bF_1)$ is freely generated by the classes $\ell$ of a the pull--back via $\sigma$ of a general line in $\p2$ and $e$ of the exceptional divisor. The intersection theory on $\bF_1$ is given by $\ell^2=-e^2=1$ and $\ell e=0$.

The group $A(F)$ decomposes as $\pi^*A(\p1)\otimes p^*A(\bF_1)$, hence it is free. Let $\xi$ be the pull--back of a point via $\pi$. By abuse of notation, we will denote by $\ell$ and $e$ also the pull--backs of the generators of $\operatorname{Pic}(\bF_1)$ with the same name via $p$. The dual ${\mathcal O}_F(h)$ of
$$
\omega_F\cong p^*\omega_{\bF_1}\otimes\pi^*\omega_{\p1}\cong{\mathcal O}_F(-3\ell+e-2\xi).
$$
is very ample and not divisible in $\operatorname{Pic}(F)$, hence $F$ is a Fano threefold and $i_F=1$. Thanks to the decomposition of $A(F)$, we deduce that $A^2(F)$ has generators $\ell^2$, $\ell \xi$, $e\xi$ where $\ell^2=-e^2$ is the class of a fibre of $p$ and $\ell e=\xi^2=0$. Finally, the same decomposition also yields that $A^3(F)$ is generated by $\ell^2\xi$. See Section \ref{sFano} for some other results on $F$ used in the paper.

Our first result proved in Section \ref{sMonad} is the description of each instanton bundle on $F$ as the cohomology of a monad. More precisely, for every choice of integers $\alpha,\beta,\gamma,\delta,\epsilon$ such that
\begin{gather}
\label{BoundInstanton1}
 \alpha\ge3,\qquad \gamma\ge2,\qquad \alpha+\gamma\ge6,\qquad \alpha-\beta\ge2\\
\label{BoundInstanton2}
\epsilon\ge2-\beta-\gamma,\qquad \delta\ge1-\beta.
\end{gather}
we define
\begin{gather*}
{\mathcal C}^{-1}:={\mathcal O}_{F}(-2\ell+e-\xi)^{\oplus\alpha+\gamma-6}\oplus{\mathcal O}_{F}(-\ell-\xi)^{\oplus\epsilon},\\
\begin{align*}
{\mathcal C}^0:={\mathcal O}_{F}(-\ell-\xi)^{\oplus\beta+\gamma+\epsilon-2}&\oplus{\mathcal O}_{F}(-\ell+e-\xi)^{\oplus\alpha-\beta+\gamma-4}\oplus\\
&\oplus{\mathcal O}_F(-2\ell+e)^{\oplus\alpha-3}\oplus{\mathcal O}_F(-\ell)^{\oplus\delta},
\end{align*}\\
{\mathcal C}^1:={\mathcal O}_{F}(-\xi)^{\oplus\gamma-2}\oplus{\mathcal O}_{F}(-\ell)^{\oplus\beta+\delta-1}\oplus{\mathcal O}_{F}(-\ell+e)^{\oplus\alpha-\beta-2}.
\end{gather*}
In Section \ref{sMonad} we prove that if ${\mathcal E}$ is an instanton bundle with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$, then inequalities \eqref{BoundInstanton1} necessarily hold  (see Remark \ref{rInequalities}).

The main result of the section is as follows.

\begin{theorem}
\label{tMonad}
 Each  instanton bundle ${\mathcal E}$ with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$ is the cohomology of a monad ${\mathcal C}^\bullet$ of the form
\begin{equation}
\label{Monad}
0\longrightarrow {\mathcal C}^{-1}\longrightarrow {\mathcal C}^0\longrightarrow{\mathcal C}^1\longrightarrow0
\end{equation}
where $\delta:=h^1\big({F},{\mathcal E}(-e)\big)$ and $\epsilon:=h^1\big({F},{\mathcal E}(-e-\xi)\big)$.

Conversely, if the cohomology ${\mathcal E}$ of the monad ${\mathcal C}^\bullet$ is a $\mu$--semistable bundle, then ${\mathcal E}$ is an instanton bundle with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$ on $F$ such that
\begin{enumerate}
\item $h^1\big({F},{\mathcal E}(-e)\big)\le \delta$;
\item $h^1\big({F},{\mathcal E}(-e-\xi)\big)\le \epsilon$;
\item $h^1\big(F,{\mathcal E}(-D)\big)=0$ for each effective integral divisor $D\not\in\vert e\vert$.
\end{enumerate}
\end{theorem}

An almost immediate consequence of Theorem \ref{tMonad} is that an instanton bundle ${\mathcal E}$ on $F$ (if any) satisfies $h^1\big(F,{\mathcal E}(-D)\big)=0$ whenever $\vert D\vert\ne\emptyset$ contains smooth integral elements if and only if $h^1\big({F},{\mathcal E}(-e)\big)=0$ (see  Corollary \ref{cBound}): following \cite{C--C--G--M} we call such bundles earnest.

 It is easy to construct examples of decomposable instanton bundles (see Example \ref{eDecomposable}). Thus, it is natural to ask if indecomposable instanton bundles actually exist on $F$.

We positively answer this question in Section \ref{sInstanton} showing that for $\alpha, \beta,\gamma\in \bZ$ satisfying inequalities \eqref{BoundInstanton1}, there exists a $\mu$--stable instanton bundle ${\mathcal E}$ on $F$ with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma \ell^2$ via the classical Serre correspondence (see Construction \ref{conInstanton}): in particular, monads ${\mathcal C}^\bullet$ as in the previous statement actually exist.

More precisely we prove the following result.

\begin{theorem}
\label{tConstruction}
For each choice of integers $\alpha,\beta,\gamma$ satisfying inequalities \eqref{BoundInstanton1} the bundle ${\mathcal E}$ obtained via Construction \ref{conInstanton} is a $\mu$--stable instanton bundle with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$, such that ${\mathcal E}\otimes{\mathcal O}_L\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$ for the general line $L\subseteq F$. Moreover, the following assertions hold.
\begin{itemize}
\item If $\beta\ge1$, then ${\mathcal E}$ is earnest.
\item If $\beta\le0$, then ${\mathcal E}$  is non--earnest and
$$
-\beta\le h^1\big(F,{\mathcal E}(-e-\xi)\big)\le h^1\big(F,{\mathcal E}(-e)\big)=1-\beta.
$$
\end{itemize}
\end{theorem}

Thanks to \cite[Theorem 1.8]{A--C--G} each indecomposable instanton bundle on a Fano threefold is simple. Let ${\mathcal S}_F(2;-h,\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$ be the moduli space of simple rank $2$ bundles ${\mathcal E}$ on $F$ with $c_1({\mathcal E})=-h$ and $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma \ell^2$ (see \cite{A--K}) and denote by
$$
{\mathcal S}{\mathcal I}_F(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)\subseteq{\mathcal S}_F(2;-h,\alpha\ell\xi-\beta e\xi+\gamma \ell^2)
$$
the locus of points corresponding to instanton bundles. The semicontinuity of $h^1\big(F,{\mathcal E}\big)$ implies that such a locus is open, hence it can be considered as a moduli space for instanton bundles on $F$ with second Chern class as above.

The instanton bundles obtained via Construction \ref{conInstanton}, being $\mu$--stable, are simple. In Proposition \ref{pModuli} we show that they correspond to smooth points of the same component inside ${\mathcal S}{\mathcal I}_F(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$.

In Remark \ref{rBound} we recall that necessarily $c_2({\mathcal E})h\ge14$ for each instanton bundle ${\mathcal E}$ on $F$.  In Section \ref{sMinimal} we completely characterize instanton bundles for which the equality holds. In order to deal with such a characterization, notice that the projection $\p2\dashrightarrow \p1$ from the blown up point induces a morphism $\pi_0\colon {\bF_1}\to\p1$, hence there is a surjective morphism $\varphi:=id\times \pi_0\colon F\to Q:=\p1\times\p1$. If $q_i\colon Q\to\p1$ is the projection on the $i^{\mathrm{th}}$ factor,  we set ${\mathcal O}_Q(\sigma_i):=q^*_i{\mathcal O}_{\p1}(1)$.

The main result of Section \ref{sMinimal}  is the following.

\begin{theorem}
\label{tMinimal}
There exist instanton bundles ${\mathcal E}$ on $F$ such that $c_2({\mathcal E})h=14$.

Every such an instanton bundle is aCM, $\mu$--stable, earnest, satisfies ${\mathcal E}\otimes{\mathcal O}_L\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$ for the general line $L\subseteq F$ and $c_2({\mathcal E})$ is either $4\ell\xi-2 e\xi+2 \ell^2$ or $3\ell\xi- e\xi+3 \ell^2$.
\begin{itemize}
\item $c_2({\mathcal E})=4\ell\xi-2 e\xi+2 \ell^2$ if and only if  ${\mathcal E}(\ell)=\varphi^*\cA$ where $\cA$ is $\mu$--stable with respect to ${\mathcal O}_Q(\sigma_1+\sigma_2)$  such that $c_1(\cA)=-2\sigma_1-\sigma_2$ and $c_2(\cA)=2$.
\item $c_2({\mathcal E})=3\ell\xi-e\xi+3 \ell^2$ if and only if  ${\mathcal E}(\xi)=p^*\cB$ where $\cB$ is $\mu$--stable with respect to  ${\mathcal O}_{\bF_1}(2\ell-e)$  such that $c_1(\cB)=-3\ell+e$ and $c_2(\cB)=3$.
\end{itemize}

Finally, both ${\mathcal S}{\mathcal I}_F(3\ell\xi-e\xi+3 \ell^2)$ and ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$ are smooth, irreducible and rational of dimension $1$.
\end{theorem}

We finally make some general comments on minimal instanton, weakly Ulrich, Ulrich and aCM bundles on Fano threefolds (see Section \ref{sMinimal} for the definitions and more details on the partial results that we obtain).

\subsection{Acknowledgements}
The authors express their thanks to the reviewers for their questions, remarks, suggestions which have considerably improved the whole exposition.

\section{Preliminary results}
\label{sGeneral}
Let $X$ be any smooth variety with canonical line bundle $\omega_X$. The Riemann--Roch formulas for a vector bundle ${\mathcal F}$ on a smooth variety $X$ of dimensions $3$ and $2$ are respectively
\begin{align}
  \label{RRgeneral}
 & \begin{aligned}
    \chi({\mathcal F})&=\rk({\mathcal F})\chi({\mathcal O}_X)+{\frac16}(c_1({\mathcal F})^3-3c_1({\mathcal F})c_2({\mathcal F})+3c_3({\mathcal F}))\\
    &-{\frac14}(\omega_Xc_1({\mathcal F})^2-2\omega_Xc_2({\mathcal F}))+{\frac1{12}}(\omega_X^2c_1({\mathcal F})+c_2(\Omega_{X}) c_1({\mathcal F}))
  \end{aligned}\\
  \label{RRsurface}
 &   \chi({\mathcal F})=\rk({\mathcal F})\chi({\mathcal O}_X)+{\frac12}c_1({\mathcal F})^2-{\frac12}\omega_Xc_1({\mathcal F})-c_2({\mathcal F})
\end{align}
(see \cite[Theorem A.4.1]{Ha2}).

If ${\mathcal F}$ and ${\mathcal G}$ are coherent sheaves on $X$, then  the Serre duality holds
\begin{equation}
\label{Serre}
\Ext_X^i\big({\mathcal G},{\mathcal F}\otimes\omega_X\big)\cong \Ext_X^{\dim(X)-i}\big({\mathcal F},{\mathcal G}\big)^\vee
\end{equation}
(see \cite[Proposition 7.4]{Ha3}).

Let ${\mathcal F}$ be a vector bundle of rank $2$ on a smooth variety $X$ of dimension $n$ and let $s\in H^0\big(X,{\mathcal F}\big)$. If we consider its zero locus
$(s)_0\subseteq X$ then we observe that it is either empty or its codimension is at most
$2$. In particular we can write $(s)_0=Z\cup S$ as the union of two components
where $Z$ has pure codimension $2$ (or it is empty) and $S$ is either empty or an effective divisor. Thus ${\mathcal F}(-S)$ has a section vanishing
on $Z$ and we can consider its Koszul complex
\begin{equation}
  \label{seqSerre}
  0\longrightarrow {\mathcal O}_X(S)\longrightarrow {\mathcal F}\longrightarrow {\mathcal I}_{Z\vert X}(-S)\otimes\det({\mathcal F})\longrightarrow 0.
\end{equation}
Sequence \ref{seqSerre} tensored by ${\mathcal O}_Z$ yields ${\mathcal I}_{Z\vert X}/{\mathcal I}^2_{Z\vert X}\cong{\mathcal F}^\vee(S)\otimes{\mathcal O}_Z$, whence
\begin{equation}
\label{Normal}
{\mathcal N}_{Z\vert X}\cong{\mathcal F}(-S)\otimes{\mathcal O}_Z.
\end{equation}
Notice that if $S=0$, then $Z$ is locally complete intersection inside $X$ and it has no embedded components.

The above construction can be reversed thanks to the Serre correspondence as follows.

\begin{theorem}
  \label{tSerre}
Let $X$ be a smooth variety of dimension $n\ge2$ and let $Z\subseteq X$ be a locally complete intersection subscheme of dimension $n-2$.

If $\det({\mathcal N}_{Z\vert X})\cong{\mathcal O}_Z\otimes\mathcal L$ for some $\mathcal L\in\operatorname{Pic}(X)$ such that $h^2\big(X,\mathcal L^\vee\big)=0$, then there exist vector bundles ${\mathcal F}$ of rank $2$ on $X$ such that:
  \begin{enumerate}
  \item $\det({\mathcal F})\cong\mathcal L$;
  \item ${\mathcal F}$ has a section $s$ such that $Z$ coincides with the zero locus $(s)_0$ of $s$.
  \end{enumerate}
Moreover, the vector bundles ${\mathcal F}$ as above are parameterized by a projective space of dimension $h^1\big(X,{\mathcal L}^\vee\big)$.
\end{theorem}
\begin{proof}
The vector bundles ${\mathcal F}$ mentioned in the statement are parameterized by the points of the projectivized of $\Ext_X^1\big({\mathcal I}_{Z\vert X}\otimes\mathcal L,{\mathcal O}_X\big)$ which has dimension $h^1\big(X,{\mathcal L}^\vee\big)$ as explained in the proof of \cite[Theorem 1.1]{Ar}: for further details see \cite{Ar}.
\end{proof}

A vector bundle ${\mathcal F}$ on $X$ is {\sl simple} if $h^0\big(X,{\mathcal F}\otimes{\mathcal F}^\vee\big)=1$. In particular simple vector bundles are indecomposable.

\begin{lemma}
\label{lExt3}
If ${\mathcal F}$ is a simple vector bundle on a smooth variety $X$ such that $h^0\big(X,\omega_X^{-1}\big)>0$ and $h^0\big(X,\omega_X^{\rk({\mathcal F})}\big)=0$, then
$$
\Ext^{\dim(X)}_{X}\big({\mathcal F},{\mathcal F}\big)=0.
$$
\end{lemma}
\begin{proof}
See \cite[Lemma 2.1]{C--C--G--M}.
\end{proof}

If ${\mathcal O}_X(H)$ is an ample line bundle, then we define the {\sl slope} of a vector bundle ${\mathcal F}$ on $X$ with respect to ${\mathcal O}_X(H)$ as $\mu({\mathcal F}):= c_1({\mathcal F})H^{n-1}/\rk({\mathcal F})$. The bundle ${\mathcal F}$ is {\sl $\mu$--stable} (resp. {\sl $\mu$--semistable}) with respect to ${\mathcal O}_X(H)$ if  $\mu(\mathcal G) < \mu({\mathcal F})$ (resp. $\mu(\mathcal G) \le \mu({\mathcal F})$) for each subsheaf $\mathcal G$ with $0<\rk(\mathcal G)<\rk({\mathcal F})$. Every $\mu$--stable bundle ${\mathcal F}$ is simple (see \cite[Corollary 1.2.8]{H--L}). The following criterion for $\mu$--(semi)stability of a vector bundle on $F$ will be used in what follows.

\begin{lemma}
\label{lHoppe}
Let ${\mathcal F}$ be a rank $2$ vector bundle on a smooth variety $X$.

Then ${\mathcal F}$ is $\mu$--stable (resp. $\mu$--semistable) if and only if
$$
h^0\big(X,{\mathcal F}(-D)\big)=0,
$$
for each divisor $D$ such that $\mu({\mathcal O}_X(D))\ge\mu({\mathcal F})$ (resp. $\mu({\mathcal O}_X(D))>\mu({\mathcal F})$).
\end{lemma}
\begin{proof}
The statement is a particular case of \cite[Corollary 4]{J--M--P--S}.
\end{proof}

Finally, we focus on the case of a Fano threefold $X$ with $i_X=1$. Let ${\mathcal E}$ be a rank $2$ vector bundle with $c_1({\mathcal E})=-h$. Equality \eqref{Serre} and the isomorphism ${\mathcal E}^\vee\cong{\mathcal E}(h)$ yield
\begin{equation}
\label{Serre1}
h^i\big(X,{\mathcal E}(D)\big)=h^{3-i}\big(X,{\mathcal E}(-D)\big)
\end{equation}
for each line bundle ${\mathcal O}_F(D)\in\operatorname{Pic}(X)$. In particular $h^0\big(X,{\mathcal E}\big)=h^3\big(X,{\mathcal E}\big)$, hence the following lemma is easy to prove.

\begin{lemma}
\label{lNatural}
Let $X$ be a Fano threefold with $i_X=1$.

A $\mu$--semistable bundle ${\mathcal E}$ of rank $2$ on $X$ such that $c_1({\mathcal E})=-h$ is an instanton bundle if and only if $h^i\big(X,{\mathcal E}\big)=0$ for each $i$.
\end{lemma}
\begin{proof}
See \cite[Proposition 4.1]{C--C--G--M}.
\end{proof}

If ${\mathcal E}$ is an indecomposable instanton bundle on $X$, then ${\mathcal E}$ is simple (see \cite[Theorem 1.8]{A--C--G}). It follows that $h^0\big(X,{\mathcal E}\otimes{\mathcal E}^\vee\big)=1$ by definition and $h^3\big(X,{\mathcal E}\otimes{\mathcal E}^\vee\big)=0$ by Lemma \ref{lExt3}. Thus equality \eqref{RRgeneral} for ${\mathcal E}\otimes{\mathcal E}^\vee$ yields
\begin{equation}
\label{Ext12}
\dim\Ext^1_{X}\big({\mathcal E},{\mathcal E}\big)-\dim\Ext^2_{X}\big({\mathcal E},{\mathcal E}\big)=2c_2({\mathcal E}) h-\frac{\deg(X)}2-3,
\end{equation}
because $hc_2(\Omega_{X})={24}$ (see \cite[Exercise A.6.7]{Ha2}).

\section{The threefold $F$}
\label{sFano}
In this section we list some basic results on the  threefold $F:=\p1\times \bF_1$ where $\sigma\colon \bF_1\to\p2$ is the blow up at a fixed point.

We now recall the notation and some facts from the Introduction about the morphisms $p\colon F\to\bF_1$, $\sigma\colon\bF_1\to\p2$, $\pi_0\colon {\bF_1}\to\p1$, $q_i\colon Q\to\p1$.

We will use the same symbols $\ell$ and $e$ for denoting both the classes of the pull--back of the general line via $\sigma$ and of the exceptional divisor of $\sigma$, and their pull--backs via $p$.

There is an isomorphism ${\bF_1}\cong\bP({\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1))$ and $\pi_0$ coincides with the standard projective bundle morphism (see \cite[Example V.2.11.5]{Ha2}). It follows that the classes of a fibre of $\pi_0$ and of the unisecant of minimal self--intersection $-1$ inside $A^1(\bF_1)\cong\operatorname{Pic}(\bF_1)$ are $\ell-e$ and $e$ respectively. In particular $\vert e\vert$ contains a single divisor $E\cong\p1$.

Finally, the line bundles ${\mathcal O}_Q(\sigma_i)$ are exactly the standard spinor bundles on $Q$. We have $\Omega_{Q}\cong{\mathcal O}_Q(-2\sigma_1)\oplus{\mathcal O}_Q(-2\sigma_2)$, ${\mathcal O}_F(\xi)\cong\varphi^*{\mathcal O}_Q(\sigma_1)$, ${\mathcal O}_F(\ell-e)\cong\varphi^*{\mathcal O}_Q(\sigma_2)$ and $F\cong\bP({\mathcal O}_{Q}\oplus{\mathcal O}_Q(-\sigma_2))$. In particular, ${\mathcal O}_F(e)\cong {\mathcal O}_{\bP({\mathcal O}_{Q}\oplus{\mathcal O}_Q(-\sigma_2))}(1)$, hence $\Omega_{F\vert Q}\cong{\mathcal O}_F(-\ell-e)$, thanks to \cite[Exercise III.8.4 (b)]{Ha2}. Thus a Chern classes computation on the exact sequence
$$
0\longrightarrow \varphi^*\Omega_{Q}\longrightarrow \Omega_{F}\longrightarrow \Omega_{F\vert Q}\longrightarrow0,
$$
yields $c_2(\Omega_{F})=c_2(\Omega_{F}^\vee)=6\ell\xi-2e\xi+4\ell^2$.

Since $u\ell-ve=u(\ell-e)+(u-v)e$, it follows from \cite[Exercise III.8.4 (a)]{Ha2} that
\begin{equation}
\label{dimh^0}
h^0\big({\bF_1},{\mathcal O}_{\bF_1}(u\ell-ve)\big)=\left\lbrace\begin{array}{ll}
{{u+2}\choose2}-{{v+1}\choose2}\quad&\text{if $u,u-v\ge 0$,}\\
0\quad&\text{otherwise.}\\
\end{array}\right.
\end{equation}

The K\"unneth formula gives
\begin{equation}
\label{Kuenneth}
\begin{aligned}
h^i\big(F,{\mathcal O}_F(a\ell-be+c\xi)\big)&=h^i\big({\bF_1},{\mathcal O}_{\bF_1}(a\ell-be)\big)h^0\big(\p1,{\mathcal O}_{\p1}(c)\big)+\\
&+h^{i-1}\big({\bF_1},{\mathcal O}_{\bF_1}(a\ell-be)\big)h^1\big(\p1,{\mathcal O}_{\p1}(c)\big).
\end{aligned}
\end{equation}
In particular, the linear system $\vert e\vert$ on $F$ contains a single divisor $E$ which is the pull--back of $E\subseteq\bF_1$. By abuse of notation we still denote it by $E$. Notice that $E\cong\p1\times\p1$.

\begin{remark}
\label{rNEF}
The line bundles ${\mathcal O}_F(\ell)$, ${\mathcal O}_F(\ell-e)$, ${\mathcal O}_F(\xi)$ are globally generated, hence numerically effective, because they are the pull--back of globally generated line bundles on either ${\bF_1}$ or $\p1$.
\end{remark}

On $F$ there are several interesting families of lines, conics and rational cubics (with respect to ${\mathcal O}_F(h)\cong\omega_F^{-1}$) that will be used later on for constructing instanton bundles.

\begin{example}
\label{eLine}
The first important family of curves is the one of lines.

If $\alpha\ell\xi-\beta e\xi+\gamma\ell^2\in A^2(F)$ is the class of the curve $L\subseteq F$, then both $L(3\ell-e)$ and $L\xi$ are non--negative thanks to Remark \ref{rNEF}. In particular, if $L$ is a line, then the equality  $1=Lh=L(3\ell-e)+2L\xi$ implies
$$
1=L(3\ell-e)=3\alpha-\beta,\qquad 0=L\xi=\gamma.
$$
It follows that $L$ is the intersection of an element in $\vert\xi\vert$ with the pull--back of a divisor $\Delta\subseteq {\bF_1}$ such that $\Delta(3\ell-e)=1$, i.e. $\Delta$ is a line with respect to the embedding ${\bF_1}\subseteq\p8$ induced by ${\mathcal O}_{\bF_1}(3\ell-e)$. The equality $p_a(\Delta)=0$ then forces $\Delta=E$.

Thus the class of $L$ inside $A^2(F)$ is $e\xi$ and there is a Koszul--type resolution
$$
0\longrightarrow{\mathcal O}_{F}(-e-\xi)\longrightarrow{\mathcal O}_{F}(-e)\oplus{\mathcal O}_{F}(-\xi)\longrightarrow{\mathcal I}_{L\vert F}\longrightarrow0,
$$
In particular ${\mathcal I}_{L\vert F}/{\mathcal I}_{L\vert F}^2\cong{\mathcal I}_{L\vert F}\otimes{\mathcal O}_L\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(1)$. Thus ${\mathcal N}_{L\vert F}\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$.

Let $\Lambda$ be the Hilbert scheme of lines on $F$. The above construction shows that $\Lambda\cong\p1$, hence it is irreducible.
\end{example}

\begin{example}
\label{eA}
The line bundles ${\mathcal O}_{F}(\ell)$ and ${\mathcal O}_F(\xi)$ are globally generated  (see Remark \ref{rNEF}) and each element in $\vert \ell\vert$ is isomorphic to $\p1\times\p1$. Each general element in $\vert \xi\vert$ intersects such a divisor along a curve $A$ which is isomorphic to a general line in $\p2$ via $\sigma\circ p$: notice that $Ah=3$, hence the Hilbert polynomial of such a curve $A$ is $\chi({\mathcal O}_A(t))=3t+1$. The class of $A$ in $A^2(F)$ is $\ell\xi$ and ${\mathcal I}_{A\vert F}$ fits into the Koszul--type resolution
$$
0\longrightarrow{\mathcal O}_{F}(-\ell-\xi)\longrightarrow{\mathcal O}_{F}(-\ell)\oplus{\mathcal O}_{F}(-\xi)\longrightarrow{\mathcal I}_{A\vert F}\longrightarrow0,
$$
hence ${\mathcal N}_{A\vert F}\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(1)$. Since $A$ is contained in the pull--back of a divisor on ${\bF_1}$ which does not intersect the exceptional divisor it follows that $A\cap E=\emptyset$, hence $A\not\subseteq E$.

We denote by $\Gamma_A$ the locus of curves as above inside the Hilbert scheme of curves on $F$ with Hilbert polynomial $3t+1$. The locus $\Gamma_A$ is irreducible because it is dominated by $\vert\ell\vert\times\vert\xi\vert$.
\end{example}

\begin{example}
\label{eB}
Arguing as in the previous remark we deduce that each pair of elements in $\vert \xi\vert$ and $\vert \ell-e\vert$ intersects along a curve $B$ which is isomorphic to $\p1$: notice that $Bh=2$, hence the Hilbert polynomial is $\chi({\mathcal O}_{B}(t))=2t+1$. The class of $B$ in $A^2(F)$ is  $\ell\xi-e\xi$
and ${\mathcal I}_{B\vert F}$ fits into the Koszul--type resolution
$$
0\longrightarrow{\mathcal O}_{F}(-\ell-\xi+e)\longrightarrow{\mathcal O}_{F}(-\ell+e)\oplus{\mathcal O}_{F}(-\xi)\longrightarrow{\mathcal I}_{B\vert F}\longrightarrow0,
$$
hence ${\mathcal N}_{B\vert F}\cong{\mathcal O}_{\p1}^{\oplus2}$. We have $B\not\subseteq E$, because the cohomology of the above exact sequence tensored by ${\mathcal O}_F(e)$ and equalities \eqref{Kuenneth} return $h^0\big(F,{\mathcal I}_{B\vert F}(e)\big)=0$.

We denote by $\Gamma_{B}$ the locus of curves as above inside the Hilbert scheme of curves on $F$ with Hilbert polynomial $2t+1$. The locus $\Gamma_B$ is irreducible because it is dominated by $\vert\ell-e\vert\times\vert\xi\vert$.
\end{example}

\begin{example}
\label{eC}
Each curve $C$ whose class in $A^2(F)$ is $\ell^2$ is isomorphic to $\p1$, because it is a fibre of the projection $p$. We have that $Ch=2$, $\chi({\mathcal O}_C(t))=2t+1$ and the ideal sheaf ${\mathcal I}_{C\vert F}$ fits into the Koszul--type resolution
$$
0\longrightarrow{\mathcal O}_{F}(-2\ell)\longrightarrow{\mathcal O}_{F}(-\ell)^{\oplus2}\longrightarrow{\mathcal I}_{C\vert F}\longrightarrow0,
$$
hence ${\mathcal N}_{C\vert F}\cong{\mathcal O}_{\p1}^{\oplus2}$. Notice that $C$ is the inverse image of a point on ${\bF_1}$: hence $C\cap E=\emptyset$ for each general $C$, hence $C\not\subseteq E$.

Let $\Gamma_C$ be the locus of curves as above inside the Hilbert scheme of curves on $F$ with Hilbert polynomial $2t+1$. The locus $\Gamma_C$ is irreducible because it is dominated by $\vert\ell\vert^{\times2}$.
\end{example}

\section{Monads for instanton bundles on $F$}
\label{sMonad}
In this section, for each instanton bundle ${\mathcal E}$ on $F$, we construct a monad whose cohomology is exactly ${\mathcal E}$.

We refer the reader to the paper \cite{G--K} and the references therein for the results that we list below in a very concise way. Let $D^b (X)$ be the bounded derived category of coherent sheaves on a smooth variety $X$. For each sheaf $\cA$ and integer $k$ we denote by $\cA[k]$ the trivial complex defined as
$$
\cA[k]^i=\left\lbrace\begin{array}{ll}
0\quad&\text{if $i\ne k$,}\\
\cA\quad&\text{if $i=k$.}
\end{array}\right.
$$
with the trivial differentials: we will often omit $[0]$ in the notation. A coherent sheaf $\cA$ is {\sl exceptional} as trivial complex in $D^b(X)$ if
$$
\Ext_X^k\big(\cA, \cA\big) = \left\lbrace\begin{array}{ll}
0\quad&\text{if $k\ne 0$,}\\
\bC\quad&\text{if $k=0$.}
\end{array}\right.
$$
 An ordered set of exceptional objects $(\cA_0,\dots, \cA_s)$ is an {\sl exceptional collection} if $\Ext_{X}^k\big(\cA_i, \cA_j\big) = 0$ when $i > j$ and $k\in\bZ$. An exceptional collection is {\sl full} if it generates $D^b(X)$. An exceptional collection is {\sl strong} if $
\Ext_{X}^k\big(\cA_i, \cA_j\big) = 0$ when $i < j$ and $k\in\bZ\setminus\{\ 0\ \}$.

If $(\cA_0[k_0],\dots,\cA_s[k_s])$ is full and exceptional, then there exists a unique collection $(\cB_0,\dots,\cB_s )$ satisfying
$$
\Ext_{X}^{k-k_i}\big(\cA_i,\cB_j\big)=\left\lbrace\begin{array}{ll}
\bC\quad&\text{if $i+j= s$ and $i=k$,}\\
0\quad&\text{otherwise,}
\end{array}\right.
$$
which is called the {\sl right dual collection} of $(\cA_0[k_0],\dots,\cA_s[k_s])$ (see \cite[Proposition 2.6.1]{G--K}).
\begin{lemma}
The collection
\begin{align*}
({\mathcal F}_0[v_0]&,\dots,{\mathcal F}_7[v_7]):=({\mathcal O}_F[v_0],{\mathcal O}_F(\ell-e)[v_1],{\mathcal O}_F(e)[v_2],\\
&{\mathcal O}_F(\ell)[v_3],{\mathcal O}_F(\xi)[v_4],{\mathcal O}_F(\ell-e+\xi)[v_5],{\mathcal O}_F(e+\xi)[v_6],{\mathcal O}_F(\ell+\xi)[v_7])
\end{align*}
where $v_0=v_1=0$, $v_2=v_3=1$, $v_4=v_5=3$, $v_6=v_7=4$, is exceptional and full. Its right dual collection is
\begin{align*}
({\mathcal G}_0&,\dots,{\mathcal G}_7):=({\mathcal O}_F(-2\ell+e-\xi),{\mathcal O}_F(-\ell-\xi),\\
&{\mathcal O}_F(-\ell+e-\xi),{\mathcal O}_F(-\xi),{\mathcal O}_F(-2\ell+e),{\mathcal O}_F(-\ell),{\mathcal O}_F(-\ell+e),{\mathcal O}_F)
\end{align*}
and it is strong.
\end{lemma}
\begin{proof}
The projection $p\colon F\to {\bF_1}$ induces an isomorphism $F\cong\bP({\mathcal O}_{\bF_1}^{\oplus2})\to {\bF_1}$ identifying ${\mathcal O}_{\bP({\mathcal O}_{\bF_1}^{\oplus2})}(1)\cong{\mathcal O}_F(\xi)$. Moreover, ${\bF_1}\cong\bP({\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1))$.

Thus the assertion on $({\mathcal F}_0[v_0],\dots,{\mathcal F}_7[v_7])$ follows by applying \cite[Corollary 2.7]{Orl} twice, first to $\pi_0$ and then to $p$. We have $\Ext_{X}^{k}\big({\mathcal F}_i,{\mathcal G}_j\big)\cong H^k\big(F,{\mathcal F}_i^\vee\otimes{\mathcal G}_j\big)$, because  ${\mathcal G}_i$ and ${\mathcal F}_j$ are locally free sheaves. Thus a direct computation of the latter space via equalities \eqref{Kuenneth} yields all the assertions on $({\mathcal G}_0,\dots,{\mathcal G}_7)$.
\end{proof}

We are ready to prove the main result of this section.

\begin{lemma}
\label{lAO}
Let ${\mathcal E}$ be an instanton bundle on $F$. Then ${\mathcal E}$  is the cohomology in degree $0$ of a complex ${{\mathcal C}}^\bullet$ with $i^{th}$--module
$$
{{\mathcal C}}^i:=\bigoplus_{p+q=i}\Ext_F^{q-v_p}\big({\mathcal F}_{-p},{\mathcal E}\big)\otimes {\mathcal G}_{7+p}
$$
\end{lemma}
\begin{proof}
The statement is equivalent to the assertion that the complex ${\mathcal E}[0]$ is quasi--isomorphic to the complex ${{\mathcal C}}^\bullet$. But such an assertion is \cite[Section 2.7.3]{G--K}.
\end{proof}

Thus, in order to prove Theorem \ref{tMonad}, it suffices to compute the dimensions $e^{p,q}:=h^{q-v_p}\big(F,{\mathcal E}\otimes{\mathcal F}_{-p}^\vee\big)$ of the vector spaces $E^{p,q}_1=\Ext_F^{q-v_p}\big({\mathcal F}_{-p},{\mathcal E}\big)$, where $-7\le p\le0$ and $0\le q\le 7$.

To this purpose we will repeatedly use Lemma \ref{lHoppe} in the following form: the rank $2$ bundle ${\mathcal E}$ on $F$ is $\mu$--semistable if and only if $h^0\big(F,{\mathcal E}(-a\ell+be-c\xi)\big)=0$ whenever
\begin{equation}
\label{Hoppe}
3a+2c+6\ge b.
\end{equation}

\begin{proposition}
\label{pTable}
Let ${\mathcal E}$ be an instanton bundle on $F$.

If $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi +\gamma\ell^2$ and
$$
\delta:= h^1\big(F,{\mathcal E}(-e)\big),\qquad \epsilon:=h^1\big(F,{\mathcal E}(-e-\xi)\big),
$$
then $e^{p,q}$ is the number in position $(p,q)$ in the following table.
\begin{table}[H]
\begin{tiny}
\centering
\bgroup
\def1.5{1.5}
\begin{tabular}{ccccccccc}
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=7$ \\
\cline{1-8}
\multicolumn{1}{|c|}{$\alpha+\gamma-6$} & \multicolumn{1}{c|}{$\beta+\gamma+\epsilon-2$} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=6$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{$\epsilon$} & \multicolumn{1}{c|}{$\alpha-\beta+\gamma-4$} & \multicolumn{1}{c|}{$\gamma-2$} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=5$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} &\multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=4$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} &\multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{$\alpha-3$} & \multicolumn{1}{c|}{$\beta+\delta-1$} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=3$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} &\multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{$\delta$} & \multicolumn{1}{c|}{$\alpha-\beta-2$} & \multicolumn{1}{c|}{0} & $q=2$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0}& $q=1$ \\
\cline{1-8}
\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} &\multicolumn{1}{|c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & \multicolumn{1}{c|}{0} & $q=0$ \\
\cline{1-8}
$p=-7$ & $p=-6$ & $p=-5$ & $p=-4$ & $p=-3$ & $p=-2$ & $p=-1$ & $p=0$
\end{tabular}
\egroup
\caption{The values of $e^{p,q}$}
\end{tiny}
\end{table}
\end{proposition}
\begin{proof}
It is clear that $e^{p,q}=0$ if  $p=0,-1$ and $q\ge 4$, or $p=-2,-3$ and $q=0,5,6,7$, or $p=-4,-5$ and $q=0,1,2,7$, or $p=-6,-7$ and $q\le3$.
Lemma \ref{lNatural} yields $e^{0,q}=0$ also for $q\le3$. Thus $e^{p,q}=0$ if  $p=-1$ and $q=0$, or $p=-2,-3$ and $q=1$, or $p=-4,-5$ and $q=3$, or $p=-6,-7$ and $q=4$, thanks to Lemma \ref{lHoppe} and inequality \eqref{Hoppe}.

Equality \eqref{Serre1}, Lemma \ref{lHoppe} and inequality \eqref{Hoppe} imply that $e^{p,q}=0$ if  $p=-1$ and $q=3$, or $p=-2,-3$ and $q=4$, or $p=-4,-5$ and $q=6$, or $p=-6,-7$ and $q=7$.

We have $(\ell-e)^2=\ell e=0$ on ${\bF_1}$. Thus, the Koszul complexes associated to general pairs  in $H^0\big({\bF_1},{\mathcal O}_{\bF_1}(\ell-e)\big)^{\oplus2}$ and $H^0\big({\bF_1},{\mathcal O}_{\bF_1}(\ell)\big)\oplus H^0\big({\bF_1},{\mathcal O}_{\bF_1}(e)\big)$ induce the exact sequences
\begin{gather*}
0\longrightarrow {\mathcal E}(e-\ell)\longrightarrow {\mathcal E}^{\oplus2}\longrightarrow {\mathcal E}(\ell-e)\longrightarrow 0,\\
0\longrightarrow {\mathcal E}(-\ell)\longrightarrow {\mathcal E}\oplus{\mathcal E}(e-\ell)\longrightarrow {\mathcal E}(e)\longrightarrow 0.
\end{gather*}
Equality \eqref{Serre1} implies $h^0\big(F,{\mathcal E}(\ell-e)\big)=e^{-1,3}$. As pointed out above the number on the right is zero, hence the cohomology of the first sequence above yields $e^{-1,1}=0$, also thanks to Lemma \ref{lNatural}. Thus the cohomology of the second sequence above also implies $e^{-3,2}=0$, thanks to $e^{-2,4}=0$ and equality \eqref{Serre1}.

Equality \eqref{Serre1} implies $h^0\big(F,{\mathcal E}(\xi)\big)=e^{-4,6}$, which we know to be zero. Thus the cohomology of sequence
\begin{equation}
\label{seqEuler}
0\longrightarrow{\mathcal O}_{F}(-\xi)\longrightarrow{\mathcal O}_{F}^{\oplus2}\longrightarrow{\mathcal O}_{F}(\xi)\longrightarrow0
\end{equation}
 tensored by ${\mathcal E}$, Lemma \ref{lNatural} and equality \eqref{Serre1} return $e^{-4,4}=h^1\big(F,{\mathcal E}(-\xi)\big)=0$.

We have $h^0\big(F,{\mathcal E}(-\ell+e+\xi)\big)=h^0\big(F,{\mathcal E}(-\ell+\xi)\big)=0$ again by Lemma \ref{lHoppe} and inequality \eqref{Hoppe}: the cohomology of sequence \eqref{seqEuler} tensored by ${\mathcal E}(e-\ell)$ and ${\mathcal E}(-\ell)$ then yields respectively $e^{-5,4}=h^0\big(F,{\mathcal E}(-\ell+e+\xi)\big)=0$ and $e^{-7,5}=h^0\big(F,{\mathcal E}(-\ell+\xi)\big)=0$.

The remaining values of $e^{p,q}$ can be computed using equality \eqref{RRgeneral} and the above vanishings.
\end{proof}

\begin{remark}
\label{rInequalities}
As an immediate consequence of the non--negativity of the $e^{p,q}$'s in Table 1 we deduce inequalities \eqref{BoundInstanton1} and \eqref{BoundInstanton2}.
\end{remark}

Moreover, we also have the following result.

\begin{corollary}
\label{cBound}
Let ${\mathcal E}$ be an instanton on $F$ with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$, then $2\delta\ge\epsilon$.
\end{corollary}
\begin{proof}
It suffices to compute the cohomology of sequence \eqref{seqEuler} tensored by ${\mathcal E}(-e)$, taking into account that $h^0\big(F,{\mathcal E}(e-\xi)\big)=0$ by Lemma \ref{lHoppe} and inequality \eqref{Hoppe}.
\end{proof}

We are ready to prove Theorem \ref{tMonad} stated in the introduction. Recall that
\begin{gather*}
{\mathcal C}^{-1}:={\mathcal O}_{F}(-2\ell+e-\xi)^{\oplus\alpha+\gamma-6}\oplus{\mathcal O}_{F}(-\ell-\xi)^{\oplus\epsilon},\\
\begin{align*}
{\mathcal C}^0:={\mathcal O}_{F}(-\ell-\xi)^{\oplus\beta+\gamma+\epsilon-2}&\oplus{\mathcal O}_{F}(-\ell+e-\xi)^{\oplus\alpha-\beta+\gamma-4}\oplus\\
&\oplus{\mathcal O}_F(-2\ell+e)^{\oplus\alpha-3}\oplus{\mathcal O}_F(-\ell)^{\oplus\delta},
\end{align*}\\
{\mathcal C}^1:={\mathcal O}_{F}(-\xi)^{\oplus\gamma-2}\oplus{\mathcal O}_{F}(-\ell)^{\oplus\beta+\delta-1}\oplus{\mathcal O}_{F}(-\ell+e)^{\oplus\alpha-\beta-2}.
\end{gather*}

\medbreak
\noindent{\it Proof of Theorem \ref{tMonad}.}
The first part of the statement can be obtained by combining Lemma \ref{lAO} and Proposition \ref{pTable}.

Conversely, assume that the cohomology ${\mathcal E}$ of monad \eqref{Monad}  is a $\mu$--semistable vector bundle of rank $2$, so   $h^0\big(F,{\mathcal E}\big)=0$. It is easy to check that
\begin{gather*}
c_1({\mathcal E})=-3\ell+e-2\xi,\qquad
c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi +\gamma \ell^2.
\end{gather*}
We have to check the other bounds on the cohomology of ${\mathcal E}$. To this purpose consider the two short exact sequences
\begin{equation}
\label{Display}
\begin{gathered}
0\longrightarrow \cK\longrightarrow {\mathcal C}^0\longrightarrow{\mathcal C}^{1}\longrightarrow0,\\
0\longrightarrow {\mathcal C}^{-1}\longrightarrow \cK\longrightarrow{\mathcal E}\longrightarrow0.
\end{gathered}
\end{equation}
Equalities \eqref{Kuenneth} and the cohomology of  sequences \eqref{Display} tensored by ${\mathcal O}_F(-e)$ imply
$$
h^1\big({F},{\mathcal E}(-e)\big)\le (\alpha-3)h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-2\ell)\big)+\delta h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-\ell-e)\big).
$$
Trivially $h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-2\ell)\big)=h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-\ell-e)\big)=0$. Moreover
\begin{gather*}
h^2\big({\bF_1},{\mathcal O}_{\bF_1}(-2\ell)\big)=h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-\ell+e)\big)=0,\\
h^2\big({\bF_1},{\mathcal O}_{\bF_1}(-\ell-e)\big)=h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-2\ell+2e)\big)=0.
\end{gather*}
Thus equality \eqref{RRsurface} yields
\begin{gather*}
-h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-2\ell)\big)=\chi({\mathcal O}_{\bF_1}(-2\ell))=0, \\
 -h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-\ell-e)\big)=\chi({\mathcal O}_{\bF_1}(-\ell-e))=-1,
\end{gather*}
whence we deduce $h^1\big({F},{\mathcal E}(-e)\big)\le \delta$. Essentially the same argument also yields $h^1\big({F},{\mathcal E}(-\ell-e)\big)\le \epsilon$.

Now let $D\in\vert a\ell-be+c\xi\vert$ be effective. Thus we obtain $a=D\ell\xi\ge0$, $c=D\ell^2\ge0$ and $a-b=D(\ell-e)\xi\ge0$, as an immediate consequence of Remark \ref{rNEF}. Assume $b<0$. Then $b=De\xi$, hence all the lines with class $e\xi$ are contained in $D$. Since such lines cover the whole exceptional divisor $E$, it follows that $E\subseteq D$. Thus, if $D$ is integral, either $D=E$ or $D\ne E$ and $b\ge0$.

If $a,b,c\ge0$, then again the cohomology of sequences \eqref{Display} implies
\begin{align*}
h^1\big(F,{\mathcal E}(-D)\big)&\le (\alpha+\gamma-6) h^2\big(F,{\mathcal O}_F(-(a+2)\ell+(b+1)e-(c+1)\xi)\big)+\\
&+\epsilon h^2\big(F,{\mathcal O}_F(-(a+1)\ell+be-(c+1)\xi)\big).
\end{align*}
If $c=0$, then equalities \eqref{Kuenneth} automatically imply $h^1\big(F,{\mathcal E}(-D)\big)=0$. In order to prove that $h^1\big(F,{\mathcal E}(-D)\big)=0$ when $c\ge1$, it suffices to check that
\begin{equation}
\label{h^1vanishing}
h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+2)\ell+(b+1)e)\big)=h^1\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+1)\ell+be)\big)=0
\end{equation}
again thanks to equalities \eqref{Kuenneth}. Notice that
$$
h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+2)\ell+(b+1)e)\big)=h^0\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+1)\ell+be)\big)=0,
$$
because $a\ge0$. Equalities \eqref{Serre}, \eqref{dimh^0} and \eqref{RRsurface} yield
\begin{gather*}
\begin{align*}
h^2\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+2)\ell+(b+1)e)\big)&=h^0\big({\bF_1},{\mathcal O}_{\bF_1}((a-1)\ell-be)\big)=\\
&=\chi({\mathcal O}_{\bF_1}(-(a+2)\ell+(b+1)e)),
\end{align*}\\
\begin{align*}
h^2\big({\bF_1},{\mathcal O}_{\bF_1}(-(a+1)\ell+be)\big)&=h^0\big({\bF_1},{\mathcal O}_{\bF_1}((a-2)\ell-(b-1)e)\big)=\\
&=\chi({\mathcal O}_{\bF_1}(-(a+1)\ell+be))
\end{align*}
\end{gather*}
hence equalities \eqref{h^1vanishing} hold true. In particular $h^1\big(F,{\mathcal E}\big)=0$.
\qed
\medbreak

\begin{remark}
\label{rConfront}
Each monad on $F$ can be also viewed as a family of monads on $\bF_1$ parameterized by $\p1$.

Let ${\mathcal E}$ be an instanton bundle ${\mathcal E}$ with $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$. If $S\cong\bF_1$ is any fibre of $\pi$, then ${\mathcal E}_S:={\mathcal E}\otimes{\mathcal O}_S$ is a vector bundle satisfying $c_1({\mathcal E}_S)=-3\ell+e$ and $c_2({\mathcal E}_S)=\gamma$. Since ${\mathcal E}_S$ is a vector bundle, then the restrictions of the sequences \eqref{Display} to $S$ yields the monad
\begin{align*}
0&\longrightarrow{\mathcal O}_S(-2\ell+e)^{\oplus\alpha+\gamma-6}\oplus{\mathcal O}_S(-\ell)^{\oplus\epsilon}\longrightarrow\\
&\longrightarrow{\mathcal O}_S(-\ell)^{\oplus\beta+\gamma+\delta+\epsilon-2}\oplus{\mathcal O}_S(-\ell+e)^{\oplus\alpha-\beta+\gamma-4}\oplus{\mathcal O}_S(-2\ell+e)^{\oplus\alpha-3}\longrightarrow\\
&\longrightarrow{\mathcal O}_S^{\oplus\gamma-2}\oplus{\mathcal O}_S(-\ell)^{\oplus\beta+\delta-1}\oplus{\mathcal O}_S(-\ell+e)^{\oplus\alpha-\beta-2}\longrightarrow0
\end{align*}
whose cohomology is  ${\mathcal E}_S$.

Monads on $\bF_1$ have been widely studied: e.g. see \cite{King, Buch1, Buch2}. In particular, if $\sigma_*{\mathcal E}_S$ is semistable, then \cite[Proposition 1.10]{Buch2} implies that ${\mathcal E}_S$ is the cohomology of a monad of the form
\begin{equation*}
0\longrightarrow\cK\longrightarrow{\mathcal O}_S(-\ell)^{\oplus k}\longrightarrow\mathcal L\longrightarrow0
\end{equation*}
where $\cK$ and $\mathcal L$ are direct sums of suitable line bundles on $S\cong\bF_1$ and $k$ depends only on $\gamma$.

The two monads above are trivially different. Moreover, the cohomologies of the restrictions to $S$ of the sequences \eqref{Display} yield $h^0\big(S,{\mathcal E}_S(\ell)\big)\ge3-\gamma$. The Leray spectral sequence $E_2^{p,q}:=H^p\big(\p2,R^q\sigma_*{\mathcal E}_S\otimes{\mathcal O}_{\p2}(1)\big)$ abuts to $H^{p+q}\big(S,{\mathcal E}_S(\ell)\big)$, hence
$$
h^0\big(\p2,\sigma_*{\mathcal E}_S\otimes{\mathcal O}_{\p2}(1)\big)\ge3-\gamma.
$$
Lemma \ref{lHoppe} then implies that $\sigma_*{\mathcal E}_S$ is not $\mu$--semistable if $\gamma=2$. It follows that $\sigma_*{\mathcal E}_S$ is not even semistable in this case.
\end{remark}

Let us conclude this section with a remark on earnest instanton bundles. Let us recall this notion (see \cite{C--C--G--M} for more details): an instanton bundle ${\mathcal E}$ on a Fano threefold is called {\sl earnest} if $h^1\big(X,{\mathcal E}(-q_Xh-D)\big)=0$ whenever $\vert D\vert\ne\emptyset$ contains smooth integral elements. The following corollary is an immediate consequence of Theorem \ref{tMonad} and Corollary \ref{cBound}.

\begin{corollary}
\label{cExotic}
Let ${\mathcal E}$ be an instanton on $F$. Then ${\mathcal E}$ is earnest if and only if $h^1\big({F},{\mathcal E}(-e)\big)=0$.
\end{corollary}

\section{Existence of instanton bundles}
\label{sInstanton}

In this section we show that  instanton bundles on $F$ exist for each admissible value of the second Chern class. As pointed in the introduction it is easy to give examples of decomposable instanton bundles on $F$.

\begin{example}
\label{eDecomposable}
Let $\cA:={\mathcal O}_F(-2\ell)$ and $\cB:={\mathcal O}_F(-\ell+e-2\xi)$. If ${\mathcal E}:=\cA\oplus\cB$, then $c_1({\mathcal E})=-h$ and  equalities \eqref{Kuenneth} yield $h^i\big(F,{\mathcal E}\big)=0$ for $i=0,1$. Moreover, $\mu(\cA)=\mu(\cB)=-24$, hence ${\mathcal E}$ is also $\mu$--semistable. Thus ${\mathcal E}$ is a decomposable instanton bundle
\end{example}

In order to construct indecomposable instanton bundles we need two different constructions, one for the earnest bundles and the other for non--earnest ones.

\begin{construction}
\label{conInstanton}
Let $\alpha,\beta,\gamma\in\bZ$ satisfy inequalities \eqref{BoundInstanton1}. If $\beta\ge1$, thanks to Examples \ref{eA}, \ref{eB} and \ref{eC} we can take pairwise disjoint curves
$$
A_1,\dots, A_{\alpha-2-\beta}\in \Gamma_A,\qquad B_1,\dots,B_{\beta-1}\in\Gamma_{B},\qquad C_1,\dots,C_{\gamma-2}\in\Gamma_C.
$$
If $\beta\le0$, thanks to Examples  \ref{eA}, \ref{eLine} and \ref{eC} we can take pairwise disjoint curves
$$
A_1,\dots, A_{\alpha-3}\in \Gamma_A,\qquad B_1,\dots,B_{1-\beta}\in\Lambda_{E},\qquad C_1,\dots,C_{\gamma-2}\in\Gamma_C.
$$
We use Theorem \ref{tSerre} for constructing an instanton bundle from the  union $Z$ of such pairwise disjoint curves. The curve $Z$ is  smooth and
$$
\det({\mathcal N}_{Z\vert F})\cong\left\lbrace\begin{array}{ll}
{\mathcal O}_{F}(\ell- e)\otimes{\mathcal O}_Z\quad&\text{if $\beta\ge1$,}\\
{\mathcal O}_{F}(\ell+e)\otimes{\mathcal O}_Z\quad&\text{if $\beta\le0$,}
\end{array}\right.
$$
because all the connected components of $Z$ are isomorphic to $\p1$ and
\begin{equation*}
(\ell\pm e)\ell\xi=1,\qquad (\ell- e)(\ell\xi-e\xi)=(\ell\pm e)\ell^2=0,\qquad (\ell+ e)e\xi=-1.
\end{equation*}
Thanks to equalities \eqref{Kuenneth} and \eqref{Serre} on ${\bF_1}$ we have
\begin{gather*}
h^2\big({F},{\mathcal O}_{F}(-\ell+e)\big)=h^2\big({{\bF_1}},{\mathcal O}_{{\bF_1}}(-\ell+e)\big)=h^0\big({{\bF_1}},{\mathcal O}_{{\bF_1}}(-2\ell)\big)=0\\
h^2\big({F},{\mathcal O}_{F}(-\ell-e)\big)=h^2\big({{\bF_1}},{\mathcal O}_{{\bF_1}}(-\ell-e)\big)=h^0\big({{\bF_1}},{\mathcal O}_{{\bF_1}}(2e-2\ell)\big)=0.
\end{gather*}
If $\beta\ge1$, then there is a vector bundle ${\mathcal F}$ on $F$ such that $c_1({\mathcal F})=\ell-e$, $c_2({\mathcal F})=Z$ and fitting into sequence \eqref{seqSerre}. Thus ${\mathcal E}:={\mathcal F}(-2\ell+e-\xi)$ fits into
\begin{equation}
\label{seqEarnest}
0\longrightarrow{\mathcal O}_{F}(-2\ell+e-\xi)\longrightarrow{\mathcal E}\longrightarrow{\mathcal I}_{Z\vert F}(-\ell-\xi)\longrightarrow0.
\end{equation}
If $\beta\le0$, then there is a vector bundle ${\mathcal F}$ on $F$ such that $c_1({\mathcal F})=\ell+e$, $c_2({\mathcal F})=Z$ and fitting into sequence \eqref{seqSerre}. Thus ${\mathcal E}:={\mathcal F}(-2\ell-\xi)$ fits into
\begin{equation}
\label{seqNonEarnest}
0\longrightarrow{\mathcal O}_{F}(-2\ell-\xi)\longrightarrow{\mathcal E}\longrightarrow{\mathcal I}_{Z\vert F}(-\ell+e-\xi)\longrightarrow0.
\end{equation}
\end{construction}

It is easy to check that $c_1({\mathcal E})=-h$ and $c_2({\mathcal E})=\alpha\ell\xi-\beta e\xi+\gamma\ell^2$.
\begin{remark}
\label{rBound}
Thanks to  inequalities \eqref{BoundInstanton1} we deduce $c_2({\mathcal E})h\ge14$ if $\beta\ge1$ and $c_2({\mathcal E})h\ge15$ if $\beta\le0$.
\end{remark}

We can now prove Theorem \ref{tConstruction} stated in the introduction.

\medbreak
\noindent{\it Proof of Theorem \ref{tConstruction}.}
First we consider the case $\beta\ge1$.

We start the proof by dealing with the $\mu$--stability of ${\mathcal E}$ with the help of Lemma \ref{lHoppe} and inequality \eqref{Hoppe}. The cohomology of sequence \eqref{seqEarnest} tensored by ${\mathcal O}_{F}(-a\ell+be-c\xi)$ with $3a+2c+6\ge b$ yields the inequalities
\begin{align*}
h^0\big(F,{\mathcal E}(-a\ell+be-c\xi)\big)\le  u+w\le v+w
\end{align*}
where
\begin{gather*}
u:=h^0\big(F,{\mathcal I}_{Z\vert F}(-(a+1)\ell+be-(c+1)\xi)\big),\\
v:=h^0\big(F,{\mathcal O}_{F}(-(a+1)\ell+be-(c+1)\xi)\big),\\
w:=h^0\big(F,{\mathcal O}_{F}(-(a+2)\ell+be-(c+1)\xi)\big).
\end{gather*}
Thanks to equalities \eqref{Kuenneth}
\begin{gather*}
v=h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+1)\ell+be)\big)h^0\big(\p1,{\mathcal O}_{\p1}(-c-1)\big),\\
w=h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+2)\ell+be)\big)h^0\big(\p1,{\mathcal O}_{\p1}(-c-1)\big).
\end{gather*}

We claim that $w=0$. This is true if $h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+2)\ell+be)\big)=0$. If $h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+2)\ell+be)\big)\ge1$, then $b\ge 3a+6$ because ${\mathcal O}_{\bF_1}(3\ell-e)$ is ample. Thus the inequality $3a+2c+6\ge b$ implies $c\ge0$, hence $h^0\big(\p1,{\mathcal O}_{\p1}(-c-1)\big)=0$ and $w=0$

We claim that $u=0$. This is  true if $h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+1)\ell+be)\big)=0$. If $h^0\big({\bF_1},{\mathcal O}_{{\bF_1}}(-(a+1)\ell+be)\big)\ge1$, then $a\le-1$ because ${\mathcal O}_{\bF_1}(\ell)$ is globally generated. The same argument used to prove that $w=0$ implies $c=-1$. Thus the inequality $3a+2c+6\ge b$ forces $a=-1$, $b\ge0$ and, consequently, $u=h^0\big(F,{\mathcal I}_{Z\vert F}(be)\big)$. The linear system $\vert be\vert$ on $F$ contains a single divisor with support $E$, because the same is true for divisors in the linear system $\vert be\vert$ on ${\bF_1}$. As pointed out in Examples \ref{eA}, \ref{eB}, \ref{eC} no component of $Z$ is contained in $E$, it follows that $u=0$. Thus the proof of the $\mu$--stability of ${\mathcal E}$ is complete.

In particular, the above discussion also implies $h^0\big(F,{\mathcal E}\big)=0$. We will show below that $h^1\big(F,{\mathcal E}(-D)\big)=0$ for each divisor $D\subseteq F$ with $h^0\big(F,{\mathcal O}_F(D)\big)\ne0$. Thus we also deduce $h^1\big(F,{\mathcal E}\big)=0$. Since $c_1({\mathcal E})=-h$ by construction, it follows that ${\mathcal E}$ is earnest instanton bundle.

In order to check the aforementioned vanishing $h^1\big(F,{\mathcal E}(-D)\big)=0$, assume that ${\mathcal O}_F(D)\cong{\mathcal O}_F(a\ell-be+c\xi)$. Since ${\mathcal O}_F(\ell)$, ${\mathcal O}_F(\ell-e_k)$ and ${\mathcal O}_F(\xi)$ are globally generated, it follows that $a=D\ell\xi\ge0$, $a-b=D(\ell\xi-e\xi)\ge0$ and $c=D\ell^2\ge0$.

The cohomology of sequence \eqref{seqEarnest} tensored by ${\mathcal O}_F(-D)$ returns
\begin{align*}
h^1\big(F,{\mathcal E}(-D)\big)&\le h^1\big(F,{\mathcal O}_F(-(a+2)\ell+be-(c+1)\xi)\big)+\\
&+h^1\big(F,{\mathcal I}_{Z\vert F}(-(a+1)\ell+be-(c+1)\xi)\big).
\end{align*}
Thus it suffices to check the vanishing of the summands on the right for each choice of integers $a,c\ge0$ and $b\le a$.

Equalities \eqref{Kuenneth} and the aforementioned restrictions imply that the first righthand summand vanishes. Moreover, a similar argument applied to the cohomology of sequence
\begin{equation}
\label{seqIdeal}
0\longrightarrow {\mathcal I}_{Z\vert F}\longrightarrow {\mathcal O}_{F}\longrightarrow {\mathcal O}_{Z}\longrightarrow0
\end{equation}
tensored by ${\mathcal O}_F(-\ell-\xi-D)$ yields
\begin{align*}
h^1\big(F,{\mathcal I}_{Z\vert F}(-(a+1)\ell&+be-(c+1)\xi)\big)=\\
&=h^0\big(Z,{\mathcal O}_F(-(a+1)\ell+be-(c+1)\xi)\otimes{\mathcal O}_Z\big).
\end{align*}
The definition of $Z$ combined with the restrictions above on $a$, $b$ and $c$ returns also $h^1\big(F,{\mathcal I}_{Z\vert F}(-(a+1)\ell+be-(c+1)\xi)\big)=0$.

The restriction of sequence \eqref{seqEarnest} to each line $L\subseteq F$ not intersecting $Z$ is
$$
0\longrightarrow{\mathcal O}_{\p1}(-1)\longrightarrow{\mathcal E}\otimes{\mathcal O}_L\longrightarrow{\mathcal O}_{\p1}\longrightarrow0:
$$
hence ${\mathcal E}\otimes{\mathcal O}_L\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$ for each general line $L\subseteq F$.

Now we turn our attention to the case $\beta\le 0$. The proof in this case runs along the same lines of the one in the case $\beta\ge1$. In particular, the assertion of  ${\mathcal E}\otimes{\mathcal O}_L$ is immediate to prove.

In order to prove the $\mu$--stability of ${\mathcal E}$, it suffices to check that
\begin{gather*}
w:=h^0\big(F,{\mathcal O}_{F}(-(a+2)\ell+be-(c+1)\xi)\big),\\
u:=h^0\big(F,{\mathcal I}_{Z\vert F}(-(a+1)\ell+(b+1)e-(c+1)\xi)\big),
\end{gather*}
vanish when $3a+2c+6\ge b$. Equalities \eqref{Kuenneth} imply that $c\le -1$ if either $w$ or $u$ is non--zero as in the proof of the case $\beta\ge1$. If $w\ne0$, then we obtain $c\ge0$, a contradiction. If $u\ne0$, then $v:=h^0\big(Z,{\mathcal O}_F(-(a+1)\ell+(b+1)e-(c+1)\xi)\big)\ne0$. Since ${\mathcal O}_{\bF_1}(3\ell-e)$ is ample, it follows that $b\ge3a+2$ thanks to the Nakai--Moishezon criterion, hence $c\ge-2$, i.e. $c=-1,-2$.

If $c=-2$, then $b=3a+2$. Thus ${\mathcal O}_{\bF_1}(-(a+1)\ell+(b+1)e)={\mathcal O}_{\bF_1}$ thanks to the Nakai--Moishezon criterion, hence $u=h^0\big(F,{\mathcal I}_{Z\vert F}(\xi)\big)$. The dimension on the right vanishes if $\gamma\ge3$, because each divisor in $\vert \xi\vert$ is transversal to the curves in $\Gamma_C$. If $\gamma=2$, then $\alpha\ge4$, hence $Z$ contains curves both in $\Gamma_A$ and in $\Lambda$: for a general choice of $Z$ such curves are not contained in the same divisor  in $\vert \xi\vert$, thus again $u=0$.

If $c=-1$, then $3a+4\ge b\ge 3a+2$. If $b=3a+2$, as in the case $c=-2$ one deduces $u=h^0\big(F,{\mathcal I}_{Z\vert F}\big)=0$, because $\deg(Z)\ge3$. If $b=3a+3$, then $-(a+1)\ell+(b+1)e$ is the class of a line in ${\bF_1}$, which must be $E$ thanks to Example \ref{eLine}, hence $u=h^0\big(F,{\mathcal I}_{Z\vert F}(e)\big)$. Since $Z$ contains at least a curve in $\Gamma_A\cup\Gamma_C$, it follows that $u=0$ thanks to Examples \ref{eA} and \ref{eC}. If $b=3a+4$, then the linear system $\vert -(a+1)\ell+(b+1)e\vert$ on ${\bF_1}$ contains a curve of degree $2$ which can be either $2E$ or an irreducible conic. In the first case $Z\subseteq E$ which is not possible as we just proved above, hence we have only to handle the second case. The genus formula for the arithmetic genus implies that each integral conic on ${\bF_1}$ is in the linear system $\vert\ell-e\vert$, hence $u=h^0\big(F,{\mathcal I}_{Z\vert F}(\ell-e)\big)$. No curves in $\Lambda$ are contained in a divisor in the linear system $\vert \ell-e\vert$ on $F$, hence $u=0$ again. Thus the proof of the $\mu$--stability is complete.

Finally we compute $\delta:=h^1\big(F,{\mathcal E}(-e)\big)$ and $\epsilon:=h^1\big(F,{\mathcal E}(-e-\xi)\big)$. The cohomology of sequences \eqref{seqNonEarnest} and \eqref{seqIdeal} tensored by ${\mathcal O}_F(-e-\xi)$ and ${\mathcal O}_F(-\ell-2\xi)$ respectively and equalities \eqref{Kuenneth} yield
\begin{gather*}
h^1\big(F,{\mathcal I}_{Z\vert F}(-\ell-2\xi)\big)-1\le \epsilon\le h^1\big(F,{\mathcal I}_{Z\vert F}(-\ell-2\xi)\big),\\
h^1\big(F,{\mathcal I}_{Z\vert F}(-\ell-2\xi)\big)=h^0\big(Z,{\mathcal O}_F(-\ell-2\xi)\otimes{\mathcal O}_Z\big).
\end{gather*}
The dimension on the right in the latter equality is $1-\beta$ because $(\ell+2\xi)\ell\xi=1$, $(\ell+2\xi)\ell^2=2$ and $(\ell+2\xi)e\xi=0$. Similarly we obtain  $\delta=1-\beta\ge1$, hence ${\mathcal E}$ is not earnest by Corollary \ref{cExotic}.
\qed
\medbreak

The bundles ${\mathcal E}$ obtained via Construction \ref{conInstanton} are $\mu$--stable, hence simple and indecomposable. We have $h^1\big(F,{\mathcal O}_F(-\ell+e)\big)=0$ and $h^1\big(F,{\mathcal O}_F(-\ell-e)\big)=1$. In the next proposition we deal with the component of the moduli space were they sit.

\begin{proposition}
\label{pModuli}
The bundle ${\mathcal E}$ obtained via Construction \ref{conInstanton} represents a smooth point in a component
$$
{\mathcal S}{\mathcal I}_F^0(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)\subseteq{\mathcal S}{\mathcal I}_F(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)
$$
of dimension
$$
\dim\Ext^1_F\big({\mathcal E},{\mathcal E}\big)=6\alpha-2\beta+4\gamma-27.
$$
\end{proposition}
\begin{proof}
Thanks to Theorem \ref{tSerre}, if $\beta\le0$ the bundles are parameterized by the points of a projective bundle $\Pi$ with fibre $\p1$ over the open subset $\Sigma_-$  corresponding to smooth curves inside $\Gamma_A^{\times\alpha-3}\times\Lambda^{\times 1-\beta}\times \Gamma_C^{\times\gamma-2}$, hence there is a morphism
$$
\psi_-\colon\Pi\to {\mathcal S}_F(2;0,\alpha\ell\xi-\beta e\xi+\gamma \ell^2).
$$
Thanks to Examples \ref{eLine}, \ref{eA}, \ref{eC}, we know that $\Sigma_-$ is irreducible, hence the same is true for $\Pi$. If $\beta\ge1$, Construction \ref{conInstanton} yields the existence of another morphism
$$
\psi_+\colon\Sigma_+\to {\mathcal S}_F(2;0,\alpha\ell\xi-\beta e\xi+\gamma \ell^2),
$$
defined over the open irreducible subset $\Sigma_+\subseteq \Gamma_A^{\times\alpha-2-\beta}\times\Lambda^{\times \beta-1}\times \Gamma_C^{\times\gamma-2}$ corresponding to smooth curves. Since both $\Sigma_+$ and $\Pi$ are irreducible, it follows that ${\mathcal S}_+:=\im(\psi_+)$ and ${\mathcal S}_-:=\im(\psi_-)$ are irreducible too, hence they are contained in at least one component of ${\mathcal S}{\mathcal I}_F(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$.

We show below that the points in ${\mathcal S}_+$ and ${\mathcal S}_-$ are smooth, hence there is actually a unique  component containing them and we denote it by ${\mathcal S}{\mathcal I}_F^0(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$. In order to prove the smoothness of ${\mathcal S}_+$ and ${\mathcal S}_-$ it suffices to check that
$$
\dim\Ext^2_F\big({\mathcal E},{\mathcal E}\big)=h^2\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)=0.
$$
and, in what follows, we make the computations only for the case $\beta\le0$, because the argument in the case $\beta\ge1$ is similar.

The cohomology of sequence \eqref{seqNonEarnest} tensored by ${\mathcal E}^\vee\cong{\mathcal E}(h)$ and ${\mathcal O}_F(\ell-e+\xi)$  yields
$$
h^2\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)\le h^2\big(F,{\mathcal E}\otimes{\mathcal I}_{Z\vert F}(2\ell+\xi)\big)+h^2\big(F,{\mathcal E}(\ell-e+\xi)\big).
$$
Equality \eqref{Serre1} implies $h^2\big(F,{\mathcal E}(\ell-e+\xi)\big)=h^1\big(F,{\mathcal E}(-\ell+e-\xi)\big)$ and we checked in Proposition \ref{pTable} that the latter is zero.

The cohomology of sequences \eqref{seqIdeal} and \eqref{seqNonEarnest} tensored by ${\mathcal E}(2\ell+\xi)$ and ${\mathcal O}_F(2\ell+\xi)$ respectively yields
$$
h^2\big(F,{\mathcal E}\otimes{\mathcal I}_{Z\vert F}(2\ell+\xi)\big)\le h^2\big(F,{\mathcal I}_{Z\vert F}(\ell+\xi)\big)+h^1\big(Z,{\mathcal E}(2\ell+\xi)\otimes{\mathcal O}_Z\big).
$$
Equality \eqref{Normal} and the definition of ${\mathcal E}$ imply ${\mathcal E}(2\ell+\xi)\otimes{\mathcal O}_Z\cong{\mathcal N}_{Z\vert F}$. Since $Z$ is the non--empty disjoint union of the curves $A_j$, $B_j$, $C_j$, it is easy to check that the second summand on the right vanishes. The cohomology of sequence  \eqref{seqIdeal} tensored by ${\mathcal O}_F(\ell+\xi)$ finally yields
$$
h^2\big(F,{\mathcal I}_{Z\vert F}(\ell+\xi)\big)\le h^1\big(Z,{\mathcal O}_F(\ell+\xi)\otimes{\mathcal O}_Z\big).
$$
Again the definition of $Z$ implies that the dimension on the right vanishes.

Finally, the value of $\dim\Ext^1_F\big({\mathcal E},{\mathcal E}\big)$ can be deduced from the above vanishing,  Lemma \ref{lExt3} and equality \eqref{Ext12}.
\end{proof}

\begin{remark}
When $\beta\le0$, the last inequality \eqref{BoundInstanton2} implies that all the points in ${\mathcal S}{\mathcal I}_F(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$ represent non--earnest instanton bundles. When $\beta\ge1$ the general element in ${\mathcal S}{\mathcal I}_F^0(\alpha\ell\xi-\beta e\xi+\gamma \ell^2)$ is earnest, by semicontinuity.
\end{remark}

\section{Minimal instanton bundles}
\label{sMinimal}
If ${\mathcal E}$ is an instanton bundle on a Fano threefold $X$, then $c_2({\mathcal E}) h$ is bounded from below. Indeed
\begin{equation*}
c_2({\mathcal E}) h\ge k_X:=\left\lbrace\begin{array}{ll}
1\quad&\text{if $i_X=4,3$,}\\
2\quad&\text{if $i_X=2$,}\\
\left\lceil\frac{\deg(X)}4\right\rceil\quad&\text{if $i_X=1$}
\end{array}\right.
\end{equation*}
(see \cite[Corollary 4.2]{C--C--G--M}). We say that ${\mathcal E}$ is {\sl minimal} if $c_2({\mathcal E}) h$ is as small as possible.

On the one hand, if $X=F$, then $\deg(X)=48$. On the other hand, $c_2({\mathcal E})h\ge14$ by Remark \ref{rBound} for each instanton bundle ${\mathcal E}$ on $F$, hence the above general inequality is certainly not sharp for $F$.

Anyhow, taking either $\alpha=4$ and $\beta=\gamma=2$ or $\alpha=\gamma=3$ and $\beta=1$ in Construction \ref{conInstanton} one obtains the existence of instanton bundles for which the equality is attained: thus minimal instanton bundles satisfy $c_2({\mathcal E})h=14$.

\medbreak
\noindent{\it Proof of Theorem \ref{tMinimal}.}
On the one hand, inequalities \eqref{BoundInstanton1} easily imply that if a minimal instanton bundle ${\mathcal E}$ exists on $F$, then $c_2({\mathcal E})$ is either $3\ell\xi- e\xi+3 \ell^2$ or $4\ell\xi-2 e\xi+2 \ell^2$. On the other hand, Theorem \ref{tConstruction} for $\beta\ge1$ implies that instanton bundles ${\mathcal E}$ with charge either $4\ell\xi-2e\xi+2 \ell^2$ or $3\ell\xi-e\xi+3 \ell^2$ certainly exist.

Let ${\mathcal E}$ be a minimal instanton bundle on $F$ so that $c_2({\mathcal E})h=14$. The cohomology of
\begin{equation*}
0\longrightarrow{\mathcal E}(-\ell)\longrightarrow{\mathcal E}(e-\ell)\oplus{\mathcal E}\longrightarrow{\mathcal E}(e)\longrightarrow0
\end{equation*}
 and equality \eqref{Serre1} yield $\delta=h^1\big(F,{\mathcal E}(-e)\big)=h^2\big(F,{\mathcal E}(e)\big)=0$, hence ${\mathcal E}$ is earnest, thanks to Corollary \ref{cExotic}. Thus $\epsilon=h^1\big(F,{\mathcal E}(-e-\xi)\big)=0$, thanks to Corollary \ref{cBound}. Moreover, Theorem \ref{tMonad} yields that ${\mathcal E}$ is the kernel of a suitable map between decomposable bundles on $F$.

From now on we will assume $c_2({\mathcal E})=4\ell\xi-2e\xi+2 \ell^2$. Theorem \ref{tMonad} implies the existence of an exact sequence of the form
\begin{equation}
\label{seqMinimalEarnest1}
0\longrightarrow {\mathcal E}\longrightarrow {\mathcal O}_{F}(-\ell-\xi)^{\oplus2}\oplus{\mathcal O}_F(-2\ell+e)\mapright{M}{\mathcal O}_{F}(-\ell)\longrightarrow 0,
\end{equation}
where $M=(m_1,m_2,m)$ where $m_1,m_2\in H^0\big(F,{\mathcal O}_F(\xi)\big)$ and $m\in H^0\big(F,{\mathcal O}_F(\ell-e)\big)$. Since $M$ is surjective and the zero loci of $m_i$ and $m$ intersect, it follows that $m_1,m_2$ are linearly independent. If $m=0$, then ${\mathcal E}\cong {\mathcal O}_F(-\ell-2\xi)\oplus{\mathcal O}_F(-2\ell+e)$ which  is not $\mu$--semistable, because $\mu({\mathcal O}_F(-\ell-2\xi))=-28\ne-20=\mu({\mathcal O}_F(-2\ell-e))$. Thus $m\ne0$.

We claim that the restriction of ${\mathcal E}$ to the general line $L\subseteq F$ is isomorphic to ${\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$. Indeed, since $m_1,m_2$ are linearly independent, it follows that the restrictions of $m_1$ and $m_2$ cannot vanish simultaneously on $L$. Since the class of $L$ in $A^2(F)$ is $e\xi$, it follows that the restriction of sequence \eqref{seqMinimalEarnest1} implies that ${\mathcal E}\otimes{\mathcal O}_L\cong{\mathcal O}_{\p1}\oplus{\mathcal O}_{\p1}(-1)$, as claimed in the statement.

We claim that ${\mathcal E}$ is aCM. To prove the claim, notice that the cohomology of the dual of sequence  \eqref{seqMinimalEarnest1} tensored by ${\mathcal O}_F((t-1)h)$ yields
\begin{align*}
h^1\big(F,{\mathcal E}(th)\big)&\le 2h^1\big(F,{\mathcal O}_F((t-1)h+\ell+\xi)\big)+\\
&+h^1\big(F,{\mathcal O}_F((t-1)h+2\ell-e)\big)+h^2\big(F,{\mathcal O}_F((t-1)h+\ell)\big).
\end{align*}
Thus the assertion follows if we prove that the summands on the right vanish when $t\ge1$. Thanks to equality \eqref{Kuenneth} and the restriction $t\ge1$ such vanishings are equivalent to prove
\begin{align*}
h^1\big(\bF_1,{\mathcal O}_{\bF_1}((3t-2)\ell-(t-1)e)\big)&=h^1\big(\bF_1,{\mathcal O}_{\bF_1}((3t-1)\ell-te)\big)=\\
&=h^2\big(\bF_1,{\mathcal O}_{\bF_1}((3t-2)\ell-(t-1)e)\big)=0.
\end{align*}
Taking into account that $\omega_{\bF_1}\cong{\mathcal O}_{\bF_1}(-3\ell+e)$, equality \eqref{Serre1} yields trivially
$$
h^2\big(\bF_1,{\mathcal O}_{\bF_1}((3t-2)\ell-(t-1)e)\big)=h^0\big(\bF_1,{\mathcal O}_{\bF_1}((-3t-1)\ell+te)\big)=0.
$$
The other vanishings follow from the ampleness of ${\mathcal O}_{\bF_1}(3\ell-e)$ and the Nakai criterion. We conclude that ${\mathcal E}$ is aCM.

We claim that ${\mathcal E}$ is $\mu$--stable. To prove the claim recall that ${\mathcal O}_{F}(\xi)\cong\varphi^*{\mathcal O}_Q(\sigma_1)$, ${\mathcal O}_F(\ell-e)\cong\varphi^*{\mathcal O}_Q(\sigma_2)$. Thus, each fibre of the map $\varphi\colon F\to Q$ is a  curve in the class $(\ell-e)\xi$, hence a curve $B\in\Gamma_B$. The restriction of sequence \eqref{seqMinimalEarnest1} to $B\cong\p1$ yields ${\mathcal E}\otimes{\mathcal O}_B\cong{\mathcal O}_{\p1}^{\oplus2}$. Since the morphism $\varphi$ is flat, it follows that $R^i\varphi_*{\mathcal E}(\ell)=0$ for $i\ge0$ by \cite[Corollaries III.11.2 and III.12.9]{Ha2}.

Pushing forward sequence \eqref{seqMinimalEarnest1} tensored by ${\mathcal O}_F(\ell)$ we obtain the exact sequence
\begin{equation}
\label{seqMinimalQ}
0\longrightarrow \cA\longrightarrow {\mathcal O}_{Q}(-\sigma_1)^{\oplus2}\oplus{\mathcal O}_Q(-\sigma_2)\mapright{M}{\mathcal O}_{Q}\longrightarrow 0,
\end{equation}
where $\cA:=\varphi_*{\mathcal E}(\ell)$. We claim that $\cA$ is $\mu$--stable with respect to ${\mathcal O}_Q(\sigma_1+\sigma_2)$. Indeed, the projection formula implies $m_1,m_2\in H^0\big(Q,{\mathcal O}_Q(\sigma_1)\big)$, $m\in H^0\big(Q,{\mathcal O}_Q(\sigma_2)\big)$. Thanks to Lemma \ref{lHoppe} we know that $\cA$ is $\mu$--stable with respect to ${\mathcal O}_Q(\sigma_1+\sigma_2)$ if and only if
\begin{equation}
\label{StableA}
a+b\ge-3/2\qquad \Rightarrow\qquad h^0\big(Q,\cA(-a\sigma_1-b\sigma_2)\big)=0.
\end{equation}

Let $id_Q(a,b)$ be the identity of ${\mathcal O}_Q(-a\sigma_1-b\sigma_2)$. The cohomology of sequence \eqref{seqMinimalQ} tensored by ${\mathcal O}_Q(-a\sigma_1-b\sigma_2)$ implies that $H^0\big(Q,\cA(-a\sigma_1-b\sigma_2)\big)=0$ is the kernel of the map $M_Q(a,b)$ induced  in cohomology by $M\otimes id_Q(a,b)$. The same kind of argument used in the proof of Theorem \ref{tConstruction} yields
$$
h^0\big(Q,{\mathcal O}_Q(-a\sigma_1-(b+1)\sigma_2)\big)=h^0\big(Q,{\mathcal O}_Q(-(a+1)\sigma_1-b\sigma_2)\big)=0
$$
unless when $(a,b)$ is either $(0,-1)$ or $(-1,0)$. Since it is easy to check that both $M_Q(0,-1)$ and $M_Q(-1,0)$ are injective thanks to the restrictions on the entries $m_i$ and $m$, it follows that $\cA$ is $\mu$--stable.

We now prove the part of the statement concerning ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$. Since we already checked above the vanishing $R^i\varphi_*{\mathcal E}(\ell)=0$ for $i\ge0$, it follows from  \cite[Exercise III.8.2]{Ha2} that $h^i\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)=h^i\big(Q,\cA\otimes\cA^\vee\big)$ for each $i\ge0$. Thus ${\mathcal E}$ is simple and $h^2\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)=h^3\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)=0$, thanks to Lemma \ref{lExt3}. Equality \eqref{Ext12} then returns $h^1\big(F,{\mathcal E}\otimes{\mathcal E}^\vee\big)=1$, hence ${\mathcal E}$ corresponds to a smooth point of a unique $1$--dimensional component in ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$.

It follows that all the components of ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$ are smooth and $1$--dimensional. The sheaf $\sHom_F\big({\mathcal O}_{F}(-\ell-\xi)^{\oplus2}\oplus{\mathcal O}_F(-2\ell+e),{\mathcal O}_{F}(-\ell)\big)$ is globally generated, hence ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$ is dominated by an open and non--empty subset of the affine space $\Hom_F\big({\mathcal O}_{F}(-\ell-\xi)^{\oplus2}\oplus{\mathcal O}_F(-2\ell+e),{\mathcal O}_{F}(-\ell)\big)$. Thus ${\mathcal S}{\mathcal I}_F(4\ell\xi-2e\xi+2 \ell^2)$ is irreducible and unirational, hence it is rational by the L\"uroth theorem.

Conversely, we will prove in the last part of the proof that if $\cA$ is a rank $2$ bundle on $Q$ with $c_1(\cA)=-2\sigma_1-\sigma_2$, $c_2(\cA)=2$ and $\mu$--stable with respect to ${\mathcal O}_Q(\sigma_1+\sigma_2)$, then ${\mathcal E}:=\varphi^*\cA(-\ell)$ is a $\mu$--stable instanton bundle with $c_2({\mathcal E})=4\ell\xi-2 e\xi+2 \ell^2$. If this is true, then each instanton bundle ${\mathcal E}$ with $c_2({\mathcal E})=4\ell\xi-2 e\xi+2 \ell^2$ is necessarily $\mu$--stable, because ${\mathcal E}\cong\varphi^*(\varphi_*{\mathcal E}(\ell))(-\ell)$ thanks to the first part of the proof.

We claim that $h^0\big(F,{\mathcal E}\big)=h^1\big(F,{\mathcal E}\big)=0$. To this purpose we first check that $\cA^\vee\cong\cA(2\sigma_1+\sigma_2)$ is regular in the sense of Castelnuovo--Mumford. Indeed, Lemma \ref{lHoppe} yields $h^0\big(Q,\cA^\vee(-\sigma_1-\sigma_2)\big)=0$. Similarly $h^2\big(Q,\cA^\vee(-2\sigma_1-2\sigma_2)\big)=0$ and $h^2\big(Q,\cA^\vee(-\sigma_1-\sigma_2)\big)=0$, thanks to equality \eqref{Serre}. Equality \eqref{RRsurface} yields $h^1\big(Q,\cA^\vee(-\sigma_1-\sigma_2)\big)=0$.

Thus the regularity of $\cA^\vee$ is proved, hence it is globally generated (see \cite{Mu}). It follows the existence of an exact sequence
\begin{equation}
\label{seqAQ}
0\longrightarrow{\mathcal O}_Q(-2\sigma_1-\sigma_2)\longrightarrow \cA\longrightarrow{\mathcal I}_Y\longrightarrow0,
\end{equation}
where $Y$ is a set of $2$ distinct points. The pull--back of this exact sequence induces on $F$ the exact sequence
$$
0\longrightarrow{\mathcal O}_F(-2\ell+e-2\xi)\longrightarrow {\mathcal E}\longrightarrow{\mathcal I}_Z(-\ell)\longrightarrow0,
$$
where ${\mathcal E}(\ell):=\varphi^*\cA$ and $Z=\varphi^{-1}(Y)=B_1\cup B_2$ for disjoint curves $B_i\in\Gamma_B$. We deduce that  $c_1({\mathcal E})=-h$ and $c_2({\mathcal E})=4\ell\xi-2e\xi+2 \ell^2$ and $h^0\big(F,{\mathcal E}\big)=0$.

Equalities \eqref{Kuenneth} imply $h^1\big(F,{\mathcal O}_F(-2\ell+e-2\xi)\big)=0$. Moreover, $\ell B_i=-1$ and $B_i\cong\p1$, hence $h^0\big(B_i,{\mathcal O}_{B_i}(-\ell)\big)=0$: thus the cohomology of the sequence
$$
0\longrightarrow{\mathcal I}_Z(-\ell)\longrightarrow {\mathcal O}_F(-\ell)\longrightarrow{\mathcal O}_Z(-\ell)\longrightarrow0
$$
returns $h^1\big(F,{\mathcal I}_Z(-\ell)\big)=0$, hence $h^1\big(F,{\mathcal E}\big)=0$. Thus the claim on the cohomology of ${\mathcal E}$ is completely proved.

We claim that ${\mathcal E}$ is $\mu$--stable. To prove the claim we will make use of Lemma \ref{lHoppe} and inequality \eqref{Hoppe}. It is not difficult to check that $h^0\big(F,{\mathcal O}_F(-(a+2)\ell+(b+1)e-(c+2)\xi)\big)=0$ using equality \eqref{Kuenneth} when $3a+2c+6\ge b$. Thus the cohomology of sequence \eqref{seqAQ} tensored by ${\mathcal O}_F(-a\ell+be-c\xi)$ yields
\begin{align*}
h^0\big(F,{\mathcal E}(-a\ell+be-c\xi)\big)&\le  h^0\big(F,{\mathcal I}_Z(-(a+1)\ell+be-c\xi)\big)\le \\
&\le  h^0\big(F,{\mathcal O}_F(-(a+1)\ell+be-c\xi)\big)
\end{align*}
if  $3a+2c+6\ge b$. One easily checks that the dimension on the right is zero, when $(a,b,c)$ is not one of the following: $(-1,0,0)$, $(-1,1,0)$, $(-1,2,0)$, $(-2,-1,0)$, $(-1,3,0)$, $(-2,0,0)$, $(-1,0,-1)$, $(-1,1,-1)$.

Since the curves in $\Gamma_B$ are not contained in $E$ (see Example \ref{eB}), it follows that we can exclude the cases $(-1,0,0)$, $(-1,1,0)$, $(-1,2,0)$, $(-1,3,0)$. Since $Z$ has two distinct components then also the case $(-2,-1,0)$ cannot occur. Thus we have only to deal with
$$
h^0\big(F,{\mathcal E}(2\ell)\big),\qquad h^0\big(F,{\mathcal E}(\ell+\xi)\big),\qquad h^0\big(F,{\mathcal E}(\ell+e+\xi)\big).
$$
Thanks to \cite[Exercises III.8.1 and III.8.3]{Ha2} and the isomorphisms $\varphi_*{\mathcal E}(\ell)\cong\cA$ and $\varphi_*{\mathcal O}_F(e)\cong{\mathcal O}_Q\oplus{\mathcal O}_Q(-\ell+e)$ we deduce
\begin{gather*}
h^0\big(F,{\mathcal E}(2\ell)\big)=h^0\big(Q,\cA(\sigma_2)\oplus\cA\big),\qquad h^0\big(F,{\mathcal E}(\ell+\xi)\big)=h^0\big(Q,\cA(\sigma_1)\big),\\
h^0\big(F,{\mathcal E}(\ell+e+\xi)\big)=h^0\big(Q,\cA(\sigma_1)\oplus\cA(\sigma_1-\sigma_2)\big).
\end{gather*}
Their vanishing follows from the $\mu$--stability of $\cA$, thanks to implication \eqref{StableA}. We conclude that ${\mathcal E}$ is also $\mu$--stable.

Thanks to the previous computations, it then follows that it is  an instanton bundle as claimed. The argument for instanton bundles ${\mathcal E}$ with $c_2({\mathcal E})=3\ell\xi-e\xi+3 \ell^2$ is completely analogous.
\qed
\medbreak

Let $X$ be a threefold endowed with a very ample line bundle ${\mathcal O}_X(h)$. Recall that a vector bundle ${\mathcal F}$ on $X$ is called {\sl weakly Ulrich (with respect to ${\mathcal O}_X(h)$)} if $h^i\big(X,{\mathcal F}(th)\big)=0$ if $i=0$ and $t\le -2$, or $i=1$ and $t\ne -1,-2$, or $i=2$ and $t\ne -2,-3$, or $i=3$ and $t\ge-2$. The vector bundle ${\mathcal F}$ is called {\sl Ulrich (with respect to ${\mathcal O}_X(h)$)} if it is aCM and $h^0\big(X,{\mathcal F}(-h)\big)=h^3\big(X,{\mathcal F}(-3h)\big)=0$. See \cite{E--S--W} for the general definition and properties of weakly Ulrich and Ulrich bundles: in particular it is proved therein that each Ulrich bundle is weakly Ulrich.

The link between minimal instanton bundles on a Fano threefold $X$ with $i_X\ge3$ and weakly Ulrich bundles is given by the following result.

\begin{proposition}
Let $X$ be a Fano threefold with $i_X\ge3$.

A rank $2$ vector bundle ${\mathcal E}$ on $X$ is a minimal instanton bundle if and only if ${\mathcal F}:={\mathcal E}((2-q_X)h)$ is weakly Ulrich with
\begin{equation}
\label{Chern}
c_1({\mathcal F})=(4-i_X)h,\qquad c_2({\mathcal F})h=k_X+(2+q_X-i_X)(2-q_X)\deg(X).
\end{equation}
\end{proposition}
\begin{proof}
It is trivial to check that equalities \eqref{Chern} hold for ${\mathcal F}$ if and only if $c_1({\mathcal E})=(2q_X-i_X)h$ and $c_2({\mathcal E})h=k_X$.

Let $i_X=4$, so that $2=q_X$, i.e. $X=\p3$ and ${\mathcal E}={\mathcal F}$ is a minimal instanton bundle. Thus ${\mathcal E}$ is $\mu$--stable, $c_1({\mathcal E})=0$ and $c_2({\mathcal E})h=1$. Thus \cite[Lemma II.4.3.2]{O--S--S} implies that  ${\mathcal E}$ is a null--correlation bundle i.e. it fits into an exact sequence of the form
\begin{equation}
\label{seqNull}
0\longrightarrow{\mathcal O}_{\p3}(-1)\longrightarrow\Omega_{\p3}^1(1)\longrightarrow{\mathcal E}\longrightarrow0.
\end{equation}
We now show that each null--correlation bundle is weakly Ulrich. The cohomology of sequence \eqref{seqNull} returns $h^0\big(X,{\mathcal F}(th)\big)=0$ for $t\le 0$, and $h^1\big(X,{\mathcal F}(th)\big)=0$ for $t\ne-1$. Thanks to equality \eqref{Serre}, we then deduce $h^0\big(X,{\mathcal F}(th)\big)=0$ for $t\ge -4$, and $h^2\big(X,{\mathcal F}(th)\big)=0$ for $t\ne-3$. We deduce that ${\mathcal F}$ is weakly Ulrich.

Conversely, assume that ${\mathcal F}$ is a rank $2$ weakly Ulrich bundle on $X=\p3$ with $c_1({\mathcal F})=0$ and $c_2({\mathcal F})h=1$. Equality \eqref{RRgeneral} implies $\chi({\mathcal F})=0$. Since $h^i\big(X,{\mathcal F}\big)=0$ for $i\ne0$, it follows that $h^0\big(X,{\mathcal F}\big)=0$ as well. Thus ${\mathcal F}$ is $\mu$--stable thanks to Lemma \ref{lHoppe}, hence it is a null--correlation bundle thanks to \cite[Lemma II.4.3.2]{O--S--S}.

Let $i_X=3$, so that $1=q_X$, i.e. $X=Q$ is a smooth quadric and ${\mathcal E}={\mathcal F}(-h)$ is a minimal instanton bundle. Thus \cite[Remark 4.3]{C--C--G--M} implies that ${\mathcal F}$ is Ulrich.

Conversely let ${\mathcal F}$ be  a rank $2$ weakly Ulrich bundle on $X=Q$ with $c_1({\mathcal F})=h$ and $c_2({\mathcal F})h=1$. By definition $h^0\big(X,{\mathcal F}(-2h)\big)=0$. Let $h^0\big(X,{\mathcal F}(-h)\big)\ne0$: since $\operatorname{Pic}(X)$ is cyclic and generated by ${\mathcal O}_X(h)$ it follows that each non--zero section $s\in H^0\big(X,{\mathcal F}(-h)\big)$ vanishes exactly along a curve $Z$ and
$$
\det({\mathcal N}_{Z\vert X})\cong\det({\mathcal F}(-h))\otimes{\mathcal O}_Z\cong{\mathcal O}_X(-h)\otimes{\mathcal O}_Z.
$$
The degree of $Z$ is $c_2({\mathcal F}(-h))h=1$, hence $Z$ is a line. The adjunction formula on $X$ then returns
$$
\det({\mathcal N}_{Z\vert X})\cong\omega_Z\otimes{\mathcal O}_X(3h)\cong{\mathcal O}_X(h)\otimes{\mathcal O}_Z.
$$
The contradiction above implies that $h^0\big(X,{\mathcal F}(-h)\big)=0$, hence ${\mathcal F}(-h)$ is $\mu$--stable thanks to Lemma \ref{lHoppe}.

By definition we know that $h^1\big(X,{\mathcal F}(-th)\big)=0$ for $t\ne-2,-1$. Equality \eqref{RRgeneral} gives $h^1\big(X,{\mathcal F}(-h)\big)=0$. Let $H\subseteq X$ be a hyperplane and consider the exact sequence
\begin{equation}
\label{seqRestriction}
0\longrightarrow{\mathcal O}_X(-h)\longrightarrow{\mathcal O}_X\longrightarrow{\mathcal O}_H\longrightarrow0.
\end{equation}
Since ${\mathcal F}$ is $\mu$--semistable, then the same is true for ${\mathcal F}\otimes{\mathcal O}_H$, thanks to \cite[Theorem 3]{Ma}. Thus the cohomology of sequence \eqref{seqRestriction} tensored by ${\mathcal F}(-h)$ and $h^1\big(X,{\mathcal F}(-h)\big)=0$ imply that $h^1\big(X,{\mathcal F}(-2h)\big)=0$. We have $h^i\big(X,{\mathcal F}(th)\big)=0$ for $i=1,2$ and $t\in\bZ$, thanks to equality \eqref{Serre}. We easily deduce from the Chern classes of ${\mathcal F}$ that it cannot split as a sum of two line bundles, hence it necessarily coincides with ${\mathcal S}(h)$, where ${\mathcal S}$ is the spinor bundle on $X$ (see \cite{Ott1}).
\end{proof}

\begin{remark}
In the above proof we have checked that when $i_X=3$, then Ulrich bundles of rank $2$ are exactly the weakly Ulrich ones.
\end{remark}

It is natural to ask if a similar result holds when $i_X\le2$. In \cite[Remark 4.3]{C--C--G--M} we also showed that when $i_X=2$ (hence $q_X=1$), ${\mathcal O}_X(h)$ is very ample and ${\mathcal E}$ is a minimal instanton bundle, then ${\mathcal F}={\mathcal E}((2-q_X)h)\cong{\mathcal E}(h)$ is Ulrich, hence weakly Ulrich: in this case ${\mathcal F}$ still satisfies equalities \eqref{Chern}.

Thus it is natural to ask if weakly Ulrich bundles are automatically instanton bundles up to twists when $i_X\le2$. This is not the case as the following example and remark show.

\begin{example}
Let $X$ be a Fano threefold with $i_X=2$ and  take the union $Z\subseteq X$ of two disjoint lines. The scheme $Z$ is a locally complete intersection subscheme of degree $2$ and genus $p_a(Z)=-1$. Moreover, $\omega_Z\cong{\mathcal O}_Z(-2h)$, hence the adjunction formula on $X$ implies $\det({\mathcal N}_{Z\vert X})\cong{\mathcal O}_Z$. Since $h^i\big(X,{\mathcal O}_X\big)=0$ for $i\ge1$, it follows from Theorem \ref{tSerre} the existence of an exact sequence of the form
$$
0\longrightarrow {\mathcal O}_X\longrightarrow {\mathcal E}\longrightarrow {\mathcal I}_{Z\vert X}\longrightarrow 0.
$$
The cohomology of the above sequence tensored by ${\mathcal O}_X(th)$ yields $h^0\big(X,{\mathcal E}(th)\big)=0$ if $t\le-1$. Similarly, the cohomology of sequence \eqref{seqIdeal} tensored by ${\mathcal O}_X(th)$ implies $h^1\big(X,{\mathcal I}_{Z\vert X}(th)\big)=0$ if $t\ne0$. It follows that $h^1\big(X,{\mathcal E}(th)\big)=0$ in the same range. Equality \eqref{Serre1} finally yields that ${\mathcal F}:={\mathcal E}(h)$ is weakly Ulrich and satisfies equalities \eqref{Chern}.

On the other hand $c_1({\mathcal E})=0$, $c_2({\mathcal E})=2$ and $h^1\big(X,{\mathcal E}(-h)\big)=0$. Moreover, it is not difficult to check the $\mu$--semistability of ${\mathcal E}$ using the classification of Fano threefold with $i_X=2$ (see \cite{I--P}) and Lemma \ref{lHoppe}. Nevertheless ${\mathcal E}$ is obviously not an instanton bundle because $h^0\big(X,{\mathcal E}\big)=1$.
\end{example}

\begin{remark}
When $i_X=1$ (hence $q_X=0$) the picture is even vaguer, because the number $k_X$ is generally not attained by instanton bundles on $X$ (see \cite{Fa} where it is proved a sharp lower bound for $c_2({\mathcal E})h$ when $\varrho_X=1$). Anyhow, in all the examples in the literature, every minimal instanton bundle ${\mathcal E}$ is aCM (e.g. see \cite{Fa, Cs--Ge} and Theorem \ref{tMinimal} above). If ${\mathcal F}:={\mathcal E}((2-q_X)h)\cong{\mathcal E}(2h)$, then $h^0\big(X,{\mathcal F}(-2h)\big)=h^3\big(X,{\mathcal F}(-2h)\big)=0$. It follows that ${\mathcal F}$ is still weakly Ulrich in all these cases.
\end{remark}

Thus it is natural to ask the following questions.

\begin{question}
Is each minimal instanton bundle on $X$ weakly Ulrich up to twists when $i_X=1$?
\end{question}

\begin{question}
Is it possible to classify weakly Ulrich bundles ${\mathcal F}$ of rank $2$ on $X$ with $c_1({\mathcal F})=(4-i_X)h$, at least for low values of  $c_2({\mathcal F})h$?
\end{question}

redpajama_set_name: RedPajamaArXiv


text:
Aistear in Úlla Beag
Deepak Purohit 25/05/2021
Early Childhood Ireland Inspired Practice Award 2021
Roadmap for Social Inclusion 2020-2025
In January 2020, the government published the Roadmap for Social Inclusion 2020 – 2025 which laid out the Government's ambition to "Reduce consistent poverty to 2% or less and to make Ireland one of the most socially inclusive countries in the EU". The Roadmap is the successor to the National Action Plan for Social Inclusion which concluded
Partnership with Families Innovation Award sponsored by Child Paths
Funding Models Addressing Early Childhood Disadvantage
On April 16, Frontier Economics published three more research papers to inform the development of a new funding model for Early Learning and Care and School Age Childcare in Ireland. The consultancy has been commissioned by the Department of Children, Equality, Disability, Integration and Youth (DCEDIY) to provide research support to an Expert Group that
The Let's Get Ready campaign
The Let's Get Ready campaign is being coordinated and supported again this year by the DCEDIY. This campaign aims to support settings, parents and primary schools to ensure that the transition to primary school is as easy as possible for children. In a new development, there are also materials to support the transition from home
My LINC Journey
Leadership for Inclusion Award sponsored by LINC
ELC and SAC Funding Models which support provision quality
On April 16, Frontier Economics published three more research papers to inform the development of a new funding model for Early Learning and Childcare and School Age Childcare in Ireland. The consultancy has been commissioned by the Department of Children, Equality, Disability, Integration and Youth (DCEDIY) to provide research support to an Expert Group that

redpajama_set_name: RedPajamaCommonCrawl


The photo was shot using a NIKON COOLPIX S9700 camera at an aperture of f/4.8, 1/1000 sec. shutter speed and ISO 125. Flash did not fire, compulsory flash mode. The original image file has a resolution of 3000 x 1685 pixels, or in other words 5.1 megapixels.The photo has a resolution of 300 DPI and occupies a disk space of 1.18 megabytes.
According to the image metadata, the photo was shot on Monday 16th of June 2014. The local time was 09:02:09. The timezone was Europe / Monaco, which is GMT +02:00. Please note that timezone was guessed using the GPS coordinates and may not be accurate. The EXIF timestamp may also be wrong if the date and time weren't set correctly in the digital camera.
NIKON COOLPIX S9700 camera has a built-in GPS receiver and allows geotagging on image files. The coordinates and location where the photo was taken is stored in the EXIF. According to GPS data analysis, the photo was taken at coordinates 43° 41' 51.64" N , 7° 19' 18.00" E. The elevation was 0 meters. Using reverse geocoding, the address associated with the coordinates is guessed as 20 Avenue Louise Bordes, 06230 Villefranche-sur-Mer, France. Depending on the GPS receiver and the reception conditions the accuracy may vary and the address should not be regarded as exact location.


This log contains Freedom of Information Act (FOIA) requests for Offices Under the President. For more information on Offices Under the President and how to submit a FOIA request see https://www.cookcountyil.gov/service/freedom-information-act-offices-under-president . For information on FOIA for other county agencies, see https://www.cookcountyil.gov/service-categories/foia-requests-and-information.


Welcome to our very first episode of our podcast! We took your questions about our relationship / creative partnership / friendship and answered them all here. Here you can get us in our raw and occasionally awkward glory! We're still figuring out our sound, but it'll be clearer next round. We hope you like this intimate look into what makes us, us. We can't wait to answer the rest of your questions, have guests on our podcast, and see how this new medium of exploring what it means to be in our bodies evolves and grows. We couldn't have done this without you!
Find all the resources we talked about linked below. xo!


The gathering was organized as part of President Aleksandar Vucic's "Future of Serbia" campaign.
Serbia's regulatory agency for electronic communications and postal services RATEL announced this on Friday, Tanjug is reporting.
Mali did this alongside LSE's CEO Nikhil Rathi, with whom he afterwards discussed the potentials for investing in Serbia and possibilities for cooperation, Tanjug is reporting.
The fire in this historically priceless building broke out yesterday at about 19:00 hours CET, destroying the whole roof that has now collapsed.
The famous bell-tower cathedral was also destroyed. Over 400 firefighters battled the flames all night.
Afterwards, construction works on the stretch will be officially opened, Brnabic told a press conference after the governments of Serbia and Hungary held a joint session in Subotica, northern Serbia, Tanjug is reporting.
Hahn should talk to Thaci about the abolition of taxes on goods from Serbia, Tanjug learned from the European Commission.
During a one-day visit to Brussels, Thaci will also meet with European Council President Donald Tusk.
The opposition SzS coalition would receive 11.8 percent of the vote, and the SPS, a member of the ruling coalition, would get 10.1 percent, Tanjug is reporting from "the Political Barometer April 2019."


ATS ALLURE has been engineered by the prestigious ATS group and issupposed folks that arprobing for an abode amid serene and tranquilsurroundings. we provide residentsflats with well-designed floor plans that arspacious and well-ventilated. flatsar a pair of and three BHK with floor areasbetween 1150 and 1350 sqft. Theillustrious project offers foremost options andamenities creating it thecorrect alternative due to its tempting listing. Ourgoal is to gift an opulentand complex manner to residents.
Ourdevelopment is found quite near metropolis NCR forconvenience of residents. Ifyou're seeking a property in bigger Noida that'sstylish and offers youexcellent value-for- cash, then our project is ideal foryou. you'll be able toread it on the placement map and drive down yourself torequire a more in-depthlook.
ExcitingAmenities The specifications we offer embody a totallyequipped gymnasium with afashionable building, and an exquisite swimming bath.There ar court game andsquash courts for sports enthusiasts along side acardiopulmonary exercise trackfor fitness enthusiasts. A utile hall andexquisite improved gardens giveresidents with an excellent atmosphere forparties. whereas the advancedsecurity system protects them in any respecttimes.
q Ouradvanced comes with glorious facilities like kid's play space, ample automobileparking and as tellar power backup. Interiors of homes ar well-lit givingvoters the right mix of practicality and aesthetics. Moreover, flats haveservant quarters likewise as marble and wood flooring with premiumwall-finishes to feature to the wonder.
q Situatedwithin the Yamuna super highway bigger Noida, the property is one among thebest in bigger Noida. settled near every day conveniences, ATS attract onYamuna super highway is in shut proximity to Pari Chowk and Formula OneCircuit. it's well-connected to major looking centres, academic facilities andhospitals for convenience.


Emtelle has been involved in three Intelligent Transport Systems Australia, creating high-bandwidth systems designed to improve the monitoring and management of traffic flow whilst providing motorists with vital, real-time traffic information.
Using our FibreFlowTM blown fibre solution, we are able to install systems such as this with minimal initial disruption, which can be modified in the future with maximum ease, speed and cost efficiency.
These 3 Intelligent Transport Systems in Australia, as with all ITS projects, employed our FibreFlowTM blown fibre solution to detect traffic related incidents and congestion, and provide up-to-the-minute traffic information to road users.
These Intelligent Transport Systems in Australia are made up of various technologies including vehicle detection systems, CCTV, emergency 'phones, and variable messaging signs. These combined technologies help optimise traffic flow and help minimise the risk of further accidents and congestion – enabling people to reach their destination safely and quickly whilst reducing emissions. Systems like this rely heavily on the reliable and high-speed transfer of information.
FibreFlowTM blown fibre technology shares many of the same characteristics of Intelligent Transport Systems – faster response times, superior management capability, increased flexibility, greater ease of use, and increased cost-effectiveness – making it the perfect solution ITS.
In addition to these 3 Intelligent Transport Systems in Australia, we have conducted similar ITS projects worldwide, including the M8 motorway between Glasgow and Edinburgh, Scotland – demonstrating our deepening involvement and commitment to such an important sector.


Tasty Hemp Oil is a Michigan based company manufacturing CBD products from hemp grown in Colorado and Kentucky. One of Tasty Hemp Oil's primary goals is to create a CBD tincture for sale that tastes best. Tasty Hemp Oil's Tasty Drops are available in natural, vanilla, berry, and spearmint. This full spectrum CBD oil is manufactured with the addition of terpenes. This augments CBD potency and benefits. Lab testing is done in small batches. Each Certificate of Analysis is available online, next to each CBD product description.