The conjectured kernel-invariant dimensions for Kameko's squaring map
Let k=Z2k=\mathbb Z_2k=Z2, let P4=k[x1,x2,x3,x4]P_4=k[x_1,x_2,x_3,x_4]P4=k[x1,x2,x3,x4], and write Q⊗4=k⊗AP4Q^{\otimes 4}=k\otimes_A P_4Q⊗4=k⊗AP4. For a positive integer sss, Kameko's squaring operation is the kGL4(k)kGL_4(k)kGL4(k)-module epimor…