{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2002:Q3A4NCTKMM7PH6CNAPZKXIJU7I","short_pith_number":"pith:Q3A4NCTK","canonical_record":{"source":{"id":"math/0208162","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.AT","submitted_at":"2002-08-22T13:57:22Z","cross_cats_sorted":["math.DG"],"title_canon_sha256":"45f85f8e1d78b0b768d6240c266c92e00021652ed60cceaef9a75a57930033f3","abstract_canon_sha256":"f8c16392273322758c322ad4b8b4e6f2d80b3ba92db55096ae677736b792d308"},"schema_version":"1.0"},"canonical_sha256":"86c1c68a6a633ef3f84d03f2aba134fa10cd1ee28895f4489cd088ced7836379","source":{"kind":"arxiv","id":"math/0208162","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0208162","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"arxiv_version","alias_value":"math/0208162v1","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0208162","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"pith_short_12","alias_value":"Q3A4NCTKMM7P","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"Q3A4NCTKMM7PH6CN","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"Q3A4NCTK","created_at":"2026-05-18T12:25:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2002:Q3A4NCTKMM7PH6CNAPZKXIJU7I","target":"record","payload":{"canonical_record":{"source":{"id":"math/0208162","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.AT","submitted_at":"2002-08-22T13:57:22Z","cross_cats_sorted":["math.DG"],"title_canon_sha256":"45f85f8e1d78b0b768d6240c266c92e00021652ed60cceaef9a75a57930033f3","abstract_canon_sha256":"f8c16392273322758c322ad4b8b4e6f2d80b3ba92db55096ae677736b792d308"},"schema_version":"1.0"},"canonical_sha256":"86c1c68a6a633ef3f84d03f2aba134fa10cd1ee28895f4489cd088ced7836379","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:34.595602Z","signature_b64":"BcWUdl3D5yzypDJUjnnBn7dWAZVABeSDVSOulTLFvNUBUl6tfqPA5VgGWFU+y/TOCjAw3xYnXwQf7Cxhl40RCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86c1c68a6a633ef3f84d03f2aba134fa10cd1ee28895f4489cd088ced7836379","last_reissued_at":"2026-05-18T04:24:34.595166Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:34.595166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0208162","source_version":1,"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-18T04:24:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l2wtkye/fiOHvm1PlMamKFDwybD3VnSnkiC0xppRXkG1u4FVDaWJ+7yj3DIKsIf8Mr1brFlA0LEsngxMWfarDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:10:30.749911Z"},"content_sha256":"e7296eb8ea0871be35ad6529dbde76965553c2bbcddd56324412c34996852ebc","schema_version":"1.0","event_id":"sha256:e7296eb8ea0871be35ad6529dbde76965553c2bbcddd56324412c34996852ebc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2002:Q3A4NCTKMM7PH6CNAPZKXIJU7I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The equivariant Lefschetz fixed point theorem for proper cocompact G-manifolds","license":"","headline":"","cross_cats":["math.DG"],"primary_cat":"math.AT","authors_text":"Jonathan Rosenberg, Wolfgang Lueck","submitted_at":"2002-08-22T13:57:22Z","abstract_excerpt":"Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data. We prove the equivariant Lefschetz fixed point theorem, which says that these two classes agree. As a special case, we prove an equivariant Poincare-Hopf Theorem, computing the universal equivariant Euler characteristic in terms of the zeros of an equivariant vector field, and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0208162","kind":"arxiv","version":1},"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-18T04:24:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JW4sJK2vRBThLtIHMGiFwWQ1j4k08RLhxbFhQ1yqpg2rF/JVKbBFyH7KH6bEbfpcyqZ4wlXMJ8rwxtzuqOeRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:10:30.750263Z"},"content_sha256":"d914e75753fcc8734e77badfbcf7eff2de0365ede24ea18bef59fbe3cf132128","schema_version":"1.0","event_id":"sha256:d914e75753fcc8734e77badfbcf7eff2de0365ede24ea18bef59fbe3cf132128"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/bundle.json","state_url":"https://pith.science/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/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-28T09:10:30Z","links":{"resolver":"https://pith.science/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I","bundle":"https://pith.science/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/bundle.json","state":"https://pith.science/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q3A4NCTKMM7PH6CNAPZKXIJU7I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2002:Q3A4NCTKMM7PH6CNAPZKXIJU7I","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":"f8c16392273322758c322ad4b8b4e6f2d80b3ba92db55096ae677736b792d308","cross_cats_sorted":["math.DG"],"license":"","primary_cat":"math.AT","submitted_at":"2002-08-22T13:57:22Z","title_canon_sha256":"45f85f8e1d78b0b768d6240c266c92e00021652ed60cceaef9a75a57930033f3"},"schema_version":"1.0","source":{"id":"math/0208162","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0208162","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"arxiv_version","alias_value":"math/0208162v1","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0208162","created_at":"2026-05-18T04:24:34Z"},{"alias_kind":"pith_short_12","alias_value":"Q3A4NCTKMM7P","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"Q3A4NCTKMM7PH6CN","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"Q3A4NCTK","created_at":"2026-05-18T12:25:51Z"}],"graph_snapshots":[{"event_id":"sha256:d914e75753fcc8734e77badfbcf7eff2de0365ede24ea18bef59fbe3cf132128","target":"graph","created_at":"2026-05-18T04:24:34Z","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":"Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data. We prove the equivariant Lefschetz fixed point theorem, which says that these two classes agree. As a special case, we prove an equivariant Poincare-Hopf Theorem, computing the universal equivariant Euler characteristic in terms of the zeros of an equivariant vector field, and ","authors_text":"Jonathan Rosenberg, Wolfgang Lueck","cross_cats":["math.DG"],"headline":"","license":"","primary_cat":"math.AT","submitted_at":"2002-08-22T13:57:22Z","title":"The equivariant Lefschetz fixed point theorem for proper cocompact G-manifolds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0208162","kind":"arxiv","version":1},"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:e7296eb8ea0871be35ad6529dbde76965553c2bbcddd56324412c34996852ebc","target":"record","created_at":"2026-05-18T04:24:34Z","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":"f8c16392273322758c322ad4b8b4e6f2d80b3ba92db55096ae677736b792d308","cross_cats_sorted":["math.DG"],"license":"","primary_cat":"math.AT","submitted_at":"2002-08-22T13:57:22Z","title_canon_sha256":"45f85f8e1d78b0b768d6240c266c92e00021652ed60cceaef9a75a57930033f3"},"schema_version":"1.0","source":{"id":"math/0208162","kind":"arxiv","version":1}},"canonical_sha256":"86c1c68a6a633ef3f84d03f2aba134fa10cd1ee28895f4489cd088ced7836379","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86c1c68a6a633ef3f84d03f2aba134fa10cd1ee28895f4489cd088ced7836379","first_computed_at":"2026-05-18T04:24:34.595166Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:34.595166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BcWUdl3D5yzypDJUjnnBn7dWAZVABeSDVSOulTLFvNUBUl6tfqPA5VgGWFU+y/TOCjAw3xYnXwQf7Cxhl40RCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:34.595602Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0208162","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7296eb8ea0871be35ad6529dbde76965553c2bbcddd56324412c34996852ebc","sha256:d914e75753fcc8734e77badfbcf7eff2de0365ede24ea18bef59fbe3cf132128"],"state_sha256":"04922e3c2c048a63ea00b5f196a5d3c0d2cb4215c72eaa944018c09ff6fa4825"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aaAAg0y3SKp8s+exN8MlD+xT7hQA8ZiqcAOi5btKSN0yz/po39lE6XmV5m3rlFbo1SWzE54zw2iZgMZVfoaqDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T09:10:30.752214Z","bundle_sha256":"293ec94db11dd12befe7953689a35472da08a55523d0524ae9a2d0c98a5f941a"}}