{
  "id": "cotangent-complexes-and-deformations-in-ringed-topoi",
  "title": "Cotangent complexes and deformations in ringed topoi",
  "description": "Homotopical algebra in a ringed topos and the cohomology of diagrams, as foundations for the cotangent complex of morphisms of ringed topoi: homotopy sheaves and the free abelian Whitehead theorem; derived functors of non-additive functors of complexes, the Deligne-Lazard theorem and the shift formulas; décalage, nerves of internal categories and the homotopy type of a category; strict simplicial objects and Deligne's contractibility theorem; derived colimits; fibred topoi, their total topoi, direct images and modules; the cohomology of total topoi and of simplicial topoi, and cohomological descent; the second total topos and local systems; left derived functors of left adjoints; a duality formula for diagrams; equivariant sheaves on simplicial topoi, the nerves of induced and coinduced modules, and the cohomology and Ext groups of equivariant modules; spectral diagrams, the stabilization of non-additive functors and stable derived functors; simplicial rings and modules, their calculus of fractions, triangles, Ext groups, derived tensor products and their spectral sequences; differential graded modules in a topos and their comparison with simplicial modules; graded monoids, the nerves of their actions, graded rings and the spectra of modules; diagonal rings and the adjunction formulas; the stable ring of a ring and the Mac Lane resolution; Ext groups of modules as cohomology of spectral nerves; quasi-coherent and perfect complexes on big fppf and fpqc sites; deformations of diagrams of schemes; equivariant cotangent complexes; equivariant extensions and deformations; flat group schemes as local complete intersections; torsors, co-Lie complexes and the Atiyah class; deformations of torsors; the co-Lie complex of a group scheme; the adjoint co-Lie complex of a group scheme; deformations of flat group schemes and of homomorphisms; Lie complexes of commutative group schemes; Lie complexes of module schemes; deformations of module schemes; graded modules and the graded cotangent complex; the Atiyah class of a module; deformations of modules and of their morphisms; filtered derived categories; filtered tensor products on a ringed topos; filtered internal Hom and the formulas of Cartan; perfect filtered complexes and duality; traces and cup products of perfect filtered complexes; filtered and graded powers of complexes; filtered Koszul complexes and the shift isomorphisms; diagonal maps of symmetric and exterior powers; L-series of endomorphisms of perfect complexes; the Atiyah class of filtered complexes; Chern classes of perfect complexes; Chern classes with supports from partial connections; weakly regular ideals; connectivity of powers of simplicial ideals; the fundamental spectral sequence; weak complete intersections; weakly regular ideals of noetherian rings; regular local rings and complete intersections; the arrow topos and relative Ext groups; deforming a morphism together with its target; de Rham complexes and Lie algebroids; formal categories with divided powers and the Čech–Alexander complex; the de Rham complex of a formal category with divided powers; décalage and the formal Poincaré lemma; cohomology of flat formal categories with divided powers; cotangent complexes of simplicial rings; graded simplicial rings and the graded transitivity triangle; localization morphisms and the cotangent complex; the derived de Rham complex; derived de Rham complexes in characteristic p; the completed derived de Rham complex of a complete intersection; the simplicial derived category of a topos; local fibrations and Kan's subdivision functor; simplicial groups and right fractions; hypercoverings and Ext groups of free simplicial modules; Giraud's characterization of topoi; deforming the target of a morphism of diagrams, equivariantly and for group and module schemes.",
  "units": [
    {
      "id": "homotopy-sheaves-and-the-free-abelian-whitehead-theorem",
      "title": "Homotopy sheaves and the free abelian Whitehead theorem",
      "reader": "homotopy-sheaves-and-the-free-abelian-whitehead-theorem.html",
      "source": "src/homotopy-sheaves-and-the-free-abelian-whitehead-theorem.md",
      "source_sha256": "04fc85f3d6e2441c2e89b80785794f77dcecc41f0572c48bb249da51544d7338",
      "status": "author_self_checked"
    },
    {
      "id": "non-additive-functors-of-complexes-in-a-ringed-topos",
      "title": "Non-additive functors of complexes in a ringed topos",
      "reader": "non-additive-functors-of-complexes-in-a-ringed-topos.html",
      "source": "src/non-additive-functors-of-complexes-in-a-ringed-topos.md",
      "source_sha256": "9e2a678c584ce2386aef1fbf620c47747d9e6914d7bc9028007212d0729a5592",
      "status": "author_self_checked"
    },
    {
      "id": "koszul-complexes-and-the-shift-formulas",
      "title": "Koszul complexes and the shift formulas",
      "reader": "koszul-complexes-and-the-shift-formulas.html",
      "source": "src/koszul-complexes-and-the-shift-formulas.md",
      "source_sha256": "1ed254580fe61c0d842f988c2d6ca584f439bc0ddd1531f3344f46cbd947abbe",
      "status": "author_self_checked"
    },
    {
      "id": "decalage-nerves-and-the-homotopy-type-of-a-category",
      "title": "Décalage, nerves and the homotopy type of a category",
      "reader": "decalage-nerves-and-the-homotopy-type-of-a-category.html",
      "source": "src/decalage-nerves-and-the-homotopy-type-of-a-category.md",
      "source_sha256": "9250166c741d9307356767fc8eb523c841ac071c7ac12509bf97d6ca066318cb",
      "status": "author_self_checked"
    },
    {
      "id": "strict-simplicial-objects-and-deligne-s-contractibility-theorem",
      "title": "Strict simplicial objects and Deligne's contractibility theorem",
      "reader": "strict-simplicial-objects-and-deligne-s-contractibility-theorem.html",
      "source": "src/strict-simplicial-objects-and-deligne-s-contractibility-theorem.md",
      "source_sha256": "97d4ca75abea2aa543c024dd9f18b2612904c4d422e513bdff8e06280a949492",
      "status": "author_self_checked"
    },
    {
      "id": "derived-colimits-over-a-small-category",
      "title": "Derived colimits over a small category",
      "reader": "derived-colimits-over-a-small-category.html",
      "source": "src/derived-colimits-over-a-small-category.md",
      "source_sha256": "e47f905b0cc89eb483395ecb6fe01512f326a0e30256b79b08fae30a69546cf9",
      "status": "author_self_checked"
    },
    {
      "id": "fibred-topoi-and-their-total-topoi",
      "title": "Fibred topoi and their total topoi",
      "reader": "fibred-topoi-and-their-total-topoi.html",
      "source": "src/fibred-topoi-and-their-total-topoi.md",
      "source_sha256": "4e5e437a24feb0d6f325ed62b1a66c8c5a9c1ab0b67d9973d2ff2ed2553fcd46",
      "status": "author_self_checked"
    },
    {
      "id": "morphisms-of-fibred-topoi-and-modules-on-total-topoi",
      "title": "Morphisms of fibred topoi and modules on total topoi",
      "reader": "morphisms-of-fibred-topoi-and-modules-on-total-topoi.html",
      "source": "src/morphisms-of-fibred-topoi-and-modules-on-total-topoi.md",
      "source_sha256": "03115d7d37b0dbc62b88dab1723c71f0d662ec13f68d6feccb405ec4064634cd",
      "status": "author_self_checked"
    },
    {
      "id": "cohomology-of-total-topoi",
      "title": "Cohomology of total topoi",
      "reader": "cohomology-of-total-topoi.html",
      "source": "src/cohomology-of-total-topoi.md",
      "source_sha256": "d692008158bf47cc07cf20b7c859d4b4a8054e895f7b1040412755a52a867be5",
      "status": "author_self_checked"
    },
    {
      "id": "cohomology-of-simplicial-topoi-and-cohomological-descent",
      "title": "Cohomology of simplicial topoi and cohomological descent",
      "reader": "cohomology-of-simplicial-topoi-and-cohomological-descent.html",
      "source": "src/cohomology-of-simplicial-topoi-and-cohomological-descent.md",
      "source_sha256": "5a989165f2875d1a987c6a5865c8cd78abf35a166f1eab16370e955acb2f8e6e",
      "status": "author_self_checked"
    },
    {
      "id": "cohomology-of-the-second-total-topos-and-local-systems",
      "title": "Cohomology of the second total topos and local systems",
      "reader": "cohomology-of-the-second-total-topos-and-local-systems.html",
      "source": "src/cohomology-of-the-second-total-topos-and-local-systems.md",
      "source_sha256": "613c1d88fea2e10c13a415be03d623838089527f915e4ab5dad567cd8a853659",
      "status": "author_self_checked"
    },
    {
      "id": "left-derived-functors-of-left-adjoints-on-total-topoi",
      "title": "Left derived functors of left adjoints on total topoi",
      "reader": "left-derived-functors-of-left-adjoints-on-total-topoi.html",
      "source": "src/left-derived-functors-of-left-adjoints-on-total-topoi.md",
      "source_sha256": "3b5c27fa959dac343468393ed551923df1e38b6aba67bcf2c444040de212548c",
      "status": "author_self_checked"
    },
    {
      "id": "derived-left-adjoints-on-the-second-total-topos-and-local-inductive-limits",
      "title": "Derived left adjoints on the second total topos and local inductive limits",
      "reader": "derived-left-adjoints-on-the-second-total-topos-and-local-inductive-limits.html",
      "source": "src/derived-left-adjoints-on-the-second-total-topos-and-local-inductive-limits.md",
      "source_sha256": "5ce0753f344d89bdebbbb73aee00bb44de5051212946e96b11012a9cdf1f94b7",
      "status": "author_self_checked"
    },
    {
      "id": "a-duality-formula-for-diagrams-in-a-topos",
      "title": "A duality formula for diagrams in a topos",
      "reader": "a-duality-formula-for-diagrams-in-a-topos.html",
      "source": "src/a-duality-formula-for-diagrams-in-a-topos.md",
      "source_sha256": "249194eb8a092ec43e798aab5d8380b2836d4b112fac2debb7188721e8d78439",
      "status": "author_self_checked"
    },
    {
      "id": "equivariant-sheaves-on-simplicial-topoi",
      "title": "Equivariant sheaves on simplicial topoi",
      "reader": "equivariant-sheaves-on-simplicial-topoi.html",
      "source": "src/equivariant-sheaves-on-simplicial-topoi.md",
      "source_sha256": "49b1323ff01007d105939befca3c49c23b8eac4b5b7259138423ebc3ec4f2e46",
      "status": "author_self_checked"
    },
    {
      "id": "giraud-s-characterization-of-topoi",
      "title": "Giraud's characterization of topoi",
      "reader": "giraud-s-characterization-of-topoi.html",
      "source": "src/giraud-s-characterization-of-topoi.md",
      "source_sha256": "8944a140f7a43ae555eeb35b65862e6a7e5e3302779c8434fb990994014c11b0",
      "status": "author_self_checked"
    },
    {
      "id": "nerves-of-induced-and-coinduced-modules",
      "title": "Nerves of induced and coinduced modules",
      "reader": "nerves-of-induced-and-coinduced-modules.html",
      "source": "src/nerves-of-induced-and-coinduced-modules.md",
      "source_sha256": "9baa03505700cd65d100f2a843b6ea2962e9051626779c833c3c38a193da565f",
      "status": "author_self_checked"
    },
    {
      "id": "cohomology-of-equivariant-modules",
      "title": "Cohomology of equivariant modules",
      "reader": "cohomology-of-equivariant-modules.html",
      "source": "src/cohomology-of-equivariant-modules.md",
      "source_sha256": "879f253201d9bc6a58f3e5d5659dfbbed3c9124a84354bbdb47168466de6c224",
      "status": "author_self_checked"
    },
    {
      "id": "mixed-hom-complexes-and-ext-groups-of-equivariant-modules",
      "title": "Mixed Hom complexes and Ext groups of equivariant modules",
      "reader": "mixed-hom-complexes-and-ext-groups-of-equivariant-modules.html",
      "source": "src/mixed-hom-complexes-and-ext-groups-of-equivariant-modules.md",
      "source_sha256": "423c794cec5c64db441e9fa63c622d0b45db9251ab94a08de06b730f4936750d",
      "status": "author_self_checked"
    },
    {
      "id": "multisimplicial-objects-and-spectral-diagrams",
      "title": "Multisimplicial objects and spectral diagrams",
      "reader": "multisimplicial-objects-and-spectral-diagrams.html",
      "source": "src/multisimplicial-objects-and-spectral-diagrams.md",
      "source_sha256": "fa34f2b13a30b4106e4b9ce265383436139fd3a51827163a4e4fd7ff2dbea9e3",
      "status": "author_self_checked"
    },
    {
      "id": "stabilization-of-non-additive-functors",
      "title": "Stabilization of non-additive functors",
      "reader": "stabilization-of-non-additive-functors.html",
      "source": "src/stabilization-of-non-additive-functors.md",
      "source_sha256": "54c66b8f8541bc7c9acc9bb018664de8efd13e4691e85220bbda1886ea4b355f",
      "status": "author_self_checked"
    },
    {
      "id": "stable-derived-functors",
      "title": "Stable derived functors",
      "reader": "stable-derived-functors.html",
      "source": "src/stable-derived-functors.md",
      "source_sha256": "db56c874f6ce6ca127a75c8f6791baca46b33b30f45e21468d4f14cd369669fc",
      "status": "author_self_checked"
    },
    {
      "id": "simplicial-rings-and-modules-in-a-topos",
      "title": "Simplicial rings and modules in a topos",
      "reader": "simplicial-rings-and-modules-in-a-topos.html",
      "source": "src/simplicial-rings-and-modules-in-a-topos.md",
      "source_sha256": "9c48783a03afc70abd6f7c2f56ff69d28b9f43fc2c3b658f75642f3abca1c683",
      "status": "author_self_checked"
    },
    {
      "id": "triangles-and-ext-groups-of-simplicial-modules",
      "title": "Triangles and Ext groups of simplicial modules",
      "reader": "triangles-and-ext-groups-of-simplicial-modules.html",
      "source": "src/triangles-and-ext-groups-of-simplicial-modules.md",
      "source_sha256": "4e5f6f88f44cf56e566112b04a2dbc2fcfb7921cfcf78654829e777559c103bf",
      "status": "author_self_checked"
    },
    {
      "id": "derived-tensor-products-of-simplicial-modules",
      "title": "Derived tensor products of simplicial modules",
      "reader": "derived-tensor-products-of-simplicial-modules.html",
      "source": "src/derived-tensor-products-of-simplicial-modules.md",
      "source_sha256": "5c194c3e7355be40d6455b03c64726a28de9052147186b0c63c091724d14a4a8",
      "status": "author_self_checked"
    },
    {
      "id": "spectral-sequences-for-derived-tensor-products",
      "title": "Spectral sequences for derived tensor products",
      "reader": "spectral-sequences-for-derived-tensor-products.html",
      "source": "src/spectral-sequences-for-derived-tensor-products.md",
      "source_sha256": "c3d2634840581cb2de3925ee2318d74f0dc10c4bb3be6f13dfd7a9c052e2094f",
      "status": "author_self_checked"
    },
    {
      "id": "differential-graded-modules-in-a-topos",
      "title": "Differential graded modules in a topos",
      "reader": "differential-graded-modules-in-a-topos.html",
      "source": "src/differential-graded-modules-in-a-topos.md",
      "source_sha256": "d7c7e7f0f2afa02f2573088b5aa497bd00c395e8330b48a3fa98c453b277916d",
      "status": "author_self_checked"
    },
    {
      "id": "graded-monoids-and-the-nerves-of-their-actions",
      "title": "Graded monoids and the nerves of their actions",
      "reader": "graded-monoids-and-the-nerves-of-their-actions.html",
      "source": "src/graded-monoids-and-the-nerves-of-their-actions.md",
      "source_sha256": "d68e065d88179301a4afb3736f42e5992bb860d01b25a1479ef6f95af29a82db",
      "status": "author_self_checked"
    },
    {
      "id": "graded-rings-and-the-spectra-of-modules",
      "title": "Graded rings and the spectra of modules",
      "reader": "graded-rings-and-the-spectra-of-modules.html",
      "source": "src/graded-rings-and-the-spectra-of-modules.md",
      "source_sha256": "c5e7a4adcc28b46e1328ce9a91d000aef580359c6cd52e049b5612f8f1269c39",
      "status": "author_self_checked"
    },
    {
      "id": "diagonal-rings-and-adjunction-formulas",
      "title": "Diagonal rings and adjunction formulas",
      "reader": "diagonal-rings-and-adjunction-formulas.html",
      "source": "src/diagonal-rings-and-adjunction-formulas.md",
      "source_sha256": "64aa4edc7d50007a87cd1d489f1237f1cf2972d168e2d276889322fb3643574c",
      "status": "author_self_checked"
    },
    {
      "id": "the-stable-ring-of-a-ring-and-the-mac-lane-resolution",
      "title": "The stable ring of a ring and the Mac Lane resolution",
      "reader": "the-stable-ring-of-a-ring-and-the-mac-lane-resolution.html",
      "source": "src/the-stable-ring-of-a-ring-and-the-mac-lane-resolution.md",
      "source_sha256": "4eb48faababc2087f59239eb899f7b00c00a4c6cecf6af62c200bf50beea0dcd",
      "status": "author_self_checked"
    },
    {
      "id": "ext-groups-of-modules-as-cohomology-of-spectral-nerves",
      "title": "Ext groups of modules as cohomology of spectral nerves",
      "reader": "ext-groups-of-modules-as-cohomology-of-spectral-nerves.html",
      "source": "src/ext-groups-of-modules-as-cohomology-of-spectral-nerves.md",
      "source_sha256": "519c51ed34182ab836722f64923b7c6d350211428954d30224ad1dd794411b4b",
      "status": "author_self_checked"
    },
    {
      "id": "quasi-coherent-and-perfect-complexes-on-big-fppf-sites",
      "title": "Quasi-coherent and perfect complexes on big fppf sites",
      "reader": "quasi-coherent-and-perfect-complexes-on-big-fppf-sites.html",
      "source": "src/quasi-coherent-and-perfect-complexes-on-big-fppf-sites.md",
      "source_sha256": "4f1e8f58cfb178de8a7370215cad97dbacee79bfce24a78937ba9aa99cd6c5d7",
      "status": "author_self_checked"
    },
    {
      "id": "deformations-of-diagrams-of-schemes",
      "title": "Deformations of diagrams of schemes",
      "reader": "deformations-of-diagrams-of-schemes.html",
      "source": "src/deformations-of-diagrams-of-schemes.md",
      "source_sha256": "2ec324041e38a7b91624a3031a58dfd788aba15cfeb44b7af66863d067e66235",
      "status": "author_self_checked"
    },
    {
      "id": "equivariant-cotangent-complexes",
      "title": "Equivariant cotangent complexes",
      "reader": "equivariant-cotangent-complexes.html",
      "source": "src/equivariant-cotangent-complexes.md",
      "source_sha256": "4f68ea53e188d496c91854b5949705dff9fc1aa6cdf0e8b657032944d6e352a9",
      "status": "author_self_checked"
    },
    {
      "id": "equivariant-extensions-and-deformations",
      "title": "Equivariant extensions and deformations",
      "reader": "equivariant-extensions-and-deformations.html",
      "source": "src/equivariant-extensions-and-deformations.md",
      "source_sha256": "c631a78404c3e7274f662d94905f9eedb445e3a2b2ff49c3e79bf3c31d43a578",
      "status": "author_self_checked"
    },
    {
      "id": "flat-group-schemes-are-local-complete-intersections",
      "title": "Flat group schemes are local complete intersections",
      "reader": "flat-group-schemes-are-local-complete-intersections.html",
      "source": "src/flat-group-schemes-are-local-complete-intersections.md",
      "source_sha256": "7516fc123bb417443528f026e514e19d5434a10774b8e48d8d299429d89b14af",
      "status": "author_self_checked"
    },
    {
      "id": "torsors-co-lie-complexes-and-the-atiyah-class",
      "title": "Torsors, co-Lie complexes and the Atiyah class",
      "reader": "torsors-co-lie-complexes-and-the-atiyah-class.html",
      "source": "src/torsors-co-lie-complexes-and-the-atiyah-class.md",
      "source_sha256": "565a55e4bc3ca87fb67e158455e428c1de1ac877534c1c8330148f5f68fd9786",
      "status": "author_self_checked"
    },
    {
      "id": "deformations-of-torsors",
      "title": "Deformations of torsors",
      "reader": "deformations-of-torsors.html",
      "source": "src/deformations-of-torsors.md",
      "source_sha256": "cda96b27cbe611eb8c71168e359f40edbb71857826ebf299a7ae08b261d0a48e",
      "status": "author_self_checked"
    },
    {
      "id": "the-co-lie-complex-of-a-group-scheme",
      "title": "The co-Lie complex of a group scheme",
      "reader": "the-co-lie-complex-of-a-group-scheme.html",
      "source": "src/the-co-lie-complex-of-a-group-scheme.md",
      "source_sha256": "88e201653cc970b36d1cf7460c4a5175a04f4086e151f9f14eb353a020c107e5",
      "status": "author_self_checked"
    },
    {
      "id": "the-adjoint-co-lie-complex-of-a-group-scheme",
      "title": "The adjoint co-Lie complex of a group scheme",
      "reader": "the-adjoint-co-lie-complex-of-a-group-scheme.html",
      "source": "src/the-adjoint-co-lie-complex-of-a-group-scheme.md",
      "source_sha256": "64c8e3d3773cf2d19ca07739b822fa4f517b6d3f5bf0cbd9acae2a54acb97fc7",
      "status": "author_self_checked"
    },
    {
      "id": "deformations-of-flat-group-schemes-and-of-homomorphisms",
      "title": "Deformations of flat group schemes and of homomorphisms",
      "reader": "deformations-of-flat-group-schemes-and-of-homomorphisms.html",
      "source": "src/deformations-of-flat-group-schemes-and-of-homomorphisms.md",
      "source_sha256": "20d1e0630ea2bbe53586054793e406775946c38ab12f3f7790f207a4b30a874e",
      "status": "author_self_checked"
    },
    {
      "id": "lie-complexes-of-commutative-group-schemes",
      "title": "Lie complexes of commutative group schemes",
      "reader": "lie-complexes-of-commutative-group-schemes.html",
      "source": "src/lie-complexes-of-commutative-group-schemes.md",
      "source_sha256": "f62c379726361599a9346eef24ac54adb446d4fd96749abe5f49e7b9ec009487",
      "status": "author_self_checked"
    },
    {
      "id": "lie-complexes-of-module-schemes",
      "title": "Lie complexes of module schemes",
      "reader": "lie-complexes-of-module-schemes.html",
      "source": "src/lie-complexes-of-module-schemes.md",
      "source_sha256": "15268d5fe5a9804d96d11c1f1ed21e55c6d9e1d29c5732dda90f9b044d6a7ba2",
      "status": "author_self_checked"
    },
    {
      "id": "deformations-of-module-schemes",
      "title": "Deformations of module schemes",
      "reader": "deformations-of-module-schemes.html",
      "source": "src/deformations-of-module-schemes.md",
      "source_sha256": "97354d8ae7d66b8ca7250490f016e664ad2732c83772a1b069d5184ad5796090",
      "status": "author_self_checked"
    },
    {
      "id": "graded-modules-and-the-graded-cotangent-complex",
      "title": "Graded modules and the graded cotangent complex",
      "reader": "graded-modules-and-the-graded-cotangent-complex.html",
      "source": "src/graded-modules-and-the-graded-cotangent-complex.md",
      "source_sha256": "d77466215ee99ff6279009760a6cf72a30a6a286801fc77b224919d016268f53",
      "status": "author_self_checked"
    },
    {
      "id": "the-atiyah-class-of-a-module",
      "title": "The Atiyah class of a module",
      "reader": "the-atiyah-class-of-a-module.html",
      "source": "src/the-atiyah-class-of-a-module.md",
      "source_sha256": "574b6f2ee1841cd6e9d75363fa6896d36c8dc5cccecb7f6788588e14406541a6",
      "status": "author_self_checked"
    },
    {
      "id": "deformations-of-modules-and-of-their-morphisms",
      "title": "Deformations of modules and of their morphisms",
      "reader": "deformations-of-modules-and-of-their-morphisms.html",
      "source": "src/deformations-of-modules-and-of-their-morphisms.md",
      "source_sha256": "fc571995454fe992a4b10f3a5e9bb00c0924bee241743a81a3e0c6bae1d3b925",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-derived-categories",
      "title": "Filtered derived categories",
      "reader": "filtered-derived-categories.html",
      "source": "src/filtered-derived-categories.md",
      "source_sha256": "4c0ba942a0498dc6ae3927573e1b3cc84723dac006102dd88ba3c235346f17f1",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-tensor-products-on-a-ringed-topos",
      "title": "Filtered tensor products on a ringed topos",
      "reader": "filtered-tensor-products-on-a-ringed-topos.html",
      "source": "src/filtered-tensor-products-on-a-ringed-topos.md",
      "source_sha256": "3f92de4cfe511d194706108c6661adc69aa2b7d1ad2a923d8ad4ae218be4f55b",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-internal-hom-and-the-formulas-of-cartan",
      "title": "Filtered internal Hom and the formulas of Cartan",
      "reader": "filtered-internal-hom-and-the-formulas-of-cartan.html",
      "source": "src/filtered-internal-hom-and-the-formulas-of-cartan.md",
      "source_sha256": "38e36425ecfc608ec77a31639af497b15aeb3f4ca6d7a598d1ca8851fe6c9e55",
      "status": "author_self_checked"
    },
    {
      "id": "perfect-filtered-complexes-and-duality",
      "title": "Perfect filtered complexes and duality",
      "reader": "perfect-filtered-complexes-and-duality.html",
      "source": "src/perfect-filtered-complexes-and-duality.md",
      "source_sha256": "50dd543cc845836e83505d2b45ebc6dd9656daa7d3e9b46bdb1ce9f39fe9afd3",
      "status": "author_self_checked"
    },
    {
      "id": "traces-and-cup-products-of-perfect-filtered-complexes",
      "title": "Traces and cup products of perfect filtered complexes",
      "reader": "traces-and-cup-products-of-perfect-filtered-complexes.html",
      "source": "src/traces-and-cup-products-of-perfect-filtered-complexes.md",
      "source_sha256": "3c60ff0a011d515d67a1040375b2eac4bc68623cda4f2ee9a2a7d937f34c32c5",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-and-graded-powers-of-complexes",
      "title": "Filtered and graded powers of complexes",
      "reader": "filtered-and-graded-powers-of-complexes.html",
      "source": "src/filtered-and-graded-powers-of-complexes.md",
      "source_sha256": "ae7cff8eac230853041bb81eb634b62581143b6dee15d50721f02e551d6d2529",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-koszul-complexes-and-shift-isomorphisms",
      "title": "Filtered Koszul complexes and the shift isomorphisms",
      "reader": "filtered-koszul-complexes-and-shift-isomorphisms.html",
      "source": "src/filtered-koszul-complexes-and-shift-isomorphisms.md",
      "source_sha256": "48fa844a857208da48014ad0fa29def49ecec64e06458e4fe670d5f3e20a52c1",
      "status": "author_self_checked"
    },
    {
      "id": "diagonal-maps-of-symmetric-and-exterior-powers",
      "title": "Diagonal maps of symmetric and exterior powers",
      "reader": "diagonal-maps-of-symmetric-and-exterior-powers.html",
      "source": "src/diagonal-maps-of-symmetric-and-exterior-powers.md",
      "source_sha256": "9a4fccc4ada9d7d76c814f00cc0d64ab9a8e947e534139897b39b7b80af6fa97",
      "status": "author_self_checked"
    },
    {
      "id": "l-series-of-endomorphisms-of-perfect-complexes",
      "title": "L-series of endomorphisms of perfect complexes",
      "reader": "l-series-of-endomorphisms-of-perfect-complexes.html",
      "source": "src/l-series-of-endomorphisms-of-perfect-complexes.md",
      "source_sha256": "48c223b2ccf5a4f6ca93bdd0546607913a5bbd4b51c65710fd28d4cca15f08fa",
      "status": "author_self_checked"
    },
    {
      "id": "the-atiyah-class-of-filtered-complexes",
      "title": "The Atiyah class of filtered complexes",
      "reader": "the-atiyah-class-of-filtered-complexes.html",
      "source": "src/the-atiyah-class-of-filtered-complexes.md",
      "source_sha256": "a318f73186ac6a9a2caab5c252fdc17b0e9a12291989d713cd9fa5a596c63485",
      "status": "author_self_checked"
    },
    {
      "id": "chern-classes-of-perfect-complexes",
      "title": "Chern classes of perfect complexes",
      "reader": "chern-classes-of-perfect-complexes.html",
      "source": "src/chern-classes-of-perfect-complexes.md",
      "source_sha256": "7b616b1cc72d250f2d4838b7d4131fbd3fd6f1bf304ef353f41c3f70856aeace",
      "status": "author_self_checked"
    },
    {
      "id": "chern-classes-with-supports-from-partial-connections",
      "title": "Chern classes with supports from partial connections",
      "reader": "chern-classes-with-supports-from-partial-connections.html",
      "source": "src/chern-classes-with-supports-from-partial-connections.md",
      "source_sha256": "92d28fcb6fee2bb81c1b607900010a4cd238a69a014aba0a19dd2009f2ee954c",
      "status": "author_self_checked"
    },
    {
      "id": "cotangent-complexes-of-simplicial-rings",
      "title": "Cotangent complexes of simplicial rings",
      "reader": "cotangent-complexes-of-simplicial-rings.html",
      "source": "src/cotangent-complexes-of-simplicial-rings.md",
      "source_sha256": "468b28467f0c6a13ab2042954b764189cefe9b1849a09e62f14a54ae334a041f",
      "status": "author_self_checked"
    },
    {
      "id": "graded-simplicial-rings-and-the-graded-transitivity-triangle",
      "title": "Graded simplicial rings and the graded transitivity triangle",
      "reader": "graded-simplicial-rings-and-the-graded-transitivity-triangle.html",
      "source": "src/graded-simplicial-rings-and-the-graded-transitivity-triangle.md",
      "source_sha256": "5cabdd06022426a3dd6657ad1b7feb6716d2a3e58b9e6e30e1e2aebf4061c0e5",
      "status": "author_self_checked"
    },
    {
      "id": "localization-morphisms-and-the-cotangent-complex",
      "title": "Localization morphisms and the cotangent complex",
      "reader": "localization-morphisms-and-the-cotangent-complex.html",
      "source": "src/localization-morphisms-and-the-cotangent-complex.md",
      "source_sha256": "31cf1d9878393729ae0ff40cc95b8fd09ce74ef86a37b788b4b5f23a88641d06",
      "status": "author_self_checked"
    },
    {
      "id": "weakly-regular-ideals",
      "title": "Weakly regular ideals",
      "reader": "weakly-regular-ideals.html",
      "source": "src/weakly-regular-ideals.md",
      "source_sha256": "28f0549565872c7f7aace26d7de30d7ade1e131afad52a3fd969839cee796860",
      "status": "author_self_checked"
    },
    {
      "id": "connectivity-of-powers-of-simplicial-ideals",
      "title": "Connectivity of powers of simplicial ideals",
      "reader": "connectivity-of-powers-of-simplicial-ideals.html",
      "source": "src/connectivity-of-powers-of-simplicial-ideals.md",
      "source_sha256": "d84c7ea4303be749f8757c5488c4ca96f433e8f139d2af1b383d58acd5b948bc",
      "status": "author_self_checked"
    },
    {
      "id": "the-fundamental-spectral-sequence",
      "title": "The fundamental spectral sequence",
      "reader": "the-fundamental-spectral-sequence.html",
      "source": "src/the-fundamental-spectral-sequence.md",
      "source_sha256": "7b900dca493905401b99a90e99b002573ebbc00c442dcb1b1197be238ed654ff",
      "status": "author_self_checked"
    },
    {
      "id": "weak-complete-intersections",
      "title": "Weak complete intersections",
      "reader": "weak-complete-intersections.html",
      "source": "src/weak-complete-intersections.md",
      "source_sha256": "7bc0954d0dcab6dc5d6f5d3bc6762aecdd580d63b5f1ffc72f9a7a668f21401a",
      "status": "author_self_checked"
    },
    {
      "id": "weakly-regular-ideals-of-noetherian-rings",
      "title": "Weakly regular ideals of noetherian rings",
      "reader": "weakly-regular-ideals-of-noetherian-rings.html",
      "source": "src/weakly-regular-ideals-of-noetherian-rings.md",
      "source_sha256": "0aafcbf6c7d18cf1f45818b0247af31fd1dca7624c2cf0cdd396af8a99e070a2",
      "status": "author_self_checked"
    },
    {
      "id": "regular-local-rings-and-complete-intersections",
      "title": "Regular local rings and complete intersections",
      "reader": "regular-local-rings-and-complete-intersections.html",
      "source": "src/regular-local-rings-and-complete-intersections.md",
      "source_sha256": "c039e8b62d9b5b98057df0f8878b903fd9fb8bb7b327bde2cb2cd6bfde086301",
      "status": "author_self_checked"
    },
    {
      "id": "the-arrow-topos-and-relative-ext-groups",
      "title": "The arrow topos and relative Ext groups",
      "reader": "the-arrow-topos-and-relative-ext-groups.html",
      "source": "src/the-arrow-topos-and-relative-ext-groups.md",
      "source_sha256": "ac8b8136f2d94aa9e41e5276b2db4619c591f8082ff45d4a67a5ed5a62f925ea",
      "status": "author_self_checked"
    },
    {
      "id": "deforming-a-morphism-together-with-its-target",
      "title": "Deforming a morphism together with its target",
      "reader": "deforming-a-morphism-together-with-its-target.html",
      "source": "src/deforming-a-morphism-together-with-its-target.md",
      "source_sha256": "59ea74f8275aef4d3dbe72195ef811d3f1faa8fdffc728ebcf970f755c8fd76c",
      "status": "author_self_checked"
    },
    {
      "id": "de-rham-complexes-and-lie-algebroids",
      "title": "De Rham complexes and Lie algebroids",
      "reader": "de-rham-complexes-and-lie-algebroids.html",
      "source": "src/de-rham-complexes-and-lie-algebroids.md",
      "source_sha256": "bb04ba6702f3110974d758f7d0612ac95183e40c4ad0fe610d4303c40a20541b",
      "status": "author_self_checked"
    },
    {
      "id": "formal-categories-with-divided-powers-and-the-cech-alexander-complex",
      "title": "Formal categories with divided powers and the Čech–Alexander complex",
      "reader": "formal-categories-with-divided-powers-and-the-cech-alexander-complex.html",
      "source": "src/formal-categories-with-divided-powers-and-the-cech-alexander-complex.md",
      "source_sha256": "cf79df1c4072abe410f4909190fcd24112b872ed74fc37b9fc30023cd75f1260",
      "status": "author_self_checked"
    },
    {
      "id": "the-de-rham-complex-of-a-formal-category-with-divided-powers",
      "title": "The de Rham complex of a formal category with divided powers",
      "reader": "the-de-rham-complex-of-a-formal-category-with-divided-powers.html",
      "source": "src/the-de-rham-complex-of-a-formal-category-with-divided-powers.md",
      "source_sha256": "9e4a00433f2bbe48a31679ada8248a7203f4377162da46393e821c91f2399285",
      "status": "author_self_checked"
    },
    {
      "id": "decalage-and-the-formal-poincare-lemma",
      "title": "Décalage and the formal Poincaré lemma",
      "reader": "decalage-and-the-formal-poincare-lemma.html",
      "source": "src/decalage-and-the-formal-poincare-lemma.md",
      "source_sha256": "5a57aba1d6f86dc67d912a072939c20112f075c5fa519008a9ed2f1aa3d7f507",
      "status": "author_self_checked"
    },
    {
      "id": "cohomology-of-flat-formal-categories-with-divided-powers",
      "title": "Cohomology of flat formal categories with divided powers",
      "reader": "cohomology-of-flat-formal-categories-with-divided-powers.html",
      "source": "src/cohomology-of-flat-formal-categories-with-divided-powers.md",
      "source_sha256": "af4de0ea3d91fddbab0cb93fdd15442992a57c4ea816f2f8e7c14d882132a78b",
      "status": "author_self_checked"
    },
    {
      "id": "the-derived-de-rham-complex",
      "title": "The derived de Rham complex",
      "reader": "the-derived-de-rham-complex.html",
      "source": "src/the-derived-de-rham-complex.md",
      "source_sha256": "3af9d3c6be72880f58a44ee4052b40bfdef7d2d8e3ee66be417348e57bb06d1a",
      "status": "author_self_checked"
    },
    {
      "id": "derived-de-rham-complexes-in-characteristic-p",
      "title": "Derived de Rham complexes in characteristic p",
      "reader": "derived-de-rham-complexes-in-characteristic-p.html",
      "source": "src/derived-de-rham-complexes-in-characteristic-p.md",
      "source_sha256": "d37a39951d0c25c040823ec36b770423b6fd579de620ef727290cf2e7ad134df",
      "status": "author_self_checked"
    },
    {
      "id": "the-completed-derived-de-rham-complex-of-a-complete-intersection",
      "title": "The completed derived de Rham complex of a complete intersection",
      "reader": "the-completed-derived-de-rham-complex-of-a-complete-intersection.html",
      "source": "src/the-completed-derived-de-rham-complex-of-a-complete-intersection.md",
      "source_sha256": "22003f1317aaeb1b188a247381619f62db08941aa0ae5676dc848bbb98a27531",
      "status": "author_self_checked"
    },
    {
      "id": "the-simplicial-derived-category-of-a-topos",
      "title": "The simplicial derived category of a topos",
      "reader": "the-simplicial-derived-category-of-a-topos.html",
      "source": "src/the-simplicial-derived-category-of-a-topos.md",
      "source_sha256": "6d32672b17aca55e29dbed2e86520d175e736b6f8d30ccf40846f085af10ff36",
      "status": "author_self_checked"
    },
    {
      "id": "local-fibrations-and-kan-s-subdivision-functor",
      "title": "Local fibrations and Kan's subdivision functor",
      "reader": "local-fibrations-and-kan-s-subdivision-functor.html",
      "source": "src/local-fibrations-and-kan-s-subdivision-functor.md",
      "source_sha256": "cf2da00ca03a756194658c8a04f9101d79ec9e66d9427912269868389442c28c",
      "status": "author_self_checked"
    },
    {
      "id": "simplicial-groups-and-right-fractions",
      "title": "Simplicial groups and right fractions",
      "reader": "simplicial-groups-and-right-fractions.html",
      "source": "src/simplicial-groups-and-right-fractions.md",
      "source_sha256": "cf336671428cf521c5a46919e4ff6c5c4e3fb30ff361a5886eb39033c7f259d1",
      "status": "author_self_checked"
    },
    {
      "id": "hypercoverings-and-ext-groups-of-free-simplicial-modules",
      "title": "Hypercoverings and Ext groups of free simplicial modules",
      "reader": "hypercoverings-and-ext-groups-of-free-simplicial-modules.html",
      "source": "src/hypercoverings-and-ext-groups-of-free-simplicial-modules.md",
      "source_sha256": "dfa51a04c1bd71ff8d5d7dc2001db95cd51d142296509d2b7e587956439163c0",
      "status": "author_self_checked"
    },
    {
      "id": "deforming-the-target-of-a-morphism-of-diagrams",
      "title": "Deforming the target of a morphism of diagrams",
      "reader": "deforming-the-target-of-a-morphism-of-diagrams.html",
      "source": "src/deforming-the-target-of-a-morphism-of-diagrams.md",
      "source_sha256": "e49de7003a539c9cb55d6d1a0ae0a4467831ec0b4a6eb40d9992461a84253bae",
      "status": "author_self_checked"
    },
    {
      "id": "relative-cohomology-of-classifying-topoi",
      "title": "Relative cohomology of classifying topoi",
      "reader": "relative-cohomology-of-classifying-topoi.html",
      "source": "src/relative-cohomology-of-classifying-topoi.md",
      "source_sha256": "3ec6f8e3688981864ddcb00e96d5a5b20228fa0b1342a395887378857ec47560",
      "status": "author_self_checked"
    },
    {
      "id": "filtered-transitivity-triangles-and-the-filtered-atiyah-triangle",
      "title": "Filtered transitivity triangles and the filtered Atiyah triangle",
      "reader": "filtered-transitivity-triangles-and-the-filtered-atiyah-triangle.html",
      "source": "src/filtered-transitivity-triangles-and-the-filtered-atiyah-triangle.md",
      "source_sha256": "b27fbc8c820825fcae58732152fcb8365de536266ca0693fb7236e404bb10972",
      "status": "author_self_checked"
    },
    {
      "id": "truncated-nerves-and-the-level-filtration",
      "title": "Truncated nerves and the level filtration",
      "reader": "truncated-nerves-and-the-level-filtration.html",
      "source": "src/truncated-nerves-and-the-level-filtration.md",
      "source_sha256": "6ed4e5086847ed0dd53ed7483b284e8a56411265eccc883a3ae9e7fc77f4125f",
      "status": "author_self_checked"
    }
  ],
  "prerequisites": [
    "sites, sheaves, topoi and sheaves of modules (the Stacks project, chapters Sites and Sheaves and Modules on Sites)",
    "derived categories and derived functors (the Stacks project, chapter Derived Categories)",
    "simplicial objects, the Dold-Kan correspondence and simplicial homotopies (the Stacks project, chapter Simplicial Methods)",
    "simplicial sets, nerves and Kan complexes; test categories and Quillen's Theorem A (programme course Algebraic spaces and stacks, lessons Simplicial sets, nerves and Kan complexes and Test categories and Grothendieck's homotopy programme)",
    "group schemes over a field, quotients by closed subgroup schemes and Frobenius kernels (programme course Group schemes, lessons Group schemes over a field, Lie algebras and smoothness of group schemes, Quotients and torsors)"
  ],
  "status": "author_self_checked",
  "proof_providers": "providers.json",
  "provenance": "provenance.json",
  "licence": "CC0-1.0"
}
