l-multiples_l-torsion.tex (6717B)
1 \documentclass[10pt,a4paper]{article} 2 \usepackage[utf8]{inputenc} 3 \usepackage{amsmath} 4 \usepackage{amsthm} 5 \usepackage[all]{xy} 6 \usepackage{amsfonts} 7 \usepackage{color} 8 \usepackage{amssymb} 9 \usepackage{float} 10 \usepackage[a4paper, top=3cm, bottom=3cm, left=2.5cm, right=2.5cm]{geometry} 11 12 \DeclareMathOperator{\alg}{alg} 13 \DeclareMathOperator{\obj}{Obj} 14 \DeclareMathOperator{\Hom}{Hom} 15 \DeclareMathOperator{\End}{End} 16 \DeclareMathOperator{\hol}{Hol} 17 \DeclareMathOperator{\aut}{Aut} 18 \DeclareMathOperator{\gal}{Gal} 19 \DeclareMathOperator{\id}{id} 20 \DeclareMathOperator{\res}{res} 21 \DeclareMathOperator{\im}{Im} 22 \DeclareMathOperator{\Id}{Id} 23 \DeclareMathOperator{\fib}{Fib} 24 \DeclareMathOperator{\spec}{Spec} 25 \DeclareMathOperator{\proj}{Proj} 26 \DeclareMathOperator{\trdeg}{trdeg} 27 \DeclareMathOperator{\car}{char} 28 \DeclareMathOperator{\Frac}{Frac} 29 \DeclareMathOperator{\reduced}{red} 30 \DeclareMathOperator{\real}{Re} 31 \DeclareMathOperator{\imag}{Im} 32 \DeclareMathOperator{\vol}{vol} 33 \DeclareMathOperator{\den}{den} 34 \DeclareMathOperator{\rank}{rank} 35 \DeclareMathOperator{\lcm}{lcm} 36 \DeclareMathOperator{\rad}{rad} 37 \DeclareMathOperator{\ord}{ord} 38 \DeclareMathOperator{\Br}{Br} 39 \DeclareMathOperator{\inv}{inv} 40 \DeclareMathOperator{\Nm}{Nm} 41 \DeclareMathOperator{\Tr}{Tr} 42 \DeclareMathOperator{\an}{an} 43 \DeclareMathOperator{\op}{op} 44 \DeclareMathOperator{\sep}{sep} 45 \DeclareMathOperator{\unr}{unr} 46 \DeclareMathOperator{\et}{\acute et} 47 \DeclareMathOperator{\ev}{ev} 48 \DeclareMathOperator{\gl}{GL} 49 \DeclareMathOperator{\SL}{SL} 50 \DeclareMathOperator{\mat}{Mat} 51 \DeclareMathOperator{\ab}{ab} 52 53 \newcommand{\grp}{\textsc{Grp}} 54 \newcommand{\set}{\textsc{Set}} 55 \newcommand{\x}{\mathbf{x}} 56 \newcommand{\naturalto}{\overset{.}{\to}} 57 \newcommand{\qbar}{\overline{\mathbb{Q}}} 58 \newcommand{\zbar}{\overline{\mathbb{Z}}} 59 60 \newcommand{\pro}{\mathbb{P}} 61 \newcommand{\aff}{\mathbb{A}} 62 \newcommand{\quat}{\mathbb{H}} 63 \newcommand{\rea}{\mathbb{R}} 64 \newcommand{\kiu}{\mathbb{Q}} 65 \newcommand{\F}{\mathbb{F}} 66 \newcommand{\zee}{\mathbb{Z}} 67 \newcommand{\ow}{\mathcal{O}} 68 \newcommand{\mcx}{\mathcal{X}} 69 \newcommand{\mcy}{\mathcal{Y}} 70 \newcommand{\mcs}{\mathcal{S}} 71 \newcommand{\mca}{\mathcal{A}} 72 \newcommand{\mcb}{\mathcal{B}} 73 \newcommand{\mcf}{\mathcal{F}} 74 \newcommand{\mcg}{\mathcal{G}} 75 \newcommand{\mct}{\mathcal{T}} 76 \newcommand{\mcq}{\mathcal{Q}} 77 \newcommand{\mcr}{\mathcal{R}} 78 \newcommand{\adl}{\mathbf{A}} 79 \newcommand{\mbk}{\mathbf{k}} 80 \newcommand{\m}{\mathfrak{m}} 81 \newcommand{\p}{\mathfrak{p}} 82 83 \newcommand{\kbar}{\overline{K}} 84 85 \newtheorem{lemma}{Lemma} 86 \newtheorem{proposition}[lemma]{Proposition} 87 \newtheorem{corollary}[lemma]{Corollary} 88 \theoremstyle{definition} 89 \newtheorem{remark}[lemma]{Remark} 90 91 \title{Rational $\ell$-multiples of points over the $\ell$-torsion field} 92 \author{Sebastiano Tronto} 93 94 \begin{document} 95 96 \maketitle 97 98 Let $\ell$ be a rational prime and let $A$ be an abelian variety of dimension $d$ over a number field $K$. Let $K_\ell=K(A[\ell])$ and let $\mathcal{T}_1=\gal(K_\ell\,|\,K)$. 99 100 \begin{remark} 101 For $m\geq 1$ we have $\#\gl_m(\F_\ell)=\prod_{i=0}^{\ell-1}(\ell^m-\ell^i)$. In fact, elements of $\gl_m(\F_\ell)$ are in bijection with bases of $\F^m_\ell$, and counting basis of a vector space over a finite field is a simple combinatorics exercise: first we pick any non-zero vector ($\ell^n-1$ possibilities), then we pick any vector that is not in the $\F_\ell$-span on the first one ($\ell^n-\ell$ possibilities), then a third one that is not in the span of the first two... 102 103 In particular, $v_\ell\left(\#\gl_m(\F_\ell)\right)=\frac{1}{2}m(m-1)$. 104 \end{remark} 105 106 Compare the next lemma with \cite{jr}, Lemma 3.7. 107 108 \begin{lemma} 109 There is an exact sequence 110 \begin{align*} 111 0\to \ell A(K) \to A(K)\cap \ell A(K_{\ell})\to H^1(\mathcal{T}_1,A[\ell]). 112 \end{align*} 113 In particular, if $H^1(\mathcal{T}_1,A[\ell])=0$ we have $A(K)\cap \ell A(K_\ell)=\ell A(K)$. 114 \begin{proof} 115 Consider the short exact sequence of $\mathcal{T}_1$-modules 116 \begin{align*} 117 0\to A[\ell](K_{\ell})\to A(K_{\ell})\to \ell A(K_{\ell})\to 0 118 \end{align*} 119 and the induced long exact sequence in cohomology (i.e. take $H^*(\mathcal{T}_1,-)$) 120 \begin{align*} 121 0\to A[\ell](K)\to A(K)\to A(K)\cap\ell A(K_{\ell})\to H^1(\mathcal{T}_1,A[\ell])\to\cdots 122 \end{align*} 123 and the thesis follows by noticing that $A(K)/A[\ell](K)\cong \ell A(K)$. 124 \end{proof} 125 \end{lemma} 126 127 This leads us to study the group $H^1(\mathcal{T}_1,A[\ell])$. In particular, we would like to know in which cases it is trivial (and so we are happy). In particular, the case of elliptic curves has been completely solved if $K=\kiu$, and there are rather complete results if $K\cap \kiu(\zeta_\ell)=\kiu$ (see \cite{lawson}). 128 129 It is in fact possible that some point $\alpha\in A(K)$ is not $\ell$-divisible in $A(K)$, but becomes $\ell$-divisible in $A(K_\ell)$. The smallest example I have found is the point 130 $(23769/400, 3529853/8000)$ on the elliptic curve over $\kiu$ with Cremona Label $17739g1$. A gp script that finds all the 12 examples of elliptic curves with conductor $<10^5$ with a generator of the free part of the group of rational points that becomes $3$-divisible over $K_3$ can be found in \texttt{test3.gp}. 131 \\ 132 133 The question now becomes: ``How much'' can a point $\alpha\in A(K)$ become $\ell$-divisible in $A(K_{\ell^\infty})$? That is, can we find an (explicit) $N$ such that there is no $\beta\in A(K_{\ell^\infty})$ with $\alpha=\ell^n\beta$ for $n\geq N$? 134 135 %\textbf{We restrict to the case where $A=E$ is an elliptic curve without complex multiplication}. Following the proof of Theorem 5.2 of \cite{jr} (using Lemma 3.6 of the same article), we see that $A(K)\cap \ell A(K_{\ell^n})=A(K)\cap \ell A(K_{\ell^{n-1}})$ for any $n\geq n_0$, where $n_0$ is such that $A$ satisfies maximal growth of the torsion part starting from $n_0$. So we can replace $K_{\ell^{\infty}}$ with the finite extension $K_{\ell^{n_0}}$. 136 137 %Second question: work in progress! (Latest idea: use heights and the fact that that $P$ does not become ``more divisible'' by $\ell$ after a certain point; see descent part in the proof of Mordell-Weil). 138 139 (If we could say $A(K)\cap\ell A(K_{\ell^\infty})=A(K)\cap\ell A(K_{\ell^{n_0}})$ for some $n_0$, then we could use Petsche's results to explicitly bound $N$ in terms of the height of $P$) 140 141 \begin{thebibliography}{[99]} 142 \bibitem{jr} R. Jones, J. Rouse, \emph{Galois Theory of Iterated Endomorphisms}, preprint(?). 143 %\bibitem{lom} D. Lombardo, A. Perucca, \emph{Reductions of Points on Algebraic Groups}, preprint. 144 %\bibitem{milne-ft} J. S. Milne, \emph{Fields and Galois Theory}, Online notes. 145 \bibitem{lawson} T. Lawson, C. Wuthrich, \emph{Vanishing of some Galois cohomology groups for elliptic curves}, preprint(?). 146 \end{thebibliography} 147 148 \end{document}