8
votes
2answers
270 views

Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
5
votes
3answers
373 views

Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...
2
votes
1answer
256 views

Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group. Is every closed subgroup of ...
4
votes
0answers
92 views

When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...
3
votes
0answers
118 views

Examples of divisible Lie algebras

We say that a nonzero Lie algebra $L$ is divisible, if for all elements $a$ and $b$ with $a\neq 0$, there exists $x\in L$ such that $[a, x]=b$. What are examples of divisible Lie algebras?
7
votes
2answers
262 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 ...
5
votes
1answer
207 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 ...
4
votes
2answers
384 views

Chevalley Groups over an arbitrary ring.

My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...
1
vote
1answer
424 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 ...
2
votes
1answer
361 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 ...
0
votes
0answers
55 views

compute the determinant of a conjugacy map

Let $k$ be an algebraically closed field. Let $F=k((\pi))$ and $\mathcal{O}$ the ring of integers, let $\gamma\in T(F)$ regular semisimple for a connected reductive group $G$. We consider the map ...
0
votes
1answer
169 views

when $g^*$ is invariant under $Ad(G)$?

Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra. Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under ...
5
votes
2answers
416 views

When did the meaning of the term “metabelian” change?

I just realised that the meaning of the term "metabelian", when applied to groups, or Lie algebras, seems to have changed over years. (These days, it means that $[[G,G],[G,G]]$ is trivial, while in ...
6
votes
1answer
225 views

Easy argument for “connected simple real rank zero Lie groups are compact”?

Let $G$ be a connected simple Lie group. It is known that if $G$ has real rank zero, then $G$ is compact. Background: every connected (semi)simple Lie group $G$ (with Lie algebra $\mathfrak{g}$) has ...
3
votes
1answer
209 views

Maximal subgroups of semisimple Lie groups

The problem of finding and classifying the maximal subgroups of simple Lie groups like $SU(3)$ is well known and solved in the literature. What about maximal subgroups of semisimple groups like $SU(3) ...
3
votes
0answers
223 views

Reductive Lie Groups and Complexification

Let $G$ be a complex Lie group (not necessarily connected) with reductive Lie algebra $\frak{g}$. (We may assume that $G$ has finitely many connected components and is linear-algebraic.) Of course, ...
2
votes
3answers
389 views

Dimension of Unipotent Radicals

A parabolic subgroup of a linear algebraic group $G$ defined over a field $k$ is a subgroup $P\subseteq G$, closed in the Zariski topology, for which the quotient space $G/P$ is a projective algebraic ...
1
vote
2answers
183 views

Copies of ax+b inside the AN part of an Iwasawa decomposition?

As a relative novice to the structure theory of Lie algebras and Lie groups, the following is what I can gather from reading parts of Helgason's book DG, Lie groups and symmetric spaces and Knapp's ...
4
votes
2answers
396 views

Dense subgroups of Lie Groups

SETUP: Let $G$ be a connected Lie group, and $H\subset G$ be a FINITELY GENERATED dense subgroup. I am interested in knowing what kind of information one can infer on the complexity of $H$. I am ...
2
votes
2answers
250 views

For a Weyl group, what is the connection between its exponents and lengths of its elements?

The following seems to be true: if $|W_q| := \sum {q^{l(w)}}$, where the sum is taken over the elements $w$, then $|W_q| = \prod {(1 + q +...+ q^{e_i})}$, where the product is taken over the exponents ...
7
votes
3answers
439 views

Why/when classification of simple objects is “simple” ? E.g. (unknown) classification of simple Lie algebras in char =2,3…

Classification of simple finite-dim Lie algebras for char >=5 has been accomplished not so long time ago, and char p=2,3 is open problem. I wonder what is known/expected for char p=2,3 ? More vague ...
2
votes
1answer
194 views

Decomposition of Lorentz-like groups

When studying the Lorentz group $O(1,3)$, one can decompose it into four parts... physicist usually called these Proper-orthochronuos $\mathscr{L}^{\uparrow}_+$, Proper-asynchronous ...
1
vote
2answers
261 views

Form of elements of a Lie algebra

How we can write the elements of a free Lie algebra? Is there any reference concerning about this subject? yours, Francesco.
0
votes
0answers
160 views

Generalizing groups via the Hall-Witt identity

In studying the integrability problem for Lie algebra representations, I have been led to wonder whether generalizing the notion of group by dropping associativity, while keeping the Hall-Witt ...
5
votes
3answers
495 views

A reference for the Chevalley Groups

Hello everyone I would like to learn basic theory of the Chevalley Groups. There are several references for this subject, like "Introduction to Lie algebras and representation theory" by Humphreys, ...
2
votes
1answer
484 views

Free affine actions of Borel subgroups

Call an upper triangular $m\times m$ matrix $A$ admissible if the lowest non-zero entry of $A-I$ lies in the last column, and is strictly lower than any other non-zero entry of $A-I$. I'll also regard ...
15
votes
2answers
568 views

Is a retract of a free object free?

I wonder whether this is true in the categories of groups, monoids, commutative algebras, associative algebras, Lie algebras?
10
votes
3answers
381 views

Uniform setting for computing orders of algebraic groups over finite quotients of the integers?

A couple of recent questions on MO have involved the characters or the orders of specific finite groups of the form $G(\mathbb{Z}/n\mathbb{Z})$ for a familiar algebraic group $G$ defined over ...
1
vote
2answers
332 views

subgroups with the same number of roots that the group.

When thinking in terms of Dynkin diagrams, I am naively used to see that the diagram for a subgroup can be extracted from the diagram of the group by removing some roots. Now, I noticed that for ...
15
votes
1answer
566 views

(Dis)similarity between groups and Lie algebras

There are many questions which sound similar or the same for groups and Lie algebras. Some (very few, actually) of those questions have identical solutions and answers. Some have identical answers but ...
2
votes
0answers
533 views

dual Coxeter number, affine algebra, invariants under twisting

Sometime ago we came across invariant quantities under twisting of all affine algebra. (See the appendix E of http://arxiv.org/abs/hep-th/0403076 .) Choose the convention so that the longest root has ...
2
votes
1answer
697 views

Ado's Theorem Proof

Could someone please tell me what I am missing in the following argument. Either my understanding of the exact statement of Ado's theorem is wrong, or there is a flaw in my argument below. For a ...
0
votes
2answers
492 views

Lie algabra of symmetric group

It's easy to see that the descending central series of a group induces a graded Lie algebra .(see for example Serre's Harvard lectures or Magnus-Solitar book). I think in general this can be ...
6
votes
3answers
394 views

Occurrences of a simple reflection in the longest element of a Weyl group?

While looking at a preprint I've just bumped into a question about the longest element $w_0$ of a Weyl group $W$ (say irreducible of a Lie type $A$ - $G$ and of rank $n>1$, to simplify). ...
3
votes
0answers
242 views

Does Branching in the Weight Diagram affect an embedding?

All groups here are compact semisimple Lie groups. Out of laziness I will use $B_7$ to mean $Spin(15)$. Suppose that one has a group $H$ and a subgroup $G$. The embedding determines the decomposition ...
2
votes
0answers
292 views

Cohomologies associated to residually torsion-free nilpotent groups

This question is related to my previous question: Relationship between the cohomology of a group and the cohomology of its associated Lie algebra. A group $G$ is ${\it residually \ torsion \ free \ ...
3
votes
1answer
217 views

A functor that comes from a morphism in a bigger category

My loose question is like this: what would you say about an equivalence of categories where both are concrete categories, and the equivalence functor is induced from a set-theoretic bijection at the ...
7
votes
4answers
1k views

What is a “block” in an abelian category?

In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...
34
votes
2answers
1k views

What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?

Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...
7
votes
3answers
667 views

subgroup of SU(N) with maximal manifold dimension

Given the group SU(N) of NxN unitary matrices, does there exist a subgroup S with a manifold dimension larger than the SU(N-1) manifold dimension and smaller than the SU(N) one? S should not ...
4
votes
2answers
644 views

Sum of all root lengths in simple Lie algebra

Part of one of my calculations involves (the innocent looking) expression $\sum_{\alpha\in\Sigma} (\alpha,\alpha)$ for simple Lie algebras. I have two methods of calculating it -- which don't agree. ...
3
votes
1answer
222 views

In what way do exact sequences of Lie ideals integrate to the category of groups?

Please excuse, very naive question: Suppose $g$ is a topological Lie algebra over Q and $G$ = $exp(g)$ the associated group (take free group on formal symbols $exp(X)$, X $\in$ $G$, and impose all ...
9
votes
4answers
686 views

Longest Element of an Affine Weyl Group

I know that the Weyl groups of affine Lie algebras don't have a longest element, but are there any good substitutes for w_0. In particular, is there any good substitute for a reduced decomposition of ...