Saved in:
Bibliographic Details
Main Author: Zhang, Xiaoyu
Format: Preprint
Published: 2023
Subjects:
Online Access:https://arxiv.org/abs/2306.02290
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915446986375168
author Zhang, Xiaoyu
author_facet Zhang, Xiaoyu
contents For a point $x_0$ in a Shimura variety attached to a Shimura datum of Hodge type $(G,X)$, we have an associated abelian scheme $A_0$. Fixing a non-empty finite set $\mathcal{S}$ of primes, we consider the simultaneous supersingular reduction modulo $\ell\in\mathcal{S}$ of (several copies of) $p$-adic Hecke orbits of $A_0$. We give a precise description of the image of this map. As an application, we give a more conceptual proof of Mazur's conjecture on non-torsionness of higher Heegner points on an abelian variety which is a quotient of the Jacobian of a Shimura curve. Our arguments simplify those of C.Cornut and V.Vatsal in two important aspects: (1) we do not need to assume the $p$-adic group $G^1(\mathbb{Q}_p)/Z_{G^1(\mathbb{Q}_p)}$ to be simple; (2) we do not need to consider separately the ``geometric" part and ``chaotic" part in the Hecke orbits.
format Preprint
id arxiv_https___arxiv_org_abs_2306_02290
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Simultaneous supersingular reductions of abelian varieties
Zhang, Xiaoyu
Number Theory
11G15, 14K22, 22D40
For a point $x_0$ in a Shimura variety attached to a Shimura datum of Hodge type $(G,X)$, we have an associated abelian scheme $A_0$. Fixing a non-empty finite set $\mathcal{S}$ of primes, we consider the simultaneous supersingular reduction modulo $\ell\in\mathcal{S}$ of (several copies of) $p$-adic Hecke orbits of $A_0$. We give a precise description of the image of this map. As an application, we give a more conceptual proof of Mazur's conjecture on non-torsionness of higher Heegner points on an abelian variety which is a quotient of the Jacobian of a Shimura curve. Our arguments simplify those of C.Cornut and V.Vatsal in two important aspects: (1) we do not need to assume the $p$-adic group $G^1(\mathbb{Q}_p)/Z_{G^1(\mathbb{Q}_p)}$ to be simple; (2) we do not need to consider separately the ``geometric" part and ``chaotic" part in the Hecke orbits.
title Simultaneous supersingular reductions of abelian varieties
topic Number Theory
11G15, 14K22, 22D40
url https://arxiv.org/abs/2306.02290