arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0504215math.NTmath.AG
收藏

关于K-理论和阿贝尔簇中的约化映射和支撑问题

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

Stefan Baranczuk

摘要:

在本文中,我们考虑约简映射$r_{v} : K_{2n+1}(F)/C_{F} \to K_{2n+1}(κ_{v})_{l}$,其中$F$是一个数域和$C_{F}$表示$K_{2n+1}(F)$的子群生成的$l$ -部分(对于所有素数$l$)的核的Dwyer-Friedlander地图和地图$r_{v} : A(F)\to A_{v}(κ_{v})_{l}$,其中$A(F)$是一个交换品种的数域。本文证明了Schinzel关于数域的$K$ -群的支撑问题的一个推广:设$P_{1}, ..., P_{s}, Q_{1}, ..., Q_{s}\in K_{2n+1}(F)/C_{F}$是数域的无穷阶点.假设对几乎每一个素数$l$,下列条件成立:对每一组正整数$m_{1}, ..., m_{s}$和对几乎每一个素数$v$ $$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. $$,则存在$α_{i}$,$β_{i}\in \mathbb{Z} \setminus \{0 \}$使得对每一个$i \in \{1, ... s\}$,在$B(F)$中有$α_{i} P_{i}+β_{i} Q_{i}=0$。我们还得到了数域上阿贝尔簇的一个类似结果。本文的主要技术结果是,如果$P_{1}, ..., P_{s}$是$K_{2n+1}(F)/C_{F}$的非挠元素,它们在$\mathbb{Z}$上线性无关,则对于任何素数$l$和任何集合$\{k_{1},... ,k_{s}\}\subset \mathbb{N} \cup \{0\}$,存在无穷多个素数$v$,使得点$P_{t}$通过映射$r_{v}$的像对于每个$t \in \{1, ..., s \}$都具有与$l^{k_{t}}$相等的阶。

英文摘要:

In this paper we consider reduction maps $r_{v} : K_{2n+1}(F)/C_{F} \to K_{2n+1}(κ_{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)\to A_{v}(κ_{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}, ..., P_{s}, Q_{1}, ..., 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}, ..., m_{s}$ and for almost every prime $v$ $$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. $$ Then there exist $α_{i}$, $β_{i}\in \mathbb{Z} \setminus \{0 \}$ such that $α_{i} P_{i}+β_{i} Q_{i}=0$ in $B(F)$ for every $i \in \{1, ... 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}, ..., P_{s}$ are nontorsion elements of $K_{2n+1}(F)/C_{F}$, which are linearly independent over $\mathbb{Z}$, then for any prime $l$, and for any set $\{k_{1},... ,k_{s}\}\subset \mathbb{N} \cup \{0\}$, 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 $t \in \{1, ..., s \}$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑