Read the preview (73 pages, 72.0 MB) · Download · Volumes · Cite · Verify · 中文

A hard problem is not attacked where it stands; a theory is raised around it until the problem becomes natural and gives way.
— Series Note

Fractured Adelic Geometry — A Foundational Framework for the Birch and Swinnerton-Dyer Conjecture — is a monograph in four volumes bound as one. It is the fourth work in the WiseMotif Monograph of Mathematical Intelligence and belongs to the Grothendieckian Programme as a self-contained system: one of the Programme's research subjects, a problem on which its method of recursive mathematical discovery is carried through in full. A structure is proposed; it is tested against the cases in which the answer is known; what survives is abstracted and the question is posed again, in the manner of Grothendieck's rising sea.

The problem is the conjecture of Birch and Swinnerton-Dyer, and the question is why sixty years of work have produced theorems only in analytic rank at most one, and what kind of object would make the conjecture a single statement instead of a comparison between two unrelated quantities.

The Birch and Swinnerton-Dyer conjecture remains open. This work does not prove it, proves no case of it that was not already known, and proves the finiteness of the Tate–Shafarevich group for no curve. What it offers is the state of the question after the method has been applied without concession: what the framework would deliver, what it would need, and where each route to it stops.

4 volumes, bound as one

10 · 56 parts · chapters

571 pages

12 axioms F1–F12

12 · 14 conjectures · obstructions

1 Master Identity, conjectural

30 · 364 vector figures · references

The idea: one object with two descriptions

Every proved case of the conjecture crosses from the analytic side to the arithmetic side by a bridge — Heegner points, Kolyvagin systems, Kato's Euler system — that carries one class in one direction, and the bridges stop at analytic rank one. The thesis of the book is that the bridges are a symptom, not a solution. They are needed because an arithmetic scheme, described as a locally ringed space over Spec ℤ, sees Zariski localisation and étale descent superbly, and sees Frobenius dynamics, archimedean completion, integral p-adic Hodge structures and regularised determinants not at all. In that language the two sides of the conjecture are different kinds of object, and a comparison between them can only ever be a bridge.

The book proposes instead to change the object. A category of Frobenius–Arakelov–Prismatic (FAP) spaces carries, as foundational rather than auxiliary data, a condensed analytic structure, integral prismatic F-gauges at every prime, Fargues–Fontaine realisations, an Arakelov boundary, an absolute cyclotomic structure and an arithmetic flow, governed by twelve axioms F1–F12. To an elliptic curve E/ℚ it attaches an arithmetic spectrum X_E and a determinant line Δ(X_E) with two trivialisations, one analytic and one algebraic. The Master Identity (Conjecture A) asserts that they agree integrally. The order of vanishing becomes the dimension of a kernel; the leading coefficient becomes a determinant.

The method	What the book does
Diagnose	isolates the rank-two obstruction as a statement about the exterior algebra acting on a derived deformation ring, not as a technical accident (Chapter 27)
Construct	specifies FAP spaces, the arithmetic spectrum XE, a categorified Lefschetz–Verdier trace formula and the fundamental line
Test	audits the twelve axioms over a finite field axiom by axiom and against 𝔾m over ℤ — the cases in which the answer is known
Descend	proves the rank formula and the leading-coefficient formula from the Master Identity and the axioms
Price	rates twelve conjectures on a five-point scale and maps fourteen obstructions with attack plans
Certify	specifies a seven-layer computational architecture with certified engines, a certificate hierarchy and a proof-obligation ledger
Refute	states, in a chapter written against the book, what would refute the framework

The four volumes

The four volumes and the apparatus are bound as one book. Each cover below places its volume at the centre of the D₆ adelic honeycomb, with the formula its cell carries on the front cover of the book.

I · Problem and Foundations Parts 0–II · 17 chapters · pp. 1–135 The conjecture stated with full precision and the anatomy of the obstruction; the category of FAP spaces from its ingredients — the condensed and prismatic substrate, the arithmetic fracture diagram, the twelve axioms F1–F12, six operations, descent — and the categorical machine of dualisability, nuclearity, traces and regularised determinants. Contents · PDF	II · The Arithmetic Spectrum and the Rank-Two Barrier Parts III–V · 19 chapters · pp. 136–279 The theory applied to one curve: the spectrum XE, the Selmer group as the fixed locus of the flow, heights on the Arakelov boundary, every local factor; the Euler-system machinery and the rank-two diagnosis; modularity, Gross–Zagier and its descendants, the Kudla programme, relative trace formulae and murmurations. Contents · PDF	III · The Master Identity and the Engine Parts VI–VII · 11 chapters · pp. 280–366 Conjecture A stated in full; the descent to the rank formula and to the leading-coefficient formula; the degenerate cases verified; the logical dependency graph. Then the seven-layer architecture: a certified arithmetic kernel, descent, Selmer, L-function and p-adic engines, a discovery layer and a certificate format. Contents · PDF
IV · Formalisation and the Programme Parts VIII–IX · 9 chapters · pp. 367–442 What a formal library can and cannot express today; autoformalisation and proof search; the multi-agent architecture; the proof-obligation ledger and the trust model. Then what remains: the atlas of fourteen obstructions, the construction programme in nine stages, the chapter written against the book, and the prospects. Contents · PDF	The Apparatus · Appendices A–H 8 appendices · bibliography · three indexes · pp. 443–525 What the chapters should not interrupt themselves to supply: elliptic curves, Galois cohomology and duality, ∞-categories, the condensed and prismatic toolkits, the proof-obligation ledger, numerical tables and the Lean 4 sources; indexes of notation, names and subjects. Contents · PDF	The complete monograph Volumes I–IV · Appendices A–H · 571 pages The four volumes and the apparatus bound as one, around the fundamental line Δ(XE): one object with two descriptions. Continuous pagination and bibliography, because the logical dependencies cross the internal divisions. PDF · Apparatus · 80.7 MB

Selected results

• The descent (Chapters 38–39). From the Master Identity and the axioms F1–F12, the rank formula ord_s=1 L(E, s) = rank E(ℚ) and the full leading-coefficient formula follow — complete proofs of conditional statements, every hypothesis printed with the theorem.
• Order equals multiplicity. The order of vanishing of a regularised determinant at an eigenvalue is its algebraic multiplicity; the rank becomes an index.
• Degenerate cases (Chapter 40). Over a finite field nine of the twelve axioms become theorems and the formalism specialises to the theorem of Tate and Milne; for 𝔾_m over ℤ it specialises to the explicit formula and the class number formula.
• The rank-two diagnosis (Chapter 27). Why every existing proof stops at analytic rank one, isolated as a structural statement about the exterior algebra acting on a derived deformation ring.
• The register and the atlas (Chapters 3, 41, 53). Twelve conjectures A–M, eleven rated at the two highest levels of difficulty and only one, Conjecture H, tractable with present technique; fourteen obstructions I–XIV, five of which contain a known major open problem.
• Two admissions (Chapter 53). Conjecture A is the BSD formula transcribed, and the determinant formalism presupposes the finiteness of the Tate–Shafarevich group rather than implying it.

What this work is — and is not

It is a foundational proposal with its full price attached: a specified framework, conditional theorems proved in full, a computational and formal-verification architecture, and obstructions stated precisely enough to be attacked, priced or refuted. Every substantive assertion carries one of four labels where it is made: [KNOWN] a theorem of the literature, [CONDITIONAL] true under stated hypotheses, [NEW] introduced and proved here, [OPEN] a conjecture or obstruction, no proof claimed.

It is not a proof of the Birch and Swinnerton-Dyer conjecture. The central objects of the framework are specified, not constructed; the only models of the axioms are 𝔾_m over ℤ and curves over finite fields, the two cases where the answer was known beforehand. The Lean sources state the theory; they have not been compiled.

Where to start

The four routes are those of the Leitfaden.

Route	Chapters
foundational	1–3, 4–10, 11–17, 37, 53–54
arithmetic	1–3, 18–23, 24–30, 38, 41
analytic	1–3, 31–36, 39–40
computational	1–3, 42–47, 48–52, 55 — and the code/ folder

A sceptical referee should read §41.9, What the book has actually proved, first: it is written for that reader.

The preview contains the front matter — Series Note, Abstract, Preface, the Statement of Epistemic Status, the Leitfaden, notation, the contents — and the whole of Part 0.

The series

This work is Series 04 of the WiseMotif Monograph of Mathematical Intelligence: a self-contained system and the second research subject of the Grothendieckian Programme. The first two works of the series are bound closely together. From the third work on, each is a self-contained system on one problem, on which the Programme's method of recursive mathematical discovery is carried through in full. The Programme as a whole is set out in Series 00, its overview, which stands before the seven works and is not one of them. The overview and the seven works, in series order:

	Series 00 · The Grothendieckian Programme Recursive Mathematical Discovery in the Age of Machine Reasoning The Programme's overview: it stands before the seven works and is not one of them; it sets out the idea of the Programme, its architecture and what the seven share, and adds no mathematical result to them. one book · 53 pages · doi:10.5281/zenodo.23669107
	Series 01 · GAI-MUA: The Grothendieckian Machine A Mathematical Universe Architecture for Verifiable and Self-Evolving Artificial Intelligence The central part of the Programme: how mathematical worlds are constructed, compared and carried from one setting to another, and how a machine may hold them as typed, versioned and verifiable objects. 6 volumes · 14,905 pages · doi:10.5281/zenodo.23480696
	Series 02 · GM-Omega-Infinity: Topos-Native Intelligence A Sheaf-Theoretic Architecture for Verifiable Machine Intelligence The meta-reasoning kernel: what an intelligence must be, internally, if it is to reason inside such worlds. 5 volumes · 4,020 pages · doi:10.5281/zenodo.23538544
	Series 03 · Arithmetic Spectral Descent Obstruction Theory, Hodge–Krein Realization, and a Falsifiable Architecture for the Riemann Hypothesis Research subject 1: the Riemann Hypothesis. 4 volumes · 1,549 pages · doi:10.5281/zenodo.23564898
	Series 04 · Fractured Adelic Geometry — this work A Foundational Framework for the Birch and Swinnerton-Dyer Conjecture Research subject 2: the conjecture of Birch and Swinnerton-Dyer. 4 volumes · 571 pages · doi:10.5281/zenodo.23585887
	Series 05 · The Archimedean Prism Tame Period Geometry and the Hodge Conjecture Research subject 3: the Hodge Conjecture. 5 volumes · 1,309 pages · doi:10.5281/zenodo.23597954
	Series 06 · Strained Prismatic Geometry Deformation over the Absolute Base and the abc Conjecture Research subject 4: the abc conjecture. 5 volumes · 1,666 pages · doi:10.5281/zenodo.23610034
	Series 07 · The Arithmetic Topos Foundations of a Trace-Theoretic Approach to the Langlands Programme Research subject 5: the Langlands programme. 5 volumes · 2,001 pages · doi:10.5281/zenodo.23629681

Download

File	Pages	Size
Complete monograph — Volumes I–IV and apparatus	571	80.7 MB
Preview — front matter and Part 0	73	72.0 MB
Companion code — BSDKit, the certificate checker, the Lean 4 sources (uncompiled); Apache-2.0	—	101.9 KB

The same files, with identical checksums, are archived at Zenodo: doi:10.5281/zenodo.23585888. Covers are 600 ppi full-bleed; all fonts are embedded; the PDFs are linearised for fast opening. The companion code is also in code/, byte-identical to the archive.

Citation

Liu, V. (2026). Fractured Adelic Geometry — A Foundational Framework for the Birch and Swinnerton-Dyer Conjecture (Research Architecture Edition 1, version 1.0.0). Zenodo. https://doi.org/10.5281/zenodo.23585887

@book{liu2026fracturedadelicgeometry,
  author    = {Liu, Vincent},
  title     = {Fractured Adelic Geometry --- A Foundational Framework for the {Birch} and {Swinnerton-Dyer} Conjecture},
  series    = {WiseMotif Monograph of Mathematical Intelligence, Series 04},
  edition   = {Research Architecture Edition 1},
  version   = {1.0.0},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.23585887},
  url       = {https://doi.org/10.5281/zenodo.23585887}
}

GitHub's Cite this repository button uses CITATION.cff. The concept DOI 10.5281/zenodo.23585887 always resolves to the latest version; cite the version DOI 10.5281/zenodo.23585888 to refer to these exact files.

Authenticity

Every file of the release is listed in SHA256SUMS, signed with OpenPGP and timestamped twice (RFC 3161 and OpenTimestamps on Bitcoin). The signing key is the same as for Series 01, 02 and 03.

Signing key fingerprint: DA1A 1AEF D8B2 C17C FF3F 1D1B 3905 0F50 7A4F EC17

GitHub releases of this repository are immutable. Copies obtained elsewhere that do not match SHA256SUMS are not authentic. Three levels of verification: VERIFY.md.

License and AI use

The work is licensed under CC BY-NC-ND 4.0: you may share it unchanged, with attribution, for non-commercial purposes. Code listings printed in the work, and the companion code in code/, are additionally available under the Apache License 2.0. Translations and other uses require written permission. Details: NOTICE.md · Name use: TRADEMARKS.md.

Text and data mining rights are reserved under Article 4(3) of Directive (EU) 2019/790. Training or fine-tuning machine-learning models on the work is not permitted without written permission. Individual readers may use AI tools to read, search, explain or translate the work for their own study. Full policy: TDM-AND-AI-POLICY.md.

Contributing

A framework that cannot fail tells its reader nothing, and this one is written to make failure easy to report. Three kinds of contribution matter most:

• Refutation — a curve on which the prismatic formula for a local Tamagawa factor disagrees with Tate's algorithm, a degenerate case in which an axiom specialises to a false statement, or a numerical prediction that the engine contradicts (Chapter 55).
• Construction — progress on any of the fourteen obstructions, in the order of the nine stages of Chapter 54.
• Reproduction — an independent run of BSDKit and the tables of Appendix G, or a compilation of the Lean sources.

Report errors through an errata issue. Accepted corrections are acknowledged by name in the next edition (see ERRATA.md).

---

_{WiseMotif Monograph of Mathematical Intelligence · Series 04 · Mathematics and Artificial Intelligence
Series 00: The Grothendieckian Programme · Series 01: GAI-MUA: The Grothendieckian Machine · Series 02: GM-Omega-Infinity: Topos-Native Intelligence · Series 03: Arithmetic Spectral Descent · Series 05: The Archimedean Prism · Series 06: Strained Prismatic Geometry · Series 07: The Arithmetic Topos
The official site of Grothendieck Lab and of the Grothendieckian Programme: grothendiecklab.com
© 2026 Vincent Liu}