Towers of function fields over finite fields corresponding to elliptic modular curves (Q661971)

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}).\)