On the Mordell–Weil lattice of y2=x3+bx+t3n+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$y^2 = x^3 + b x + t^{3^n + 1}$$\end{document} in characteristic 3

We study the elliptic curves given by y2=x3+bx+t3n+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$y^2 = x^3 + b x +t^{3^n+1}$$\end{document} over global function fields of characteristic 3 ; in particular we perform an explicit computation of the L-function by relating it to the zeta function of a certain superelliptic curve u3+bu=v3n+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u^3 + b u = v^{3^n + 1}$$\end{document}. In this way, using the Néron–Tate height on the Mordell–Weil group, we obtain lattices in dimension 2·3n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2 \cdot 3^n$$\end{document} for every n≥1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n \ge 1$$\end{document}, which improve on the currently best known sphere packing densities in dimensions 162 (case n=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=4$$\end{document}) and 486 (case n=5\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=5$$\end{document}). For n=3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=3$$\end{document}, the construction has the same packing density as the best currently known sphere packing in dimension 54, and for n=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=1$$\end{document} it has the same density as the lattice E6\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E_6$$\end{document} in dimension 6.


Introduction and main results
Following ideas of Elkies [7][8][9] and Shioda [18] (from the 1990's), one can use elliptic curves over global function fields to get interesting lattice sphere packings of arbitrarily large rank. This is an opportunity to study their arithmetic, and in particular their Lfunction. Interestingly, for our family of elliptic curves, we can compute the L-function very explicitly and deduce the main arithmetic invariants of our curves.
For a given positive integer n ≥ 1 and for an element b ∈ F × 3 n , we consider the elliptic curves given by the (affine) Weierstrass equation: Then the L-function (as defined in Eq. 2.2) of the elliptic curve E n,b over F q 2 (t) given by (1.1) is equal to L E n,b /F q 2 (t), T = (1 − q 2 T ) 2·3 n . (1.2) In particular, the analytic rank of E n,b over F q 2 (t) is equal to 2 · 3 n .
Let us explain how to construct a lattice from those curves. In general, if E is an elliptic curve over a global function field K = k(X), where X is a smooth projective algebraic curve over a finite field k (we will mostly focus on the case X = P 1 ), then E(K ) is a finitely generated abelian group, by Mordell-Weil theorem (generalized by Lang and Néron ; see [19,Theorem III.6.1]). We denote the identity element by O E .
Given a Weierstrass equation for E over k(X), we have a degree-2 cover x : E → P 1 given by the x-coordinate. For every P ∈ E(k(X)) {O E }, we can see x(P) ∈ k(X) as a rational map X P 1 . We can therefore define the naive height as (if x(P) ∈ k is constant, its degree is set to be 0). We define the (canonical) Néron-Tate height aŝ h(P) := lim n→+∞ 4 −n h(2 n P) ∈ R (1. 3) for every P ∈ E(K ). It is a quadratic form, which is positive-definite on E(K )/E(K ) tors ( [19,Theorem III.4.3]), where E(K ) tors denotes the torsion subgroup of E(K ). Therefore, we obtain a lattice, called the Mordell-Weil lattice of E over K . We introduce a convenient sublattice, namely: Definition 1. 2 The narrow Mordell-Weil lattice of E over K consists of all the points P ∈ E(K ) such that for every place v of K , the reduction P is a non-singular point on the reduction E v of a minimal integral Weierstrass model E v of E at v. It is denoted by E(K ) 0 ⊂ E(K ). Now, given a lattice L → R d , let Minkowski used a non-constructive argument to show that P d ≥ 2 · 2 −d (we refer to [6] for more details). Very little seems to be known about explicit lattice constructions that reach this lower bound, let alone exceed it, if the dimension is large enough. It turns out that as a corollary of Theorem 1.1 and of results of Shioda, we get a lower bound on the sphere packing density of the narrow Mordell-Weil lattice of the elliptic curves E n,b . Corollary 1.4 Let n ≥ 1 be an integer, fix b ∈ F × 3 n as in Theorem 1.1, and set q = 3 n . Let L n := E n,b F q 2 (t) 0 be the narrow Mordell-Weil lattice of the elliptic curve E n,b over F q 2 (t), as defined in Definition 1.2.
Then the rank of L n is 2 · 3 n and its center density satisfies the lower bound In particular, for n ∈ {1, ..., 7}, we get the following values, gathered in the table below.
n Rank of L n log 2 (δ(L n )) ≥ Best lattice packing density known so far We see that in dimensions 6 and 54, we get the same density as the previous densest known lattice packings of balls (in fact no construction is provided for the 54-dimensional lattice MW 54 listed in [6], p. xx). Moreover, in dimensions 162 and 486, we improve the current records. But in dimension 18, another construction achieves a higher packing density, and in dimensions above 1458, non-constructive lower bounds are the best known so far.

Outline of the proofs
Theorem 1.1 is proved in Sect. 2 by performing an explicit computation of the L-function. This requires counting the number of points on the reduction of E n,b modulo all the places of F q 2 (t), which involves sums of Legendre symbols, introduced in subsection 2.2.
Those sums can be determined thanks to an auxiliary superelliptic curve over F q (see subsection 2.3), and using the fact that x → x 3 + bx is an additive map in characteristic 3 (see Lemmas 2.4,2.6). Finally, the number of points over F q 2 of this auxiliary superelliptic curve can be computed essentially because its jacobian is isogenous to a power of a supersingular elliptic curve.
The idea behind this approach was inspired by the work of Elkies [7], where a counting argument about hyperelliptic curves has been used. In our case, this will get replaced by a superelliptic curve (see subsection 2.3).
In both works, the elliptic curves (over function fields of characteristic 2 and 3 respectively) are isotrivial-we also say equivalently"potentially constant". But in our case E n,b is a cubic twist of a constant curve (i.e., defined over F q ; see Proposition 3.5), while the elliptic curves studied by Elkies were quadratic twists, which is what allowed to compute of the rank and the L-function.
Finally, Corollary 1.4, proved in Sect. 3, follows from the use of Birch-Swinnerton-Dyer formula (known in this case, because E n,b is isotrivial, see Theorem 3.4 and Proposition 3.5), as well as a result of Shioda on the lower bound of the height of points in the narrow Mordell-Weil lattice theorem(3.6). In subsection 3.3, we discuss the sharpness of inequality (1.6).
For the convenience of the reader, some frequently used notations are gathered in a list of symbols at the end of this document. Remark 1.5 Before continuing, we mention that Shioda's results in [17] (especially remark 10 therein) tell us that if m is an even integer and 3 e ≡ −1 (mod 2m) for some integer e ≥ 1, taken to be minimal, then the rank of E m (F 3 (t)) is f (E m ) − 4, where f (E m ) denotes the conductor of the elliptic curve E m : We are going to investigate the situation where m = 3 n + 1 for some integer n ≥ 1, which is not directly covered by the above result. Even if it did apply (e.g., via theorem 1, ibid.), we would need to know over what finite field of constants the rank is achieved, so anyway we need to use another technique to determine the rank.
It is also possible to express the L-function of E m over F p (t) for any odd prime p explicitly in terms of Jacobi sums, which allows to get another proof of theorem 1.1. See also remark 2.8 below.
2 Proof of Theorem 1.1

Definition of the L-function
In this paragraph, we consider a finite field k = F |k| , and we set K = k(t). Recall that the set of places v of K (i.e., an equivalence class of absolute values on K , which are necessarily trivial on k and are non-archimedean) is in bijection with the set of closed points of P 1 k , which is itself in bijection with the set of Galois orbits ofk-rational points in P 1 (k).
We denote by ∞ the place of K associated to the point [1 : 0] ∈ P 1 k (it is given by − deg). Let E be an elliptic curve over K . For any place v of K , we let E v be a minimal integral Weierstrass model at v. We let E v be its reduction modulo an uniformizer π v of the ring . This is a projective plane cubic curve (possibly singular) over the finite field F v := O v /(π v ), and its isomorphism class does not depend on the choice of a minimal integral Weierstrass model E v (this follows from Proposition VII. 1.3 (b) in [20]).
We now define the integers Notice that a v (E) is equal 0 if E has additive reduction at v, and ±1 if E has multiplicative reduction at v (this follows from Proposition III.2.5 in [20], see also section 2.10 in [26]).
We define the local factor at v as The L-function is defined as One can re-write the L-function as follows (this is Lemme 1.3.15 in [12]), by an elementary computation, where [w] is the place corresponding to w :

Definition of the relevant Legendre sums
We first analyze the reduction types of the elliptic curve E n,b over F q 2 (t), which we state as a proposition for later use. To this end, we recall some standard notations.

Definition 2.1
Let k be a finite field, and let X be a smooth projective geometrically irreducible algebraic curve over k. Denote by g X its genus. Set K = k(X) and let E be an elliptic curve over K .
(1) We denote by min (E/K ) the minimal discriminant of E/K (as in [19,Exercise 3.35]). It is a divisor on the curve X. (2) We denote by f (E/K ) the degree of the conductor divisor of E/K (see [19,Exercise 3.36]).

Proposition 2.2
Let E n,b be the elliptic curve y 2 = x 3 + bx + t 3 n +1 over K n := F 3 2n (t) (where b ∈ F × 3 n and n ≥ 1 are fixed).
Then E n,b has good reduction at all places v = ∞ and has bad additive reduction of type IV at v = ∞, with the following invariants: [20]. In particular, E n,b had good reduction at all places v = ∞ and We follow Tate's algorithm as written down in [19], IV.9, p. 366. Let m := 3 n + 1 and μ := m 6 ≥ 1. It is easy to see that m ≡ 4 (mod 6) (e.g., by induction on n), so 6μ−m = 2. The affine equation E ∞ : We have the following coefficients, as defined in [19], IV.9, p. 364 : The singular point on the reduction of E ∞ modulo π is (0, 0), which means that the condition in Step 2 of Tate's algorithm (as in [19], IV.9, p. 366) is satisfied.
Since 6μ − m = 2, the constant coefficient a 6 := t m−6μ is equal to (hence divisible by) π 2 . Moreover, b 8 is divisible by π 3 , but b 6 is not divisible by π 3 . Therefore, Tate's algorithm stops at Step 5, which states that E has bad additive reduction of Kodaira-Néron type IV.

Remark 2.3
It is important to be careful about the subscript k in λ k , because when q is a power of some odd prime power q, the restriction of λ F q to the subfield F q is not equal to λ F q (e.g., λ F q 2 (x) = 1 for every x ∈ F q ).
According to Eq. 2.3, computing the L-function of E n,b amounts to determining the sums and of E n,b , we see that the above sum is equal to Notice that we can discard the terms with w = [1 : 0] since we have A E n,b (∞, j) = 0 for every j ≥ 1 by Proposition 2.2.
The strategy to evalute those sums S b (n, j) consists of two steps : (1) First, we will compute the number of points on a certain superelliptic curve C n,b , given by v 3 n +1 = u 3 + bu over F 3 2nj for every j ≥ 1, where b ∈ F × 3 n is chosen as in Theorem 1.1.
(2) Secondly, we study the sums where t ∈ F 3 2nj and j ≥ 1 is any integer.

Number of points on the superelliptic curve C n,b
For any n ≥ 1, let C aff n,b be the affine curve v 3 n +1 = u 3 +bu, defined over There is a smooth projective irreducible curve C n,b over F 3 n (unique up to isomorphism) such that its function field is the same as the one of C aff n,b . We say that C n,b is a superelliptic curve.
It turns out that C n,b has a unique point at infinity, defined over F 3 n (see Proposition 2 in [11] The key point is that we will be able to deduce the number of points Therefore, we get We determine each term in the latter sum in the following lemma (applied to the case where p := 3).

Lemma 2.4
Let p be an odd prime, n ≥ 1 be an integer, set q = p n and let b ∈ F × p n be any element such that (2.8) Proof Consider the maps f, The key point is that these maps are endomorphisms of the additive group (F q 2 , +) seen as vector space over F p , and we can describe the set {x ∈ F q 2 : x p + bx ∈ F q } as the kernel of f • g b . Thereby, the proof essentially boils down to a basic argument of linear algebra. A direct computation shows that f The rank-nullity theorem yields where the dimensions are taken over F p . It is clear that dim(ker(f )) = n, since q = p n , and that ker(g b ) has dimension 1 since it consists of roots in F p of the separable polynomial X p + bX which has degree p, and all those roots actually lie in F q 2 . Indeed, if x p = −bx then The above computation (2.10) also shows that any element which is what we wanted to prove. Therefore, from Eq. 2.7 and the above Lemma 2.4 (applied to p = 3), we get We now consider C n,b as a curve over F 3 2n (instead of a curve over F 3 n ). Let us write ω k for the eigenvalues of the Frobenius endomorphism of x → x 3 2n acting on H 1 et (C n,b ×F 3 , Q ), where 1 ≤ k ≤ 2 · g(C n,b ) and g(C n,b ) denotes the genus of C n,b and = 3 is a prime. It is known from the Weil conjectures that the ω k are the reciprocal of the roots of the numerator (in Z[T ]) of zeta function Z(C n,b /F 3 2n , T ) ; in particular, they can be seen as complex numbers and their modulus is known to be equal to |ω k | = √ 3 2n = 3 n . Thereby, Lefschetz trace formula tells us that The genus of C n,b is equal to g(C n,b ) = 3 n (see Proposition 2 in [11]). Hence we get forces ω k = −3 n for every k (e.g., by taking the real part of the latter sum). We conclude that for every n ≥ 1 and every j ≥ 1 : This completes the step (1) announced above. We can sum up what we have obtained above in terms of the zeta function of C n,b : Proposition 2.5 Let n ≥ 1 be an integer and let b ∈ F × 3 n be as in Theorem 1.1. The zeta function of the superelliptic curve C n,b over F 3 2n is given by In particular, for every j ≥ 1, we have

Evaluating the sums σ b (j, t)
This paragraph is devoted to the explicit computation of the sums σ b (j, t) defined in Eq. 2.6. Then we will conclude the proof of theorem 1.1.

Lemma 2.6
Let n ≥ 1 be an integer, set q = 3 n and fix b ∈ F 3 n such that λ F 3 n (b) = (−1) n+1 . Let j ≥ 1 be any integer. Consider the map g b,j : Then for every t ∈ F q 2j we have :

Proof
Step 1 The first key point here is to use again the fact that the map g b,j is additive, in order to deduce that σ b (j, t) takes only two values (for fixed j, b and variable t).
Indeed, if we pick any x 0 ∈ F q 2j , then In other words, σ b (j, t) only depends on the class of t in the quotient additive group F q 2j Im(g b,j ). Moreover, notice that where the last equality holds because −1 is a square in F 3 2 and hence in F 3 2nj . Since [F q 2j : Im(g b,j )] = | ker(g b,j )| = 3 (because −b ∈ F q is a square in F q 2 → F q 2j ), we deduce that σ b (j, t) only takes two values (for fixed j, b and variable t). The first value occurs when t ∈ Im(g b,j ) in which case σ b (j, t) = σ b (j, 0). Let us denote by σ * the other value of σ b (j, t), which occurs when t / ∈ Im(g b,j ). Observe that the value of σ * can be deduced from the sum because the left-hand side sum vanishes : since all the inner sums are 0 (they are sums of a non-trivial multiplicative character over the whole group-recall also that λ F 3 2nj (0) = 0). Therefore σ * = − 1 2 σ b (j, 0), so it is enough to determine the value of σ b (j, 0).
Step 2 Now we compute the sum σ b (j, 0) = The most conceptual (and easiest, or shortest) proof relies on the fact that if π : Y → X is a surjective morphism between two smooth irreducible projective algebraic curves (or even varieties) defined over a finite field, then the numerator of the zeta function of X divides the one of Y in Z[T ]. This can be argued using the Tate modules of the jacobians of these curves, see for instance Proposition 5 in [1]. In our case, we have the morphism where E b is the elliptic curve given by y 2 = x 3 + bx over F 3 n (we defined the morphism on the affine charts, but it extends uniquely to a morphism between the smooth projective curves C n,b → E b ). Being a non-constant morphism between irreducible curves, π must be surjective. The numerator of Z(C n,b /F 3 2n , T ) is (1+3 n T ) 2·3 n by Proposition 2.5. Therefore, the numerator of Z(E b /F 3 2n , T ) is (1 + 3 n T ) 2 (which implies that E b is supersingular). Thus we deduce from standard arguments (see [20], application V.1.3 and theorem V.2.3.1) that which gives the claimed value for σ b (j, 0). Therefore, from step 1 we get the value σ * = (−3 n ) j and this finishes the proof.

Remark 2.7
It is possible to give more concrete and elementary (but computationally longer) proofs of the identity σ b (j, 0) = −2 · (−3 n ) j from Lemma 2.6, via quartic Jacobi sums. Moreover, when n is odd, one can also give a direct proof of the step 2 above, because the change of variables x → −x allows to determine the number of points of the elliptic curve E b : y 2 = x 3 + bx over F 3 n (because −1 is not a square in F 3 n ) and hence over any field extension thereof.
We are now in position to prove our main result.
Proof of theorem 1.1 By the identity just below Eq. 2.4, we recall that From Eqs. 2.5 2.6, one can write (be careful of the minus sign). Define the set b (n, j) := w ∈ F 3 2nj : w 3 n +1 ∈ Im(g b,j ) , where g b,j : F 3 2nj → F 3 2nj denotes the map x → x 3 + bx as in Lemma 2.6. Notice that all the fibers of the map is an element such that β 2 = −b). Thereby, we deduce from Proposition 2.5 that Therefore, using Lemma 2.6 and the above expression of S b (n, j), we get Finally, we conclude that which precisely means that as desired. This finishes the proof.

Remark 2.8
We explain why the case of characteristic 3 is very special. For an odd prime p, the elliptic surface (of Delsarte type in Shioda's terminology from [17]) associated to E : y 2 = x 3 + x + t m over F p is birationally equivalent to a quotient of the Fermat surface F d of degree d, where d := 4m gcd (2,m) . So one can follow the approach taken in [13] to express the L-function of E in terms of Jacobi sums, like j(θ, θ 2 ) = x∈k θ(x)θ 2 (1 − x) for some suitable multiplicative characters θ (of order dividing d) on finite extensions k of F p .
If p e ≡ −1 (mod d) for some integer e ≥ 1, then one can apply [24, Proposition 8.1] to compute explicitly those Jacobi sums. However, in our case where m = p n + 1, this condition is not fulfilled so in general this does not allow to compute j(θ, θ 2 ) directly. But in characteristic p = 3, we have (when θ 6 is not trivial) j(θ, is the Gauss sum corresponding to a multiplicative character χ on k. We can then apply Tate-Shafarevitch's lemma [24,Lemma 8.3] to compute g(θ 2 ) explicitly in the case m = 3 n + 1.

Proof of corollary 1.4
We now turn to the proof of the corollary concerning the narrow Mordell-Weil lattice attached to the elliptic curves E n,b (see Definition 1.2), and the lower bound on its sphere packing density (see Definition 1.3).
Estimating the sphere packing density of a lattice L requires three steps : (1) Determine the rank of L. In the case of the Mordell-Weil lattice of E n,b , this is essentially done in Theorem 1.1. (2) Get an upper bound on the covolume of L. In our case, this is achieved by using the so-called Birch-Swinnerton-Dyer formula which we discuss below. (3) Finally, get a lower bound on the minimal non-zero norm in L. In the context of the narrow Mordell-Weil lattices, we use a result of Shioda (see Theorem 3.6 below).

Birch-Swinnerton-Dyer conjecture and formula
We briefly recall what the Birch-Swinnerton-Dyer (BSD) conjecture is, and what is known about it. Originally, it was stated for elliptic curves over Q, but it was then generalized to abelian varieties over any global field. However, for the sake of simplicity, we will stick to the case of elliptic curves over function fields, as given in [14, Conjecture 2.10]. Theorem 2.6 ibid. states that the L-function L(E/K, T ) of any non-constant elliptic curve over a global function field is a polynomial in T with integral coefficients. In the case of the curves E n,b defined above, Theorem 1.1 provides a proof of the fact L(E/K, T ) ∈ Z[T ]. In particular, this allows us to speak of the order of vanishing of the L-function at any given value of T in C. Before stating the conjecture, we introduce some (standard) notations : Definition 3.1 Let k be a finite field, and let X be a smooth projective geometrically irreducible algebraic curve over k. Denote by g X its genus. Set K = k(X) and let E be an elliptic curve over K . Then the regulator of E/K is the discriminant of this pairing, and we denote it by Reg(E/K ) := det ( P i , P j ) 1≤i,j≤r , where {P 1 , ..., P r } is any Z-basis of the free abelian group E(K ) E(K ) tors (we set Reg(E/K ) = 1 by convention if the rank is r = 0). (2) We further set the special value of the L-function of E/K to be The Tate-Shafarevitch group is defined as where G K := Gal(K sep /K ) denotes the absolute Galois group (and same for each K v ), and the map is induced by the restriction of cocycles from G K to G K v (using embeddings K sep → K There is another normalization of the Néron-Tate height, which isĥ := log(|k|) ·ĥ, as in [14] (lecture 3, §2). In that case, for the BSD formula to be true, one has to take the special value of the complex L-function, namely the value L * (E/K ) such that The two normalizations are consistent. Indeed, on the one hand, if one defines Reg (E/K ) as the discriminant with respect to the pairing associated toĥ (as in Definition 3.1), then one has Reg (E/K ) = log(|k|) r Reg(E/K ). On the other hand, since 1 − |k| 1−s ∼ log(|k|)(s − 1) as s → 1, we have L * (E/K ) = log(|k|) r L * (E/K ).
We make the choice of usingĥ and notĥ because then the narrow Mordell-Weil group E(K ) 0 (Definition 1.2) becomes an integral lattice (see Theorem 3.6).

Conjecture 3.3 (Birch-Swinnerton-Dyer) Let k be a finite field, and let X be a smooth projective geometrically irreducible curve over k. Denote by g X its genus. Let E be an elliptic curve over the function field K := k(X).
Then the following statements hold: (a) The rank of the finitely generated 1 abelian group E(K ) is equal to the order of vanishing of the L-function of E/K at T = |k| −1 , i.e.,

Theorem 3.4 (Artin, Tate, Milne) Let E be an elliptic curve over the function field K := k(X), where k is a finite field, as in Definition 3.1. (1) The statements (a) and (b) in Conjecture 3.3 are equivalent.
(2) Assume that E is a potentially constant (= isotrivial) elliptic curve, i.e., there is a finite extension K /K such that the base change E × K K is isomorphic to E × k K for some (constant) elliptic curve E defined over k. Then both statements of Conjecture 3.3 are true.
Proof The first part is proved in [16,Theorem 8.1]. The second claim is stated in Lecture 1, Theorem 12.2 of [25], and is proved in lecture 3, theorem 8.1, ibid.

Proposition 3.5
The elliptic curve E n,b over K = F 3 2n (t) from Theorem 1.1 is isotrivial. More precisely, it is a cubic twist of the constant curve E : y 2 = x 3 + bx over F 3 n . Moreover, the Mordell-Weil group E n,b (K ) is torsion-free.
Proof The first statement is immediate from the change of variables y = y , x = x − u where u ∈ F 3 (t) satisfies u 3 + bu = t 3 n +1 (this exactly defines the superelliptic curve from subsection 2.3). One can also see that the j-invariant of E n,b is 0, so it must be an isotrivial elliptic curve. We now explain why E n,b (K ) is torsion-free. If we consider the cubic extension K := K (u) of K , with u ∈ K as above, then we have an isomorphism E (K ) x + u, y ) and E (K ) tors = E (F 3 2n ) by [25, Proposition 6.1, Lecture 1]. Since x − u / ∈ K whenever x ∈ F 3 2n , this proves that E n,b (K ) has to be trivial. Alternatively, one can prove that E n,b (K ) is torsion-free as follows: from Proposition 2.2, we know that the product of the Tamagawa numbers is equal to c(E n,b /K ) = v c v = 3. In particular, this is a square-free integer. But Proposition 6.31 in [22] states that |E n,b (K ) tors | 2 divides v c v (E n,b /K ), so we deduce that E n,b (K ) is torsion-free.

Lower bound on the minimal norm and on the packing density
We start this subsection in a general framework : we let E be an elliptic curve over a global function field K = k(X) as in Definition 3.1, that is, X is a smooth geometrically irreducible projective curve over a finite field k.
One of the main features of the narrow Mordell-Weil lattice E(K ) 0 ⊂ E(K ) (Definition 1.2) is that it is an even integral lattice, and that we have an explicit lower bound on the minimal height among non-zero vectors. Proof For the lower bound on the minimal non-zero norm and the fact that the lattice E(K ) 0 is even and integral, see theorem 6.44 in [22], as well as Theorem 5.47 and Corollary 5.50, ibid.
We now prove the result on the index E(K ) : E(K ) 0 . Let R ⊂ |X| be the set of bad places of E, where |X| denotes the set of closed points of X.
The map θ is a group homomorphism (see lemma 6.4 in [21], or just notice that E( is a morphism) and therefore, we have an injective morphism which shows the desired divisibility.
We can now give a lower bound on the sphere packing density of the narrow Mordell- Using the last statement of Theorem 3.6, together with equation Eq. 3.2, we deduce Thereby, combining the above inequalities, we see that the center density of the lattice L n = E(K ) 0 is bounded below by where r is the rank of lattice E(K ) 0 . Notice that the narrow Mordell-Weil E(K ) 0 ⊂ E(K ) is a full-rank sublattice (this follows for instance from the last statement of Theorem 3.6 : its index in E(K ) is finite), so its rank is the same as the rank of E(K ).
We can now conclude with the proof of our main corollary.
Proof of corollary 1.4 For ease of notation, in what follows, we write K n := F 3 2n (t).
First of all, we notice that the rank of the lattice L n := E n,b (K n ) 0 is equal to r = 2 · 3 n . Indeed, Theorem 3.4 and Proposition 3.5 imply that the BSD conjecture (item (a)) is fulfilled. In particular, the algebraic rank of E n,b over K n agrees with the analytic rank, which equals 2 · 3 n by Theorem 1.1.
This very theorem also allows us to apply the above Proposition 3.7. Thereby, the values from Proposition 2.2 and the last statement of Proposition 3.5 (namely the fact |E n,b (K n ) tors | = 1) yield which is exactly the lower bound stated in Corollary 1.4. This concludes the proof.

Discussion of the sharpness of the lower bound on the packing density
In this paragraph, we shorty study sufficient conditions under which the inequality in Corollary 1.4 is actually an equality. In fact, this lower bound is sharp if and only the following conditions are all satisfied : • The index [E(K ) : E(K ) 0 ] is equal to c(E/K ) (instead of just dividing it, as in Theorem 3.6). • The lower bound on the minimal norm form Theorem 3.6 is achieved, that is there is a point P ∈ E(K ) 0 such thatĥ(P) = 1 6 deg ( min (E/K )), which is equal to 3 n−1 + 1 when E = E n,b according to Proposition 2.2.
• The Tate-Shafarevitch group X(E/K ) is trivial.
As for the index [E n,b (K ) : E n,b (K ) 0 ], where K := F 3 2n (t), we can prove easily that it is in fact equal to c(E n,b /K ) = 3. First, we know from the last statement of Theorem 3.6 that [E n,b (K ) : E n,b (K ) 0 ] must divide c(E n,b /K ) = 3, so it is either 1 or 3. We prove that the index cannot be equal to 1 by noticing that the point does not belong to E n,b (K ) 0 .
Using Theorem 6.24 of [22], one can show thatĥ(P n ) = 3 n−1 + 1 for n ≤ 3 by checking that the intersection product (P n ) · (O) vanishes, that is, the sections (P n ) and (O)-from P 1 to the elliptic surface associated to E n,b -do not intersect (we use the notations from Proposition 5.4 and Notation 5.5 in [22]).
One can argue as in the proof of Proposition 5.1 of [18] (even though the exact statement from there does not directly apply in characteristic 3): both coordinates of P n are polynomials in t, so have no pole on A 1 , and hence (P n ) and (O) do not intersect at any point of A 1 . At v = ∞ ∈ P 1 , we let μ = (3 n + 1)/6 and observe that under the map (x(t), y(t)) → (x(t)t −2μ , x(t)t −3μ ), the points P n get mapped to points (P n ) ∞ on the minimal integral Weierstrass model of E n,b at v = ∞ such that both coordinates have non-zero constant term. Hence, we see that both coordinates have no pole at v = ∞, and we conclude that (P n ) and (O) never intersect.
Finally, for the order of the Tate-Shafarevitch group, we can just point out that it is a 3-group, i.e., it is equal to its 3-primary part X(E n,b /K ) = X(E n,b /K )[3 ∞ ], where K = F 3 2n (t). This follows from BSD formula: because L * (E n,b /K ) = 1, |E n,b (K ) tors | = 1 and c(E n,b /K ) = 3, we have But we have seen above that [E n,b (K ) : E n,b (K ) 0 ] = 3, and we know from Theorem 3.6 that E n,b (K ) 0 is an integral lattice, so it follows that Reg(E n,b /K ) ∈ 1 3 2 Z. Computations on MAGMA [3] seem to indicate that X(E n,b /K ) is trivial when n = 1, but in analogy with [18,Proposition 4.3,Corollary 4.6], it is possible that it is non-trivial for n large enough.
• Brumer's bound [5, proposition 6.9] is asymptotically sharp: as i → ∞ we have In fact, using the upper bound on the Brauer-Siegel ratio stated and proved in [15,Theorem 1.10], one can show that the narrow Mordell-Weil lattices (L i ) i≥1 attached to any family of non-constant elliptic curves satisfying the BSD conjecture and the two properties above, will satisfy the asymptotic lower bound (3.3), as the conductor goes to infinity. (3) The densities of the narrow and the full Mordell-Weil lattices compare as follows.

List of symbols A E (v, j)
F o r a m u l t i p l e j of deg(v), Superelliptic curve with affine model v 3 n +1 = u 3 + bu over S u m o f A E n,b (w, j) over w ∈ P 1 (F (q 2 ) j ) σ b (j, t) S u m o f λ F 3 2nj (x 3 + bx + t) over x ∈ F 3 2nj