Drinfeld modules over a base#

This module provides the class sage.category.drinfeld_modules.DrinfeldModules.

AUTHORS:

Antoine Leudière (2022-04)
Xavier Caruso (2022-06)

class sage.categories.drinfeld_modules.DrinfeldModules(base_field, name='t')[source]#

Bases: Category_over_base_ring

This class implements the category of Drinfeld \(\mathbb{F}_q[T]\)-modules on a given base field.

Let \(\mathbb{F}_q[T]\) be a polynomial ring with coefficients in a finite field \(\mathbb{F}_q\) and let \(K\) be a field. Fix a ring morphism \(\gamma: \mathbb{F}_q[T] \to K\); we say that \(K\) is an \(\mathbb{F}_q[T]`*-field*. Let `K\{\tau\}\) be the ring of Ore polynomials with coefficients in \(K\), whose multiplication is given by the rule \(\tau \lambda = \lambda^q \tau\) for any \(\lambda \in K\).

The extension \(K\)/\(\mathbb{F}_q[T]\) (represented as an instance of the class sage.rings.ring_extension.RingExtension) is the base field of the category; its defining morphism \(\gamma\) is called the base morphism.

The monic polynomial that generates the kernel of \(\gamma\) is called the \(\mathbb{F}_q[T]\)-characteristic, or function-field characteristic, of the base field. We say that \(\mathbb{F}_q[T]\) is the function ring of the category; \(K\{\tau\}\) is the Ore polynomial ring. The constant coefficient of the category is the image of \(T\) under the base morphism.

Construction

Generally, Drinfeld modules objects are created before their category, and the category is retrieved as an attribute of the Drinfeld module:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C
Category of Drinfeld modules over Finite Field in z of size 11^4 over its base

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C
Category of Drinfeld modules over Finite Field in z of size 11^4 over its base

The output tells the user that the category is only defined by its base.

Properties of the category

The base field is retrieved using the method base().

sage: C.base() Finite Field in z of size 11^4 over its base

Equivalently, one can use base_morphism() to retrieve the base morphism:

Sage

sage: C.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field of size 11
  To:   Finite Field in z of size 11^4 over its base
  Defn: T |--> z^3 + 7*z^2 + 6*z + 10

Python

>>> from sage.all import *
>>> C.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field of size 11
  To:   Finite Field in z of size 11^4 over its base
  Defn: T |--> z^3 + 7*z^2 + 6*z + 10

The so-called constant coefficient — which is the same for all Drinfeld modules in the category — is simply the image of \(T\) by the base morphism:

Sage

sage: C.constant_coefficient()
z^3 + 7*z^2 + 6*z + 10
sage: C.base_morphism()(T) == C.constant_coefficient()
True

Python

>>> from sage.all import *
>>> C.constant_coefficient()
z^3 + 7*z^2 + 6*z + 10
>>> C.base_morphism()(T) == C.constant_coefficient()
True

Similarly, the function ring-characteristic of the category is either \(0\) or the unique monic polynomial in \(\mathbb{F}_q[T]\) that generates the kernel of the base:

Sage

sage: C.characteristic()
T^2 + 7*T + 2
sage: C.base_morphism()(C.characteristic())
0

Python

>>> from sage.all import *
>>> C.characteristic()
T^2 + 7*T + 2
>>> C.base_morphism()(C.characteristic())
0

The base field, base morphism, function ring and Ore polynomial ring are the same for the category and its objects:

Sage

sage: C.base() is phi.base()
True
sage: C.base_morphism() is phi.base_morphism()
True

sage: C.function_ring()
Univariate Polynomial Ring in T over Finite Field of size 11
sage: C.function_ring() is phi.function_ring()
True

sage: C.ore_polring()
Ore Polynomial Ring in t over Finite Field in z of size 11^4 over its base twisted by Frob
sage: C.ore_polring() is phi.ore_polring()
True

Python

>>> from sage.all import *
>>> C.base() is phi.base()
True
>>> C.base_morphism() is phi.base_morphism()
True

>>> C.function_ring()
Univariate Polynomial Ring in T over Finite Field of size 11
>>> C.function_ring() is phi.function_ring()
True

>>> C.ore_polring()
Ore Polynomial Ring in t over Finite Field in z of size 11^4 over its base twisted by Frob
>>> C.ore_polring() is phi.ore_polring()
True

Creating Drinfeld module objects from the category

Calling object() with an Ore polynomial creates a Drinfeld module object in the category whose generator is the input:

Sage

sage: psi = C.object([p_root, 1])
sage: psi
Drinfeld module defined by T |--> t + z^3 + 7*z^2 + 6*z + 10
sage: psi.category() is C
True

Python

>>> from sage.all import *
>>> psi = C.object([p_root, Integer(1)])
>>> psi
Drinfeld module defined by T |--> t + z^3 + 7*z^2 + 6*z + 10
>>> psi.category() is C
True

Of course, the constant coefficient of the input must be the same as the category:

Sage

sage: C.object([z, 1])
Traceback (most recent call last):
...
ValueError: constant coefficient must equal that of the category

Python

>>> from sage.all import *
>>> C.object([z, Integer(1)])
Traceback (most recent call last):
...
ValueError: constant coefficient must equal that of the category

It is also possible to create a random object in the category. The input is the desired rank:

Sage

sage: rho = C.random_object(2)
sage: rho  # random
Drinfeld module defined by T |--> (7*z^3 + 7*z^2 + 10*z + 2)*t^2 + (9*z^3 + 5*z^2 + 2*z + 7)*t + z^3 + 7*z^2 + 6*z + 10
sage: rho.rank() == 2
True
sage: rho.category() is C
True

Python

>>> from sage.all import *
>>> rho = C.random_object(Integer(2))
>>> rho  # random
Drinfeld module defined by T |--> (7*z^3 + 7*z^2 + 10*z + 2)*t^2 + (9*z^3 + 5*z^2 + 2*z + 7)*t + z^3 + 7*z^2 + 6*z + 10
>>> rho.rank() == Integer(2)
True
>>> rho.category() is C
True

Endsets()[source]#

Return the category of endsets.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()

sage: from sage.categories.homsets import Homsets
sage: C.Endsets() is Homsets().Endsets()
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()

>>> from sage.categories.homsets import Homsets
>>> C.Endsets() is Homsets().Endsets()
True

Homsets()[source]#

Return the category of homsets.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()

sage: from sage.categories.homsets import Homsets
sage: C.Homsets() is Homsets()
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()

>>> from sage.categories.homsets import Homsets
>>> C.Homsets() is Homsets()
True

class ParentMethods[source]#

Bases: object

base()[source]#

Return the base field of this Drinfeld module, viewed as an algebra over the function ring.

This is an instance of the class sage.rings.ring_extension.RingExtension.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.base()
Finite Field in z12 of size 5^12 over its base

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.base()
Finite Field in z12 of size 5^12 over its base

The base can be infinite:

Sage

sage: sigma = DrinfeldModule(A, [Frac(A).gen(), 1])
sage: sigma.base()
Fraction Field of Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2 over its base

Python

>>> from sage.all import *
>>> sigma = DrinfeldModule(A, [Frac(A).gen(), Integer(1)])
>>> sigma.base()
Fraction Field of Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2 over its base

base_morphism()[source]#

Return the base morphism of this Drinfeld module.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
  To:   Finite Field in z12 of size 5^12 over its base
  Defn: T |--> 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
  To:   Finite Field in z12 of size 5^12 over its base
  Defn: T |--> 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12

The base field can be infinite:

Sage

sage: sigma = DrinfeldModule(A, [Frac(A).gen(), 1])
sage: sigma.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
  To:   Fraction Field of Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2 over its base
  Defn: T |--> T

Python

>>> from sage.all import *
>>> sigma = DrinfeldModule(A, [Frac(A).gen(), Integer(1)])
>>> sigma.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
  To:   Fraction Field of Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2 over its base
  Defn: T |--> T

base_over_constants_field()[source]#

Return the base field, seen as an extension over the constants field \(\mathbb{F}_q\).

This is an instance of the class sage.rings.ring_extension.RingExtension.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.base_over_constants_field()
Field in z12 with defining polynomial x^6 + (4*z2 + 3)*x^5 + x^4 + (3*z2 + 1)*x^3 + x^2 + (4*z2 + 1)*x + z2 over its base

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.base_over_constants_field()
Field in z12 with defining polynomial x^6 + (4*z2 + 3)*x^5 + x^4 + (3*z2 + 1)*x^3 + x^2 + (4*z2 + 1)*x + z2 over its base

characteristic()[source]#

Return the function ring-characteristic.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.characteristic()
T^2 + (4*z2 + 2)*T + 2
sage: phi.base_morphism()(phi.characteristic())
0

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.characteristic()
T^2 + (4*z2 + 2)*T + 2
>>> phi.base_morphism()(phi.characteristic())
0

Sage

sage: B.<Y> = Fq[]
sage: L = Frac(B)
sage: psi = DrinfeldModule(A, [L(1), 0, 0, L(1)])
sage: psi.characteristic()
Traceback (most recent call last):
...
NotImplementedError: function ring characteristic not implemented in this case

Python

>>> from sage.all import *
>>> B = Fq['Y']; (Y,) = B._first_ngens(1)
>>> L = Frac(B)
>>> psi = DrinfeldModule(A, [L(Integer(1)), Integer(0), Integer(0), L(Integer(1))])
>>> psi.characteristic()
Traceback (most recent call last):
...
NotImplementedError: function ring characteristic not implemented in this case

constant_coefficient()[source]#

Return the constant coefficient of the generator of this Drinfeld module.

OUTPUT: an element in the base field

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.constant_coefficient() == p_root
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.constant_coefficient() == p_root
True

Let \(\mathbb{F}_q[T]\) be the function ring, and let \(\gamma\) be the base of the Drinfeld module. The constant coefficient is \(\gamma(T)\):

Sage

sage: C = phi.category()
sage: base = C.base()
sage: base(T) == phi.constant_coefficient()
True

Python

>>> from sage.all import *
>>> C = phi.category()
>>> base = C.base()
>>> base(T) == phi.constant_coefficient()
True

Naturally, two Drinfeld modules in the same category have the same constant coefficient:

Sage

sage: t = phi.ore_polring().gen()
sage: psi = C.object(phi.constant_coefficient() + t^3)
sage: psi
Drinfeld module defined by T |--> t^3 + 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12

Python

>>> from sage.all import *
>>> t = phi.ore_polring().gen()
>>> psi = C.object(phi.constant_coefficient() + t**Integer(3))
>>> psi
Drinfeld module defined by T |--> t^3 + 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12

Reciprocally, it is impossible to create two Drinfeld modules in this category if they do not share the same constant coefficient:

Sage

sage: rho = C.object(phi.constant_coefficient() + 1 + t^3)
Traceback (most recent call last):
...
ValueError: constant coefficient must equal that of the category

Python

>>> from sage.all import *
>>> rho = C.object(phi.constant_coefficient() + Integer(1) + t**Integer(3))
Traceback (most recent call last):
...
ValueError: constant coefficient must equal that of the category

function_ring()[source]#

Return the function ring of this Drinfeld module.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: phi.function_ring()
Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
sage: phi.function_ring() is A
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> phi.function_ring()
Univariate Polynomial Ring in T over Finite Field in z2 of size 5^2
>>> phi.function_ring() is A
True

ore_polring()[source]#

Return the Ore polynomial ring of this Drinfeld module.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])
sage: S = phi.ore_polring()
sage: S
Ore Polynomial Ring in t over Finite Field in z12 of size 5^12 over its base twisted by Frob^2

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])
>>> S = phi.ore_polring()
>>> S
Ore Polynomial Ring in t over Finite Field in z12 of size 5^12 over its base twisted by Frob^2

The Ore polynomial ring can also be retrieved from the category of the Drinfeld module:

Sage

sage: S is phi.category().ore_polring()
True

Python

>>> from sage.all import *
>>> S is phi.category().ore_polring()
True

The generator of the Drinfeld module is in the Ore polynomial ring:

Sage

sage: phi(T) in S
True

Python

>>> from sage.all import *
>>> phi(T) in S
True

ore_variable()[source]#

Return the variable of the Ore polynomial ring of this Drinfeld module.

EXAMPLES:

Sage

sage: Fq = GF(25)
sage: A.<T> = Fq[]
sage: K.<z12> = Fq.extension(6)
sage: p_root = 2*z12^11 + 2*z12^10 + z12^9 + 3*z12^8 + z12^7 + 2*z12^5 + 2*z12^4 + 3*z12^3 + z12^2 + 2*z12
sage: phi = DrinfeldModule(A, [p_root, z12^3, z12^5])

sage: phi.ore_polring()
Ore Polynomial Ring in t over Finite Field in z12 of size 5^12 over its base twisted by Frob^2
sage: phi.ore_variable()
t

Python

>>> from sage.all import *
>>> Fq = GF(Integer(25))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(6), names=('z12',)); (z12,) = K._first_ngens(1)
>>> p_root = Integer(2)*z12**Integer(11) + Integer(2)*z12**Integer(10) + z12**Integer(9) + Integer(3)*z12**Integer(8) + z12**Integer(7) + Integer(2)*z12**Integer(5) + Integer(2)*z12**Integer(4) + Integer(3)*z12**Integer(3) + z12**Integer(2) + Integer(2)*z12
>>> phi = DrinfeldModule(A, [p_root, z12**Integer(3), z12**Integer(5)])

>>> phi.ore_polring()
Ore Polynomial Ring in t over Finite Field in z12 of size 5^12 over its base twisted by Frob^2
>>> phi.ore_variable()
t

base_morphism()[source]#

Return the base morphism of the category.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field of size 11
  To:   Finite Field in z of size 11^4 over its base
  Defn: T |--> z^3 + 7*z^2 + 6*z + 10

sage: C.constant_coefficient() == C.base_morphism()(T)
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.base_morphism()
Ring morphism:
  From: Univariate Polynomial Ring in T over Finite Field of size 11
  To:   Finite Field in z of size 11^4 over its base
  Defn: T |--> z^3 + 7*z^2 + 6*z + 10

>>> C.constant_coefficient() == C.base_morphism()(T)
True

base_over_constants_field()[source]#

Return the base field, seen as an extension over the constants field \(\mathbb{F}_q\).

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.base_over_constants_field()
Field in z with defining polynomial x^4 + 8*x^2 + 10*x + 2 over its base

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.base_over_constants_field()
Field in z with defining polynomial x^4 + 8*x^2 + 10*x + 2 over its base

characteristic()[source]#

Return the function ring-characteristic.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.characteristic()
T^2 + 7*T + 2

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.characteristic()
T^2 + 7*T + 2

Sage

sage: psi = DrinfeldModule(A, [Frac(A).gen(), 1])
sage: C = psi.category()
sage: C.characteristic()
0

Python

>>> from sage.all import *
>>> psi = DrinfeldModule(A, [Frac(A).gen(), Integer(1)])
>>> C = psi.category()
>>> C.characteristic()
0

constant_coefficient()[source]#

Return the constant coefficient of the category.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.constant_coefficient()
z^3 + 7*z^2 + 6*z + 10
sage: C.constant_coefficient() == C.base()(T)
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.constant_coefficient()
z^3 + 7*z^2 + 6*z + 10
>>> C.constant_coefficient() == C.base()(T)
True

function_ring()[source]#

Return the function ring of the category.

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.function_ring()
Univariate Polynomial Ring in T over Finite Field of size 11
sage: C.function_ring() is A
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.function_ring()
Univariate Polynomial Ring in T over Finite Field of size 11
>>> C.function_ring() is A
True

object(gen)[source]#

Return a Drinfeld module object in the category whose generator is the input.

INPUT:

gen – the generator of the Drinfeld module, given as an Ore polynomial or a list of coefficients

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: psi = DrinfeldModule(A, [p_root, 1])
sage: C = psi.category()

sage: phi = C.object([p_root, 0, 1])
sage: phi
Drinfeld module defined by T |--> t^2 + z^3 + 7*z^2 + 6*z + 10
sage: t = phi.ore_polring().gen()
sage: C.object(t^2 + z^3 + 7*z^2 + 6*z + 10) is phi
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> psi = DrinfeldModule(A, [p_root, Integer(1)])
>>> C = psi.category()

>>> phi = C.object([p_root, Integer(0), Integer(1)])
>>> phi
Drinfeld module defined by T |--> t^2 + z^3 + 7*z^2 + 6*z + 10
>>> t = phi.ore_polring().gen()
>>> C.object(t**Integer(2) + z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)) is phi
True

ore_polring()[source]#

Return the Ore polynomial ring of the category

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.ore_polring()
Ore Polynomial Ring in t over Finite Field in z of size 11^4 over its base twisted by Frob

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.ore_polring()
Ore Polynomial Ring in t over Finite Field in z of size 11^4 over its base twisted by Frob

random_object(rank)[source]#

Return a random Drinfeld module in the category with given rank.

INPUT:

rank – an integer, the rank of the Drinfeld module

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()

sage: psi = C.random_object(3)  # random
Drinfeld module defined by T |--> (6*z^3 + 4*z^2 + 10*z + 9)*t^3 + (4*z^3 + 8*z^2 + 8*z)*t^2 + (10*z^3 + 3*z^2 + 6*z)*t + z^3 + 7*z^2 + 6*z + 10
sage: psi.rank() == 3
True

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()

>>> psi = C.random_object(Integer(3))  # random
Drinfeld module defined by T |--> (6*z^3 + 4*z^2 + 10*z + 9)*t^3 + (4*z^3 + 8*z^2 + 8*z)*t^2 + (10*z^3 + 3*z^2 + 6*z)*t + z^3 + 7*z^2 + 6*z + 10
>>> psi.rank() == Integer(3)
True

super_categories()[source]#

EXAMPLES:

Sage

sage: Fq = GF(11)
sage: A.<T> = Fq[]
sage: K.<z> = Fq.extension(4)
sage: p_root = z^3 + 7*z^2 + 6*z + 10
sage: phi = DrinfeldModule(A, [p_root, 0, 0, 1])
sage: C = phi.category()
sage: C.super_categories()
[Category of objects]

Python

>>> from sage.all import *
>>> Fq = GF(Integer(11))
>>> A = Fq['T']; (T,) = A._first_ngens(1)
>>> K = Fq.extension(Integer(4), names=('z',)); (z,) = K._first_ngens(1)
>>> p_root = z**Integer(3) + Integer(7)*z**Integer(2) + Integer(6)*z + Integer(10)
>>> phi = DrinfeldModule(A, [p_root, Integer(0), Integer(0), Integer(1)])
>>> C = phi.category()
>>> C.super_categories()
[Category of objects]