For questions about groups which have additional structure as a algebraic varieties (the vanishing sets of collections of polynomials) which is compatible with their group structure. Consider using with the (group-theory) tag.

learn more… | top users | synonyms

1
vote
0answers
25 views

Is there any good books or papers about Coxeter groups with negative weight function?

As to Coxeter group with weight function, most people are concerned with positive weight functions, including Lusztig, writing Hecke algebras with unequal parameters. This book don't deny the negative ...
0
votes
0answers
34 views

Calculating this quotient?

What is the quotient of the algebraic Groups $GL_n$ by $Sp_n$ equal to? I was conisering a different example and would use the universal property to establish it, but I wasn't certain what it should ...
1
vote
0answers
35 views

Complexification of the inclusion $\text{U}_n\subset \text{GL}_n(\mathbb{C})$

What is the map $\text{GL}_n(\mathbb{C}) \to \text{GL}_n(\mathbb{C}) \times \text{GL}_n(\mathbb{C})$ named in the title? I guess it has something to do with the polar decomposition, but I can't manage ...
4
votes
1answer
141 views

What are the Borels/parabolics of the orthogonal or symplectic groups?

Does anyone know where I can find info about the Borel subgroups and parabolic subgroups of algebraic groups? I know what they are for the general linear group and for the special linear group you ...
3
votes
0answers
97 views

Are simple algebraic groups absolutely simple?

Let $k$ be a field. By a simple algebraic group over $k$ I mean an affine group scheme $G$ of finite type over $k$ such that $G$ is connected, non-commutative and every normal closed subgroup of $G$ ...
1
vote
0answers
50 views

The symplectic transvection group is isomorphic to what $A^1$, $A^2$?

The transvections generate the symplectic group, but to demonstrate its connectedness I need to establish their connectedness. I was thinking of doing this through an isomorphism of alg. groups with ...
1
vote
1answer
67 views

Representation Theory - Example of a not-G-stable V

I'm studying linear representations for algebraic groups for the moment. And I kind of got stuck on some theorem. The existence of a finite linear representation makes use of the fact that $V$ is ...
7
votes
1answer
135 views

Is taking inverse automatically well-defined?

By the usual definition, Lie group is a manifold $G$ with a group structure on it such that the multiplication $m\colon G\times G\to G$ and taking inverse $i\colon G\to G$ are both smooth maps. But it ...
4
votes
1answer
69 views

Is Bruhat cell dense in p-adic topology?

I've seen in literature a statement like 'there exists an open and dense Bruhat cell'. In $GL(2,F)$ for example, where $F$ is a p-adic field, let $\omega=\begin{pmatrix} & 1 \\ 1 & ...
2
votes
0answers
50 views

The set of regular points in an algebraic group

I saw the following fact in a paper I was reading and I was wondering if someone could provide a reference. Let $K$ be a non-archimedean local field (say of characteristic $0$), and let $G$ be a ...
0
votes
0answers
86 views

“Invariant integral” for linearly reductive groups, and the Reynolds operator

Let $G$ be an affine algebraic group. Let $$\lambda\colon G\to GL(k[G]),\quad \lambda(g)(f)=(h\mapsto f(g^{-1}h)),$$ be the left-translation, which is a rational representation of $G$ on its ...
11
votes
1answer
135 views

Abelian subgroups of $GL_n(\mathbb{F}_p)$

Let $p$ be a prime number, and let $k=\mathbb{F}_p$ be the field of $p$ elements. Let $G=GL_n(k)$. We know that $$|G|=\prod_{i=0}^{n-1}(p^n-p^i)=p^{\binom{n}{2}}\prod_{i=0}^{n-1}(p^{n-i}-1)$$ so ...
2
votes
0answers
66 views

What is the Weyl group of this group?

Let $G$ be the group $GL_{n_1}(q^{l_1})\times GL_{n_2}(q^{l_2})\times GL_{n_3}(q^{l_3})$. Here $GL_{n_1}(q^{l_1})$ is the rational points of $GL(n,\bar {\mathbf{F}}_q)$. My question iis what is the ...
5
votes
1answer
103 views

The regular representation for affine group schemes

I want to understand the regular representation of an affine algebraic group. An affine algebraic group as I know it, is a functor from the category of $k $ -algebras to groups that is representable ...
1
vote
0answers
30 views

If Lie(H) preserves a subspace, must H also preserve that subspace?

Assume $H \subset G$ is a closed connected subgroup of a linear algebraic group over an arbitrary field (both assumed to be smooth). Assume $G$ acts linearly on the (finite dimensional) vector space ...
8
votes
0answers
119 views

p-adic Lie groups vs. algebraic groups over $\mathbb{Q}_p$

I am somewhat confused about the following two concepts and the relations between them- One concept is a Lie group $G$ over the $p$-adic field. This is defined in a similar fashion to a (real) Lie ...
4
votes
1answer
88 views

Isogeny of algebraic groups

Let $f:G\to H$ be an isogeny between connected linear algebraic groups. What invariants (rank, semisimple rank, reductive rank, being semisimple...) do these groups share? Are there any properties ...
1
vote
1answer
64 views

Groups of transformations

I tried to find literature and articles about groups of transformations, but mostly what I found is either about groups or about transformations. Can you suggest me literature where groups of ...
3
votes
0answers
38 views

Subvariety of an Algebraic Group.

Given an algebraic group $G$ over an algebraically closed field $K$, if $H$ is a subvariety of $G$, then is $H$ a subgroup of $G$? This seems rather strong. If it is indeed false, is there a geometric ...
1
vote
0answers
116 views

In a solvable algebraic group all maximal tori are conjugate to each other

I want to prove the following statement: All maximal tori in a solvable algebraic group are conjugate to each other. I use the following facts: Theorem. Let $G$ be an irreducible solvable ...
1
vote
0answers
37 views

“adding” numbers $\in\mathbb{U\left(2\right)}\times \mathbb{R}^+_0$

Let a unitary number be one that corresponds to a matrix of the form: $$\left( \begin{array}{cc} w+i x & y+i z \\ -e^{i p} (y-i z) & e^{i p} (w-i x) \end{array} \right)$$ This is analogous to ...
1
vote
0answers
81 views

generators for the multiplicative characters of a linear algebraic group

Let $G\leq \mathrm{GL}_n(\mathbb{C})$ be a linear algebraic group. Assume we know its defining ideal $$\mathcal{I}(G)=\langle f_\alpha \mid \alpha \in S\rangle \subseteq \mathbb{C}[x_{i,j}, ...
4
votes
1answer
75 views

Algebraic group homomorphism

Let $\phi$ be an algebraic group homomorphism from $G_{m}$ to $GL_{n}(\mathbb C)$,where $G_{m}= \mathbb C^{*} $. Then image of $\phi$ lies in the $D(n,\mathbb C) \cap GL_{n}(\mathbb C)$. Moreover each ...
1
vote
0answers
38 views

Borel subgroup which is a maximal torus is nilpotent

I am struggling with this simple fact. Let $B$ be a Borel subgroup of a connected algebraic group $G$. Let $T$ be a maximal torus. Then, if $B = T$, we have $B$ is nilpotent. I don't see why this is ...
4
votes
1answer
102 views

Properties of Algebraic Groups

Let $G(X_1, \cdots, X_n) \subseteq GL(V)$ denote the smallest algebraic group containing $\{X_i\}_{i=1}^{n} \subseteq GL(V)$, where $V$ is a finite-dimensional vector space over $\mathbb{C}$. Let $S$ ...
3
votes
1answer
153 views

How to find root subgroups

$\newcommand{\GL}{\text{GL}}\newcommand{\diag}{\text{diag}}$For $G = \GL_n(k)$ let $B$ be the upper triangular matrices and $T$ be the diagonal matrices in $G$. In this case I understand that the ...
2
votes
2answers
99 views

The Radical of $SL(n,k)$

For an algebraically closed field $k$, I'd like to show that the algebraic group $G=SL(n,k)$ is semisimple. Since $G$ is connected and nontrivial, this amounts to showing that the radical of $G$, ...
4
votes
1answer
124 views

Tangent bundle of an algebraic group

Let $G$ be a linear algebraic group over a field $k$. I think that the tangent bundle should be the sheaf $Der(\mathcal{O}_G,\mathcal{O}_G)$, which is isomorphic to the dual of the differentials. ...
5
votes
2answers
148 views

Definition of Unipotent in Positive Characteristic

Let $G$ be an affine algebraic group over an algebraically closed field $k$ whose characteristic is $p>0$. Can $\mathcal{U}(G)$, the set of unipotent elements of $G$, be characterized as all ...
0
votes
1answer
78 views

Eigenvectors of algebraic group representation

In a paper of Kollar and Szabo there is a lemma (Lemma $1$) in which the following terminology is used: "Every representation $H\rightarrow GL(n,K)$ has an $H$-eigenvector" ($H$ is an algebraic ...
4
votes
2answers
145 views

Definitions in a Theorem of Lang

I'm trying to understand the following theorem due to Serge Lang (Algebraic Groups over Finite Fields, 1956, Theorem 2): Let $p$ be a prime, and let $k$ be a finite field of $q=p^n$ elements. Let ...
5
votes
2answers
222 views

How to calculate $|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|$?

the answer should be $$|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|=N^{3}\prod_{p|N}(1-{1 /p^2})$$ But first how to prove $$|\operatorname {SL}_2(\mathbb Z/p^e\mathbb Z)|=p^{3e}(1-{1 /p^2})$$
0
votes
0answers
34 views

How to show $G_{n}^{\perp}=nX$?

Let $G$ be a diagonalizable algebraic group, and $G_{n}$ denotes the subgroup of elements of order dividing $n$. Assuming $k$ is algebraically closed and has characteristic $p$ and $p$ does not divide ...
2
votes
0answers
72 views

Reduction of closed orbit lemma by Galois descent

I am reading a proof of the closed orbit lemma: If $G$ is a smooth $k$-group of finite type acting on a finite-type $k$-scheme $X$, and $x$ is a $k$-point of $X$, then the orbit map of $x$ ...
4
votes
1answer
83 views

Why is this group action a morphism of varieties?

I am examining a proof that any affine connected algebraic group is a closed subgroup of some $GL_n$, and I am stuck on a fine point. Let $G$ be an affine algebraic group in the sense that it is a ...
2
votes
1answer
63 views

Dense Torsion in Torus

I am reading Onishchik and Vinberg's "Lie Groups and Algebraic Groups". Upon introducing the torus $T=\mathbb{K}^{\times} \times \cdots \times \mathbb{K}^{\times} = (\mathbb{K}^{\times})^n$ (where ...
1
vote
1answer
40 views

Why the projection map to the semisimple part is a morphism for algebraic groups?

From Springer, Linear Algebraic Groups, first page of Chapter 3. Let $G$ be a commuative algebraic group. If we regard $G$ as a closed subgroup of $GL_{n}$, then we can identify its semisimple part ...
6
votes
1answer
125 views

If a group scheme $G$ operates on another scheme $X$, how do you define orbits?

In my specific case, $G=\mathrm{Spec}(k[M])$ is an algebraic torus acting on a toric variety $X_\Sigma$ corresponding to a fan $\Sigma$ when $k$ is not necessarily algebraically closed (or maybe even ...
0
votes
0answers
48 views

Do “multiples” of open dense sets of an algebraic group union to the whole group?

Let $G$ be an algebraic group. From algebraic geometry we know there exists an open dense subset $U$ of $G$ such that $U$ is nonsingular. Since left multiplication of $U$ by elements of $G$ is an ...
5
votes
2answers
41 views

Co-algebra structure on $k[G]$

Let $k$ be a field. Given an affine algebraic group $G$ (defined as a functor from the category of $k$-algebras to the category of sets) then we have the coordinate ring (or the $k$-algebra ...
2
votes
1answer
82 views

Affine algebra of an algebraic group

From what I understand there are two approaches to defining an algebraic group. One can start talking about varieties and the Zariski topology and such and get to a definition of an algebraic group. ...
4
votes
1answer
96 views

Characters of diagonalizable algebraic groups with no p-torsion

Let $G$ be a diagonalizable algebraic group and $X$ be the character group of $G$. Let $Y$ be a subgroup of $X$. We define $Y^{\perp}$ to be all the $x\in G$ such that $\chi(x)=1$ for all $\chi\in Y$. ...
1
vote
0answers
108 views

Character of affine algebraic groups

Let $G$ be an affine algebraic group. A character of $G$ is a morphism $G\to \mathbb G_m$. Let $X$ be the abelian group of all characters of $G$. Suppose this group is finitely generated, say by ...
4
votes
1answer
85 views

Reduction of algebraic groups

Let $G$ be an algebraic group over $\mathbb{Z}_p$ embedded in $GL_n$. Let's say that $G$ is a family of equation $f \in \mathbb{Z}_p[(X_{i,j})_{i,j}]$ such that the set of invertible matrices ...
4
votes
1answer
151 views

Galois action on character group

Let $T$ be an algebraic group of multiplicative type over a field $K$. Let $$X^*(T)=\operatorname{Hom}_{\overline{K}}(T_{\overline{K}},(G_m)_{\overline{K}}) = ...
2
votes
1answer
132 views

Linear system of divisors on complete variety

I am currently reading Mumford's abelian varieties and Milne's notes on them and I have a problem understanding the proof that they are projective. Both of them use that a complete linear system of ...
1
vote
0answers
56 views

Open Subgroups of Affine algebraic groups

I saw this in a paper that I've been reading and I've been trying to figure out if this is true or not. Let $G(F)$ be a affine, simple, connected, adjoint, algebraic group over a local field endowed ...
0
votes
0answers
96 views

Are matroids groups?

A mathematician handed me this note about what he said was about matroids and that matroids are groups (like algebraic groups). Is that true? What is this mathematics about? Is this even about ...
1
vote
1answer
78 views

Meaning of linearization of an action

What means the following expression: Every action of an affine algebraic group on an affine algebraic variety can be linearized.
2
votes
2answers
327 views

Levi decomposition for the parabolic subgroups

This question is for the algebraic groups. I find I cannot understand Levi decomposition for the parabolic subgroups well. Denote the parabolic subgroup is P=LV, L is Levi subgroup. I guess that for ...