Let us now give an overview of the functionalities of the package.
In Magma, varphi-modules have type PhiMod. Elements of varphi-modules have type PhiModElt.
F: SeqEnum Default: [1,p]
Create the varphi-module whose matrix is given by M in some basis. The optional argument F describes the action of the Frobenius on coefficients: if F = [s, b] then varphi acts by a |-> aps on the residue field and maps the variable u to ub. The default value is [1, p] where p is the characteristic of the base field, corresponding to the absolute Frobenius.
F: SeqEnum Default: [1,p]
Create the varphi-module D(d, s) whose matrix is the companion matrix of Td - us.
Create the element of the varphi-module D whose coordinates are given by the vector x.
The dimension of a varphi-module.
The coefficient ring of a varphi-module.
Return the matrix of the action of varphi on D in the current basis.
Return true if the action of varphi on D is injective. This is only possible up to the precision of the coefficient ring of D.
Change the precision of the coefficient ring of D to prec.
The direct sum of two varphi-modules. The coefficient rings and Frobenius action on the coefficients must be the same.
Change the basis of D. The base change matrix is P, meaning that if G is the current matrix of varphi, the new matrix will be P - 1G varphi(P).
Randomly change the basis of D.
Compute the image of x ∈D under the action of varphi.
Compute a Jordan-Holder sequence for the varphi-module D. The result G, P, sl, pol is as follows: G is the matrix of varphi in a basis where it is block upper triangular, with diagonal blocks corresponding to simple varphi-modules. The matrix P gives the corresponding basis. The list sl is the list of the slopes of D, and the list pol is a list of polynomials. The isomorphism class of a simple block of G is determined by the corresponding slope and polynomial.
Compute the list of slopes of D (with multiplicities).
Compute the semisimplification of the Galois representation corresponding to D.
This part is dedicated to the study of representations of absolute Galois groups of fields of the form k((u)) with k finite, and with coefficients in finite fields. The implementation is for semisimple representations, and these are described by their tame inertia weights and polynomials giving the action of the Frobenius on the unramified part.
In Magma, semisimple Galois representations have type SSGalRep.
Create the semisimple representation of the absolute Galois group of K with coefficients in E, tame inertia weights given by w, and action of the Frobenius described by the elements of the list P.
The coefficient ring.
The fixed field of the absolute Galois group of which V is a representation.
The tame inertia weights of V.
If D is a varphi-module over a field K of Laurent series this returns the semisimplification of the representation associated to D.