{ "title": "ℓ-adic cohomology and trace formulas", "language": "en", "edition_date": "2026-10-03", "lessons": [ { "id": "AG-LTF/l-adic-sheaves-and-their-cohomology", "title": "ℓ-adic sheaves and their cohomology", "role": "lesson", "source": "src/l-adic-sheaves-and-their-cohomology.md", "source_sha256": "5A78CC2B7A3BFC353C6145E0EFE02FDC3A839EE837D900DD8250CBCAD22B6C69", "reader": "l-adic-sheaves-and-their-cohomology.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/the-pro-etale-site-and-l-adic-complexes", "title": "The pro-étale site and ℓ-adic complexes", "role": "lesson", "source": "src/the-pro-etale-site-and-l-adic-complexes.md", "source_sha256": "4D63CCE73F5AA4E465C9B85DD207B994AC78D1D51498F20174C3DEE3A1566505", "reader": "the-pro-etale-site-and-l-adic-complexes.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/frobenius-morphisms-and-their-action-on-cohomology", "title": "Frobenius morphisms and their action on cohomology", "role": "lesson", "source": "src/frobenius-morphisms-and-their-action-on-cohomology.md", "source_sha256": "02CC1E10A434D92B76C8AF8BD2F65AEB020884D993A5D5BA38E4FDF4E6FECEB4", "reader": "frobenius-morphisms-and-their-action-on-cohomology.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/traces-of-perfect-complexes-and-lefschetz-numbers", "title": "Traces of perfect complexes and Lefschetz numbers", "role": "lesson", "source": "src/traces-of-perfect-complexes-and-lefschetz-numbers.md", "source_sha256": "4E7D792A6A4AD4028AEB1A82F8B0C9743B22C33256C8865E91DA4D47609DEE64", "reader": "traces-of-perfect-complexes-and-lefschetz-numbers.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/cycle-classes-and-the-lefschetz-fixed-point-formula-for-curves", "title": "Cycle classes and the Lefschetz fixed-point formula for curves", "role": "lesson", "source": "src/cycle-classes-and-the-lefschetz-fixed-point-formula-for-curves.md", "source_sha256": "541E8D0C53C8E0A52F9E5271EC2E752F2AB87D22E00FC68556B6A237BE805732", "reader": "cycle-classes-and-the-lefschetz-fixed-point-formula-for-curves.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/the-trace-formula-for-curves", "title": "The trace formula for curves", "role": "lesson", "source": "src/the-trace-formula-for-curves.md", "source_sha256": "1B6FA0711E7676FFEBD986D1D1B8A1ACA8B965ABD58AE4D4148968847FC009C7", "reader": "the-trace-formula-for-curves.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/the-trace-formula-in-all-dimensions", "title": "The trace formula in all dimensions", "role": "lesson", "source": "src/the-trace-formula-in-all-dimensions.md", "source_sha256": "265526ADDB830DB2BD6827CAE3133D534BDA43E06044E629E17ED2908A643F5C", "reader": "the-trace-formula-in-all-dimensions.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/l-functions-rationality-and-the-functional-equation", "title": "L-functions, rationality and the functional equation", "role": "lesson", "source": "src/l-functions-rationality-and-the-functional-equation.md", "source_sha256": "B28884852668C48E49720D88E30EDF79380F35362D750FC8A8E377304FC1FE08", "reader": "l-functions-rationality-and-the-functional-equation.html", "reader_sha256": "DA5803E5060775AB489B0371F9D6798F3FE7BD6F72724357D1F9BC0401B1B16F", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/lefschetz-pencils-and-vanishing-cycles", "title": "Lefschetz pencils and vanishing cycles", "role": "lesson", "source": "src/lefschetz-pencils-and-vanishing-cycles.md", "source_sha256": "88125FF7787A730197AF6A5B4CEDF24D7E33BF58DE830E9BA5AF06B17A1C1250", "reader": "lefschetz-pencils-and-vanishing-cycles.html", "reader_sha256": "E068182C48914A800F21CC8EB87853A7EAE36D4AB1F721ECCDBC9B5FBEC8FACC", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/the-fundamental-estimate", "title": "The fundamental estimate", "role": "lesson", "source": "src/the-fundamental-estimate.md", "source_sha256": "54B682D10E3C5425BAB57ACB1F947CFC048173A6EBB311169C8E3F465D48A582", "reader": "the-fundamental-estimate.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/the-riemann-hypothesis-over-finite-fields", "title": "The Riemann hypothesis over finite fields", "role": "lesson", "source": "src/the-riemann-hypothesis-over-finite-fields.md", "source_sha256": "C1C7F1AD145744FD18B67D9021FC795F1D1F094D1C6E87A7DFB762AF99620DE4", "reader": "the-riemann-hypothesis-over-finite-fields.html", "reader_sha256": "A6B7EE37E0B321BAF362946599A06279014ABABED6E5D1366DB471973B7DAFEB", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." } ], "supporting_readings": [ { "id": "SH-02/SH02-PREREQ-PROOFS", "title": "SH02-PREREQ-PROOFS — Supporting verifications for open prerequisites", "role": "supporting reading", "source": "src/support/SH-02--SH02-PREREQ-PROOFS.md", "source_sha256": "BEA062A459352654E07D2C8881E2B22F9F48E2DC06C9D0894DD9A38756AB0CAE", "reader": "support/SH-02--SH02-PREREQ-PROOFS.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-11", "title": "Perron's formula and the explicit formula for prime counting", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-11.md", "source_sha256": "73142C91CE0FEE300565251CE1AAF79087D50EC17C61A845CFF9A847EAFFAA2A", "reader": "support/NT-ZETA--NT-ZETA-11.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-10", "title": "Counting the zeros: the Riemann–von Mangoldt formula", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-10.md", "source_sha256": "BEA5935F79A28E0F45726D73277057156515974525ED2B3E78FA632F8D04A625", "reader": "support/NT-ZETA--NT-ZETA-10.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-05", "title": "Entire functions of order one and the Hadamard product of xi", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-05.md", "source_sha256": "C5DE40D20ED2079F083378B57CE42815BC7A01E7543F7595DDD1A5DDFE500BD2", "reader": "support/NT-ZETA--NT-ZETA-05.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-03", "title": "The Gamma function and Stirling's formula", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-03.md", "source_sha256": "C5ECA47EA76A956ECBBE865EBCECCCAC0BFDF57672D08B96D922D1806A47D97A", "reader": "support/NT-ZETA--NT-ZETA-03.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-04", "title": "Poisson summation, theta, and the functional equation", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-04.md", "source_sha256": "0F2FA98475CD653DBA03BC1A4E64600DCC81F9EFEB721F4392E395147743EBE8", "reader": "support/NT-ZETA--NT-ZETA-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-ZETA/NT-ZETA-01", "title": "Dirichlet series and Euler products", "role": "supporting reading", "source": "src/support/NT-ZETA--NT-ZETA-01.md", "source_sha256": "E48F02BE8198B6E12B05D3317DA13B70A52DA59E7511E78EDE80FC997CF491AE", "reader": "support/NT-ZETA--NT-ZETA-01.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-LOC/NT-LOC-04", "title": "Extensions of complete valued fields", "role": "supporting reading", "source": "src/support/NT-LOC--NT-LOC-04.md", "source_sha256": "38BAEF41E26421FA07ADA31BA9AD561025EC297FF360F382FF1F0582A93FEEF8", "reader": "support/NT-LOC--NT-LOC-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-LOC/NT-LOC-03", "title": "Hensel's lemma, squares and roots of unity in p-adic fields", "role": "supporting reading", "source": "src/support/NT-LOC--NT-LOC-03.md", "source_sha256": "ECEEAA4FD2C413B8000016F430FD545BA9EF9DB5303F3970862E3DAE44D3C03C", "reader": "support/NT-LOC--NT-LOC-03.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NT-LOC/NT-LOC-02", "title": "Completions, the p-adic numbers and complete discretely valued fields", "role": "supporting reading", "source": "src/support/NT-LOC--NT-LOC-02.md", "source_sha256": "BF0F0F066C344095125B6DF846DDE38F9CCA11D32AC6650B12AF48B4575A739C", "reader": "support/NT-LOC--NT-LOC-02.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-06", "title": "Hilbert 90 in Noether's form and Galois descent", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-06.md", "source_sha256": "C513AD590FBD9B8598B251DCD81C6C19FB944F072417AB05119D04449D465CE9", "reader": "support/NOE-HYP--NOE-HYP-06.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-05", "title": "Crossed products and factor systems", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-05.md", "source_sha256": "DA4F916BD3D7DE65F6C135D3CE20CA5695870AD757900B2422354B54A4138B66", "reader": "support/NOE-HYP--NOE-HYP-05.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-04", "title": "Central simple algebras and the Brauer group", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-04.md", "source_sha256": "376A5501CDEAC44C020E414651E043BA6E330FFB2E4B0FF878C7E4D89A5606DB", "reader": "support/NOE-HYP--NOE-HYP-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-03", "title": "Representations, characters and the group determinant", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-03.md", "source_sha256": "067B4D5DE04A6264EE40AF7DBB7DDBDA852FF89929B239B9715F10BDB612E960", "reader": "support/NOE-HYP--NOE-HYP-03.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-02", "title": "Semisimple rings and Wedderburn's theorem", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-02.md", "source_sha256": "C675F55AD64BE5C5465EEA33D7A694371F60ED7A9ABD6F71FB6B8F2049F83949", "reader": "support/NOE-HYP--NOE-HYP-02.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "NOE-HYP/NOE-HYP-01", "title": "Groups with operators", "role": "supporting reading", "source": "src/support/NOE-HYP--NOE-HYP-01.md", "source_sha256": "D3468003684CC0E90E6423D7A4AA1443DD4BE147A788C503CC95C62CFC83F0FB", "reader": "support/NOE-HYP--NOE-HYP-01.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/sheaves-of-modules-on-a-ringed-space", "title": "Sheaves of modules on a ringed space", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--sheaves-of-modules-on-a-ringed-space.md", "source_sha256": "54A310A95A85F5D9F487F8B3C0774A08247B6963AFCDC2C6EEB56442CB57231E", "reader": "support/derived-categories-and-sheaf-operations--sheaves-of-modules-on-a-ringed-space.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/sheaves-of-modules-and-their-derived-categories", "title": "Sheaves of modules and their derived categories", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--sheaves-of-modules-and-their-derived-categories.md", "source_sha256": "7362408BB2BB6977620AAA25371282EDD955E4F0FD6C8AE6009B7EBED6CF87C5", "reader": "support/derived-categories-and-sheaf-operations--sheaves-of-modules-and-their-derived-categories.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/k-injective-resolutions-in-grothendieck-categories", "title": "K-injective resolutions in Grothendieck abelian categories", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--k-injective-resolutions-in-grothendieck-categories.md", "source_sha256": "0E5672533292BB4607DB4473FA7E2486A0ED77458071D435E7982895EF874533", "reader": "support/derived-categories-and-sheaf-operations--k-injective-resolutions-in-grothendieck-categories.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/complexes-cones-and-localization", "title": "Complexes, cones and localization", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--complexes-cones-and-localization.md", "source_sha256": "79AB5D0179B8B08538AE2DBB9BF5EBE626024686C10193649C762D3185BAC2A2", "reader": "support/derived-categories-and-sheaf-operations--complexes-cones-and-localization.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/injective-modules-and-bounded-below-derived-functors", "title": "Injective modules, flasque sheaves and bounded-below derived functors", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--injective-modules-and-bounded-below-derived-functors.md", "source_sha256": "FD2EC808001EE715695BEF626F9CC63F1935A22B3D85A68502A0F41BB44E733F", "reader": "support/derived-categories-and-sheaf-operations--injective-modules-and-bounded-below-derived-functors.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "derived-categories-and-sheaf-operations/flat-modules-and-k-flat-resolutions", "title": "Flat modules and K-flat resolutions", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--flat-modules-and-k-flat-resolutions.md", "source_sha256": "00E8AEED1840254FE37F0D2A145EDF424DD47C33027B98F3609862C12622FC19", "reader": "support/derived-categories-and-sheaf-operations--flat-modules-and-k-flat-resolutions.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/serres-theorems-on-projective-schemes", "title": "Coherent sheaves on projective schemes: Serre's theorems", "role": "supporting reading", "source": "src/support/AG-QC--serres-theorems-on-projective-schemes.md", "source_sha256": "B820D6D0134D1CF9438A7712FC0BD7EF3CCA44428655ABE601A65103B7FF908E", "reader": "support/AG-QC--serres-theorems-on-projective-schemes.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/cohomology-of-projective-space", "title": "Cohomology of projective space", "role": "supporting reading", "source": "src/support/AG-QC--cohomology-of-projective-space.md", "source_sha256": "E181643D683F407D6A0D3D1B9F4DFE7A6240A95D9DC60DFCF1543C98353F66C4", "reader": "support/AG-QC--cohomology-of-projective-space.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/affine-cohomology-and-serres-criterion", "title": "Cohomology of affine schemes and Serre's criterion", "role": "supporting reading", "source": "src/support/AG-QC--affine-cohomology-and-serres-criterion.md", "source_sha256": "3C8DECEF070D7DD717F27DE1615E6B7B0574ED480687FFEF44D86327813C05BA", "reader": "support/AG-QC--affine-cohomology-and-serres-criterion.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/cech-cohomology", "title": "Čech cohomology", "role": "supporting reading", "source": "src/support/AG-QC--cech-cohomology.md", "source_sha256": "F4443A048617AA8ACA2268EB119A901C7FF914CE7B35E1446AC6B10ADE4A84A2", "reader": "support/AG-QC--cech-cohomology.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/cohomology-of-sheaves-on-ringed-spaces", "title": "Cohomology of sheaves on ringed spaces", "role": "supporting reading", "source": "src/support/AG-QC--cohomology-of-sheaves-on-ringed-spaces.md", "source_sha256": "8C5E29E763B95B169AB466931A2B0D2D4F537B99F619E1F8EF6FB0AA24F6E2BE", "reader": "support/AG-QC--cohomology-of-sheaves-on-ringed-spaces.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/proper-morphisms-and-coherent-direct-images", "title": "Coherence of higher direct images under proper morphisms", "role": "supporting reading", "source": "src/support/AG-QC--proper-morphisms-and-coherent-direct-images.md", "source_sha256": "BB14F29D23A1EFD32EB37EFC6A02B087933610E326D6E645F60C78A50AC00C57", "reader": "support/AG-QC--proper-morphisms-and-coherent-direct-images.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/ext-sheaves-and-serre-duality-on-projective-space", "title": "Ext sheaves and Serre duality on projective space", "role": "supporting reading", "source": "src/support/AG-QC--ext-sheaves-and-serre-duality-on-projective-space.md", "source_sha256": "F92F255439777EFF535E1DFBE5F2095E7DAE5F6ED05D69DD918A767EEE240C59", "reader": "support/AG-QC--ext-sheaves-and-serre-duality-on-projective-space.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/dualizing-sheaves-and-serre-duality-for-projective-schemes", "title": "Dualizing sheaves and Serre duality for projective schemes", "role": "supporting reading", "source": "src/support/AG-QC--dualizing-sheaves-and-serre-duality-for-projective-schemes.md", "source_sha256": "A8B34C7A173847F8F9840D7A3637A00CCE08A8AAB46CE07628D17446F1347E8A", "reader": "support/AG-QC--dualizing-sheaves-and-serre-duality-for-projective-schemes.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-MO/AG-MO-15", "title": "Effective Cartier divisors and invertible sheaves", "role": "supporting reading", "source": "src/support/AG-MO--AG-MO-15.md", "source_sha256": "878880D84258DE75614F2E926DA4F91C196E264CB98F14625404F895F2854721", "reader": "support/AG-MO--AG-MO-15.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-MO/AG-MO-09", "title": "Ample invertible sheaves", "role": "supporting reading", "source": "src/support/AG-MO--AG-MO-09.md", "source_sha256": "B502B773E322B66845670197EA005259DECDFB73757A9C47B71654C213EE7277", "reader": "support/AG-MO--AG-MO-09.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-MO/AG-MO-08", "title": "Very ample invertible sheaves, Segre and Veronese embeddings", "role": "supporting reading", "source": "src/support/AG-MO--AG-MO-08.md", "source_sha256": "353D53A659BCFD9356B92B81A00E3DCB4DFEF00473EA8B6F4E096A519AFDCD1F", "reader": "support/AG-MO--AG-MO-08.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-MO/AG-MO-04", "title": "Valuation rings and the valuative criterion of separatedness", "role": "supporting reading", "source": "src/support/AG-MO--AG-MO-04.md", "source_sha256": "FC427116DD785D07A51C3E9340DBAE59196197547F2D9F03DF7F1BA2202EC5F6", "reader": "support/AG-MO--AG-MO-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-LTF/smooth-trace-and-duality", "title": "Smooth traces, duality and Gysin maps", "role": "supporting reading", "source": "src/support/AG-LTF--smooth-trace-and-duality.md", "source_sha256": "6766FF4510BF4E28217DD8BBD122136D4595A1019154894DB6641A31A3D6E90F", "reader": "support/AG-LTF--smooth-trace-and-duality.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/poincare-duality-for-curves", "title": "Poincaré duality for curves", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--poincare-duality-for-curves.md", "source_sha256": "045C0D5829BFD7FF7E3A4CBD20BE335EA59396534EEEE3306C819B38BFD9D523", "reader": "support/ag-etale-cohomology--poincare-duality-for-curves.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/cohomological-dimension-and-the-kunneth-formula", "title": "Cohomological dimension and the Künneth formula", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--cohomological-dimension-and-the-kunneth-formula.md", "source_sha256": "28BC2C57C9776999E671726873266C6C8DDD76BC78BF3C716DF3D43D099E0A13", "reader": "support/ag-etale-cohomology--cohomological-dimension-and-the-kunneth-formula.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/smooth-base-change-and-local-acyclicity", "title": "Smooth base change and local acyclicity", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--smooth-base-change-and-local-acyclicity.md", "source_sha256": "73CEF01367538E8BE557EB97312A3005D24541936FE4F98120CFC073B3FF5E9F", "reader": "support/ag-etale-cohomology--smooth-base-change-and-local-acyclicity.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/cohomology-with-compact-support", "title": "Cohomology with compact support", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--cohomology-with-compact-support.md", "source_sha256": "A68A90FFF9A8C6272EAF20EBE6318F0F7082B09A1C034EF5449A35BAE3E99C47", "reader": "support/ag-etale-cohomology--cohomology-with-compact-support.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/constructible-sheaves-and-extension-by-zero", "title": "Constructible sheaves and extension by zero", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--constructible-sheaves-and-extension-by-zero.md", "source_sha256": "9F2034218101E6374F737F02B0848011C54A68A5D43F874AA5F2881CC7617732", "reader": "support/ag-etale-cohomology--constructible-sheaves-and-extension-by-zero.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/the-multiplicative-group-on-a-curve", "title": "The multiplicative group on a curve", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--the-multiplicative-group-on-a-curve.md", "source_sha256": "1F7A25736B5B14A359E4ABE15A00EDFBC59C9BF05CCFBF127295BE11B5F81453", "reader": "support/ag-etale-cohomology--the-multiplicative-group-on-a-curve.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/hypercoverings", "title": "Hypercoverings", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--hypercoverings.md", "source_sha256": "FF0C41F356A919DED5C76C26A57D57DCBB7E31A0976DED5CA2D307C59A5A236C", "reader": "support/ag-etale-cohomology--hypercoverings.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/cohomology-on-sites", "title": "Cohomology on sites", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--cohomology-on-sites.md", "source_sha256": "384E96847423A3C67EC243453F0CE841DAF0DF464519FEE1104B1D5EFC40892E", "reader": "support/ag-etale-cohomology--cohomology-on-sites.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/topoi-morphisms-and-points", "title": "Topoi, morphisms and points", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--topoi-morphisms-and-points.md", "source_sha256": "2FB1452D3062146970AF2C1D1DB0D96641CA0C1B29DB5F430CAAD7A8CF1ABE8E", "reader": "support/ag-etale-cohomology--topoi-morphisms-and-points.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/sites-and-sheaves", "title": "Sites and sheaves", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--sites-and-sheaves.md", "source_sha256": "C28A5AB1C6F92A4F5C67135BE04280858F6AFF2315797109EAFCC287402F647C", "reader": "support/ag-etale-cohomology--sites-and-sheaves.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/the-etale-site-and-its-points", "title": "The étale site and its points", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--the-etale-site-and-its-points.md", "source_sha256": "E72FB263985A26AA94F14F72E0056461047E7F7B192F99F1AACB33141CF97179", "reader": "support/ag-etale-cohomology--the-etale-site-and-its-points.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/topologies-on-schemes", "title": "Topologies on schemes", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--topologies-on-schemes.md", "source_sha256": "96905DDB615682A3632EE286522750D92812E60FEB572FADC91285B51B814D0B", "reader": "support/ag-etale-cohomology--topologies-on-schemes.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/brauer-groups-and-tsen-s-theorem", "title": "Brauer groups and Tsen's theorem", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--brauer-groups-and-tsen-s-theorem.md", "source_sha256": "529A4E2DDDD406BFC481C45239C236A19EC1878AEE7165CCDB19F39F604F89B2", "reader": "support/ag-etale-cohomology--brauer-groups-and-tsen-s-theorem.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-CA/AG-CA-11", "title": "Dimension theory of Noetherian local rings", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-11.md", "source_sha256": "BB2F0BF74C9ABB70D0E555BC7F8D0DEFDD7E2CF6B7B91532E3A02AEF84BB6517", "reader": "support/AG-CA--AG-CA-11.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "GFDL-1.2-or-later", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/dimension-theory-of-noetherian-local-rings.md", "source_sha256": "747D132E79C62D070F5CA3B1A147D2B408369C1BEA182978CBFF3D880C567E98" }, "reader_sha256": "4C2DA02D7B0D3A218AE7079DB28858539957E07BC91167570C6D4B10C5BF119E" }, { "id": "AG-CA/AG-CA-06", "title": "The Nullstellensatz and Jacobson rings", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-06.md", "source_sha256": "49D07D32848E4DF96A44187AE4E7EB8198D05B69FB70D23C6BCEE1E457B97F23", "reader": "support/AG-CA--AG-CA-06.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "CC0-1.0", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/the-nullstellensatz-and-jacobson-rings.md", "source_sha256": "11A5D9123D17947E892E4FA7DC703A5E8576C0E04216CB4C7B384F91D4395ABA" }, "reader_sha256": "3C5D543271DB43EDCEB4B84CF737F3824909646E98F27A7D92CFEA1990B4942C" }, { "id": "ag-etale-cohomology/galois-cohomology-and-the-etale-cohomology-of-a-field", "title": "Galois cohomology and the étale cohomology of a field", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--galois-cohomology-and-the-etale-cohomology-of-a-field.md", "source_sha256": "E03FBA7ECEF23BD3596438CB88D940FFC52322AF10F4EB9AC63B141CCD1563F4", "reader": "support/ag-etale-cohomology--galois-cohomology-and-the-etale-cohomology-of-a-field.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/pushforward-pullback-and-finite-morphisms", "title": "Pushforward, pullback and finite morphisms", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--pushforward-pullback-and-finite-morphisms.md", "source_sha256": "9634C097ECC75F6F16959BD08464BF90F346DB493E7BE35CC84B0E43CF485851", "reader": "support/ag-etale-cohomology--pushforward-pullback-and-finite-morphisms.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/torsion-sheaves-on-curves", "title": "Torsion sheaves on curves", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--torsion-sheaves-on-curves.md", "source_sha256": "B4D9D9AE6CEEF5DB4DAD1A1B1CC7E54BBBC8461955AB106591D4892DD4CD6E6F", "reader": "support/ag-etale-cohomology--torsion-sheaves-on-curves.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/the-proper-base-change-theorem", "title": "The proper base change theorem", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--the-proper-base-change-theorem.md", "source_sha256": "04386DA6F0623373486DE1D6751DE54748C30ECE50E4696D71580C9C15D196BF", "reader": "support/ag-etale-cohomology--the-proper-base-change-theorem.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-GS/AG-GS-04", "title": "Quotients and torsors", "role": "supporting reading", "source": "src/support/AG-GS--AG-GS-04.md", "source_sha256": "71A6DF1F5CDFF23B6B72A742D0410478862C3DDD45805984DC2C06945E05672D", "reader": "support/AG-GS--AG-GS-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-FSE/smooth-morphisms", "title": "Smooth morphisms", "role": "supporting reading", "source": "src/support/AG-FSE--smooth-morphisms.md", "source_sha256": "5F5BB3988871E3F5AC18FB555934BE88924CB464A130060C95E323B38CEABD22", "reader": "support/AG-FSE--smooth-morphisms.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-FSE/infinitesimal-lifting-and-invariance-under-thickenings", "title": "Infinitesimal lifting and the invariance of étale morphisms under thickenings", "role": "supporting reading", "source": "src/support/AG-FSE--infinitesimal-lifting-and-invariance-under-thickenings.md", "source_sha256": "B3820AD4D6FB0D414EA6396B7FC75A013BF3A709D6A3097371B8F3DAC6BBB52A", "reader": "support/AG-FSE--infinitesimal-lifting-and-invariance-under-thickenings.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-FSE/etale-neighbourhoods-henselization-and-quasi-finite-morphisms", "title": "Étale neighbourhoods, henselization and quasi-finite morphisms", "role": "supporting reading", "source": "src/support/AG-FSE--etale-neighbourhoods-henselization-and-quasi-finite-morphisms.md", "source_sha256": "6A5C2B04415677CADEBE92F39B2712E23EA6DF483D2BEDDC94F5405BECE2CA57", "reader": "support/AG-FSE--etale-neighbourhoods-henselization-and-quasi-finite-morphisms.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-FSE/flat-morphisms", "title": "Flat morphisms", "role": "supporting reading", "source": "src/support/AG-FSE--flat-morphisms.md", "source_sha256": "7C8038A5744E94CAAA634105692906A5F72F793708669E790CEDCB8BF63EEC61", "reader": "support/AG-FSE--flat-morphisms.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-FSE/etale-morphisms-and-their-local-structure", "title": "Étale morphisms and their local structure", "role": "supporting reading", "source": "src/support/AG-FSE--etale-morphisms-and-their-local-structure.md", "source_sha256": "7F3347E97D948E294AD3434E3345DB692759BCEC369D909C2F9246A1A182AB44", "reader": "support/AG-FSE--etale-morphisms-and-their-local-structure.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-DFG/AG-DFG-02", "title": "Faithfully flat descent", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-02.md", "source_sha256": "09702429D78543856553CBA150E9CBA3150A533A71FCB6587514D426040C6B88", "reader": "support/AG-DFG--AG-DFG-02.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-CA/AG-CA-20", "title": "Henselian local rings and henselization", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-20.md", "source_sha256": "18BEB87DC5999EBC224FEED85F7EE6C2538F33D93ADAA789AE93E5082A5E8343", "reader": "support/AG-CA--AG-CA-20.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "GFDL-1.2-or-later", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/henselian-local-rings-and-henselization.md", "source_sha256": "5F66E78CBCD3A7349C95CECEB85273A32CB36E8C9B2FD58F37A949F3AFA9769E" }, "reader_sha256": "043DF7DAD97552624A6CCEF22E59D9AFD8D059DE085F198D307ECC2049444B03" }, { "id": "AG-CA/AG-CA-19", "title": "Completion", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-19.md", "source_sha256": "7BD87A1A10E9E1F32F74D103959DF436404838163E4B3CDB8A49A8E3C7CE278F", "reader": "support/AG-CA--AG-CA-19.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "CC0-1.0", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/completion.md", "source_sha256": "862F79003BD3838D63E544F694768BD6B202CDB5143BD9627481580C0842DA5A" }, "reader_sha256": "63F75BA9E47B0EB7EED51818E132F5FCC5D221466FCC20FD8D20DB6910F83223" }, { "id": "AG-CA/AG-CA-18", "title": "Smooth algebras over a field and the Jacobian criterion", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-18.md", "source_sha256": "9BF0749209D3575DE103A4DD1E57A9AE7910713B03A07570A8DE6169A1419508", "reader": "support/AG-CA--AG-CA-18.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "CC0-1.0", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/smooth-algebras-over-a-field-and-the-jacobian-criterion.md", "source_sha256": "F904CB9DABE15B90DBA190A855F3B27229C8178DFFADEF82180188A81662AE49" }, "reader_sha256": "98FAB0F59631BA6B18E2FD341013EB69340AF2AA8905F159657DD1FAB7514CE8" }, { "id": "AG-CA/AG-CA-17", "title": "Formally smooth, unramified and étale ring maps", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-17.md", "source_sha256": "8A68AC0FF90AC47E047B274EAADD75B0CB92656F398004823850CD2BB8F83F0F", "reader": "support/AG-CA--AG-CA-17.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "CC0-1.0", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/formally-smooth-unramified-and-etale-ring-maps.md", "source_sha256": "EAADA68ABD271FC504BC10B4B0AACC43BE16E2B4A5E836FF036BD8F6600B4214" }, "reader_sha256": "1F7302726EA53D1292A994FE85B5B5B39C9AB3E3516B8E100E94E383CE87FE0E" }, { "id": "AG-CA/AG-CA-16", "title": "Kähler differentials", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-16.md", "source_sha256": "FABA5A73F42D3F6D2766F484A917BAB11D37BA58FB2FA09D56CF45D0A991C2F4", "reader": "support/AG-CA--AG-CA-16.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "GFDL-1.2-or-later", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/kahler-differentials.md", "source_sha256": "55178F54F7108F1EBDD6A3FEB58A492F353B600F117DAAC4AC98EB2B427A1723" }, "reader_sha256": "980F89471A5A8F6632A94CFBBA1B866D3D57D55652170D2B5EE63FF3521B3779" }, { "id": "AG-CA/AG-CA-14", "title": "Regular local rings", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-14.md", "source_sha256": "9A5156FA64946427BE56E4C69709704AFC70098C8C64405B61C5F210EFA0D3EC", "reader": "support/AG-CA--AG-CA-14.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "CC0-1.0", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/regular-local-rings.md", "source_sha256": "618DF1C1404575A4ACBBFAC95323EB877D184E8D4650A860FC4A66BC00B890CD" }, "reader_sha256": "7D6C464C30D3AED99DE8E9F755D169FBF371EC6384263F098F68C4F7A2DC7F04" }, { "id": "AG-CA/AG-CA-12", "title": "Regular sequences, depth and Cohen–Macaulay modules", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-12.md", "source_sha256": "FDCCF05E60511F110DCD91412C3F729794044FF606E18799B41094947764E91A", "reader": "support/AG-CA--AG-CA-12.html", "body_credit": "Authorship, sources and component terms are stated in the reading.", "license": "GFDL-1.2-or-later", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/regular-sequences-depth-and-cohen-macaulay-modules.md", "source_sha256": "73F56D235EF9DBA036C13A789637C96A35E18A2315C0D5F7CF46C66EB9FA66A7" }, "reader_sha256": "C19BDDF584F5FA1CC5518A4B2F469E782CB32BC07787187BF9508D76F0428799" }, { "id": "AG-AS/AG-AS-11", "title": "Simplicial sets, nerves and Kan complexes", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-11.md", "source_sha256": "4DE8CCC7E4AE86319F6C27FA472CCFEC8BBCA59AB9D72D33E376A237B08ABA96", "reader": "support/AG-AS--AG-AS-11.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-AS/AG-AS-04", "title": "Stacks in groupoids", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-04.md", "source_sha256": "04BD473A61C71BAE8D5ED816DF0915797BD4480935B31FDF8867E502642E842A", "reader": "support/AG-AS--AG-AS-04.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-AS/AG-AS-03", "title": "Properties and morphisms of algebraic spaces", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-03.md", "source_sha256": "06149570A7EE852FBF74EC5623AE6FDD84C60759EC3738D6D8363BBEFC5EE590", "reader": "support/AG-AS--AG-AS-03.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-AS/AG-AS-01", "title": "Algebraic spaces", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-01.md", "source_sha256": "AD3CA3A6106772320317B3F9798145945D936C9504877B53F3B81908AF997EF7", "reader": "support/AG-AS--AG-AS-01.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-AS/AG-AS-02", "title": "The bootstrap theorem", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-02.md", "source_sha256": "01F85CD7EF8651DC703236F0753E84CCD729205584524109FE3824B150EA7169", "reader": "support/AG-AS--AG-AS-02.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/the-right-adjoint-of-derived-pushforward", "title": "The right adjoint of derived pushforward", "role": "supporting reading", "source": "src/support/AG-QC--the-right-adjoint-of-derived-pushforward.md", "source_sha256": "B3841E969DC5DE85640DB91C7D9141EFAFE9A9DFBBA4613B334456D7DF3CCAEA", "reader": "support/AG-QC--the-right-adjoint-of-derived-pushforward.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/serres-comparison-theorems-and-chows-theorem", "title": "Serre's comparison theorems and Chow's theorem", "role": "supporting reading", "source": "src/support/AG-QC--serres-comparison-theorems-and-chows-theorem.md", "source_sha256": "78E985FFE0C5745131C9AEA4A0EEC0216CA67C16AC2F2C971E4B96EFF43D197A", "reader": "support/AG-QC--serres-comparison-theorems-and-chows-theorem.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-DFG/AG-DFG-08", "title": "Comparison with the topological fundamental group over the complex numbers", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-08.md", "source_sha256": "CAF3B293BF827EA2B81F8ED27CA3242FA7F8DCC1C7E21B0C7A39DF7F96D4560D", "reader": "support/AG-DFG--AG-DFG-08.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "ag-etale-cohomology/comparison-with-singular-cohomology", "title": "Comparison with singular cohomology", "role": "supporting reading", "source": "src/support/ag-etale-cohomology--comparison-with-singular-cohomology.md", "source_sha256": "D9BA80D09FB8128C2F58F91E0FE6F6D69FFAA26E4597E747DA2D8E20B7BD2B2F", "reader": "support/ag-etale-cohomology--comparison-with-singular-cohomology.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/algebraization-of-formal-schemes", "title": "Algebraization of formal schemes", "role": "supporting reading", "source": "src/support/AG-QC--algebraization-of-formal-schemes.md", "source_sha256": "BBE4B59300F1E90189E47C22682907FA7D130A9CA6B3E863797A0EC78F3FF74D", "reader": "support/AG-QC--algebraization-of-formal-schemes.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/the-theorem-on-formal-functions", "title": "The theorem on formal functions", "role": "supporting reading", "source": "src/support/AG-QC--the-theorem-on-formal-functions.md", "source_sha256": "0EC223260CE0ECAA6CE4C83EC69BFB208A42DD1E1FFD1254B02045C7B5B64A9C", "reader": "support/AG-QC--the-theorem-on-formal-functions.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/base-change-and-the-grothendieck-complex", "title": "Base change and the Grothendieck complex", "role": "supporting reading", "source": "src/support/AG-QC--base-change-and-the-grothendieck-complex.md", "source_sha256": "76FC8E8E5BEACFBB45255D526AF13D0247AE7B7BAC8C57ACECD5DCCADD59E44D", "reader": "support/AG-QC--base-change-and-the-grothendieck-complex.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-QC/grothendiecks-existence-theorem", "title": "Grothendieck's existence theorem", "role": "supporting reading", "source": "src/support/AG-QC--grothendiecks-existence-theorem.md", "source_sha256": "DFC9F34B9731035AD51D570BDF6A50F7B2D5FF898F3CCE0728F3C9D0ECBF16A3", "reader": "support/AG-QC--grothendiecks-existence-theorem.html", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "reader_sha256": "8B99F3B76AE8C3B0162A31AFF704C12C7DE857DFFB238FDB53771E25B630A2FF", "provider_source": { "source_sha256": "73D2A498391D48873BBA0EAFE7EC46AB14056C1B8BC60843220CB17E544AF77B", "authored_current_edition": "AG-QC\\src\\grothendiecks-existence-theorem.md", "repository": "KokunoYumeto/open-math-courses", "revision": "890b1a90a2ba74a8408d861b1ecf3ecdf84343d4", "path": "docs/courses/AG-QC/src/grothendiecks-existence-theorem.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-HP/deformations-of-rings-and-schemes-and-the-naive-cotangent-complex", "title": "Deformations of rings and schemes and the naive cotangent complex", "role": "supporting reading", "source": "src/support/AG-HP--deformations-of-rings-and-schemes-and-the-naive-cotangent-complex.md", "source_sha256": "174B2B1B781EE827F9B8C7994F99263ED214A4329D8E1BB04FCE27A685DB786D", "reader": "support/AG-HP--deformations-of-rings-and-schemes-and-the-naive-cotangent-complex.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-DFG/AG-DFG-05", "title": "The étale fundamental group", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-05.md", "source_sha256": "EEF82048B4023B4206B8E8D8913050FDA7E02AF30C633B8B76EA6FBB7E86257B", "reader": "support/AG-DFG--AG-DFG-05.html", "body_credit": "Authorship, sources and component terms are stated in the reading." }, { "id": "AG-CA/AG-CA-19S", "title": "Coefficient rings and the Cohen structure theorem", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-19S.md", "source_sha256": "5511C88BD33F0129A161CF776DD88AA2B4A2914FE9F56F47686F80557057F2EB", "reader": "support/AG-CA--AG-CA-19S.html", "body_credit": "Stacks Project Authors and credited AI editorial contributors; adaptation by GPT-6.1 Sol (OpenAI). Original AI material retains its CC0 dedication.", "license": "GFDL-1.2-or-later", "provider_source": { "repository": "KokunoYumeto/open-math-courses", "revision": "2447ead5982e07883f70d70dbd3d561f20e87423", "path": "docs/courses/AG-CA/src/coefficient-rings-and-cohen-structure.md", "source_sha256": "345624D00DAB0FC93D0DE28D457AB2C85ECD0F3E7274304AA9AAE1E72A7AF746" }, "reader_sha256": "CF1F3435131D93A67E53878E68F4E36615C558851522CBD1B559605DA4F7227E" }, { "id": "derived-categories-and-sheaf-operations/internal-derived-hom-and-ext-sheaves", "title": "Hom complexes, internal derived Hom and Ext sheaves", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--internal-derived-hom-and-ext-sheaves.md", "source_sha256": "BA3BE2E3C180C790B432205D9FAD459F7B4B9FF4112D611519306C8026BF1D70", "reader": "support/derived-categories-and-sheaf-operations--internal-derived-hom-and-ext-sheaves.html", "reader_sha256": "C6163E34AD838F0B97767311B9A13D421728A482B1466D5CE3A7DF0F588D8E12", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "GFDL-1.2-or-later", "component_terms": "The incorporated Stacks mathematical source and combined adaptation retain GNU FDL 1.2 or later; original AI material retains CC0 where stated." }, { "id": "derived-categories-and-sheaf-operations/derived-tensor-products-and-tor-sheaves", "title": "The derived tensor product and Tor sheaves", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--derived-tensor-products-and-tor-sheaves.md", "source_sha256": "C58F277127D7DFA1B520054389AABF0166B8F53E22444F25A14EA9D9AB09876F", "reader": "support/derived-categories-and-sheaf-operations--derived-tensor-products-and-tor-sheaves.html", "reader_sha256": "383F0192B632C2CF05DC343F7451A0570B17BE6C391ED7918EB8253076F0DBC3", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "GFDL-1.2-or-later", "component_terms": "The incorporated Stacks mathematical source and combined adaptation retain GNU FDL 1.2 or later; original AI material retains CC0 where stated." }, { "id": "derived-categories-and-sheaf-operations/derived-pullback-and-pushforward", "title": "Derived pullback and pushforward", "role": "supporting reading", "source": "src/support/derived-categories-and-sheaf-operations--derived-pullback-and-pushforward.md", "source_sha256": "17B92AB7511CB75BA72154557F309F3951AAE17B7BA7020106E8C8C23C81AAD5", "reader": "support/derived-categories-and-sheaf-operations--derived-pullback-and-pushforward.html", "reader_sha256": "FC966B61654FA92FC1AEAA28196341F3A3F0553A0C716FFD388141E0122E19BD", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "GFDL-1.2-or-later", "component_terms": "The incorporated Stacks mathematical source and combined adaptation retain GNU FDL 1.2 or later; original AI material retains CC0 where stated." }, { "id": "AG-LCL/AG-LCL-07", "title": "Purity of the branch locus", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-07.md", "source_sha256": "162F276EC28C4F10A87963D5300BB5E64D561840FA839FBBD62171CDD9952041", "reader": "support/AG-LCL--AG-LCL-07.html", "reader_sha256": "B37E7B3F1B38145BFD8380E7D4185A8F0C837876CF7C8D14EEE6FB697D53A84E", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "162F276EC28C4F10A87963D5300BB5E64D561840FA839FBBD62171CDD9952041", "authored_current_edition": "AG-LCL\\src\\purity-of-the-branch-locus.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-FSE/flatness-criteria", "title": "Flatness criteria, dimension and the flat locus", "role": "supporting reading", "source": "src/support/AG-FSE--flatness-criteria.md", "source_sha256": "03BA94B3FFEFF19A5F5724B3881EE52F019B7E020C5AA4F6678F38A96E87AA39", "reader": "support/AG-FSE--flatness-criteria.html", "reader_sha256": "05C9CF4D47B88F1649D086DE7AC75F0A55D449474B783CC335CE821A1595F6D6", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-09", "title": "Krull dimension and Noether normalization", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-09.md", "source_sha256": "FA17B6B40CD8185B8BA758F2B75D8F56A21473A9BCAA36963033B347016822DD", "reader": "support/AG-CA--AG-CA-09.html", "reader_sha256": "704D591210AC36F2F04AAC733949566E988DBC892232DBA553F0CE1D31193681", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "GFDL-1.2-or-later", "component_terms": "The incorporated Stacks mathematical source and combined adaptation retain GNU FDL 1.2 or later; original AI material retains CC0 where stated." }, { "id": "AG-CA/AG-CA-03", "title": "Noetherian and Artinian rings", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-03.md", "source_sha256": "B902D8180CE2F714DB4D6FEC39A3C3EF6EAAE249CC12577A96E8BB08A3ACE768", "reader": "support/AG-CA--AG-CA-03.html", "reader_sha256": "03CD38FF7E2F99AB2D66A634FC137B7C9E37C32AE5F496409A93EAB5DE3AA8D3", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-02", "title": "Localization, local properties and support", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-02.md", "source_sha256": "6F5D0CA9BAFB14B14DB5316237D37BDEB396FC7B6718863FA9CBAEFF2E3AC53E", "reader": "support/AG-CA--AG-CA-02.html", "reader_sha256": "DF4D307EA327098B8CB6339D99CC97270305F9AA95AE7B0D6E9AF71902C86E60", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-01", "title": "Spectra of rings", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-01.md", "source_sha256": "AE30EAD915C497B5E3CEC78E54CABFF98BBCA7E73108FBAA8F80D0D2953859A0", "reader": "support/AG-CA--AG-CA-01.html", "reader_sha256": "3185BB353E0ED9A586665639757D68A089D790D91E1123E34DB6DA539A154DD9", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-01S", "title": "Spectral spaces and affine realization", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-01S.md", "source_sha256": "29CA8E23213B8C431833C0A04C661A66CB331DF0594261AA1E14948F04873DDA", "reader": "support/AG-CA--AG-CA-01S.html", "reader_sha256": "4410D0FD890B48C1E37E6C675AADC973C7798F26FA179D2883E6449AD36EF4F3", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-04", "title": "Associated primes and primary decomposition", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-04.md", "source_sha256": "19DA7DF8A8E5877795B58FD990E4389F4D8E425FC98B92EF50A6993F0DADD637", "reader": "support/AG-CA--AG-CA-04.html", "reader_sha256": "49F74572180DAFB2D0BA67F99E0BF373812ADABB5B908947B96553B88AD5DAB9", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-05", "title": "Integral extensions: lying over, going up and going down", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-05.md", "source_sha256": "60311C428775940A13383D70B4947FECC9C9B1DAB48F87FB790E55364513D396", "reader": "support/AG-CA--AG-CA-05.html", "reader_sha256": "D76B3E4694C1A54787A9A547AECC6FECDD35E63CFBC4AB9708042D3C0588BB38", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-08", "title": "Faithful flatness and the local criterion for flatness", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-08.md", "source_sha256": "7BF887E850C00A75AFD93F8BF6E45BDED87153E14EA4DB7CF3499D40BF33BE32", "reader": "support/AG-CA--AG-CA-08.html", "reader_sha256": "9004A7622F9D157BC29483DCBA3AC0C56607D7106C7BB637F40413E9CBFDC097", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-CA/AG-CA-07", "title": "Tor and flat modules", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-07.md", "source_sha256": "CB092CB9170D4A2FAB5FD2DB41532D4005CAFFD20A16488339DF1D3D427419B3", "reader": "support/AG-CA--AG-CA-07.html", "reader_sha256": "AA65132711F27DFE067531C24C6C552D75F7B555D6BCC7AE9D8A7C70B9205AC9", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "GFDL-1.2-or-later", "component_terms": "The incorporated Stacks mathematical source and combined adaptation retain GNU FDL 1.2 or later; original AI material retains CC0 where stated." }, { "id": "AG-CA/AG-CA-06S", "title": "Resolutions, Tor and Ext", "role": "supporting reading", "source": "src/support/AG-CA--AG-CA-06S.md", "source_sha256": "41EDCA05DA2D3D03825B78F3B5040590CCE6E97718C1ADAC5112CAA2F23047CD", "reader": "support/AG-CA--AG-CA-06S.html", "reader_sha256": "8F1C62101E03BF1BE72190A53515716DE237488F241C4F7D54505973CBF2892E", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LCL/AG-LCL-05", "title": "Lefschetz theorems for finite étale covers", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-05.md", "source_sha256": "207B427A0D29559B556BD763B5252B05640657D1CB17C653D109CE707F353B25", "reader": "support/AG-LCL--AG-LCL-05.html", "reader_sha256": "880DF68FDD975E68940C72B3F9569CEAF5027C32839C4257DBF4371F2C42829A", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "71B014632E0A734B1A000048E2A82231CBD1B8DB46E47246EE263498F7AC8F4A", "authored_current_edition": "AG-LCL\\src\\lefschetz-for-finite-etale-covers.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-GS/AG-GS-06", "title": "Abelian varieties", "role": "supporting reading", "source": "src/support/AG-GS--AG-GS-06.md", "source_sha256": "B64AFFD3C2D6FDFB4D25B2FBEB753721A8A2E199D85BFD507186ECACE411F955", "reader": "support/AG-GS--AG-GS-06.html", "reader_sha256": "29B5D5AC322C0CD912B373C23CD997DB1F4C4DF81BAE39E2C90E736C18EC267D", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "provider_source": { "source_sha256": "69A6A397EC9A9B45989B271928983BD65CC6F82E64C0D831652B2613B1502BB2", "authored_current_edition": "AG-GS/src/abelian-varieties.md", "repository": "KokunoYumeto/open-math-courses", "revision": "e2cb99ddd15668990eacd21afa42ea18e1c6f7e2", "path": "docs/courses/AG-GS/src/abelian-varieties.md" } }, { "id": "LG-GAL/the-adic-tate-module-of-an-elliptic-curve", "title": "The ℓ-adic Tate module of an elliptic curve", "role": "supporting reading", "source": "src/support/LG-GAL--the-adic-tate-module-of-an-elliptic-curve.md", "source_sha256": "E5BB0518A000600F38F3CA86F1D186F39210D1495CA1123AC1C6F2B909592DA3", "reader": "support/LG-GAL--the-adic-tate-module-of-an-elliptic-curve.html", "reader_sha256": "84F7EDB97340EB8A085A23192E9742A992436DAD1BCA49ADB1AE36DF704707B2", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "LG-GAL/frobenius-elements-and-determination-by-traces", "title": "Frobenius elements and determination by traces", "role": "supporting reading", "source": "src/support/LG-GAL--frobenius-elements-and-determination-by-traces.md", "source_sha256": "FC7313EE435E2C060200A44818933272818E38A3DD7388260B2015A71895C7C6", "reader": "support/LG-GAL--frobenius-elements-and-determination-by-traces.html", "reader_sha256": "DA2035BA6791B4CF028CB0B3CE8C61803A0F823B158841C4F7B94A311FA13486", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "LG-GAL/profinite-groups-and-adic-representations", "title": "Profinite groups and ℓ-adic representations", "role": "supporting reading", "source": "src/support/LG-GAL--profinite-groups-and-adic-representations.md", "source_sha256": "7D794F596377EC395B1519353F520C0DC6702883757A73D50976794A2D8A696B", "reader": "support/LG-GAL--profinite-groups-and-adic-representations.html", "reader_sha256": "6C963A0374A8BDFE795EDD5770EC185C98124A395F84343250327E6549D4B6A2", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-DFG/AG-DFG-04", "title": "Galois categories", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-04.md", "source_sha256": "D0738D04438640954D123B226BC9E67E20BAAAF1F0A8C5395C67C0F3AF090263", "reader": "support/AG-DFG--AG-DFG-04.html", "reader_sha256": "D142FDED0305560DDDA9898707D84300C14D14BECC7593AE3FF6E33D2688AA28", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-DFG/AG-DFG-03", "title": "Descending properties of schemes and morphisms", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-03.md", "source_sha256": "8E484100D6AA3A63539C7F18742F3DC1E29AA8D7D2CD4118AF39CA84B0BBCDB6", "reader": "support/AG-DFG--AG-DFG-03.html", "reader_sha256": "95B1D56473F75DF73E148157E490C68DAF0240494045189B3705B68900A6861E", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LCL/AG-LCL-01", "title": "Local cohomology", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-01.md", "source_sha256": "89E04234BC8EFC5EF50CABFB1B4FF07E9385EDC094C180ADE36D15AC828996BF", "reader": "support/AG-LCL--AG-LCL-01.html", "reader_sha256": "3333E03823CF50D1FD39C0A4788465D781CB11D3B8FA28C9C26F17E320B2691B", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "CD5FCEFBD4E3F3C0FC4B69BB6395F5EFC23BDEA6D37CC792D24707EED839E3D9", "authored_current_edition": "AG-LCL\\src\\local-cohomology.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-LCL/AG-LCL-04", "title": "Formal geometry along a closed subscheme", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-04.md", "source_sha256": "540DC42F6D2E3A0057B22E5804EC2353722BD64C642A30B0861499121B655FF0", "reader": "support/AG-LCL--AG-LCL-04.html", "reader_sha256": "1CBB77D8920276E993375C64736D5EF5DA255177E6A1041DEF15E195A290A664", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "13B1892BA7C130E761E2D9A38F3996FD790809E02ED5C0A2D798BDDFD95A02BD", "authored_current_edition": "AG-LCL\\src\\formal-geometry.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-LCL/AG-LCL-03", "title": "Cohomological dimension, vanishing and connectedness", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-03.md", "source_sha256": "82A0BE5FE61F41FC443D98EE205A17E1FB4EF6B51A3DC61794CEEBB4514D7AF0", "reader": "support/AG-LCL--AG-LCL-03.html", "reader_sha256": "91B51B3D8C71AF615E296404CF24A0C30F365ED0E42A840BD63E1A90424B10CF", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "536DC7B89583A9A6FA6193DDB8B600BFB3A3661069FF0B69B0616448A1304E6E", "authored_current_edition": "AG-LCL\\src\\cohomological-dimension-and-connectedness.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-LCL/AG-LCL-02", "title": "Local duality and finiteness", "role": "supporting reading", "source": "src/support/AG-LCL--AG-LCL-02.md", "source_sha256": "76050C3B2DC01EEEA966D3D78102696E7B1E883B689DAB5A941384DC5FE34CA3", "reader": "support/AG-LCL--AG-LCL-02.html", "reader_sha256": "400338AF3471E2FAA4A56744A4ABD7EB4BC9FFA40043F1C6CBADD74ACF55AC1F", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "907EBC75CEE7882DC99CD7671BEFA6779C404A1F970E760DCEAB147A68D5CBAC", "authored_current_edition": "AG-LCL\\src\\local-duality-and-finiteness.md" }, "license": "CC0-1.0", "component_terms": "Original exposition is CC0; linked human proofs retain their own GNU FDL terms." }, { "id": "AG-DFG/AG-DFG-06", "title": "Fundamental groups of proper schemes and the homotopy exact sequence", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-06.md", "source_sha256": "6540F7BBB4FF4B7A00AC346207D10011A11296F5CCC2BADBE80C98AE18B1A557", "reader": "support/AG-DFG--AG-DFG-06.html", "reader_sha256": "762A28930BB728CA85993DF59B3FA50C1DA40AF5AEF6BC8FE80B3972C86833BD", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "6540F7BBB4FF4B7A00AC346207D10011A11296F5CCC2BADBE80C98AE18B1A557", "authored_current_edition": "AG-DFG\\src\\proper-fundamental-groups.md" }, "license": "CC0-1.0" }, { "id": "AG-DFG/AG-DFG-07", "title": "Specialization maps and tame ramification", "role": "supporting reading", "source": "src/support/AG-DFG--AG-DFG-07.md", "source_sha256": "0E7789D5D78BF2A941EC843260ADC82307475A299E0D699CF3D5EB27BE1AAEE7", "reader": "support/AG-DFG--AG-DFG-07.html", "reader_sha256": "B1292DC090B23103427D0518D7FC8302EDC5735193954498424AE055C22B177B", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "0E7789D5D78BF2A941EC843260ADC82307475A299E0D699CF3D5EB27BE1AAEE7", "authored_current_edition": "AG-DFG\\src\\specialization-and-tame-ramification.md" }, "license": "CC0-1.0" }, { "id": "AG-LTF/weak-lefschetz-and-complete-intersection-ranks", "title": "Weak Lefschetz and complete-intersection ranks", "role": "supporting reading", "source": "src/support/AG-LTF--weak-lefschetz-and-complete-intersection-ranks.md", "source_sha256": "03C3B1A7BCC0CBCEF3CEC772F8417984B6D3FACE5ABBFB32108E833D0147BA70", "reader": "support/AG-LTF--weak-lefschetz-and-complete-intersection-ranks.html", "reader_sha256": "BA93721C350EE17BBC41BF61F4F4A9C1B9B70AE0B47058982DB701F017F3C8A3", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/determinants-ramification-and-tate-curves", "title": "Determinants, ramification and Tate curves", "role": "supporting reading", "source": "src/support/AG-LTF--l-functions-rationality-and-the-functional-equation.md", "source_sha256": "FB5F35162260CA5C0366F12775D90C05795E86E022901E254A164F996E9B0CEF", "reader": "support/AG-LTF--l-functions-rationality-and-the-functional-equation.html", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "reader_sha256": "D831C11F419FCF5F13649AE3A4959BF8117F20F6074E29BC970B0CEDF1B1BB92", "license": "CC0-1.0" }, { "id": "the-field-with-one-element/counting-over-finite-fields-and-the-limit-q-1", "title": "Counting over finite fields and the limit q → 1", "role": "supporting reading", "source": "src/support/the-field-with-one-element--counting-over-finite-fields-and-the-limit-q-1.md", "source_sha256": "592A4AB0E58CB50A971D6A51F83EA6876565EE274E83EE3FBD4FFE54205DAE82", "reader": "support/the-field-with-one-element--counting-over-finite-fields-and-the-limit-q-1.html", "reader_sha256": "BEEEEE9420003F061C157910F6B68070E3158D35071D95D581016509905540DF", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/stable-pointed-family-extension", "title": "Stable pointed-family extension after a separable projective alteration", "role": "supporting reading", "source": "src/support/AG-LTF--stable-pointed-family-extension.md", "source_sha256": "D6956BC8A9CEA625BDB724A9417DA853B238C820325B1A1A56503CA659F52B23", "reader": "support/AG-LTF--stable-pointed-family-extension.html", "reader_sha256": "B7232F321B5D207E7D9505498E39692EB240F3DB701979F6E3D0A6FF52B8AA20", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-LTF/stable-family-foundations", "title": "Foundations and dependency boundaries", "role": "supporting reading", "source": "src/support/AG-LTF--stable-family-foundations.md", "source_sha256": "9EC991A561C59D3B3597BFC3416D6342072DF739BECFDD1398F7B1700E45F103", "reader": "support/AG-LTF--stable-family-foundations.html", "reader_sha256": "2483A2A1935330704D49830E9BA74093612FFA1FAC08E3638BB9C02C59C95410", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/numerical-completion-NS11a", "title": "Numerical completion of the long weighted chains", "role": "supporting reading", "source": "src/support/AG-LTF--numerical-completion-NS11a.md", "source_sha256": "D2D72AA7EF63E866C5694F09937B26D4446689EC91B5B14846686742A5B8038D", "reader": "support/AG-LTF--numerical-completion-NS11a.html", "reader_sha256": "B92FEABCAA4EE765FDD8182EF9AEBD7C712206F301420F8496D609E0A15FF3F6", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-LTF/smooth-projective-alterations", "title": "Smooth projective alterations", "role": "supporting reading", "source": "src/support/AG-LTF--smooth-projective-alterations.md", "source_sha256": "82020176920B2F6F43CA1138028B5C3D0CA5E387763678E1FA25D1F9A6A0B226", "reader": "support/AG-LTF--smooth-projective-alterations.html", "reader_sha256": "1744D1DD6B37B65F582880635E39F3C447529B3EE6848F569B48838BC5A83C21", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-HP/hilbert-and-quot-schemes", "title": "Hilbert and Quot schemes", "role": "supporting reading", "source": "src/support/AG-HP--hilbert-and-quot-schemes.md", "source_sha256": "8EE89BBE232E1051C1865622959AB0484E225CDD5C28EB850DE1B5F080058374", "reader": "support/AG-HP--hilbert-and-quot-schemes.html", "reader_sha256": "F77D8D90C111A44185EA2CB3737C5D0D2CB9678B8CA1493B2D167AC24F5D40DE", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "035BB7E1DE312769ADF9440260F795FA7ECD4DC755C6BD8597C8E2AFB6C8CFCC", "authored_current_edition": "AG-HP/src/hilbert-and-quot-schemes.md" }, "license": "CC0-1.0" }, { "id": "AG-AS/AG-AS-08", "title": "Moduli stacks are algebraic", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-08.md", "source_sha256": "341A015A0930F9903C19E0BE78E97DC54931B47B8FEC640D3FC2EB8236C93590", "reader": "support/AG-AS--AG-AS-08.html", "reader_sha256": "0E42EEA39448F34284F0250A908A5D8344A4533F0F24E4A11CA26CB41CF5A9F5", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "E5C4752351D7A725267F0E4946BE2C377276BD096019F270EA4973A842BCA0D6", "authored_current_edition": "AG-AS/src/moduli-stacks-are-algebraic.md", "repository": "KokunoYumeto/open-math-courses", "revision": "e2cb99ddd15668990eacd21afa42ea18e1c6f7e2", "path": "docs/courses/AG-AS/src/moduli-stacks-are-algebraic.md" }, "license": "CC0-1.0" }, { "id": "AG-AS/AG-AS-07", "title": "Artin's axioms", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-07.md", "source_sha256": "D77D7E7EC120D51B19BEF0DFF32907311D689204263235A34790E5187B0E47AD", "reader": "support/AG-AS--AG-AS-07.html", "reader_sha256": "8ECA1305873E20BA061D65CA75361877BF1D0D96A33C24B1B47C86E565305687", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-AS/AG-AS-06", "title": "Quotient stacks and Deligne–Mumford stacks", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-06.md", "source_sha256": "A5A0AA298837444DE8AE1EB802C85BAA195A6ED15E6DB3DA03D85E7F6CC29FE6", "reader": "support/AG-AS--AG-AS-06.html", "reader_sha256": "7D0CF3AD1A8BA0A8786EBC4D0B83397A56FB583A1BA93667B743C6E76E8CC8BE", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "398035C85D89F14A5C5DC17691FEA240F55AB3ACA7C7F17A1C1255E2C9A2C750", "authored_current_edition": "AG-AS/src/quotient-and-dm-stacks.md" }, "license": "CC0-1.0" }, { "id": "AG-AS/AG-AS-05", "title": "Algebraic stacks", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-05.md", "source_sha256": "8CA6AA9725C898B5D27DE5D1AB7D10F41B6394E7E29CCE38EDA38CE4A1A9DE81", "reader": "support/AG-AS--AG-AS-05.html", "reader_sha256": "A515352FCD59343D573258A8BC3F96AE610DB6E61A6DAD0BDA3C4423344B74CC", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "0B75E51DAE1EE7E689176ABD3EAB96A236C7F27E0C71739668D2FF216CAA3F6C", "authored_current_edition": "AG-AS/src/algebraic-stacks.md" }, "license": "CC0-1.0" }, { "id": "AG-LTF/regular-surface-models", "title": "Regular surface models and exceptional-curve contraction", "role": "supporting reading", "source": "src/support/AG-LTF--regular-surface-models.md", "source_sha256": "2634A2B97CEEE3B759F1E9AE41CE31AD3CA1E3931B879E4F15DE8B8207393265", "reader": "support/AG-LTF--regular-surface-models.html", "reader_sha256": "EA03A0D709B03E602CA61213E3683D1BC1FBB9C0CC870977C8C9A4B286D750AE", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-LTF/stable-family-native-proof-sources", "title": "Exact native proof sources", "role": "supporting reading", "source": "src/support/AG-LTF--stable-family-native-proof-sources.md", "source_sha256": "FA019BBCD82CDB76B9085FF9F04EB72BCD3CCB89A154EA316BE1A4878CA4E1BE", "reader": "support/AG-LTF--stable-family-native-proof-sources.html", "reader_sha256": "DFEE0D03C228FD6EC23CABCD3EF87C0A5C3EA28018B15E63D185C828D2A8415D", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-LTF/stable-family-numerical-source-corrections", "title": "Numerical annotations to the original model source", "role": "supporting reading", "source": "src/support/AG-LTF--stable-family-numerical-source-corrections.md", "source_sha256": "ED505AD9567CAAA37C009099B4F0859066C7352BE13021A7A41E45950840C3EA", "reader": "support/AG-LTF--stable-family-numerical-source-corrections.html", "reader_sha256": "89792D344C1CE694C0EADA48D7ABA4F36B207897913A36E2BFF68EE6DEB770DE", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-AS/AG-AS-09", "title": "The stack of curves", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-09.md", "source_sha256": "D93179192CE911A2F0B556C1EBBAD85E7EAAF9792DFE9F50D98DC979F77E153A", "reader": "support/AG-AS--AG-AS-09.html", "reader_sha256": "D7068A273CEFB45284827AE631DB38964237042DCEA797DB4DE29007D65E5B86", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "33745C66D2F82B63CF12E1421D4B7FBD8317F501665D22BC593EFA0017A487DA", "authored_current_edition": "AG-AS/src/the-stack-of-curves.md" }, "license": "CC0-1.0" }, { "id": "AG-AS/AG-AS-10", "title": "Stable reduction and properness", "role": "supporting reading", "source": "src/support/AG-AS--AG-AS-10.md", "source_sha256": "242B51F569663EF135122EB130AB3C877E9889B47F9EEBB1D80941C15D9E9B92", "reader": "support/AG-AS--AG-AS-10.html", "reader_sha256": "1F1DC675039244337271B47F06518C16ABC7149E137FA438136E121DF06768BB", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "provider_source": { "source_sha256": "0E08928F44CACF292ADD88C51FAD1C133C127837517D2BA8B256A815214AA346", "authored_current_edition": "AG-AS/src/stable-reduction-and-properness.md" }, "license": "CC0-1.0" }, { "id": "AG-LTF/stable-family-package", "title": "Stable pointed-family extension teaching package", "role": "supporting reading", "source": "src/support/AG-LTF--stable-family-package.md", "source_sha256": "E107BA7CE4040D99308C1CBA0A7A6FC4F89583328CD4469E3FD92E6E93AF8319", "reader": "support/AG-LTF--stable-family-package.html", "reader_sha256": "170A4A587D5F1F9A71BE9405372B4E18E9265B31DA2849B21CC74C7BF18B0259", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-LTF/stable-family-source-notices", "title": "Source notices and authorship", "role": "supporting reading", "source": "src/support/AG-LTF--stable-family-source-notices.md", "source_sha256": "AC9445EFC9871CAF4F010F510186E7F5F7A33BC8F802881996B301FF6300B566", "reader": "support/AG-LTF--stable-family-source-notices.html", "reader_sha256": "EC95F7BF0902C5830F5FACD69DA32E8F1DAF6CA00288BE618FA4F6EE58798212", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0", "component_terms": "Original exposition retains its stated terms; native human and AI Integrated Stacks components and annotated adaptations retain their GNU FDL notices." }, { "id": "AG-HP/the-structure-of-the-picard-scheme", "title": "The structure of the Picard scheme", "role": "supporting reading", "source": "src/support/AG-HP--the-structure-of-the-picard-scheme.md", "source_sha256": "03B52DB4038FD56D1BF931C0F63FA08BF7E58F36F067DE53213542DB0D1B60B6", "reader": "support/AG-HP--the-structure-of-the-picard-scheme.html", "reader_sha256": "B1FE73CD4483BAD2E0A587860A939E24CB453DB772EDE052816F05F641D0C91D", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-HP/the-picard-functor-and-the-picard-scheme-of-a-curve", "title": "The Picard functor and the Picard scheme of a curve", "role": "supporting reading", "source": "src/support/AG-HP--the-picard-functor-and-the-picard-scheme-of-a-curve.md", "source_sha256": "3C18C547D5AB28A493415ABC70F16DBE8B92FB1CE877C5FB9C0FA63EF2F41BC5", "reader": "support/AG-HP--the-picard-functor-and-the-picard-scheme-of-a-curve.html", "reader_sha256": "1665FE75F9B7ABBE828A7EDBED04440F566B4F52E625829D1583FE43DD1F59A4", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-HP/relative-divisors-and-the-existence-of-the-picard-scheme", "title": "Relative divisors and the existence of the Picard scheme", "role": "supporting reading", "source": "src/support/AG-HP--relative-divisors-and-the-existence-of-the-picard-scheme.md", "source_sha256": "22BF6D2749A4DA2046FD6B23F872B7C130F403C157FF98F2DEB20256B5A1ADFA", "reader": "support/AG-HP--relative-divisors-and-the-existence-of-the-picard-scheme.html", "reader_sha256": "9D0A3D296A9DB4E82CE3B2ED0FFA75417557D2DADA8C43782442855DD9BD2ECC", "body_credit": "Authorship, source credit and component terms are retained in the reading.", "license": "CC0-1.0" }, { "id": "AG-HP/multiplicative-group-cohomology-and-change-of-topology", "title": "Multiplicative group cohomology and change of topology", "course_provider": "AG-HP", "role": "supporting proof", "source": "src/support/AG-HP--multiplicative-group-cohomology-and-change-of-topology.md", "source_sha256": "1AB7F5913BB864C1A1C71732687101FDC7D25BC53632967FED1C2A64D5062A7B", "reader": "support/AG-HP--multiplicative-group-cohomology-and-change-of-topology.html", "reader_sha256": "37E1C67160AA31F76F0D6DB958005FA689972A18D9E081DBFCE231BA85EDAE6C", "license": "CC0-1.0" } ], "review": "Writing-instance self-check and bounded internal proof checks; independent human review not claimed", "supporting_algebra_reconciliation": { "date": "2026-10-05", "scope": "Nine existing commutative algebra prerequisites reconciled; full Cohen coefficient-ring dependency included.", "source_notices": "source-notices.json", "independent_human_review": false }, "pencil_reconciliation": { "date": "2026-10-05", "scope": "Complete local and global pencil proofs; exact cover providers and independent-of-purity weak Lefschetz proof included", "proof_review": "Complete-lesson source reconciliation and bounded internal proof checks are recorded; independent human review is not claimed." }, "edition_access": "Private repository edition with an offline reader and editable sources.", "alteration_reconciliation": { "date": "2026-10-05", "scope": "Complete stable pointed-family extension, separable projective alteration and canonical smooth-proper purity; exact native proof sources and corrections retained", "proof_review": "Bounded internal proof checks, source scopes and ordinary foundations retained; final runtime validation recorded separately" } }