Foundational corpus mapping FC12 Beauville

Status: Sweep II complete. C01–C10 and Appendices A–B mapped.

Canonical catalogue: FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed..

Pinned project baseline: Mathlib db584cd6d46c92f209a44c0f1c829460d327499d, Lean 4.33.0. Current Mathlib checked at 71a80585ee495fc24472fd0eaffc89d94e4fd8d6. Declarations first appearing after the project pin are revision-specific reference-port routes unless independently importable.

Every canonical unit receives exactly one Sweep-II route: mathlib, project-existing, package-import, reference-port, or unmatched. Project source is searched first, followed by pinned/current Mathlib, open/current work, indexed search services, Reservoir/packages, broad GitHub Lean discovery, and local reference corpora. Strict bundle semantics apply throughout.

Provenance contract for FC12 C01

Chapter I. Generalities on Algebraic Surfaces FC12

Provenance contract for FC12 C02

Chapter II. Birational Maps and Blow-ups FC12

Provenance contract for FC12 C03

Chapter III. Ruled Surfaces FC12

Provenance contract for FC12 C04

Chapter IV. Rational Surfaces FC12

Provenance contract for FC12 C05

Chapter V. The Albanese Map and Rationality FC12

Provenance contract for FC12 C06

Chapter VI FC12

Provenance contract for FC12 C07

Chapter VII. Kodaira Dimension FC12

Provenance contract for FC12 C08

Chapter VIII. Surfaces of Kodaira Dimension Zero FC12

Provenance contract for FC12 C09

Chapter IX. Elliptic Surfaces FC12

Provenance contract for FC12 C10

Chapter X. Surfaces of General Type FC12

Provenance contract for FC12 A

Appendix A. Surfaces in Positive Characteristic FC12

Provenance contract for FC12 B

Appendix B. Compact Complex Surfaces FC12