{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ELGEVO5T7GTBGUXHFABN2OF25E","short_pith_number":"pith:ELGEVO5T","schema_version":"1.0","canonical_sha256":"22cc4abbb3f9a61352e72802dd38bae93c8997e748a25b30ed01df388cec2c0a","source":{"kind":"arxiv","id":"2412.15780","version":2},"attestation_state":"computed","paper":{"title":"Uniqueness of six-functor formalisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.KT"],"primary_cat":"math.AG","authors_text":"Adam Dauser, Josefien Kuijper","submitted_at":"2024-12-20T10:47:47Z","abstract_excerpt":"We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically \\'etale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and exceptional direct images for certain \"proper\" morphisms, and between the inverse and exceptional inverse images for certain \"\\'etale\" morphisms. Using this framework, we prove Scholze's conjecture, showing that a six-functor formalism with sufficiently many cohomologically proper and \\'etale morphisms is uniquely determined by the tensor product and inverse im"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2412.15780","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2024-12-20T10:47:47Z","cross_cats_sorted":["math.KT"],"title_canon_sha256":"1a9e21229783613a31b61f43a20337a44a4db7360b1871af41f6151f3674f913","abstract_canon_sha256":"f9cf8b0db41c531135284522fbda888ccd76187a7bf3cf95df7660b94f595aa2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:20:07.565889Z","signature_b64":"91+Kan088ZOrq+XgHtUAaa4A2q+vI15aPeCE1VZXm9ei2lYx3tkVxCSYfxKdD6jQ/Of+/k0QCL05Z2NEc8D2AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22cc4abbb3f9a61352e72802dd38bae93c8997e748a25b30ed01df388cec2c0a","last_reissued_at":"2026-07-05T11:20:07.565394Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:20:07.565394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Uniqueness of six-functor formalisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.KT"],"primary_cat":"math.AG","authors_text":"Adam Dauser, Josefien Kuijper","submitted_at":"2024-12-20T10:47:47Z","abstract_excerpt":"We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically \\'etale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and exceptional direct images for certain \"proper\" morphisms, and between the inverse and exceptional inverse images for certain \"\\'etale\" morphisms. Using this framework, we prove Scholze's conjecture, showing that a six-functor formalism with sufficiently many cohomologically proper and \\'etale morphisms is uniquely determined by the tensor product and inverse im"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.15780","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.15780/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.15780","created_at":"2026-07-05T11:20:07.565457+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.15780v2","created_at":"2026-07-05T11:20:07.565457+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.15780","created_at":"2026-07-05T11:20:07.565457+00:00"},{"alias_kind":"pith_short_12","alias_value":"ELGEVO5T7GTB","created_at":"2026-07-05T11:20:07.565457+00:00"},{"alias_kind":"pith_short_16","alias_value":"ELGEVO5T7GTBGUXH","created_at":"2026-07-05T11:20:07.565457+00:00"},{"alias_kind":"pith_short_8","alias_value":"ELGEVO5T","created_at":"2026-07-05T11:20:07.565457+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.10453","citing_title":"A characterization of sheaves among six functor formalisms on $\\mathrm{LCH}$","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2605.19863","citing_title":"$E$-theory of $X$-$C^{*}$-algebras and functor formalisms","ref_index":15,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E","json":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E.json","graph_json":"https://pith.science/api/pith-number/ELGEVO5T7GTBGUXHFABN2OF25E/graph.json","events_json":"https://pith.science/api/pith-number/ELGEVO5T7GTBGUXHFABN2OF25E/events.json","paper":"https://pith.science/paper/ELGEVO5T"},"agent_actions":{"view_html":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E","download_json":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E.json","view_paper":"https://pith.science/paper/ELGEVO5T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.15780&json=true","fetch_graph":"https://pith.science/api/pith-number/ELGEVO5T7GTBGUXHFABN2OF25E/graph.json","fetch_events":"https://pith.science/api/pith-number/ELGEVO5T7GTBGUXHFABN2OF25E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E/action/storage_attestation","attest_author":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E/action/author_attestation","sign_citation":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E/action/citation_signature","submit_replication":"https://pith.science/pith/ELGEVO5T7GTBGUXHFABN2OF25E/action/replication_record"}},"created_at":"2026-07-05T11:20:07.565457+00:00","updated_at":"2026-07-05T11:20:07.565457+00:00"}