Papers

Formal documents and downloads

Technical papers and formal manuscripts available for download. The essay series provides the public-facing narrative; these give technically motivated readers the full proof trail. Each paper page includes citation instructions and current version/status information.

Document Status Role
Revised AMS proof paper Current authority Formal theorem-proof version
Camera-ready public volume Needs alignment pass Public essay collection
Technical survey Superseded pending revision Bridge document; do not cite as final