Let $E$, $F$ be two complex elliptic curves, and $A=E \times F$. Let us denote by


$\pi\_E \colon A \to E, \quad \pi\_F \colon A \to F$


the natural projections. For all $p \in F$ let us write $E\_p$ instead of $\pi\_F^\*(p)$.


Now let us fix $p \in F$ and consider the unique indecomposable rank $2$ vector bundle $\mathcal{F}$ on $A$ defined by the extension


$0 \to \mathcal{O}\_A \to \mathcal{F} \to \mathcal{O}\_A(-E\_p) \to 0$


My main question is the following:



> 
> What is the restriction of $\mathcal{F}$ to a fibre of type $E\_x$, for $x \in F$ general? 
> 


Related to this, another question is



> 
> What are $\pi\_{F\*} \mathcal{F}$ and $R^1 \pi\_{F\*} \mathcal{F}$?
> 


Observe that the restriction of $\mathcal{F}$ to $E\_x$ is given by an extension


$0 \to \mathcal{O}\_{E\_x} \to \mathcal{F}|\_{E\_x} \to \mathcal{O}\_{E\_x} \to 0$,


so by Atiyah's classification of vector bundles over an elliptic curve we have that $\mathcal{F}|\_{E\_x}$ is either $\mathcal{O}\_{E\_x} \oplus \mathcal{O}\_{E\_x}$ or the unique non-trivial extension of $\mathcal{O}\_{E\_x}$ with itself. 


But I cannot decide what happens generically.


**Motivation**. I met this problem when I started the investigation of some triple covers $f \colon X \to A$ such that


$f\_\*\mathcal{O}\_X=\mathcal{O}\_A \oplus \mathcal{F}^{\vee}$. 


It is worth noticing that 
the vector bundle $\mathcal{F}$ is the easiest example of indecomposable vector bundle on $A$ which is *not simple* (in fact, $\textrm{End}(\mathcal{F})=\mathbb{C} \oplus \mathbb{C}$).



Rank 2 vector bundle on a product of elliptic curves
It's the nontrivial extension. Here is why:


Let $\pi=\pi\_F$ and consider 


$$
0\to \pi\_\*\mathscr O\_A \to \pi\_\*\mathscr F \to \pi\_\*\mathscr O\_A(-E\_p)\to R^1\pi\_\*\mathscr O\_A \to \dots
$$


Now 


1) $\pi\_\*\mathscr O\_A\simeq \mathscr O\_F$ and $\pi\_\*\mathscr O\_A(-E\_p)\simeq\mathscr O\_F(-p)$


2) $R^1\pi\_\*\mathscr O\_A\simeq R^1\pi\_\*\omega\_A$ is torsion-free by Kollár's theorem (I guess it is also isomorphic to $\omega\_F\simeq \mathscr O\_F$ so you don't even need Kollár here), so


3) if $\pi\_\*\mathscr F\to \pi\_\*\mathscr O\_A(-E\_p)$ is not surjective, then it is zero. 


4) $\pi\_\*\mathscr F$ is torsion free and hence locally free.


Suppose that the restriction of your sequence to any fiber is a trivial extension. Then $\pi\_\*\mathscr F$ has to have rank $2$ and hence by 1) and 3) the map $\pi\_\*\mathscr F\to \pi\_\*\mathscr O\_A(-E\_p)\simeq \mathscr O\_F(-p)$ is surjective.


Next, take the short exact sequence
$$
0\to \mathscr O\_F\to \pi\_\*\mathscr F \to \mathscr O\_F(-p) \to 0.
$$
This is necessarily the trivial extension, but also by construction it is the push-forward of your original sequence.


Then the pull-back of this sequence maps functorially to the original sequence and you get an isomorphism on the sides, so you get an isomorphism in the middle as well. That implies that $\mathcal F$ is a trivial extension, which is an obvious contradiction.


Now as a side result we get that $\mathscr O\_F\simeq \pi\_\*\mathscr O\_A\simeq \pi\_\*\mathscr F$ from the beginning of the long exact sequence and 
$$\begin{multline}
0\to \pi\_\*\mathscr O\_A(-E\_p)\simeq\mathscr O\_F(-p)\to R^1\pi\_\*\mathscr O\_A\simeq\mathscr O\_F\to R^1\pi\_\*\mathscr F \to \\ \to R^1\pi\_\*\mathscr O\_A(-E\_p)\simeq \mathscr O\_F(-p)\otimes R^1\pi\_\*\omega\_A\simeq \mathscr O\_F(-p)\to 0
\end{multline}$$
so $\pi\_\*\mathscr F\simeq \mathscr O\_F$ and $R^1\pi\_\*\mathscr F\simeq \mathscr O\_p\oplus \mathscr O\_F(-p)$. 


**EDIT:** added the last exact sequence and corrected conclusion according to Francesco's comment.


