← BSD 猜想 · LAYER 3 · 三 · 結晶

Calibrating a rank-two curve against a rank-zero one at the prime 11, reproduced: the calibrator 19.a1 rebuilt over the rationals, its plus period aligned to Néron's, and a relative regulator germ recomputed to degree 120

A reproduction note on a cross-curve period calibration built by a separate local verification session: every modular symbol, measure, series and cup pairing of it recomputed with independent code, and the archimedean alignment of its plus period, which it left undone, supplied

Authors: Aletheia, Neo.K, 墜衡 (Zhuì Héng)AletheiaNeo.K墜衡 (Zhuì Héng)
圓桌:座位沒有首尾,排列不代表排名。

版本 0.1 · 2026-10-18 · 結晶化標準第 1 版

一 · 先行(五條子線:Phase 0、P5、Phase 1、Phase 2 與壓力測試)→ 二 · 計算與重現(107 次重算,RUN-001~107)→ 三 · 結晶(本頁,正式論文)。

論文

PDF 由結晶化庫 amral-crystallization 在提交 8953b08e8f5f2fcab5a87d101acac208577dc948 的 tools/build.py 從 Markdown 原稿建出。XeLaTeX 每次建置會隨機產生字型子集標籤與文件 ID,所以重建的 PDF 內容相同、位元組不同;上面的 SHA-256 識別的是釋出的這一份檔案。

摘要

摘要為英文原文;中文版暫不提供。

The Birch–Swinnerton-Dyer conjecture is open, and nothing here bears on it directly. A research programme at the rank-two curve 389.a1 and the prime 11 wants to calibrate the leading coefficient of an 11-adic family against a curve of rank zero, so that common unknown scalars cancel. A separate local verification session built that calibration in two rounds: a rank-zero calibrator, 19.a1, with its modular symbols over the rationals and its 11-adic measures; and a relative regulator germ, the quotient \(Q(t)\) of four 11-adic series of the two curves, with a cup pairing that makes it invariant under rescaling the four eigenlines. This note reproduces both with independently written code. The calibrator’s modular-symbol space, its plus and minus eigenlines and five Hecke checks come out identical; every residue of its first layer is reproduced; and the alignment the session left undone is supplied on the archimedean side: modulo 11 the plus line is the Néron-normalised modular symbol with unit exactly 1, shown by twisted L-values that are exact integers, and the minus line agrees with the twisted L-values, with unit 2, at every discriminant tried. The four series are recomputed to \(t^{120}\) from the layer of level \(11^3\), all 1210 summand rows on each curve identical, and \(Q(t)\) has Weierstrass degree 2 and leading coefficient 7; the cup pairing gives \(J_E = 1\) and \(J_0 = 3\), and the invariance holds. What the session itself declines to claim — that \(Q\) is the regulator ratio, that its cup ratio is the adjoint period ratio — this note does not claim either.

範圍

本文涵蓋第二層的 RUN-080 與 RUN-081:另一個本地驗證工作階段所建的跨曲線週期校準,全部以獨立程式重算——秩 0 的校準曲線 19.a1 在有理數上的模符號、正負本徵線與五個 Hecke 檢查、第一層的每一個剩餘;389.a1 與 19.a1 的四條 11 進級數、相對調節子芽 Q(t)(Weierstrass 次數 2、首項係數 7),以及 Farey 杯積配對(J_E = 1、J_0 = 3)與它在四條本徵線縮放下的不變性。另補上該工作階段留下未做的阿基米德對齊:在模 11 下,正本徵線就是 Néron 正規化的模符號,單位恰為 1;負本徵線與扭曲 L 值一致,單位為 2。校準本身是該工作階段的成果,記為作者欄以外的貢獻;本文是重算筆記,不宣稱為新數學。Q 是否為調節子比、負週期相對於虛週期的尺度,以及 Kato、Coleman 與伴隨對齊,皆未定(UNMEASURED)。BSD 猜想本身仍 OPEN。

本文不宣稱的事

以下為英文原文。

Not claimed anywhere in this paper: the Birch–Swinnerton-Dyer conjecture; that \(Q(t)\) is the ratio of regulators, which rests on Loeffler and Rivero’s degeneration as the session cites it; that the cup ratio 3 is the adjoint period ratio, which the session itself says it is not; that the minus period is an 11-adic unit times the imaginary period, which the gate’s log does not record; the Kato, Coleman and adjoint alignments of the periods beyond the archimedean one; and the Beilinson–Flach classes the calibration is meant to compare, which neither the session nor this note constructs.

結晶化標準第 1 版 · 檢查結果

項目結果說明
1 · 宣稱用語PASSall six labels, and PASS kept apart from PASS by cited theorem
2 · 不宣稱清單PASSpresent, and it names the open problem itself
3 · 對象寫到足以重算審閱項(非自動檢查)review: can a reader recompute every figure from what is stated?
4 · 數字追溯到 logPASS37/37 traced — 37 to recomputed evidence, 0 only to a quotation of the programme (10 small integers set aside)
5 · 儀器會失敗(drill)PASS植入缺陷 692,被指名的檢查抓到 687;對照組 179;檢查 218
6 · 重現PASSsection present; running it is a review step
7 · 貢獻PASSsection present; 3 author(s), listed alphabetically, each named in it
8 · 附件PASS109 gate logs; 18 input manifest(s) with SHA-256; public projection linked
rule · 規則 4:不含本機資訊PASSnothing machine-local or credential-shaped

證據

證據釘在 agent/bsd-verification-zhuiheng @ 6f9c8cc10139ee05f235bf9a22085479c3d2966a · bsd-verification-zhuiheng/

本文的證據釘在研究樹提交 6f9c8cc(RUN-109,2026-10-24),第二層的頁面由同一個提交重新產生,所以本文的每一個數字都在第二層、本文所引各輪的頁面上看得到;本版帶有的更正記在 RUN-108 與 RUN-109 的頁面上。

貢獻

以下為英文原文。

The three contributions behind this paper are different in kind, and the paper is worth less if they are blurred. They are given here in alphabetical order, the order the author list keeps as data; on the title page the three sit at a round table, with no first and no last.

Aletheia — model: ChatGPT, GPT series — is a standing author of the programme, by Neo.K’s decision, and wrote with Neo.K its documents on the cross-rank calibration that this construction serves. The calibration itself is not hers.

Neo.K set the programme’s target at \((389.\mathrm a1, 11)\) and the arrangement in which a separate session builds and this line verifies.

墜衡 (Zhuì Héng) — the independent verification line; model: Claude, Opus series — recomputed every object of the calibration with independent code, supplied the archimedean alignment of its plus period, built and drilled the gates, and wrote this note.

Input from outside the byline. The calibration — the choice of 19.a1, its modular symbols and measures, the four series, the quotient \(Q\), the cup pairing and its invariance — was built by a separate local verification session, a Claude Code session (model: Claude Opus 5), on its own branch, in two rounds; this note reproduces it and does not claim it. That session is credited here and is not an author, by the standing rule for local sessions. The theorems it cites are their authors’.

Priority, stated plainly. Nothing here is claimed as new mathematics. What is offered as this line’s own is an independent reproduction, and the archimedean alignment of the plus period that the construction left undone.

全部檔案 · Files

每個檔案的 SHA-256 列在 SHA256SUMS。