Lie groups acting transitively (and isometrically) on anti de Sitter spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T13:53:22Z http://mathoverflow.net/feeds/question/78272 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78272/lie-groups-acting-transitively-and-isometrically-on-anti-de-sitter-spaces Lie groups acting transitively (and isometrically) on anti de Sitter spaces José Figueroa-O'Farrill 2011-10-16T16:37:17Z 2011-12-08T09:08:35Z <p>I hope this question is not deemed too localised.</p> <p>Recall that <em>anti de Sitter space</em> is the lorentzian analogue of hyperbolic space; that is, a simply-connected lorentzian manifold of constant negative sectional curvature. More precisely, the $n$-dimensional anti de Sitter space $\mathrm{AdS}_n$ is the universal cover of the one-sheeted hyperboloid in $\mathbb{R}^{n+1}$ cut out by the following quadric: $$x_1^2 + x_2^2 + \dots + x_{n-1}^2 - x_n^2 - x_{n+1}^2 = - R^2$$ where $R>0$ is the radius of curvature. The ambient metric is flat with signature $(n-1,2)$ and the induced metric on the hyperboloid has constant negative sectional curvature proportional to $1/R$.</p> <p>The group $\mathrm{SO}(n-1,2)$ acts transitively and isometric on the hyperboloid; indeed, the hyperboloid is diffeomorphic to $\mathrm{SO}(n-1,2)/\mathrm{SO}(n-1,1)$.</p> <p>This is analogous to the better known fact that the round $n$-sphere is diffeomorphic to $\mathrm{SO}(n+1)/\mathrm{SO}(n)$. However, it happens that for some spheres, a proper subgroup $G \subset \mathrm{SO}(n+1)$ already acts transitively on the sphere and in some cases such $G$ is (locally) isomorphic to $\mathrm{SO}(p)$ for some $p\lt n+1$. A case in point is the round 7-sphere, on which $\mathrm{Spin}(6)$ acts transitively with stabiliser subgroup $\mathrm{SU}(3)$.</p> <p>I am interested in knowing whether something like that can happen for anti de Sitter space. In particular, I would like to know whether $\mathrm{SO}(n-1,2)$ (or some other group with isomorphic Lie algebra) can act transitively on $\mathrm{AdS}_p$ for some $p\gt n$. We already know it acts on $\mathrm{AdS}_n$ and it cannot act (effectively) on $\mathrm{AdS}_p$ for $p\lt n$ by dimension. As in the case of the spheres, this can perhaps only happen for low values of $n$ and in fact, to be perfectly honest, I am presently only interested in $n=4$.</p> <p>Hence let me ask the following</p> <p><strong>Question</strong></p> <p>Can $\mathrm{SO}(n-1,2)$ act locally transitively (and isometrically!) on $\mathrm{AdS}_p$ for some $p\gt n$? In particular, can this happen for $n=4$?</p> <p>Thank you in advance.</p> <p><strong>Epilogue</strong></p> <p>I should have mentioned that I have checked by explicit calculation that $\mathrm{SO}(3,2)$ cannot act locally transitively and isometrically on $\mathrm{AdS}_5$, but before trying my hand at $\mathrm{AdS}_6$ or higher, I thought of asking here first.</p> http://mathoverflow.net/questions/78272/lie-groups-acting-transitively-and-isometrically-on-anti-de-sitter-spaces/78274#78274 Answer by Reimundo Heluani for Lie groups acting transitively (and isometrically) on anti de Sitter spaces Reimundo Heluani 2011-10-16T17:40:50Z 2011-10-16T19:47:24Z <p>I couldn't write this as a comment and I might be off base, but in <a href="http://www.numdam.org/item?id=BSMF_1955__83__279_0" rel="nofollow">Berger's paper</a> Theorem 6 he proves that the list of real Lie groups acting transitively on the quadric $$x_1^2 + \dots + x_{n-h}^2 - x^2_{n-h+1} - \dots - x^2_{n} = 1$$ induced from a linear action on $\mathbb{R}^n$ are modulo a finite number of exceptions<br> 1) $SO(n-h,h)$ $n \geq 2$ </p> <p>2) $T^1 \times SU(m/2-h/2,h/2)$, $SU(m/2-h/2,h/2)$ for some $m$ $m/2 \geq 2$ </p> <p>3) $SP(1) \times SP(m/4-h/2,h/2)$, $T^1 \times SP(m/4-h/2,h/2)$, $SP(m/4-h/2,h/2)$ $m/4 \geq 2$ </p> <p>Edit: since I still think the answer to your question is in Berger's list, I transcribe it completely as it can be found in [2] </p> <p>signature (p,q): $SO(p,q)$<br> signature (2p, 2q) $U(p,q)$ and $SU(p,q)$<br> signature (4p,4q) $SP(1)SP(p,q)$ $SP(p,q)$<br> signature (n,n) $SO(n,\mathbb{C})$<br> signature (2n,2n) $SO(n, \mathbb{H})$ </p> <p>$G_2^\mathbb{C}$ $G_2$ and $G_2^2$ signatures (7,7), (7,0) and (4,3)</p> <p>$Spin(7,\mathbb{C})$ $Spin(7)$ and Spin(4,3) signatures (8,8) (8,0) and (4,4). </p> <p>you of course are interested in signature (p,2)</p> <p>The point is that irreducible holonomies are the ones that act transitively on the unit sphere in the tangent space. And this seems to me as the problem you are asking for.</p> <p>[2] Proc of Symp in pure mathematics 54 (1993) part 2. On the Holonomy of Lorentzian manifolds. Bergery and Ikemakhen</p> http://mathoverflow.net/questions/78272/lie-groups-acting-transitively-and-isometrically-on-anti-de-sitter-spaces/82947#82947 Answer by Anton Galaev for Lie groups acting transitively (and isometrically) on anti de Sitter spaces Anton Galaev 2011-12-08T09:08:35Z 2011-12-08T09:08:35Z <p>In my paper </p> <p>Isometry groups of Lobachevskian spaces, similarity transformation groups of Euclidean spaces and Lorentzian holonomy groups. Rend. Circ. Mat. Palermo (2) Suppl. No. 79 (2006), 87–97.</p> <p>I classify transitive group of isometries of the real Hyperbolic space. These groups are $SO(n,1)$ and subgroups of </p> <p>$$Sim(n-1)=(\mathbb{R}_+\times SO(n-1))\times \mathbb{R}^{n-1}$$ </p> <p>that preserve an isotropic line in the Minkowski space and do not preserve any non-degenerate subspace of the Minkowski space (weakly-irreducible subgroups), in addition they have non-trivial projection on $\mathbb{R}_+$. </p> <p>The connected group of isometries of AdS_n is $SO(n-1,2)$, hence, if a connected $G$ acts isometrically, it is contained in $SO(n-1,2)$. From the transitivity it follows that the representation is weakly irreducible. Some of weakly irreducible subgroups of $SO(n-1,2)$ can be found in </p> <p>Ikemakhen, A. Sur l'holonomie des variétés pseudo-riemanniennes de signature (2,2+n). (French) [Holonomy of pseudo-Riemannian manifolds with signature (2,2+n)] Publ. Mat. 43 (1999), no. 1, 55–84. </p> <p>I think that it is possible to classify all transitively acting subgroups.</p>