Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
2,938
questions
4
votes
1
answer
1k
views
Why is $O(n;k)$ not connected, and has four connected components? [closed]
Why is $O(n;k)$ not connected and has four connected components when $nk\ge 1$?
Here $O(n;k) =\{A\in GL(n+k,\mathbb{R}) \mid A^{T}GA=G\}$
where
$G=\begin{pmatrix}
1&&&&&\\
&\...
4
votes
1
answer
1k
views
Connected subgroups of $SL(2,C)$
Where can I find a list of all connected real Lie groups inside the 6-dimensional real Lie group $SL(2,C)$, up to conjugacy? How can one verify that a partial list is complete?
I found on wikipedia a ...
4
votes
2
answers
806
views
Property of lattices in Lie groups
Let $\Gamma$ be a lattice in a (real or p-adic) Lie group.
Is it true that for a given natural number $n$ there exists a finite index subgroup $\Sigma\subset\Gamma$ such that each $\sigma\in\Sigma$ is ...
4
votes
2
answers
623
views
Cartan-Hadamard Theorem
Can someone point out the gap in this argument. Consider a simply-connected Lie group with the (-)-connection. This connection is flat and so the sectional curvatures are zero. Then, by the Cartan-...
4
votes
2
answers
388
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
votes
2
answers
475
views
Is the condition ``adjoint action does not have eigenvalue $-1$" dense in a Lie group?
I need to answer (affirmatively, I hope) the following question:
In a Lie group $G$ whose Lie algebra $\mathfrak{g}$ is equipped with an $\mathrm{Ad}$-invariant scalar product, is the open subset
...
4
votes
2
answers
3k
views
weyl group representations
I am looking for some references about irreducible representations of the Weyl Group over simple Lie Groups, both classical and exceptional ones. In particular I want to know the dimensions and the ...
4
votes
2
answers
364
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 ...
4
votes
1
answer
398
views
Faithful locally free circle actions on a torus must be free?
Is it true that every faithful and locally smooth action $S^1 \curvearrowright T^n$ is free?
I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$.
Another related question is: ...
4
votes
1
answer
164
views
Explicit example of an equivariant embedding of $U(n)/( U(k) \times U(n-k))$ into a finite dimensional $U(n)$-representation
We know that if $H$ is a closed subgroup of a compact Lie group $G$ one can find a finite dimensional $G$-representation $V$ and an element $v_0 \in V$ such that $\textrm{Stab}(v_0)= H$. This gives a $...
4
votes
2
answers
522
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 ...
4
votes
1
answer
1k
views
Relationship between Laplacian and Hessian on compact Lie groups
If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has
$$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$
where $\Delta$ ...
4
votes
3
answers
1k
views
Finite Order Automorphisms on Complex Simple Lie Algebras
Let $L$ be a finite dimensional complex simple Lie algebra, and
let $F(L)$ be the set of all finite order automorphisms on $L$.
Suppose that we declare $f,h \in F(L)$ to be equivalent if there exists
...
4
votes
2
answers
310
views
Proper subgroups of $\rm{SU}(d)$ that act transitively on $\rm{CP}^{d-1}$?
The special unitary group $\rm{SU}(d)$ has a canonical action on the Hilbert space of dimension $d$, and this action induces a canonical action on the projective space $\rm{CP}^{d-1}$, which is ...
4
votes
1
answer
926
views
SU(6) -> SU(3) branching rule
I read in at least one paper and in the wiki below
http://en.wikipedia.org/wiki/Quark_model
that the 56 symmetric irrep of SU(6) breaks down into 10^{3/2} + 8^{1/2}
irreps of SU(3)xSU(2). Here the ...
4
votes
3
answers
327
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 ...
4
votes
1
answer
604
views
About the conjugation of semi-simple subgroups
Let $G$ be a semi-simple algebraic group over $\mathbb{Q}$, I would like to find an integer $d>0$ only depending on $G$ with the following property. For any two semi-simple $\mathbb{Q}$-subgroups $...
4
votes
2
answers
308
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)$-...
4
votes
2
answers
1k
views
Lie group about the quantum harmonic oscillator [closed]
We konw that in quantum harmonic oscillator $H=a^\dagger a$, $a^\dagger$, $a$, $1$ will span a Lie algebra, where $a, a^\dagger$ is annihilation and creation operator, $H$ is the Hamiltonian operator. ...
4
votes
1
answer
2k
views
Reference request - localisation de g-modules
Does anyone have a link to a copy of Beilinson-Bernstein's "Localisation de g-modules", in which they prove the Beilinson-Bernstein theorem? I can't find it anywhere.
4
votes
2
answers
928
views
Kostant's theorem on principal 3-dimensional subalgebras
I have a few questions concerning Kostant's work on principal three-dimensional subalgebras (TDS). Let $\mathfrak{g}$ be a finite-dimensional complex semisimple Lie algebra, and $\mathfrak{a}\subseteq\...
4
votes
2
answers
628
views
Semi-Simple Kahler Groups?
We say that a Kahler manifold is a Kahler group if it is also a Lie group. I would like to know which semi-simple Lie groups are also Kahler groups?
4
votes
1
answer
494
views
Action of $ax+b$ with compact support
I wonder whether it is possible to have a smooth action of the $ax+b$ Lie group with compactly supported fundamental vector fields on $\mathbb{R}^2$ in such a way that it is non-trivial at least at ...
4
votes
2
answers
460
views
What does this paper have to do with Hilbert's fifth question?
Apparently, there is a paper
M. Sablik, Final part of the answer to a Hilbert's question. Functional Equations - Results and Advances. Edited by Z. Daróczy and Zs. Páles, Kluwer Academic Publishers ...
4
votes
1
answer
453
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 ...
4
votes
2
answers
259
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. ...
4
votes
1
answer
306
views
Orbits of tensor product $\operatorname{St}_2\otimes\operatorname{Sym}^2(\mathbb C ^3)$
Let $G_1=\operatorname{GL}_2(\mathbb C)$ act on $V_1=\mathbb C^2$ via the standard multiplication. Denote this representation by $\operatorname{St}_2$. Let $G_2=\operatorname{SL}_3(\mathbb C^3)$ act ...
4
votes
2
answers
367
views
GAP versus SageMath for branching to Lie subgroups
Which computer package is better, GAP or SageMath, for
decomposing an irreducible representation of a (simple) Lie group
$G$ into representations of a Lie subgroup. I am most interested when
...
4
votes
1
answer
250
views
The embedding of $\mathfrak{g}_2$ into $\mathfrak{b}_3$ ($\mathfrak{so}_7$) on Chevalley generators
Let $\mathfrak{g}_2$ / $\mathfrak{b}_3$ be the simple complex Lie algebra of type $\mathsf{G}_2$ / $\mathsf{B}_3$ (the latter is also known as $\mathfrak{so}_7$).
How is the embedding $\mathfrak{g}...
4
votes
1
answer
298
views
Is equivariant oriented cobordism finite?
It is known that for $n \not\equiv 0 \mod 4$, the oriented cobordism ring $MSO_n$ is finite. That is, for oriented n-dimensional manifold $Y$, there exists $m\in \mathbb{N}$, such that $mY$ bounds.
...
4
votes
2
answers
532
views
Uniform lattice in semidirect product
A uniform lattice in a locally compact group $G$ is a discrete subgroup $\Gamma\subset G$ such that $G/\Gamma$ is compact.
My question is whether a uniform lattice exists in the group
$$
G={\mathbb R}^...
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 ...
4
votes
1
answer
959
views
the group of all biholomorphic group automorphisms of complex tori
My background is complex geometry, but when I confront complex tori, I feel it is easier to consider it as a compact connected complex Lie group although I just know the definition of Lie group.
Let $...
4
votes
1
answer
740
views
How does one calculate homotopy classes for group coset spaces?
Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times SU(3)_R)...
4
votes
2
answers
1k
views
Center of the algebraic group $G_{\mathbb{R}}$ for a centerless $G$
This must be an easy question but I don't have a good argument for it and have not found a counterexample: Let $G$ be a connected semisimple algebraic group over $\mathbb{Q}$ such that the center of $...
4
votes
2
answers
356
views
Complexification or 'real'ization of Mapping Class group.
So is there a complexification or 'real'ization of the mapping class group or can it be realised as a lattice in some lie group. like $PSL(2, \mathbb Z)$ in $PSL(2, \mathbb R)$. for g=1 this certainly ...
4
votes
1
answer
928
views
Character determines the representation?
Consider a semisimple Lie group or a $p$ adic reductive group $G$.
To what extent can the character of a representation as a distribution on $C_c^\infty(G)$ determine the representation?
4
votes
1
answer
267
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
votes
1
answer
254
views
Complexification of a Lie subalgebra of a compact real form
I'm currently reading the paper Lie algebra Cohomology and the Generalized Borel–Weil theorem written by B. Kostant, and I have a question about Remark 3.9 he made.
In this paper, $\mathfrak{g}$ is a ...
4
votes
1
answer
210
views
A weight generalization of root systems?
For any simple complex Lie algebra $\frak{g}$, with a given choice of Cartan subalgebra $\frak{h}$, we have an associated root system $R \subseteq \frak{h}^*$. The properties of $R$ can be formalized ...
4
votes
2
answers
246
views
Schur positivity of a polynomial
Suppose a polynomial of the form
$$\prod_i^d \sum_j^p x_i^{f_j}$$
clearly symmetric, where $f_j\in \mathbb{N}$. There is a way to find the set of $f$ numbers such that this polynomial is Schur ...
4
votes
1
answer
279
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 ...
4
votes
1
answer
996
views
Spin groups in terms of matrices and/or linear operators
Thus far, the books and articles I have read dealing with spin groups $\mathbf{Spin}(n)$ and $\mathbf{Spin}(p,q)$ consider them only in terms of either Clifford algebras or topologically as the double ...
4
votes
1
answer
220
views
Submanifold of a Lie group whose tangent bundle is invariant under group (left) action
Edit: According to the interesting comment of Tobias Fritz we revise the question.
Assume that $G$ is a Lie group and $M\subseteq G$ is a closed connected smooth submanifold of $G$ containing the ...
4
votes
1
answer
316
views
On the isometry group of a self cartesian product of a Riemannian space
Let $X$ be a complete Riemannian space. Let us denote by $Iso(X)$ the group of isometries of $X$. It is a well-known fact that the group $Iso(X)$, when endowed with the compact-open topology, is a Lie ...
4
votes
1
answer
276
views
If $N_G(S)/Z_G(S)$ is a reflection group, is it a Weyl group?
Let $G$ be a compact, connected Lie group and $S$ a torus in $G$ not assumed maximal. Then conjugation in $G$ induces a faithful representation of $N = N_G(S)/Z_G(S)$ in the Lie algebra $\mathfrak s$ ...
4
votes
1
answer
2k
views
Weyl groups of $E_6$ and $E_7$
The Weyl group $W_6$ of the Lie algebra $E_6$ is of order 51840, the automorphism group of the unique simple group of order 25920, while the Weyl group $W_7$ of the Lie algebra $E_7$ is of order ...
4
votes
2
answers
368
views
Moving Between Weight Spaces in Highest-Weight Representations
Let $G$ be a connected, simply-connected complex semisimple linear algebraic group with Lie algebra $\frak{g}$. Fix a maximal torus $T\subseteq G$ and let $\Delta\subseteq Hom(T,\mathbb{C}^*)$ be the ...
4
votes
1
answer
669
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 ...
4
votes
1
answer
1k
views
Transitive action on the sphere
Hello!
From the book "Einstein manifolds" by Arthur L. Besse (at section 7.B), Lie groups $Sp(n)$, $Sp(n)\cdot U(1)$, $SU(2n)$ and $U(2n)$ constitute the complete list of Lie subgroups of $U(2n)$ ...