Towers of function fields over finite fields corresponding to elliptic modular curves (Q661971)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Towers of function fields over finite fields corresponding to elliptic modular curves |
scientific article |
Statements
Towers of function fields over finite fields corresponding to elliptic modular curves (English)
0 references
11 February 2012
0 references
The authors find several equations of recursive towers of function fields over finite fields corresponding to sequences of elliptic modular curves. Let \(\mathbb{F}_{l}\) be a finite field and \textbf{F} be a function field (of one variable) over \(\mathbb{F}_{l},\) and \(\mathbb{F}_{l}\) is algebraically closed in \textbf{F}. Denoted by \(N(F)\) (resp. g(F)) the number of degree-one (or rational) places of \(F/\mathbb{F}_{l}\) (resp. the genus of \(F\)). Let \(f(X,Y) \in \mathbb{F}_{l}[X,Y]\) be an absolutely irreducible polynomial of two variables over \(\mathbb{F}_{l}.\) A recursive tower of function fields over \(\mathbb{F}_{l}\) defined by equation \(f(x,y) = 0\) is an infinite sequence \[ {F} = (F_{0}, F_{1}, F_{2},\dots) \] of function field \( F_{i}/\mathbb{F}_{l}\) with the following properties : 1) For some \(s,\) the genus of \(F_{s}\) satisfies \(g(F_{s}) > 1.\) 2) The extensions \(F_{i+1}/F_{i}\) are finite and separable with degree \(N = [F_{i+1}:F_{i}] > 1.\) 3) The fields \(F_{i}\) satisfy \(F_{i+1} = F_{i}(x_{i+1}),\) where \(f(x_{i},x_{i+1}) = 0\) for each \(i,\) and \(F_{0} = \mathbb{F}_{l}(x_{0}).\) Their main theorem give results similar to those N.D. Elkies for \(deg f = N = 3, 5,\) and also give a tower whose bottom \(F_{0} = \mathbb{F}_{p^{2}}(x_{0},y_{0})\) corresponds to the genus-one group \(\Gamma_{0}(49).\) Theorem 4.1. Assume that \(p \neq 7\) is a prime number. The recursive tower of function fields \[ F_{n} = \mathbb{F}_{p^{2}}(x_{0},y_{0}, x_{1},y_{1},\dots,x_{n},y_{n}) \] defined by both \(y^{2}_{i} = 4x^{3}_{i} + 21x^{2}_{i} + 28x_{i},\) \(i = 0,1,\dots, n\) and \[ (A(x_{i})y_{i} + B(x_{i})) \langle A(\frac{7}{x_{i+1}})\frac{7y_{i+1}}{x^{2}_{i+1}} + B(\frac{7}{x_{i+1}})\rangle = 196, i = 0,1,\dots, n-1 \] corresponds to a sequence of the elliptic modular curves \(X_{0}(7^{n+2}).\)
0 references
recursive towers of function fields over finite fields
0 references
elliptic modular curves
0 references
0 references