Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $g_1$ and $g_2$ be two Riemannian metrics on a manifold $M$. These induce two $O(n)$ bundles on $M$, whose fibers over each point $x\in M$ are the groups of orthogonal transformations of $T_x M$ with respect to $g_1$ or $g_2$, respectively. Are these two $O(n)$ bundles necessarily isomorphic?

share|cite|improve this question
I'm confused. The group of orthogonal transformations of $T_x M$ is indeed isomorphic to $\mathrm{O}(n)$, but not in any canonical way: indeed, choosing an isomorphism amounts to choosing an orthonormal basis for $T_x M$. So although we can construct a group bundle over $M$ with typical fibre $\mathrm{O}(n)$, I don't see how we can get a canonical $\mathrm{O}(n)$-action on it. – Zhen Lin Dec 12 '12 at 16:13
I don't think we the group of orthogonal transformations to be isomorphic to $O(n)$ in a canonical way, do we? Let $E$ be the bundle whose fiber over each point $x$ is the group $E_x$ of orthogonal transformations of $T_x M$. In an coordinate chart, we can construct a local trivialization $U\times O(n) \cong E_U$ by choosing an orthonormal basis of vector fields over $U$. Does this not give us an $O(n)$ bundle? – user15464 Dec 12 '12 at 17:47
What do you mean by $\mathrm{O}(n)$-bundle? I mean a fibre bundle with a chosen fibrewise $\mathrm{O}(n)$-action. – Zhen Lin Dec 12 '12 at 18:18
I guess I just mean a fiber bundle with fiber $O(n)$. Perhaps this is not a standard sort of object to consider, and my question is vacuous. If so, I apologize. – user15464 Dec 12 '12 at 20:10

Yes and yes: If you denote by $O^{g} M$ and $O^{h} M$ the bundles of orthonormal frames of $M$ with respect to two different metrics (relabeled as $g$ and $h$ here instead of $g_1$ and $g_2$), these bundles are isomorphic as principal $O(n)$-bundles. Nevertheless, these bundles depend on the metrics and the isomorphism between them is not canonical.

An isomorphism $O^g M \to O^h M$ can be constructed as follows: First, find an isomorphism field $\alpha_{g, h} \in \Gamma(Iso(M))$ satisfying

$$ \forall x \in M: \forall v, w \in T_x M: g(\alpha_{g,h}(v),w) = h(v, w) $$

Since $g$ is positive definit, such a field is unique, if it exists and one can thus prove existence by constructing it locally. If you use the Gram-Schmidt process to $g$-orthonormalize a local $h$-ONF on some open neighbourhood $U$, you get a map $\xi_{g,h}:O^h U \to O^g U$ and if you denots its $g$-adjoint by $\xi_{g,h}^{*_g}$, the map $\alpha_{g,h} = \xi_{g,h}^{*_g} \circ \xi_{g,h}$ will do.

Next, you define another isomorphism field by $b_{g,h} := a_{g,h}^{-1/2} \in Iso(M)$. Here $\_^{1/2}$ denotes taking the square root of a positive isomorphism. Finally, the map $c_{g,h}:O^g M \to O^h M$, $b=(b_1, \ldots, b_n) \mapsto (b_{g,h}b_1, \ldots, b_{g,h}b_n)$, gives the identification $O^g M \to O^h M$.

This identification is famous, because it is needed in the identification of the spinor bundles $\Sigma^g M$ and $\Sigma^h M$ of $M$ (in case $M$ admits a spin structure). This is discussed further in 'Generic Metrics and Connections on Spin- and Spinc-Manifolds' by Stephan Maier.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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