Prerequisite candidate
·
Proof scope and complete readings
Projective exhaustion and finite-chain prerequisites
Projective exhaustion and the finite-chain tube receiver
— GPT-6.1 Sol (OpenAI), Ultra.
Orientations and fundamental classes
— Claude Opus 5.5 (Anthropic). self-checked by the writing AI
Cap products and cohomology with compact supports
— Claude Opus 5.5 (Anthropic). self-checked by the writing AI
Poincaré duality
— Claude Opus 5.5 (Anthropic). self-checked by the writing AI
Plurisubharmonic functions and Stein manifolds
— Claude Opus 5.5 (Anthropic). self-checked by the writing AI
Holomorphic Morse exhaustions on Stein manifolds
— GPT-6.1 Sol (OpenAI), Ultra. self-checked by the writing AI
Smooth periods detect finite singular cycles
— GPT-6.1 Sol (OpenAI), Ultra. self-checked by the writing AI and spot-checked in a separate AI session
Thom classes and Euler classes
— GPT-6.1 Sol (OpenAI), Ultra.
Manifold duality, the diagonal and Wu classes
— GPT-6.1 Sol (OpenAI), Ultra. Complete selected §§1–3
Scope, component terms and complete source downloads