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

learn more… | top users | synonyms

1
vote
2answers
79 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 ...
1
vote
0answers
67 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 ...
3
votes
1answer
77 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 ...
5
votes
1answer
145 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
61 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 ...
-4
votes
0answers
59 views

Prove that two Lie groups have homeomorphic universal covers if and only if their corresponding Lie algebras are isomorphic as Lie groups [closed]

I asked this on MSE but am not really convinced by the answer. Can anyone determine whether the statement is true to begin with before I start attempting a proof? ...
6
votes
1answer
323 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 ...
24
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
112 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
475 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
253 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
239 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
96 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
0answers
71 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 ...
4
votes
0answers
66 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. ...
0
votes
0answers
105 views

Why is a Lie group homomorphism from SO(3) to SU(2) always trivial? [migrated]

The Lie group $SU(2)$ is a double cover of $SO(3)$.$SU(2)$ is simply connected as a manifold,and $SO(3)$ is $RP^3$ .But why must a Lie group homomorphism from $SO(3)$ to $SU(2)$ be trivial? i.e. the ...
1
vote
2answers
250 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
155 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
408 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
178 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
319 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
104 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
535 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 ...
9
votes
2answers
337 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
41 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
412 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 ...
4
votes
2answers
211 views

A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any ...
2
votes
0answers
76 views

Eigenvalues of the imaginary part of the Symplectic action on Siegel upper half plane

Let $A,B\in M_n(\mathbb{R})$ and $U=A+iB$ unitary. $R=diag(r_1,r_2,…,r_n)$ is a diagonal matrix with $r_i>0, \forall i $. I need to calculate $\det(Ae^{-R}A^T+Be^{R}B^T)$. This matrix ...
0
votes
0answers
54 views

Try to understand the relation between Poisson Lie groups and Lie bialgebras

I am trying to understand the relation between Poisson Lie groups and Lie bialgebras. In the book Lectures on quantum groups, Page 20, Theorem 22 says that given a Poisson Lie group, we can construct ...
6
votes
0answers
132 views

intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie ...
9
votes
1answer
302 views

A careful roadtrip from locally symmetric spaces to algebra

I'm trying to break the classification of locally riemannian symmetric spaces to little steps to make it more comprehensible (and s.t. the technical details can be verified without drowning ...
5
votes
0answers
57 views

Harmonicity on semisimple groups

I asked this on Math.SE and got no answer, so I'll try my luck here. Let $G$ be a semisimple real Lie group, $U(\mathfrak{g})$ its universal enveloping algebra, let $\Omega$ be the Casimir element in ...
2
votes
0answers
47 views

Order of metaplectic operator

I have a weak background on this subject. Suppose $S$ be a $2m \times 2m$ symplectic matrix of order $n$. Suppose $W_S$ be the corresponding metaplectic operator on $\mathcal{S}(\mathbb{R}^m)$, the ...
1
vote
0answers
56 views

Why the sub-Laplacian $\Delta_{sub}$ on the Heisenberg group $H^3 $ is sub-elliptic but not elliptic?

I want to know why the sub-Laplacian $\Delta_{sub}= X^2 + Y^2$ on the Heisenberg group $H^3 = \mathbb C \times \mathbb R$ is sub-elliptic but not elliptic, where $X$ and $Y$ are the left-invariant ...
11
votes
4answers
323 views

Tameness in $\mathbb{R}^{n^2}$ of the subset consisting of matrices of positive determinant

The Lie group $GL(n)$ being a manifold is locally path-connected. Consider its connected component of the identity $C\subseteq\mathbb{R}^{n^2}$. What is a good way of showing that $C$ is a tame ...
2
votes
1answer
82 views

multiplicity-free action on $SO(n+1)/SO(n-1)$

I'm trying to show that the Lie group $G=SO(n+1) \times SO(2)$ acts multiplicity-free on the cotangentbundle $T^* (SO(n+1)/SO(n-1))$. That means: 1) There exists an ...
1
vote
0answers
70 views

Notation clash between a representation and spectral radius

I am currently writing a paper where I need talk both about a representation of a semisimple Lie group (usually denoted by $\rho$), and about spectral radii of linear maps (also usually denoted by ...
3
votes
1answer
79 views

Transitivity of $Spin(7)$ in triples of vectors

I have a simple question: transitivity of $Spin(7)$ in triples of orthogonal vectors. Let $Spin(7)\subset SO(8)$ act on $\mathbb{R}^8$, and $e_1,e_2,e_3$, $v_1,v_2,v_3$ be two triples of mutually ...
-1
votes
1answer
67 views

Zariski open set in orthogonal grassmanian [closed]

I am confused about the following question. Consider $\mathbb C^4$ endowed with nondegenerate symmetric bilinear form ...
6
votes
1answer
400 views

What is this Lie algebra?

Consider two matrices $A,B \in \mathfrak{su}(N)$ which are both diagonal in the standard basis and non-zero. If we consider the new matrix $\tilde{B} := FBF^{\dagger}$ where $F$ is the `quantum' ...
8
votes
1answer
129 views

Expressing $SO_8$ element as product of $L_u$ and $R_u$ for unit octonions $u$

Welcome octonions friends ! Long time ago when I travelled through octonion land, I conjectured that every $SO_8$ element can be expressed as product $L_a L_b R_c R_d$ for unit octonions $a$, $b$, ...
4
votes
1answer
130 views

When this Ad-invariant function on a Lie algebra is zero?

Let $G$ be a compact Lie group with Haar measure $dg$ and (finite-dimensional real) Lie algebra $\frak g$. Endow $\frak g$ with an $\hbox{Ad}$-invariant norm $\|\cdot\|_{\frak g}$ so that $\frak g$ ...
17
votes
6answers
639 views

Automorphism group of real orthogonal Lie groups

I would like to know what is the "outer-automorphism group" $Out$ of $SO(p,q)$ and $O(p,q)$, where $p+q >0$. My working definition of $Out$ is as follows: Let us denote by $Aut(G)$ the ...
3
votes
1answer
89 views

Vector fields, diffeomorphism subgroups and lie group actions

Let $M$ be a compact smooth manifold. Since any vector field is complete we get a $1$-parameter subgroup for each vector field. Consider the following generalization: Let $\{X_j\} \in Vect(M)$ be a ...
4
votes
1answer
190 views

Does there exist finite dimensional irreducible representation of Euclidean or Poincare group in which translation and rotation both act nontrivially?

Does there exist any finite dimensional irreducible rep. of Euclidean or Poincare group in which translation and rotation both act nontrivially? Let me firstly clarify my question. For example, we ...
2
votes
1answer
78 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 ...
7
votes
1answer
105 views

Symmetries of the flag variety

Let $\mathfrak g$ be a finite dimensional simple Lie algebra over $\mathbb C$, and let $\mathcal B=G/B$ be the associated Flag variety. Is it true that the obvious map $$ \mathfrak g\to \Gamma ...
3
votes
0answers
141 views

The homotopy type of the mapping space $Map_{B\rho}(BS^1,BG)$? for $G$ a compact Lie group

Given a homomorphism $\rho:S^1\rightarrow G$ with $G$ a compact Lie group there is an induced map of classifying spaces $B\rho:BS^1\rightarrow BG$. What is known about the homotopy type of the mapping ...
5
votes
1answer
217 views

What is meant by a Lie group acting by affine transformations?

This question is a continuation of this one, where I did not receive a complete answer so am moving to MO. I am trying to understand a paper by JP Szaro that was referred to there, and in particular, ...
2
votes
1answer
63 views

Characterizing left invariant and right-$O_n$ invariant distances on $GL_n$

Consider the group $GL_n(\mathbb{R})$ with its standard topology. It is not hard to show that there exists Riemannian metrics on it which are left-$GL_n$ and right-$O_n$ invariant. (In fact it's ...