This work concerns representations of a finite flat group scheme G defined over a noetherian commutative ring R. The focus is on lattices, namely, finitely generated G-modules that are projective as R-modules, and on the full subcategory of all G-modules projective over R generated by the lattices. The stable category of such G-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of G. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices.

We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split reductive groups. Our new geometric results include Whitney–Tate stratifications of Beilinson–Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne’s modification of the dual group and a modified form of Vinberg’s monoid over the integers.

We establish a version of Seiberg–Witten Floer K-theory for knots, as well as a version of Seiberg–Witten Floer K-theory for 3-manifolds with involution. The main theorems are 10/8-type inequalities for knots and for involutions. The 10/8-inequality for knots yields numerous applications to knots, such as lower bounds on stabilizing numbers and relative genera. We also give obstructions to extending involutions on 3-manifolds to 4-manifolds, and detect non-smoothable involutions on 4-manifolds with boundary.