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
1 vote
1 answer
60 views

Distribution of top left block from unitary symmetric matrices

If $U$ is a $N\times N$ random unitary matrix uniformly distributed with respect to Haar measure, a $M\times M$ block $A$ from it has distribution given by $$ \det(1-AA^\dagger)^{N-2M}.$$ If $O$ is a $...
user avatar
  • 2,400
2 votes
0 answers
17 views

How to construct lattice points in bounded symmetric domain?

Consider the Hermitian bounded symmetric domain for $k \leq m$: $$ C_{k, m} = \{ Z \in \mathbb{C}^{m\times k} \,|\, Z^*Z < I_k \} $$ where $I_k$ is the $k\times k$ unit matrix. If I am not mistaken,...
user avatar
  • 7,804
12 votes
1 answer
188 views

Are the symmetric spaces $\operatorname{SU}(n)/{\operatorname{SO}(n)}$ always nontrivial in the bordism rings for $n>2$?

In my recent research, I need to know if the symmetric spaces $\operatorname{SU}(n)/{\operatorname{SO}(n)}$ are always nontrivial in the unoriented and oriented bordism rings for $n>2$. (For the ...
user avatar
5 votes
1 answer
131 views

Invariants for the isotropy representation of a Riemannian symmetric space

Statement: Let $M = G/K$ be a Riemannian symmetric space of compact type, and $V = T_o M$ be its isotropy representation (of $K$ acting on the tangent space of $M$). Then the Hilbert–Poincaré series $...
user avatar
  • 21.7k
0 votes
0 answers
65 views

General fiber and the symmetric product of an ample hypersurface

Let $Sym^m(X)$ be the $m$th symmetric product of a smooth projective variety $X$, $n=\dim(X)$, $Y_1$ an ample hypersurface of $X$, and $CH_0(X)_{hom}$ the Chow groups of $0$-cycles of degree $0$....
user avatar
  • 407
3 votes
1 answer
179 views

Classification of "homogeneous" submanifolds of ℝⁿ

I define a subset $M$ of $\mathbb R^n$ to be a "homogeneous Euclidean manifold" if: it is a closed connected smooth submanifold of $\mathbb R^n$, for every $p, q$ in $M$, there is a ...
user avatar
6 votes
0 answers
192 views

Fundamental group of compact globally symmetric spaces

The fundamental group of a globally symmetric space $M$ of compact type is known (see Loos [1], Borel [2]). The result can be formulated as follows: it is isomorphic to the quotient $$(*) \quad \pi_1(...
user avatar
3 votes
1 answer
84 views

Rigidity of the compact irreducible symmetric space

Let $(M^n,g)$ be an irreducible symmetric space of compact type. In particular, $(M^n,g)$ is an Einstein manifold with a positive Einstein constant. Is there any classification for $(M^n,g)$ if $(M^n,...
user avatar
  • 407
3 votes
0 answers
62 views

Real algebraic structure on locally symmetric varieties

Let $\mathbf{G}$ be a semisimple $\mathbb{Q}$-algebraic group, $\mathbf{G}(\mathbb{R})^+$ the connected component (for the Euclidean topology) containing the identity, $\Gamma\subset \mathbf{G}(\...
user avatar
  • 737
5 votes
1 answer
91 views

Proof of equivalence between Lie triple systems and totally geodesic submanifolds

In a Riemannian symmetric space $Q$, it is well known that the existence of a totally geodesic submanifold at a point $p \in Q$ is equivalent to the existence of a Lie triple system at $p$, i.e., a ...
user avatar
  • 749
3 votes
0 answers
42 views

Examples of non-affine, non-semisimple symmetric spaces

I am looking for examples of pseudo-Riemannian symmetric spaces that are not of the type encountered in the standard Riemannian classification, i.e. not flat or with semisimple symmetry group. As I ...
user avatar
  • 31
8 votes
1 answer
217 views

Covolumes of unit groups of division algebras

Let $D$ be a central division (or maybe just simple) algebra over $\mathbb{Q}$. Let $\mathcal{O} \subset \mathcal{O}_m$ be an order inside a fixed maximal order and denote by $\mathcal{O}^1$ its group ...
user avatar
  • 697
9 votes
0 answers
276 views

Volume of a geodesic ball in $\operatorname{SL}(n) / {\operatorname{SO}(n)}$?

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Crossposted on MSE: https://math.stackexchange.com/questions/4261809/volume-of-a-geodesic-ball-in-sln-son Question: What is the volume of a ...
user avatar
4 votes
1 answer
164 views

Correct curvature tensor of symmetric space of positive definite matrices with trace metric?

Let $Pos(n)$ be the set of $n \times n$ real positive definite matrices with trace (aka affine-invariant) metric $$\langle u, v \rangle_p = tr(p^{-1} u p^{-1} v)$$ for all $p \in Pos(n)$ and $u, v \in ...
user avatar
5 votes
2 answers
232 views

Jacobi fields on non-symmetric spaces

I am searching for examples of manifolds which are not symmetric spaces but where Jacobi fields can be computed in closed form. For now, I am aware of Gaussian distribution with the Wasserstein ...
user avatar
2 votes
0 answers
49 views

Showing an action of a higher rank lattice on hyperbolic space has a fixed point

In the introduction to this paper, the author mentions that any action of a lattice $\Gamma < G$ on a rank one symmetric space $X$ has a fixed point, where $G$ is a higher rank semisimple algebraic ...
user avatar
  • 191
3 votes
0 answers
66 views

Is the affine Grassmannian manifold a symmetric homogeneous space?

I am interested in the manifold of affine subspaces of dimension $k$ of $\mathbb{R}^n$, which can be viewed as the homogeneous space $$ E(n)/(E(k)\times O(n-k)),$$ where $E$ refers to rigid motions ...
user avatar
2 votes
1 answer
185 views

Closed manifolds of nonnegative curvature operator are symmetric spaces

In an online webinar, I heard (not directly) the statement that (closed) manifolds of nonnegative curvature operator $\mathcal{R}\geq 0$ are symmetric spaces. Is this a valid theorem? Any reference ...
user avatar
  • 3,905
5 votes
1 answer
125 views

Holonomy of a triangle in an affine symmetric space

Let $G/H$ be an affine symmetric space with involution $\sigma$, and $\mathfrak{g}=\mathfrak{m}\oplus \mathfrak{h}$ the Cartan decomposition of its Lie algebra. We can identify $G/H$ and $\exp(\...
user avatar
3 votes
0 answers
172 views

Functoriality for compactifications of locally symmetric spaces

Let $X$ be a symmetric space associated to an algebraic group $G$ defined over $\mathbb{Q}$ and $G(\mathbb{R})$ acts on $X$ from the left. Let $\Gamma \subset G(\mathbb{Q})$ be an arithmetic subgroup ...
user avatar
  • 297
9 votes
0 answers
263 views

Maximal geodesic spheres in the "octooctonic projective plane"

Boris Rosenfeld claimed that the 128-dimensional compact Riemannian symmetric space on which $\mathrm{E}_8$ acts as isometries could be seen as the "octooctonionic projective plane", $(\...
user avatar
  • 19.4k
1 vote
0 answers
96 views

Actions of finite groups on compact symmetric spaces

I am interested in series of finite subgroups of the classical compact simple Lie groups which have big orbits on compact symmetric spaces and where the double coset space has some nice explicit ...
user avatar
  • 7,804
4 votes
0 answers
254 views

Isometry groups of symmetric spaces

Let $M=G/K$ be a symmetric space where $G=\mathrm{Isom}(M)$ and $K$ is the isotropy at some point $o\in M$. Moreover, let $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be the Cartan decomposition of $\...
user avatar
1 vote
1 answer
209 views

Existence of commuting Chevalley involution

Let $\mathfrak{g}$ be a simple finite-dimensional complex Lie algebra, and let $\theta$ be a complex linear involution on $\mathfrak{g}$. Let $\mathfrak{a}$ be a Cartan subspace, and choose a $\theta$...
user avatar
2 votes
1 answer
124 views

Automorphism group of Hermitian symmetric spaces

For a hermitian symmetric space $M$ one has its group of biholomorphic maps $\operatorname{Hol}(M)$ and its group of Riemannian isometries $\operatorname{Isom}(M)$. According to Prop. 1.6 of Milne - ...
user avatar
  • 9,786
3 votes
1 answer
162 views

A different notion of a decomposable symmetric tensor (besides Veronese)

$\DeclareMathOperator{\complex}{\mathbb{C}}$ Let $\bigvee^m(\complex^n)\subseteq (\complex^n)^{\otimes m}$ denote the space of symmetric tensors, i.e. the set of $x \in (\complex^n)^{\otimes m}$ that ...
user avatar
  • 874
4 votes
0 answers
105 views

Relationship between Hecke algebra and center of universal enveloping algebra (and the Harish-Chandra isomorphism)

Let $G$ be a semisimple Lie group of noncompact type and let $K$ be a maximal compact subgroup. Let $\mathfrak{g} = \mathfrak{p} \oplus \mathfrak{k}$ be the Cartan decomposition coming from some ...
user avatar
0 votes
0 answers
72 views

$\tau$-admissible lift

I've been asked to take on a peer-review task which has to be completed in a short time, obviously details have to remain confidential, I need to work out what ``$\tau$-admissible lift" means if $...
user avatar
  • 1,845
6 votes
1 answer
209 views

Bounded non-symmetric domains covering a compact manifold

This question is somewhat related to this other question of mine. I was wondering which are the known examples of bounded domains $\Omega$ in $\mathbb C^n$ admitting a compact free quotient. By a ...
user avatar
  • 7,632
4 votes
1 answer
170 views

Upper bounds on the sectional curvature of the real Grassmannian

Consider the real Grassmannian as the symmetric space $\operatorname{Gr}(n,k) \cong \operatorname{O}(n)/(\operatorname{O}(k) \times \operatorname{O}(n-k))$ for $n \geq 3$, $k \geq 2$, where the metric ...
user avatar
  • 147
11 votes
0 answers
191 views

Does cohomology ring determine a compact symmetric space?

Suppose that $M_1, M_2$ are compact connected symmetric spaces with isomorphic integer cohomology rings. Does it follow that $M_1$ is diffeomorphic to $M_2$? The only result I am aware of is this ...
user avatar
  • 7,328
1 vote
0 answers
74 views

how to construct a finite energy map

In the construction of harmonic maps by Eells and Sampson, one needs to start with a map with finite energy and use the heat equation to deform it into a harmonic map. The construction of such a ...
user avatar
  • 11
6 votes
1 answer
279 views

Involutive automorphism of simple Lie algebra

I am sorry if this question is too elementary to be posted here, but no experts answer this question when I post it on Math Stackexchange. Let $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ be a Cartan ...
user avatar
  • 707
3 votes
1 answer
155 views

Maximally symmetric hyperbolic 3-manifolds with finite volume

In physics, standard cosmology is build with simple maximally symmetric 3-manifolds (spacelike time-slices of constant curvature, e.g. $S^3$ or less popular the hyperbolic space $H^3$). Since $S^3$ ...
user avatar
  • 33
2 votes
0 answers
53 views

Closed-form expression for Riemannian exponential maps on symmetric spaces

Besides the Poincaré model for the hyperbolic disc, $S^n$, and Euclidean space, what are known instances of a symmetric space $M$ (finite-dimensional) for which the exponential map is known in closed-...
user avatar
6 votes
2 answers
333 views

Relationship between fans and root data

A (split) reductive linear algebraic group is equivalently described by combinatorial information called a root datum. A toric variety is described by combinatorial information called a fan. Both ...
user avatar
5 votes
1 answer
128 views

What is the name of the real form corresponding to the quaternionic symmetric space?

Let $G$ be a compact simple Lie group. Choose a system of positive roots, and let $\mathrm{SU}(2) \subset G$ correspond to the highest root, and $\mathbb{Z}/2 \subset \mathrm{SU}(2)$ the centre. The ...
user avatar
6 votes
1 answer
274 views

Explicit fundamental domain for the action of $\operatorname{O}(n,1)(\mathbb{Z})$ on $\operatorname{O}(n,1)(\mathbb{R})$

Minkowski computed explicit fundamental domains for the action of $\operatorname{SL}_n(\mathbb{Z})$ on $\operatorname{SL}_n(\mathbb{R})/\operatorname{SO}_n(\mathbb{R})$ for each $n \leq 6$. In the ...
user avatar
3 votes
0 answers
76 views

p-adic analogue of classification of irreducible Riemannian symmetric spaces?

For Riemannian symmetric spaces, we have a nice result that the simply-connected ones are products of irreducible symmetric spaces, of which we have a list of ten infinite families and some ...
user avatar
3 votes
1 answer
138 views

Model geometry uniqueness

Let $ M $ be a compact connected manifold with $$ M \cong \Gamma \backslash G /H $$ where $G $ is a Lie group, $ H $ a compact subgroup, $\Gamma $ a discrete subgroup, and $ G/H $ is connected and ...
user avatar
4 votes
2 answers
240 views

Finite models for torsion-free lattices

Let $G$ be a real, connected, semisimple Lie group and $\Gamma < G$ a torsion-free lattice. Then does there exist a finite $CW$-model for $B\Gamma$? I know this to be true in many instances (e.g. ...
user avatar
  • 1,205
7 votes
1 answer
598 views

Help with definition of Liouville measure

$\require{AMScd}$For a Riemannian manifold $M$, I have read authors talking about a 'Liouville measure' on the unit tangent bundle $\operatorname{T}^1(M)$ and then proceed to claim/prove that it is ...
user avatar
8 votes
2 answers
397 views

Geodesic sphere in the octonion projective plane

I am considering Laplacian eigenvalues of a geodesic sphere in the octonion projective plane and I would like to know the metric on a geodesic sphere. Does the metric on a geodesic sphere in the ...
user avatar
2 votes
1 answer
227 views

Totally geodesic submanifolds of bi-invariant Lie groups

Let $G$ be a Lie group equipped with a bi-invariant metric. I have some questions concerning the totally geodesic and the flat (all sectional curvatures zero) submanifolds of $G$. I known that every ...
user avatar
  • 749
7 votes
1 answer
151 views

What are the manifolds whose Curvature tensor has a globally vanishing $k$th order covariant derivative

Let $(M,g)$ be a boundaryless Riemannian manifold whose curvature tensor have the property that there exists $k\geq 2$ such that $\nabla^k R\equiv0$. What is known about such Riemannian manfiolds ? Is ...
user avatar
  • 665
6 votes
0 answers
145 views

Algebraic version of Loos Symmetric Space

Ottmar Loos gave a definition of symmetric spaces in terms of the existence of a multiplication map. Namely, a manifold $M$ is symmetric if there exists a multiplication morphism $\mu:M\times M\to M$ ...
user avatar
3 votes
1 answer
268 views

branching laws for $p$-adic representations of reductive groups

There are many papers studying branching laws of irreducible admissible complex representations of classical groups over local fields, are there some analogues for $p$-adic representations? For ...
user avatar
  • 6,040
4 votes
0 answers
155 views

Dependence of X in definition of Shimura variety

(Disclaimer: this question is related to this question, but is different enough that it warrants (in my opinion) a separate question) Let $G$ be a connected reductive group over $\mathbb{Q}$. To $G$ ...
user avatar
  • 71
10 votes
1 answer
208 views

Geodesic preserving diffeomorphisms of constant curvature spaces

Let $X$ be either Euclidean space $\mathbb{R}^n$, the sphere $\mathbb{S}^n$, or hyperbolic space $\mathbb{H}^n$. I would like to have a classification of all diffeomorphisms $X\to X$ which map ...
user avatar
  • 19k
4 votes
0 answers
96 views

Representation theoretic characterisation of symmetric spaces

Let $G$ be a simple compact Lie group and $H$ a closed subgroup. Let $\mathfrak{h}\subset \mathfrak{g}$ denote the corresponding Lie algebras. Let $\mathfrak{m}$ be an orthogonal complement to $\...
user avatar
  • 81