4
$\begingroup$

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.

$\endgroup$
1
  • 1
    $\begingroup$ Not $SO_r$ but $O_r$. $\endgroup$
    – abx
    Nov 10, 2015 at 18:29

1 Answer 1

3
$\begingroup$

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)$.

$\endgroup$
2
  • 1
    $\begingroup$ The `problem' with taking square roots is supposed to happen, because O(n) bundles are only locally trivial in etale topology, and taking square roots gives you an etale cover. It is too much to expect transition functions in the Zariski topology here. $\endgroup$
    – t3suji
    Nov 10, 2015 at 22:36
  • $\begingroup$ @t3suji: thanks for the hint. I edited the answer accordingly. $\endgroup$ Nov 11, 2015 at 7:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.