Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
1,986
questions
1
vote
0answers
35 views
Conjugation to an element in a Bruhat cell with a Coxeter element
I would like to generalize a result in $\mathrm{SL}_n(\mathbb Z)$ to a general Chevalley Group $\mathrm{G}$.
In this article Meiri - Generating pairs for finite index subgroups of $\mathrm{SL}(n,\...
2
votes
0answers
51 views
Reflection reverses a root strings
I am trying to understand the part of the proof In Fulton's and Harris's Represantation Theory book where he shows that the length of the root is at most 4:
Theorem If $\alpha,\beta$ are roots with $\...
2
votes
1answer
114 views
Flag manifolds as homogeneous Kahler manifolds
In this question it is asked if every flag manifold can be given the structure of a Kähler manifold. In the first answer it is written
Flag manifolds exhaust all compact homogeneous Kähler ...
8
votes
0answers
147 views
Fake degrees: why coinvariant algebra and classical groups over finite fields?
Apologies if this is not research level math (in that it concerns well-known stuff), but I am having trouble tracking down sources that explain the following. References would be very appreciated.
...
2
votes
0answers
155 views
A geometric property of certain Lie groups
I call Poincaré $n$-half-space group the semidirect product of $\mathbb{R}^{n-1}$ and $\mathbb{R}^+$, where the action is by homotheties; equivalently as the group of translations and positive ...
3
votes
0answers
48 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 ...
1
vote
1answer
56 views
Structure of extensions arising in Lie approximation of connected groups
My imperfect understanding is that, by the work of various authors (Gleason, Yamabe, Montgomery, Zippin ...), the following result is known:
Let $G$ be a connected, locally compact, Hausdorff group, ...
1
vote
1answer
65 views
Finding the closest special orthogonal matrix in Frobenius norm sense
Given a $3\times3$ matrix $M$, if we would like to get the closest $\mathrm{SO}(3)$ matrix $R$ that minimizes
\begin{equation}
\|R-M\|_F
\end{equation}
then $R$ = $UV^{T}$ where $U$ and $V^{T}$ are ...
1
vote
0answers
62 views
Nontrivial relations of the irreducible root systems
For the root system of the type $A_n$, the roots are $\alpha _{i,j}$, $1\le i\neq j\le n$, we have the nontrivial relations $(x_{i,j} (t), x_{j,k}(u)) = x_{i,k}(tu)$ if $i, j, k$ are distinct. ($x_{i,...
5
votes
0answers
93 views
Lattices in Lie groups
In the literature, people seem to predominantly look at lattices in nilpotent or reductive groups.
Is there a result that gives a general description of a lattice in an arbitrary Lie group?
Something ...
5
votes
1answer
133 views
Analog of the Lie Product formula for commutators
Let $X, Y$ be elements of a Lie algebra. Consider the group $G$ generated by (limits of) arbitrary products of the elements
$$ G = \langle{e^{tX},e^{sY}\rangle}$$
for all $t,s$. The Lie product ...
0
votes
0answers
51 views
Fierz identity for symplectic group
It is known that for the fundamental matrix representation of SU(N), with normalization given by
$$
{\rm Tr}(T^iT^j)=\frac{1}{2}\delta^{ij}
$$
there is a Fierz identity:
$$
\sum_{i=1}^{N^2-1}T^i_{ab}T^...
3
votes
0answers
82 views
Almost complex structures on real Lie groups
Let $G$ be an even-dimensional Lie group, and let $\mathfrak{g}$ be its Lie algebra. I want to explore when a complex structure on $\mathfrak{g}$ induces a complex structure on $G$ making it into a ...
5
votes
0answers
114 views
On the diameter of left-invariant sub-Riemannian structures on a compact Lie group
Let $G$ be a compact connected Lie group with Lie algebra $\mathfrak g$ of dimension $m$.
We fix an inner product $\langle\cdot,\cdot\rangle$ on $\mathfrak g$.
We may assume (in case is necessary) ...
1
vote
0answers
51 views
Haar measure of the zero set of a nonconstant analytic function on a connected Lie group
Let $G$ be a connected Lie group equipped with its unique real analytic structure, $f : G \to \mathbb{R}$ a nonconstant real analytic function on $G$. Is the closed set $Z_f = f^{-1}(0)$ always of ...
5
votes
1answer
162 views
Integral of Schur functions over $SU(N)$ instead of $U(N)$
Schur functions are irreducible characters of the unitary group $U(N)$. This implies
$$ \int_{{U}(N)}s_\lambda(u)\overline{s_\mu(u)}du=\delta_{\lambda\mu},$$
where the overline means complex ...
3
votes
0answers
51 views
The Lie subgroup corresponding to inner derivations
Let $\mathfrak{g}$ be a finite-dimensional real or complex Lie algebra. We know that $Aut(\mathfrak{g})$ is a closed real or complex Lie subgroup of $GL(\mathfrak{g})$. We also know that the Lie ...
2
votes
1answer
93 views
Coinvariant representative of homogeneous space cohomology
Given a compact homogeneous space $M = K/L$, consider its de Rham complex $(\Omega^*,d)$. Will every cohomology class $[\omega] \in ker(d)/im(d)$ contain a representative $\nu$ which is invariant with ...
2
votes
0answers
139 views
Characterize an element of $\operatorname{SL}_n(\mathbb Z)$
I'm trying to generalize a theorem on $\operatorname{SL}_n(\mathbb Z)$ to the Chevalley groups over $\mathbb Z$.
In the theorem, there is a heavy use in the element $e_{1,n}(1)$ where
$$e_{1,n}(m)=
...
4
votes
1answer
187 views
Existence of universal arrow from manifolds to forgetful functor of Lie groups
Let $M$ be a manifold, and $U$ be the forgetful functor from the category of Lie groups to the category of manifolds. My question is whether there is a universal arrow $(G, i)$ from $M$ to $U$? More ...
3
votes
0answers
52 views
Representation theoretic characterisation of symmetric spaces
Let $G$ be a simple compact Lie group and $H$ a closed subgroup.
Let $\mathfrak{h}\subset \mathfrak{g}$ denote the corresponding Lie algebras. Let $\mathfrak{m}$ be an orthogonal complement to $\...
1
vote
0answers
103 views
De Rham cohomology of homogeneous spaces
Take a homogeneous space $K/L$, where $K$ and $L$ are compact lie groups. Denoting by $\Omega^*(K/L)$ its de Rham complex, which is a homogeneous vector bundle over $K/L$, and hence has a ...
5
votes
0answers
75 views
Branching rules for E6 into SU(3)^3
I am very confused about what are the branching rules for representations of $E6$ into a $SU(3)\times SU(3)\times SU(3)$ subgroup. At least in the physics literature, there seems to be a serious ...
3
votes
0answers
115 views
What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$?
What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$?
Some sources seem to imply that they are the same, i.e. having at least the same symmetry group $\mathrm{SL}(2,...
1
vote
1answer
76 views
A matrix derivative
Suppose that $G$ is a connected Lie group of unitary matrices and $U(t)\in G$ depends continuously differentiable on a real parameter $t$ and has no real eigenvalue -1. Then the principal value of ...
9
votes
1answer
253 views
Is every connected semisimple linear Lie group the connected component of (the real points of) an algebraic group?
Is every connected semisimple linear Lie group the identity connected component of (the real points of) an algebraic group?
I was told some fact along this line is true but could not find any ...
4
votes
0answers
212 views
$L_\infty$-quasi inverse for the contravariant Cartan model on principal bundles
First of all I want to apologize for the much too long post.
A Lie group $G$ is acting on a smooth manifold $M$, then we define
\begin{align*}
T^k_G(M)=
(S^\bullet \mathfrak{g}\otimes T^k_\mathrm{...
7
votes
1answer
246 views
Differential forms of a Lie group giving cohomology of the Lie group
Consider a manifold $M$. Then, we have the notion of differential forms on $M$ and complex associated to that, denoted by $$\cdots\rightarrow \Omega^{k-1}(M)\rightarrow \Omega^k(M)\rightarrow \Omega^{...
5
votes
0answers
75 views
Infinitesimal description of homogeneous supermanifolds
Lie's third theorem says that if $\mathfrak{g}$ is a real, finite-dimensional Lie algebra, then there is a unique (up to isomorphism) simply-connected Lie group $G$ whose tangent Lie algebra is ...
1
vote
0answers
94 views
Characterizing the big Bruhat cell of the universal Chevalley groups over $\mathbb C$
Is there a simple characterization of the big Bruhat cell of the universal (simply-connected) Chevalley groups over $\mathbb C$?
For example, it is known that the Borel subgroup of $\mathrm{SL}_n(\...
2
votes
1answer
99 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
1answer
163 views
Moment map interpretation of Einstein equation
Einstein's famous equation relates the geometry of a (4-dimensional) manifold to the matter content in that manifold.
Is there a way to obtain Einstein's equation as a moment map?
More precisely, ...
2
votes
0answers
88 views
Is there a weak homotopy equivalence between Sp(2n,ℂ)/U(n) and SU(n)?
This question, Is there a weak homotopy equivalence between Sp(2n,ℂ)/U(n) and SU(n)?, is at the end of a long string of my comments in
https://math.stackexchange.com/questions/3296373/is-sp2n-mathbbc-...
3
votes
1answer
115 views
Subgroups of compact Lie groups generated by a subset of nodes of the Dynkin diagram
Where can I find a reference for the following fact, or as close as possible to it?
Let $G$ be a semisimple compact real Lie group with rank $r$, let $T$ be a maximal torus in $G$, let $\mathfrak{g}...
6
votes
1answer
225 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 ...
4
votes
1answer
201 views
An application of Itô's formula to an SDE on a Lie group
I'm trying to understand a calculation in this paper (equation (3.8)). With some details removed, the setup is as follows.
Let $G$ be a Lie group, and $g(t)$ a curve in $G$ satisfying the SDE
$$dg(t)...
2
votes
1answer
39 views
Descending central extensions to homogeneous spaces
Let $G$ be a Lie group (finite dimensional or Banach), and let $H$ be a Lie subgroup (in the Banach case we assume that $H$ is a submanifold which is also a Lie group). Let $\text{U}(1) \rightarrow \...
3
votes
1answer
171 views
About the Cartan's moving frame method
I am learning Cartan's moving frame from chapter 6 of S.S. Chern's book "Lectures on differential geometry" (Google books). Suppose the moving frame in $E^N$ is denoted by $(p;e_1,\cdots,e_N)$, then ...
2
votes
1answer
159 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 ...
5
votes
1answer
294 views
Identification problem: Does this group have a name?
I've encounter a group with properties that are very familiar, but I cannot say what group is it.
Consider the variables $(t,x,y,z)$, an affine transformation $M \in A(3)$ on the last three variables ...
1
vote
0answers
104 views
Is the Bruhat cell Zariski open in a connected algebraic group $G$? [closed]
Is the Bruhat cell Zariski-open in a connected algebraic group $G$?
Specifically, is the big Bruhat cell Zariski-open (and maybe Zariski-dense)?
Is it true for all the Bruhat cells?
2
votes
1answer
72 views
Compact group actions with uniformly bounded derivatives
Suppose we have a smooth action of a compact Lie group $G$ on a non-compact smooth manifold $M$, denoted by
$$\phi:G\times M\rightarrow M.$$
Differentiating $\phi$ at a point $x\in M$ gives a map that ...
2
votes
1answer
150 views
How to prove that Chevalley groups over $\mathbb R$ have no compact factors
I am trying to see why the Chevalley groups (not limited to the adjoint group) over $\mathbb R$ are without compact factors in order to use the Borel density theorem.
I've been told in another thread ...
2
votes
0answers
141 views
An analytic vector field on $S^3$ whose all orbits are dense (à la Seifert conjecture, 2)
Does there exist a real analytic vector field on $S^3$ all of whose orbits are dense? The second paragraph of page 285
Of this paper says that there is a vector field whose almost all orbits are dense:...
1
vote
0answers
131 views
Describing compact Lie groups in purely topological terms
Compact Lie groups are a very special type of compact group, namely those which admit a differentiable structure. Is it possible to describe compact Lie groups in purely topological terms, that is, ...
0
votes
0answers
29 views
Derivative of expression involving a left-invariant connection
I'm trying to understand a calculation done in this paper. Somewhat simplified, the setup is as follows.
Let $G$ be a Lie group, and $\varrho$ its Lie algebra.
Let $\nabla$ be a left-invariant ...
3
votes
0answers
186 views
Lie algebra of an elliptic curve
This might be a silly question, and if it has been asked somewhere else, I would appreciate a link; however, I was unable to find it myself.
In this paper by Lauter-Viray (arXiv link), in the proof ...
0
votes
0answers
157 views
Re asking:On the proof by Chu-Kobayashi that transformation groups are Lie groups
I have similar questions asOn the proof by Chu-Kobayashi that transformation groups are Lie groups and even more, how can $Y\in\mathfrak{g}^{*}$ generate 1-parameter global transformation group of $M$ ...
2
votes
1answer
103 views
Character of a semisimple connected Lie groups [closed]
I'm trying to see why the Chevalley groups over $\mathbb C$ have no nontrivial character?
I know that a compact connected semisimple Lie group has no nontrivial character but is the compactness ...
3
votes
0answers
57 views
Amenability of the group of outer automorphisms of a connected compact Lie group
Forgive my ignorance on the Lie theory. I have the following questions in my current work concerning a certain property of compact connected Lie groups.
First, allow me to fix some notations.
Let $G$ ...
