Dirichlet and Hecke Characters
- Introduction
- Creation Functions
- Functions on Groups and Group Elements
Modulus(G): GrpDrchNF → RngOrdIdl, SeqEnum
Modulus(G): GrpHecke → RngOrdIdl, SeqEnum
Modulus(chi): GrpDrchNFElt → RngOrdIdl, SeqEnum
Modulus(chi): GrpHeckeElt → RngOrdIdl, SeqEnum
Order(chi): GrpDrchNFElt → RngIntElt
Order(psi): GrpHeckeElt → RngIntElt
Random(G): GrpDrchNF → GrpDrchNFElt
Random(G): GrpHecke → GrpHeckeElt
Domain(G): GrpDrchNF → FldNum
Domain(G): GrpDrchNFElt → FldNum
Domain(G): GrpHecke → PowIdl
Domain(G): GrpHeckeElt → PowIdl
Decomposition(chi): GrpDrchNFElt → List
Components(chi): GrpDrchNFElt → Assoc
Components(psi): GrpHeckeElt → Assoc
Component(chi, P): GrpDrchNFElt, RngOrdIdl → GrpDrchNFEl
Component(psi, P): GrpHeckeElt, RngOrdIdl → GrpDrchNFElt
Component(chi, oo): GrpDrchNFElt, RngIntElt → GrpDrchNFEl
Component(psi, oo): GrpHeckeElt, RngIntElt → GrpDrchNFElt
Component(chi, P): GrpDrchNFElt, PlcNumElt → GrpDrchNFEl
Component(psi, P): GrpHeckeElt, PlcNumElt → GrpDrchNFElt
Conductor(chi): GrpDrchNFElt → RngOrdIdl, SeqEnum
Conductor(psi): GrpHeckeElt → RngOrdIdl, SeqEnum
AssociatedPrimitiveCharacter(chi): GrpDrchNFElt → GrpDrchNFElt
AssociatedPrimitiveCharacter(psi): GrpHeckeElt → GrpHeckeElt
Restrict(chi, D): GrpDrchNFElt, GrpDrchNF → GrpDrchNFElt
Restrict(psi, H): GrpHeckeElt, GrpHecke → GrpHeckeElt
Restrict(chi, I): GrpDrchNFElt, RngOrdIdl → GrpDrchNFElt
Restrict(psi, I): GrpHeckeElt, RngOrdIdl → GrpHeckeElt
Restrict(chi, I, oo): GrpDrchNFElt, RngOrdIdl, SeqEnum → GrpDrchNFElt
Restrict(psi, I, oo): GrpHeckeElt, RngOrdIdl, SeqEnum → GrpHeckeElt
Restrict(G, D): GrpDrchNF, GrpDrchNF → GrpDrchNF
Restrict(G, H): GrpHecke, GrpHecke → GrpHecke
Restrict(G, I): GrpDrchNF, RngOrdIdl → GrpDrchNF
Restrict(G, I): GrpHecke, RngOrdIdl → GrpHecke
Restrict(G, I, oo): GrpDrchNF, RngOrdIdl, SeqEnum → GrpDrchNF
Restrict(G, I, oo): GrpHecke, RngOrdIdl, SeqEnum → GrpHecke
TargetRestriction(G, C): GrpDrchNF, FldCyc → GrpDrchNF
TargetRestriction(H, C): GrpHecke, FldCyc → GrpDrchNF
SetTargetRing(~ chi, e): GrpDrchNFElt, RngElt
SetTargetRing(~ psi, e): GrpHeckeElt, RngElt
Extend(chi, D): GrpDrchNFElt, GrpDrchNF → GrpDrchNFElt
Extend(psi, H): GrpHeckeElt, GrpHecke → GrpHeckeElt
Extend(chi, I): GrpDrchNFElt, RngOrdIdl → GrpDrchNFElt
Extend(psi, I): GrpHeckeElt, RngOrdIdl → GrpHeckeElt
Extend(chi, I, oo): GrpDrchNFElt, RngOrdIdl, SeqEnum → GrpDrchNFElt
Extend(psi, I, oo): GrpHeckeElt, RngOrdIdl, SeqEnum → GrpHeckeElt
Extend(G, D): GrpDrchNF, GrpDrchNF → GrpDrchNF
Extend(G, H): GrpHecke, GrpHecke → GrpHecke
Extend(G, I): GrpDrchNF, RngOrdIdl → GrpDrchNF
Extend(G, I): GrpHecke, RngOrdIdl → GrpHecke
Extend(G, I, oo): GrpDrchNF, RngOrdIdl, SeqEnum → GrpDrchNF
Extend(G, I, oo): GrpHecke, RngOrdIdl, SeqEnum → GrpHecke
- Predicates on Group Elements
- Passing between Dirichlet and Hecke Characters
HeckeLift(chi): GrpDrchNFElt → GrpHeckeElt, GrpHecke
DirichletRestriction(psi): GrpHeckeElt → GrpDrchNFElt
NormInduction(K, chi): FldNum, GrpDrchElt → GrpHeckeElt
QuadraticCharacter(e): FldNumElt → GrpHeckeElt
Example: dirichlet Q
Example: Simple Char Ops
DirichletCharacter(I, B): RngOrdIdl, Tup → GrpDrchNFElt, GrpDrchNF
DirichletCharacter(I, oo, B): RngOrdIdl, SeqEnum, Tup → GrpDrchNFElt, GrpDrchNF
DirichletCharacter(G, B): GrpDrchNF, Tup → GrpDrchNFElt, GrpDrchNF
DirichletCharacter(I, L): RngOrdIdl, List → GrpDrchNFElt, GrpDrchNF
DirichletCharacter(I, oo, L): RngOrdIdl, SeqEnum, List → GrpDrchNFElt, GrpDrchNF
DirichletCharacter(G, L): GrpDrchNF, List → GrpDrchNFElt, GrpDrchNF
HeckeCharacter(I, B): RngOrdIdl, Tup → GrpHeckeElt
HeckeCharacter(I, oo, B): RngOrdIdl, SeqEnum, Tup → GrpHeckeElt
HeckeCharacter(G, B): GrpHecke, Tup → GrpHeckeElt
HeckeCharacter(I, L): RngOrdIdl, List → GrpHeckeElt
HeckeCharacter(I, oo, L): RngOrdIdl, SeqEnum, List → GrpHeckeElt
HeckeCharacter(G, L): GrpHecke, List → GrpHeckeElt
Example: Dirichlet Hecke
CentralCharacter(chi): GrpDrchNFElt → GrpDrchNFElt
CentralCharacter(psi): GrpHeckeElt → GrpDrchNFElt
Example: Central Chars
DirichletCharacterOverNF(chi): GrpDrchElt → GrpDrchNFElt
DirichletCharacterOverQ(chi): GrpDrchNFElt → GrpDrchElt
Example: Dirich Chars Over Nf And Q
- L-functions of Hecke Characters
- Hecke Grössencharacters and their L-functions
Grossencharacter(psi, chi, T): GrpHeckeElt, GrpDrchNFElt, SeqEnum → GrossenChar
RawEval(I, GR): RngOrdFracIdl, GrossenChar → FldNumElt, FldCycElt, FldCycElt
Grossencharacter(psi, T): GrpHeckeElt, SeqEnum → GrossenChar
Conductor(GR): GrossenChar → RngOrdIdl, SeqEnum
Modulus(GR): GrossenChar → RngOrdIdl, SeqEnum
IsPrimitive(GR): GrossenChar → BoolElt
AssociatedPrimitiveGrossencharacter(psi): GrossenChar → GrossenChar
Components(GR): GrossenChar → Assoc
Component(GR, P): GrossenChar, RngOrdIdl → GrpDrchNFEl
Component(GR, oo): GrossenChar, RngIntElt → GrpDrchNFEl
Component(GR, P): GrossenChar, PlcNumElt → GrpDrchNFEl
Extend(GR, I): GrossenChar, RngOrdIdl → GrossenChar
Restrict(GR, I): GrossenChar, RngOrdIdl → GrossenChar
CentralCharacter(GR): GrossenChar → GrpDrchNFElt
GrossenTwist(GR, D): GrossenChar, List → GrossenChar, GrpHecke
TateTwist(GR, n): GrossenChar, RngIntElt → GrossenChar
TateTwist(psi, n): GrpHeckeElt, RngIntElt → GrossenChar
Example: Grossenchar Gaussian
Example: Grossenchar Sqrt23
Example: Grossenchar Symcubed Sqrt59
Example: Grossen Char Cyclo5
Example: Grossenchar Embedding
Example: Grossen Large Gamma
Example: Grossen Cyclo8
Example: Hypgeom Mot
- Local Root Numbers
RootNumber(GR, P): GrossenChar, RngOrgIdl → FldComElt
RootNumber(psi, P): GrpHeckeElt, RngOrgIdl → FldComElt
RootNumber(GR, P): GrossenChar, PlcNumElt → FldComElt
RootNumber(psi, P): GrpHeckeElt, PlcNumElt → FldComElt
RootNumber(GR, p): GrossenChar, RngIntElt → FldComElt
RootNumber(psi, p): GrpHeckeElt, RngIntElt → FldComElt
RootNumbers(GR): GrossenChar → SeqEnum
RootNumbers(psi): GrossenChar → SeqEnum
RootNumber(GR): GrossenChar → SeqEnum
RootNumber(psi): GrossenChar → SeqEnum
Example: Rootno 27a
Example: Rohrlich Rootno
- Grössencharacters and Elliptic Curves