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
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references