All Questions
Tagged with lie-groups dg.differential-geometry
567 questions
8
votes
1
answer
491
views
Does a free action always induce a diffeomorphism?
Suppose that $G$ is a Lie group with a transitive action on a smooth manifold $M$. The regular theory of Lie groups tells us that $G$ and $M$ are diffeomorphic if the isotropy group is trivial.
The ...
- 355
8
votes
1
answer
610
views
Are invariant forms on homogeneous spaces necessarily closed?
Take a compact homogeneous space $G/K$, and a left $G$-invariant differential $k$-form $\omega \in \Omega^k(G/K)$. Will $\omega$ necessarily be closed? Might it even be harmonic when $G/K$ is endowed ...
- 141
8
votes
1
answer
633
views
Flag manifolds (=R-spaces): quotients by parabolic subgroups vs. isotropy representation
Real flag manifolds (also known as R-spaces) can be defined in two ways which I believe are equivalent although some fine print may have escaped me:
as a quotient of a semisimple real Lie group $G$ ...
- 32.5k
8
votes
1
answer
2k
views
Normal coordinates for a manifold with volume form
I'm hoping that the following are true. In fact, they are probably easy, but I'm not seeing the answers immediately.
Let $M$ be a smooth $m$-dimensional manifold with chosen positive smooth density $...
- 54.6k
8
votes
1
answer
2k
views
Invariant Vector Fields for Homogenous Spaces
As we all know, the space of invariant vector fields on a Lie group can be identified with the tangent space at the identity (or any other point for that matter). My question is: How does this ...
- 751
8
votes
1
answer
3k
views
The Quotients $SO(n)/SO(n-1)$, $O(n)/O(n-1)$ and $SO(n)/O(n−1)$
The branching laws for the restricted representation of $SO(n)$ with respect to the subgroup $SO(n-1)$ are discussed in this Wikipedia article. Am I correct in reading from this that any given ...
- 449
8
votes
2
answers
462
views
The action of $GL_{\infty}$ on the infinite wedge space
This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya.
Consider the following objects:
the ...
- 671
8
votes
1
answer
228
views
Isomorphisms of Pin groups
My goal is to identify the $Pin$ group
$$
1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1
$$
such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.
My trick is that to look at ...
- 10.5k
8
votes
1
answer
387
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 ...
- 1,111
8
votes
1
answer
360
views
Lie group actions on $S^n$ with some invariant hypersphere but no totally geodesic ones
Does there exist a compact connected Lie group $G$ acting smoothly as isometries on the standard sphere $S^n$ for some $n\ge 3$, so that no totally geodesic hypersphere $S^{n-1}$ is $G$-invariant, but ...
user78128
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 ...
- 193
8
votes
1
answer
599
views
Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds
Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
- 4,081
8
votes
0
answers
228
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?
$$
...
- 305
8
votes
0
answers
112
views
Euler number of the complex of basic forms
Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action.
I am trying to understand the Hopf bundle ($G=...
- 181
7
votes
1
answer
1k
views
The surjectivity of the exponential map for the isometry group
Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective.
Let $M$ be a noncompact connected Riemann manifold, and $G$...
- 5,407
7
votes
2
answers
1k
views
What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?
Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits.
A ...
- 155
7
votes
1
answer
394
views
On fixed point sets of actions of compact Lie groups
Let a compact Lie group $G$ act smoothly on a compact smooth manifold $M$. For any compact subgroup $H\subset G$ denote by $E^H$ the image in $M/G$ of the fixed point set of $H$ in $M$.
Is it true ...
- 21.8k
7
votes
1
answer
1k
views
On eigenfunctions of the Laplace Beltrami operator [closed]
How can we generate the eigenspace for the Laplace Beltrami operator on SU(2)?
- 91
7
votes
1
answer
280
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_{\...
- 257
7
votes
2
answers
358
views
Is every Lie subgroup of a Lie group isometric to all its conjugates?
Let $G$ be a Lie group with a left invariant metric. Assume that $N$ is a Lie subgroup of $G$.
For a given $g\in G$, are $N$ and $g^{-1} N g$ necessarily isometric Riemannian manifold when they ...
- 356
7
votes
3
answers
1k
views
Is the group of isometries of a homogeneous Riemannian manifold maximal?
I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that:
Iso is a proper subgroup of G,...
- 71
7
votes
1
answer
358
views
Automorphism group of compact almost complex manifold
Does the automorphism group of a compact almost complex manifold carry a (canonical) Lie group structure? Part 3 of Theorem 4.1 in
*"The automorphism group of a homogeneous almost complex ...
- 271
7
votes
2
answers
499
views
Submanifolds of Lie groups with abelian normal bundle
Let $M$ be a submanifold of a symmetric space $Q$. The normal bundle $NM$ is called abelian if $\exp(N_{p}M)$ is contained in some totally geodesic and flat submanifold of $Q$ for all $p \in M$; see ...
- 985
7
votes
1
answer
1k
views
When a free action gives rise to a $G$-principal bundle
When a free action gives rise to a $G$-principal bundle
Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that
$G \backslash X$ is Hausdorff. (equivalently the image of ...
- 2,649
7
votes
1
answer
744
views
Differential forms of a Lie group giving cohomology of the Lie group
Consider a manifold $M$. Then, we have the notion of differential forms on $M$ and complex associated to that, denoted by $$\cdots\rightarrow \Omega^{k-1}(M)\rightarrow \Omega^k(M)\rightarrow \Omega^{...
- 6,023
7
votes
1
answer
862
views
The Hessian of invariant functions on a Lie group
Assume that $G$ is a Lie group with Lie algebra $\mathfrak{g}$. We fix an invariant Riemannian metric on $G$ and fix its corresponding $LC$ connection.
Consider the natural right action of $...
- 356
7
votes
1
answer
1k
views
Haar measure on infinite dimensional Lie groups?
Hi. Is there a Haar measure or equivalent on infinite dimensional Lie groups? I've been playing around with $Diff(S^1)$, and at least a direct approach seems quite hopeless. It goes something like ...
- 548
7
votes
1
answer
601
views
Universal enveloping algebra and the algebra of invariant differential operators
Let $G$ be a Lie group and $\mathfrak{g}$ be its Lie algebra. Then $\mathfrak{g}$ may be interpreted as the Lie algebra of right (equivalently left) invariant vector fields. Let $\mathcal{U}(\mathfrak{...
- 9,330
7
votes
1
answer
1k
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 ...
- 675
7
votes
1
answer
372
views
Termination of Cartan's equivalence method
The Cartan-Kuranishi theorem guarantees that a PDE or EDS can always be completed, by prolongation, to involution. My question is, and this is quite murky to gauge from the literature, whether Cartan'...
7
votes
1
answer
1k
views
Morphisms of principal bundles with different structure groups and associated bundles
Consider a pair of principal bundles $P \to M$ and $P' \to M'$ with groups $G$ and $G'$, respectively. A morphism from $P$ to $P'$ is a pair $(\Phi, \phi)$ where $\phi: G \to G'$ is a Lie group ...
- 6,025
7
votes
2
answers
668
views
Branching laws for $SO(n)$
The branching laws for the $SO(n-1)$ as a subgroup of $SO(n)$ are well known and easy to find. See for example the Wikipedia article:
https://en.wikipedia.org/wiki/Restricted_representation#...
- 71
7
votes
1
answer
535
views
Diffeomorphisms on a real manifold whose derivative are holomorphic maps on the tangent bundle
Edit: According to the answers to the linked MSE question and the comment of Holonomia, I understand that the answer to the second question is that " Every tangent bundles is a complex ...
- 356
7
votes
1
answer
271
views
Closest point in $SU(n) \otimes SU(n)$ to $SU(n^2)$
What is the closest $V_1 \otimes V_2 \in SU(n)\otimes SU(n)$ in the squared trace inner product to a given $U \in SU(n^2)$? I.e. minimize over $V_1, V_2$:
$\min_{V_1, V_2} | V_1 \otimes V_2 - U|$ in ...
- 2,099
7
votes
2
answers
315
views
Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices
I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
- 6,206
7
votes
3
answers
385
views
Equidistant hypersurfaces in symmetric space via exponentiation?
Here's some background and notation:
Let $G/K$ be a symmetric space of non-compact type. For concreteness, assume $G$ is in fact a classical simple real Lie group such as SL,SO, or Sp, and $K$ is a ...
- 1,329
7
votes
2
answers
833
views
Lie groups acting transitively (and isometrically) on anti de Sitter spaces
I hope this question is not deemed too localised.
Recall that anti de Sitter space is the lorentzian analogue of hyperbolic space; that is, a simply-connected lorentzian manifold of constant negative ...
- 33.3k
7
votes
1
answer
1k
views
Parallel translation in Lie groups
Let G be a Lie group with a left invariant metric. If X and Y are left invariant vector fields and [X,Y]=0, then it is easy to show that Y is parallel to exp(tX).
But if [X,Y] is not zero, what is ...
- 454
7
votes
1
answer
368
views
Does complexified isometry group act transitively on tangent bundle of compact Riemannian manifold?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$Let $ g $ be the round metric on the sphere $ S^n $. Since $ S^...
- 4,081
7
votes
1
answer
387
views
Torsion-free Cartan connections
Let $M$ a differentiable manifold and $H\subset G$ a Lie group with a closed subgroup such that $G/H$ is connected. A $H\subset G$-Cartan connection on $M$ can be defined by
A principal $G$-bundle on ...
- 141
7
votes
0
answers
194
views
Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?
Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...
- 44.7k
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
7
votes
0
answers
656
views
Geodesics on algebraic manifold
A nonsingular algebraic manifold is an immersed manifold (slightly different from the usual embedded algebraic manifold) $M \subseteq \Bbb{R}^n$ that is also a nonsingular algebraic set (which means $...
- 1,543
7
votes
0
answers
123
views
Infinitesimal description of homogeneous supermanifolds
Lie's third theorem says that if $\mathfrak{g}$ is a real, finite-dimensional Lie algebra, then there is a unique (up to isomorphism) simply-connected Lie group $G$ whose tangent Lie algebra is ...
- 33.3k
7
votes
0
answers
258
views
Quantum Optimization as approximating $\mathbb{CP}^{2^n -1}$ with the orbits of a subgroup of SU($2^n$)
For example given a great circle within the sphere, we can think about computing the average distance of a point on the sphere from the great circle. Slightly more generally, given a subgroup $H \...
user112852
7
votes
0
answers
1k
views
Distance metric on Riemannian quotient manifold
It's well known that if I have a Riemannian manifold $M$ and a Lie group of isometries $G$ that acts freely and properly on $M$, then the quotient $M/G$ is a manifold and inherits the Riemannian ...
7
votes
0
answers
501
views
intuitive connection between The KdV equations and the Virasoro bott group
I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....
- 979
7
votes
0
answers
955
views
Injectivity of Lie group exponential function
If $G$ is a (finite-dimensional) Lie group, then the exponential function $\exp\colon\mathfrak{g}\to G$ is injective on some identity neighbourhood. If, moreover, $\mathfrak{g}$ is semi-simple and $\...
- 1,040
7
votes
0
answers
516
views
Quotient of 3-sphere by binary octahedral group?
Consider the Lie group $Spin(3)$, which can be thought of geometrically as the 3-sphere (e.g., it can be represented by the collection of unit quaternions). The quotient $Spin(3)/\pm I$ yields the ...
- 3,059
6
votes
3
answers
327
views
$SO(m+1)$-equivariant maps from $S^m$ to $S^m$
Let $G=SO(m+1)$ , $m \geq 2$, act in the standard way on $S^m$.
Let $F:S^m \to S^m$ be a $G$-equivariant map, i.e., $g F(g^{-1}x) =F(x)$ for all $x \in S^m$ and $g \in G$.
Question 1: Is F the ...
- 63