Generalized theta functions and the Deuring polynomial
type: Item
instance of: scholarly article
title: Generalized theta functions and the Deuring polynomial
zbMATH Open document ID: 1279.11057
published in: Archiv der Mathematik
publication date: 2010-10-08T00:00:00Z
review text: From the introduction: The Deuring polynomial, \(H(\lambda)\in\mathbb F_p[\lambda]\), is the coefficient of \(x^m\) in \((x-1)^m(x-\lambda)^m\), where \(m = (p-1)/2\), \(p\) being a prime \(\neq 2\), \[ H(\lambda) = (-1)^m \sum_{i=0}^m {\binom mi}^2 \lambda^i. \] Let us consider the elliptic curve in Legendre form \[ E_\lambda \equiv y^2 = x(x-1)(x-\lambda) \] over the field \(\overline{\mathbb F}\), an algebraic closure of \(\mathbb F_p\). The roots of \(H(\lambda)\) give the values of \(\lambda\in\mathbb F\) such that \(E_\lambda\) is supersingular. The Deuring polynomial can be obtained from the hypergeometric function, \(F(a, b; c, z)\); \[ H(\lambda) = (-1)^mF(1/2, 1/2; 1, \lambda) \bmod (p, \lambda^p). \] Moreover, by a theorem of Manin the number of rational points of \(E_\lambda\), with \(\lambda\in\mathbb F_p\), is congruent to \(1-H(\lambda) \bmod p\). In [J. Number Theory 110, No. 2, 279--316 (2005; Zbl 1064.11042), Lemma 5.5 and Remark 15], the author studied a relation between the \(p\)-generalized theta divisor and the \(p\)-division points of an elliptic curve. The \(p\)-division points of an elliptic curve can be obtained by the intersection of the generalized theta divisor with the image of this curve by a certain immersion within the moduli space of vector bundles of rank \(p\). In this work, he explores the above result to find a relation between the \(p\)-theta functions and the Deuring polynomial via a generalization for vector bundles of the Jacobi inversion theorem. Moreover, he finds an explicit function with divisor \(z_1 + \ldots+ z_{p-1} - (p-1)\infty\). Here \(z_1,\ldots, z_{p-1}\) are the non trivial \(p\)-torsion points of \(E_{\lambda^p}\) , defined over \(\mathbb F\).
reviewed by: Olaf Ninnemann
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 11G09
Mathematics Subject Classification ID: 11G20
Mathematics Subject Classification ID: 14K25
zbMATH DE Number: 5797833
zbMATH Keywords: theta functions
zbMATH Keywords: theta divisor
zbMATH Keywords: Deuring polynomial
author: Arturo Álvarez Vazquez
MaRDI profile type: Publication
full work available at URL: s00013-010-0136-y
OpenAlex ID: W1974051361
cites work: Generalized theta functions, Drinfeld modules and some arithmetic consequences
cites work: Q3341080
cites work: Groupe de Picard des variétés de modules de fibrés semi-stable sur les courbes algébriques. (Picard groups of moduli varieties of semi- stable bundles on algebraic curves)
cites work: Q3743417
DOI: 10.1007/S00013-010-0136-Y
Recommended article: A generalized Kiepert formula for \(C_{ab}\) curves
Recommended article: Division polynomials and canonical local heights on hyperelliptic Jacobians
Recommended article: Thomae formulae for general fully ramified \(Z_n\) curves
Recommended article: Raynaud's vector bundles and base points of the generalized theta divisor
Recommended article: Generalized theta functions, Drinfeld modules and some arithmetic consequences
Recommended article: Deforming curves in Jacobians to non-Jacobians: II: Curves in \(C^{(e)}\), \(3 \leqslant e \leqslant g-3\)
Recommended article: On the number of points of given order on odd-degree hyperelliptic curves
Recommended article: On the cuspidal divisor class group of a Drinfeld modular curve
Recommended article: Division polynomials of elliptic curves over finite fields
Recommended article: Division by 1–ζ on Superelliptic Curves and Jacobians
description: scientific article; zbMATH DE number 5797833