**4**

votes

**3**answers

256 views

### Do geodesics in SL2R map to geodesics in the hyperbolic plane?

I am looking for a reference/proof/disproof of the following statement.
Equip the Lie group $SL_2(\mathbb{R})$ with the left-invariant Riemannian metric, whichis given on the Lie algebra by $\langle ...

**2**

votes

**1**answer

98 views

### Fourier transform of a matrix represented compact lie group

In physics, I come across this kind of integration (in the nonlinear sigma model):
\begin{equation}
S[g] = \frac{1}{\lambda} \int d^dr\ \text{tr}[\triangledown g\triangledown g^{-1}]
\end{equation}
...

**-1**

votes

**0**answers

39 views

### Gaussian Elimination for Orthogonal groups [on hold]

We known the classical Gaussian elimination algorithm where we can reduce any invertible matrix to a diagonal matrix by row-column operations. Is there row-column operations and Gaussian elimination ...

**5**

votes

**0**answers

141 views

### Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...

**1**

vote

**1**answer

123 views

### Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...

**0**

votes

**0**answers

116 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**1**

vote

**0**answers

115 views

### Analogies, Riemann surfaces and Algebraic groups

Let G be a complex simple Lie group of adjoint type. Then, it is well known that every such $G$ contains, unique up to conjugacy, an irreducibly embedded copy of $PSL(2,\mathbb{C}).$ This fact seems ...

**2**

votes

**2**answers

215 views

### Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...

**2**

votes

**1**answer

70 views

### Conjugacy class of semisimple elements

Let $G$ be a complex simple Lie group with Lie algebra $\mathfrak g$ and $G_1$ be a complex simple subgroup of $G$ with Lie algebra $\mathfrak g_1$. We may assume $G$ and $G_1$ to be of adjoint type. ...

**2**

votes

**0**answers

38 views

### Conjugacy classes of a triple

In the paper " THE COMPONENT GROUPS OF NILPOTENTS IN EXCEPTIONAL SIMPLE REAL LIE ALGEBRAS" by D. King I am unable to proof the lemma 3.7 which is omitted there.
The lemma is following:
Let $\mathfrak ...

**2**

votes

**1**answer

141 views

### Relationship between Verma modules and delta functions

Reposting my question from math.stackexchange:
What is the relationship between Verma modules and delta functions? Here's the quote from Woit's notes on Lie theory ...

**13**

votes

**1**answer

208 views

### Homogeneous spaces that are homotopy tori

Let $G$ be a compact Lie group, and let $H$ be a closed subgroup such that $G/H$ is homotopy equivalent to a torus. Is it true that $H$ is normal and $G/H$ is isomorphic to a torus as a Lie group?
...

**7**

votes

**1**answer

151 views

### $Spin(7)$ as stabilizer of a $4$-form

According to Bryant's work on special holonomy groups, $G_2\subset SO(7)$ may be defined as the group preserving the following 3-form:
...

**-2**

votes

**1**answer

101 views

### finitely generated subgroups of SO(3) [closed]

Is it known whether there is any example of a pair of rotations in $SO(3)$ about orthogonal axes such that the group that they generate is not a free product of the two cyclic groups generated by each ...

**1**

vote

**1**answer

135 views

### abelian p- subgroups of E_6(q)

Is there any result about maximal abelian p-subgroups of the exceptional group E_6(q), where q=p^a is prime power?

**1**

vote

**1**answer

80 views

### Reducible reductive Lie subalgebras of so(p,q)

Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...

**0**

votes

**0**answers

36 views

### Discrete subgroup of complex orthogonal group

Is there any reference for the discrete subgroup of complex orthogonal group SO(n,C)? Any classification or examples?

**2**

votes

**1**answer

114 views

### Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has
$$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$
where $\Delta$ ...

**12**

votes

**2**answers

336 views

### Langlands duality and multiplying cocharacters

Recall that there is a bijection between irreducible representations of a compact real Lie group $G$ and the cocharacters (homomorphisms $U(1) \to G$, modulo conjugation)
of the Langlands dual group ...

**0**

votes

**0**answers

50 views

### irreducible representation of a simple Lie group where each element has a fixed point

I was wondering if it possible that a simple Lie group $G$ could have a continuous irreducible representation on a finite-dimensional real vector space $V$ in which each element of $G$ has a non-zero ...

**1**

vote

**0**answers

29 views

### Estimate for the Iwasawa decomposition in loop groups

Let $GL(n,\mathbb{C})$ be the general linear group and let $U(n)$ be the unitary group in it, which is a maximal compact subgroup.
I consider the loop group $\Lambda GL(n,\mathbb{C})$ of maps from ...

**1**

vote

**1**answer

236 views

### A Comparison between $\pi_{1}$ of cohomology and cohomology of $\pi_{1}$

Let we have a complex of abelian topological or lie groups $$\ldots \to G_{n}\to G_{n+1}\to \ldots$$ such that the image of $G_{n}$ is a closed subgroup of $G_{n+1}$. Then we have a complex of ...

**1**

vote

**0**answers

43 views

### exponential and anisotropic torus

Let $F$ be a local p-adic field and $G$ a semisimple simply connected group over $F$, $\mathfrak{g}$ its Lie algebra. Let $T$ a maximal anisotropic torus of $G$, split over an etale extension of $F$ ...

**2**

votes

**1**answer

213 views

### Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...

**2**

votes

**0**answers

114 views

### Unitary dual of $Sp_4(\mathbb{R})$

Do we know the unitary dual of $Sp_4(\mathbb{R})$? If so, can someone provide me any references? How about other rank 2 real groups? Thank you!

**1**

vote

**1**answer

157 views

### Center of a compact group

Suppose $G$ is a compact Lie group, we know the center of $G$ is a compact Abelian subgroup, so it must be isomorphic to a direct product of finite abelian subgroup and a torus.
Now suppose the ...

**4**

votes

**2**answers

231 views

### What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits.
A ...

**0**

votes

**1**answer

89 views

### on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$.
We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...

**15**

votes

**1**answer

235 views

### Weyl group actions on 0-weight spaces

For a complex simple Lie group G with a maximal torus T, we can take a highest-weight representation V of G and look at the 0-weight space, i.e. the subspace of V of elements invariant under T. This ...

**2**

votes

**1**answer

306 views

### Kodaira dimension of co-adjoint orbit

Let $G$ be a compact Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $\mathcal O_a$ be a coadjoint orbit. Then every co-adjoint orbit is Kähler manifold and also ...

**7**

votes

**1**answer

134 views

### Lie group actions with only one orbit type, but not defining a principal bundle

Searched-for situation: A compact connected Lie group acts effectively on a closed Riemannian manifold by isometries, such that there is only one orbit type of dimension strictly less than that of the ...

**4**

votes

**1**answer

124 views

### Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...

**6**

votes

**1**answer

140 views

### Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...

**10**

votes

**2**answers

135 views

### Which real Pin groups agree?

In the Lie theory notes on my website it is claimed (Example 7.3.3.5) that $\mathrm{Pin}(4,0)$ and $\mathrm{Pin}(0,4)$ are not isomorphic. As Nigel Ray pointed out to me, this claim is not quite ...

**5**

votes

**1**answer

325 views

### Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, $f:G\to ...

**16**

votes

**0**answers

420 views

### Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups.
Below is a proposition for ...

**5**

votes

**3**answers

292 views

### Poincare duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements.
In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...

**4**

votes

**0**answers

176 views

### Decompositions of a compact Lie group into “fixed point set types”

Consider a compact Lie group $G$ which acts on a closed Riemannian manifold $M$ by isometries. Then it is well-known that there are only finitely many isotropy types of the $G$-action, i.e. finitely ...

**4**

votes

**1**answer

118 views

### Writing a complex orthogonal matrix as a conjugation by real orthogonal matrices

Let $Q\in O(n,\mathbb C)$ be a complex orthogonal matrix. I would like to know if $Q$ can always be written as $Q = T^{-1}ST$, where $T\in O(n,\mathbb R)\subset O(n,\mathbb C)$ and $S$ belongs to some ...

**1**

vote

**1**answer

72 views

### the meaning of “Cauchy filter” for an arbitrary topological group

I was reading a definition of pro-Lie group and it spoke of a "Cauchy filter" on an arbitrary topological group even though there was no mention of a metric. Is there some kind of standard meaning for ...

**-2**

votes

**2**answers

160 views

### Any duality between different real forms of a complex Lie group? [closed]

A complex Lie group may have several real forms.
Are there any duality/trinity... between them?
Maybe a trivial question to ask, is $SL(3,\mathbb{C})$ a real form of $SL(3,\mathbb{C})\times ...

**3**

votes

**0**answers

45 views

### Can Bruhat cells in semi simple groups be induced from matrices?

Let $G$ be a semisimple Lie group. Embed it as a subgroup into a special linear group of suitable rank, $SL(n)$ (real or complex). The question is: is it always possible to find such an embedding, ...

**1**

vote

**0**answers

113 views

### Non invertibility of certain integral arising from group action

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...

**-3**

votes

**1**answer

152 views

### The logarith map as a contraction [closed]

Two Questions:
(1) Under what conditions(if any) can the logarithm map from a point on a Riemannian manifold, $q_1\in Q$, to the Tangent Space $T_{q_0}Q$, locally, be a contraction mapping?
Or more ...

**4**

votes

**1**answer

183 views

### Why a nilpotent Lie group must be a matrix group?

The question may be a little naive (or even appear as a duplicate) as I guess the result is well known. I saw on the other thread that
"
c) A solvable Lie group G is linear iff its commutator ...

**5**

votes

**0**answers

100 views

### Explicit generators for homotopy groups of Lie groups

I would like to know explicit formulas for generators of the infinite cyclic summands in the homotopy groups of Lie groups, in the form of continuous (or smooth if possible) maps $S^n\to G$.
It is ...

**4**

votes

**0**answers

115 views

### Fixed sets of orbit spaces

I've run across something that surprises me, so I'm wondering (1) Is it true? and (2) Is it well known? (And if the answers are affirmative, why didn't I know this already?)
Let $G$ be a compact Lie ...

**1**

vote

**1**answer

164 views

### When is the Ad (Adjoint Representation) Morphism a Closed Map

Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...

**0**

votes

**0**answers

122 views

### Left invariant connection on Lie groups

Let $M^n$ be a Riemannian manifold, $G^{n + k}, \: k\geq 1 $ be a connected Lie group equipped with a left invariant metric and $f:M^n \to G^{n + k}$ one isometric immersion. Let $X, Y$ left invariant ...

**0**

votes

**0**answers

47 views

### Fixed Point Algebras of Adjoint Actions of Banach Lie groups

I have the following question:
Let a be an element in a connected Banach Lie group G (over K, where K is the reals or the complex numbers).
We assume that G is not trivial, that has more than one ...