Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
3,059 questions
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$ ...
3
votes
2
answers
136
views
Level sets on $SU(4)$
Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$?
Can they be written only in terms of abstract linear maps, not ...
0
votes
1
answer
114
views
Verifying that a map to $L^2_{\text{loc}}$ is continuous
Let $M$ be a smooth manifold on which a Lie group $G$ acts properly, such that the orbit space $M/G$ is compact. Suppose $c:M\rightarrow [0,\infty)$ is a compactly supported smooth function with the ...
6
votes
1
answer
506
views
Lattice model for Affine Grassmannians of non type A
There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional $\mathbb{C}-...
7
votes
0
answers
502
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....
10
votes
1
answer
1k
views
Can a Lie group as an abstract group be given more than one topology making it a Lie group?
I am an optical engineer, so please forgive any ignorance my questions betoken. I am interested in whether one can tear down the manifold of a finite dimensional Lie group,
leaving an abstract group, ...
0
votes
1
answer
2k
views
Tensor product of generator of SU(n)
I'm doing research in quantum mechanics and got some trouble. Any help would be very much appreciated.
Let $\{\lambda_j\}$ be the set of generator of $SU(n)$. Consider the operator:
$K=\sum_j \...
6
votes
0
answers
272
views
Exceptional symmetric spaces embedded in exceptional Lie group
In Yokota (1959) and Atsuyama (1977) papers one can find embedding of projective space $\mathbb OP^2$ into Lie group $F_4$. Lately I come to following idea to have embedding of all four projective ...
4
votes
2
answers
827
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 ...
6
votes
3
answers
1k
views
Good book on representation theory of GL(n)
I am interested in a recommendation for a good book which discuses representation theory of GL(n)(say over field of complex numbers).
I know only a basic representation theory.
The question I am ...
7
votes
0
answers
217
views
Correspondence between Verma module morphisms and invariant differential operators - is it exact?
For a (complex, connected, simply connected, simple) Lie group $G$, a parabolic subgroup $P \subseteq G$, and a $\mathfrak g$-integral $\mathfrak p$-dominant weight $\lambda$, we can construct ...
2
votes
0
answers
163
views
Geometric and holomorphic structure of $\mathbb{C} \rtimes \mathbb{C} \setminus \{ 0 \}$
Put $G= \mathbb{C} \rtimes_{\phi} \mathbb{C} \setminus \{0\}$ where $\phi_{a} (z)= az$ for $a \in \mathbb{C} \setminus \{0\}$.
$G$ is a real $4$ dimensional Lie group; then it has a unique left ...
4
votes
1
answer
1k
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 $...
1
vote
2
answers
290
views
Any analysis on phase of eigenvalue of unitary matrix?
I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...
6
votes
2
answers
589
views
Centralizers of one parameter subgroups in semi-simple Lie groups
Suppose G is a connected semi-simple Lie group with finite center, and A, B are one parameter subgroups of the same Cartan subgroup. If the connected components of the identity of the centralizers of ...
5
votes
2
answers
190
views
Permutable (Lie) subgroups
Let's recall that, a group $G$ being given,
two subgroups $A,B\subset G$ are called
permutable iff $AB=BA$ for the Minkowski
law. It is straightforward to see that $(A,B)$
are permutable iff $AB$ ...
2
votes
2
answers
858
views
Decomposing maximal compact subgroups of SO(n,1)
Let $G=SO(n,1)$ and let
$G=KAN$ be an Iwasawa decomposition of $G$. Let $M$ be the centralizer of $A$ in $K$. In this case, we have $K≃SO(n)$, $A≃\Bbb R$(this is the maximal diagonalizable subgroup), ...
2
votes
1
answer
437
views
What are the finite subgroups of $\operatorname{Sp}_{2n}(\mathbb{Z})$?
I've read the following question:
Finite subgroups of ${\rm SL}_2(\mathbb{Z})$ (reference request)
and it made me wonder. It's easy to see that $\operatorname{SL}_2(\mathbb{Z})=\operatorname{Sp}_2(\...
6
votes
4
answers
1k
views
Polar decomposition for quaternionic matrices?
A non-zero complex number can be uniquely written in polar form as $re^{i\theta}$. There is an analogous result for complex matrices: any invertible complex matrix can be uniquely written as $UP$, ...
2
votes
1
answer
481
views
When is the image of the adjoint representation of a real algebraic group Zariski closed?
Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...
4
votes
1
answer
333
views
Check symplectomorphism property on infinitesimal generators
I stumbled over the following question:
First, let me give the basic definition of a symplectic group action:
Let $(M, \omega)$ be a symplectic manifold and $G$ a Lie group. A smooth action $\Phi:G \...
3
votes
0
answers
83
views
Particular decomposition of $SU(n)$
Given $a,b \in \mathfrak{su(n)}$ which generate the full algebra, it is possible to write and $G \in SU(n)$ as:
$G = \exp(\alpha_1 a)\exp(\beta_1 b) \ldots \exp(\alpha_m a)\exp(\beta_m b)$
for some ...
2
votes
0
answers
80
views
Are the roots of an infinitely divisible probability infinitely divisible themselves?
Let $\mu$ be an infinitely divisible probability on a topological group $G$. If $\nu ^{* n} = \mu$ for some $n$, is $\nu$ an infinitely divisible probability too?
A sufficient criterion would be to ...
3
votes
0
answers
112
views
Find logarithm of a matrix containing a constrained set of basis elements
Let $U$ be a unitary matrix, and let $H$ be an Hermitian matrix.
I want to know if there is a $t \in\mathbb R$ such that $\exp(i t H) = U$.
A connected question is: given a set $\{g_1, g_2, ..., g_N\}...
1
vote
0
answers
172
views
Finding the metric associated with a group action
Let $M$ be a differentiable manifold and suppose I have a group action $G \subseteq {\rm Diff}(M)$ where $G$ is a finite-dimensional Lie group (not necessarily compact). Does there exist a theory to ...
12
votes
0
answers
477
views
Maurer-Cartan equation for Lie groups/homogeneous space vs. Maurer-Cartan of deformation theory
What is the relationship between the Maurer-Cartan equation
$$
d\theta + \dfrac{1}{2}[\theta,\theta] = 0
$$
satisfied by Maurer-Cartan forms on Lie groups, or by pullbacks of Maurer-Cartan forms along ...
4
votes
1
answer
333
views
Orbits in the adjoint representation of $SU(2,1)$
How can one describe the orbits of the Lie group $G=\mathrm{SU}(2,1)$ in its Lie algebra $\mathfrak{g}=\mathfrak{su}(2,1)$ with respect to the adjoint representation?
10
votes
2
answers
792
views
Is $PSL(n, Z)$ isomorphic to a subgroup of $GL(n,C)$ or even $GL(n+1,C)$?
Is $PSL(n, \mathbb Z)$ isomorphic to a subgroup of $GL(n,\mathbb C)$ or even $GL(n+1,\mathbb C)$?
4
votes
0
answers
187
views
A few questions about $E_7$ and its symmetric spaces
My question about $E_6$ survived, so I post next episode. From the Yokota book I found out that there is $-1$ in $E_7$ Lie group. This book defines Lie group $E_7$ using 56-dimensional Freudenthal ...
6
votes
1
answer
3k
views
Double coset formulas for Orthogonal groups [Solved]
According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
$BO(1)^2\stackrel{...
1
vote
1
answer
92
views
Collection of matrices in $SU_{\mathbb{C}}(n)$ with given family of eigenvectors
For a given fixed matrix $M\in SU_{\mathbb{C}}(n)$, how to find all $N\in SO_{\mathbb{C}}(n)$ such that $N^{-1}MN$ is a diagonal matrix?
If we consider a fixed set of $n$ complex vectors $\Gamma:=\{...
2
votes
1
answer
185
views
Fields of definition of parabolically induced representations of $\mathrm{SL}(2,q)$
Let $\alpha_0$ be the unique non-trivial character satisfying $\alpha_0^2=1$ of the split torus $\mathrm{T} \subset \mathrm{SL}(2,q)$ and denote by $\mathrm{R}(\alpha_0)$ the character of $\mathrm{SL}(...
4
votes
1
answer
349
views
Existence of lattices in reductive Lie groups
What is known about existence of lattices in reductive Lie groups? The best results I know about existence of lattices in connected Lie groups are either about semisimple groups or nilpotent groups ...
4
votes
1
answer
184
views
geodesics on $G/K$ which are not the orbits of a 1-parameter subgroup of $G$
Let $G$ be Lie group and $K \subset G$ a closed subgroup, such that there exists a $v \in T(G/K)$ whose isotropy-group $G_v$ is discrete (so iff $\dim G_v =0$). Lets assume $g$ acts properly on $T(G/K)...
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. ...
5
votes
1
answer
320
views
Convention on Clifford Product [duplicate]
When studying the Clifford Algebra associated to some $(V,Q)$, one finds two basic identities differing by a sign:
$vv=Q(v)$ (see, for instance, Wikipedia)
$vv=-Q(v)$ (see, for instance, MathWorld or ...
9
votes
2
answers
634
views
Extension of the Weyl dimension formula
Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
5
votes
0
answers
136
views
Hopf basis of the cohomology of a Lie group
Let $M$ be a compact connected Lie group. Then by Hopf Theorem there exist uniform undecomposable elements $a_i\in H^*(M,\mathbb{Q})$ so that
$ H^*(M,\mathbb{Q})=\Lambda_{\mathbb{Q}}(a_1.,,,.a_s)$. ...
1
vote
1
answer
1k
views
Computing the fundamental group of a flag variety
Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
3
votes
0
answers
111
views
Simple $\mathfrak{g}$-modules preserved by twisting
Let $G$ be a semi-simple lie group (simply connected for simplicity), $\mathfrak{g}$ its lie algebra. Write $\overline{G}=Inn(\mathfrak{g})$ for the adjoint form of $G$ which we identify here with ...
6
votes
2
answers
891
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 ...
5
votes
1
answer
852
views
Normal forms for homogeneous cubic polynomials in $\mathbb{R}[x_1, x_2, x_3]$
Is there a standard normal form for homogeneous cubic polynomials in $\mathbb{R}[x_1, x_2, x_3]$? Or, put another way, is there a nice way to describe the orbit space of the natural (diagonal) action ...
1
vote
0
answers
73
views
Decompose elements in $SL_2$ as a pair of elements in $SL_2^*$.
I have a question about decomposing elements in $SL_2$ as a pair of elements in $SL_2^*$. Here $SL_2^*$ is the dual Poisson Lie group of $SL_2$ which is defined as follows.
Let $G$ be a Poisson-Lie ...
4
votes
1
answer
678
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 ...
5
votes
2
answers
758
views
Equivariant Cohomology of a Complex Projective Variety
Suppose that I have a complex projective variety $X$ endowed with an algebraic action of a complex torus $T$. Suppose also that the set $X^T$ of fixed points is finite. I would like to relate the ...
4
votes
2
answers
1k
views
Why limit of discrete series representation?
In what sense is the limit of discrete series representation of $SL(2, \mathbb{R})$ a limit of discrete series representations? Where does the name origin from?
6
votes
1
answer
494
views
Root space decomposition
What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form
$\left(
\begin{array}{cc}
X & Y \\
\overline{Y}^t & Z \\...
7
votes
3
answers
2k
views
Explicit isomorphism between distributions and universal enveloping algebra
The universal enveloping algebra of a Lie algebra $\mathfrak{g}$ is isomorphic to the algebra of distributions on the Lie group $G$ with support at the identity. The proof I have of this fact uses the ...
5
votes
2
answers
452
views
"geometric" description of the algebra of central functions on a Lie group
I am looking for a a description of the algebra of continuous central functions on a group, say a compact simple Lie group $G$, as the algebra of all continuous functions on a "nice" compact Hausdorff ...
6
votes
4
answers
477
views
Topological properties of $K$ orbits in $G/B$
I'll be working over the complex numbers.
Let $G$ be a connected reductive group, $\theta\colon G\to G$ an involution. Let $K=G^{\theta}$ be the fixed point subgroup. I am trying to track down ...