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

learn more… | top users | synonyms

14
votes
3answers
494 views

Is SO(2n+1)/U(n) a symmetric space?

I am a physics student with only a rudimentary knowledge of differential geometry, so please feel free to point out if I miss something elementary / trivial. According to https://arxiv.org/abs/1408....
1
vote
1answer
92 views

Convention on Clifford Product

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 ...
1
vote
0answers
83 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 $\...
3
votes
1answer
52 views

Criterion for convergence of sums for non-continuous functions

The following question came up when thinking about equidistribution of Satake parameters of elliptic curves. Let $G$ be a compact Lie group with Haar measure $\mathrm{d} x$. Recall that a sequence $\{...
6
votes
1answer
114 views

Decay of Fourier coefficients for compact Lie groups

Let $G$ be a compact Lie group, $G^\natural$ the space of conjugacy classes in $G$ with the natural pushforward of $G$'s Haar measure. Let $f\in L^2(G^\natural)$. Then the Peter–Weyl Theorem tells us ...
6
votes
1answer
88 views

Involutions and Little Adjoint Representations of Simple Algebras

In what follows I'm going to use $V_{\theta_s}$ for the little adjoint representation af a Lie algebra i.e. the representation associated with the highest short rooth $\theta_s$. Is easy to see that ...
0
votes
1answer
52 views

Hamiltonian potential invariant under lie group action?

Let $(M,g)$ be a riemannian manifold and $G$ a Lie group acting on $M$ by isometries. Taking a $G$-invariant function $f\colon M \to \mathbb{R}$, we have the riemannian gradient $\operatorname{grad} ...
2
votes
1answer
98 views

If a Weyl element preserves a root, then it has a representative which preserves the root space?

Let $G$ be a reductive group defined over a field $F$. Let $\Sigma$ be the set of roots of $G$ with respect to a Borel subgroup $B=TU$ with torus $T$. Let $W=N_G(T)/T$ be the Weyl group of $G$. For $\...
2
votes
0answers
33 views

$TSU(n)$ completely integrable with 3 $SU(2)$ invariant functions?

Consider the Lie group $SU(n)$ endowed with the standard bi-invariant metric. Then $SU(n)$ can be viewed as a symmetric space of $K_{n,n} := SU(n) \times SU(n)$. Define $M := K_{n,n} /SU(n)$. Using ...
6
votes
1answer
147 views

Does every cocompact lattice admit a homomorphism (with infinite image) into a compact Lie group?

Let $\Gamma$ be a cocompact arithmetic lattice in a semisimple algebraic group. Does it admit a homomorphism $\Gamma \to K$ with infinite image into a compact real Lie group $K$?
1
vote
0answers
103 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 ...
4
votes
2answers
195 views

Invariant theory for parabolics

Let $G$ be a connected reductive group over $\mathbb{C}$ of (reductive) rank $\ell$. Let $P$ be a parabolic of $G$ and let $P=LN$ denote the Levi decomposition. Let $\mathfrak{g}, \mathfrak{p}, \...
4
votes
1answer
140 views

Differential structures on compact Lie groups

Given a compact Lie group can there be a differential structure on it with respect to which one cannot define a smooth group operation?
1
vote
0answers
55 views

Symplectic gradients whose span doesn't intersect Lie group orbits

I asked a similar question some hours ago. But thinking about my problem, I found a loophole in my arguments, so that my question wasn't the right one. This one is what I wanted to ask: Let $G$ be a ...
2
votes
0answers
80 views

Irreducible representations of Sp(2)

I am looking for an explicit description of the finite dimensional irreducible representations of the classical Lie group $\text{Sp}(2) = \{A\in M_2(\mathbb{H})\,|\,A\overline{A}^T = I\}$. I can ...
0
votes
0answers
58 views

charts for some riemannian embedding

Let $(M,g)$ be some riemannian manifold with some Lie group $G$ acting properly, freely and by isometries. So $M/G$ is a manifold and using the projection $\pi \colon M \to M/G$, we get a smooth ...
5
votes
1answer
114 views

Centreless semisimple Lie group that is not real algebraic

Let $G$ be a connected semisimple Lie group with trivial centre and $\mathfrak{g}$ its Lie algebra. The adjoint representation of $G$ defines an isomorphism of $G$ onto the connected component of the ...
13
votes
3answers
3k views

Curvature of a Lie group

Since a lie group is a manifold with the structure of a continuous group, then each point of the manifold [Edit: provided we fix a metric, for example an invariant or bi-invariant one] has some scalar ...
16
votes
0answers
598 views

Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary, the result of historical accidents. In order to avoid repetitions, the four infinite families $A_\ell, B_\ell, C_\...
1
vote
1answer
78 views

slice theorem for proper actions

I'm trying to understand the slice-theorem for proper Lie-group actions. Having a smooth manifold $M$ and a Liegroup $G$ acting on $M$ in a proper way, we have the slice theorem, saying that at each ...
2
votes
0answers
142 views

Irreducible representations containing simple actions of $\mathrm{SL}(2,\mathbb{C})$

Let $G$ be a complex semisimple Lie group and let $\rho: G \longrightarrow \mathrm{SL}(n,\mathbb{C})$ be a faithful irreducible representation of $G$ with $n \geq 3$. Suppose that $G$ contains a copy ...
2
votes
2answers
862 views

The normalizer of a reductive subgroup

Let $k$ be a field and $G$ a linear algebraic group over $k$. Let $H$ be a diagonalizable subgroup of $G$. Then it is a classical fact that the centralizer $C_G(H)$ of $H$ is of finite index in the ...
11
votes
2answers
507 views

Groups of matrices in which all elements have all eigenvalues equal in modulus

I am writing a research article in which I need to use the following fact: if $G$ is a subgroup of $GL_3(\mathbb{R})$ which is irreducible in the sense that no proper nontrivial subspace of $\mathbb{R}...
3
votes
0answers
130 views

Invariant functions on the dual Lie algebra

Let $G$ be a real Lie group and $\mathfrak{g}$ the corresponding Lie algebra. Let $\mathfrak{g}^*$ be the dual of the Lie algebra. Then we have the coadjoint action of $G$ on $\mathfrak{g}^*$. ...
0
votes
1answer
124 views

A particular Lie algebra $L_{n}$ and (various) lie groups whose Lie algebra is isomorphic to $L_{n}$

We define $$L_{n}=\{A=(a_{ij})\in M_{n}(\mathbb{R})\mid \sum_{i=1}^{n} a_{ij}=0 \;\;\;\text{for every fixed j}\}$$ This is a Lie subalgebra of $M_{n}(\mathbb{R})$. A dynamic-geometric proof for ...
2
votes
3answers
106 views

How can one show G/T is a coadjoint orbit for G a compact lie group and T it's maximal torus

Let $G$ be a compact lie group and $g$ it's lie algebra. I came across the the very important result that $G/T$ ($T$ a maximal torus of $G$) is a coadjoint orbit. However it is not at all clear to me ...
5
votes
1answer
163 views

The action of $GL_{\infty}$ on the infinite wedge space

This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya. Consider the following objects: the ...
0
votes
1answer
53 views

set of coisotropic orbits open and dense, iff group acts locally transitively almost everywhere

I worked now some time with coisotropic actions of Liegroups on manifolds. But there is one key fact, that I don't understand, although it is very central in my considerations. Let $(M,\omega)$ be a ...
0
votes
0answers
157 views

Generating Set for $O(V)$ over $\mathbb Z_2$

I am reading a claim that $O(V)$ — the orthogonal group associated with a finite-dimensional vector space $V$ over $\mathbb Z_2$ and a quadratic form $q$, i.e. the group of linear ...
1
vote
0answers
63 views

Representation equivalent lattices

Suppose $G$ is a absolutely almost simple algebraic groups over a number field $K$. Let $\Gamma_1$ and $\Gamma_2$ be two lattices in $G(K)$. Then $\Gamma_1$ and $\Gamma_2$ are said to be ...
0
votes
0answers
32 views

Bruhat decompositions for Lie supergroups

Are there some references of Bruhat decompositions for Lie supergroups? I searched on google but did not find any papers about Bruhat decompositions for Lie supergroups. Thank you very much.
5
votes
2answers
135 views

Multiplication in universal enveloping algebra in terms of PBW isomorphism

Let $\mathfrak g$ be a Lie algebra. Consider the multiplication map $m:\mathfrak g\otimes U(\mathfrak g)\to U(\mathfrak g)$ and $i:S(\mathfrak g)\to U(\mathfrak g)$ -- Poincare-Birkhoff-Witt ...
3
votes
1answer
117 views

Isomorphisms between extension group and $\mathfrak{u}$-cohomology

Let $\mathcal{O}^{\mathfrak{p}}$ be a parabolic subcategory (see, Humphrey's BGG's Ch.9) of the BGG category $\mathcal{O}$ (w.r.t the Cartan $\mathfrak{h}$ and Borel $\mathfrak{b}$) over a finite-...
2
votes
2answers
136 views

Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra

Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the so-...
1
vote
0answers
94 views

Decompositon of the Euler class in the ideal generated by Weyl-invariant polynomials

Let $G$ be a complex reductive Lie group, $B$ be a Borel subgroup, $T\subset B$ be a maximal torus, $W$ be the Weyl group. Then the space $X:=G/B$ is a complex manifold of dimension $n$, denote by $\...
4
votes
1answer
93 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)...
15
votes
2answers
604 views

Geometric interpretation of exceptional Symmetric spaces

Elie Cartan has classified all compact symmetric spaces admitting a compact simple Lie group as their group of motion.There are 7 infinite series and 12 exceptional cases. The exceptional cases are ...
6
votes
1answer
347 views

The Hypercomplex Structure of $SU(3)$

(A) In this really stylish answer it is shown that one can define a family of complex structures $J_{\lambda}$ on the Lie group SU(3), dependent on the parameter $\lambda \in {\mathbb C}\backslash {\...
5
votes
1answer
207 views

Motivating the existence of Canonical Bases for Representations

In Representation Theory, the theme of the existence of a canonical basis has been explored quite a lot. I will limit myself in this question to the kind of canonical bases that arise from the ...
10
votes
2answers
357 views

Cohomology of $T^n/W$ for compact Lie groups

Let $G$ be a compact, connected and simply connected Lie group. Let $T\subset G$ be a maximal torus and let $W$ be the corresponding Weyl group. Then we have the diagonal action of $W$ on $T^{n}$ ...
13
votes
2answers
492 views

Integral cohomology of $G/N(T)$

Let $G$ be a compact connected simple Lie group, $T$ a maximal torus, $N(T)$ the normalizer of $T$, and $W=N(T)/T$ the Weyl group. It is well-known that $H^*(G/T,\mathbb{Q})$ is the regular ...
4
votes
0answers
66 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 ...
16
votes
5answers
2k views

Matrix representation for $F_4$

Has anyone ever bothered to write down the 26-dimensional fundamental representation of $F_4$? I wouldn't mind looking at it. Is it in $\mathfrak{so}(26)$? I'm familiar with the construction of the ...
13
votes
2answers
2k views

Left and right eigenvalues

A quaternionic matrix $A$ gives rise to a function $\mathbb{H}^n \to \mathbb{H}^n$ given by $x \mapsto A \cdot x$. This is real linear, but not complex- or quaternionic-linear (in general) if we ...
25
votes
3answers
1k views

What's the supersymmetric analogue of the Monster group?

Bosonic string theory lives in 26 dimensions, and it gives a conformal field theory where the field is a map from a Riemann surface to $\mathbb{R}^{24}$. The Leech lattice $L$ is an even unimodular ...
3
votes
1answer
122 views

A more precise description of 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
1answer
243 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 $...
0
votes
1answer
113 views

locally compact NSS groups and infinite dimensional Lie groups [closed]

We know that every finite dimensional Lie group has no small subgroups. Is there any infinite dimensional Lie group which has small subgroups? Please explain your answer by refrence. Thanks so much.
1
vote
2answers
261 views

Maximal subgroups of $\mathrm{SL}(n,\mathbb{R})$

I would like to find a list (or at least a description) of the maximal closed connected subgroups of $\mathrm{SL}(n, \mathbb{R})$ , and also of $\mathrm{SU}(p,q)$. In the following MO discussion is ...
15
votes
1answer
1k views

Modern reference for maximal connected subgroups of compact Lie groups

What's the nicest place to see a list of the maximal connected subgroups of compact Lie groups? Is there anything on-line? I looked at Tits' Bourbaki talk on Dynkin's and others' work, but he admits ...