Determinant separation for positive-characteristic SL2
ID: determinant-separation-for-positive-characteristic-sl2
Choose a torus-invariant functional nonzero on a fixed vector, and map the representation to right-torus-invariant matrix coefficients on . These functions lie in a finite filtration by polynomials of bidegree in the two matrix columns. For , all binomial coefficients are nonzero in characteristic , so the invariant tensor given by the determinant to power induces an invertible map from the symmetric power's dual to itself. The filtration piece becomes its endomorphism space, with the constant function corresponding to the identity. The endomorphism determinant is an invariant degree- polynomial equal to one there; composing it with the original representation map proves geometric reductivity.
New to topics? Read the docs here!