On reduction maps and support problem in K-theory and abelian varieties

DOI10.1016/J.JNT.2005.10.011MaRDI QIDQ852539zbMATH OpenOpenAlexFDO

Authors Stefan Barańczuk

Publication date 15 November 2006

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0504215

zbMATH Keywords

\(K\)-theoryabelian varietiesgeneralized support problem

Mathematics Subject Classification ID

(K)-theory of global fields (11R70) Arithmetic ground fields for abelian varieties (14K15) Symbols and arithmetic ((K)-theoretic aspects) (19F15)

Abstract: In this paper we consider reduction maps $r_v:K_{2n+1}(F)/C_{F}o{K}_{2n+1}(kapp{a}_v{)}_l$ where $F$ is a number field and $C_F$ denotes the subgroup of $K_{2n+1}(F)$ generated by $l$-parts (for all primes $l$) of kernels of the Dwyer-Friedlander map and maps $r_v:A(F)o{A}_v(kapp{a}_v{)}_l$ where $A(F)$ is an abelian variety over a number field. We prove a generalization of the support problem of Schinzel for $K$-groups of number fields: Let $P_1,\mathrm{...},P_s,Q_1,\mathrm{...},Q_{s}in{K}_{2n+1}(F)/C_F$ be the points of infinite order. Assume that for almost every prime $l$ the following condition holds: for every set of positive integers $m_1,\mathrm{...},m_s$ and for almost every prime $v$ ${\displaystyle }$m_{1} r_{v}(P_{1})+... + m_{s} r_{v}(P_{s})=0 mathrm{implies} m_{1} r_{v}(Q_{1})+... + m_{s}r_{v}(Q_{s})= 0. ${\displaystyle }$ Then there exist $alph{a}_i$, $$ such that $$ in $B(F)$ for every $iin1,\mathrm{...}s$. We also get an analogues result for abelian varieties over number fields. The main technical result of the paper says that if $P_1,\mathrm{...},P_s$ are nontorsion elements of $K_{2n+1}(F)/C_F$, which are linearly independent over $mathbbZ$, then for any prime $l$, and for any set $k_1,\mathrm{...},k_{s}subsetmathbbNcup0$, there are infinitely many primes $v$, such that the image of the point $P_t$ via the map $r_v$ has order equal $l^{k_t}$ for every $tin1,\mathrm{...},s$.

Review text

The support problem for number fields was formulated by P. Erdös and solved by \textit{C. Corrales-Rodrigáñez} and \textit{R. Schoof} [J. Number Theory 64, No. 2, 276--290 (1997; Zbl 0922.11086)], where they also stated and solved the analog of the problem for elliptic curves. The case of abelian varieties for which one can get some important facts about the image of the Tate \(\ell\)-adic representation, as well as the \(K\)-theoretical version of the support problem was treated by \textit{G. Banaszak, W. Gajda} and the reviewer [J. Number Theory 100, No. 1, 133--168 (2003; Zbl 1088.11040) and also \textit{G. Banaszak, W. Gajda} and \textit{P. Krasoń}, J. Number Theory 100, No. 1, 117--132 (2003; Zbl 1056.11034)]. The support problem for abelian varieties was independently studied by \textit{C. Khare} and \textit{D. Prasad} [J. Number Theory 105, No. 2, 322--332 (2004; Zbl 1080.11046)]. The above mentioned papers give affirmative answer to the support problem for abelian varieties satisfying certain specific conditions. However in general the answer is negative [\textit{M. Larsen}, J. Number Theory 101, No. 2, 398--403 (2003; Zbl 1039.11040) and also \textit{M. Larsen} and \textit{R. Schoof}, J. Number Theory 116, No. 2, 396--398 (2006; Zbl 1097.14036)]. The author considers the generalization of the support problem for abelian varieties and \(K\)-theory to the case of two sets of points. In the case of abelian varieties his theorem is as follows: Theorem 8.2. Let \(A\) be an abelian variety defined over number field \(F\) such that End\((A)\) is an integral domain. Let \(P_{1} \dots P_{n}, Q_{1}\dots Q_{n} \in A(F)\) be the points of infinite order. Assume that for almost every prime \(\ell\) the following condition holds: For every set of positive integers \(m_{1}\dots m_{n}\) and for almost every prime \(v\) \[ m_{1}r_{v}(P_{1})+\cdots + m_{n}r_{v}(P_{n})=0 \qquad {\text{ implies }}\qquad m_{1}r_{v}(Q_{1})+\cdots + m_{n}r_{v}(Q_{n})=0 \] Then there exist \(k_{i}\in {\mathbb Z}\backslash\{0\}, {\beta}_{i}\in \text{End}(A)\backslash\{0\}\) such that \(k_{i}P_{i}+ {\beta}_{i}Q_{i}=0\) for every \(i\in \{ 1,\dots , n\}\). The methods rely on those developed in [\textit{G. Banaszak, W. Gajda} and \textit{P. Krasoń}, J. Number Theory 115, No. 2, 322--342 (2005; Zbl 1089.11030)].

Recommendations

• Kummer theory of abelian varieties and reductions of Mordell–Weil groups
• The support problem for abelian varieties.
• Two variants of the support problem for products of abelian varieties and tori
• On a generalization of the support problem of Erdős and its analogues for abelian varieties and \(K\)-theory
• On reduction maps for the étale and Quillen K-theory of curves and applications

Cites work

• A finiteness theorem for unpolarized Abelian varieties over number fields with prescribed places of bad reduction
• A support problem for K -theory of number fields
• Algebraic and Etale K-Theory
• Detecting linear dependence by reduction maps
• Finiteness theorems for abelian varieties over number fields.
• scientific article; zbMATH DE number 16076 (Why is no real title available?)
• scientific article; zbMATH DE number 1314682 (Why is no real title available?)
• scientific article; zbMATH DE number 3351793 (Why is no real title available?)
• Kummer theory of abelian varieties and reductions of Mordell–Weil groups
• Kummer theory on extensions of Abelian varieties by tori
• On reduction map for étale \(K\)-theory of curves
• On the order of the reduction of a point on an abelian variety
• Reduction of homomorphisms mod \(p\) and algebraicity.
• Support problem for the intermediate Jacobians of \(l\)-adic representations.
• The support problem and its elliptic analogue
• The support problem for abelian varieties.

Cited in

(21)

• Two variants of the support problem for products of abelian varieties and tori
• On a Hasse principle for Mordell-Weil groups
• Support problem for the intermediate Jacobians of \(l\)-adic representations.
• The support problem for abelian varieties.
• Commensurability in Mordell-Weil groups of abelian varieties and tori
• On second-order linear recurrence sequences in Mordell-Weil groups
• Linear relations and arithmetic on abelian schemes
• On a dynamical local-global principle in Mordell-Weil type groups
• On reduction map for étale \(K\)-theory of curves
• On a generalization of the support problem of Erdős and its analogues for abelian varieties and \(K\)-theory
• The multilinear support problem for products of abelian varieties and tori
• On reduction maps for the étale and Quillen K-theory of curves and applications
• Kummer theory of abelian varieties and reductions of Mordell–Weil groups
• Local to global principle for semiabelian varieties isogenous to the product of an abelian variety and a torus
• On a local to global principle in étale K-groups of curves
• On the Support Problem for Drinfeld Modules
• On reduction maps and arithmetic dynamics of Mordell–Weil type groups
• Reduction map in the higher \(K\)-theory of the rings of integers in number fields
• Hasse principle for linear dependence in Mordell-Weil groups
• A refined counter-example to the support conjecture for abelian varieties
• Prescribing valuations of the order of a point in the reductions of abelian varieties and tori

This page was built for publication: On reduction maps and support problem in \(K\)-theory and abelian varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q852539)