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!