Questions tagged [group-schemes]
The group-schemes tag has no usage guidance.
179
questions
8
votes
0
answers
278
views
Has the notion of a unipotent group scheme been studied?
The concept of a unipotent algebraic group over a field has been extensively studied and is fundamental in algebraic geometry. However, has the notion of a unipotent group scheme over a general base ...
0
votes
0
answers
113
views
Induced action on infinitesimal thickenings by an algebraic group
Let $X$ be an irreducible locally noetherian $k$-scheme (for $k$ any field), $G$ an algebraic group acting on $X$ via $a:G \times X \to X$ and $x \in X$ a closed point, which is by Zariski's lemma ...
3
votes
0
answers
150
views
Centers and conjugacy classes of groups relative to a pair of group homomorphisms
$\newcommand{\defeq}{\mathbin{\overset{\mathrm{def}}{=}}}$Given a group $G$, its center $\mathrm{Z}(G)$ and set of conjugacy classes $\mathrm{Cl}(G)$ are defined by
\begin{align*}
\mathrm{Z}(G) &\...
2
votes
0
answers
157
views
Computing the Dieudonné module of $\mu_p$ from Fontaine's Witt Covector
In Groupes $p$-divisibles sur les corps locaux, Fontaine introduced a uniform construction of Dieudonné modules through the definition of the Witt covector. Consider a perfect field $k$ of ...
1
vote
0
answers
248
views
Unirational algebraic group scheme smooth
Let $G$ an unirational algebraic $k$-group over base field $k$ in sense of this book on Neron models, (ie separated $k$-group scheme of finite type).
On page 310 is claimed that unirationality implies ...
3
votes
0
answers
253
views
Does the orbit in geometric invariant theory have natural scheme structure
Let $X$ be a scheme locally of finite type over a sufficiently "nice" base scheme $S$ (nice in sense of reasonable "finiteness conditions", for sake of simplicity let's start as ...
16
votes
0
answers
419
views
Complete resource of Ngô's course notes on Algebraic Groups and Group Schemes
I'm looking for Ngô's M2 course notes on "Groupes algébriques et schémas en groupes".
The Wayback Machine has an incomplete capture here. However, it apparently lacks chapter 1, 3, and 5.
I ...
2
votes
0
answers
118
views
Endomorphisms of the multiplicative group over a non-reduced complex analytic space
Let $S_n$ be the (usually) non-reduced complex analytic space corresponding to the ring $\mathbb{C}[X]/(X^{n+1})$ (the underlying topological space of $S_n$ is a point, and $S_0$ is a reduced point).
...
3
votes
0
answers
128
views
"Vanishing locus" of forms in the $h$-topology
Let $\Omega_{h}^p$ be the sheaf of $p$-forms in the $h$-topology defined as the sheafification for the $h$-topology of the presheaf,
$$ Y \mapsto \Omega^p_Y(Y) $$
Kebekus and Schnell show that when $X$...
4
votes
0
answers
223
views
Do rational maps to abelian varieties extend across rational singularities?
Let $X$ be a normal proper variety with only rational singularities and $A$ an abelian variety. Does a rational map $X \supset U \to A$ extend to a morphism $X \to A$? If not, what is a ...
1
vote
1
answer
203
views
Lie algebras and pulled back group schemes
Suppose I have an extension of fields $L/K$, a group scheme $G_K$ over $\operatorname {Spec} K$. Let $G_L$ denote the pullback of $G_K$ to $\operatorname{Spec} L$. Then, under what conditions on the ...
6
votes
1
answer
272
views
Generating the coordinate ring of the Lubin-Tate formal group
Let $K$ be a $p$-adic local field with uniformizer $\pi \in \mathcal{O}_{K}$ and residue field $k = \mathcal{O}_{K}/\pi$. Let $G$ be a Lubin-Tate formal $\mathcal{O}_{K}$-module and $G_{0}$ its ...
4
votes
0
answers
242
views
Lifting the connected-etale sequence of the $p$-torsion of an elliptic curve
Suppose that $R$ is a complete DVR with characteristic 0 fraction field $K$, maximal ideal generated by $p$ and characteristic $p>0$ residue field $k$ which is algebraically closed. Suppose that $\...
5
votes
0
answers
152
views
Faltings' Cartier duality for A-modules in terms of Hopf algebras
$\newcommand\dual{^{\text{dual}}}\newcommand\GrpSch{\mathrm{GrpSch}}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Vect{Vect}$If $G$ is a finite group scheme over a field $k$, we can define its ...
7
votes
1
answer
283
views
Is there a "spherical building" for a reductive group over a Henselian local ring?
Let $A$ be a Henselian local ring and let $G$ be a split reductive $A$-group. I'm interested in some notion of a "building of parabolic subgroups" for the group scheme $G$.
In my specific ...