adams_johnson.at

Adams–Johnson modules: unitary representations attached to \( heta\)-stable parabolics.

Lines:
90
Definitions:
22
Dependencies:
basic.atparabolics.atfinite_dimensional.atinduction.atL_packet.athermitian.at
Source:
GitHub
Mathematical background

An Adams–Johnson module is a representation cohomologically induced from a unitary character on a \(\theta\)-stable parabolic subalgebra. These are always unitary.

Definitions

NameSignatureDescription
Aq_reducible_long(KGBElt x,ratvec lambda, ratvec lambda_q) =
Aq_long(KGBElt x_in,ratvec lambda, ratvec lambda_q) =
Aq_long(KGBElt x, ratvec lambda) = (KGPElt, Param, ParamPol):
Aq_reducible_longG, ratvec lambda, ratvec lambda_q)=Aq_reducible_long(KGB(G,0),lambda,lambda_q)
Aq_reducible_longG, ratvec lambda)=Aq_reducible_long(KGB(G,0),lambda,lambda)
Aq_longG, ratvec lambda, ratvec lambda_q)=Aq_long(KGB(G,0),lambda,lambda_q)
Aq_longG, ratvec lambda)=Aq_long(KGB(G,0),lambda,lambda)
same_complex_parabolicsP)=
Aq_stable_longx,ratvec lambda)=[(Param,Param)]:
Aq_stable_longG,ratvec lambda)=[(Param,Param)]:Aq_stable_long(KGB(G,0),lambda)
Aq_stablex,ratvec lambda)=ParamPol:
Aq_stableG,ratvec lambda)=ParamPol: Aq_stable(KGB(G,0),lambda)
Aq_stable_testx,ratvec lambda)=
Aq_stable_testG,ratvec lambda)=Aq_stable_test(KGB(G,0),lambda)
parabolics
lambda
Aq_rhox,ratvec lambda_q)=
Aq_rhoG,ratvec lambda_q)=Aq_rho(KGB(G,0),lambda_q)
Aq_rho_stablex,ratvec lambda_q)=
Aq_rho_stableG,ratvec lambda_q)=Aq_rho_stable(KGB(G,0),lambda_q)
Aq_rho_stable_testx,ratvec lambda_q)=
Aq_rho_stable_testG,ratvec lambda)=Aq_rho_stable_test(KGB(G,0),lambda)