# Questions tagged [lie-groups]

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

**4**

votes

**0**answers

23 views

### Normalizers of subsystem subgroups of Lie groups

Let $G$ be a semisimple complex Lie group, and let $H$ be a subgroup corresponding to a subset of the extended Dynkin diagram of $G$ (à la Borel - de Siebenthal). I would like to know if there is a ...

**3**

votes

**0**answers

97 views

### Flat solvmanifolds?

I am trying to look for some reference for solvmanifolds and come up with a paper by A. Morgan tilted "The classification of flat solvmanifolds". I know there is a complete classification of flat ...

**1**

vote

**2**answers

197 views

### Examples of group $G=N \rtimes H$ where $N$ and $H$ are as below

I am searching for examples of connected locally compact group $G = N \rtimes H$, where $N$ is a simply connected nilpotent non-abelian Lie group, $H$ is linear reductive and $H$ operates on $N$ ...

**2**

votes

**1**answer

122 views

### Relative weight lattice

Let $G$ be a reductive group over an algebraically closed field $k$. Let $T$ be a maximal torus, $B$ be a Borel subgroup and $I_G$ is the set of simple roots. Let $P$ be a standard parabolic subgroup, ...

**2**

votes

**0**answers

84 views

### Invariants of the group $SO(2)$

Let $V_d$ be the complex vector space of binary forms of degree $d$ endowed with the natural
action of the special orthogonal group $SO(2).$ Consider the corresponding action of the
group $SO(2)$ on ...

**3**

votes

**1**answer

192 views

### Homotopy type of $SO(4)/SO(2)$

A classical result states that the quotient $SO(4)/SO(3)$ is homotopy equivalent to $S^3$. In fact, this can be stated in more general terms since $SO(n+1)/SO(n)$ has the homotopy type of $S^n$. What ...

**7**

votes

**1**answer

135 views

### Finite subgroups of $PSU(3)$

I'm looking for a reference to a classification or description of finite subgroups of $SU(3)$ that contain the center, or equivalently $PSU(3)$. Can anyone point me in the right direction?

**1**

vote

**0**answers

49 views

### Finite-dimensional graded Lie algebras with $2$ generators

Does anyone know of a classification of those (complex) Lie algebras which are:
generated by two elements
$\mathbb{Z}$-graded Lie algebras
finite dimensional

**6**

votes

**1**answer

135 views

### Irreducibility of Gelfand-Serganova strata

To keep the notations simple I'll restrict my attention to the complete flag variety although the question should be equally valid for partial flag varieties. Consider $G=SL_n(\mathbb C)$ with Borel $...

**10**

votes

**0**answers

100 views

### Intrepreting Spin(3) as a certain configuration space

Let $\mathcal{C}$ denote the space of great circles in $\mathbb{S}^2\subset \mathbb{R}^3$. It's pretty easy to see that any element $\mathcal{C}$ can be identified uniquely with the axial line (in $\...

**7**

votes

**1**answer

394 views

### Stabilizer of Sp(n) and U(n) in GL(n)

I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $G\subset GL(n,{\Bbb C})$ be $U(n)$,
abd $A\in GL(2n,{\Bbb ...

**19**

votes

**0**answers

221 views

### The de Rham complex of the octonionic projective spaces

The complex projective space $\mathbb{CP}^n$ is a complex manifold, and hence its de Rham complex carries a representation of the complex numbers in the form of its complex structure. The quaternionic ...

**0**

votes

**0**answers

78 views

### Vector-valued forms in Riemannian geometry

Suppose $(M,g)$ is a Riemannian manifold. I want to find a vector-valued $2-$form
$T$ such that, for any vector fields $X,Y,Z$ on $M$,
$$
g(T(X,Y),Z)=g(T(Z,X),Y)\,.
$$
As a motivation, consider the ...

**7**

votes

**0**answers

129 views

### Which representations of the Lie algebra of a Lie group come from representations of the group itself?

I think this is very classic mathematics, but I can't find a complete answer in the literature.
Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...

**3**

votes

**0**answers

54 views

### Maximally symmetric affine manifold

As a physicist who knows (something) about General Relativity, I'm accustomed to the term "maximally symmetric space" being an $n$-dimensional manifold with $\frac{n(n+1)}{2}$ Killing vectors. A ...

**4**

votes

**1**answer

108 views

### Integration of Maurer-Cartan form

Let $G$ be a Lie group with Lie algebra $g$. As it is well known the Maurer-Cartan form $ω:TG\rightarrow g$ transports any vector $X\in T_{x}G$ to the start $l_{x^{-1}*}(X)\in g$, $l_{x^{-1}}$ ...

**8**

votes

**1**answer

205 views

### Integral of product of Schur functions

Schur functions are irreducible characters of the unitary group $\mathcal{U}(N)$. This implies the integration formulae
$$ \int_{\mathcal{U}(N)}s_\lambda(AUA^\dagger U^\dagger)dU=\frac{|s_\lambda(A)|^...

**8**

votes

**2**answers

294 views

### Hyperbolic $3$-manifold groups that embed in compact Lie groups

Is there a closed hyperbolic $3$-manifold whose fundamental group is isomorphic to a subgroup of some compact Lie group?
It is known that every surface group can be embedded into any semisimple ...

**4**

votes

**1**answer

311 views

### Classification of compact connected abelian groups

It is known that torsion-free compact abelian groups are exactly the product of the maximal solenoid group $\Sigma_{(2,3,\cdots)}$ (which is the Pontryagin dual of the additive group $\mathbb{Q}$ of ...

**4**

votes

**1**answer

82 views

### Spin groups in terms of matrices and/or linear operators

Thus far, the books and articles I have read dealing with spin groups $\mathbf{Spin}(n)$ and $\mathbf{Spin}(p,q)$ consider them only in terms of either Clifford algebras or topologically as the double ...

**5**

votes

**1**answer

205 views

### $G(k)/H(k)$ as a submanifold of $G/H(k)$

Let $k$ be a local field (if necessary, assume characteristic zero). In general, if $X$ is a smooth variety of finite type over $k$ of dimension $n$, then the set of $k$-rational points $X(k)$ is an ...

**5**

votes

**1**answer

108 views

### The Hausdorff dimension of the union of singular orbits and exceptional orbits

Suppose we have a compact connected Lie group $G$ acting as isometries on a compact manifold $M^n.$ Then is it necessarily true that the Hausdorff dimension of the union of singular and exceptional ...

**8**

votes

**1**answer

232 views

### Lie group actions on $S^n$ with some invariant hypersphere but no totally geodesic ones

Does there exist a compact connected Lie group $G$ acting smoothly as isometries on the standard sphere $S^n$ for some $n\ge 3$, so that no totally geodesic hypersphere $S^{n-1}$ is $G$-invariant, but ...

**5**

votes

**0**answers

110 views

### Interesting Subgroups of $SU(2^n)$

I'm a physicist, so please forgive me if this question is wrong or simplistic, but are there any subgroups of $SU(2^n)$ which are isomorphic to $SU(k)$ for some $k \geq 2$, which do not have a non-...

**4**

votes

**2**answers

248 views

### Fundamental representations and weight space dimension

For the Lie algebra $\frak{sl}_n$, its fundamental representations can be realised as the exterior powers of the first fundamental representation. From this we can see that their weight spaces are all ...

**4**

votes

**0**answers

158 views

### Chern-Simons theory with non-compact gauge groups G

This is related to a previous question, where a nonlinear σ model (NLSM) describes a scalar field Σ which takes on values in a nonlinear manifold called the target manifold T. There we ask the general ...

**3**

votes

**1**answer

133 views

### Littlewood Richardson Rule for general linear group over finite field

I just finished reading Green's 1955 paper on characters of general linear groups and have also been reading Macdonald's Symmetric Functions and Hall Polynomials. I see that there is a recursive ...

**1**

vote

**0**answers

30 views

### Defining a notion of “volume of its lattice” for non-rational subspaces

Let $V\subseteq \Bbb R^n$ be a vector subspace. If $V$ is rational, i.e. has a basis consisting of elements in $\Bbb Z^n$, then there’s a well-defined notion of the “volume of the lattice of V”:
$$\...

**4**

votes

**1**answer

121 views

### Nonlinear sigma models with non-compact groups / target spaces

A nonlinear σ model (NLSM) describes a scalar field Σ which takes on values in a nonlinear manifold called the target manifold T.
The target manifold T is equipped with a Riemannian metric g. Σ is ...

**9**

votes

**0**answers

147 views

### When is G->G/H a trivial bundle

Suppose that $H\subseteq G$ are connected lie groups. Then $G\mapsto G/H$ is a principal $H$-bundle. I would like to know if there is some non-tautological characterization of when this is a trivial ...

**30**

votes

**2**answers

543 views

### Second Betti number of lattices in $\mathrm{SL}_3(\mathbf{R})$

We fix $G=\mathrm{SL}_3(\mathbf{R})$.
Let $\Gamma$ be a torsion-free cocompact lattice in $G$. Is $b_2(\Gamma)=0$?
Here the second Betti number $b_2(\Gamma)$ is both the dimension of the ...

**3**

votes

**0**answers

69 views

### Classification of Euclidian-like Klein geometries in spirit of Erlangen program

All we know about Erlangen Program approach to geometry. The main idea is to consider Lie Group $G$ acting transitively on smooth manifold $M$ (e.g. nLab). I really like such style of thinking, but ...

**5**

votes

**0**answers

96 views

### Differential operators on $G/K$

Let $G$ be a connected Lie group and $K$ a compact subgroug of $G$. The question is about the algebra of the differential operators $Diff(G/K)$ on $G/K.$ Let $U(\mathfrak g)$ denote the universal ...

**5**

votes

**0**answers

148 views

### What kind of locally symmetric space is a rational sphere

Using Dehn Surgery, we can construct compact hyperbolic $3$-manifolds with vanishing Betti numbers $b_1=b_2=0$, i.e., a rational homology $3$-sphere.
My question is the following.
Is there other ...

**5**

votes

**1**answer

230 views

### Principal curvatures of $\mathbb{R}^{n^2}$-embedded SO(n)

It's well known that the sectional curvatures of a Lie group, endowed with a left-invariant metric have a nice closed-form formula $k(X,Y) = \frac{1}{4} \|[X Y]\|^2$.
I'm wondering if the following (...

**0**

votes

**0**answers

72 views

### A lie group which is sat in its Lie algebra

Motivated by this question we ask the follwing question:
Assume that a Lie subgroup $G$ of $Gl(n,\mathbb{R})$ is contained in a subvector space $F$ of $M_n(\mathbb{R})$ such that $dim G=...

**17**

votes

**1**answer

385 views

### Probability of satisfying a word in a compact group

This question is inspired by Probability of commutation in a compact group, which asked whether $P(xyx^{-1}y^{-1} = 1)$ could take values strictly between $0$ and $1$ on a compact connected group. ...

**2**

votes

**2**answers

285 views

### Maps from 2-Torus to SO(3)

Could someone please point me to a reference for topologically nontrivial maps from 2-Torus to SO(3), and how they are classified? [I'm a physicist, so a simple explanation would be useful]

**5**

votes

**2**answers

148 views

### Generalizing Polar Decomposition of Matrices

I am trying to find a certain proof of polar decomposition of complex matrices which I think should exist more generally for a certain class of Lie groups. Recall that the polar decomposition of a ...

**4**

votes

**0**answers

246 views

### Bézout and products in algebraic groups

Let $G$ be a linear algebraic group -- be it a Lie group or a group of Lie type. Let $V$, $W$ be subvarieties of $G$. Of course, $V\cap W$ is also a variety (not necessarily irreducible) and $V\cdot W^...

**0**

votes

**0**answers

41 views

### Localizing a Clebsch-Gordan expansion around one representation

For the Lie group $\mathrm{SU}(2)$ the irreducible representations $\pi_m$ are labelled by non-negative integers $m$ and have dimension $(m+1)$. By the Peter-Weyl theorem, they form a basis for $L^2(\...

**13**

votes

**3**answers

748 views

### Probability of commutation in a compact group

It is well known that if $G$ is a finite group, then the probability that two elements commutte is either $1$ (if $G$ is abelian) or less than or equal to $\frac58$.
If instead $K$ is a compact group,...

**7**

votes

**0**answers

153 views

### Does Deligne's exceptional series lead to an “exceptional K-theory”?

To a certain extent, Deligne's exceptional series $A_1 \subset A_2 \subset G_2 \subset D_4 \subset F_4 \subset E_6 \subset E_7 \subset E_8$ plays a role analogous to the classical series $A_n \subset ...

**7**

votes

**1**answer

167 views

### Simple Lie algebras: making subspaces 'very transversal'

Let $G$ be a Lie group or group of Lie type whose Lie algebra $\mathfrak{g}$ is simple. Because the Lie algebra is simple, for any proper subspace $V\subset \mathfrak{g}$,
there is a $g\in G$ such ...

**3**

votes

**1**answer

186 views

### tensor product of massless Poincare representations

Consider two massless representations of the connected Poincare group $ISO_0(1,3)$ with helicities $s$ and $t$. What is the decomposition of their tensor product into irreducibles?
Massless ...

**8**

votes

**1**answer

157 views

### Central extensions of loop groups

Let $LG=\operatorname{Maps}(S^1,G)$ be the loop group of a compact Lie group $G$. I should add some adjectives to $G$, but for sake of simplicity let's just take $G=SU(2)$.
There is a central ...

**17**

votes

**1**answer

301 views

### Milnor Conjecture on Lie groups for Morava K-theory

A conjecture by Milnor state that if $G$ is a Lie group, then the map $B(G^{disc})\to BG$ sending the classifying space of $G$ endowed with the discrete topology to the classifying space of the ...

**3**

votes

**0**answers

106 views

### Differential operators on a compact Lie group associated to bracket-generating sets

Let $G$ be a compact connected Lie group of dimension $m$ with Lie algebra $\mathfrak g$.
Let $\{X_1,\dots,X_h\}$ be a linearly independent set of $\mathfrak g$.
Assume that $\{X_1,\dots,X_h\}$ is ...

**9**

votes

**0**answers

99 views

### Relating bordism groups of $\Omega_{d}^{Spin_c}$ and $\Omega_{d}^{(Spin \times SU(N))/\mathbb{Z}_2}$ to that of $U(N)$

I felt that the earlier question may be too challenging, so let me provide a different angle and more infos to tackle an easier and separate problem.
Let us consider a more explicit a short exact ...

**6**

votes

**0**answers

99 views

### Bordism groups and a short exact sequence

Let us consider a short exact sequence:
$$
1\to N\to G\to Q \to 1,
$$
where $N$, $Q$, and $G$ can be continuous Lie groups in general (or finite groups).
Suppose I have the data and the computations ...