# Contents * Automatic table of contents {: toc} ## (Group) functors and affine (group) schemes Let $k$ be a ring. Let $k.Ring$ denote the category of $k$-rings. Let $k.Fun$ denote the category of (contravariant) functors $X:k:Ring\to Set$. Let $k.Aff$ denote the category of representable $k$-functors; we call this category the*category of affine $k$-schemes* and an object of this category we write as $$Spec_k A:\begin{cases} k.Ring\to Set \\ R\mapsto hom(A,R) \end{cases}$$ We obtain in this way a functor $$Spec_k:k.Ring\to k.Fun$$ This functor has a left adjoint $$(O_k\dashv Spec_k):k.Ring\stackrel{Spec_k}{\to} k.Fun$$ assigning to a $k$-functor its *ring of functions*. This adjunction restricts to an adjoint equivalence $$(O_k\dashv Spec_k):k.Ring\stackrel{Spec_k}{\to} k.Aff$$ ## schemes and group schemes A $k$-functor is called a *$k$-scheme* if it is a sheaf for the Zariski Grothendieck topology on $k.Ring^{op}$. To give more details, recall that the closed sets of the Zariski topology on the [[nLab:spectrum]] $Spec A$ of a $k$-ring $A$ is defined by $$V(I):=\{P\in Spec \, A|I\subseteq P\}$$ We can characterize the the elements of $V(a)$ also by $$e_a(P)=0\, iff\, P\in V(a)$$ where $$e_a:\begin{cases} Spec (A)\to Quot(A/P) \\ P\mapsto \frac{a\,mod\,P}{1} \end{cases}$$ where $Quot(A/P)$ denotes the quotient field (aka. field of fractions) of the [[nLab:integral domain]] $A/P$. This construction generalizes to $k$-functors by defining an *open subfunctor of a $k$-functor $X$* by $$V(I):R\mapsto\{x\in X(R)| I\subseteq x\}$$ where $I\subseteq O(X)$. By the above alternative characterization, the assigned set consists precisely of those $x$ for which $f(x)=0$ for all $f\in I$. ## Constant (group) scheme $Sch_k$ is [[nLab:copower|copowered (= tensored)]] over $Set$. We define the _constant $k$-scheme_ on a set $E$ by $$E_k:=E\otimes Sp_k k=\coprod_{e\in E}Sp_k k$$ For a scheme $X$ we compute $M_k(E_k,E)=Set(Sp_k k,X)^E=X(k)^E=Set(E,X(k))$ and see that there is an adjunction $$((-)_k\dashv (-)(k)):Sch_k\to Set$$ If $E$ is a group $E_k$ is a group scheme. ## Étale (group) scheme (see also [[nLab:Grothendieck's Galois theory]]) An étale group scheme over a field $k$ is defined to be a directed colimit $$colim_{(k\hookrightarrow k^\prime)\in T\subseteq Sep} Spec\, k^\prime$$ where $T$ denotes some set of finite separable field extensions of $k$. ## Cartier dual of a finite flat commutative group scheme Let $G$ be a commutative $k$-group functor (in cases of interest this is a finite flat commutative [[nLab:group scheme]]). Then the *Cartier dual* $D(G)$ of $G$ is defined by $$D(G)(R):=Gr_R(G\otimes_k R,\mu_R)$$ where $\mu_k$ denotes the group scheme assigning to a ring its multiplicative group $R^\times$ consisting of the invertible elements of $R$. This definition deserves the name [[nLab:duality]] since we have $$hom(G,D(H))=hom(H,D(G))=hom(G\times H,\mu_k)$$ ## p-torsion Let $s:R\to S$ be a morphism of rings. Then we have an [[nLab:adjunction]] $$(s^*\dashv s_*):S.Mod\stackrel{s_*}{\to} R.Mod$$ from the category of $S$-[[nLab:module|modules]] to that of $R$-modules where $$s^*:A\mapsto A\otimes_s S$$ is called *scalar extension* and $s_*$ is called *scalar restriction*. If $X$ denotes some [[nLab:scheme]] over a $k$-ring for $k$ being a field of characteristic $p$, we define its $p$-torsion component-wise by $X^{(p)}(R):=X(s_* R)$. ### p-divisible groups ## Witt rings and Dieudonné modules