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

learn more… | top users | synonyms

0
votes
0answers
57 views

A question on linear groups

Asking this question I have made a mistake joining my main question with two simple ones, so it hasn't received enough attention, however there was a partial answer, which was not elaborated, and now ...
1
vote
0answers
85 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 $\...
6
votes
1answer
115 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 ...
0
votes
1answer
53 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
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 ...
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 $\...
6
votes
1answer
89 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 ...
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}, \...
14
votes
3answers
498 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....
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?
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 ...
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 ...
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 ...
3
votes
1answer
53 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 $\{...
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 ...
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 ...
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}^*$. ...
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 ...
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}...
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 ...
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 ...
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)...
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 ...
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 ...
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 {\...
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 $...
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 ...
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 ...
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 $...
10
votes
0answers
102 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 ...
3
votes
1answer
130 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-...
4
votes
0answers
67 views

Points of failure in definition of X- and A-moduli spaces for arbitrary G

In their work [0] on defining notions of higher Teichmüller space for local systems on surfaces, Fock and Goncharov require split reductive Lie groups, and sometimes also require simple-connectedness. ...
1
vote
2answers
274 views

How to write $\mathbb{C}[G/U_-]=\oplus_{\lambda} V_{\lambda}$ explicitly?

Let $G=GL_n$ and $U_-$ the set of all lower unipotent triangular matrices. Then by Gauss Decomposition, we have $G = U_-B$, where $B$ is the set of all upper triangular matrices. The group $U_-$ acts ...
6
votes
2answers
161 views

Are rays in Carnot groups straight?

A famous open problem in Geometric Control Theory and in the study of sub-Riemannian manifolds is whether constant-speed length minimizers in a sub-Riemannian manifold are always smooth (see also this ...
10
votes
2answers
424 views

From Weyl groups to Weyl groupoids?

I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed. Let $\mathfrak{g}$ be a semisimple lie algebra. ...
6
votes
1answer
182 views

Cohomology ring of a fiberwise join

I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...
5
votes
1answer
343 views

A criterion for orbits of complex reductive group to be closed

I am having some trouble understanding Nakajima's proof of the Kempf-Ness theorem in [1]. At the end (proof of Proposition 3.9(6)), his argument is basically the following: Let $G=K_{\Bbb C}$ be a ...
5
votes
2answers
112 views

References for metrics in matrix groups

I am studying a very concrete matrix group with a riemaniann (right invariant) metric for solving a question on Applied Math. I need explicit formulas for the distance between two matrices, geodesics ...
22
votes
1answer
541 views

Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For example,...
9
votes
2answers
366 views

Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$ Which in our case is an isomorphism since $G$ ...
1
vote
0answers
49 views

Integrable modules and comodules

Let $G$ be a semisimple Lie group and $\mathfrak{g}$ its Lie algebra. Do we have the following result: $V$ is an integrable $U(\mathfrak{g})$-module if and only if $V$ is a $\mathbb{C}[G]$-comodule? ...
7
votes
1answer
431 views

what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$. What is G'? I know there is concrete description in terms of pairs (M,f)...