Skip to main content

Questions tagged [symmetric-spaces]

A symmetric space is a differentiable manifold with the additional structure of a pseudo-Riemannian metric and which has many isometries.

Filter by
Sorted by
Tagged with
2 votes
1 answer
61 views

Conjugacy action of $SO(2m)$ on $O(2m)/U(m)$

I seek intuition about the symmetric space $S$, the set of orthogonal complex structures in $\mathbb{R}^n$ for even $n=2m$. I am finding J.H.Eschenburg's Lecture Notes on Symmetric Spaces very helpful....
Andrius Kulikauskas's user avatar
2 votes
2 answers
131 views

Does isometry on PSD matrices preserve eigenvalues?

Let $S$ be the set of symmetric matrices and $T: S\rightarrow S$ be a linear isometry. Moreover, let $T$ be a bijection from the space of PSD matrices to the set of PSD matrices. Must $T$ preserve ...
curiousperson's user avatar
0 votes
0 answers
48 views

Compact symmetric space whose isometry group and isotropy group have the same rank?

I have trouble with understanding the proof of Theorem 8.6.7 of Wolf's Spaces of Constant Curvature, which conerns the Euler characteristic of a compact symmetric space: In the theorem, $\textbf{I}_0(...
jlidm's user avatar
  • 187
1 vote
1 answer
48 views

Different geometry implies different topology for compact (locally) symmetric spaces

All spaces in this question are assumed to be connected. It seems to me that if $ (M_1,g_1) $ and $ (M_2,g_2) $ are non-isometric, compact, symmetric spaces then the underlying manifolds $ M_1 $ and $ ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
219 views

Is the space $\widetilde{\mathrm{Sp}(4,\mathbb{R})}/\mathrm{SU}(2)$ a symmetric space?

My question is: is the homogeneous space $\widetilde{\mathrm{Sp}(4,\mathbb{R})}/\mathrm{SU}(2)$ a symmetric space? Definitions: Let $G$ be a connected Lie group and $H$ a closed subgroup. The pair $(...
Qing Lan's user avatar
0 votes
0 answers
17 views

Is $SL(n,\mathbb{C})/SU(n)$ irreducible

According to wikipedia, an irreducible Riemannian symmetric space is a Riemannian symmetric space that cannot be written as a product of Riemannian symmetric spaces. I am trying to figure out whether $...
Chevallier's user avatar
  • 1,072
3 votes
1 answer
64 views

(locally) symmetric spaces where every conformal transformation is an isometry

By an argument using Liouville's theorem for conformal maps Conformal automorphism of $H^n$ it can be shown that every conformal automorphism of a hyperbolic manifold is an isometry. Are there any ...
Ian Gershon Teixeira's user avatar
3 votes
0 answers
149 views

Some confusion about Riemannian symmetric space

Recently I'm learning some basic theories about symmetric spaces from "Differential geometry, Lie groups, and symmetric space" written by Sigurdur Helgason, and I have some confusion. I Hope ...
bowenl's user avatar
  • 43
4 votes
0 answers
81 views

Computation of the LES of homotopy groups associated with compact symmetric spaces

I am looking for an efficient way to compute the homotopy groups, as well as morphisms between them, of certain matrix groups and compact symmetric spaces. To be specific, I want to determine the long ...
Hyeongmuk LIM's user avatar
1 vote
1 answer
138 views

How to describe all metrics invariant by $O(3)$ on a given space?

I want to describe all pseudo-Riemannian metrics (symmetric covariant non degenerate 2-tensor fields) invariant by $O(3)$ on different manifolds ($\mathbb R^3$, the sphere $S^2$, and $]-\epsilon,\...
ZHYMRA's user avatar
  • 11
1 vote
0 answers
57 views

Symmetric cones and symmetric spaces

I start by stating what I think I understood on symmetric cones (https://en.wikipedia.org/wiki/Symmetric_cone). Let $\mathcal{C}$ be a symmetric cone in a vector space $V$. There are Riemannian ...
Chevallier's user avatar
  • 1,072
2 votes
0 answers
112 views

curvature tensor of symmetric spaces

I'm trying to understand the following theorem about the curvature tensor of a symmetric space: Let $R$ the curvature tensor of the space $G/K$ corresponding to the Riemannian structure $Q$ ,then at ...
Marco's user avatar
  • 2,675
1 vote
1 answer
127 views

Does the QR/Iwasawa decomposition have any geometric meaning for $2 \times 2$ complex matrices?

It's well known that $2 \times 2$ complex matrices act on the complex plane (with a point at infinity) by $\begin{pmatrix}a & b \\ c & d \end{pmatrix}\cdot z = \frac{az + b}{cz + d}$. Based on ...
wlad's user avatar
  • 8,215
1 vote
1 answer
89 views

A doubt from Araki's 1962 paper on classification of irreducible symmetric spaces

I am looking at Soho Araki's 1962 paper for the classification of real semisimple lie algebras.Here's the link to the paper: Araki's paper.In page $9$, proposition $2.2$,there is a criteria for $\psi\...
Soumyadip Sarkar's user avatar
0 votes
0 answers
26 views

Proof that $ SO_n $ is maximal in $ SU_n $

$ SO_n $ is maximal among the proper connected closed subgroups of $ SU_n $ (at least this is true for small $ n $). What is a conceptual proof of this fact? Equivalently what is a proof that $ \...
Ian Gershon Teixeira's user avatar
1 vote
1 answer
119 views

Is the natural metric on an irreducible compact symmetric space Einstein?

Let $ G/K $ be an irreducible compact symmetric space. Let $ g $ be the pushforward onto $ G/K $ of the biinvariant metric on $ G $. Is $ g $ an Einstein metric on $ G/K $? This is true for $ S^n=SO_{...
Ian Gershon Teixeira's user avatar
0 votes
1 answer
89 views

Symmetrization map over the polynomial ring of a vector space.

Let $V$ be a finite-dimensional complex vector space. Is the morphism \begin{gather*} \mathrm{Sym}^{\bullet}(V \oplus V^*) \to D(V) \cong \frac{\mathrm{T}^{\bullet}(V\oplus V^*)}{I} \,, \\[0.5em] (v_1,...
Flavius Aetius's user avatar
4 votes
0 answers
58 views

Maximum symmetry metric on Cayley Plane $ F_4/Spin(9) $

The maximum symmetry metric on real projective space $ \mathbb{RP}^n $ is the round metric. The maximum symmetry metric on complex projective space $ \mathbb{CP}^n $ is the Fubini-Study metric. https:/...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
76 views

Minimal spheres in rank one symmetric spaces

Let $M^n$ be a compact rank one symmetric space endowed with its canonical metric. For a given point $p \in M$, does there exist a positive number $r$ such that the sphere $$S_r(p) = \{ x \in M: d(x,p)...
Eduardo Longa's user avatar
3 votes
0 answers
75 views

Analogues of Iwasawa Decomposition for $\operatorname{SL}_2(\mathbb{R})/\operatorname{SO}(1,1)(\mathbb{R})$

Consider the group $\operatorname{SL}_2(\mathbb{R})$. The set of positive-definite symmetric $2 \times 2$ matrices of determinant $1$ constitutes a symmetric space $S^+$ for $\operatorname{SL}_2(\...
Ashvin Swaminathan's user avatar
3 votes
1 answer
321 views

Equivalence between bi-invariant metrics on Lie groups and Symmetric spaces

Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and $K$ a connected closed Lie subgroup of $G$ with Lie algebra $\mathfrak{s}$. Then $G/K$ is a homogeneous space. Equip $G$ ...
infinitylord's user avatar
  • 4,844
3 votes
0 answers
51 views

Do there exist theorems of de Sitter geometry, just as there are theorems of Minkowski and anti-de Sitter geometry?

There are theorems of Euclidean, hyperbolic, elliptic and Minkowski geometry. I'm wondering about planar de Sitter geometry. Regarding planar anti-de Sitter geometry, based on my understanding of ...
wlad's user avatar
  • 8,215
0 votes
1 answer
18 views

Question about decomposition about splitting of symmetirc spaces of compact type

I get stuck in the following question: Why does a locally symmetric space of compact type $M$ split locally irreducible components of dimension $\geq 2$ which are Einstein? In particular, why are all ...
Radeha Longa's user avatar
2 votes
0 answers
72 views

Why is $G/K$ a space of non-positive curvature, where $G$ is a complex reductive group and $K$ is its maximal compact subgroup

I am trying to understand the proof of Kempf-Ness theorem, which relates polystability (Mumford's definition) and zeroes of moment maps. A key part of this proof is the following idea, that for a ...
Sayan Chattopadhyay's user avatar
0 votes
1 answer
167 views

Let V a real vector space of finite dimension, with a positive definite inner product and let A a symmetric operator in this space

I want to know how can I generalize this excersice. Let V a real vector space of finite dimension, with a positive definite inner product and let A a symmetric operator in this space a)We have $g(v,w)...
Saram's user avatar
  • 121
4 votes
1 answer
83 views

Restriction of a Lie group automorphism to the subgroup associated to an invariant Lie subalgebra

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$, and let $\sigma \colon G \rightarrow G$ be a Lie group automorphism such that $\sigma^2 = \text{id}_G$. Let $\mathfrak{h}$ be a Lie subalgebra ...
Diego Artacho's user avatar
1 vote
2 answers
73 views

Explanation of the relationship between geometric and algebraic qualities of Globally Riemannian Symmetric Spaces.

If you google search Globally Riemannian Symmetric Spaces, you will receive several links which provide a geometric understanding of these spaces. I mean specifically you will get stuff about ...
Adrian Scheppe's user avatar
1 vote
0 answers
34 views

$\pi\circ \exp|_\mathfrak{m}$ surjective on noncompact homogeneous space

Let $(G,\langle\,,\,\rangle)$ a connected Lie group with bi-invariant semi-Riemannian metric. Let $H$ be a closed subgroup, and denote by $h$ the left-invariant metric on the homogeneous space $N=G/H$ ...
Oliver's user avatar
  • 93
0 votes
0 answers
113 views

Classification of Symmetric Spaces of Dimension $n$ and Rank $k$?

(Rather than edit, I'm making a new post.) In Classification of Closed, Locally Symmetric Spaces of Dimension $n$ and Rank $k$?, I asked about closed, locally symmetric spaces. I now realize what I ...
Jeffrey Rolland's user avatar
1 vote
0 answers
192 views

Volume of a geodesic ball in $SL(n) / SO(n)$?

Crossposted on MO: https://mathoverflow.net/questions/404944/volume-of-a-geodesic-ball-in-sln-son Question: What is the volume of a geodesic ball of radius $r$ in the symmetric space $SL(n) / SO(n)$? ...
ccriscitiello's user avatar
1 vote
0 answers
64 views

Isometries of the symmetric space of $PSL_d(\mathbb{R})$

Let $G = PSL_d(\mathbb{R})$ and $K = SO(d)$. It is a known fact that the symmetric space $G/K$ can be identified with the space $X_d$ defined by the space of inner products in $\mathbb{R}^d$ up to ...
Joaquín Lejtreger's user avatar
5 votes
1 answer
168 views

What are locally parallelizable manifolds?

I came across this concept on this wiki page regarding killing vector field. The last sentence in section "Cartan Involution" says that "Equivalently, the curvature tensor is ...
Selene's user avatar
  • 1,093
4 votes
0 answers
78 views

Which non-compact quaternion-Kähler spaces are Kähler?

The list of quaternion-Kähler compact symmetric spaces can be found here. I am curious to know which of the non-compact versions of these spaces are Kähler. If the answer is known also for non-...
AMA's user avatar
  • 41
2 votes
0 answers
117 views

Lie group involutive automorphism inducing a symmetric space structure on the quotient by its fixed-point-set

I'm trying to understand one example of a symmetric space in Postnikov's Riemannian Geometry book but I'm unsure if I'm messing up one of the identifications, or just the algebra. Here's the setup: A ...
Ivo Terek's user avatar
  • 78.4k
0 votes
1 answer
56 views

Is Complex tori formal?

A manifold is called geometrically formal when all wedge products of harmonic forms are harmonic. As it says here: https://arxiv.org/pdf/math/0004009.pdf: On a general Riemannian manifold, wedge ...
Partha's user avatar
  • 1,419
2 votes
0 answers
88 views

Qustions on the orbits of weyl group and group actions

I am an undergraduate in physics and know little about math. I know about some basic ideas of Lie groups and Lie algebras like roots, weyl group, weyl chambers but I am ignorant about complexification,...
August.C's user avatar
7 votes
1 answer
142 views

Proof of $\mathsf{SU}(3)/T^2$ is not a symmetric space

How to see that $\mathsf{SU}(3)/T^2$ is not a symmetric space? This is not obvious to me. How to see that it admits a metric of positive curvature? The only clue that I know is the submersion $\...
C.F.G's user avatar
  • 8,571
4 votes
2 answers
74 views

About the proof of Proposition 6.45 on Ziller's notes

I'm currently going through W. Ziller's notes on symmetric spaces, and I've come across one argument he makes which I can't seem to wrap my head around. Suppose $(G,K)$ is a symmetric pair of the ...
Johnny El Curvas's user avatar
0 votes
0 answers
20 views

Exponentiating two elements in lie group

This must be a silly question, but while reading the book of Borel and Ji on compactifications of symmetric and locally symmetric spaces I got completely stuck on the notation. Does the notation $x^y$ ...
TSU's user avatar
  • 508
2 votes
1 answer
229 views

Is the Ricci tensor of a symmetric space proportional to the killing form?

In Besse's book on Einstein manifolds, one can read the following theorem 7.73 Theorem: The Ricci curvature of a Riemannian symmetric space satisfies: $$r=-\frac{1}{2}B_{\vert\mathfrak p}$$ Here $r$ ...
Adam Chalumeau's user avatar
7 votes
1 answer
229 views

Local obstruction to having a complete extension

This question arose while I was reading Helgason's book on symmetric spaces. In chapter IV section 5, one can read the following: Let $M$ be a Riemannian manifold, $p$ a point in $M$. In general it ...
Adam Chalumeau's user avatar
1 vote
1 answer
352 views

Riemannian exponential map on symmetric spaces of non-compact type

Let $S$ be a symmetric space of non-compact type, specifically let $S= SL(n)/SO(n)$ for some $n\geq 2$. I know that such spaces are geodesically complete, simply connected, and have non-positive ...
Catologist_who_flies_on_Monday's user avatar
0 votes
1 answer
201 views

Curvature invariant under isometry but not parallel transport?

I have read that the curvature is invariant under isometry in the general, though I'm urrently reading up a little on symmetric spaces and I've seen that we have $\nabla R=0$ iff the space is locally ...
Flumpo's user avatar
  • 389
3 votes
0 answers
103 views

Representations of $\text{Sp}(n,1)$ on $\mathbb{R}^d$

Can anyone help me understand why there are no nontrivial homomorphisms $\text{Sp}(n,1) \to \text{GL}(d,\mathbb{R})$ if $n$ is sufficiently large relative to $d$? By definition, $\text{Sp}(n,1)$ is ...
tsooch's user avatar
  • 429
1 vote
0 answers
149 views

Involutive automorphism of simple Lie algebra

Let $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ be a Cartan decomposition for a noncompact real simple Lie algebra $\mathfrak{g}$ corresponding to a Cartan involution $\theta$, where $\mathfrak{k}$ is ...
Hebe's user avatar
  • 825
0 votes
1 answer
255 views

Examples: (Symmetric) Quotients of Euclidean Space

What are some examples of $n$-dimensional topological manifolds $M$ (possibly with boundary), which can be written as a quotient $\mathbb{R}^d/G$ for some topological group acting on $\mathbb{R}^d$?
ABIM's user avatar
  • 6,787
1 vote
1 answer
39 views

Looking for reference: If a Riemanian manifold is foliated by max symmetric submanifolds, then coordinates can always be chosen such that ...

In Weinberg's book on General Relativity in section 13.5 it is shown that, loosely stated, if a Riemannian manifold $(M,g)$ of dim $m$ is composed of maximally symmetric submanifolds $(N,h)$ of dim $n$...
Inzinity's user avatar
  • 1,773
0 votes
1 answer
164 views

Space form structure for non orientable surfaces

The projective plane is homogeneous $$ N_0=P^2 \cong SO_3/O_2 $$ The connected sum of two projective planes is the Klein bottle $ K= N_1 $ which is also homogeneous (for the construction of this ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
215 views

Is every connected surface locally symmetric?

Is every connected 2 manifold homeomorphic to a space of the form $$ \Gamma\backslash G/H $$ where $ G $ is a Lie group, $H $ a subgroup of $ G $, $G/H $ a symmetric space, and $ \Gamma $ a discrete ...
Ian Gershon Teixeira's user avatar
0 votes
0 answers
71 views

Why is the bilinear form $B_{\theta}$ (defined via Killing form) positive definite?

Let $\frak{g}$ be a matrix Lie algebra with Cartan involution $\theta : X\mapsto -X^*$ (negative conjugate transpose). Let $B$ be the bilinear symmetric Killing form $B(X,Y)=\operatorname{tr}(\...
Strichcoder's user avatar
  • 2,005