The Monodromy Pairing#
The monodromy pairing is a nondegenerate Hecke equivariant integer valued pairing on the module of supersingular points. (Note that it is not perfect, in general.) This pairing is simple to describe in terms of the basis for the supersingular module given by the enhanced supersingular elliptic curves. If \(E\) and \(F\) are two supersingular elliptic curve in characteristic \(p\) equipped with level \(N\) structure, then \(E\) and \(F\) pair to \(0\) unless \(E\cong F\), in which case they pair to half the number of automorphisms of \(E\).
- MonodromyPairing(P, Q): ModSSElt, ModSSElt -> RngIntElt#
The monodromy pairing of elements \(P\) and \(Q\) of a supersingular module.
- MonodromyWeights(M): ModSS -> SeqEnum#
The diagonal entries that define the monodromy pairing on the ambient space.
- Example: Monodromy (ex-894027)#
We compute the Brandt module and modular symbols spaces associated to the supersingular module for \(p=3\), \(N=11\), and verify that \(T_2\) acts in a compatible way on them.
> M := SupersingularModule(11); > MonodromyWeights(M); [ 2, 3 ] > P := Basis(CuspidalSubspace(M))[1]; P; (1, 1) - (0, 0) > Q := Basis(EisensteinSubspace(M))[1]; Q; 3*(1, 1) + 2*(0, 0) > Basis(M); [ (1, 1), (0, 0) ] > MonodromyPairing(P,Q); 0 > MonodromyPairing(P,P); 5