Skip to main content

Questions tagged [symmetric-spaces]

A symmetric space is a connected Riemannian manifold in which at every point there exists a global self-isometry whose differential at the given point is minus identity.

Filter by
Sorted by
Tagged with
7 votes
0 answers
149 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 ...
Allen Knutson's user avatar
8 votes
1 answer
673 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 ...
shrinklemma's user avatar
11 votes
1 answer
433 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}^{2\times n}$, ...
Simon L Rydin Myerson's user avatar
7 votes
0 answers
507 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 ...
B K's user avatar
  • 1,942
2 votes
0 answers
170 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)\...
Chris's user avatar
  • 796
3 votes
0 answers
94 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 ...
Vanya's user avatar
  • 601
2 votes
0 answers
201 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 ...
Vanya's user avatar
  • 601
1 vote
0 answers
235 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 ...
Hebe's user avatar
  • 951
12 votes
1 answer
406 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-...
Misha Verbitsky's user avatar
3 votes
1 answer
422 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 ...
Hebe's user avatar
  • 951
5 votes
1 answer
181 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 ...
Ninnat Dangniam's user avatar
7 votes
0 answers
138 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(\...
Hebe's user avatar
  • 951
7 votes
2 answers
231 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 $\...
Mikhail Borovoi's user avatar
3 votes
0 answers
94 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 ...
erz's user avatar
  • 5,529
6 votes
2 answers
512 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 ...
Gro-Tsen's user avatar
  • 32.4k
3 votes
0 answers
90 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$ ...
erz's user avatar
  • 5,529
4 votes
0 answers
145 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 ...
user avatar
4 votes
0 answers
187 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 ...
user avatar
5 votes
0 answers
200 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 ...
DavidHume's user avatar
  • 743
7 votes
0 answers
601 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_{...
user avatar
2 votes
0 answers
225 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, ...
Elia Fioravanti's user avatar
15 votes
3 answers
1k 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....
Ninnat Dangniam's user avatar
6 votes
0 answers
272 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 ...
user avatar
1 vote
0 answers
160 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 ...
HCF's user avatar
  • 31
10 votes
3 answers
489 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)...
Anthony Quas's user avatar
  • 23.2k
7 votes
1 answer
208 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 ...
jacob's user avatar
  • 2,824
15 votes
4 answers
2k 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\...
asv's user avatar
  • 21.8k
4 votes
1 answer
184 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 ...
Giuseppe Sellaroli's user avatar
5 votes
1 answer
243 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 ?
Nobu's user avatar
  • 79
2 votes
0 answers
161 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 ...
Ago Szekeres's user avatar
3 votes
0 answers
82 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 ...
Aloizio Macedo's user avatar
2 votes
0 answers
82 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,\...
Shi Q.'s user avatar
  • 543
2 votes
0 answers
147 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 ...
Tyler Foster's user avatar
5 votes
1 answer
307 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 ...
ThiKu's user avatar
  • 10.4k
3 votes
1 answer
231 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 ...
Guest's user avatar
  • 61
4 votes
1 answer
253 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 ...
Oliver Jones's user avatar
  • 1,378
4 votes
1 answer
351 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 ...
MathStudent's user avatar
3 votes
2 answers
275 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 ...
Christoph Mark's user avatar
2 votes
1 answer
172 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) = \{\, ...
varsop's user avatar
  • 123
2 votes
0 answers
158 views

Kernel of the Weil homomorphism for compact symmetric spaces

Let $X = G/K$ be a Riemannian symmetric space of compact type and consider the "Weil homomorphism" $$w^\bullet: H^\bullet(BK; \mathbb R) \to H^\bullet(X; \mathbb R),$$ i.e. the map in cohomology ...
Tobias Hartnick's user avatar
3 votes
1 answer
931 views

Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...
asv's user avatar
  • 21.8k
6 votes
1 answer
363 views

Tori in Compact Riemannian Symmetric Spaces

The closure of a 1-parameter subgroup in a compact Lie group is a torus. To what extent does this result generalize to compact Riemannian symmetric spaces? In other words, is the closure of a geodesic ...
Oliver Jones's user avatar
  • 1,378
8 votes
1 answer
650 views

Harish-Chandra isomorphism for compact symmetric spaces

I would be interested to have an explicit description of the algebra of invariant differential operators on functions on a compact symmetric space $G/K$. A reference would be especially useful. Below ...
asv's user avatar
  • 21.8k
2 votes
0 answers
118 views

Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true? Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$. Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$. Let $U$ be ...
Rami's user avatar
  • 2,639
4 votes
2 answers
344 views

Hermitian Symmetric Subspaces of Siegel Space

Let $\mathbb{H}_g$ denote Siegel space, and $M$ denote an order 4 element of the unitary subgroup $U(n)(\mathbb{R})$with $p$ eigenvalues equal to $i$, and $q$ eigenvalues equal to $-i$, $p+q=g$. ...
jacob's user avatar
  • 2,824
4 votes
0 answers
108 views

Tangent bundles of period domains of higher weight Hodge structures

Considering $A_{g}$ the moduli space of principally polarized abelian varieties, there is a variation of Hodge structures $\mathbb{V}=E^{1,0}\oplus E^{0,1}$ of weight $1$ on $A_{g}$. It is well-known ...
Darius Math's user avatar
  • 2,221
2 votes
1 answer
529 views

Cotangent bundle of symmetric space is symmetric space?

Let $G$ be a connected Lie group. Then a symmetric space for $G$ is a homogeneous space $G/H$ where the stabilizer $H$ of a typical point is an open subgroup of the fixed point set of an involution ...
user avatar
11 votes
1 answer
536 views

Do there exist non-totally geodesic isometric minimal immersions $\mathbb{H}^2\rightarrow G/K.$

Suppose $G$ is a non-compact, semi-simple Lie group, of rank at least two, with maximal compact subgroup $K$ and $G/K$ the corresponding Riemannian symmetric space. Let $\mathbb{H}^2(-c^2)$ be the 2-...
Andy Sanders's user avatar
  • 3,020
3 votes
0 answers
228 views

Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$

Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times \mathfrak{...
user avatar
18 votes
1 answer
1k views

How come Cartan did not notice the close relationship between symmetric spaces and isoparametric hypersurfaces?

Elie Cartan made fundamental contributions to the theory of Lie groups and their geometrical applications. Among those, we can list the introduction of the remarkable family of Riemannian symmetric ...
Claudio Gorodski's user avatar