The pre-Tannakian and semisimplicity conjecture for symplectic interpolation categories
Fix a finite field F\mathbf{F}F of odd cardinality qqq. For n≥0n\geq 0n≥0, let Hn=Sp2n(F)H_n=\operatorname{\mathbf{Sp}}_{2n}(\mathbf{F})Hn=Sp2n(F), let knk_nkn be an algebraically closed field, and let…