# Vector bundles with symmetric perfect form

Let $X$ be a smooth projective curve, and $E$ a vector bundle on $X$ such that there exist a bilinear perfect symmetric form $$E\otimes E\rightarrow \mathcal O_X$$

When I see $E$ as a $GL_r$ principal bundle, the existence of such a form is equivalent to the existence of a reduction of the structure group to the linear orthogonal group $O_r$, so $E$ is now an $O_r$ bundle, so the vector bundle $E$ admits transition functions $\{f_{ij}\}$ such that $$f_{ij}=\,^tf_{ij}^{-1}$$

Question: How can one prove directly without passing to the theory of principal bundles that given a vector bundle $E$ with a symmetric perfect pairing as above, then this bundle admits a transition functions as above?

Many thanks.

• Not $SO_r$ but $O_r$. – abx Nov 10 '15 at 18:29

You get this by picking a frame $(e_1,\dots,e_r)$ of $E|_U$ for a neighbourhood $U$ of each point $x$ such that $(e_i,e_j)=\delta_{ij}$. As pointed out by t3suji, these neighbourhoods are étale in general, because they have to carry some square roots of regular functions. If you use such frames to trivialise your bundle, you get transition functions as in the question by an easy computation. Of course, since you have to think about trivialisations and frames, you only avoid the terminology of frame bundles, but they still lurk in the background.
To construct frames as above, you start with any regular frame $(v_1, \dots, v_n)$ near a point $x$ and then apply the Gram-Schmidt orthogonalisation procedure. There is a small caveat, though: if you have already constructed $e_1, \dots, e_k$ satisfying $(e_i,e_j)=\delta_{ij}$, and you have made the remaining vectors $v_{k+1}, \dots, v_r$ perpendicular to $e_1, \dots, e_k$, it can happen that $(v_i,v_i)_x=0$ for all $i>k$. In this case, you find $i$ and $j$ with $(v_i,v_j)_x\ne 0$, so you continue with $w_i=v_i+v_j$, $w_j=v_i-v_j$ instead. Finally, you make your neighbourhood a little smaller if necessary to avoid zeros of $(w_i,w_i)$ and pass to a covering to get a square root of $(w_i,w_i)$.