“…If A is a finite dimensional cocommutative Hopf algebra (equivalently, finite group scheme), the answers are also known due to work of many mathematicians building on work on finite groups, on restricted Lie algebras [25], and on infinitesimal group schemes [51]. See, e.g., [25,28,29,51], and the surveys [24,39]. In this case, one works with support varieties defined via Hopf algebra cohomology H * (A, k), which is known to satisfy conditions (fg1 ′ ) and (fg2 ′ ) [25,29], and with rank varieties, which are homeomorphic to the support varieties.…”