Spaces of differentials of function fields can be created and the differentials belonging to them manipulated. Divisors can be created from differentials and modules generated by a collection of differentials can be formed.
The space of differentials of the algebraic function field F/k.
The simplest ways of creating a differential are given below.
Create the differential d(a).
The identity differential.
Returns true iff the divisor D is canonical and a differential having D as its divisor.
The function field of the differentials in D.
The function field of the differential d.
A vector space and the isomorphism from this space to the space of differentials of the first kind (holomorphic differentials) of F/k.
A basis of the space of differentials of the first kind (holomorphic differentials) of F/k.
A basis of the space of differentials of the divisor D:Computes a basis for the space of differentials Omega(D) := { omegain Omega(F/k) | (omega) >= D } for a divisor D of an algebraic function field F/k.
A vector space and the isomorphism from this space to the differential space of the divisor D.
> Q := Rationals(); > Qx<x> := PolynomialRing(Q); > Qxy<y> := PolynomialRing(Qx); > f1 := y^2 - (x-1)*(x-2)*(x-3)*(x-5)*(x-6); > F := FunctionField(f1); > d := Divisor(F.1) + Divisor(F!BaseRing(F).1); > V1 := DifferentialSpace(d); > d := 2*Divisor(F.1) - Divisor(F!BaseRing(F).1); > V2 := DifferentialSpace(d); > V1; KModule V1 of dimension 2 over Rational Field > V2; KModule V2 of dimension 2 over Rational Field > V1 meet V2; KModule of dimension 0 over Rational Field > D := DifferentialSpace(F); > v := V1 ! [2/9, 4/9]; v; V1: (2/9 4/9) > D!v; ((4/9) ^ 1 * (x + 1/2) ^ 1 * (x) ^ 1) d(x) > V1!$1; V1: (2/9 4/9)
Return true if D1 and D2 are the same.
A number of general operations for elements are also provided for differentials as well as a number of specific functions for differentials.
The operations on differentials are inherited from the vector space structure of the space of differentials. Additionally, this space is one--dimensional as a vector space over the function field itself. The quotient x/y of two differentials x and y then gives the unique r in F such that x = ry.
Returns true if x and y are the same differential.
Returns true if x is in D.
Return whether d is known to be an exact differential. If true additionally return a generator. If d is not already known to be exact then no attempts to determine whether d is exact or not are currently undertaken.
Return true if d is the zero differential.
The valuation of the differential d at the place P.
The divisor (d) of the differential d.
IsBasis: BoolElt Default: false
PreImages: BoolElt Default: false
The R-module generated by the elements in the sequence L as an abstract module, together with the map into the space of differentials. The resulting modules can be used for intersection and inner sum computations.If the optional parameter IsBasis is set true the function assumes that the given elements form a basis of the module to be computed.
If the optional parameter PreImages is set true then the preimages of the given elements under the map are returned as the third return value.
Both optional parameters are mainly used to save computation time.
The module of R-linear relations between the elements of the sequence L. The parameter m is used for the following: Let the elements of L be a_1, ..., a_n, V be the relation module subseteq R^n and define M := { sum_(i=1)^m v_i a_i | v = (v_i)_i in V }. The function tries to compute a generating system of V such that the corresponding generating system of M consists of "small" elements.
The result of applying the Cartier operator r times to b. More precisely:Let F/k be a function field over the perfect field k, x in F be a separating variable and b = g dx in Omega(F/k) with g in F be a differential. The Cartier operator is defined by C(b) := ( - d^(p - 1) g / dx^(p - 1) )^(1/p) dx. This function computes the r-th iterated application of C to b.
Compute a row representation matrix of the Cartier operator on a basis of the space of holomorphic differentials of F/k (applied r times). More precisely: Let F/k be a function field over the perfect field k, omega_1, ..., omega_g in Omega(F/k) be a basis for the holomorphic differentials and r in Z^( >= 1). Let M = (lambda_(i, j))_(i, j) in k^(g x g) be the matrix such that C^r(omega_i) = sum_(m=1)^g lambda_(i, m) omega_m for all 1 <= i <= g. This function returns M and (omega_1, ..., omega_g).[Next][Prev] [Right] [Left] [Up] [Index] [Root]