{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ED5SJH2PRC7GTU5RG5Y6AM5JM2","short_pith_number":"pith:ED5SJH2P","canonical_record":{"source":{"id":"1903.01783","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2019-03-05T12:22:31Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"3ce1be4894b983c5ecbd275911d866174ff4a1b90e00c7f70561094db2041828","abstract_canon_sha256":"bc9fb0becb6980103153dd714fda3cede02b3db9bf1fee13d82fc4e2e071932a"},"schema_version":"1.0"},"canonical_sha256":"20fb249f4f88be69d3b13771e033a96684c442b85d01e0cab091f1ca82f85410","source":{"kind":"arxiv","id":"1903.01783","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.01783","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1903.01783v2","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.01783","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"ED5SJH2PRC7G","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"ED5SJH2PRC7GTU5R","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"ED5SJH2P","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ED5SJH2PRC7GTU5RG5Y6AM5JM2","target":"record","payload":{"canonical_record":{"source":{"id":"1903.01783","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2019-03-05T12:22:31Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"3ce1be4894b983c5ecbd275911d866174ff4a1b90e00c7f70561094db2041828","abstract_canon_sha256":"bc9fb0becb6980103153dd714fda3cede02b3db9bf1fee13d82fc4e2e071932a"},"schema_version":"1.0"},"canonical_sha256":"20fb249f4f88be69d3b13771e033a96684c442b85d01e0cab091f1ca82f85410","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:40.591490Z","signature_b64":"/Asfvpk7OApkmf+scwxAaLvbskYdDX6CUwWIEifRqkvwzF4ySUS/uqOuHAwLfSjqeCKc1BvqJ+K6WvqfG0qICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"20fb249f4f88be69d3b13771e033a96684c442b85d01e0cab091f1ca82f85410","last_reissued_at":"2026-05-17T23:50:40.590798Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:40.590798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.01783","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-05-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9BVMjmvUUYzsdadGEejNSUivJoQSMCRKKnKTgqJ7YzEsLU+UQZrlK5o9lNswADrY94xacUxvMIDWifuFYsnYBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:03:27.953601Z"},"content_sha256":"301d29b9ca72c9215f4372bfd3d5775978d4855cd33213eabe83198d81d202f0","schema_version":"1.0","event_id":"sha256:301d29b9ca72c9215f4372bfd3d5775978d4855cd33213eabe83198d81d202f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ED5SJH2PRC7GTU5RG5Y6AM5JM2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Grothendieck Duality and Transitivity II: Traces and Residues via Verdier's isomorphism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.AG","authors_text":"Pramathanath Sastry, Suresh Nayak","submitted_at":"2019-03-05T12:22:31Z","abstract_excerpt":"For a smooth map between noetherian schemes, Verdier relates the top relative differentials of the map with the twisted inverse image functor `upper shriek'. We show that the associated traces for smooth proper maps can be rendered concrete by showing that the resulting theory of residues satisfy the residue formulas (R1)--(R10) in Hartshorne's \"Residues and Duality\". We show that the resulting abstract transitivity map relating the twisted image functors for the composite of two smooth maps satisfies an explicit formula involving differential forms. We also give explicit formulas for traces o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.01783","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":""},"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-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZWGIMOu1ozZHYIMvld5AlMsvM+88Wp6ui5Py5Ofl0pjmgMFk5r9vACYziL3TcFggsNhH1VBIt6XrDglYtyjRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:03:27.953949Z"},"content_sha256":"500ea3d8a5c8c96e8fc31144f1976a088994e8e12c81ae908cfb02007f98fc05","schema_version":"1.0","event_id":"sha256:500ea3d8a5c8c96e8fc31144f1976a088994e8e12c81ae908cfb02007f98fc05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/bundle.json","state_url":"https://pith.science/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/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-05-31T05:03:27Z","links":{"resolver":"https://pith.science/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2","bundle":"https://pith.science/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/bundle.json","state":"https://pith.science/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ED5SJH2PRC7GTU5RG5Y6AM5JM2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ED5SJH2PRC7GTU5RG5Y6AM5JM2","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":"bc9fb0becb6980103153dd714fda3cede02b3db9bf1fee13d82fc4e2e071932a","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2019-03-05T12:22:31Z","title_canon_sha256":"3ce1be4894b983c5ecbd275911d866174ff4a1b90e00c7f70561094db2041828"},"schema_version":"1.0","source":{"id":"1903.01783","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.01783","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1903.01783v2","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.01783","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"ED5SJH2PRC7G","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"ED5SJH2PRC7GTU5R","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"ED5SJH2P","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:500ea3d8a5c8c96e8fc31144f1976a088994e8e12c81ae908cfb02007f98fc05","target":"graph","created_at":"2026-05-17T23:50:40Z","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 smooth map between noetherian schemes, Verdier relates the top relative differentials of the map with the twisted inverse image functor `upper shriek'. We show that the associated traces for smooth proper maps can be rendered concrete by showing that the resulting theory of residues satisfy the residue formulas (R1)--(R10) in Hartshorne's \"Residues and Duality\". We show that the resulting abstract transitivity map relating the twisted image functors for the composite of two smooth maps satisfies an explicit formula involving differential forms. We also give explicit formulas for traces o","authors_text":"Pramathanath Sastry, Suresh Nayak","cross_cats":["math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2019-03-05T12:22:31Z","title":"Grothendieck Duality and Transitivity II: Traces and Residues via Verdier's isomorphism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.01783","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:301d29b9ca72c9215f4372bfd3d5775978d4855cd33213eabe83198d81d202f0","target":"record","created_at":"2026-05-17T23:50:40Z","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":"bc9fb0becb6980103153dd714fda3cede02b3db9bf1fee13d82fc4e2e071932a","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2019-03-05T12:22:31Z","title_canon_sha256":"3ce1be4894b983c5ecbd275911d866174ff4a1b90e00c7f70561094db2041828"},"schema_version":"1.0","source":{"id":"1903.01783","kind":"arxiv","version":2}},"canonical_sha256":"20fb249f4f88be69d3b13771e033a96684c442b85d01e0cab091f1ca82f85410","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"20fb249f4f88be69d3b13771e033a96684c442b85d01e0cab091f1ca82f85410","first_computed_at":"2026-05-17T23:50:40.590798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:40.590798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Asfvpk7OApkmf+scwxAaLvbskYdDX6CUwWIEifRqkvwzF4ySUS/uqOuHAwLfSjqeCKc1BvqJ+K6WvqfG0qICA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:40.591490Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.01783","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:301d29b9ca72c9215f4372bfd3d5775978d4855cd33213eabe83198d81d202f0","sha256:500ea3d8a5c8c96e8fc31144f1976a088994e8e12c81ae908cfb02007f98fc05"],"state_sha256":"ecef86ce8e64f7143435883001b33c7bd445eab0ceeb4460e2edcb1b58b065b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KNovi9rqwawJlqJansnC2sH7gf+lIg47X8LLhzEYN4+uz15dK99ujLCXJziP92Z2/Kp/7zAelvkcasG/YKFyAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T05:03:27.956187Z","bundle_sha256":"db6d8c5410d5c6f6c8f3071a816d135bcb7b797405a4388721214c860a5cc8f5"}}