**22**

votes

**2**answers

670 views

### In any Lie group with finitely many connected components, does there exist a finite subgroup which meets every component?

This question concerns a statement in a short paper by S. P. Wang titled “A note on free subgroups in linear groups" from 1981. The main result of this paper is the following theorem.
Theorem (Wang, ...

**1**

vote

**1**answer

123 views

### Invariant Finsler Metrics on Homogeneous Spaces

Given:
1) a Finsler metric $F_p : T_p G \rightarrow \mathbb{R}$ on $SU(N+1)$
2) a $U(N)$ subgroup of $SU(N+1)$ which is a stabilizer subgroup of some point on $CP^N$ (complex projective space) in ...

**2**

votes

**1**answer

135 views

### Parameter dependent differential equation in a Lie group

It is well-known that a linear differential equation in a finite-dimensional vector space depends continuously on some external parameters (for details see below). I search for an explicit reference ...

**2**

votes

**2**answers

178 views

### compute the automorphism of Iwasawa manifold

An Iwasawa manifold is a compact quotient of a 3-dimensional complex Heisenberg group by a cocompact, discrete subgroup.
We can also refer to Griffiths and Harris's Principles of Algebraic Geometry ...

**9**

votes

**2**answers

352 views

### Cohomology ring of a flag variety and representation theory

I'm interested in the cohomology ring $H^*(G/B)$ of a flag variety $G/B$, where $G$ is a complex semi-simple Lie group and $B$ the Borel subgroup. Borel (1953) showed that this ring is isomorphic to ...

**7**

votes

**2**answers

232 views

### Realizing a subgroup of a Lie group as a stabilizer subgroup

Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...

**6**

votes

**1**answer

618 views

### Double coset formulas for Orthogonal groups [Solved]

According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
...

**6**

votes

**0**answers

112 views

### Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups

Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to ...

**4**

votes

**1**answer

462 views

### A question on Grassmannian

Let $V$ be the space of $4$ by $4$ Hermitian matrices, that
is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform
measure of
$$
\left\{ W\in Gr\left(5,V\right):W \text{contains no ...

**7**

votes

**1**answer

469 views

### A question on eigenvalues

Let $A_{1}$, $A_{2}$, $A_{3}$, $A_{4}$, $A_{5}$ be linearly independent Hermitian matrices in the the space of $6$ by $6$ Hermitian matrices as a vector space over $\mathbb{R}$. Does there always ...

**1**

vote

**0**answers

289 views

### Bi invariant Riemannian metric on a Lie Group

I'm trying to find an example of a Lie group $G$ which admits a bi-invariant Riemannian metric, and which has a closed subgroup $H$ such that the manifold $G/H$ does not admit a $G$-invariant ...

**1**

vote

**1**answer

75 views

### Cohen-Macaulayness of the scheme of centralizer

Let $G$ be a simply connected group over an algebraically closed field $k$, and
$I:=\{(g,\gamma)\in G\times G\vert~ g\gamma=\gamma g\}$
the scheme of centralizer.
Is $I$ a Cohen-Macaulay scheme ...

**5**

votes

**1**answer

193 views

### Determining the Lie algebra elements exponentiating to the center of a Lie group

For a semi-simple compact Lie group $G$ with center $Z(G)$, one can characterize the preimage of $Z(G)$ in the Cartan subalgebra under the exponential map as the nodes of the Stiefel diagram (see for ...

**5**

votes

**3**answers

386 views

### What is a good introduction to branching rules in representation theory?

I'm looking for a book or introductory article, that explains branching rules in representation theory of real Lie groups.
When a Lie group has a set of irreducible representations, I'd like to know ...

**8**

votes

**1**answer

263 views

### What is the structure of the group of rational points of an abelian variety over a Laurent series field?

Let $K = \mathbb{F}_q((t))$, and let $A_{/K}$ be a nontrivial abelian variety. Then $A(K)$ is a compact $K$-adic Lie group. What can be said about its structure?
By way of comparison, if ...

**5**

votes

**2**answers

158 views

### Centralizers of one parameter subgroups in semi-simple Lie groups

Suppose G is a connected semi-simple Lie group with finite center, and A, B are one parameter subgroups of the same Cartan subgroup. If the connected components of the identity of the centralizers of ...

**2**

votes

**0**answers

55 views

### Packing symmetric matrices in spectral norm, and defining measures on symmetric matrices

I'm trying to upper bound the $\epsilon$-packing number of $\Theta=\{A\in\mathbb{S}^{d}:\; a\preceq A \preceq b\}$ (where $\mathbb{S}$ are symmetric $d\times d$ matrices) for some $a\leq b$ with ...

**3**

votes

**0**answers

81 views

### Topological obstruction to icosahedral symmetry?

Let $G$ be a compact simple lie group of rank $n$. Then the Poincaré series of $G$ is given by $$P(G,q)=\prod_{i=1}^n (1+q^{2d_i-1}),$$
where the integers $d_1\leq d_2\leq \cdots \leq d_n$ are the ...

**2**

votes

**0**answers

87 views

### Finite subgroups of compact simple Lie groups [duplicate]

The finite subgroups of $SU(2)$ consist of the symmetry groups of the Platonic solids plus the finite subgroups of $O(2)$. I would like to know if there are any results concerning $SU(3)$. In ...

**0**

votes

**1**answer

274 views

### Symplectic structure on $Sym^kG^{\mathbb{C}} $

Let $G$ be a compact Lie group, and let $G^\mathbb{C}$ be its complexification.
I am looking for a symplectic structure (without use of coordinates) on
$$
Sym^kG^{\mathbb{C}},
$$
PS:Here ...

**5**

votes

**1**answer

287 views

### Geometric structure of flag manifolds, Borel -Weil-Bott theorem

I want to know if there is proof of Borel Weil Bott theorem, that is as geometric as it can be.
Let $G$ be a semisimple compact Lie group and $T$ be a maximal torus. We know that $G/T$ is a ...

**2**

votes

**2**answers

104 views

### A property of bi-invarient Finsler metrics on SU(N)

Does the set of bi-invariant Finsler metrics on $SU(N)$ exactly coincide the set of Finsler metrics with the one-parameter subgroups as their geodesics through the identity?
I know that being ...

**4**

votes

**0**answers

197 views

### Local version of a slice (for a Lie group action)

Let $\Upsilon: G \times M \to M$ be a smooth action of a Lie group $G$ on a manifold $M$.
Isenberg and Marsden (1982) define a slice at $m \in M$ as a submanifold $S \subseteq M$ containing $m$ such ...

**9**

votes

**1**answer

167 views

### Are compact simple groups homotopically non-abelian?

Take a compact connected simple centreless Lie group $G$.
Can the commutator map $G\times G\to G$ sending $(x,y)$ to $[x,y]$ be homotopic to a constant map?
I am interested mostly in the case, ...

**3**

votes

**2**answers

166 views

### Moving Between Weight Spaces in Highest-Weight Representations

Let $G$ be a connected, simply-connected complex semisimple linear algebraic group with Lie algebra $\frak{g}$. Fix a maximal torus $T\subseteq G$ and let $\Delta\subseteq Hom(T,\mathbb{C}^*)$ be the ...

**8**

votes

**1**answer

207 views

### The Image of the Mod 2 Homology of BSp in the Homology of BSO

I'm essentially trying to figure out exactly what the title asks for. I've been scouring old Seminaires Henri Cartan and books by Stong to try to see exactly how to do this, but the combination of ...

**10**

votes

**3**answers

345 views

### orbits of automorphism group for indefinite lattices

I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...

**7**

votes

**2**answers

297 views

### Is it possible to construct a formal group law from a Lie group without choosing coordinates?

There is a three-way correspondence between:
Real (connected and simply connected) Lie groups of dimension $n$;
$\mathbb R$-Lie algebras of dimension $n$;
Formal group laws in $n$ variables over the ...

**8**

votes

**1**answer

483 views

### Local trivializations of the non-trivial $SU(2)$-bundle over $S^5$

It is well known that $SU(3)$ is the unique, non-trivial, principal $SU(2)$- bundle over $S^5$. To my knowledge the way this is proven is by using the following fact:
If $G$ is a Lie group ...

**2**

votes

**1**answer

121 views

### Split real form of $SL(2,\mathbb{C})$ description of the two sphere?

If we denote the parabolic subgroup of $SL(2,\mathbb{C})$ by $P$, then we have the well known isomorphism $SL(2,\mathbb{C})/P \simeq S^2$, where $S^2$ is the two sphere. Now the compact real form of ...

**2**

votes

**1**answer

138 views

### Fixed submanifold of G-manifold

Let $G$ be a compact Lie group, and $M$ be a smooth manifold on which $G$ acts smoothly and effectively. Denote by $F$ the $G$-fixed subset. In general, $F$ has finitely many connected components and ...

**7**

votes

**1**answer

161 views

### Chevalley restriction theorem for exterior algebras

Suppose $G$ is semisimple Lie group, $\mathfrak{g}$ is its Lie algebra, $\mathfrak{h}$ is a Cartan subalgebra of $\mathfrak{g}$, and $W$ is the correspondent Weyl group.
Chevalley restriction theorem ...

**18**

votes

**3**answers

549 views

### The non-simplicity of $SO(4)$ and $A_4$

It is well known that the alternating group $A_n$ is simple unless $n=4$. It is likewise well known that the special orthogonal group $SO(n)$ is essentially simple unless $n=4$ (specifically, the ...

**2**

votes

**0**answers

143 views

### The fundamental in the tensor square of a complex representation of $SO(N)$

I would like to figure out whether there is an irreducible complex (in the sense non-self-conjugate) representation of a group $SO(N)$, $N>2$, whose tensor square contains the fundamental ...

**0**

votes

**0**answers

88 views

### semisimple conjugacy classes over general bases

Let $k$ be an algebraically closed field, $G$ a connected reductive group, $T$ a maximal torus, $W$ the Weyl group and $\chi:G\rightarrow T/W$ the Steinberg morphism.
We know that if ...

**4**

votes

**1**answer

140 views

### Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...

**1**

vote

**1**answer

414 views

### Para-Complexification of Lie Groups

Let $G$ be a real Lie group. Then the complexification $G_\mathbb{C}$ of $G$ is the unique complex Lie group equipped with a map $φ:G\to G_\mathbb{C}$ such that any map $G\to H$ where $H$ is a
...

**12**

votes

**3**answers

711 views

### Why do we need a $G$-universe?

Let $G$ be a compact Lie group. Before defining $G$-prespectra, we have to define a $G$-universe $\mathcal U$.
Question: Why do we need a $G$-universe?
A $G$-universe is defined to be a countably ...

**2**

votes

**0**answers

112 views

### Manifold with a quasi-positive curvature

As far as I know, in a simply connected compact manifold, still there exists no well-known obstruction for a manifold with a quasi-positive curvature to be a manifold with positive curvature.
But ...

**2**

votes

**1**answer

357 views

### A question about flag variety of $SL(n,\mathbb{C})$

We know that the flag variety $SL(2,\mathbb{C})/B$ which $B$ is Borel subgroup, can be identified with $\mathbb{P^1}$, What can we say about $SL(n,\mathbb{C})/B$ which $B$ is Borel subgroup of ...

**3**

votes

**1**answer

118 views

### On matrices conjugated in a faithful representation

Let $k$ an algebraically closed field.
Let $O=k[[\pi]]$ and $F=k((\pi))$ and $G\rightarrow GL_{n}$ a faithful representation of a semisimple group.
Let $A, B\in G(O)\cap G(F)^{rs}$ (rs for regular ...

**6**

votes

**1**answer

194 views

### Characterisation of Q-rank 1

I'm looking for a reference and/or the original source for the following fact:
An irreducible non-uniform lattice in a semisimple Lie group without compact factor has Q-rank 1 if and only if it does ...

**2**

votes

**0**answers

79 views

### integral stable conjugacy classes

Let $G$ be a semisimple simply connected group over $k$ algebraically closed field .
Let $\gamma,\gamma'\in G(k[[\pi]])$ that are generically regular semisimple on $G(k((\pi)))$.
We assume that ...

**1**

vote

**0**answers

128 views

### on the open bruhat cell

Let $G$ a connected reductive group and $S=U^{-}TU$ the open cell.
Do we have $G=\bigcup\limits_{g\in G}gSg^{-1}$?
And also if I assume that $G$ is adjoint and $\overline{G}$ is the de ...

**4**

votes

**3**answers

280 views

### Topological properties of $K$ orbits in $G/B$

I'll be working over the complex numbers.
Let $G$ be a connected reductive group, $\theta\colon G\to G$ an involution. Let $K=G^{\theta}$ be the fixed point subgroup. I am trying to track down ...

**2**

votes

**0**answers

91 views

### Can class in $H^4(BT)$ be realized as the second Chern class of a principal SU(2) bundle?

The question in the title, to which I add some clarification. Can every class in $H^4(B\mathbb{T})$ be realized as the second Chern class of a principal $SU(2)$ bundle?
$B\mathbb{T}$ is the ...

**5**

votes

**0**answers

151 views

### How to find the unitary matrices in this exponential matrix representation

In the following post
Representing a product of matrix exponentials as the exponential of a sum
there is a statement regarding the result of the multiplication of two matrix exponentials:
if $A$ and ...

**5**

votes

**1**answer

157 views

### How does one calculate homotopy classes for group coset spaces?

Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times ...

**8**

votes

**1**answer

331 views

### Action of the endomorphism monoid on an irreducible GL-module

Let $G=\mathrm{Gl}_n(\mathbb C)$ and $V$ an irreducible $G$-module on which $G$ acts polynomially. In other words, the algebraic group action of $G$ on the affine space $V$ extends to an algebraic ...

**3**

votes

**0**answers

131 views

### Compute the discriminant for reductive groups

Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...