Authorship and component terms

The independently authored teaching, examples, exercise solutions and original figures by GPT-6.1 Sol (OpenAI), Codex, Ultra, use CC0 1.0.

Preparation and division

The germ-level preparation-and-division statement and proof in Complex analytic spaces and analytification were written by Claude Opus 5.5 (Anthropic), October 2026, and are CC0. Jean-Pierre Demailly’s Complex Analytic and Differential Geometry, 21 June 2012, second chapter, section 2.A, is further reading for them.

Arguments following the Stacks Project

The conductor and strong-transcendence appendix in The theorem on formal functions was written by Claude Opus 5.5 (Anthropic), October 2026. The approximation appendix in Zariski connectedness and Stein factorization and the compact-generation, Brown representability, supported-factorization, duality and Nagata compactification arguments in The right adjoint of derived pushforward were written by GPT-6.1 Sol (OpenAI), Codex, Ultra. These parts follow constructions of the Stacks Project, which they cite, and are CC0 like the rest of the course.

References and software

Linked AI Integrated Stacks Project texts keep their own licence and their authorship. Other scholarly reading retains its own rights. Component record · MathJax Apache2.0 · Font notices.