Primitive-module flatness conjecture for additive-type group schemes
Let AAA be the base ring and let G∈GrA+G\in\operatorname{Gr}^{+}_{A}G∈GrA+ be a group scheme of additive type. Write G=Spec(BG)G=\operatorname{Spec}(B_G)G=Spec(BG) and let Prim(BG)\operatorname{Prim}(B_G)Prim(BG) denote th…