All Questions
Tagged with lie-groups algebraic-groups
349 questions
9
votes
2
answers
865
views
Multiplication in Peter-Weyl theorem
$\DeclareMathOperator\SL{SL}$It is known that the coordinate algebra $\mathcal O(\SL_n(\mathbb C))$ decomposes as direct sum of $V \otimes V^*$ for $V$ finite-dimensional irreducible representations ...
5
votes
0
answers
122
views
Algebraic groups and formal group laws in characteristic p
In characteristic zero, there is a well-known equivalence between Lie groups, formal group laws and Lie algebras.
Let $p$ be a prime. The equivalence between Lie groups and Lie algebras has an ...
- 413
4
votes
0
answers
100
views
Embedding of a nilpotent algebraic group in upper triangular matrices
Suppose we have a polynomial group law on $G=\mathbb{R}^n$ which gives it a structure of a nilpotent algebraic group.
Is it true that there exists an embedding of $G$ into the group of upper-...
- 728
2
votes
0
answers
157
views
Centre of centralisers in connected reductive groups
Let $G$ be a connected reductive group over an algebraically closed field. Let $T$ be a maximal torus and $x\in T$. Let $G_x$ denote the centraliser of $x$ in $G$.
Question: What is an explicit ...
- 2,751
6
votes
1
answer
255
views
Which Lie groups are a central extension of an algebraic group?
Suppose $G$ is a connected real Lie group. The quotient $G/Z(G)$ is the image of the adjoint representation, so a linear group. Is it known for which groups this quotient is Lie isomorphic to an ...
- 2,348
2
votes
2
answers
336
views
Orthosymplectic superalgebra
Let $V=V_0 \oplus V_1$ be a $\mathbb Z_2$-graded vector space over $\mathbb C$. Suppose $V$ has an even non-degenerate bilinear form $(-, -)$
which is symmetric on $V_0$, skew symmetric on $V_1$, and ...
- 12.9k
3
votes
1
answer
85
views
Restriction of scalar commutes with taking maximal subtorus for semisimple group G
I was wondering such a question: for a semisimple complex Lie group $G$, whether it is true that the maximal subtorus of $\mathrm{Res}_{\mathbb{C}/\mathbb{R}}(G)$ is $\mathrm{Res}_{\mathbb{C}/\mathbb{...
- 12.9k
3
votes
0
answers
194
views
A property of an irreducible root system
Let $\Phi$ be an irreducible root system. Let $\alpha_k$ be a simple root. I recently observed that the number of positive roots which are bigger than $\alpha_k$ and of height $m$ is same as the ...
- 673
7
votes
1
answer
335
views
Nilpotent orbits of a parabolic subgroup
Suppose $G$ is a reductive group over an algebraically closed field of characteristic $0$ with parabolic $P$, Levi quotient $M$, and unipotent radical $U$. We denote the nilpotent elements of $\mathrm{...
- 953
3
votes
0
answers
200
views
Theorem of highest weight of semisimple Lie algebras: what fails precisely for reductive case
Let $\mathfrak{g}$ a complex semisimple Lie algebra. It is well known that by the theorem of the highest weight, all finite-dimensional complex irreps of $\mathfrak{g}$ are (up to iso) classified by ...
- 6,018
6
votes
1
answer
423
views
Is every complex linear algebraic group a differential Galois group?
Let $ G $ be a complex linear algebraic group. In other words, $ G $ is a subvariety of the space of $ n \times n $ complex matrices and $ G $ is a group under matrix multiplication.
Does there always ...
- 63.9k
1
vote
0
answers
95
views
Injection of $G(k)/Z(k)$ into $(G/Z)(k)$
In the first answer to the linked question it is mentioned that "the isogeny $G\to G^{ad}$ induces an injection of groups $G(k)/Z(k)\to G^{ad}(k)$". Is there a reference for this result? ...
- 63.9k
4
votes
1
answer
1k
views
How to think about the simple reflection $s_0$ in the affine Weyl group?
Let $G$ be a simply connected algebraic group over $\mathbb{C}$, $W$ be the Weyl group for $G$ and $W_{aff}$ be the affine Weyl group for the loop group $G(\mathbb{C}((t)))$, $\Phi$ be the coweight ...
- 3,065
7
votes
1
answer
1k
views
When a free action gives rise to a $G$-principal bundle
When a free action gives rise to a $G$-principal bundle
Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that
$G \backslash X$ is Hausdorff. (equivalently the image of ...
- 178
4
votes
1
answer
171
views
Which Lie groups admit finite generation by a set of Lie algebra elements? And what are some known choices of generators which realize this?
Consider a (finite-dimensional) real connected Lie group $G$ with Lie algebra $\frak{g}$. Take a generating set $\mathcal{G} = \{ X_1, \cdots X_n \} $ of $\frak{g}$, i.e. such that any element of $\...
- 63.9k
3
votes
0
answers
65
views
One parameter subgroups of reductive algebraic groups
If I have a reductive algebraic group $G$ defined over a non-archimedean local field $F$. We can define a one-parameter subgroup to be a group homomorphism from $G_{m}$ to $G$. I was wondering, if I ...
- 63.9k
6
votes
1
answer
352
views
All surjections onto trivial irrep split equivalent to being reductive
$\DeclareMathOperator\Hom{Hom}$Let $ G $ be linear algebraic group over a field $ k $. Is it true that every short exact sequence of algebraic $ G $-representations
$$
0 \to W \to V \to k \to 0
$$
...
- 4,081
1
vote
0
answers
161
views
N(H)/H and the Weyl group
Let $ H $ be a connected subgroup of $ G=\mathrm{SU}(n) $ such that $ N_G(H)/H $ is finite. Is $ N_G(H)/H $ always a subgroup of the symmetric group $ \mathrm{S}_n $?
I just noticed this from the ...
- 4,081
2
votes
0
answers
125
views
The double quotient of SU(N) by its diagonal maximal torus
$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space
$...
4
votes
1
answer
160
views
Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$
Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
- 8,597
8
votes
1
answer
534
views
Representation theory of $\mathrm{GL}_n(\mathbb{Z})$
I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
- 63.9k
15
votes
2
answers
613
views
Existence of a regular semisimple element over $\mathbb{F}_{q}$
This is probably old, a Chevalley level of old, but I'm not at all an expert in this field so I need help.
Let $G$ be a simply connected (almost) simple linear algebraic group defined over $K=\mathbb{...
- 455
1
vote
0
answers
151
views
On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$
$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
- 63.9k
4
votes
1
answer
633
views
Homomorphisms from binary polyhedral group to compact Lie groups
Are homomorphisms from binary polyhedral groups to (simple and simply connected) compact Lie groups classified?
For cyclic groups, the result is well known (see e.g. Kac's "Infinite dimensional Lie ...
- 1,336
3
votes
2
answers
976
views
The adjoint representation of a Lie group
Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...
- 131
8
votes
1
answer
617
views
$\mathbb{Q}$-forms of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_8(\mathbb{R})$
Let $\mathbf{G}$ be the image of the natural embedding of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_4(\mathbb{C})\subset \operatorname{SL}_8(\mathbb{R})$. Then $\mathbf{G}$ is an ...
- 12.9k
1
vote
1
answer
506
views
On some notations and notions of a paper on smoothness of Schubert varieties by Lakshmibai and Sandhya
I am reading the paper Criterion for smoothness of Schubert varieties in $\mathrm{Sl}(n)/B$ by V Lakshmibai and B Sandhya; Proc. Indian Acad. Sci. (Math. Sci.), Vol. 100, No. 1, April 1990, pp. 45-52. ...
CommunityBot
- 1
2
votes
0
answers
105
views
Embeddings of symplectic group into the orthogonal group
Let $\mathfrak{sp}$ denote the complex symplectic Lie algebra and $\mathfrak{so}$ the complex orthogonal one. Do we have an embedding
$$
\mathfrak{sp}_{2n-2} \hookrightarrow \mathfrak{so}_{2n}?
$$
In ...
- 2,751
2
votes
0
answers
65
views
Are the integer points of a simple linear algebraic group 2-generated?
Set Up:
Let $ K $ be a totally real number field. Let $ \mathcal{O}_K $ be the ring of integers of $ K $. Let $ G $ be a simple linear algebraic group. Suppose that $ G(\mathbb{R}) $ is a compact Lie ...
- 4,081
5
votes
0
answers
156
views
When is a unitary group over a ring of integers dense?
Let $ SU_n(O_d) $ denote an integral unitary group of $ n \times n $ matrices over a totally real number field $ K_d:=\mathbb{Q}(\cos(\frac{2\pi }{d})) $ where $ O_d $ is the ring of integers of $ K_d ...
1
vote
0
answers
65
views
Classical groups generated by tensor products of subgroups
Let $ G $ denote a classical group.
Question:
Is it the case that
$$
\langle G_n \otimes G_m,G_m \otimes G_n\rangle=G_{nm}
$$
as long as $ n \neq m $?
For example, if $ G $ is the classical group $ GL(...
- 4,081
1
vote
0
answers
119
views
Question on Artin's Gamma function on $\operatorname{SO}(2,0)(\mathbb R)$
$\DeclareMathOperator\SO{SO}$Let $G=\SO(2,0)(\mathbb{R})$, a quasi-split group with signature $(2,0)$. Let $e$ be an element in $O(2,0)(\mathbb{R}) \setminus \SO(2,0)(\mathbb{R})$.
Let $\pi$ be an ...
- 12.9k
4
votes
2
answers
181
views
The orbits of an algebraic action of a semidirect product of a unipotent group and a compact group are closed?
We consider real algebraic groups and real algebraic varieties. It is known that the orbits of an algebraic action of a unipotent algebraic group $U$ on an affine variety are closed. The orbits of an ...
- 12.9k
0
votes
0
answers
71
views
Integrating homomorphisms of Borel subalgebras
Let $G$ be a connected simple complex Lie group and $\mathfrak{g}$ be its Lie algebra. Let us fix a root decomposition, let $\mathfrak{b}_\pm$, $\mathfrak{n}_+$ and $\mathfrak{h}$ be the corresponding ...
21
votes
6
answers
2k
views
How do I stop worrying about root systems and decomposition theorems (for reductive groups)?
I apologize for this being a very very vague question.
Just as personal experience, I never feel that I fully grasped the theory of root systems in Lie algebras and Lie/algebraic groups (I shall ...
- 1,446
3
votes
0
answers
237
views
Centralizers and algebraic groups
Suppose $G$ is a linear algebraic group - I am also happy to assume $G$ is a simple algebraic group over an algebraically closed field of characteristic zero, but the question won't require this.
The ...
- 359
1
vote
0
answers
120
views
Geometric induction of modules for algebraic groups
Let $\Bbbk$ be an algebraically closed field (of any characteristic). Let $G$ be an algebraic group over $\Bbbk$, and $H$ a closed (hence algebraic) subgroup of $G$.
Let $V$ be a finite-dimensional $...
- 1,077
2
votes
1
answer
429
views
Representation ring of the general linear group
The ring of representations of the symmetric group is isomorphic to the ring of symmetric functions. The Schur-Weyl duality relates the irreducible representations of the symmetric group and that of ...
- 16.2k
3
votes
0
answers
119
views
Describing the outer automorphism of a special unitary group in terms of the Hermitian form
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\GL{GL}$Let $h$ be a non-degenerate Hermitian form on $\mathbb{C}^n$ with signature $(p,q)$. Let $\U_h$ denote the associated ...
- 7,527
6
votes
0
answers
306
views
Tits construction of algebraic groups of type D₆ and E₇ via C₃
As shown in the Freudenthal magic square, the Tits construction of $D_6$ takes as input
an quaternion algebra and the Jordan algebra of a quaternion algebra (see The Book of Involutions § 41). In ...
- 1,479
9
votes
2
answers
1k
views
Levi decomposition in disconnected linear algebraic group (characteristic 0)?
For algebraic groups or Lie groups, the subject of Levi decompositions tends to be surrounded by some mystery in the literature (and in an older question raised here). While I postpone further my ...
- 2,821
3
votes
1
answer
221
views
Cartan subspace of graded Lie algebras
Suppose $\mathfrak{g}$ is a complex reductive Lie algebra and $\theta$ is an automorphism of order $2$. Let $\mathfrak{g} = \mathfrak{g_0} \oplus \mathfrak{g}_1$ be the corresponding $\mathbb Z_2$-...
- 12.9k
4
votes
2
answers
1k
views
Center of the algebraic group $G_{\mathbb{R}}$ for a centerless $G$
This must be an easy question but I don't have a good argument for it and have not found a counterexample: Let $G$ be a connected semisimple algebraic group over $\mathbb{Q}$ such that the center of $...
- 103
1
vote
0
answers
97
views
A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori
$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...
- 14.1k
0
votes
1
answer
175
views
Centralizer of a reductive subgroup
Let $G$ be a reductive group over $\mathbb{C}$ and $H\subseteq G$ a reductive subgroup. Let $\rho$ be a faithful irreducible finite dimensional representation of $G$ over $\mathbb{C}$. Assume that $\...
- 12.9k
1
vote
0
answers
61
views
Choice of generators to make the centralisers connected
In $G=\operatorname{PGL}_{2n}(\textbf{C})$, WLG, we assume all the toral elementary abelian 2-subgroups in discussion are in $T$, the image in $G$ of the group of diagonal matrices in $\operatorname{...
- 501
3
votes
3
answers
581
views
Reductive group with simply connected derived group has all root groups $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}$Motivation: I am trying to understand why the Deligne-Langlands conjectures are only stated for $p$-adic reductive groups with connected ...
- 413
2
votes
0
answers
48
views
Product decomposition for intersection of a parabolic with a mirabolic of a closed subgroup
Let $G$ be a reductive group defined over $\mathbb{Z}_{p}$ and let $H$ be a closed reductive subgroup of $G$. Let $Q_{G}$ be a parabolic subgroup of $G$ with Levi decomposition $Q_{G} = L_{G} \ltimes ...
- 183
2
votes
2
answers
353
views
Particular reduced expression of the longest element of Weyl group
Let $I$ be the Dynkin diagram vertex set and $K$ be a proper nonempty subset of it. Let $w_0^K$ be the longest word of the Dynkin subdiagram $K$, which might be a disjoint union of connected Dynkin ...
- 12.9k
4
votes
1
answer
240
views
Bounded generation of group by unipotent radicals of opposite parabolic subgroups
Let $G$ be an almost $k$-simple group that is also simply connected (so that $G(k)^{+}=G(k)$). For opposite parabolic subgroups $P$ and $P^{-}$, it is known that $G(k)^{+}$ is generated by the ...
- 12.9k