Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
359 questions
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
852
views
Connected components of real Lie groups
(This is a follow-up to this question of mine.)
Is there an example of a connected reductive algebraic group $G$ over $\mathbb{R}$ such that:
$G$ is not isomorphic to a product $G_1 \times G_2$ of ...
- 37k
7
votes
1
answer
2k
views
Can one understand the Kelvin transform conceptually?
Let $U = \mathbf{R}^n - \{ 0 \}$, $n > 2$ and consider for a function $f \in C^2(U)$ the Kelvin transform
$$f^\star(x) = r^{2-n} f\left(\frac{x}{r^2}\right),$$
where $r = \lvert x \rvert$. One ...
- 71
7
votes
3
answers
1k
views
Group cohomology of orthogonal groups with integer coefficient
I would like to know the group cohomology of orthogonal groups $SO(n)$, which is the topological cohomology of the classifying space of the group:
$H^*(BSO(n);\mathbb{Z}) = $ ? (for example for $n=10$)...
- 4,826
7
votes
1
answer
2k
views
Automorphism group of the special unitary group $SU(N)$
Let us consider the automorphism group of the special unitary group $G=SU(N)$.
We know there is an exact sequence:
$$
0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0.
$$
For $G=SU(2)...
- 2,147
7
votes
1
answer
467
views
Finite index subgroup of $\mathrm{GL}_n(\Bbb C)$ and Chevalley groups
I'm trying to show that if $G$ is a Chevalley group, then every finite index subgroup of $G(\Bbb Z)$ is Zariski dense in $G(\Bbb C)$. ($G(\Bbb Z)$ is the Chevalley group over $\Bbb Z$ and similarly ...
- 332
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
2
answers
418
views
About the map $S(\mathfrak{g}^ * )^G\rightarrow S(\mathfrak{h}^ * )^H$ for $H < G$
Let $G$ be a compact connected semisimple Lie group, $\mathfrak{g}$ be its complexified Lie algebra and $\mathfrak{g}^*$ its complex dual space. We can form the symmetric algebra $S(\mathfrak{g}^ * ) $...
- 9,019
7
votes
1
answer
190
views
Rigidity/flexibility of Nil-, Sol-, $\widetilde{\rm SL}_2$- structures on closed 3-manifolds
It is known that closed spherical and hyperbolic 3-manifolds are rigid. I.e., if two such manifolds are diffeomorphic, then they are isometric (moreover, I think, that every diffeomorphism is isotopic ...
- 353
7
votes
1
answer
973
views
What does the group action of a rough path in a Lie group look like?
Rough paths can be thought of as taking values in a Lie group embedded in the tensor algebra of $\Bbb R^d$. See page 17/section 2.3. Lie groups represent the continuous symmetries of some object. ...
user69208
7
votes
2
answers
508
views
Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?
I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
- 2,995
7
votes
1
answer
571
views
Does Aut(G) → Out(G) always split for a compact, connected Lie group G?
The outer automorphism group of a topological group $G$ is constructed by the short exact sequence
$$
1\longrightarrow \operatorname{Inn}(G) \longrightarrow \operatorname{Aut}(G) \longrightarrow \...
- 473
7
votes
1
answer
279
views
Question about an example in symplectic geometry
Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, ...
- 133
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
1
answer
424
views
Open cell decomposition after applying a Weyl group element
Let $G=\operatorname{GL}(n,\mathbb C)$. What follows can be put into a more general context, but I would like to first understand it for this case, the generalization is a second step.
For Zariski-...
- 4,902
7
votes
0
answers
509
views
Small sum of group elements acting as rank 1 matrix.
I am interested in constructing small (as possible) group $G$ with large dimensional irreducible representation $\rho,V$ such that exist three elements of $g_1,g_2,g_3\in G$ such that for some $c_1,...
- 2,179
7
votes
2
answers
412
views
Homomorphisms from higher rank lattices with infinite center to $\mathbb{Z}$
Suppose that $\Gamma$ is an irreducible lattice in a semi-simple real Lie group $G$ of higher rank (with infinite center!), is every homomorphism $\Gamma \to \mathbb{Z}$ trivial?
The case where $G$ ...
- 1,101
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
1k
views
When is the Ad (Adjoint Representation) Morphism a Closed Map
Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...
- 1,161
6
votes
3
answers
2k
views
Group cohomology of compact Lie group with integer coeffient
It is known that group cohomology class $H^d[U(1),Z]$ is Z for even d and 0 for odd d.
Do we know $H^d[G,Z]$ for $G=SO(3)$, $SU(2)$ and other compact Lie group?
Also is the Borel-group-cohomology ...
- 4,826
6
votes
1
answer
806
views
Totally geodesic subgroups in Lie groups
Let $G$ be a Lie group with a left invariant metric $g$.
Let $H$ be a (closed) Lie subgroup of $G$, and assume $g$ is right-$H$-invariant. (That is $d(R_h)_e:T_eG \to T_hG$ is an isometry for every $...
- 6,741
6
votes
1
answer
484
views
Compact Lie group action on non-Hausdorff (but CGWH) space with Hausdorff quotient
Assume that we are in the following situation: a compact Lie group $G$ acts on a compact space $X$ which is not necessarily Hausdorff. $X$ is assumed to be compactly generated and weakly Hausdorff, ...
6
votes
1
answer
593
views
Stiefel manifolds and polar decompositions
The real Stiefel manifold $V_{n,k}$ of orthogonal $k$-frames in $\mathbb{R}^n$ can be viewed as the reductive homogeneous space $G/H=O(n)/O(n-k)$. If ${\frak{so}}(n)$ is the Lie algebra of $O(n)$, ...
- 1,378
6
votes
2
answers
4k
views
Metric Connections on a Lie Group
A Lie group has three standard Cartan connections; the (-)-connection, the (0)-connection, and the (+)-connection. The (0)-connection is Levi-Civita with the associated metric the bi-invariant metric. ...
- 1,378
6
votes
2
answers
903
views
Ricci curvature of the symplectic group
Is the Ricci curvature of the compact symplectic group $Sp(n)$ bounded below by $cn$ for some constant $c > 0$ independent of $n$?
For $O(n)$ and $U(n)$ I know many references which state such a ...
- 11.4k
6
votes
2
answers
890
views
Why can the Dolbeault Operators be Realised as Lie Algebra Actions
I've been looking at an example in the non-commutative geometry literature and I'm having trouble figuring out what the classical motivation is. I'll just describe the classical case here: Recall that ...
- 3,399
6
votes
1
answer
674
views
Cohomology Ring of the Flag Manifolds, Cartan Subalgebras, and Weyl Groups
I've recently read the following line in an interesting paper:
It is well-known that the cohomology ring of a flag variety $G/B$ is isomorphic to the quotient ring of the ring of polynomial ...
- 3,399
6
votes
1
answer
549
views
Computing a Commutator Subgroup
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$I’m studying the group $\O(5,5,\mathbb{Z})$, the indefinite orthogonal matrices with integer entries. In particular, I ...
- 545
6
votes
0
answers
147
views
Maximum symmetry metric on irreducible compact symmetric space
Let $ M $ be a compact connected manifold. The degree of symmetry of $ M $, denoted $ N(M) $, is the maximum of the dimensions of the isometry groups of all possible Riemannian structures on $ M $. ...
- 4,081
6
votes
1
answer
604
views
Centreless semisimple Lie group that is not real algebraic
Let $G$ be a connected semisimple Lie group with trivial centre and $\mathfrak{g}$ its Lie algebra. The adjoint representation of $G$ defines an isomorphism of $G$ onto the connected component of the ...
6
votes
1
answer
294
views
Idempotent functions on Sp(1)
The quaternion group $Sp(1)\simeq S^3$ can be understood as $(z,w)\in\mathbb {C}^2$ with $|z|^2+|w|^2=1$ where multiplication is defined by $(z,w)(t,s)=(zt-\bar{s}w,zs+\bar{t}w)$.
Question: How do ...
- 1,583
6
votes
1
answer
368
views
Number of points on a linear algebraic group over a finite field
Let $G$ be a linear algebraic group defined over a finite field $\mathbb{F}_q$ as a variety of dimension $d$. What would be a good, simple lower bound for $G(F_q)$?
One can get something fairly nice ...
- 20.2k
6
votes
1
answer
338
views
Semisimple compact Lie group topologically generated by two finite order elements
Edit: I'm specializing this question to the compact case I'll ask about the noncompact case as a new question.
Let $ G $ be a compact connected semisimple Lie group.
Do there always exist two finite ...
- 4,081
6
votes
0
answers
122
views
Bordism groups and a short exact sequence
Let us consider a short exact sequence:
$$
1\to N\to G\to Q \to 1,
$$
where $N$, $Q$, and $G$ can be continuous Lie groups in general (or finite groups).
Suppose I have the data and the computations ...
- 10.5k
6
votes
2
answers
1k
views
How many principal bundles are there over a given base?
I'm currently considering principal bundles and classifying spaces in the context of gauge theory and a crucial question came to my mind:
Is there a way to say how many (isomorphism classes of) ...
- 241
6
votes
2
answers
1k
views
Non-faithful irreducible representations of simple Lie groups
For a complex simple Lie algebra $\frak{g}$, which of its finite dimensional irreducible representations give non-faithful representations of the corresponding simply-connected compact Lie group.
...
- 835
6
votes
2
answers
369
views
Connectedness of units in finite-dimensional commutative complex algebras
In the following, an algebra will always mean a finite-dimensional associative commutative unital algebra (over some field $k$).
Let $A$ be a $\mathbb{C}$-algebra. I am trying to understand how its ...
- 7,127
6
votes
2
answers
1k
views
Parallel forms and cohomology of symmetric spaces
Let $G/H$ be a compact symmetric space. Then I believe the following is true: if $\alpha \in \Omega^k(G/H)$ and $\nabla$ the Levi-Civita connection, then
$$
(\alpha \text{ is induced by an $\...
- 3,244
6
votes
1
answer
317
views
Which Lie groups are covers of matrix groups?
I would like to ask a variation on a question (not yet answered) I previously asked on math.SE, namely:
Which Lie groups are covers of matrix Lie groups? That is, which Lie groups $G$ admit discrete ...
- 3,115
6
votes
1
answer
2k
views
A request for suggestions of advanced topics in representation theory
Please Note: The main points of the question below are in bold in order to minimize the time required to read the question.
Let me begin by stating that I understand representation theory is a vast ...
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
6
votes
1
answer
1k
views
Discrete central subgroup of a connected Lie group is finitely generated
Every discrete central subgroup of a connected Lie group is finitely generated.
This result was alluded to without comment in a book I was reading (Lie Group Actions in Complex Analysis by D. ...
- 675
6
votes
0
answers
227
views
Origins of the generalized shift operator exp(t*g(z)d/dz)
Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves ...
- 10.5k
6
votes
1
answer
730
views
different Shimura data with common underlying group?
A pure Shimura datum is of the form $(G,X)$ with $G$ a connected reductive $\mathbb{Q}$-group, and $X$ a homogeneous space under $G(\mathbb{R})$, subject to Deligne's conditions in terms of Hodge ...
- 1,305
6
votes
1
answer
1k
views
Does a Trivial Tangent Bundle Induce a Multiplication?
Let $M$ be a connected smooth manifold, and assume that it is parallelisable; that is, its tangent bundle is trivial. Does $M$ admit an H space structure? That is, does there exist a smooth map $\mu:...
- 208
6
votes
1
answer
567
views
Finite simple groups and $ \operatorname{SU}_n $
A follow-up question to Alternating subgroups of $\mathrm{SU}_n $.
$\DeclareMathOperator\PU{PU}\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\PSL{PSL}$Let $ \PU_m $ be the projective unitary group, ...
- 4,081
6
votes
1
answer
644
views
Torus bundles and compact solvmanifolds
I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here.
Let
$$
T^n \to M \to T^m ...
- 4,081
6
votes
0
answers
234
views
Nascent formal group law
$\DeclareMathOperator\FGL{FGL}$The formal group law (cf. Wikipedia, Ex. 1.6 of nLab, Hazewinkel) derived from an analytic function or formal series $f(x) = x + a_2 x^2 + a_3 x^3 + ...$ and its formal ...
- 10.5k
6
votes
4
answers
658
views
Reference for an algebraic group preserving a cubic form
Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup
of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...
- 63
6
votes
4
answers
889
views
On the determination of a quadratic form from its isotropy group
Let $F:\mathbf{R}^n\rightarrow\mathbf{R}$ be a non-degenerate quadratic forms. Let
$$
O(F):=\{g\in GL_n(\mathbf{R}):F(gv)=F(v),\forall v\in \mathbf{R}^n\}
$$
be the isotropy group of $F$.
Q: So how ...
- 7,609