{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:PSBB7CVS7HGOBCEXC33TWEB75O","short_pith_number":"pith:PSBB7CVS","canonical_record":{"source":{"id":"1305.1503","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-05-07T13:17:31Z","cross_cats_sorted":["math.AT","math.CT"],"title_canon_sha256":"f82a156a8328ace90f32f74dcfea63fa22cf5880ea764b4334ac3ac0835042b8","abstract_canon_sha256":"2a2c9d55174a81ffa7bdc19c46b9c0139f0789f7207844849221fa6f5bd2055c"},"schema_version":"1.0"},"canonical_sha256":"7c821f8ab2f9cce0889716f73b103febb632e73770bec186a2cd7b500de34b12","source":{"kind":"arxiv","id":"1305.1503","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.1503","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"arxiv_version","alias_value":"1305.1503v5","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.1503","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"pith_short_12","alias_value":"PSBB7CVS7HGO","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PSBB7CVS7HGOBCEX","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PSBB7CVS","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:PSBB7CVS7HGOBCEXC33TWEB75O","target":"record","payload":{"canonical_record":{"source":{"id":"1305.1503","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-05-07T13:17:31Z","cross_cats_sorted":["math.AT","math.CT"],"title_canon_sha256":"f82a156a8328ace90f32f74dcfea63fa22cf5880ea764b4334ac3ac0835042b8","abstract_canon_sha256":"2a2c9d55174a81ffa7bdc19c46b9c0139f0789f7207844849221fa6f5bd2055c"},"schema_version":"1.0"},"canonical_sha256":"7c821f8ab2f9cce0889716f73b103febb632e73770bec186a2cd7b500de34b12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:12.762872Z","signature_b64":"09TS+F1/bL4THiJetuHAgz24EQR4g6IaYZ9CVmh378l2VWI0f3wv2oEhNuiRp6TnXEGPoHhVd8AaUyymFekbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c821f8ab2f9cce0889716f73b103febb632e73770bec186a2cd7b500de34b12","last_reissued_at":"2026-05-18T00:56:12.762177Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:12.762177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.1503","source_version":5,"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-05-18T00:56:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KA6LdLmOQ19HVUs1/NGG0Pe5TGugkOsb9lktlbaPn2GTj3oBkOdrB4CYZUcFfkUilM5JpCNLZvoCDj2piDK4AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:31:40.130115Z"},"content_sha256":"581f09a39d48c8790f3082efd5d4db39bd58c6b952528f6836c5b2cfe70e2190","schema_version":"1.0","event_id":"sha256:581f09a39d48c8790f3082efd5d4db39bd58c6b952528f6836c5b2cfe70e2190"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:PSBB7CVS7HGOBCEXC33TWEB75O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hochster duality in derived categories and point-free reconstruction of schemes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT","math.CT"],"primary_cat":"math.AG","authors_text":"Joachim Kock, Wolfgang Pitsch","submitted_at":"2013-05-07T13:17:31Z","abstract_excerpt":"For a commutative ring $R$, we exploit localization techniques and point-free topology to give an explicit realization of both the Zariski frame of $R$ (the frame of radical ideals in $R$) and its Hochster dual frame, as lattices in the poset of localizing subcategories of the unbounded derived category $D(R)$. This yields new conceptual proofs of the classical theorems of Hopkins-Neeman and Thomason. Next we revisit and simplify Balmer's theory of spectra and supports for tensor triangulated categories from the viewpoint of frames and Hochster duality. Finally we exploit our results to show h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.1503","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:56:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+nNyW7gZXlQUAxhgQoH4/g4FM+uewxv5obgoOyqeff+6GLroxDA+6GVgVPo0q+JGFpXTYc0ndOdatK8TkD/aBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:31:40.130474Z"},"content_sha256":"1d0cd6914229f8dae60c7411ef848cd32bde61fa2b9fdb36e0cb09e32c6dd499","schema_version":"1.0","event_id":"sha256:1d0cd6914229f8dae60c7411ef848cd32bde61fa2b9fdb36e0cb09e32c6dd499"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PSBB7CVS7HGOBCEXC33TWEB75O/bundle.json","state_url":"https://pith.science/pith/PSBB7CVS7HGOBCEXC33TWEB75O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PSBB7CVS7HGOBCEXC33TWEB75O/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-06-02T19:31:40Z","links":{"resolver":"https://pith.science/pith/PSBB7CVS7HGOBCEXC33TWEB75O","bundle":"https://pith.science/pith/PSBB7CVS7HGOBCEXC33TWEB75O/bundle.json","state":"https://pith.science/pith/PSBB7CVS7HGOBCEXC33TWEB75O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PSBB7CVS7HGOBCEXC33TWEB75O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PSBB7CVS7HGOBCEXC33TWEB75O","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":"2a2c9d55174a81ffa7bdc19c46b9c0139f0789f7207844849221fa6f5bd2055c","cross_cats_sorted":["math.AT","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-05-07T13:17:31Z","title_canon_sha256":"f82a156a8328ace90f32f74dcfea63fa22cf5880ea764b4334ac3ac0835042b8"},"schema_version":"1.0","source":{"id":"1305.1503","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.1503","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"arxiv_version","alias_value":"1305.1503v5","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.1503","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"pith_short_12","alias_value":"PSBB7CVS7HGO","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PSBB7CVS7HGOBCEX","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PSBB7CVS","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:1d0cd6914229f8dae60c7411ef848cd32bde61fa2b9fdb36e0cb09e32c6dd499","target":"graph","created_at":"2026-05-18T00:56:12Z","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"},"paper":{"abstract_excerpt":"For a commutative ring $R$, we exploit localization techniques and point-free topology to give an explicit realization of both the Zariski frame of $R$ (the frame of radical ideals in $R$) and its Hochster dual frame, as lattices in the poset of localizing subcategories of the unbounded derived category $D(R)$. This yields new conceptual proofs of the classical theorems of Hopkins-Neeman and Thomason. Next we revisit and simplify Balmer's theory of spectra and supports for tensor triangulated categories from the viewpoint of frames and Hochster duality. Finally we exploit our results to show h","authors_text":"Joachim Kock, Wolfgang Pitsch","cross_cats":["math.AT","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-05-07T13:17:31Z","title":"Hochster duality in derived categories and point-free reconstruction of schemes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.1503","kind":"arxiv","version":5},"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:581f09a39d48c8790f3082efd5d4db39bd58c6b952528f6836c5b2cfe70e2190","target":"record","created_at":"2026-05-18T00:56:12Z","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":"2a2c9d55174a81ffa7bdc19c46b9c0139f0789f7207844849221fa6f5bd2055c","cross_cats_sorted":["math.AT","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-05-07T13:17:31Z","title_canon_sha256":"f82a156a8328ace90f32f74dcfea63fa22cf5880ea764b4334ac3ac0835042b8"},"schema_version":"1.0","source":{"id":"1305.1503","kind":"arxiv","version":5}},"canonical_sha256":"7c821f8ab2f9cce0889716f73b103febb632e73770bec186a2cd7b500de34b12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c821f8ab2f9cce0889716f73b103febb632e73770bec186a2cd7b500de34b12","first_computed_at":"2026-05-18T00:56:12.762177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:12.762177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"09TS+F1/bL4THiJetuHAgz24EQR4g6IaYZ9CVmh378l2VWI0f3wv2oEhNuiRp6TnXEGPoHhVd8AaUyymFekbAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:12.762872Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.1503","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:581f09a39d48c8790f3082efd5d4db39bd58c6b952528f6836c5b2cfe70e2190","sha256:1d0cd6914229f8dae60c7411ef848cd32bde61fa2b9fdb36e0cb09e32c6dd499"],"state_sha256":"a4cb425c5c029aea1921bdf699e83b7a34dd0401e3cd23994992aad727ea982e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dCPtmsPcpcmhfChgm+3GX3INCl1HCN+wH9GQ9HtW3CYDXPLcsay9CSJe2vC68a6/1KAkzIJaxUcLuecqu+WWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T19:31:40.132434Z","bundle_sha256":"e24a60600a497849b2ac36c03b64daa48fcf1da93958cbaa554b30342bf0d84d"}}