Attributes of Admissible Representations

CentralCharacter(pi) : RepLoc -> GrpDrchElt
The central character of π, where π is an admissible representation on GL(Qp). This is a Dirichlet character of p-power conductor.
Conductor(pi) : RepLoc -> RngIntElt
The conductor of π, written multiplicatively.
DefiningModularSymbolsSpace(pi) : RepLoc -> ModSym
The space of modular symbols from which π was created.
IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc
Given a representation π of GL2(Qp), returns true if the conductor of π cannot be lowered by twisting by a character of Qp x . If π is not minimal, the function also returns a minimal representation πprime together with a Dirichlet character χ, such that π is the twist of πprime by χ.

This is true iff IsMinimalTwist(DefiningModularSymbolsSpace(pi)) is true.

Example RepLoc_attributes-example (H148E2)

We continue the previous example. 
> S11 := CuspidalSubspace(ModularSymbols(11, 2, 1));
> E11 := NewformDecomposition(S11)[1];
> E11;
Modular symbols space for Gamma_0(11) of weight 2 and dimension 1
   over Rational Field
> pi := LocalComponent(E11, 11);
> pi;
Steinberg Representation of GL(2,Q_11)
> DefiningModularSymbolsSpace(pi) eq E11;
true
> Conductor(pi);
11
> IsTrivial(CentralCharacter(pi));
true
V2.28, 13 July 2023