Rational extension from SL to GL
ID: rational-extension-from-sl-to-gl
Split a rational representation by its finite scalar center: on , for . The displayed extension is independent of the scalar-root choice and is a group homomorphism. A matrix coefficient of can be represented on by a sum of homogeneous polynomials with , by averaging over the scalar center. Its extension is , a regular function on . Every invariant subspace remains invariant under this extension, so irreducibility is preserved in both directions.
New to topics? Read the docs here!