# Questions tagged [homogeneous-spaces]

The homogeneous-spaces tag has no usage guidance.

213
questions

4
votes

0
answers

81
views

### Monodromy action on homogeneous spaces

If $H$ is a Lie subgroup of $G$, then there is a fibration sequence
$$
G/H\to BH\to BG.
$$
By choosing a model for $EG$ we can promote this into a fibre bundle.
My question is about how to understand ...

5
votes

0
answers

104
views

### Is every linear Lie group of bounded geometry?

$\newcommand\norm[1]{\lVert#1\rVert}$Given any point $p$ of a smooth Riemannian manifold $M$ there exists $r\in (0,\infty]$ such that the Riemannian exponential is a diffeomorphism in the geodesic ...

2
votes

0
answers

49
views

### Double quotient integral formula on $\Gamma \backslash G /K$

Let $G=\text{SL}(n,\mathbb R)$, $\Gamma=\text{SL}(n,\mathbb Z)$ and $K=\text{SO}(n,\mathbb R)$. Consider the double coset space $X= \Gamma \backslash G /K$ and its fundamental domain $\mathcal F\...

2
votes

0
answers

139
views

### Weil's "Sur la formule de Siegel dans la théorie des groupes classiques"

I am struggling to understand the following passage on Weil's text "Sur la formule de Siegel dans la théorie des groupes classiques" on page 16.
If I understood correctly, in the second ...

5
votes

2
answers

314
views

### Integrating on orbits of algebraic groups

Suppose $G$ is a $\mathbb{Q}$-algebraic group (I am interested in the semisimple case) acting rationally on a vector space $V_\mathbb{Q}$. Let $x \in V_\mathbb{Q}$ be a non-zero rational vector. ...

4
votes

1
answer

154
views

### Non-integrable almost complex structure for complex projective $3$-space

It is well known that complex projective three space $\mathbb{C}\mathbf{P}^3$ is a complex manifold. However it also possess a non-integrable almost-complex structure (as discussed in this article for ...

2
votes

1
answer

204
views

### Product decomposition into semisimple and unipotent parts of an algebraic group (in Borel’s LAG)

Let $G$ be an algebraic group, i.e., an affine reduced, separated $k$-scheme of finite type with structure of a group. In Borel’s Linear Algebraic Groups Theorem III.10.6(4) says
Theorem 10.6 (3): ...

3
votes

0
answers

38
views

### Are there invariants of configurations of points in space obtainable via the moduli space of solutions of the Berry-Robbins problem?

Let $C_n(\mathbb{R}^3)$ denote the configuration space of $n$ distinct points in Euclidean $3$-space and let $U(n)/T^n$ denote the flag manifold associated to the unitary group $U(n)$, i.e. the ...

6
votes

1
answer

211
views

### Non-homogeneous line bundles over a homogeneous space

Let $G$ be a compact Lie group and $G/K$ a connected homogeneous space. A homogeneous vector bundle over $G/K$ is a vector bundle is one that is isomorphic to a vector bundle of the form
$$
G \times_{\...

1
vote

0
answers

49
views

### Second moment version of the multiple-sum Rogers integration formula

I know the following theorems due to Rogers. Let $X$ denote the space of $n$-dimensional unimodualar lattices in $\mathbb R^n$, equipped with the canonical Haar measure.
Theorem 1(Siegel-Rogers). Let ...

4
votes

0
answers

79
views

### Modern reference for a theorem by Bott on the Dolbeault cohomology of compact homogeneous manifolds

I am looking for a modern, maybe shorter or even easier, reference for Theorem II of Homogeneous vector bundles (R. Bott, Annals of mathematics, 1957). This is a theorem where the Dolbeault cohomology ...

3
votes

1
answer

139
views

### Free $S^1$-action on compact homogeneous spaces

Let $M = G/K$ be a compact homogeneous space, i.e. $G$ a connected compact Lie group, and $K$ a closed subgroup inside $G$ that contains no nontrivial normal subgroup of $G$.
If $r(G) > r(K)$ (...

4
votes

2
answers

136
views

### How large is the set of unimodular lattices whose sucesssive minima cannot be attained by a basis of lattice?

Recall that the $i$-th successive minimum of $L\in \mathcal L$ (space of full rank lattices in $\mathbb R^d$), denoted $\lambda_i(L)$ is the infimum of the radii of the balls containing $i$-linearly ...

5
votes

1
answer

164
views

### Can all hermitian symmetric spaces be realised as coadjoint orbits?

Here is what I know. Assume $M\cong G/K$ is an irreducible hermitian symmetric space. Denote the Lie-algebra of $K$ by $\mathfrak{t}$. Proposition 1.2. chapter 3 in
Wienhard - Bounded cohomology and ...

6
votes

1
answer

192
views

### m-point-homogeneous, but not (m+1)-point-homogeneous

It is straightforward to check that the discrete cube $Q=\{0,1\}^n$ with $\ell^1$-metric is 3-point-homogeneous, but not 4-point-homogeneous (assuming $n$ is large).
In other words, if $A\subset Q$ ...

1
vote

0
answers

85
views

### Exists $G$-equivariant embedding with faithful representation of $G$?

Let $k$ be a field of characteristic zero and $G$ a reductive group over $k$. Furthermore, let $X$ be a projective $k$-variety with a $G$-action. Then we know, for example from Mumfords book about GIT,...

6
votes

0
answers

222
views

### Direct proof that $g_t=\text{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic

I wonder if there are any direct proof that $g_t=\operatorname{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic (or even stronger,...

1
vote

0
answers

87
views

### Coinvariants of a homogeneous space

We work over $\mathbb{C}$. Let $G$ be an algebraic group, and let $X$ be an affine homogeneous $G$-variety. Write $\mathbb{C}[X]$ for the algebra of regular functions on $X$, which is itself a $G$-...

1
vote

0
answers

84
views

### About the classification of simply connected homogeneous 3-manifolds

I've read somewhere (but cannot locate the source) that the following classification holds: simply connected homogeneous 3-manifolds are either isometric to $S^2 \times \mathbb{R}$ or to a metric Lie ...

6
votes

2
answers

792
views

### Do all homogeneous spaces have homogeneous compactifications?

Let $X$ be a separable metric space which is homogeneous, i.e. for every two points $x,y\in X$ there is a homeomorphism $h$ of $X$ onto itself such that $h(x)=y$.
A compactification of $X$ is a ...

3
votes

0
answers

88
views

### Almost two-point homogeneous spaces

I define a NICE space to be a connected Riemannian manifold $M$ such that for any two distinct points $p,q\in M$, there exists an isometry $R_{p,q}$ exchanging these two points (that is such that $R_{...

4
votes

1
answer

189
views

### Is this quotient of $\mathbb{C}^{m+1}$ by $U(1)$ only "nice" for $m=1$?

Let $V^{m+1} = \mathbb{C}^{m+1}$ and let $U(1)$ act on it by its diagonal representation, so that really, it is just like scalar multiplication by a unit modulus complex number.
I am interested in the ...

2
votes

0
answers

38
views

### Scalar curvature of homogeneous bounded domains

Is it true that a bounded domain $\Omega \subset \mathbb C^n$ equipped with a homogeneous metric (not necessarily a Bergman metric) has (constant) negative scalar curvature?

1
vote

0
answers

150
views

### Homogeneous metrics on compact Lie groups

Given a differentiable manifold $M$, a Riemannian metric $g$ on $M$ is called homogeneous if its isometry group acts transitively on $M$. In that case, given any group $G$ acting transtitively on $(M,...

1
vote

0
answers

73
views

### Intersection of open orbits in homogeneous space

Let $G$ be a simple complex algebraic group. Let $P(\alpha_i),P(\alpha_k)$ be maximal standard parabolic subgroups of $G$ associated to simple roots $\alpha_i,\alpha_k$ in the root system associated ...

0
votes

2
answers

390
views

### The (last step of the) proof that the set of badly approximable matrices has measure zero

An $m \times n$ matrix $A$ is called badly approximable if there exists $c > 0$ such that for all integer vectors $p \in \mathbb Z^m$ and $q \in \mathbb Z^n-\{0\}$ we have
$$ \|A q + p \| \ge c \| ...

3
votes

1
answer

216
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 ...

11
votes

1
answer

455
views

### Classification of homogeneous Einstein manifolds

In Besse's "Einstein manifolds", p. 177, he states that, until that moment, no general classification of homogeneous Einstein manifolds was know, even in the compact case. More specifically, ...

4
votes

1
answer

196
views

### An analogy of product formula for homogeneous space?

$\DeclareMathOperator\Sel{Sel}$Let $E$ be an elliptic curve defined over a number field $K$ with full $2$-torsion. The classical complete $2$-descent method tells that the $2$-Selmer group $\Sel_2(E/K)...

4
votes

0
answers

131
views

### Decomposition of fiber product of $G$-sets in $G$-orbits

I have posted an identical question in MSE few days ago, but maybe this site is a better adress to discuss this problem:
Let $G$ be a finite group and $K, H \leq G$ two subgroups. Then
the right ...

2
votes

0
answers

131
views

### Homogeneous space and rational section

Let's embed $\operatorname{SO}_n$ inside $\operatorname{GL}_n$ through the standard representation. Does the map $\operatorname{GL}_n\rightarrow \operatorname{GL}_n/{\operatorname{SO}_n}$ admit a ...

2
votes

0
answers

32
views

### Properties of the orbit $Abx_0$ when $b$ is upper or lower triangular but not diagonal

Let $G=\text{SL}(d,\mathbb R)$ and $\Gamma = \text{SL}(d,\mathbb Z)$. The homogeneous space is identified with the space of unimodular lattices, denoted $X_d$. Let $A$ denote the subgroup of $G$ ...

5
votes

1
answer

126
views

### Homogeneous representations of compact manifolds

There is a classification of effective transitive groups actions on the sphere by compact connected Lie groups, compare Besse "Einstein manifolds" 7.13 Examples.
Are there similar results ...

3
votes

2
answers

108
views

### The closure of the orbit of an irrational grid contains the fiber

Let $G=\text{SL}(d,\mathbb R)$ and $\Gamma = \text{SL}(d,\mathbb Z)$. The homogeneous space is identified with the space of unimodular lattices, denoted $X_d$. Let $Y_d$ denote the space of unimodular ...

2
votes

2
answers

186
views

### Riemannian homogeneous equivalent to linear group orbit

Let $ M $ be a smooth manifold.
Recall that a manifold $ M $ is smooth homogeneous if there exists a Lie group acting transitively on $ M $.
Recall that a manifold $ M $ is Riemannian homogeneous if ...

2
votes

2
answers

259
views

### Compact linear group orbit equivalent to linear compact group orbit

A corollary of the Mostow-Palais theorem is that every homogeneous space for a compact group is a linear group orbit. In other words, if $ H $ is a closed subgroup of a compact group $ K $ then there ...

17
votes

3
answers

2k
views

### Examples of the Thurston geometries with transitive Lie group action

Here are some examples of compact homogeneous 3 manifolds for different Thurston geometries:
(1) Spherical: $\mathbb{S}^3 \cong \mathrm{SU}_2$ modulo any finite subgroup
(2) Euclidean: 3 torus $\...

4
votes

2
answers

223
views

### Does the maximal compact subgroup always act transitively on a compact homogeneous space?

Let $ G $ be a Lie group, $ H $ a closed subgroup, and $ G/H $ compact. Under what conditions do we have that
$$
G/H \cong K/(K\cap H)
$$
where $ K $ is a maximal compact subgroup of $ G $? Obviously ...

2
votes

0
answers

63
views

### Local decomposition of semisimple Lie groups at the identity into the product of centralizer, unstable and stable horospherical subgroups

First let us look at an example. Let $G=\text{SL}(d,\mathbb R)$ and $A$ be its subgroup consisting of diagonal matrices with positive entries.
Let $a\in A$ be an element. We define the stable ...

2
votes

0
answers

265
views

### What is the precise definition of connect semisimple Lie groups "without compact factors" in the literature?

I frequently see in the literature (of homogeneous dynamics, in particular) of the notion "semisimple Lie groups without compact factors" without seeing its precise definition.
I have three (...

2
votes

0
answers

65
views

### Transitive Lie group actions with uniformly bounded derivatives

Let $\phi:G\times M\rightarrow M$ be a smooth and transitive action of a real Lie group $G$ on a smooth real manifold $M$. Both $G$ and $M$ are assumed to be finite-dimensional but neither are assumed ...

6
votes

1
answer

460
views

### Are the quaternionic Grassmannians quaternionic Kaehler manifolds?

The complex Grassmannians $\mathrm{Gr}(n,r)$, of $r$-planes in $\mathbb{C}^n$ are Kaehler manifolds. What about the quaternionic Grassmannians of $r$-planes in $\mathbb{H}^n$ are they quaternionic ...

8
votes

0
answers

202
views

### What can we say about the homogeneous spaces $E_8/E_7$ and $E_7/E_6$?

For the three exceptional compact Lie groups $E_8, E_7, E_6$ we have the inclusions
$$
E_6 \subseteq E_7 \subseteq E_8.
$$
What can we say about the the homogeneous spaces
$$
E_8/E_7, ~~~~ E_7/E_6?
$$
...

6
votes

2
answers

346
views

### Homogeneous symplectic manifolds

I have often heard/read a statement (see, e.g., this MathOverflow question) equivalent to the following:
Let $G$ be a connected Lie group and $(M,\omega)$ a connected and simply-connected symplectic ...

4
votes

1
answer

136
views

### Invariant measure on affine charts of complex Grassmannian

Consider the complex Grassmannian $U(n)/U(k)\times U(n-k)$ with it's $U(n)$-invariant measure. The affine chart corresponding to $i_1, \ldots, i_k$ is given by $n\times k$ matrices for which the ...

4
votes

0
answers

114
views

### Cartan geometry: jet space perspective on the tractor bundle

Let $G$ a Lie group and $H\subset G$ a Lie subgroup. For simplicity we assume that the adjoint action of $H$ on $\mathfrak g/\mathfrak h$ is faithful.
Let $M$ a differentiable manifold of the same ...

0
votes

1
answer

236
views

### $SU(k)/SO(k)$ as a manifold, for each positive integer $k$ [closed]

The quotient space $SU(k)/SO(k)$ is also a homogeneous space constructed out of the Lie groups (special unitary $SU(k)$ and special orthogonal $SO(k)$).
Because the $SO(k)$ may not be a normal ...

5
votes

0
answers

111
views

### Stronger form of countable dense homogeneity

I am completing my undergrad thesis about topological properties of some subspaces of the real numbers, and CDH spaces are one of the topics I´ve covered (I know almost nothing about it, I only prove ...

6
votes

0
answers

89
views

### subalgebra of invariants for a reductive subgroup

$\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\Spec{Spec}$Trying to understand some tannakian reconstruction, I've stumbled about the following problem in invariant theory. I guess it's something ...

12
votes

1
answer

399
views

### Planes in Lagrangian Grassmannians

Let $LG(h,2h)$ be the Lagrangian Grassmannian of subspaces of dimension
$h$ of a complex vector space of dimension $2h$.
For instace, $LG(1,2)=\mathbb{P}^1$, and $LG(2,4)\subset\mathbb{P}^4$ is
a ...