{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:AT56TE6DRCZ6ADIWIWLZUWBIYA","short_pith_number":"pith:AT56TE6D","canonical_record":{"source":{"id":"cs/0512008","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.CC","submitted_at":"2005-12-01T22:40:27Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"89d1333734c872e0c1ad2f5996b6969f44a4c8b6d6505f16a8ffbf5f0dc12e70","abstract_canon_sha256":"7c09d23c6b5af26c2485d01438cffc77aaa2d0e7ed73ec5ff141547cb66b983b"},"schema_version":"1.0"},"canonical_sha256":"04fbe993c388b3e00d1645979a5828c006457a1a27796831df19ae8eae65929f","source":{"kind":"arxiv","id":"cs/0512008","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0512008","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0512008v2","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0512008","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_12","alias_value":"AT56TE6DRCZ6","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_16","alias_value":"AT56TE6DRCZ6ADIW","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_8","alias_value":"AT56TE6D","created_at":"2026-07-04T14:52:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:AT56TE6DRCZ6ADIWIWLZUWBIYA","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0512008","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.CC","submitted_at":"2005-12-01T22:40:27Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"89d1333734c872e0c1ad2f5996b6969f44a4c8b6d6505f16a8ffbf5f0dc12e70","abstract_canon_sha256":"7c09d23c6b5af26c2485d01438cffc77aaa2d0e7ed73ec5ff141547cb66b983b"},"schema_version":"1.0"},"canonical_sha256":"04fbe993c388b3e00d1645979a5828c006457a1a27796831df19ae8eae65929f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:52:06.217433Z","signature_b64":"hNOsqJW8LMqMR0KyYtjWpsIUKtS93WhB5T7Q4X/WhSzCzKDk7oDpH+IGQuN++x9bYggfHERkY6M91k2D2uo7Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04fbe993c388b3e00d1645979a5828c006457a1a27796831df19ae8eae65929f","last_reissued_at":"2026-07-04T14:52:06.217063Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:52:06.217063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0512008","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T14:52:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"98jymAwtli+O9nXeONLU16tU4yiYinl9lBz741x4FoDVQWZacA9vrHS7KDnkRjdBwjHNJgLDf2UDasAFoj6DDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:28:43.444178Z"},"content_sha256":"4f6efc53cffe3104b6dbe9e599b7bccbdd51be58a35abfe6ff3b7ec6f9217525","schema_version":"1.0","event_id":"sha256:4f6efc53cffe3104b6dbe9e599b7bccbdd51be58a35abfe6ff3b7ec6f9217525"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:AT56TE6DRCZ6ADIWIWLZUWBIYA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity","license":"","headline":"","cross_cats":["math.AG"],"primary_cat":"cs.CC","authors_text":"Joel Friedman","submitted_at":"2005-12-01T22:40:27Z","abstract_excerpt":"This paper is motivated by questions such as P vs. NP and other questions in Boolean complexity theory. We describe an approach to attacking such questions with cohomology, and we show that using Grothendieck topologies and other ideas from the Grothendieck school gives new hope for such an attack.\n  We focus on circuit depth complexity, and consider only finite topological spaces or Grothendieck topologies based on finite categories; as such, we do not use algebraic geometry or manifolds.\n  Given two sheaves on a Grothendieck topology, their \"cohomological complexity\" is the sum of the dimens"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0512008","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/cs/0512008/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T14:52:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7WJzkmuHu4+B7pEg7PTcEhMJy8GN02O/ne7JMa09C2XnYeEHMYlLCyfg0gMpAlh7GYdhDaOOgc1ebBoz9w8PDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:28:43.444570Z"},"content_sha256":"392385520128eb7a8fed21f6badcfb9c812784309d23db52a83ae9c61bb8069d","schema_version":"1.0","event_id":"sha256:392385520128eb7a8fed21f6badcfb9c812784309d23db52a83ae9c61bb8069d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/bundle.json","state_url":"https://pith.science/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-07T10:28:43Z","links":{"resolver":"https://pith.science/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA","bundle":"https://pith.science/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/bundle.json","state":"https://pith.science/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AT56TE6DRCZ6ADIWIWLZUWBIYA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:AT56TE6DRCZ6ADIWIWLZUWBIYA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7c09d23c6b5af26c2485d01438cffc77aaa2d0e7ed73ec5ff141547cb66b983b","cross_cats_sorted":["math.AG"],"license":"","primary_cat":"cs.CC","submitted_at":"2005-12-01T22:40:27Z","title_canon_sha256":"89d1333734c872e0c1ad2f5996b6969f44a4c8b6d6505f16a8ffbf5f0dc12e70"},"schema_version":"1.0","source":{"id":"cs/0512008","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0512008","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0512008v2","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0512008","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_12","alias_value":"AT56TE6DRCZ6","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_16","alias_value":"AT56TE6DRCZ6ADIW","created_at":"2026-07-04T14:52:06Z"},{"alias_kind":"pith_short_8","alias_value":"AT56TE6D","created_at":"2026-07-04T14:52:06Z"}],"graph_snapshots":[{"event_id":"sha256:392385520128eb7a8fed21f6badcfb9c812784309d23db52a83ae9c61bb8069d","target":"graph","created_at":"2026-07-04T14:52:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0512008/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper is motivated by questions such as P vs. NP and other questions in Boolean complexity theory. We describe an approach to attacking such questions with cohomology, and we show that using Grothendieck topologies and other ideas from the Grothendieck school gives new hope for such an attack.\n  We focus on circuit depth complexity, and consider only finite topological spaces or Grothendieck topologies based on finite categories; as such, we do not use algebraic geometry or manifolds.\n  Given two sheaves on a Grothendieck topology, their \"cohomological complexity\" is the sum of the dimens","authors_text":"Joel Friedman","cross_cats":["math.AG"],"headline":"","license":"","primary_cat":"cs.CC","submitted_at":"2005-12-01T22:40:27Z","title":"Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0512008","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4f6efc53cffe3104b6dbe9e599b7bccbdd51be58a35abfe6ff3b7ec6f9217525","target":"record","created_at":"2026-07-04T14:52:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7c09d23c6b5af26c2485d01438cffc77aaa2d0e7ed73ec5ff141547cb66b983b","cross_cats_sorted":["math.AG"],"license":"","primary_cat":"cs.CC","submitted_at":"2005-12-01T22:40:27Z","title_canon_sha256":"89d1333734c872e0c1ad2f5996b6969f44a4c8b6d6505f16a8ffbf5f0dc12e70"},"schema_version":"1.0","source":{"id":"cs/0512008","kind":"arxiv","version":2}},"canonical_sha256":"04fbe993c388b3e00d1645979a5828c006457a1a27796831df19ae8eae65929f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04fbe993c388b3e00d1645979a5828c006457a1a27796831df19ae8eae65929f","first_computed_at":"2026-07-04T14:52:06.217063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:52:06.217063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hNOsqJW8LMqMR0KyYtjWpsIUKtS93WhB5T7Q4X/WhSzCzKDk7oDpH+IGQuN++x9bYggfHERkY6M91k2D2uo7Ag==","signature_status":"signed_v1","signed_at":"2026-07-04T14:52:06.217433Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0512008","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f6efc53cffe3104b6dbe9e599b7bccbdd51be58a35abfe6ff3b7ec6f9217525","sha256:392385520128eb7a8fed21f6badcfb9c812784309d23db52a83ae9c61bb8069d"],"state_sha256":"d260d38b499606e4287e10ef461bb4858b7f6b6881f6ffe072c2274560f5b732"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yn45QKzf+KNj1jXUSkCPfdNEkqtPD0pPvjtiD9f3Z11jkzgxigvDhkj/EjpxFEICsHyZFnxhqfOoeV05pDi3BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:28:43.446450Z","bundle_sha256":"1e99692ab9b510cc1c53c391418b7769391f48f41c892bf19dedf365872210ee"}}