{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:64TQGTFBOUI5FVH5TJREJX45JQ","short_pith_number":"pith:64TQGTFB","canonical_record":{"source":{"id":"1704.07764","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-04-25T16:16:23Z","cross_cats_sorted":["math.DS","math.GR"],"title_canon_sha256":"0ee468045f2e757b641c16bf9eecc122ebe22be1d395f739db05b56aad416c74","abstract_canon_sha256":"001e943eecbd3e696fefe95d2f86e1089b64c62d928594558f846557cdb6f737"},"schema_version":"1.0"},"canonical_sha256":"f727034ca17511d2d4fd9a6244df9d4c003afb9d2f330faf43eda0b2d6231eac","source":{"kind":"arxiv","id":"1704.07764","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.07764","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"arxiv_version","alias_value":"1704.07764v3","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.07764","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"pith_short_12","alias_value":"64TQGTFBOUI5","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"64TQGTFBOUI5FVH5","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"64TQGTFB","created_at":"2026-05-18T12:31:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:64TQGTFBOUI5FVH5TJREJX45JQ","target":"record","payload":{"canonical_record":{"source":{"id":"1704.07764","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-04-25T16:16:23Z","cross_cats_sorted":["math.DS","math.GR"],"title_canon_sha256":"0ee468045f2e757b641c16bf9eecc122ebe22be1d395f739db05b56aad416c74","abstract_canon_sha256":"001e943eecbd3e696fefe95d2f86e1089b64c62d928594558f846557cdb6f737"},"schema_version":"1.0"},"canonical_sha256":"f727034ca17511d2d4fd9a6244df9d4c003afb9d2f330faf43eda0b2d6231eac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:52.337711Z","signature_b64":"O+ofEjzs1u6qOqbZABudmn43H6Zh1hQTd7gcHaHtYOEzY1xFltI0eHtQ/KRuVhDhj2SQI6s0BT6aeDYLMWIbCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f727034ca17511d2d4fd9a6244df9d4c003afb9d2f330faf43eda0b2d6231eac","last_reissued_at":"2026-05-17T23:53:52.336910Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:52.336910Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.07764","source_version":3,"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:53:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GCS/HcWOSsYDQP701NZ1zNuM/9UkaOl20e3DzIXoeuT7N/DV41VmfZgEQKOeGklMoWnRNsQBpChIOA2skP/PBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:55:48.911099Z"},"content_sha256":"45297244c95e2ec56c60196ab6e7b4c3cf504d54e6646d7a11b2472293616e2d","schema_version":"1.0","event_id":"sha256:45297244c95e2ec56c60196ab6e7b4c3cf504d54e6646d7a11b2472293616e2d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:64TQGTFBOUI5FVH5TJREJX45JQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Some model theory and topological dynamics of p-adic algebraic groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS","math.GR"],"primary_cat":"math.LO","authors_text":"Anand Pillay, Davide Penazzi, Ningyuan Yao","submitted_at":"2017-04-25T16:16:23Z","abstract_excerpt":"We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields. We consider the additive and multiplicative groups of Q_p and Z_p, the group of upper triangular invertible 2\\times 2 matrices, SL(2,Z_p), and, our main focus, SL(2,Q_p). In all cases we identify f-generic types (when they exist), minimal subflows, and idempotents. Among the main results is that the ``Ellis group\" of SL(2,Q_p)$ is the profinite completion o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.07764","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"},"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:53:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IUAKAKq6eIeuGLvtqmfLScWnWDj85Oa37b49BPGhvUZduANCRX18QkUaYzEs3LsYi0BQBsR9676gElLUdehCBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:55:48.911767Z"},"content_sha256":"f638b0f4c3e815cb7cb05d89ec7c59c8f4519a429036eccda622a0f3952267a3","schema_version":"1.0","event_id":"sha256:f638b0f4c3e815cb7cb05d89ec7c59c8f4519a429036eccda622a0f3952267a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/64TQGTFBOUI5FVH5TJREJX45JQ/bundle.json","state_url":"https://pith.science/pith/64TQGTFBOUI5FVH5TJREJX45JQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/64TQGTFBOUI5FVH5TJREJX45JQ/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-30T10:55:48Z","links":{"resolver":"https://pith.science/pith/64TQGTFBOUI5FVH5TJREJX45JQ","bundle":"https://pith.science/pith/64TQGTFBOUI5FVH5TJREJX45JQ/bundle.json","state":"https://pith.science/pith/64TQGTFBOUI5FVH5TJREJX45JQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/64TQGTFBOUI5FVH5TJREJX45JQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:64TQGTFBOUI5FVH5TJREJX45JQ","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":"001e943eecbd3e696fefe95d2f86e1089b64c62d928594558f846557cdb6f737","cross_cats_sorted":["math.DS","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-04-25T16:16:23Z","title_canon_sha256":"0ee468045f2e757b641c16bf9eecc122ebe22be1d395f739db05b56aad416c74"},"schema_version":"1.0","source":{"id":"1704.07764","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.07764","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"arxiv_version","alias_value":"1704.07764v3","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.07764","created_at":"2026-05-17T23:53:52Z"},{"alias_kind":"pith_short_12","alias_value":"64TQGTFBOUI5","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"64TQGTFBOUI5FVH5","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"64TQGTFB","created_at":"2026-05-18T12:31:03Z"}],"graph_snapshots":[{"event_id":"sha256:f638b0f4c3e815cb7cb05d89ec7c59c8f4519a429036eccda622a0f3952267a3","target":"graph","created_at":"2026-05-17T23:53:52Z","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 initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields. We consider the additive and multiplicative groups of Q_p and Z_p, the group of upper triangular invertible 2\\times 2 matrices, SL(2,Z_p), and, our main focus, SL(2,Q_p). In all cases we identify f-generic types (when they exist), minimal subflows, and idempotents. Among the main results is that the ``Ellis group\" of SL(2,Q_p)$ is the profinite completion o","authors_text":"Anand Pillay, Davide Penazzi, Ningyuan Yao","cross_cats":["math.DS","math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-04-25T16:16:23Z","title":"Some model theory and topological dynamics of p-adic algebraic groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.07764","kind":"arxiv","version":3},"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:45297244c95e2ec56c60196ab6e7b4c3cf504d54e6646d7a11b2472293616e2d","target":"record","created_at":"2026-05-17T23:53:52Z","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":"001e943eecbd3e696fefe95d2f86e1089b64c62d928594558f846557cdb6f737","cross_cats_sorted":["math.DS","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-04-25T16:16:23Z","title_canon_sha256":"0ee468045f2e757b641c16bf9eecc122ebe22be1d395f739db05b56aad416c74"},"schema_version":"1.0","source":{"id":"1704.07764","kind":"arxiv","version":3}},"canonical_sha256":"f727034ca17511d2d4fd9a6244df9d4c003afb9d2f330faf43eda0b2d6231eac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f727034ca17511d2d4fd9a6244df9d4c003afb9d2f330faf43eda0b2d6231eac","first_computed_at":"2026-05-17T23:53:52.336910Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:52.336910Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"O+ofEjzs1u6qOqbZABudmn43H6Zh1hQTd7gcHaHtYOEzY1xFltI0eHtQ/KRuVhDhj2SQI6s0BT6aeDYLMWIbCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:52.337711Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.07764","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45297244c95e2ec56c60196ab6e7b4c3cf504d54e6646d7a11b2472293616e2d","sha256:f638b0f4c3e815cb7cb05d89ec7c59c8f4519a429036eccda622a0f3952267a3"],"state_sha256":"bca15902c8550e9579cd5d48f2894fa5870dc6d30933f2e428654b42426d5c2c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ih1zF4l2W+/xHy10AGG170pjDCQtn46Rvdh1lAcQ20lRdQRyG07N156XxlOb7S/if45rmMWoQU1XSEhBNRyDAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T10:55:48.914889Z","bundle_sha256":"33363d6964c2af8a9beef1b132958f689eb0e074bf1b22e8dcd0b4b4beeae947"}}