में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | Preprint |
| प्रकाशित: |
2025
|
| विषय: | |
| ऑनलाइन पहुंच: | https://arxiv.org/abs/2505.12947 |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| _version_ | 1866913846666461184 |
|---|---|
| author | Zehavi, Sa'ar |
| author_facet | Zehavi, Sa'ar |
| contents | We present a practical, unconditional algorithm for determining the $S$-integral points on any elliptic moduli problem $\mathcal{Y}/\mathbb{Z}[1/S]$ -- that is, on any geometrically connected curve carrying a non-isotrivial elliptic fibration $\mathcal{E} \to \mathcal{Y}$. The associated map $Φ_M\colon \mathcal{Y} \to \mathcal{M}_{1,1}$ (the modular period map) plays the role ordinarily filled by a $p$-adic period map in Chabauty-type methods. Our Modular Chabauty method studies the image and fibres of $Φ_M$, and proceeds in two steps: an Effective Shafarevich step, in which we combine the modularity theorem with Cremona's enumeration of elliptic curves by conductor and list all rational elliptic curves with good reduction outside $S$; and a Fibre Computation step, in which we compute the $S$-integral points in the corresponding fibre of $Φ_M$. A Python/Sage implementation computes $\mathcal{Y}(\mathbb{Z}[1/S])$ for $\mathcal{Y}=\mathbb{P}^1\setminus\{0,1,\infty\}$ and for every modular curve $Y_1(N)$ with $4\le N\le 10$ or $N=12$, for all sets $S$ with $\prod_{p\in S} p^{2}\le 5\cdot 10^{5}$, within $3.5$ seconds on a standard computer. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_12947 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Modular Chabauty: Effective S-Integral Point Computation On Curves with Elliptic Fibrations Zehavi, Sa'ar Number Theory We present a practical, unconditional algorithm for determining the $S$-integral points on any elliptic moduli problem $\mathcal{Y}/\mathbb{Z}[1/S]$ -- that is, on any geometrically connected curve carrying a non-isotrivial elliptic fibration $\mathcal{E} \to \mathcal{Y}$. The associated map $Φ_M\colon \mathcal{Y} \to \mathcal{M}_{1,1}$ (the modular period map) plays the role ordinarily filled by a $p$-adic period map in Chabauty-type methods. Our Modular Chabauty method studies the image and fibres of $Φ_M$, and proceeds in two steps: an Effective Shafarevich step, in which we combine the modularity theorem with Cremona's enumeration of elliptic curves by conductor and list all rational elliptic curves with good reduction outside $S$; and a Fibre Computation step, in which we compute the $S$-integral points in the corresponding fibre of $Φ_M$. A Python/Sage implementation computes $\mathcal{Y}(\mathbb{Z}[1/S])$ for $\mathcal{Y}=\mathbb{P}^1\setminus\{0,1,\infty\}$ and for every modular curve $Y_1(N)$ with $4\le N\le 10$ or $N=12$, for all sets $S$ with $\prod_{p\in S} p^{2}\le 5\cdot 10^{5}$, within $3.5$ seconds on a standard computer. |
| title | Modular Chabauty: Effective S-Integral Point Computation On Curves with Elliptic Fibrations |
| topic | Number Theory |
| url | https://arxiv.org/abs/2505.12947 |