# Questions tagged [symmetric-spaces]

The symmetric-spaces tag has no usage guidance.

**2**

votes

**1**answer

65 views

### Homogeneity of a projective vector bundle

Let $M=G/K$ be a $G$-homogeneous manifold and suppose that $E\to G/K$ is a homogeneous (complex) vector bundle, i.e. it is defined by a representation $\phi : K \to \text{Aut(V)}$ for some complex ...

**3**

votes

**0**answers

25 views

### Embedding of Riemannian symmetric spaces $E_I$ and $E_{IV}$ into Lie group $E_6$

In answer and comments to this mathoverflow question we have discussed possiblity of embedding Riemmanian symmetric spaces $E_I, E_{II}, E_{III},E_{IV}$ of dimension $42,40,32,26$ respectively into $...

**4**

votes

**1**answer

168 views

### The automorphism group of a symplectic symmetric space

Why is the automorphism group of a sympelctic symmetric space a Lie group?
$\\$
A symplectic symmetric space is a triple $(M, \omega, s)$, where $(M, \omega)$ is a symplectic manifold and $ s \; \...

**2**

votes

**0**answers

44 views

### Maximal tori of a symmetric subgroup

Suppose $G$ is a complex connected reductive algebraic group, $K$ is a symmetric subgroup of $G$ (i.e. the fixed points of an involution $\theta$ of $G$), and $T$ is a $\theta$-stable maximal torus in ...

**3**

votes

**0**answers

57 views

### Maximally symmetric affine manifold

As a physicist who knows (something) about General Relativity, I'm accustomed to the term "maximally symmetric space" being an $n$-dimensional manifold with $\frac{n(n+1)}{2}$ Killing vectors. A ...

**5**

votes

**0**answers

152 views

### What kind of locally symmetric space is a rational sphere

Using Dehn Surgery, we can construct compact hyperbolic $3$-manifolds with vanishing Betti numbers $b_1=b_2=0$, i.e., a rational homology $3$-sphere.
My question is the following.
Is there other ...

**3**

votes

**0**answers

58 views

### Restriction that contains a trivial representation

Let $G$ be a noncompact simple Lie group, and $G'$ a noncompact reductive subgroup of $G$ such that $(G,G')$ is a symmetric pair. If $\pi$ is an infinitely dimensional unitary representation of $G$, ...

**5**

votes

**1**answer

108 views

### When can the metric be reconstructed (up to scaling) from knowing the conjugate points?

Let $M$ be a smooth manifold of dimension $\geq 2$. Let $g$ be a complete Riemannian metric on $M$. Let $C \subseteq M \times M$ be the set of pairs of $g$-conjugate points.
The set $C$ doesn't ...

**5**

votes

**0**answers

133 views

### Restriction of discrete series

QUESTION
Let $G$ be a simple Lie group with equal rank; namely, the rank of $G$ equals the rank of its maximal compact subgroup. Suppose that $G'$ is a reductive subgroup of $G$ with equal rank. If $\...

**4**

votes

**1**answer

151 views

### Holonomy groups of compact Riemannian symmetric spaces

Let $M$ be a compact Riemannian symmetric space. By the classification of Cartan, it belongs to the table of homogeneous spaces given in the Wikipedia page:
https://en.wikipedia.org/wiki/...

**2**

votes

**0**answers

75 views

### What is the symmetry group of the totally nonnegative Grassmannian $Gr_{tnn}(k,n)$?

What is the symmetry group of the totally nonnegative Grassmannian $Gr_{tnn}(k,n)$? [The latter consists of those elements of the Grassmannian that can be represented by $k \times n$-matrices all of ...

**7**

votes

**0**answers

130 views

### Eigenspaces and covering relations of twisted involutions

Let $\theta:G\to G$ be an involution of a complex connected reductive Lie group, preserving a maximal torus $T$ (which, for me, lies inside a $\theta$-invariant Borel $B$). Let $K = G^\theta$ be the ...

**5**

votes

**0**answers

196 views

### Classification of compact globally symmetric spaces

It is known that any connected compact Lie group $G$ is a finite quotient of the product of a compact simply connected semisimple Lie group $\tilde{G}$ and a torus $\mathbb{T}^n$ (see for example ...

**11**

votes

**0**answers

195 views

### Upper bounds for lattice points in orbits, and representations of binary quadratic forms

Write $\mathbb{Z}^{a\times b}$ for the $a\times b$ integer matrices. Let $n\geq 3$ and $Q\in\mathbb{Z}^{n\times n}$. Let $G=O(Q)$ be the orthogonal group of $Q$. For $X_0\in \mathbb{Z}^{n\times 2}$, ...

**7**

votes

**0**answers

171 views

### Explicit formula for the Levi-Civita connection on a non-compact Riemannian symmetric space

Let $G/K$ be a non-compact Riemannian symmetric space, endowed with the Riemannian metric coming from the Killing form on the Lie algebra $\mathfrak{g}$ of the semi-simple Lie group $G$. Here $K$ is ...

**2**

votes

**0**answers

149 views

### Orbits under an algebraic group inside a Shimura variety

Let $(G,X)$ be a Shimura datum, $K$ a compact open subgroup of $G(\mathbb A_f)$. Let $H\subset G$ be a $\mathbb Q$-subgroup. Choose a point $x\in X$. What can be said about the orbit $H(\mathbb R)\...

**3**

votes

**0**answers

66 views

### Cohomology of boundary of locally symmetric space

Let $S$ be a locally symmetric space, not necessarily compact, and $\overline{S}$ be its Borel-Serre compactification. Let $\partial S$ be the boundary of $S$. Let $\widetilde{\mathbb{C}}$ be the ...

**2**

votes

**0**answers

101 views

### Cohomology of adelic locally symmetric spaces

I am most probably wrong in asserting as follows.
Let $G$ be a connected reductive group over $\mathbb{Q}$, and $S_{K_f} = G(\mathbb{Q}) \backslash G(\mathbb{A}/K_\infty Z(\mathbb{A}) \cdot K_f $ be ...

**1**

vote

**0**answers

121 views

### Connectedness of symmetric subgroup of simply connected Lie group

Let $G$ be a connected real simple Lie group, and $\tau$ be an involutive automorphism of $G$. Then $\tau$ defines a symmetric subgroup $G^\tau$ of $G$. In general, $G^\tau$ is not necessarily ...

**12**

votes

**1**answer

216 views

### Compact quaternionic Kahler manifolds of negative curvature: examples

There is a well known problem of LeBrun-Salamon:
are there any non-symmetric compact quaternionic-Kahler
manifolds of positive scalar (and Ricci) curvature?
It is hard and still unsolved:
Quaternionic-...

**2**

votes

**1**answer

162 views

### Irreducible Symmetric Pairs

Let $\mathfrak{g}$ be a simple Lie algebra with a compact subalgebra $\mathfrak{k}$ such that $(\mathfrak{g},\mathfrak{k})$ corresponds to an irreducible Riemann symmetric space. Denote by $\sigma$ be ...

**5**

votes

**1**answer

102 views

### The uniqueness of a $K$-fixed vector in a spinor representation

Consider $G=SO(2n)$ and $K=U(n)$. $(G,K)$ is a symmetric pair. I'm interested in (zonal) spherical functions on $G/K$ which are matrix elements with respect to $K$-fixed vectors in irreducible ...

**7**

votes

**0**answers

89 views

### Symmetric pairs of holomorphic type

Let $G$ be a real simple Lie group of Hermitian type; that is, $G/K$ carries a structure of a Hermitian symmetric space where $K$ is a maximal compact subgroup of $G$. Equivalently, the center $Z(\...

**6**

votes

**2**answers

165 views

### Non-semisimple symmetric subgroups of simply connected simple algebraic groups

Let $G$ be a simply connected simple algebraic group over the field of complex numbers $\mathbb C$. Let $H$ be a symmetric subgroup of $G$. This means that there exists an automorphism of order 2 $\...

**3**

votes

**0**answers

87 views

### Isotropy symmetric holomorphic functions

Let $G$ be a bounded homogeneous domain in $\mathbb{C}^{n}$ and let $z\in G$.
Assume that $f$ is a holomorphic function on $G$, which is isotropy symmetric, i.e. $f\circ \varphi=f$ for any ...

**3**

votes

**2**answers

310 views

### Constructing real forms of the Tits-Freudenthal magic square for (Rosenfeld) projective planes

If $\mathbb{K},\mathbb{L} \in \{\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}\}$ then the Rosenfeld projective ("elliptic"?) plane $\mathbb{P}^2(\mathbb{K}\otimes\mathbb{L})$ is "the" compact Riemannian ...

**3**

votes

**0**answers

86 views

### Two questions on homogeneous domains

Let $G$ be a domain in $\mathbb{C}^{n}$ and let $Aut(G)$ be the group of biholomorphic selfmaps of $G$. $G$ is called:
(1) homogeneous if $Aut(G)$ acts transitively on $G$, i.e. for any $z,w\in G$ ...

**4**

votes

**0**answers

104 views

### Exceptional symmetric spaces with quaternionic structure

Following this and this question I found following chain of exceptional symmetric spaces being quaternionic manifolds. I listed dimensions as superscripts for reader convenience.
$F_{I}^{28}\subset ...

**4**

votes

**0**answers

144 views

### A few questions about $E_7$ and its symmetric spaces

My question about $E_6$ survived, so I post next episode. From the Yokota book I found out that there is $-1$ in $E_7$ Lie group. This book defines Lie group $E_7$ using 56-dimensional Freudenthal ...

**5**

votes

**0**answers

133 views

### Volume growth and visibility in hyperbolic spaces

I am interested in the following two questions for complex, quaternionic and octonionic hyperbolic spaces, equipped with their usual metrics and measures:
For brevity, I will denote the volume of the ...

**7**

votes

**0**answers

456 views

### A few questions about $E_6$ and its symmetric spaces

Preface
The purpose of my question - on high level - is to understand exceptional symmetric spaces. My latest idea is to embed them into Lie group. There is quite nice embedding of 32-dimensional $E_{...

**2**

votes

**0**answers

185 views

### Negative-curvature behaviour of higher-rank symmetric spaces

Let $X$ be a symmetric space of noncompact type with $rk\ X\geq 2$ and let $G$ be the identity component of the isometry group. Pick points $p\in X$ and $\xi\in\partial_{\infty}X$, with $\xi$ regular, ...

**15**

votes

**3**answers

786 views

### Is SO(2n+1)/U(n) a symmetric space?

I am a physics student with only a rudimentary knowledge of differential geometry, so please feel free to point out if I miss something elementary / trivial.
According to https://arxiv.org/abs/1408....

**6**

votes

**0**answers

176 views

### Exceptional symmetric spaces embedded in exceptional Lie group

In Yokota (1959) and Atsuyama (1977) papers one can find embedding of projective space $\mathbb OP^2$ into Lie group $F_4$. Lately I come to following idea to have embedding of all four projective ...

**1**

vote

**0**answers

95 views

### Reference: Heat Kernel for Siegel Upper Half plane

Is there a ready reference for explicit computation of the heat kernel for Siegel upper half space $\mathbb{H}_n=\{Z=X+iY\in \mathrm{Mat}_n(\mathbb{C}) \vert Y>0\} $? I could find it for general ...

**8**

votes

**3**answers

232 views

### Relationship between Multiplicative Ergodic Theorems

One version of Oseledets' Multiplicative Ergodic Theorem states that if $\sigma$ is an ergodic measure-preserving transformation of a space $(\Omega,\mathbb P)$ and if $A\colon\Omega\to GL(d,\mathbb R)...

**6**

votes

**1**answer

160 views

### An explicit description of neighborhoods of the rank 2 boundary in the Satake Compactification of $\mathbf{A}_2$

My Motivation: I'm having a hard time following the description of the topology in the Satake Compactification of locally symmetric spaces. The group theory is something I'm finding a bit tricky to ...

**12**

votes

**4**answers

1k views

### Applications of Jordan algebras

Jordan algebras are non-associative algebras satisfying a somewhat strange (to me) list of axioms, see wikipedia. Basic examples are real symmetric and complex hermitian matrices with the product $A\...

**4**

votes

**1**answer

129 views

### Hua Luogeng's definition of automorphism group for Hermitian symmetric space

I'm trying to make sense of a definition appearing in Hua Luogeng's book "Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains".
Consider the Hermitian symmetric space ...

**5**

votes

**1**answer

229 views

### Triviality of a fiber bundle

Is the principal fiber bundle $GL^+(6,\mathbb R)$ over $GL^+(6,\mathbb R)/SL(3,\mathbb C)$ trivial ?

**2**

votes

**0**answers

137 views

### Intermediate quotient for a Hermitian Symmetric Spaces of $Sp(n)$

We know that $U(N)$ can be embedded into $SU(n+1)$ and that the quotient is isomorphic to complex projective space:
$$
SU(n+1)/U(n) \simeq {\mathbb CP}^{n}.
$$
We can split this process into two ...

**3**

votes

**0**answers

75 views

### If $M$ is a globally symmetric space, do we need it to be compact to prove that all the critical submanifolds in $\Lambda M$ are nondegenerate?

In "The free loop space of globally symmetric spaces" by Ziller, he proves the following theorem:
Theorem 2. For a globally symmetric space the critical submanifolds in $\Lambda M$ are all ...

**2**

votes

**0**answers

72 views

### symmetric points on symmetric spaces

Let $M$ by an $m$-dimensional symmetric space (or a general Riemannian manifold). The finite distinct points $p_1,p_2,\cdots,p_n\in M$ are said symmetric, if for any permutation $\sigma$ on $1,2,\...

**2**

votes

**0**answers

85 views

### Automorphism groups of symmetric cones

Indecomposable symmetric cones fall into five classes. The automorphism group of any symmetric cone $C$ is a real Lie group $Aut(C)$. What is the associated class of Lie groups $Aut(C)$ for each of ...

**5**

votes

**1**answer

239 views

### Anosov representations and boundaries of (harmonic) maps

Let $\Sigma_g$ be a closed hyperbolic surface and $\rho\colon\pi_1\Sigma_g\to G$ an Anosov representation into a suitable Lie group. By definition of Anosovness, one has a $\rho$-equivariant ...

**2**

votes

**1**answer

159 views

### How to associate a proper parabolic subgroup of a real s.s Lie group $G$ to a non-trivial unipotent element in a non uniform lattice in $G$?

Let $G$ be a real semi-simple Lie group. Let $\Gamma$ be a non-uniform lattice in $G$.
Then it is known that $\Gamma$ contains a non-trivial unipotent element. When $\mathbb{R}$-rank of $G$ is 1, it ...

**4**

votes

**1**answer

189 views

### Non-flat totally geodesic surfaces

I'd like to know whether a Riemannian symmetric space of compact type admits a non-flat totally geodesic surface. I've found an article by Mashimo on the classification of these surfaces for certain ...

**4**

votes

**1**answer

292 views

### Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...

**3**

votes

**2**answers

184 views

### Variation of Hodge structures associated to a hermitian symmetric domain

Let $D$ be an irreducible hermitian symmetric domain. Then there exists a variation of Hodge structures $(h_s)_{s\in D}$ on a vector space $V$ satisfying specific conditions which depend on $D$ such ...

**2**

votes

**1**answer

135 views

### Discrete subgroup of centralizer of transvections in isometries acts properly discontinuously

My question will rely on a clarification of a proof, which I simply don't understand.
Let us denote by $X$ a pseudo-riemannian symmetric space and define
$$
Z_{\mathrm{Iso}\left(X\right)}G(X) = \{\, ...