The past couple of weeks have been interesting. At this point in time, I understand the Sage programming language completely (for the domain of my research), which has allowed for faster progress. I tested the roots that Professor Fastenberg had done earlier, such as the sections when r=1, 2, 3, 7, 10, and 12. All of her roots worked, but since my Sage code differed from Professor Fastenberg’s previous code in Maple, I also discovered other roots. Additionally, by using the solve(…) function in Sage, it allowed me to solve each of the coefficients for the values necessary. The main issue that we encountered at this moment in time is that the roots that Sage puts out in the solve function are approximate. Our goal is to get the exact value, such as in terms of radicals. I tried searching the Sage information database for increased functionality regarding exact roots, but the engine has limits in this regard. Therefore, I need to devise another method to solve for exact roots, probably through a more complex algorithm.
In the upcoming weeks, I will be developing that new algorithm and working on solving for the coefficients of the higher powers of the functions. Another issue that I encountered was that at higher powers, the solve function becomes computationally inefficient. This means that the solver times out, due to the fact that it deals with an insanely large amount of roots, leading to an exponential growth in time.
During this period of time, I explored obtaining the coefficients of the group, y^2=x^3-t^n x-t^n. I specifically explored the groups when n = 3 and 1. I attempted to obtain the coefficients of the group y^2=x^3-t^3 x-t algebraically, by replacing at+b for x and ct^2+dt+e for y.
This resulted in (ct^2+dt+e)^2 = (at+b)^3-(at+b)t^3-t, obtaining a^3t^3 + 3a^2bt^2 + 3ab^2t + b^3 – at^4 – bt^3 – t
By doing this, we know that c^2 = -a, e^2 = b^3, 2cd = a^3-b, 2ce+d^2=3a^2b, de=3ab^2-1
I attempted to solve for these values in maple by using the collect(simplify(equation, variable to solve for)) function to go further, since the variables cannot be simplified any further using basic algebraic methods. Maple has many useful functions that include the simplify, collect, and solve functions that allow one variable to be isolated. Then, we can set all instances of a variable, such as “c,” into what it is equal to. We know that a = -c^2, so all instances of a can be replaced with (-c^2).
I hope to continue doing this over Winter Break and apply this methodology to more complex functions. I also hope that I will be able to develop a more efficient method, possibly not using Maple, so that I can compute the larger coefficients.
This research is a continuation on Professor Lisa Fastenberg’s research, “Mordell-Weil groups in procyclic extensions of a function field.” In her research, she discovered that the Mordell-Weil group of the sections of have a maximum rank of 56 when n is a multiple of 2520. These sections are pullbacks of sections for when n = 1, 2, 3, 7, 8, 10, 12, 15, 18, 20, 42. However, we currently lack an explicit list of such sections, and computations using conventional methods are difficult for larger values of n. Therefore, the goal of this research is to write a computer program on Maple to find all sections of , and show that these sections are generators of the Mordell Weil Group.
Currently, I am learning the Maple programming language and doing preliminary testing on these elliptic curves:
||Minimal Model at 0
|| (t, it) or (0, it)
|| (t, it^2)
As I become more experienced in Maple, I will hopefully be able to replicate Professor Fastenberg’s previously computed sections, and continue to make further progress past what she did.