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
9
votes
1
answer
3k
views
Cohomology of the unitary group
The de-Rham cohomology ring of U(n) is the exterior algebra generated by the odd-dimensional classes x_1, x_3, ..., x_(2n-1). Moreover, on a Lie group every cohomology class is represented by a unique ...
- 1,242
6
votes
1
answer
864
views
Geometric structure of flag manifolds, Borel -Weil-Bott theorem
I want to know if there is proof of Borel Weil Bott theorem, that is as geometric as it can be.
Let $G$ be a semisimple compact Lie group and $T$ be a maximal torus. We know that $G/T$ is a ...
- 534
6
votes
4
answers
3k
views
Killing fields on homogeneous spaces
Let $G$ be a compact lie group and $H$ a closed subgroup and hence think of $G/H$ as a homogeneous space.
Then how are the Killing fields on $G/H$ the projection of the right-invariant vector fields ...
- 3,541
4
votes
2
answers
321
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 ...
- 241
8
votes
1
answer
344
views
The Image of the Mod 2 Homology of BSp in the Homology of BSO
I'm essentially trying to figure out exactly what the title asks for. I've been scouring old Seminaires Henri Cartan and books by Stong to try to see exactly how to do this, but the combination of ...
- 10.4k
3
votes
0
answers
236
views
Deligne-Simpson problem for classical groups
Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n =...
- 181
9
votes
0
answers
360
views
Finding $U,V$ in Thompson's Formula
Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that:
$e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$
Given $a,b \in \mathfrak{su}(4)$ defined by:
$a=J_x ...
- 2,099
2
votes
1
answer
137
views
Projections of orbifolds
A while back I came across orbifolds, in particular the quotients $SU(2)/U(1)\cong S^2$, $SU(3)/(SU(2)\times U(1)\cong \mathbb{C}P^2$ and $SU(3)/(U(1)\times U(1))$. The way I needed them, was as an ...
- 23
6
votes
1
answer
1k
views
Decomposition of semisimple Lie group into almost simple factors
Can anyone suggest a reference that defines or explains that a semisimple real Lie group can be decomposed into a product of almost simple factors? In some papers that I read recently people keep talk ...
- 511
7
votes
0
answers
145
views
Is there any example of a endomorphism of a Lie group that has recurrent points with non-compact orbit closure?
Is there any example of a continuous endomorphism of a Lie group that has recurrent points with non-compact orbit closure?
- 139
1
vote
0
answers
173
views
Generating $\mathfrak{so}(7)$
Short version: Let $V$ be a 7-dimensional linear space of (real) square matrices. Suppose further that $[V,V]$ (the linear space spanned $[X,Y]$, $X,Y\in V$) is actually a subalgebra isomorphic to $\...
- 369
22
votes
1
answer
1k
views
Word maps on compact Lie groups
Let $w=w(a,b)$ be a non-trivial word in the free group $F_2 = \langle a,b \rangle$ and $w_G \colon G \times G \to G$ be the induced word map for some compact Lie group $G$.
Murray Gerstenhaber and ...
- 25.5k
9
votes
1
answer
461
views
What is the structure of the group of rational points of an abelian variety over a Laurent series field?
Let $K = \mathbb{F}_q((t))$, and let $A_{/K}$ be a nontrivial abelian variety. Then $A(K)$ is a compact $K$-adic Lie group. What can be said about its structure?
By way of comparison, if $K/\mathbb{...
- 65.4k
4
votes
2
answers
643
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-...
- 1,378
6
votes
2
answers
741
views
Measuring how far from being cocompact a lattice is
Let $G$ be a locally compact group and $\Gamma$ a lattice (=discrete
subgroup of $G$ such that $G/\Gamma$ carries a probability measure $\mu$
that is invariant under the action of $G$ by left-...
- 9,486
2
votes
1
answer
327
views
the meaning of "Cauchy filter" for an arbitrary topological group
I was reading a definition of pro-Lie group and it spoke of a "Cauchy filter" on an arbitrary topological group even though there was no mention of a metric. Is there some kind of standard meaning for ...
- 2,125
3
votes
1
answer
134
views
Singular curves of affine distributions on a Lie group
Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group?
Specifically the case of a right invariant affine distribution: $D_{U} = \{...
- 2,099
5
votes
1
answer
2k
views
Other than SU(3), SO(4), SU(2)xU(1), are there compact semisimple Lie groups which exactly two 3-dimensional representations that are dual to each other?
In my original question, I asked which compact Lie groups $G$ have a certain property. Jim and Dan showed that this property is equivalent to $G$ having exactly two irreducible 3-dimensional ...
user2529
7
votes
2
answers
595
views
Representation theory of Discrete Subgroups of Lie groups
My question is the following. Which representations of $Sp(2g, \mathbb Z)$ are extendable to representations of $Sp(2g, \mathbb C)$ or $Sp(2g, \mathbb R)$. Is there a general theory and a good ...
- 327
6
votes
0
answers
690
views
Isometries of Compact Semisimple Lie Groups
In this delightful question, the poster mentioned that the isometry group of a compact Lie group $G$, equipped with the metric from the Killing form, is $G\times G/Z(G)$, where $Z(G)$ is the center of ...
- 779
10
votes
2
answers
1k
views
Is there a way to see a topological group as the "Cayley graph" of its "infinitesimal generators"?
At the time of writing, the most recent blog post over at What's new by Terrence Tao is Cayley graphs and the geometry of groups, and that (excellent, as with most of Tao's writing) post most ...
- 54.6k
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
5
votes
3
answers
787
views
Nilpotent Lie Algebras
Let $\frak{g}$ be a finite-dimensional complex nilpotent Lie algebra. Given $\xi\in\frak{g}$, what is known about the intersection of $im(ad_{\xi})$ (the image of $ad_{\xi}:\frak{g}\rightarrow\frak{g}$...
- 4,920
1
vote
1
answer
3k
views
The Simply Connected Subgroups of GLn(C)?
A friend of mine and I were trying to answer a question related to his research and he couldn't remember whether or not the special linear group over the complex numbers, SLn(C),was simply connected. (...
4
votes
2
answers
345
views
Hermitian Symmetric Subspaces of Siegel Space
Let $\mathbb{H}_g$ denote Siegel space, and $M$ denote an order 4 element of the unitary subgroup $U(n)(\mathbb{R})$with $p$ eigenvalues equal to $i$, and $q$ eigenvalues equal to $-i$, $p+q=g$. ...
- 2,824
4
votes
0
answers
264
views
When can a locally compact group be approximated by discrete subgroups?
This question is about partitioning a (locally) compact group into cells by using discrete subgroups.
Let $G$ be a locally compact group. (I am really most interested in the case where $G$ is a ...
- 6,287
10
votes
2
answers
669
views
SO(p,q) and Howe Duality
I recently learned of a relationship between the representations of the groups $SO(p,q)$ and $SL(2,\mathbb{R})$ which is part of an apparently much larger set of ideas known as Howe Duality. My ...
- 295
1
vote
0
answers
242
views
Dimension of tangent space to manifold of cross section slices
Given a function $\Phi:\Omega^{\Phi}\subset \mathbb{R}^3\rightarrow\mathbb{R}$, we intruduce its planar cross section slices $\phi^{s}:\Omega^{\phi}\subset \mathbb{R}^2\rightarrow\mathbb{R}$, using a ...
- 111
1
vote
2
answers
439
views
Right invariant Killing fields of Right invariant Riemanian metrics
Can there exist a right invariant killing field of a right invariant (but not bi-invariant) Riemannian metric on a Lie group?
I am especially interested in the case of $SU(N)$ with a metric of the ...
- 2,099
5
votes
2
answers
291
views
Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group
Hi All,
I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question:
I am trying to understand the structure (e.g., decomposition) of the unitary ...
- 955
5
votes
1
answer
983
views
Determining the Lie algebra elements exponentiating to the center of a Lie group
For a semi-simple compact Lie group $G$ with center $Z(G)$, one can characterize the preimage of $Z(G)$ in the Cartan subalgebra under the exponential map as the nodes of the Stiefel diagram (see for ...
- 1,582
3
votes
0
answers
645
views
Orthosymplectic group, matrix representations
We have the orthosymplectic $osp(n,m|2k)$. The bosonic part is $so(n,m)\times sp(2k)$. The lie algebra generators are given in eg
http://cds.cern.ch/record/524737/files/0110257.pdf$
where the group ...
- 293
3
votes
1
answer
330
views
Examples in the vein of smooth manifold + group = Lie group [closed]
I am currently writing a thesis and got to thinking about the bigger picture of mathematics in the following sense. Both manifolds and groups have highly developed theories in their own rights. When ...
7
votes
2
answers
1k
views
Lattices in SOL
Consider a semi-direct product $\mathbb{Z}^2\rtimes_A\mathbb{Z}$, where $A\in SL_2(\mathbb{Z})$ and $|Tr(A)|>2$. It is clear that it is isomorphic to a lattice in the 3-dimensional solvable Lie ...
- 11.1k
3
votes
0
answers
120
views
Trivialize a cocycle of a continuous Lie group-cohomology to a coboundary
Someone recently asks a question $SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$? now inspires me to revisit an earlier general question to ask an example of 3-cocycle
$\omega_3^G$ of a ...
- 10.5k
0
votes
1
answer
122
views
What is the stabilizer of the following $7$-dimensional cross-product?
Upon visiting Prof. Nurowski's homepage (http://www.fuw.edu.pl/~nurowski/), at the top of the page, there is the following $7$-dimensional cross product:
$e_1 e_2 = e_4$, $e_2 e_3 = e_5$,...
and so ...
- 5,215
0
votes
1
answer
101
views
Is the toral component of a connected Lie group equal to the toral component of its radical? [closed]
Given a connected Lie group, define its toral component as the maximal connected and compact subgroup of its center.
Is the toral component of a connected Lie group equal to the toral component of ...
- 29
8
votes
3
answers
965
views
How do Lie groups classify geometry?
I have often heard that Lie groups classify geometry. For example that $O(n)$ is about real manifolds, $U$ is about almost complex manifolds, $SO(n)$ about orientable real manifolds and so on.
I have ...
user2529
6
votes
1
answer
755
views
Lie groups bundle
Given compact Lie groups $H \subset K \subset G$, there is a fiber bundle
$ \frac{K}{H} \rightarrow \frac{G}{H} \rightarrow \frac{G}{K}$.
Do you have a simple proof of this?
- 243
8
votes
1
answer
374
views
Chevalley restriction theorem for exterior algebras
Suppose $G$ is semisimple Lie group, $\mathfrak{g}$ is its Lie algebra, $\mathfrak{h}$ is a Cartan subalgebra of $\mathfrak{g}$, and $W$ is the correspondent Weyl group.
Chevalley restriction theorem ...
- 1,276
2
votes
0
answers
94
views
Maximize a tricky function on $SU(n)$
Given non-zero $\xi \in \mathfrak{su}(n)$ and $G \in SU(n)$, consider the function:
$Q(U) = Tr(G^{\dagger}U)GU^{\dagger} - Tr(U^{\dagger}G) UG^{\dagger}$
(which just happens to be the gradient of $|...
6
votes
2
answers
426
views
Approximating the action of the U(N) exponential map
Let's say that I have a curve in $\mathbb{C}^N$ given by the action of the unitary group:
$$x(t) = e^{Ht}x_0,~ H \in \mathfrak{u}(N),~ ||x_0||=1$$
Here, $H$ is an NxN skew-Hermitian matrix (for very ...
- 161
5
votes
1
answer
459
views
Some questions on analytic vectors and the integrability of Lie-algebra representations
I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
- 1,396
3
votes
1
answer
294
views
Lie group GL(4) representation decomposition
Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$.
Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation.
My question: How does $$V\otimes ...
- 131
6
votes
3
answers
2k
views
What's the classification of the algebraic subgroups of Sp(4,R)?
Hi! I would like to know if there is an explicit classification of the algebraic (i.e., Zariski closed) subgroups of the symplectic group Sp(4,R) and/or more generally Sp(2n,R) somewhere in the ...
- 1,675
1
vote
0
answers
149
views
Name for the Quotient $SU(m+1)/(SU(k) \times SU(m-k))$
The sphere $S^{2m-1} \simeq SU(m+1)/SU(m)$ has a canonical $U(1)$-action, and quotienting by this action give complex projective space $CP^m$. We can generalise the family of sphere to the family of ...
- 459
2
votes
1
answer
247
views
Reading Ratner's paper "Ragunathan's conjectures for SL(2,R)"
Hello everyone (interested),
I am trying to read Marina Ratner's paper "Ragunathan's conjectures for $SL_{2}(R)$" (Israel Journal of Mathematics 80 (1992), 1-31). There is a claim right at the end of ...
6
votes
1
answer
445
views
Infinitesimal equivalence of admissible representations
Let $G_0$ be the $\mathbb{R}$-points of a real reductive group with complexified Lie algebra $\mathfrak{g}$ and maximal compact subgroup $K$. What is the precise relation between the category of ...
- 3,605
-2
votes
1
answer
259
views
Reductive space & Reductive Lie algebra
If $M=G/H$ is a reductive space and $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ be the canonical decomposition, then are $\mathfrak{g}$ or $\mathfrak{h}$ or both reductive lie algebras? (in this case, ...
- 55
4
votes
1
answer
516
views
Calculation with weights of $E_6$
Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...
- 4,729