{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:LMC54WFCTK2IPGFOV3563ONZM4","short_pith_number":"pith:LMC54WFC","canonical_record":{"source":{"id":"1506.08023","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-06-26T10:40:22Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"2d729a164e318c728eae504eec326b0fb44bf06598f1448b89c30dade4e8ea83","abstract_canon_sha256":"2d3e05de7eff6826f8862bacbf0101901f20453a865cdfa774f2ac224747512f"},"schema_version":"1.0"},"canonical_sha256":"5b05de58a29ab48798aeaefbedb9b967364d45f9943f92b4075ed7926c69008b","source":{"kind":"arxiv","id":"1506.08023","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08023","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08023v2","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08023","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"pith_short_12","alias_value":"LMC54WFCTK2I","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LMC54WFCTK2IPGFO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LMC54WFC","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:LMC54WFCTK2IPGFOV3563ONZM4","target":"record","payload":{"canonical_record":{"source":{"id":"1506.08023","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-06-26T10:40:22Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"2d729a164e318c728eae504eec326b0fb44bf06598f1448b89c30dade4e8ea83","abstract_canon_sha256":"2d3e05de7eff6826f8862bacbf0101901f20453a865cdfa774f2ac224747512f"},"schema_version":"1.0"},"canonical_sha256":"5b05de58a29ab48798aeaefbedb9b967364d45f9943f92b4075ed7926c69008b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:14.137955Z","signature_b64":"Nn6q1kHvXZDqLAZ3x22OsoI+ANacfeDjDDIKVbxCIfMi+XZsbCld78lIcuPiyrJPUfh2tyYM0QwCmN0opS9tDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b05de58a29ab48798aeaefbedb9b967364d45f9943f92b4075ed7926c69008b","last_reissued_at":"2026-05-18T00:31:14.137291Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:14.137291Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.08023","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-18T00:31:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"htIs4rompk7nFgtvwEpkOauGfSwfIMzjJUenDWHevW4R96U9FJ6fN6m/iS2hOU5nlYBaMleaau31p43WP+d8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:40:52.217585Z"},"content_sha256":"f438ba43f8d1096d4fdf083288f736258fda420e60f4d4e4206641a62aa4a38d","schema_version":"1.0","event_id":"sha256:f438ba43f8d1096d4fdf083288f736258fda420e60f4d4e4206641a62aa4a38d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:LMC54WFCTK2IPGFOV3563ONZM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sites whose topoi are the smooth representations of locally profinite groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.NT","authors_text":"Satoshi Kondo, Seidai Yasuda","submitted_at":"2015-06-26T10:40:22Z","abstract_excerpt":"We define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups and finite adele valued points of algebraic groups. This is a generalization of the fact that the topos associated with the \\'etale site of a scheme is equivalent to the category of sets with continuous action by the \\'etale fundamental group. We then define a subclass of sites such that the topos is equivalent to the category of discrete sets with a continuo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08023","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-18T00:31:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IUxVo4NLWtNNO7+iCSvbjiG9Tnnl3TrYbAQ2T0eVf0GKUgt7Pj4AcZu1ZObRv2NkyAr8DCCU9Gp6cm3wEkiKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:40:52.218222Z"},"content_sha256":"7d89cbacc333d23298b9554d047af29b4cfd6c6e9f23239b0bd7121384405085","schema_version":"1.0","event_id":"sha256:7d89cbacc333d23298b9554d047af29b4cfd6c6e9f23239b0bd7121384405085"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LMC54WFCTK2IPGFOV3563ONZM4/bundle.json","state_url":"https://pith.science/pith/LMC54WFCTK2IPGFOV3563ONZM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LMC54WFCTK2IPGFOV3563ONZM4/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-26T23:40:52Z","links":{"resolver":"https://pith.science/pith/LMC54WFCTK2IPGFOV3563ONZM4","bundle":"https://pith.science/pith/LMC54WFCTK2IPGFOV3563ONZM4/bundle.json","state":"https://pith.science/pith/LMC54WFCTK2IPGFOV3563ONZM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LMC54WFCTK2IPGFOV3563ONZM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LMC54WFCTK2IPGFOV3563ONZM4","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":"2d3e05de7eff6826f8862bacbf0101901f20453a865cdfa774f2ac224747512f","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-06-26T10:40:22Z","title_canon_sha256":"2d729a164e318c728eae504eec326b0fb44bf06598f1448b89c30dade4e8ea83"},"schema_version":"1.0","source":{"id":"1506.08023","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08023","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08023v2","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08023","created_at":"2026-05-18T00:31:14Z"},{"alias_kind":"pith_short_12","alias_value":"LMC54WFCTK2I","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LMC54WFCTK2IPGFO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LMC54WFC","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:7d89cbacc333d23298b9554d047af29b4cfd6c6e9f23239b0bd7121384405085","target":"graph","created_at":"2026-05-18T00:31:14Z","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 define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups and finite adele valued points of algebraic groups. This is a generalization of the fact that the topos associated with the \\'etale site of a scheme is equivalent to the category of sets with continuous action by the \\'etale fundamental group. We then define a subclass of sites such that the topos is equivalent to the category of discrete sets with a continuo","authors_text":"Satoshi Kondo, Seidai Yasuda","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-06-26T10:40:22Z","title":"Sites whose topoi are the smooth representations of locally profinite groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08023","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:f438ba43f8d1096d4fdf083288f736258fda420e60f4d4e4206641a62aa4a38d","target":"record","created_at":"2026-05-18T00:31:14Z","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":"2d3e05de7eff6826f8862bacbf0101901f20453a865cdfa774f2ac224747512f","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-06-26T10:40:22Z","title_canon_sha256":"2d729a164e318c728eae504eec326b0fb44bf06598f1448b89c30dade4e8ea83"},"schema_version":"1.0","source":{"id":"1506.08023","kind":"arxiv","version":2}},"canonical_sha256":"5b05de58a29ab48798aeaefbedb9b967364d45f9943f92b4075ed7926c69008b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b05de58a29ab48798aeaefbedb9b967364d45f9943f92b4075ed7926c69008b","first_computed_at":"2026-05-18T00:31:14.137291Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:14.137291Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nn6q1kHvXZDqLAZ3x22OsoI+ANacfeDjDDIKVbxCIfMi+XZsbCld78lIcuPiyrJPUfh2tyYM0QwCmN0opS9tDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:14.137955Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.08023","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f438ba43f8d1096d4fdf083288f736258fda420e60f4d4e4206641a62aa4a38d","sha256:7d89cbacc333d23298b9554d047af29b4cfd6c6e9f23239b0bd7121384405085"],"state_sha256":"bd162675080883bbd7a5c817f31a55cd4cc62f247707f173a633ca8d8b5dc182"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IKPsiiPo1bnZ6F/PLJgXUM9yrEPSEZrA2vKK1EXWj5bfej+8NznkMBViPXHvQ0lB0GE2neHtk85L9a2HKR7SAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T23:40:52.221541Z","bundle_sha256":"69b45f4282b58a22486b43941231a5b3f1486221edcf479167663b132734fdde"}}