Conductor
- Caveat emptor: This is an incomplete definition which has never been fully elicited or nailed down outside of a certain highly insular “monstrous moonshine groupie” community of “soft math” researchers. The working goal here would be to develop a simple, self-contained and rigorous definition suitable for outside work.
The conductor [1][2][3][4] of an elliptic curve E over a field K is an integer, (or an “ideal” of the ring of integers in any algebraic field,) defined by its prime factorization:
with the exponent fp of each prime p given by
- if E has “good reduction” at p;
if E has “multiplicative reduction” at p;
if E has “additive reduction” at p > 3;
if E has “additive reduction” at p = 2 or 3;
where is some measure of “wild ramification” in the action of the inertia group on for which Silverman [5] refers to Serre and Tate [6] and Ogg [7] who in turn rely on the minimal models of Néron [8][9] among other “monstrous moonshine” literature of the period for a “precise” definition.
Only a finite number of “bad reductions” are possible on any one elliptic curve E. A particular algorithm of Tate [10] is supposed to find the minimal Weierstraß form of the elliptic curve and calculate f2 and f3 for the last few special cases of bad reduction with wild ramification, in order to fully complete the definition of the conductor, assuming an impartial outsider can ascertain exactly what is meant by vague terms such as “good and bad reduction.“
This all needs to be simplified and brought down from any excessive abstraction. Cryptography is a martial art. References are inconsistent, disinformation exists, and it is unwise to accept mathematical results on face value which one does not prove oneself, or work through and satisfy oneself with the proofs. If anything is too difficult, another tack needs to be taken, a plan of attack from a different position. It is that strange feeling of invading a foreign library and opening up books one is not really welcome to.
- ↑ PlanetMath: conductor of an elliptic curve. https://planetmath.org/conductorofanellipticcurve
- ↑ Wikipedia: Conductor of an elliptic curve. https://en.wikipedia.org/wiki/Conductor_of_an_elliptic_curve
- ↑ LMFDB: Knowledge → ec → Conductor of an elliptic curve (reviewed). https://www.lmfdb.org/knowledge/show/ec.conductor
- ↑ Silverman, Joseph H., and Brumer, Armand. "The number of elliptic curves over Q with conductor N.." Manuscripta mathematica 91.1 (1996): 95-102. http://eudml.org/doc/156217.
- ↑ Joseph H. Silverman. The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986, corrected 2nd printing, p. 361.
- ↑ Jean-Pierre Serre and John Tate. “Good reduction of Abelian varieties.” The Annals of Mathematics, 2nd series, vol. 88, no. 3, Nov 1968, pp. 492-517.
- ↑ A. P. Ogg. “Elliptic curves and wild ramification.” American Journal of Mathematics, vol. 89, no. 1, Jan 1967, pp. 1-21.
- ↑ André Néron. «Modèles p-minimaux des variétés abéliennes.» Séminaire Bourbaki, vol. 7, no. 227, 1962, 16 pp. http://www.numdam.org/item/?id=SB_1961-1962__7__65_0
- ↑ André Néron. «Modèles minimaux des variétés abéliennes sur les corps locaux et globaux.» Publications Mathématiques de l'IHÉS, vol. 21 (1964), pp. 5-128. http://www.numdam.org/item/PMIHES_1964__21__5_0/
- ↑ J. Tate, Bryan J. Birch and Willem Kuyk. “Algorithm for determining the type of a singular fiber in an elliptic pencil.” Modular Functions of One Variable IV, Springer, 1975. pp. 33-52.