0 Prerequisites
0.1 Affine Monoids
Multivariate Laurent polynomials over an integral domain are an integral domain.
Come on.
An affine monoid is a finitely generated commutative monoid which is:
cancellative: if \(a + c = b + c\) then \(a = b\), and
torsion-free: if \(n a = n b\) then \(a = b\) (for \(n \geq 1\)).
If \(M\) is an affine monoid, then \(M\) can be embedded inside \({\mathbb Z}^n\) for some \(n\).
Embed \(M\) inside its Grothendieck group \(G\). Prove that \(G\) is finitely generated free.
If \(R\) is an integral domain \(M\) is an affine monoid, then \(R[M]\) is an integral domain and is a finitely generated \(R\)-algebra.
\(i : R[M] \hookrightarrow R[{\mathbb Z}M]\) injects into an integral domain so is an integral domain. It’s finitely generated by \(\chi ^{a_i}\) where \(\mathcal A = \{ a_1, \dotsc , a_s\} \) is a finite generating set for \(M\).
An element \(x\) of a monoid \(M\) is irreducible if \(x = y + z\) implies \(y = 0\) or \(z = 0\).
If \(M\) is a monoid with a single unit, and \(S\) is a set generating \(M\), then \(S\) contains all irreducible elements of \(M\).
Assume \(p\) is an irreducible element. Since \(S\) generates \(M\), write
where the \(a_i\) are finitely many elements (not necessarily distinct) elements of \(S\). Since \(p\) is irreducible, we must have
for some \(i\).
If \(M\) is a finitely generated monoid with a single unit, then only finitely many elements of \(M\) are irreducible.
Let \(S\) be a finite set generating \(M\). Write \(I\) the set of irreducible elements. By Proposition 0.1.6, \(I \subseteq S\). Hence \(I\) is finite.
If \(M\) is a finitely generated cancellative monoid with a single unit, then \(M\) is generated by its irreducible elements.
We do not follow the proof from [ 1 ] .
Let \(S\) be a finite minimal generating set and assume for contradiction that \(r \in S\) is reducible, say \(r = a + b\) where \(a, b\) are non-units. Write
for some \(m_s, n_s \in {\mathbb N}\), so that
We distinguish three cases
\(m_r + n_r = 0\). Then
\[ r = \sum _{s \in S \setminus \{ r\} } (m_s + n_s) s \in \langle S \setminus \{ r\} \rangle \]contradicting the minimality of \(S\).
\(m_r + n_r = 1\). Then
\begin{align*} & 0 = \sum _{s \in S \setminus \{ r\} } (m_s + n_s) s & \implies \forall s \in S \setminus \{ r\} , m_s s = n_s s = 0 \end{align*}Furthermore, either \(m_r = 0\) or \(n_r = 0\), so \(a = 0\) or \(b = 0\), contradicting the fact that \(a\) and \(b\) are non-units.
\(m_r + n_r \ge 2\). Then
\[ 0 = r + \sum _{s \in S \setminus \{ r\} } (m_s + n_s) s \]and \(r = 0\), contradicting the minimality of \(S\) once again.
0.2 Tensor Product
If \(f\) and \(g\) are linearly independent families of points in semimodules \(M\) and \(N\), then \(i j \mapsto f i \otimes g j\) is a linearly independent family of points in \(M \otimes N\).
Assume
Then
Since \(f\) is linearly independent,
for every \(i\). Since \(g\) is linearly independent, \(c_{i, j} = d_{i, j}\) for all \(i, j\), as wanted.
0.3 Hopf algebras
0.3.1 Group-like elements
An element \(a\) of a coalgebra \(A\) is group-like if it is a unit and \(\Delta (a) = a \otimes a\), where \(\Delta \) is the comultiplication map.
Let \(f : A \to B\) be a bi-algebra hom. If \(a \in A\) is group-like, then \(f(a)\) is group-like too.
\(a\) is a unit, so \(f(a)\) is a unit too. Then
so \(f(a)\) is group-like.
The group-like elements in \(A\) are linearly independent.
See Lemma 4.23 in [ 2 ] .
The group-like elements of \(k[M]\) are exactly the image of \(M\).
See Lemma 12.4 in [ 2 ] .
0.3.2 The group algebra functor
If \(A\) is a \(R\)-Hopf algebra, then the antipode map \(s : A \to A\) is anti-commutative, ie \(s(a * b) = s(b) * s(a)\). If further \(A\) is commutative, then \(s(a * b) = s(a) * s(b)\).
Any standard reference will have a proof.
From a \(R\)-Hopf algebra, one can build a cogroup object in the category of \(R\)-algebras.
From a cogroup object in the category of \(R\)-algebras, one can build a \(R\)-Hopf algebra.
Turn the arrows around.
For a commutative ring \(R\), we have a functor \(G \rightsquigarrow R[G] : \operatorname{Grp}\to \operatorname{Hopf}_R\).
For a field \(K\), the functor \(G \rightsquigarrow K[G]\) from the category of groups to the category of Hopf algebras over \(K\) is fully faithful.
It is clearly faithful. Now for the full part, if \(f : K[G] \to K[H]\) is a Hopf algebra hom, then we get a series of maps
and each map separately is clearly multiplicative.
0.4 Group Schemes
0.4.1 Correspondence between Hopf algebras and affine group schemes
We want to show that Hopf algebras correspond to affine group schemes. This can easily be done categorically assuming both categories on either side are defined thoughtfully. However, the categorical version will not be workable with if we do not also have links to the non-categorical notions. Therefore, one solution would be to build the left, top and right edges of the following diagram so that the bottom edge can be obtained by composing the three:
Bundling/unbundling Hopf algebras
We have already done the left edge in the previous section.
Spec of a Hopf algebra
Now let’s do the top edge.
If \(a : F \vdash G\) is an adjunction between \(F : C \to D\) and \(G : D \to C\) and \(X : C\), then there is an adjunction between \(F / X : C / X \to D / F(X)\) and \(G / X : D / F(X) \to C / X\).
See https://ncatlab.org/nlab/show/sliced+adjoint+functors+–+section.
If \(F : C \to D\) is a functor preserving limits of shape \(J\), then so is the obvious functor \(C / X \to D / F(X)\).
Hopefully easy.
If a finite-products-preserving functor \(F : C \to D\) is fully faithful, then so is \(\operatorname{Grp}(F) : \operatorname{Grp}C \to \operatorname{Grp}D\).
Faithfulness is immediate.
For fullness, assume \(f : F(G) \to F(H)\) is a morphism. By fullness of \(F\), find \(g : G \to H\) such that \(F(g) = f\). \(g\) is a morphism because we can pull back each diagram from \(D\) to \(C\) along \(F\) which is faithful.
Spec is a contravariant functor from the category of \(R\)-algebras to the category of schemes over \(\operatorname{Spec}_R\).
Spec is a fully faithful contravariant functor from the category of \(R\)-algebras to the category of schemes over \(\operatorname{Spec}_R\), preserving all limits.
\(\operatorname{Spec}: \operatorname{Ring}\to \operatorname{Sch}\) is a fully faithful contravariant functor which preserves all limits, hence so is \(\operatorname{Spec}: \operatorname{Ring}_R \to \operatorname{AffSch}_{\operatorname{Spec}R}\) by Proposition 0.4.2 (alternatively, by Proposition 0.4.1).
Spec is a fully faithful contravariant functor from the category of \(R\)-algebras to the category of group schemes over \(\operatorname{Spec}_R\).
Spec is a fully faithful contravariant functor from the category of \(R\)-Hopf algebras to the category of group schemes over \(\operatorname{Spec}_R\).
\(\operatorname{Spec}: \operatorname{Ring}_R \to \operatorname{Sch}_{\operatorname{Spec}R}\) is a fully faithful contravariant functor preserving all limits according to Proposition 0.4.4, therefore \(\operatorname{Spec}: \operatorname{Hopf}_R \to \operatorname{GrpSch}_{\operatorname{Spec}R}\) too is fully faithful according to 0.4.3.
0.4.2 Essential image of Spec on Hopf algebras
Finally, let’s do the right edge.
If \(F : C \to D\) is a fully faithful functor between cartesian-monoidal categories, then \(F / X : C / X \hom D / F(X)\) has the same essential image as \(F\).
Transfer all diagrams.
If \(e : C \backsimeq D\) is an equivalence of cartesian-monoidal categories, then \(\operatorname{Grp}(e) : \operatorname{Grp}(C) \backsimeq \operatorname{Grp}(D)\) too is an equivalence of categories.
Transfer all diagrams.
If \(F : C \to D\) is a fully faithful functor between cartesian-monoidal categories, then \(\operatorname{Grp}(F) : \operatorname{Grp}(C) \hom \operatorname{Grp}(D)\) has the same essential image as \(F\).
Transfer all diagrams.
The essential image of \(\operatorname{Spec}: \operatorname{Ring}_R \to \operatorname{Sch}_{\operatorname{Spec}R}\) is precisely affine schemes over \(\operatorname{Spec}R\).
Direct consequence of Proposition 0.4.8.
The essential image of \(\operatorname{Spec}: \operatorname{Hopf}_R \to \operatorname{GrpSch}_{\operatorname{Spec}R}\) is precisely affine group schemes over \(\operatorname{Spec}R\).
0.4.3 Diagonalisable groups
For a commutative group \(G\) we define \(D_R(G)\) as the spectrum \(\operatorname{Spec}R[G]\) of the group algebra \(R[G]\).
An algebraic group \(G\) over \(\operatorname{Spec}R\) is diagonalisable if it is isomorphic to \(D_R(G)\) for some commutative group \(G\).
An algebraic group \(G\) over a field \(k\) is diagonalizable if and only if group-like elements span \(\Gamma (G)\).
See Theorem 12.8 in [ 2 ] .
For a field \(k\), \(D_k\) is a fully faithful contravariant functor from the category of commutative groups to the category of group schemes over \(\operatorname{Spec}k\).