6
votes
1answer
212 views

Is $G_{\operatorname{red}}$ normal in $G$?

Let $G$ be an affine group scheme of finite type over a field $k$. It is well known that the associated reduced subscheme $G_{\operatorname{red}}$ of $G$ is a subgroup if $k$ is perfect. So let us ...
3
votes
1answer
303 views

Orbits of group scheme action

I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...
1
vote
1answer
142 views

Equivariant fibre product

Let $G$ be an algebraic group. Let $X$ and $Y$ be $S$-schemes such that $X$, $Y$ and $S$ are $G$-schemes and the structural morphisms are equivariant. My question is: Can the fiber product ...
4
votes
2answers
174 views

Splitting field of a Torus

Let $T$ be a torus over a non-necessary perfect field $k$. Let $\bar k$ an algebraic closure of $k$. Is there a smallest extension $k'$ of $k$ in $\bar k$ such that $T \times_{{\rm spec}\, k} {\rm ...
0
votes
0answers
113 views

exponential map for finite group schemes?

Hi, I am trying to define an exponential map for finite abelian group schemes. The following looks like it should work, but doesn't (see below). I am putting up this question hoping that someone will ...
5
votes
2answers
241 views

Quotient of a reductive group by a non-smooth subgroup

This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup. Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic ...
7
votes
1answer
279 views

Differential/difference algebraic groups as “group schemes”

While the common approach to algebraic groups is via representable functors, it seems that there is no such for differential algebraic groups (defined by differential polynomials). Neither the book by ...
2
votes
0answers
317 views

On the structure of commutative group schemes

The structure of a commutative affine algebraic group $G$ over a field $k$ is understood (SGA 3): $G$ has a maximal subgroup of multiplicative type $M$ and the quotient $G/M$ is unipotent. I am ...
2
votes
1answer
409 views

finite non-commutative local group schemes

Can I have some examples of finite non-commutative connected group schemes over a field $k$? I would like also to see some non-trivial torsors over a $k$-scheme $X$ under such group schemes. Thanks. ...
1
vote
0answers
243 views

two different properties for the quotient

(Updated) I have looked the draft of Ch4 of the book "Abelian Varieties" by Gerard van der Geer and Ben Moonen. It looks like in order to see the group scheme structure on G/H, one should consider ...
6
votes
2answers
537 views

Character group of Frobenius kernels

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of characteristic $p$ (e.g., $G=SL_n(k)$). Then $G$ is equal to its derived subgroup $[G,G]$. Consequently, the character ...
12
votes
2answers
713 views

Can a reductive group act non-linearly on a vector group?

Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$. 1. Some motivation A vector group is an ...
10
votes
1answer
757 views

Are there “reasonable” criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?

Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...