{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:5QWY7CZUPDDGICESV7VTE7CGHP","short_pith_number":"pith:5QWY7CZU","schema_version":"1.0","canonical_sha256":"ec2d8f8b3478c6640892afeb327c463bd5d96bce174dcb23e148f3cf29f5b006","source":{"kind":"arxiv","id":"1307.7092","version":3},"attestation_state":"computed","paper":{"title":"Relation between two twisted inverse image pseudofunctors in duality theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.AG","authors_text":"Amnon Neeman, Joseph Lipman, Srikanth B. Iyengar","submitted_at":"2013-07-26T16:50:25Z","abstract_excerpt":"Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\\times when f is proper, but equal to the usual inverse image f^* when f is etale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by \"compactly supported\" versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs "},"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":"1307.7092","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-07-26T16:50:25Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"2246e371af07765a321a04a80ff826928a66fcbbabf06b5d761e204a32bbdb95","abstract_canon_sha256":"1aa2a693854d6f58e3f68c56b90d8be5895ef250323a230ed4d0467a5c01fa7d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:35.444694Z","signature_b64":"2QUQCoMoMdxa9VDm1/m7Adsh6TMPtkxvlH1aY2v2/pU1zDttIHENxiwXHigU0rgICMrCb1udyLkMYCaLaj68Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec2d8f8b3478c6640892afeb327c463bd5d96bce174dcb23e148f3cf29f5b006","last_reissued_at":"2026-05-17T23:53:35.443961Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:35.443961Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Relation between two twisted inverse image pseudofunctors in duality theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.AG","authors_text":"Amnon Neeman, Joseph Lipman, Srikanth B. Iyengar","submitted_at":"2013-07-26T16:50:25Z","abstract_excerpt":"Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\\times when f is proper, but equal to the usual inverse image f^* when f is etale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by \"compactly supported\" versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7092","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1307.7092","created_at":"2026-05-17T23:53:35.444076+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.7092v3","created_at":"2026-05-17T23:53:35.444076+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7092","created_at":"2026-05-17T23:53:35.444076+00:00"},{"alias_kind":"pith_short_12","alias_value":"5QWY7CZUPDDG","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_16","alias_value":"5QWY7CZUPDDGICES","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_8","alias_value":"5QWY7CZU","created_at":"2026-05-18T12:27:34.582898+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP","json":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP.json","graph_json":"https://pith.science/api/pith-number/5QWY7CZUPDDGICESV7VTE7CGHP/graph.json","events_json":"https://pith.science/api/pith-number/5QWY7CZUPDDGICESV7VTE7CGHP/events.json","paper":"https://pith.science/paper/5QWY7CZU"},"agent_actions":{"view_html":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP","download_json":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP.json","view_paper":"https://pith.science/paper/5QWY7CZU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.7092&json=true","fetch_graph":"https://pith.science/api/pith-number/5QWY7CZUPDDGICESV7VTE7CGHP/graph.json","fetch_events":"https://pith.science/api/pith-number/5QWY7CZUPDDGICESV7VTE7CGHP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP/action/storage_attestation","attest_author":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP/action/author_attestation","sign_citation":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP/action/citation_signature","submit_replication":"https://pith.science/pith/5QWY7CZUPDDGICESV7VTE7CGHP/action/replication_record"}},"created_at":"2026-05-17T23:53:35.444076+00:00","updated_at":"2026-05-17T23:53:35.444076+00:00"}