{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5E3JUVDOV572ZRHNIBWBIK736J","short_pith_number":"pith:5E3JUVDO","canonical_record":{"source":{"id":"1504.04185","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-16T11:27:25Z","cross_cats_sorted":[],"title_canon_sha256":"0390c87c5baf253a2884cf410eaa1f9b6366f3bc2c10031dd1885161bc9d9f50","abstract_canon_sha256":"26443918f13d4d2b1463c25398832b757119c9bc4a877a3cfa780b48eb3d87cb"},"schema_version":"1.0"},"canonical_sha256":"e9369a546eaf7facc4ed406c142bfbf270786c08c58ae193bca0abcf5250f156","source":{"kind":"arxiv","id":"1504.04185","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.04185","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1504.04185v2","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.04185","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"5E3JUVDOV572","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5E3JUVDOV572ZRHN","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5E3JUVDO","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5E3JUVDOV572ZRHNIBWBIK736J","target":"record","payload":{"canonical_record":{"source":{"id":"1504.04185","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-16T11:27:25Z","cross_cats_sorted":[],"title_canon_sha256":"0390c87c5baf253a2884cf410eaa1f9b6366f3bc2c10031dd1885161bc9d9f50","abstract_canon_sha256":"26443918f13d4d2b1463c25398832b757119c9bc4a877a3cfa780b48eb3d87cb"},"schema_version":"1.0"},"canonical_sha256":"e9369a546eaf7facc4ed406c142bfbf270786c08c58ae193bca0abcf5250f156","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:03:45.021901Z","signature_b64":"LJ8nC3MzDq+/kmTsEwJb48OWLKv4gU1ry++OPnEXRTFL47zubk3oqDCtvBgMK+2HbqE9W05uKyj2+tvVFW+EBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9369a546eaf7facc4ed406c142bfbf270786c08c58ae193bca0abcf5250f156","last_reissued_at":"2026-05-18T02:03:45.021359Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:03:45.021359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.04185","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-18T02:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"43ukdRo48cnYf/Yo8aeMXdekHahGBr8nuGb+EcXCDfRX55ZBXMpprFD/ed36dbjnABHwpXL8eYo6cMrOdlp3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T15:55:52.107445Z"},"content_sha256":"cb0c393c39d05577f5eb4eadcdf72a36ac28565c71cf9170d8262fffdc3046bc","schema_version":"1.0","event_id":"sha256:cb0c393c39d05577f5eb4eadcdf72a36ac28565c71cf9170d8262fffdc3046bc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5E3JUVDOV572ZRHNIBWBIK736J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hyperbolic localization and Lefschetz fixed point formulas for higher-dimensional fixed point sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Kiyoshi Takeuchi, Yuichi Ike, Yutaka Matsui","submitted_at":"2015-04-16T11:27:25Z","abstract_excerpt":"We study Lefschetz fixed point formulas for constructible sheaves with higher-dimensional fixed point sets. Under fairly weak assumptions, we prove that the local contributions from them are expressed by some constructible functions associated to hyperbolic localizations. This gives an affirmative answer to a conjecture of Goresky-MacPherson in particular for smooth fixed point components. In the course of the proof, the new Lagrangian cycles introduced in our previous paper will be effectively used. Moreover we show various examples for which local contributions can be explicitly determined b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.04185","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-18T02:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HwHtxQOWOXTf7vzls81iWagej4hEzywHrCH0Ig6i/kk6Q7ZLv9trXmqxcoiSELIh3Hbc1rMqHj8Jhq0E19SlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T15:55:52.107799Z"},"content_sha256":"81418c7036d61906d56b3064edc585cdbe29849e7a8f30e834ae3e83be371b77","schema_version":"1.0","event_id":"sha256:81418c7036d61906d56b3064edc585cdbe29849e7a8f30e834ae3e83be371b77"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5E3JUVDOV572ZRHNIBWBIK736J/bundle.json","state_url":"https://pith.science/pith/5E3JUVDOV572ZRHNIBWBIK736J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5E3JUVDOV572ZRHNIBWBIK736J/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-03T15:55:52Z","links":{"resolver":"https://pith.science/pith/5E3JUVDOV572ZRHNIBWBIK736J","bundle":"https://pith.science/pith/5E3JUVDOV572ZRHNIBWBIK736J/bundle.json","state":"https://pith.science/pith/5E3JUVDOV572ZRHNIBWBIK736J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5E3JUVDOV572ZRHNIBWBIK736J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5E3JUVDOV572ZRHNIBWBIK736J","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":"26443918f13d4d2b1463c25398832b757119c9bc4a877a3cfa780b48eb3d87cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-16T11:27:25Z","title_canon_sha256":"0390c87c5baf253a2884cf410eaa1f9b6366f3bc2c10031dd1885161bc9d9f50"},"schema_version":"1.0","source":{"id":"1504.04185","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.04185","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1504.04185v2","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.04185","created_at":"2026-05-18T02:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"5E3JUVDOV572","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5E3JUVDOV572ZRHN","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5E3JUVDO","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:81418c7036d61906d56b3064edc585cdbe29849e7a8f30e834ae3e83be371b77","target":"graph","created_at":"2026-05-18T02:03:45Z","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":"We study Lefschetz fixed point formulas for constructible sheaves with higher-dimensional fixed point sets. Under fairly weak assumptions, we prove that the local contributions from them are expressed by some constructible functions associated to hyperbolic localizations. This gives an affirmative answer to a conjecture of Goresky-MacPherson in particular for smooth fixed point components. In the course of the proof, the new Lagrangian cycles introduced in our previous paper will be effectively used. Moreover we show various examples for which local contributions can be explicitly determined b","authors_text":"Kiyoshi Takeuchi, Yuichi Ike, Yutaka Matsui","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-16T11:27:25Z","title":"Hyperbolic localization and Lefschetz fixed point formulas for higher-dimensional fixed point sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.04185","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:cb0c393c39d05577f5eb4eadcdf72a36ac28565c71cf9170d8262fffdc3046bc","target":"record","created_at":"2026-05-18T02:03:45Z","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":"26443918f13d4d2b1463c25398832b757119c9bc4a877a3cfa780b48eb3d87cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-16T11:27:25Z","title_canon_sha256":"0390c87c5baf253a2884cf410eaa1f9b6366f3bc2c10031dd1885161bc9d9f50"},"schema_version":"1.0","source":{"id":"1504.04185","kind":"arxiv","version":2}},"canonical_sha256":"e9369a546eaf7facc4ed406c142bfbf270786c08c58ae193bca0abcf5250f156","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9369a546eaf7facc4ed406c142bfbf270786c08c58ae193bca0abcf5250f156","first_computed_at":"2026-05-18T02:03:45.021359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:03:45.021359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LJ8nC3MzDq+/kmTsEwJb48OWLKv4gU1ry++OPnEXRTFL47zubk3oqDCtvBgMK+2HbqE9W05uKyj2+tvVFW+EBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:03:45.021901Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.04185","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb0c393c39d05577f5eb4eadcdf72a36ac28565c71cf9170d8262fffdc3046bc","sha256:81418c7036d61906d56b3064edc585cdbe29849e7a8f30e834ae3e83be371b77"],"state_sha256":"d00cdfc532958e053e84562d12b8b6d9c57feed9714cbb11efe8875cecd6084b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w3zeb5+YcrXX+QFTN5nTl9VnZH6KEwV1I7yf9NfUxTulyAPyGlkjIxJpWsuWuztwhQUiX681+fHy2zURzcoBCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T15:55:52.109995Z","bundle_sha256":"50ea1025b6e60ee6babbcaab80b0c49164a83f08a5462a40fe6b376509e8c6a3"}}