Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 $O(k,l)$ be the orthogonal group associated to the quadratic form $q$ on $\mathbb{R}^{k+l}$ with signature $(k,l)$. Let $O^+_+(k,l)$ be the connected component of the identity, i.e. the connected components of the elements in $O(k,l)$ which maintein the orientation on each maximal positive subspace $W\subset \mathbb{R}^{k+l}$ and $W^\perp$. I want to prove that $O^+_+(k,l)$ is connected.

I've read the references of the wiki page but no one seems to really prove it.

So i thought that maybe we can apply the same argument of the proof of the connectedness of $SO(k)$. I consider the hyperboloid $q(x)=1$ for $x\in \mathbb{R}^{k+l}$ and I have to prove that $O^+_+(k,l)$ acts trasitievely on one connected component of the hyperboloid (this seems legit to me, although i'm not sure about how many connected components the hyperboloid has). Then the stabilizer of a point is of the form \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & a_{1,1} & \cdots & a_{1,k+l-1} \\ \vdots & \vdots & \ddots & \vdots \\ 0 & a_{k+l-1,1} & \cdots & a_{k+l-1,k+l-1} \end{pmatrix} where \begin{pmatrix} a_{1,1} & \cdots & a_{1,k+l-1} \\ \vdots & \ddots & \vdots \\ a_{k+l-1,1} & \cdots & a_{k+l-1,k+l-1} \end{pmatrix} is in $O^+_+(k-1,l)$ which is connected by induction hypotesis. And so also $O^+_+(k,l)$ is connected.

But i don't know how to find out how many connected componets the hyperboloid has and how to prove that $O^+_+$ acts transitively on one of them.. Do you have any ideas?

share|cite|improve this question
In the case of $SO(k)$, the conic $q(x)=1$ is a sphere. – cactus314 Feb 6 '13 at 17:06
yeah, i know that, but this is not what i need. – ciccio Feb 6 '13 at 17:19

Do you recall how the proof that $SO(k)$ is connected goes? There's a few. One goes like this. $SO(k)$ fibers over $S^{k-1}$ with fiber $SO(k-1)$. The base is connected, so by induction connectedness boils-down to arguing that $SO(1)$ is connected, but this is a point. Similarly, you can argue that $O(k)$ has precisely two components by this induction argument.

There are arguments that use elementary matrix operations as well, but in my opinion they work better for proving $GL_n^+$ is connected.

Let's adapt the first argument to your case. We'll show $O(k,l)$ has precisely four components provided $k,l \geq 1$, which is equivalent to your problem.

Given a "timelike" vector in $\mathbb R^{k+l}$, $O(k,l)$ preserves the fact that it's timelike (by design), and preserves the length of the vector. So $O(k,l)$ acts on the unit timelike vectors. Moreover, this action is transitive. The proof that the action is transitive boils down to arguing that any unit timelike vector can be complemented to an orthonormal basis of $\mathbb R^{k+l}$, consisting of $k$ unit timelike and $l$ unit spacelike vectors, respectively. So that gives a bundle $O(k,l) \to H(k,l)$ where $H(k,l) \subset \mathbb R^{k+l}$ is the unit timelike vector subspace. This is a hyperboloid of some kind, and it is connected precisely when $k \geq 2$ and $l \geq 1$. Moreover, the fiber of this fibration is $O(k-1,l)$. Since we already know $O(0,l)$ has precisely two components $O(0,l) = O(l)$, by induction we're done.

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.