Questions tagged [lie-groups]

Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

Filter by
Sorted by
Tagged with
1 vote
0 answers
46 views

A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori

$\newcommand{\Hom}{{\rm Hom}} \newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}} \newcommand{\X}{{\sf X}} $ I am looking for a reference for the following lemma (for which I know a proof): Lemma. Let $\...
4 votes
0 answers
100 views

Finite subgroups of $\mathrm{SL}_2(\mathbb{O})$

What are the finite subgroups (subloops that are groups) of $\mathrm{SL}_2(\mathbb{O})$? In particular, are there any not contained in a $\mathrm{SL}_2(\mathbb{H})$?
4 votes
1 answer
173 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,069
0 votes
0 answers
70 views

Is there a formula for $fgf^{-1}$ in $G_2$?

Let $G_2$ be the exceptional Lie group of smallest dimension, represented as the exponentials of the antisymmetric real $7×7$ matrices $A$ with $$\sum_{i=1}^{3}{A(x+2^i,x-2^{i-1})} = 0$$ for integer $...
0 votes
1 answer
96 views

Sum of weights of an irreducible representation of $U(N)$

Let $R$ be a finite-dimensional irreducible representation of $U(N)$, with the set of weights $W_R$. Each element of $W_R$ is a vector of length $N$ with integer entries. Firstly, I would like to know ...
-1 votes
0 answers
60 views

The largest abelian subgroups of a Lie group [duplicate]

Let $G$ be a semisimple Lie group. Denote by $d(G)$ the maximal integer $p$ such that $\mathbb{Z}^p$ is isomorphic to a discrete subgroup of $G$, and let $c(G)$ denote the maximal integer $q$ such ...
  • 115
2 votes
1 answer
154 views

Classification of Lie group structures on $\mathbb{R}^n$

Is it possible to describe, up to isomorphism, all Lie groups $G$ whose underlying manifold is diffeomorphic to $\mathbb{R}^n$ (with its standard smooth structure)? In fact, I haven't found any such ...
2 votes
2 answers
313 views

Complete representation theory of $\mathrm{SL}(2,\mathbb R)$

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Is the complete representation theory of $\SL(2,\mathbb R)$, $\GL(2,\mathbb R)$, $\SL(2,\mathbb C)$, and $\GL(2,\mathbb C)$ known, in the sense ...
2 votes
1 answer
69 views

Unitary dual of universal cover

The universal covering group $G$ of $\mathrm{SL}_2({\mathbb R})$ has infinite center. Is there an irreducible unitary representation $\pi$ of $G$, whose central character is injective? Or does every $\...
  • 630
0 votes
0 answers
83 views

The largest abelian subgroups of a Lie group

Let $G$ be a semisimple Lie group. Denote $d(G)$ as the maximal integer $p$ such that $\mathbb{Z}^p$ is isomorphic to a discrete subgroup of $G$ and $c(G)$ is the maximal integer $q$ such that $\...
  • 115
3 votes
0 answers
80 views

Solvability of a matrix exponential equation - generalized matrix logarithm

For a given invertible real matrix $G\in \mathrm{GL}_d$ with $\det G>0$, we ask for a solution $B$ of the matrix exponential equation $$ G = \exp(B) \exp\bigl(\tfrac{1}{2}(B^T-B)\bigr) . $$ Basic ...
0 votes
0 answers
45 views

Why is $\Pi_r^L$ a non-degenerate Poisson structure on $G\ $?

Let $r \in \bigwedge^2 \mathfrak {g}$ be a skew-symmetric solution of the CYBE (classical Yang-Baxter equation) so that it gives rise to a non-degenrate triangular structure on $\mathfrak {g}$ i.e. $r$...
4 votes
0 answers
116 views

The homotopy type of the space of symplectic structures

While reading the book Introduction to the $h$-Principle by Y. Eliashberg and N. Mishachev, I noticed that the authors state, at the end of section 9.1.A, that the space of all symplectic structures ...
  • 484
0 votes
0 answers
35 views

Left translations respect the Schouten bracket

Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and $r \in \bigwedge^2 \mathfrak{g}$. For $x \in G$ let $\lambda_x$ denote the left multiplication by $x$. Let $[\cdot, \cdot]$ ...
4 votes
1 answer
271 views

Faithful locally free circle actions on a torus must be free?

Do we have an example of a smooth action $S^1 \curvearrowright T^n$ which is faithful, locally free but not free? I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$. Another ...
4 votes
1 answer
148 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 ...
3 votes
1 answer
98 views

Does every nilpotent orbit have an element supported on the simple root spaces?

Let $G$ be a connected reductive algebraic group (over $\mathbb{C}$) and $\mathfrak{g}$ its Lie algebra. Let $O \subset \mathfrak{g}$ be an orbit of a nilpotent element. Let $\Pi = \{\alpha_1, \dots ,\...
3 votes
0 answers
116 views

Summing over roots of a simple Lie algebra and Deligne series

For a simple Lie algebra $\mathfrak{g}$ we can define a Killing form $K(X,Y) \equiv \frac{1}{2 h^\vee}\operatorname{tr}(\mathfrak{ad}_X \mathfrak{ad}_Y)$, where $\mathfrak{ad}_X Y \equiv [X, Y]$ as ...
  • 857
2 votes
0 answers
105 views

Almost conjugate subgroups of compact simple Lie groups

$\DeclareMathOperator\SU{SU}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\SO{SO}$Let $G$ be a compact connected Lie group. Definition: Two finite subgroups $H_1,H_2$ of $G$ are said to be almost ...
  • 2,202
0 votes
0 answers
91 views

A question from the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel

In the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel, the author has made the following statement in the proof of Corollary D in page no. 18 ( https://arxiv.org/pdf/...
  • 137
0 votes
1 answer
93 views

Centralizer of a reductive subgroup

Let $G$ be a reductive group over $\mathbb{C}$ and $H\subseteq G$ a reductive subgroup. Let $\rho$ be a faithful irreducible finite dimensional representation of $G$ over $\mathbb{C}$. Assume that $\...
  • 679
1 vote
0 answers
57 views

Choice of generators to make the centralisers connected

In $G=\operatorname{PGL}_{2n}(\textbf{C})$, WLG, we assume all the toral elementary abelian 2-subgroups in discussion are in $T$, the image in $G$ of the group of diagonal matrices in $\operatorname{...
5 votes
0 answers
162 views

Finitely many Lie primitive subgroups

A closed subgroup $ \Gamma $ of a Lie group $ G $ is called Lie primitive if it is not contained in any proper positive dimensional closed subgroup. A closed subgroup not contained in any positive ...
6 votes
1 answer
181 views

Lattices in $p$-adic groups

What are the examples of lattices in $\operatorname{SL}_n(\mathbb{Q}_p)$ with $n\geq 3$ or in other semisimple $p$-adic groups of higher rank? It is known $\operatorname{SO}_n(\mathbb{Z}[1/p])$ is a ...
  • 347
0 votes
0 answers
37 views

Problem in understanding the proof of cocycle condition for cocommutator

Let $G$ be a Poisson–Lie group with Poisson bivector field $\pi$. Let $\pi^{R} \colon G \longrightarrow \bigwedge^2 \mathfrak{g}$ be defined by $$\pi^R (x) = (d_x R_{x^{-1}} \otimes d_x R_{x^{-1}}) \...
2 votes
0 answers
86 views

Lie algebra-Lie group correspondence of an exact sequence

Is there, for any given sequence $\mathfrak{g}_1\xrightarrow{f_1}\mathfrak{g}_2\xrightarrow{f_2}\mathfrak{g}_3$ of finite-dimensional Lie algebras over $\mathbb{R}$ with $\mathrm{Im}\,f_1 = \mathrm{...
  • 21
3 votes
0 answers
78 views

The tangent bundle of $G \times_H M$

Let $G$ be a Lie group with a closed subgroup $H$, and let $M$ be a smooth $H$-manifold. I am searching for a reference where it is proved that the tangent bundle of $G \times_H M$ is isomorphic to ...
  • 198
2 votes
1 answer
64 views

Algorithm for finding the symmetries of a linear operator

$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\GL{GL}$Let $V, W$ be finite dimensional complex vector spaces and $M\in \Hom(V, W)$ a full rank linear map. I want to see if there exists a Lie group ...
4 votes
1 answer
100 views

Equivalence between the existence of a nonempty open set of elliptic elements and a compact Cartan subgroup

In Goldman's book on Complex Hyperbolic Geometry, on page 203, it is stated that for a real semisimple Lie group $G$, the following are equivalent: $G$ contains a nonempty open subset of elliptic ...
1 vote
0 answers
91 views

Fourier transform of functions mapping manifolds, is there a definition?

$\DeclareMathOperator\SO{SO}$I have a problem which boils down to the analysis of functions of the form $$ f : \mathbb{R} \to \SO(3)^n $$ Since $\SO(3)$ is a compact group so is $\SO(3)^n$. Now if ...
5 votes
2 answers
198 views

Can the exponential map be used to define geodesics (and hence, generalisations of geodesics)?

Let $(M,g)$ be a (connected, paracompact, $C^{\infty}$-smooth) Riemannian manifold with Riemannian metric $g$. The exponential map is defined for each point $p \in M$ to be the map $\exp_p : T_p M \to ...
  • 1,165
3 votes
1 answer
61 views

Non-invariant forms on loop Lie algebra of semisimple Lie group

Let us consider a Lie group $G$ with Lie algebra $\mathfrak{g}$ and let $L\mathfrak{g} = C^\infty(S^1, \mathfrak{g})$ the Lie algebra of the loop group $LG$. My question is about continuous Lie ...
6 votes
2 answers
449 views

Normalizer of maximal torus is maximal in compact simple group

This is a cross post from MSE of https://math.stackexchange.com/questions/4562196/normalizer-of-maximal-torus-is-maximal Let $ T $ be a maximal torus in a compact connected simple Lie group $ K $. For ...
4 votes
1 answer
525 views

Why is $\mathrm{SO}(4)$ not a simple Lie group?

$\DeclareMathOperator\SO{SO}$I'm not asking for a proof but for some hint that might be helpful to understand this "anomaly" in 4 dimensions. I'm aware of the parallelism with the $A_4$ ...
  • 111
8 votes
0 answers
113 views
+50

Parallelizability of Lie monoids

A Lie monoid is a monoid, together with a structure of a smooth manifold (possibly with a boundary), such that the monoid multiplication is smooth. If all left (or right) translations in a Lie monoid $...
2 votes
1 answer
177 views

Tensor product of fundamental representations

Let $\mathfrak{g}$ be a simple complex Lie algebra. Let $V_1,\cdots, V_n$ be the fundamental representations (the irreducible ones with fundamental weights $\omega_1,\cdots,\omega_n$). Take a $k$-...
  • 347
1 vote
0 answers
27 views

Does elimination imply projection of symmetry?

Let suppose we have system of ODE (linear for simplicity) for two unknown functions $x(t), y(t)$ $$ x''(t) = a(t) x'(t) + b(t) y'(t) + c(t) x(t) + d(t) y(t), $$ and $$ y''(t) = e(t) x'(t) + g(t) y'(t) ...
0 votes
0 answers
78 views

Fourier transform and rotations in 3d

Let $f\in \mathcal{S}(\mathbb{R}^3)$ be a Schwartz function invariant under rotations in $\mathbb{R}^3$ and let $\hat f\in \mathcal{S}(\mathbb{R}^3)$ be its Fourier transform, i.e. $\hat f(p)=\int_{\...
  • 364
2 votes
0 answers
59 views

Positive radial function with compactly supported Fourier transform

Let $G$ be a non-compact semisimple Lie group with finite center (for example $SL_2(\mathbb{R})$). Choose a maximal compact subgroup $K$. A bi-$K$-invariant function is called radial. Let $A$ be a ...
1 vote
0 answers
103 views

On the center of the universal enveloping algebra of a Lie algebra

Consider a finite-dimensional Lie algebra over C. Sometimes (e.g. for any semisimple Lie algebra) the center of its universal enveloping algebra is isomorphic to a freely generated polynomial ring. ...
  • 11
2 votes
0 answers
111 views

Symmetric spaces and spherical functions

Let $G$ be a connected compact Lie group, $\sigma$ an involutive automorphism and $K$ a subgroup such that $(G^\sigma)_0\subset K\subset G^\sigma$. Then $M=G/K$ is a Riemannian symmetric space. ...
  • 21
0 votes
0 answers
56 views

Relation between projective representation and the representation of the universal cover of a Lie Group

I am reading this paper, in what says exactly: "Weare dealing with a ray representation os the conformal group AND THEREFORE with a representation of the universal covering group of the conformal ...
7 votes
2 answers
295 views

Injectivity of the cohomology map induced by some projection map

Given a (compact) Lie group $G$, persumably disconnected, there exists a short exact sequence $$1\rightarrow G_c\rightarrow G\rightarrow G/G_c\rightarrow 1$$ where $G_c$ is the normal subgroup which ...
4 votes
0 answers
75 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
92 views

How many diagrams interlace a given Young diagram?

For a fixed partition $\lambda=(\lambda_1\geq\dots\geq \lambda_n)$ we say $\mu=(\mu_1\geq \dots \geq \mu_{n-1})$ $\textit{interlaces}$ $\lambda$ iff $$\lambda_1\geq \mu_1\geq \dots \geq \mu_{n-1}\geq \...
9 votes
0 answers
87 views

Derived subgroups of 2-adic congruence subgroups of $\mathrm{SL}_2$

$\DeclareMathOperator\SL{SL}$Let $p$ be a prime, and let $\Gamma_r$ denote the kernel of the map $\SL_2(\mathbb{Z}_p)\rightarrow \SL_2(\mathbb{Z}_p/p^r\mathbb{Z}_p)$. Explicit formulas with formal ...
3 votes
1 answer
124 views

Free $S^1$-action on compact homogeneous spaces

Let $M = G/K$ be a compact homogeneous space, i.e. $G$ a connected compact Lie group, and $K$ a closed subgroup inside $G$ that contains no nontrivial normal subgroup of $G$. If $r(G) > r(K)$ (...
0 votes
1 answer
108 views

Question about coadjoint orbits of compact connected Lie groups

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}.$ Denote by $\mathfrak{g}^*$ the dual space of $\mathfrak{g}$. Let $r$ be an element of $\mathfrak{g}^*$ such that $G_r$ the stabilizer of ...
  • 99
2 votes
1 answer
129 views

Generalization of $G/T \simeq G_\mathbb{C}/B$

Let $G$ be a compact Lie group and Let $G_\mathbb{C}$ be its complexification. Let $T$ be a maximal torus of $G$ and let $X$ be the quotient $G/T$. Consider $H$ to be a Lie subgroup of $G$ and denote ...
  • 99
6 votes
0 answers
121 views

Maximum symmetry metric on irreducible compact symmetric space

Let $ M $ be a compact connected manifold. The degree of symmetry of $ M $, denoted $ N(M) $, is the maximum of the dimensions of the isometry groups of all possible Riemannian structures on $ M $. ...

1
2 3 4 5
55