# Tagged Questions

**1**

vote

**4**answers

193 views

### About structure of parabolic subgroups of finite classical algebraic groups

Dear Members of Mathoverflow,
I am interested about a Fact (if it is right) of the structure of parabolic subgroups of finite classical algebraic groups:
Let G be a classical algebraic group over ...

**3**

votes

**2**answers

211 views

### Suslin's Stability Theorem for Chevalley Groups

I am looking for a version of Suslin's Stability Theorem for Chevalley groups.
The version of the theorem for $G=SL_n({\mathbb Z}[x_1, \dots , x_m])$ states that the if $n\ge m+2$, the elementary ...

**2**

votes

**0**answers

66 views

### radical unipotent of a parahoric

Let $G$ a split connected reductive group over $\mathbb{C}$. $F=\mathbb{C}((t))$ and $\mathcal{O}$ the ring of integers.
Let $B$ a Borel subgroup and $I$ the corresponding Iwahori.
Let ...

**3**

votes

**1**answer

101 views

### Non-abelian group from affine hermitian curve

I was playing with the Hermitian curve $y^q + y = x^{q+1}$ over the field $GF(q^2)$ and chanced upon the following (non Abelian) group law on the points of the affine curve:
$(a,b) * (c,d) = ...

**2**

votes

**1**answer

154 views

### Which subgroups of a finite reflection group have distingushed coset representatives?

Let $W$ be a finite reflection group with length function $l$ and let $I$ be a set of simple reflections that generate $W$. Let $\phi$ be an automorphism of $W$ permuting $I$. Consider the orbits of ...

**4**

votes

**1**answer

149 views

### When does the derived subgroup of $G(F)$ contains the $F$-points of unipotent subgroups of $G$

Let $F$ be a local field of characteristic $0$ and $G$ a connected split reductive group over $F$.
Let's look at the derived groups. We have $(G(F),G(F)) \subset (G,G)(F)$ and this inclusion is of ...

**4**

votes

**2**answers

215 views

### Root system automorphisms as inner automorphisms of extended Chevalley group

For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...

**4**

votes

**1**answer

238 views

### Zariski dense subgroups of linear algebraic groups

The theorem of Matthews, Vaserstein and Weisfeiler asserts that if $G$ is a simply connected absolutely almost simple groups over $Q$ and $\Gamma$ a finitely generated subgroup of $G(Q)$ which is ...

**2**

votes

**2**answers

186 views

### Centralizer of a subtorus in a reductive group is Levi?

Questions a bit similar to this one have already appeared I think on the forum but I couldn't find the answer to my question using those answers. I must say from the beginning that my knowledge of ...

**7**

votes

**0**answers

219 views

### Higher-dimensional generalization of Pink's theorem

Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...

**0**

votes

**0**answers

88 views

### semisimple conjugacy classes over general bases

Let $k$ be an algebraically closed field, $G$ a connected reductive group, $T$ a maximal torus, $W$ the Weyl group and $\chi:G\rightarrow T/W$ the Steinberg morphism.
We know that if ...

**1**

vote

**0**answers

127 views

### on the open bruhat cell

Let $G$ a connected reductive group and $S=U^{-}TU$ the open cell.
Do we have $G=\bigcup\limits_{g\in G}gSg^{-1}$?
And also if I assume that $G$ is adjoint and $\overline{G}$ is the de ...

**3**

votes

**0**answers

131 views

### Compute the discriminant for reductive groups

Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...

**4**

votes

**1**answer

121 views

### One-parameter subgroups of symplectic group associated to roots

I'm having trouble sorting out some basic definitions concerning Chevalley groups. The groups I'm interested in are the simply connected groups of type $C_n$, so the groups $\text{Sp}_{2n}$. The ...

**16**

votes

**3**answers

533 views

### Spin group as an automorphism group

Consider the real algebraic group $SO(p,q)$, this is the automorphism group of the vector space $\mathbb{R}^n$ of dimension $n=p+q$ over $\mathbb{R}$, endowed with the diagonal quadratic form with ...

**2**

votes

**0**answers

154 views

### Certain central extensions of simply connected simple algebraic groups

An offbeat question involving Milnor's $K_2$ has come up recently. Start with an algebraically closed field $F$ (perhaps required to be of characteristic 0). Let $G$ be a connected, simply connected ...

**18**

votes

**2**answers

637 views

### Definition of “finite group of Lie type”?

The list of finite simple groups of Lie type has been understood for half a century, modulo some differences in notation (and identifications between some of the very small groups coming from ...

**0**

votes

**1**answer

135 views

### Reference on elements of finite order in principal congruence subgroups of symplectic groups

We should start with the definition of the symplectic group for an arbitrary ring $R$.
The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with ...

**7**

votes

**1**answer

222 views

### Counting conjugacy classes in simple groups of Lie type

Finite groups of Lie type include those obtained as rational points of a connected simple algebrraic group over a finite field $k = \mathbb{F}_q$ of characteristic $p$: these are split or quasi-split. ...

**3**

votes

**2**answers

319 views

### group generated by Coxeter elements

Let $G$ a connected semisimple simply connected group over $\mathbb{C}$ and $W$ his Weyl group.
What can be said about $W'$, the subgroup of $W$ generated by the Coxeter elements of $W$?

**2**

votes

**2**answers

342 views

### Is there an almost-direct product decomposition for disconnected reductive algebraic groups?

$\textbf{Some definitions:}$
Let $G$ be an algebraic group (for me that is the complex points of an affine algebraic group). We say $G$ is reductive if its unipotent radical (maximal connected normal ...

**1**

vote

**1**answer

346 views

### About isomorphism of $PGL(2)$ and $SO(3)$ [closed]

I need to prove that $PGL_2(\mathbb{R})\cong SO_3(\mathbb{R})$. Abstract considerations show that both can be identified with the group of projective motions of a conic curve. But maybe there is more ...

**10**

votes

**2**answers

409 views

### Finite subgroups of $PGL(3,K)$

It is well-known that finite subgroups of $PGL_2(\mathbb{C})$ are cyclic groups, dihedral groups, A4, S4 and A5 and each of these groups occurs exactly once (up to conjugacy). These facts are ...

**5**

votes

**2**answers

393 views

### Morphisms $\mathrm{SL}_n(\mathbb Z) \to \mathrm{SL}_m(\mathbb Z)$

From a result Obtained by O. Schreier and B. L. van der Waerden [Math. Sem. Univ. Hamburg 6, 303- 322 (1928)], one can show that for two fields $\mathbb F$ and $\mathbb G$, and integers $n>m>2$, ...

**1**

vote

**1**answer

195 views

### Fixed points of group action

Let us consider the group $PGL(2,\mathbb{R})$ as the group of automorphisms of real projective line and $H\subset PGL(2,\mathbb{R})$ is a subgroup of prime order $> 2$. Is it true that there always ...

**3**

votes

**0**answers

202 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

**0**answers

130 views

### Do there exist pseudo-reductive (but not reductive) groups of small dimension?

I am working on questions in linear algebraic groups $k$, where $k$ is a local field of positive characteristic $p$. I would like to exclude some bad behaviour using the assumption that $p$ is ...

**15**

votes

**3**answers

921 views

### Small index subgroups of SL(3,Z)

I would like to know the smallest index subgroups of SL(3,Z).
The smallest I could find has even entries $a_{3,1}$ and $a_{3,2}$,
along the bottom row. I could not figure out whether there are
...

**1**

vote

**1**answer

80 views

### on z-extensions

Let $G$ a group split over a local field $F$.
We call a $z$-extension a group $G'$ such that $G'_{der}$ is simply connected, $G'$ is a central extension of $G$ by a central torus $Z$.
Can we find a ...

**0**

votes

**0**answers

154 views

### minuscule representations and classical groups

Let $G$ a semisimple group over an algebraically closed field $k$.
We assume that $G$ is classical.
We call a $z$-extension, a group $\tilde{G}$ such that $\tilde{G}$ is a central extension of $G$ by ...

**2**

votes

**3**answers

354 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 ...

**6**

votes

**1**answer

487 views

### General Bruhat decomposition (with parabolic not necessarily Borel)

Here is the general Bruhat decomposition (which I have seen in various paper but never with a proof or a complete reference).
Let $G$ be a split reductive group, $T$ a split maximal torus and $B$ a ...

**1**

vote

**1**answer

295 views

### center of the centralizer of semisimple element

Let $G$ be an adjoint group over an algebraically closed field $k$ and $s\in G$ a semisimple element.
Let $H=C_{G}(s)^{0}$ the neutral component of the centralizer of $s$. Do we have that the center ...

**1**

vote

**1**answer

268 views

### Questions about multiplicative homomorphism of $\mathbb{R}$

Regard $K=\mathbb{R}-\lbrace{0\rbrace}$ as a multiplication group. Let $f:K\to K$ be a multiplication homormorphism.
Question 1. Whether that $f$ is surjective implies that $f$ is injective?
...

**3**

votes

**2**answers

362 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 ...

**0**

votes

**1**answer

141 views

### subgroups of a $p$-solvable group and complete reducibility

1.
Let $G$ be a $p$-solvable group and $V$ be a finite dimensional
faithful $kG$-module, where the characteristic of $k$ is $p$. But
$V$ is not a semisimple $kG$-module. For every $n\geq 0$, we ...

**0**

votes

**0**answers

95 views

### on a decomposition lemma in adelic groups

Let X a curve over an algebraically closed k.
Fix $x$ and $y$ two distinct closed points of X.
Let G be a connected reductive group over k.
We denote Spec $\hat{\mathcal{O}}_{X,x}$ the formal ...

**0**

votes

**1**answer

183 views

### For which semisimple element $s$ in finite group of lie type centralizer $C_{G}(s)$ of $s$ is a Levi subgroup ?

Let $G$ be a finite simple group of lie type. Let $s$ be a semisimple element lying in maximal torus $T_{w}$ for $w\in W$ where $W$ is the Weyl group of $G$. Can we say that $C_{G}(s)$ is Levi ...

**6**

votes

**1**answer

581 views

### Groups becoming algebraic groups

Let $G$ be an algebraic variety over an algebraically closed field $k$ (any characteristic). Suppose that:
(1) the set of $k$-points has the structure of a group.
(2) for any $g\in G$ the ...

**5**

votes

**1**answer

369 views

### Confusing Point in Proof: Semisimple Automorphism Fixes Torus

I am reading a proof on p.51 of Robert Steinberg in his book "Endomorphisms of Algebraic Groups" and I am having a bit of difficulty understanding one point in the proof.
The setting is as follows. ...

**0**

votes

**1**answer

292 views

### On the Steinberg section

Let $\chi:G\rightarrow T/W$ the Steinberg map. I assume that G is simply connected. Then $T/W=\mathbb{A}^{r}$ and Steinberg constructed a section to this map given by
...

**1**

vote

**1**answer

173 views

### Describing a matrix group (with integer coefficients) through conditions on the coefficients.

I'm wondering if there's always a (not too complicated?) way to characterize a matrix group by conditions on the coefficients.
I know if I'm dealing with matrix groups over a field, then it's sort of ...

**7**

votes

**2**answers

399 views

### Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...

**5**

votes

**5**answers

548 views

### Commutator of algebraic subgroups is connected

Let $G$ be an algebraic group over an
algebraically closed field. If $H$ and
$K$ are closed subgroups and one of
them is connected, then their
commutator $[H,K]$ is also connected.
Is ...

**0**

votes

**1**answer

277 views

### For an algebraic group acting on a variety, why are orbits representable?

I suspect this is really obvious, but I'm not seeing it.
For an algebraic group $G$ acting on a variety $V$, and for a point $x \in \text{hom}(\text{Spec}(K),V)$, we define the orbit $G(x)$ to be ...

**3**

votes

**1**answer

176 views

### Structure of abelian connected complex linear algebraic groups?

Let $G$ be an abelian connected complex linear algebraic group.
Is it true that $G$ is isomorphic to $(\mathbb{G}_m)^k\times (\mathbb{G}_a)^\ell$, where the nonnegative exponents denote repeated ...

**9**

votes

**3**answers

680 views

### Kostant partition function: asymptotics and specifics

Let $\Phi$ denote a root system and let $\mathfrak P$ denote the associated Kostant partition function. Thus $\mathfrak P(\lambda)$ is the number of ways of writing $\lambda$ as a sum of elements of ...

**2**

votes

**4**answers

311 views

### A polynomial homomorphism from Gl to the group of units is a power of the determinant

I was browsing MO and stumbled upon this post, and I got very curious. I searched for about half an hour and could not find a proof for the statement that any polynomial group homomorphism ...

**2**

votes

**2**answers

392 views

### The group G^+ of algebraic groups over local fields

Let $G$ be an algebraic group defined over a char 0
local field $k$. Following Borel and Tits (73) we define
the group $G^+(k)$ or $G^+$ by the subgroup of $G(k)$
generated by the unipotent elements ...

**2**

votes

**2**answers

414 views

### Heisenberg group in characteristic two

I have seen two constructions called the Heisenberg group. If $k$ is a field of characteristic not equal to $2$ and $V$ is a $2n$-dimensional vector space over $k$ with symplectic form $\omega : V ...