All Questions
Tagged with lie-groups reference-request
298 questions
5
votes
0
answers
304
views
Decompositions of a compact Lie group into "fixed point set types"
Consider a compact Lie group $G$ which acts on a closed Riemannian manifold $M$ by isometries. Then it is well-known that there are only finitely many isotropy types of the $G$-action, i.e. finitely ...
- 1,942
5
votes
0
answers
214
views
Explicit generators for homotopy groups of Lie groups
I would like to know explicit formulas for generators of the infinite cyclic summands in the homotopy groups of Lie groups, in the form of continuous (or smooth if possible) maps $S^n\to G$.
It is ...
- 17.4k
4
votes
3
answers
681
views
Real points of reductive groups and connected components
Let $\mathbf G$ be a connected reductive group over $\mathbb R$, and let $G = \mathbf G(\mathbb R)$. Then $G$ is not necessarily connected as a Lie group, e.g. $\mathbf G = \operatorname{GL}_n$. ...
- 6,180
4
votes
2
answers
412
views
Minimal non-abelian groups -> Lie groups/algebras
A group is called minimal non-abelian if it is non-abelian and all proper subgroups are abelian.
Does this notion also exist with Lie groups or algebras? As an example, consider the Lie algebra ...
- 4,829
4
votes
2
answers
634
views
How to describe the compact real forms of the exceptional Lie groups as matrix groups?
I know that $G_2$ can be described as the subgroup of $SO(7)$ preserving a specific element of $\Lambda^3(\mathbb{R}^7)^*$. It can thus be realized as a matrix group. Prof. Robert Bryant did describe ...
- 5,215
4
votes
2
answers
408
views
Classifying space of a non-discrete group and relationship between group homology and topological homology of Lie groups
I have a very soft question which might be very standard in textbooks or literature but I haven't seen it.
To a fixed group $G$ we may attach different topologies to make it different topological ...
- 441
4
votes
3
answers
340
views
Invariant symmetric bilinear forms and H^4 of BG
I am reading this paper of Teleman and Woodward.
On page 4, they say that $H^4(BG;\mathbb{R})$ can be identified with the space of invariant symmetric bilinear forms on $\mathfrak{g}_k$. Why is this ...
- 21k
4
votes
2
answers
341
views
reference help indecomposable representations of SL(2,R)
Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, $K=SO(2)$ the maximal compact subgroup of $SL_2(\mathbb{R})$. Then the classification of irreducible admissible $(\mathfrak{g},K)$-...
- 2,709
4
votes
1
answer
510
views
Invariants of symmetric forms with respect to the symplectic group
Take a 6-dimensional vector space $V$ (for simplicity, over $\mathbb{C}$) and play the following game (for example, by employing the online Lie program): consider the 21-dimensional space $S^2V^*$ of ...
- 2,527
4
votes
2
answers
267
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. ...
- 1,255
4
votes
3
answers
2k
views
What are Carnot groups?
I'm trying to learn the Pansu differentiability theorem and I need to know what Carnot groups are. Can someone please explain what Carnot groups are? An introductory reference would be greatly ...
- 520
4
votes
1
answer
713
views
Criterion for nilradical of a maximal parabolic subalgebra to be abelian?
This question has some overlap with previous ones but doesn't seem to have a well-documented answer. I recall some literature (mostly involving Lie groups and hermitian symmetric pairs, etc.) which ...
- 52.9k
4
votes
1
answer
325
views
Is a Lie subgroup whose center is closed, a closed subgroup itself?
I want to show that a certain Lie subgroup (i.e. generated by the exponential of elements in some Lie subalgebra) of a Lie group is closed. My knowledge of the subject of Lie groups is rudimentary, ...
- 4,304
4
votes
1
answer
302
views
On maximal closed connected subgroups of a compact connected semisimple Lie group?
Let $G$ be a compact connected semisimple Lie group and let $\mathfrak g$ denote its Lie algebra.
Is the following result true? Does it follows directly from Dynkin's classification of maximal Lie ...
- 2,446
4
votes
2
answers
1k
views
Local structure of the quotient of a Lie group action
Suppose $M$ is a smooth manifold and a compact Lie group $G$ acts freely on $M$, then it is well known that $M/G$ has a manifold structure.
Are there any results for the general case? (a) If the ...
- 957
4
votes
3
answers
2k
views
Lie subgroups of SU(4)
Other than subgroups of SU(3), what are the Lie subgroups of SU(4)? Assume that the subgroup is closed but not necessarily connected.
Additionally, which of these subgroups admit four dimensional ...
- 141
4
votes
1
answer
710
views
Are there explicit formulas for spherical functions on oriented real grassmannians?
Let $p$ and $q$ be integers. The group $K=SO(p) \times SO(q)$ can be naturally seen as a subgroup of $G=SO(p+q)$. The quotient space $G/K$ is identified with the space of oriented $p$-dimensional ...
- 9,486
4
votes
1
answer
295
views
On a result of Cartan for homogeneous manifolds arising from a quotient of discrete subgroups
I'm not sure if this is completely relevant to MO, let me know if this would be better on MSE.
I have been told today by a professor of mine that the following is a classic result of Cartan. Suppose $...
- 1,763
4
votes
1
answer
183
views
Multiplicities in Plancherel theorem for SL2(R)
The usual formulation of the Plancherel theorem one writes $f(1)$ as an integral over the dual $\widehat G$. The support of the measure is the set of representations which weakly occur in $L^2(G)$. ...
user1688
4
votes
2
answers
758
views
Riemannian metric of hyperbolic plane
I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector space....
- 8,597
4
votes
1
answer
677
views
Lifting one parameter subgroups of algebraic groups
Let $G$ be a linear algebraic group over an algebraically closed field $\mathbb C$ of characteristic zero and $U$ its unipotent radical, then $H:=G/U$ is a reductive group. Assume that I have a one ...
- 4,902
4
votes
1
answer
256
views
Weyl group action on complexified Iwasawa decomposition
Let $G$ be a complex, reductive, algebraic group and let $G=KB$ be the complexified Iwasawa decomposition of $G$, see also [SW02]. Let $T$ be a maximal torus of $B$, therefore a maximal torus of $G$. ...
- 4,902
4
votes
1
answer
119
views
Reference for nonquasi-split groups of type $E_6$ and $E_7$ over local fields
The semisimple groups over a local field have been classified by Tits, cf. [1] "Classification of algebraic semisimple groups" in Boulder and [2] "Reductive groups over local fields" in Corvallis.
In ...
- 991
4
votes
2
answers
683
views
Maximal subgroups of $\mathrm{SL}(n,\mathbb{R})$
I would like to find a list (or at least a description) of the maximal closed connected subgroups of $\mathrm{SL}(n, \mathbb{R})$ , and also of $\mathrm{SU}(p,q)$.
In the following MO discussion is ...
- 2,696
4
votes
2
answers
505
views
comprehensive presentation of the unitary dual of $SO_0(n,1)$
The unitary dual (unitary irreducible represenations) is determined for every connected noncompact semisimple Lie group of real rank one. I would like to have a reference for the particular case $SO_0(...
- 2,446
4
votes
2
answers
315
views
Low dimensional integral cohomology of $BPSO(4n)$
Toda has calculated the $\mathbb{Z}/2$‐cohomology ring of $BPSO(4n+2)$, and also gave the simple exceptional calculation of the $\mathbb{Z}/2$‐cohomology of $BPSO(4)$, in
Hiroshi Toda, Cohomology of ...
- 35.5k
4
votes
1
answer
194
views
Computing Deligne-Lusztig Characters in General
The goal for this question is to try to find a relatively explicit way of computing the Deligne-Lusztig characters. I understand that the $R_{T,\theta}$ can be computed if we know the values of the ...
- 173
4
votes
1
answer
234
views
dirichlet problem in the heisenberg group
Good morning everybody.
I was looking just for a quick reference to know whether the Dirichlet problem has a solution in the Heisenberg group, that is $\mathbb R^3$ endowed with coordinates $(x,y,z)$ ...
- 277
4
votes
4
answers
284
views
Stratifications and Cohomology Computations
I am interested in references and suggestions concerning the use of stratifications in topology to inductively compute topological invariants. I would appreciate a fairly introductory reference on the ...
- 4,920
4
votes
1
answer
249
views
Regarding extensions of finite groups by Tori
I know how to prove the following result. However, my proof is a little bit long and complicated and only uses fairly low tech results in group cohomology. It would be nice if I could find a citation ...
- 318
4
votes
1
answer
189
views
cohomology of finite groups of lie type with coefficients in the adjoint module
Let $\mathbb G$ be a connected, semisimple, split group over a finite field $\mathbb F_q$ and let $G = \mathbb G(\mathbb F_q)$. Let $\mathfrak g$ be its Lie algebra, an $\mathbb F_q$-vector space with ...
- 391
4
votes
1
answer
208
views
Connection between degree of growth and return probabilities of random walks on Lie groups
Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...
user47125
4
votes
0
answers
92
views
Lie bracket of general unipotent matrices
Let $k$ be a field (of characteristic $0$). Let
$$
X:=\begin{pmatrix}1&x_{1,2}&x_{1,3}&\cdots&x_{1,n}\\ &1&x_{2,3}&\cdots&x_{2,n}\\ &&1&\cdots&x_{3,n}\\ ...
- 449
4
votes
0
answers
101
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 ...
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
- 1,441
4
votes
0
answers
552
views
Lattices of $\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$
Edit: Thoughts updated (22/3/2021).
I've come across with the following problem.
Let $G=\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$ where $\varphi:\mathbb{R}^s\to \mathrm{Aut}(\mathbb{R}^k)=\mathsf{GL}(...
4
votes
0
answers
105
views
Siegel Levi in $\operatorname{GSpin}(2n+1)$ and image into $\operatorname{SO}(2n+1)$
Let $T$ be a maximal torus of split $\operatorname{SO}_{2n+1}$ with basis $e_1, ... , e_n$. Let $$\Delta = \{e_1 - e_2, ... , e_{n-1} - e_n, e_n\}$$ be a set of simple roots of $T$ corresponding to a ...
- 6,180
4
votes
0
answers
367
views
Representation theory and associated bundles
I am looking for a text or set of notes that discusses the relationship between the representation theory of Lie groups and associated vector bundles, preferably using modern categorical language. For ...
- 6,025
3
votes
1
answer
932
views
Weyl group of a symmetric space
Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...
- 21.8k
3
votes
2
answers
285
views
Invariant theory for parabolics
Let $G$ be a connected reductive group over $\mathbb{C}$ of (reductive) rank $\ell$. Let $P$ be a parabolic of $G$ and let $P=LN$ denote the Levi decomposition. Let $\mathfrak{g}, \mathfrak{p}, \...
- 2,751
3
votes
1
answer
461
views
R-linear representations of sl(2,C)
Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$?
Equivalently, what ...
- 10.4k
3
votes
3
answers
2k
views
analytic structure on lie groups
I need a reference for a result I have heard only very vaguely "A lie group (smooth) has a compatible analytic manifold structure".
(Would even appreciate a concise way to refer to the result..)
I ...
- 73
3
votes
2
answers
351
views
Commutator 2-forms on Lie groups
Let $G$ be a compact Lie group and $\mathfrak g$ its Lie algebra.
For any $f$ in the dual space $\mathfrak g^*$, we can define a skew-symmetric bi-linear form on $\mathfrak g$ by $(A,B)\mapsto f([A,B])...
- 8,086
3
votes
1
answer
276
views
For $G$ an adjoint Chevalley group, are all of $G(\mathbb Z)$'s finite-index subgroups congruence subgroups?
Let $G$ be an adjoint Chevalley group. Are all of $G(\mathbb Z)$'s finite-index subgroups congruence subgroups?
I read a theorem that states: When $G$ is the universal Chevalley group and it's not of ...
- 332
3
votes
1
answer
128
views
Explicit generators of the Lie algebra $spin(9)$
It is well known that the Lie group $Spin(9)$ acts on the vector space $\mathbb{R}^{16}$ (see e.g. Harvey's book "Spinors and calibrations".) It is convenient to identify this vector space with the ...
- 21.8k
3
votes
1
answer
293
views
the relation between cohomology and Dynkin graphs of lie groups
I heard it said that the cohomology rings of some Lie groups and Grassmannians can be read from the Dynkin graph. Can someone give me any reference?
- 139
3
votes
1
answer
152
views
Defining a family of rotations with certain properties
Let $d \ge 2$, and consider the sphere $S^{d-1}$ embedded in $\mathbb R^d$. Does there exist a family of rotations $\{\mathcal O_v\}_{v \in S^{d-1}}$ which satisfies:
$\mathcal O_v e_1 = v$, and
$\...
- 8,512
3
votes
2
answers
337
views
Does every embedding of one unipotent group (over R) in another extend to an embedding of the respective upper triangular matrix groups?
Let $T^*$ denote upper triangular matrices (of the appropriate size) with positive diagonal entries and $\mathrm{UT}$ upper triangular matrices with all diagonal entries equal to 1.
Does every (...
- 1,089
3
votes
1
answer
126
views
Getting the "salient" geometric objects out of an abstract congruence group
I'm not entirely sure what I'm trying to ask.
According to my understanding of the Erlangen programme, each "geometry" (in the sense of Euclidean or hyperbolic or elliptic geometry) is ...
- 4,943
3
votes
1
answer
96
views
The role of semisimple factors in transitive group actions on manifolds
I am trying to remember a result stating that under certain assumptions,
given a transitive smooth action of a (compact?) Lie group on a smooth manifold, also the action of the semisimple factor is ...
- 4,729