2
votes
1answer
69 views
Degree of a finite locally free group scheme over a base scheme of characteristic p
Does a connected finite locally free group scheme G over a scheme S of characteristic p>0 has degree a power of p? I know that when S is the spectrum of a field k, it is true. So …
5
votes
1answer
157 views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question http://mathoverflow.net/questions/16261/.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p>0$.
Let $ …
0
votes
0answers
92 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 hopi …
6
votes
1answer
237 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). …
0
votes
1answer
153 views
Submodule of a Kisin module
By M. Kisin, let $k$ be an algebraically closed field of characteristic $p$, and $K$ be a totally ramified extension of $B(k)$, the fraction field of the Witt vector ring $W(k)$, t …
6
votes
1answer
154 views
Representability of sheaf of Ext^1 of a Néron model by $\mathbb{G}_m$
Let's work over a trait $S=\mathrm{Spec}R$, where $R$ is a dvr with fraction field $K$, residue field $k$. Given an abelian variety $A_K$ with semi-stable reduction, let $A$ over $ …
3
votes
1answer
133 views
Kernel of powers of Frobenius on supersingular elliptic curves
I am trying to understand some things related to elliptic curves and finite flat group schemes but I am a little bit confused.
Let $A$ be a supersingular elliptic curve over an al …
2
votes
1answer
209 views
Is the n-torsion of an extension of an abelian variety by a torus, finite and flat?
I am looking for reference or hints how to prove the following result.
Let $G$ be a commutative $S$-group scheme which is the extension of an abelian scheme $A$ by a torus $T$ …
36
votes
6answers
2k views
Smooth linear algebraic groups over the dual numbers
It is a standard and important fact that any smooth affine group scheme $G$ over a field $k$ is a closed $k$-subgroup of ${\rm{GL}}_n$ for some $n > 0$. (Smoothness can be relaxed …
2
votes
0answers
229 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 un …
1
vote
1answer
210 views
Category of Hopf algebras.
Can you tell me, where I can find a proof of the following fact: Let $R$ be a commutative ring. Consider the category of commutative Hopf algebras over $R$. Then this category is e …
1
vote
1answer
215 views
Degree of finite group schemes
Let $\pi: G \rightarrow S$ be a finite flat group scheme over a locally noetherian connected base scheme $S$.
Its degree is defined as the rank of the locally free $\mathcal O_S$-m …
2
votes
1answer
208 views
Proper morphisms: Lie groups vs. group schemes
A Lie group can (often) be recovered as the $\mathbb{R}$-points of a group scheme. I am wondering if this parallelism carries over to proper actions.
In particular, let $G$ be a L …
2
votes
1answer
366 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 gr …
2
votes
1answer
316 views
Etale group schemes over a local ring
Let $p$ be a prime number and $R$ be a Noetherian local ring of characteristic $p$ with residue field $k$. Let $G$ be a finite etale subgroup scheme over $R$ of order $p$. Suppose …

