gpt 6 astra ultra attempt on Math-6

Birch and Swinnerton-Dyer Conjecture

Definitions and mathematical statement

An elliptic curve $E/{\mathbb{Q}}$ is a smooth projective genus-one curve with a specified rational point. Its rational points form a group $E({\mathbb{Q}})\simeq{\mathbb{Z}}^r\oplus E({\mathbb{Q}})_{\rm tors}$; $r$ is its Mordell--Weil rank. At a good prime $p$, put $a_p=p+1-\#E({\mathbb{F}}_p)$ and use the factor $(1-a_pp^{-s}+p^{1-2s})^{-1}$ in $L(E,s)$. The usual bad-prime factors complete the Hasse--Weil Euler product. Write $r_{\rm an}=\operatorname{ord}_{s=1}L(E,s)$, the smallest derivative order with a nonzero value at one. The selected assertion is \[ \forall E/{\mathbb{Q}},\qquad \operatorname{rank}E({\mathbb{Q}})=\operatorname{ord}_{s=1}L(E,s). \] It does not include the stronger leading-coefficient formula.

Formulation and concept references: [S1], [E1].

Short English statement

Does the number of independent rational points on an elliptic curve equal the multiplicity of its $L$-function's zero at one?

Research attempt

Scope and source checkpoint.

The target is equality of algebraic and analytic ranks for every elliptic curve over $\mathbb Q$. It does not ask here for the full leading-term formula. Wiles [E1], Section 2, records the established implication from analytic rank zero or one to the rank equality, using modularity and the Gross--Zagier--Kolyvagin results. This is background, not a new proof or a claim that these are the only known cases. The catalogue's later claimed proof is not used as an established theorem.

The attempted route is to construct two independent certificates, one algebraic and one analytic, and ask what would make the procedure terminate in arbitrary rank. It yields explicit inequalities and an exact conditional certificate. It also exposes two reasons why extending successful low-rank computations is not a general proof. Standard descent, height and modular form inputs are taken from [E2], Chapters IV and V; the estimates below are derived here.

Algebraic side: isolate the descent defect.

Fix a prime $\ell$. Let $\operatorname{Sel}_\ell(E/\mathbb Q)$ denote the $\ell$-Selmer group and let $\operatorname{Sha}(E/\mathbb Q)$ be the kernel of the localization map on $H^1(\mathbb Q,E)$. The Kummer sequence and the local conditions give the standard exact sequence \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-6b-75-6d-6d-65-72} 0\longrightarrow E(\mathbb Q)/\ell E(\mathbb Q) \longrightarrow\operatorname{Sel}_\ell(E/\mathbb Q) \longrightarrow\operatorname{Sha}(E/\mathbb Q)[\ell]\longrightarrow0. \end{equation} Set $s_\ell=\dim_{\mathbb F_\ell}\operatorname{Sel}_\ell(E/\mathbb Q)$ and $t_\ell=\dim_{\mathbb F_\ell}E(\mathbb Q)[\ell]$. Finite generation and elementary abelian-group structure then imply \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-72-61-6e-6b-64-65-66-65-63-74} s_\ell-t_\ell =r+\dim_{\mathbb F_\ell}\operatorname{Sha}(E/\mathbb Q)[\ell]. \end{equation} Thus a computed Selmer dimension is an upper bound, and need not equal the rank. Local solubility is exactly what was imposed in constructing the Selmer group; treating it as global solubility would erase the last term without justification.

Suppose $P_1,\ldots,P_R$ are rational points with a positive definite Néron--Tate Gram matrix. A rational linear dependence modulo torsion would have canonical height zero and contradict positive definiteness. Hence \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-73-61-6e-64-77-69-63-68} R\le r\le s_\ell-t_\ell. \end{equation} In particular, equality of the two computed endpoints proves $r=R$. This needs no assertion that the supplied points generate the entire Mordell--Weil group; finite index does not change rank. Conversely, a finite point search with no additional points does not prove the lower endpoint is the rank. Certified height intervals can prove independence if they certify positive definiteness, but an approximate positive determinant without error bounds is not such a certificate.

Analytic side: a rapidly convergent central expansion.

Let $N$ be the conductor, $f(z)=\sum_{n\ge1}a_ne^{2\pi inz}$ its normalized weight-two newform, and $w\in\{1,-1\}$ the root number. Put \[ \Lambda_E(s)=N^{s/2}(2\pi)^{-s}\Gamma(s)L(E,s),\qquad c=\frac{2\pi}{\sqrt N},\qquad g(t)=f(it/\sqrt N)=\sum_{n\ge1}a_ne^{-cnt}. \] The usual Mellin and Fricke relations give $\Lambda_E(s)=\int_0^\infty g(t)t^{s-1}\,dt$ initially in a convergent region and $g(1/t)=wt^2g(t)$. Splitting the integral at one and substituting $t\mapsto1/t$ in its lower part gives the entire continuation \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-6d-65-6c-6c-69-6e} \Lambda_E(1+z) =\int_1^\infty g(t)\left(t^z+wt^{-z}\right)\,dt. \end{equation} Both terms decay exponentially at infinity, uniformly for $z$ in compact sets. Differentiation under the integral is therefore justified, yielding \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-64-65-72-69-76-61-74-69-76-65} \Lambda_E^{(k)}(1) =\left(1+w(-1)^k\right) \sum_{n\ge1}a_n\int_1^\infty e^{-cnt}(\log t)^k\,dt. \end{equation} The factor multiplying $L(E,s)$ in $\Lambda_E(s)$ is nonzero at $s=1$, so the order of vanishing is unchanged. The displayed formula is for derivatives of the completed function, not a formula that silently omits derivatives of the gamma factor in $L^{(k)}(E,1)$.

An explicit truncation bound.

The Hasse bound, the prime-power recurrence at good primes, the usual bad-prime factors, and multiplicativity imply $|a_n|\le d(n)\sqrt n\le n^2$. For example, at a good prime the two roots have modulus $\sqrt p$, so the coefficient of degree $e$ in the inverse local quadratic has absolute value at most $(e+1)p^{e/2}$. The deliberately coarse bound $n^2$ suffices here.

Let $D_{k,M}$ be the sum in (cont6:derivative) truncated to $n\le M$, including its parity factor. Since $\log t\le t$ for $t\ge1$, repeated integration by parts gives the rigorous bound \begin{align} |\Lambda_E^{(k)}(1)-D_{k,M}| &\le 2\sum_{n>M}n^2\int_1^\infty e^{-cnt}t^k\,dt\\ &=2k!\sum_{n>M}n^2e^{-cn} \sum_{j=0}^{k}\frac{1}{(k-j)!(cn)^{j+1}}. \label{wsref-0-63-6f-6e-74-36-3a-74-61-69-6c} \end{align} This is already an explicit convergent majorant. A simpler closed upper bound follows from $n\ge1$. Set $q=e^{-c}$ and $C_k(c)=2k!\sum_{j=0}^k((k-j)!c^{j+1})^{-1}$. Then \begin{equation}\label{wsref-0-63-6f-6e-74-36-3a-63-6c-6f-73-65-64-74-61-69-6c} |\Lambda_E^{(k)}(1)-D_{k,M}| \le C_k(c)q^{M+1} \left(\frac{M+1}{1-q}+\frac{q}{(1-q)^2}\right). \end{equation} Indeed $n^2/n^{j+1}=n^{1-j}\le n$, and the remaining series is $\sum_{n>M}nq^n$. No unspecified implied constant depends on the curve or on the truncation. For large conductor the bound can be slow because $c$ is small, but it still tends to zero for each fixed $N,k$.

If certified quadrature and rounding enclose $D_{k,M}$ in an interval $I$, enlarging $I$ by the bound in (cont6:closedtail) gives a certified enclosure of the derivative. An interval excluding zero proves nonvanishing. It is essential to include quadrature and rounding errors, in addition to the Fourier-tail estimate. No such per-curve numerical certificate is asserted in this writeup.

A finite certificate and its precise hypothesis.

Proposition 6.1. Suppose that for an elliptic curve $E$ one has: (i) $R$ independent rational points and a Selmer calculation with $s_\ell-t_\ell=R$; (ii) exact proofs that $\Lambda_E^{(j)}(1)=0$ for $0\le j<R$; and (iii) a certified enclosure of $\Lambda_E^{(R)}(1)$ excluding zero. Then the rank formulation of BSD holds for $E$.

Proof. Equation (cont6:sandwich) gives $r=R$. The exact zeros and certified nonzero derivative give analytic order $R$. The completion factor is nonzero at the centre, so $\operatorname{ord}_{s=1} L(E,s)=R=r$.$\square$

The proposition is a sufficient certificate, not a new criterion known to be obtainable for every curve. It does not require the leading-term formula, a conjectural order for $\operatorname{Sha}$, or a probabilistic interpretation of a small computed value. Its analytic nonvanishing component has a fully explicit error bound above.

Stress test I: parity is only part of the vanishing data.

Equation (cont6:mellin) implies $\Lambda_E(1+z)=w\Lambda_E(1-z)$. Hence derivatives with $w(-1)^j=-1$ vanish exactly. For $R=0$ no lower derivatives need to vanish; for $R=1$ and $w=-1$ the sole lower derivative vanishes by symmetry. Already for $R=2$ and $w=1$, however, symmetry says nothing about the central value. For $R=3$ and $w=-1$ it says nothing about the first derivative. Those missing vanishing statements cannot be replaced by observations that their numerical approximations are small.

For a concrete logical test, take any integer $R\ge2$ and consider \[ F_\varepsilon(z)=z^R+\varepsilon z^{R-2}. \] All these entire functions have the same parity $(-1)^R$. They converge uniformly on every compact set to $z^R$ as $\varepsilon\to0$, but for $\varepsilon\ne0$ their order at zero is $R-2$. Thus parity and any fixed positive tolerance on function values do not certify the order. These polynomials are not proposed elliptic-curve $L$-functions; they disprove the purely analytic inference that an unqualified precision argument would be making. Extra arithmetic structure might give exact zeros, but it must actually be supplied.

Stress test II: increasing descent is not a termination proof.

Equation (cont6:rankdefect) identifies the possible excess in a Selmer bound. If $\operatorname{Sha}(E/\mathbb Q)$ were known finite for a given curve, then choosing a prime not dividing its order would remove that defect. The finiteness assumption and access to a suitable prime cannot be silently made for all curves. Even if the algebraic rank were determined, the exact analytic vanishing statements in Proposition 6.1 would remain to be established. Conversely, simply inserting BSD to justify those vanishings and then reporting a numerical confirmation would be circular.

Verification and outcome.

The tail bound follows from an absolutely convergent integral, a prime-power coefficient bound, and an exact geometric-series identity. The parity stress test is an exact polynomial computation. The rank certificate is proved from its stated inputs; no database rank, finite point search, or floating-point calculation is treated as a theorem. An executable algebraic check of the geometric-tail formula accompanies the continuation notes. It checks that identity, not BSD or numerical integration for any particular curve.

Outcome: Conditional certification method with explicit analytic error bounds; UNRESOLVED. The remaining work is to supply exact same-parity central vanishings and sufficiently sharp algebraic rank bounds in arbitrary rank. This attempt does not establish either a uniform termination theorem or a solution of the universal conjecture.

Sources

• S1 Clay Mathematics Institute, The Millennium Prize Problems. https://www.claymath.org/library/monographs/MPPc.pdf. Formulation source.
• S2 Birch and Swinnerton-Dyer Conjecture. https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/. Further reference; not a proof endorsement. Consulted 24 September 2026: Institutional overview only.
• S3 Introduction to the Birch and Swinnerton-Dyer Conjecture — Fabio Ferrari Ruffino. https://arxiv.org/abs/2608.25975. Further reference; not a proof endorsement.
• S4 Proof of the Birch and Swinnerton-Dyer Conjecture — Yoshinori Shimizu. https://zenodo.org/records/17010555. Further reference; not a proof endorsement.
• E1 Andrew Wiles, The Birch and Swinnerton-Dyer Conjecture, official Clay Mathematics Institute problem description, pages 1–2. https://www.claymath.org/wp-content/uploads/2022/05/birchswin.pdf. Added primary source: Elliptic curves, the Hasse–Weil L-function, and the rank formulation; the leading-coefficient refinement is not added to this entry.. Consulted 24 September 2026.
• E2 J. S. Milne, Elliptic Curves, author text, Chapter IV, Sections 2, 5 and 6, and Chapter V (descent, heights and modular forms). https://www.jmilne.org/math/Books/ectext6.pdf. Primary author text consulted 27 September 2026. The explicit truncation estimates are derived in this attempt.