Questions tagged [homogeneous-spaces]

This tag is for questions relating to "homogeneous-spaces", a particular class of manifolds that behave per construction very symmetrically under the action of some groups, and they can be fully reconstructed just by looking at their behaviour under curtain actions.

Homogeneous spaces are, in a sense, the nicest examples of Riemannian manifolds and are good spaces on which to test conjecture. Also those are as important in connection with Lie groups and their applications as sets of cosets are in ordinary group theory. Indeed, in the Kleinian view, a geometry consists of a homogeneous space with the group acting as its symmetry group.

Definition: Given a topological group or algebraic group or Lie group, etc., $G$, a homogeneous $G$-space is a topological space or scheme, or smooth manifold etc. with transitive $G$-action.

E.g., A special case of homogeneous spaces are coset spaces arising from the quotient $G/H$ of a group $G$ by a subgroup. For the case of Lie groups this is also called Klein geometry.

References:

339 questions
54
votes
3 answers

Rotation Matrix of rotation around a point other than the origin

In homogeneous coordinates, a rotation matrix around the origin can be described as $R = \begin{bmatrix}\cos(\theta) & -\sin(\theta) & 0\\\sin(\theta) & \cos(\theta) & 0 \\ 0&0&1\end{bmatrix}$ with the angle $\theta$ and the rotation being…
12
votes
3 answers

Riemannian metrics on homogeneous spaces

Let G be a Lie group and H be a compact subgroup. The (left) coset space G/H is, up to an isomorphism, equivalent to the smooth homogeneous manifold M. My question is, is it possible to impose an explicit Riemannian structure on this manifold by…
11
votes
2 answers

Is it possible to realize the Klein bottle as a linear group orbit?

Does there exists a Lie group $ G $, a finite dimensional representation $ \pi: G \to GL(V) $, and a vector $ v \in V $ such that the orbit $$ \mathcal{O}_v=\{ \pi(g)v: g\in G \} $$ is diffeomorphic to the Klein bottle? The Klein bottle, $ K $, is…
11
votes
1 answer

Quotient of a Lie algebra by a subalgebra - what is it?

The quotient $G/H$ of a group $G$ by its subgroup $H$ has a $G$-action - every transitive $G$-set is of this form. However, the quotient space $\mathfrak g/\mathfrak h$ of a Lie algebra $\mathfrak g$ by its subalgebra $\mathfrak h$ is just a vector…
11
votes
1 answer

Affine manifolds which are not euclidean manifolds.

I want to find a differentiable $n$-dimensional compact manifold $M$ which can be endowed with an affine structure but cannot be endowed with a euclidean structure. An affine (resp. euclidean) structure is a geometric structure with $X=\Bbb R^n$…
10
votes
0 answers

Is the total space of a $ U_1 $ principal bundle over a compact homogeneous space always itself homogeneous?

Let $ U_1 \to E \to B $ be a $ U_1 $ principal bundle. Suppose that $ B $ is homogenous (admits a transitive action by a Lie group) and compact. Then must it be the case that $ E $, the total space of the bundle, also admits a transitive action by…
10
votes
1 answer

Examples of non parallelizable homogeneous spaces $G/H$ where $H$ is discrete

Let $G$ be a Lie group and $H$ a closed Lie subgroup, so that $G/H$ is a homogeneous space. From this question we know that even though all Lie groups are parallelizable, their quotients aren't necessarily. I'm wondering about the case where $H$ is…
10
votes
0 answers

Does the space of matrices above rank $k$ admit a transitive Lie group action?

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ Let $V$ be a real $d$-dimensional vector space ($d \ge 4$). Let $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \text{End}(V) \mid \operatorname{rank}(A) > k \}$. $H_{>k}$ is…
9
votes
1 answer

How does one show that $SO(6)/U(3)\cong \Bbb C\rm P^3$?

The identification of $\Bbb R^6$ with $\Bbb C^3$ induces an inclusion $U(3)\hookrightarrow SO(6)$. The homogeneous space $SO(6)/U(3)$ can then be identified as the space of almost complex structures on $\Bbb R^6$ compatible with the standard inner…
Danu
  • 1,813
9
votes
2 answers

What is the interpretation of homogeneous line intersection?

I understand homogeneous coordinate systems. I read the intersection of lines in homogeneous coordinate can be computed by taking a cross products of lines $l_1(a_1,b_1,c_1)$ and $l_2(a_2,b_2,c_2)$. I can see how this computationally matches. My…
8
votes
2 answers

Homogeneous topological space with the fixed-point property

Let $X$ be a topological space. $X$ is said to be homogeneous if for every $x$ and $y\in X$ there is an self-homeomorphism $f$ of $X$ such that $f(x)=y$. Further, $X$ is said to have the fixed-point property if every endomorphism of $X$ has a…
8
votes
2 answers

Why are lines in $\mathbb{R}^3$ all congruent to one another, but circles in $\mathbb{R}^3$ are not?

Lines in $\mathbb{R}^3$ are all congruent to one another, but circles in $\mathbb{R}^3$ are not all congruent to one another (because two different circles may have different radii). Visually, this is completely obvious. However, I would like a…
8
votes
0 answers

Finite measure fundamental domain for a discrete group implies it's a lattice

Here $G$ is a locally compact second countable topological group with left haar measure $\mu$, and $\varGamma$ is a discrete subgroup with a borel subset $\varOmega \subseteq G$ s.t. $G=\biguplus_{\gamma\in\varGamma}\varOmega\gamma$. Claim: If $…
8
votes
1 answer

An example of a homogeneous, non-symmetric space

A Riemannian manifold $M$ is said to be homogeneous if the group of isometries $Isom(M)$ acts transitively on $M$. A Riemannian manifold is said to be symmetric if it is connected, homogenuous, and in addition, there exists a point $p\in M$ and an…
stag
  • 641
  • 4
  • 14
8
votes
1 answer

Why is $SU(n)/SU(n-1)$ the $2n-1$-sphere?

I am looking at Fomenko, Fuchs' book on "Homotopical Topology" and they claim that we have the isomorphism $$ SU(n)/SU(n-1) \cong S^{2n-1} $$ Why is this true? Here is what I have so far: If I have a matrix $A \in SU(n-1)$, then we can embed…
1
2 3
22 23