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

learn more… | top users | synonyms

3
votes
1answer
184 views

Weyl groups of $E_6$ and $E_7$

The Weyl group $W_6$ of the Lie algebra $E_6$ is of order 51840, the automorphism group of the unique simple group of order 25920, while the Weyl group $W_7$ of the Lie algebra $E_7$ is of order ...
4
votes
1answer
124 views

Questions about the $\mathbf{i}$-trails of Berenstein and Zelevinsky

The $\mathbf{i}$-trails of Berenstein and Zelevinsky was introduced on page 5 (Definition 2.1) in this paper. It is defined as follows. Let $\gamma, \delta \in \mathfrak{h}^*$. Let ${\bf i}=(i_1, ...
2
votes
1answer
130 views

Lifting one parameter subgroups of algebraic groups

Let $G$ be a linear algebraic group over an algebraically closed field $\mathbb C$ of characteristic zero and $U$ its unipotent radical, then $H:=G/U$ is a reductive group. Assume that I have a one ...
7
votes
1answer
219 views

what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...
5
votes
2answers
375 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
1answer
100 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
0answers
56 views

Gaussian Elimination for Orthogonal groups [closed]

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
0answers
145 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
1answer
124 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
0answers
117 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
0answers
117 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
2answers
217 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
1answer
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
0answers
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
1answer
143 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
1answer
212 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
1answer
154 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
1answer
103 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
1answer
137 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
1answer
84 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
0answers
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
1answer
116 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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
214 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
0answers
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
1answer
158 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
2answers
232 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
1answer
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
1answer
245 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
1answer
307 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
1answer
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
1answer
125 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
1answer
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
2answers
136 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
1answer
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
0answers
423 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
3answers
294 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
0answers
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
1answer
122 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
1answer
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
2answers
162 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
0answers
46 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
0answers
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
1answer
153 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
1answer
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
0answers
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 ...