Introduction
Motivation
Definitions
The Principal Series
Supercuspidal Representations
The Local Langlands Correspondence
Connection with Modular Forms
Category
Verbose Output
Creation of Admissible Representations LocalComponent(M, p) : ModSym, RngIntElt -> RepLoc Example RepLoc_creation-example (H128E1)
Attributes of Admissible Representations CentralCharacter(pi) : RepLoc -> GrpDrchElt Conductor(pi) : RepLoc -> RngIntElt DefiningModularSymbolsSpace(pi) : RepLoc -> ModSym IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc Example RepLoc_attributes-example (H128E2)
Structure of Admissible Representations IsPrincipalSeries(pi) : RepLoc -> BoolElt IsSupercuspidal(pi) : RepLoc -> BoolElt PrincipalSeriesParameters(pi) : RepLoc -> GrpDrchElt, GrpDrchElt CuspidalInducingDatum(pi) : RepLoc -> ModGrp
Local Galois Representations GaloisRepresentation(pi) : RepLoc -> GrpPerm, Map, RngPad, ModGrp AdmissiblePair(pi) : RepLoc -> RngPad, Map
Examples Example RepLoc_example1 (H128E3) Example RepLoc_example2 (H128E4)
Bibliography [Next][Prev] [Right] [____] [Up] [Index] [Root]
