Abstract:The primary objective of this paper is to derive explicit formulas for rank one and rank two Drinfeld modules over a specific domain denoted by A. This domain corresponds to the projective line associated with an infinite place of degree two. To achieve the goals, we construct a pair of standard Drinfeld modules whose coefficients are in the Hilbert class field of A. We demonstrate that the period lattice of the exponential functions corresponding to both modules behaves similarly to the period lattice of the Carlitz module, the standard rank one Drinfeld module defined over rational function field. Moreover, we employ Andersons t-motive to obtain the complete family of rank two Drinfeld modules. This family is parameterized by the invariant J = \lambda^{q^2+1} which effectively serves as the counterpart of the j-invariant for elliptic curves. Building upon the concepts introduced by van~der~Heiden, particularly with regard to rank two Drinfeld modules, we are able to reformulate the Weil pairing of Drinfeld modules of any rank using a specialized polynomial in multiple variables known as the Weil operator. As an illustrative example, we provide a detailed examination of a more explicit formula for the Weil pairing and the Weil operator of rank two Drinfeld modules over the domain A.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to derive the specific formulas of Drinfeld modules of rank one and rank two over a specific domain \(A\). Specifically:
1. **Define the specific domain \(A\)**: The paper considers the affine domain \(A\) of the projective line corresponding to the quadratic point at infinity, which satisfies the relation:
\[
y^2 - \text{Tr}(\zeta)xy + \zeta^{q + 1}x^2 - x = 0
\]
where \(\zeta\) is a generator of the finite field \(F_{q^2}\).
2. **Construct the standard rank - one Drinfeld module**: To achieve the goal, the author constructs a pair of standard rank - one Drinfeld modules with coefficients in the Hilbert class field of \(A\), and proves that the period lattices corresponding to the exponential functions of these modules are similar to the period lattice of the Carlitz module (the standard rank - one Drinfeld module defined on the rational function field).
3. **Rank - two Drinfeld module**: Using Anderson's \(t\)-motive theory, the author obtains the complete family of rank - two Drinfeld modules. This family of modules is parameterized by the invariant \(J=\lambda q^{2}+1\), which is equivalent to the \(j\)-invariant of an elliptic curve.
4. **Weil pairing**: Based on van der Heiden's work, especially the research on rank - two Drinfeld modules, the author reformulates the Weil pairing of Drinfeld modules of arbitrary rank, represented by a multivariate polynomial called the Weil operator. In addition, the paper provides a more specific example of the formula for the Weil pairing and the Weil operator of rank - two Drinfeld modules.
### Formula summary
- **Rank - one Drinfeld module**:
\[
\begin{cases}
\Psi_x = T_\sigma^{-1}\tau^2+(T_\sigma + T^{q - 1}+\sigma)\tau + x\\
\Psi_y=\zeta T_\sigma^{-1}\tau^2+(tT_\sigma+\zeta T^{q - 1}+\sigma)\tau + y
\end{cases}
\]
- **Rank - two Drinfeld module**:
\[
\Phi_J =
\begin{cases}
\Phi_J^x = J^{q^2+q}\tau^4+\left(J^{q^2+q}-J^{q + 1}\right)(1 - \zeta^{1 - q})^{-1}\tau^3+\cdots\\
\Phi_J^y=\zeta^q J^{q^2+q}\tau^4+\zeta^q\left(J^{q^2+q}-\zeta^{1 - q}J^{q + 1}\right)(1 - \zeta^{1 - q})^{-1}\tau^3+\cdots
\end{cases}
\]
- **Weil pairing**:
\[
\text{Weil}_I(\mu_1,\ldots,\mu_r)=WO(r)_I * \phi(\mu_1,\ldots,\mu_r)
\]
where \(WO(r)_I\) represents a non - trivial polynomial with pairwise symmetric properties.
By solving these problems, the paper aims to gain a deep understanding of the behavior of Drinfeld modules and their related pairings over Dedekind domains, especially in the case where the class number is two.