necessity_52b.tex (3689B)
1 \documentclass[10pt,a4paper]{article} 2 \usepackage[utf8]{inputenc} 3 \usepackage{amsmath} 4 \usepackage{amsthm} 5 \usepackage{amsfonts} 6 \usepackage{amssymb} 7 \usepackage[a4paper, top=3cm, bottom=3cm, left=2.5cm, right=2.5cm]{geometry} 8 9 \DeclareMathOperator{\alg}{alg} 10 \DeclareMathOperator{\obj}{Obj} 11 \DeclareMathOperator{\Hom}{Hom} 12 \DeclareMathOperator{\End}{End} 13 \DeclareMathOperator{\hol}{Hol} 14 \DeclareMathOperator{\aut}{Aut} 15 \DeclareMathOperator{\gal}{Gal} 16 \DeclareMathOperator{\id}{id} 17 \DeclareMathOperator{\res}{res} 18 \DeclareMathOperator{\im}{Im} 19 \DeclareMathOperator{\Id}{Id} 20 \DeclareMathOperator{\fib}{Fib} 21 \DeclareMathOperator{\spec}{Spec} 22 \DeclareMathOperator{\proj}{Proj} 23 \DeclareMathOperator{\trdeg}{trdeg} 24 \DeclareMathOperator{\car}{char} 25 \DeclareMathOperator{\Frac}{Frac} 26 \DeclareMathOperator{\reduced}{red} 27 \DeclareMathOperator{\real}{Re} 28 \DeclareMathOperator{\imag}{Im} 29 \DeclareMathOperator{\vol}{vol} 30 \DeclareMathOperator{\den}{den} 31 \DeclareMathOperator{\rank}{rank} 32 \DeclareMathOperator{\lcm}{lcm} 33 \DeclareMathOperator{\rad}{rad} 34 \DeclareMathOperator{\ord}{ord} 35 \DeclareMathOperator{\Br}{Br} 36 \DeclareMathOperator{\inv}{inv} 37 \DeclareMathOperator{\Nm}{Nm} 38 \DeclareMathOperator{\Tr}{Tr} 39 \DeclareMathOperator{\an}{an} 40 \DeclareMathOperator{\op}{op} 41 \DeclareMathOperator{\sep}{sep} 42 \DeclareMathOperator{\unr}{unr} 43 \DeclareMathOperator{\et}{\acute et} 44 \DeclareMathOperator{\ev}{ev} 45 \DeclareMathOperator{\gl}{GL} 46 \DeclareMathOperator{\SL}{SL} 47 48 \newcommand{\grp}{\textsc{Grp}} 49 \newcommand{\set}{\textsc{Set}} 50 \newcommand{\x}{\mathbf{x}} 51 \newcommand{\naturalto}{\overset{.}{\to}} 52 \newcommand{\qbar}{\overline{\mathbb{Q}}} 53 \newcommand{\zbar}{\overline{\mathbb{Z}}} 54 55 \newcommand{\pro}{\mathbb{P}} 56 \newcommand{\aff}{\mathbb{A}} 57 \newcommand{\quat}{\mathbb{H}} 58 \newcommand{\rea}{\mathbb{R}} 59 \newcommand{\kiu}{\mathbb{Q}} 60 \newcommand{\F}{\mathbb{F}} 61 \newcommand{\zee}{\mathbb{Z}} 62 \newcommand{\ow}{\mathcal{O}} 63 \newcommand{\mcx}{\mathcal{X}} 64 \newcommand{\mcy}{\mathcal{Y}} 65 \newcommand{\mcs}{\mathcal{S}} 66 \newcommand{\mca}{\mathcal{A}} 67 \newcommand{\mcb}{\mathcal{B}} 68 \newcommand{\mcf}{\mathcal{F}} 69 \newcommand{\mcg}{\mathcal{G}} 70 \newcommand{\mct}{\mathcal{T}} 71 \newcommand{\mcq}{\mathcal{Q}} 72 \newcommand{\mcr}{\mathcal{R}} 73 \newcommand{\adl}{\mathbf{A}} 74 \newcommand{\mbk}{\mathbf{k}} 75 \newcommand{\m}{\mathfrak{m}} 76 \newcommand{\p}{\mathfrak{p}} 77 78 \newcommand{\kbar}{\overline{K}} 79 \newtheorem{lemma}{Lemma} 80 81 \author{Sebastiano Tronto} 82 \title{On the Second Condition of Theorem 5.2 ($\ell=2$)} 83 84 \begin{document} 85 86 \maketitle 87 88 \textbf{Question:} is Lemma 1 of Lang's \emph{Elliptic Curves Diophantine Analysis}, Chapter 5 Section 5, page 117 (References/Kummer theory/LANG-book-EC.pdf) consistent with Jones-Rouse's Theorem 5.2, i.e. can we deduce that $F(\beta_1)$ is partially contained in $F(A[2])$ already? 89 90 I believe the answer is no. Lang is working over a base field that contains all the $\ell^\infty$ torsion of $A$, so it doesn't apply in our case (J\&R assume surjectivity of the torsion part). 91 92 A counterexample is actually given by J\&R right after the proof of the theorem (``Remark''). They don't say explicitly that $\kiu(\beta_1)\cap \kiu(A[2])=\kiu$ in this case, but I have tested this with sage (see the file \texttt{2-division-counterex.sage}): $\kiu(\beta_1)$ has degree $24$ over $\kiu$ and $\kiu(A[2])$ has degree $2$, which together imply that $[\kiu(A[2],\beta_1):\kiu(A[2])]\geq 4$, so it is maximal. 93 94 The file \texttt{2-division.sage} contains some code that looks for other counterexamples (varying the parameters of a short Weierstrass equation), but it is quite slow (about 3 minutes on my pc for each elliptic curve of which it computes the 4-torsion field). 95 96 \end{document}