Drinfeld modular curve and Weil pairing (Q2497462): Difference between revisions

Consider a smooth, projective and geometrically irreducible curve \(X\) over a finite field \(k\). Let \(\infty\) be a point of \( X \) and denote by \(A\) the ring of functions that are regular on \(X - \infty\). Let \(f \in A\) be non-constant. Then the functor from \(A[1/f]\)-schemes to sets that maps \(S\) to the set of isomorphism classes of Drinfeld modules of rank \(r\) with a full level \(f\)-structure over \( S \) is representable by a scheme \(M^r(f)\). The author has previously constructed a Weil pairing for Drinfeld \(A\)-modules (see \textit{G.-J. van der Heiden} [Monatsh. Math. 143, No. 2, 115--143 (2004; Zbl 1077.11044)]). It induces a map \(w: M^r(f) \to M^1(f)\). In the present paper the author defines the universal Tate Drinfeld module, the analogue of the Tate elliptic curve. He then uses this universal Tate Drinfeld module and the map \(w\) to describe the scheme of cusps of \(M^2(f)\) and of the Drinfeld modular analogue of the modular curve \(X^0(N)\). Finally he uses the results to compute the number of components of \(M^2(f)\).