{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GJR6XJM4FNHVGYA54HJKPQKYPU","short_pith_number":"pith:GJR6XJM4","canonical_record":{"source":{"id":"1706.06573","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-06-20T17:57:50Z","cross_cats_sorted":[],"title_canon_sha256":"0b7c6599fb3686f8cf8db5dbfb03572e6e8bedc364605a6106492447a8f3a4dc","abstract_canon_sha256":"28bd30b17a98e4a6decdefb99b9705ae967a0cddcf5e081096267cd31f856653"},"schema_version":"1.0"},"canonical_sha256":"3263eba59c2b4f53601de1d2a7c1587d19871dc264d8504bf6ed1cbcab16ad9f","source":{"kind":"arxiv","id":"1706.06573","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.06573","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"arxiv_version","alias_value":"1706.06573v1","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.06573","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"pith_short_12","alias_value":"GJR6XJM4FNHV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GJR6XJM4FNHVGYA5","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GJR6XJM4","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GJR6XJM4FNHVGYA54HJKPQKYPU","target":"record","payload":{"canonical_record":{"source":{"id":"1706.06573","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-06-20T17:57:50Z","cross_cats_sorted":[],"title_canon_sha256":"0b7c6599fb3686f8cf8db5dbfb03572e6e8bedc364605a6106492447a8f3a4dc","abstract_canon_sha256":"28bd30b17a98e4a6decdefb99b9705ae967a0cddcf5e081096267cd31f856653"},"schema_version":"1.0"},"canonical_sha256":"3263eba59c2b4f53601de1d2a7c1587d19871dc264d8504bf6ed1cbcab16ad9f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:02.880887Z","signature_b64":"GSb+7Q+SnfXYZSVPzmJ2R+8tXTsdfCUkUPoww4UkuctwLXnM0vwwRYownBmMq9l0FghB5q4uTMJziqjEDZokAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3263eba59c2b4f53601de1d2a7c1587d19871dc264d8504bf6ed1cbcab16ad9f","last_reissued_at":"2026-05-18T00:42:02.880193Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:02.880193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.06573","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-18T00:42:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFDIAokVbcCdI0xRohVoq80dDF0b21cglDcezWKvOMywPRhk9mdmP+xMMBb8SzSVKM1UVrPE3tOBez0MqDA2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T23:50:54.100930Z"},"content_sha256":"ca3bde528c7ed93e1e4c106e993ca608fe687c8a98a1244d28c47ad613573656","schema_version":"1.0","event_id":"sha256:ca3bde528c7ed93e1e4c106e993ca608fe687c8a98a1244d28c47ad613573656"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GJR6XJM4FNHVGYA54HJKPQKYPU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A choice-free absolute Galois group and Artin motives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Julian Rosen","submitted_at":"2017-06-20T17:57:50Z","abstract_excerpt":"Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.06573","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-18T00:42:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sD9cvzuhp/cI8iGB8bPIUJTY+TJQ6ZpWRo/TunlhJPWZT4s3EvcwzMeP/4TyEITxkEqRv0eZ4W9QKYWwK0arBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T23:50:54.101341Z"},"content_sha256":"2507d16273e911fde83e44367e46d3998c4d19f775b9104076ce2917ddc46457","schema_version":"1.0","event_id":"sha256:2507d16273e911fde83e44367e46d3998c4d19f775b9104076ce2917ddc46457"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/bundle.json","state_url":"https://pith.science/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/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-11T23:50:54Z","links":{"resolver":"https://pith.science/pith/GJR6XJM4FNHVGYA54HJKPQKYPU","bundle":"https://pith.science/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/bundle.json","state":"https://pith.science/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GJR6XJM4FNHVGYA54HJKPQKYPU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GJR6XJM4FNHVGYA54HJKPQKYPU","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":"28bd30b17a98e4a6decdefb99b9705ae967a0cddcf5e081096267cd31f856653","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-06-20T17:57:50Z","title_canon_sha256":"0b7c6599fb3686f8cf8db5dbfb03572e6e8bedc364605a6106492447a8f3a4dc"},"schema_version":"1.0","source":{"id":"1706.06573","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.06573","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"arxiv_version","alias_value":"1706.06573v1","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.06573","created_at":"2026-05-18T00:42:02Z"},{"alias_kind":"pith_short_12","alias_value":"GJR6XJM4FNHV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GJR6XJM4FNHVGYA5","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GJR6XJM4","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:2507d16273e911fde83e44367e46d3998c4d19f775b9104076ce2917ddc46457","target":"graph","created_at":"2026-05-18T00:42:02Z","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":"Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only u","authors_text":"Julian Rosen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-06-20T17:57:50Z","title":"A choice-free absolute Galois group and Artin motives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.06573","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:ca3bde528c7ed93e1e4c106e993ca608fe687c8a98a1244d28c47ad613573656","target":"record","created_at":"2026-05-18T00:42:02Z","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":"28bd30b17a98e4a6decdefb99b9705ae967a0cddcf5e081096267cd31f856653","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-06-20T17:57:50Z","title_canon_sha256":"0b7c6599fb3686f8cf8db5dbfb03572e6e8bedc364605a6106492447a8f3a4dc"},"schema_version":"1.0","source":{"id":"1706.06573","kind":"arxiv","version":1}},"canonical_sha256":"3263eba59c2b4f53601de1d2a7c1587d19871dc264d8504bf6ed1cbcab16ad9f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3263eba59c2b4f53601de1d2a7c1587d19871dc264d8504bf6ed1cbcab16ad9f","first_computed_at":"2026-05-18T00:42:02.880193Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:02.880193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GSb+7Q+SnfXYZSVPzmJ2R+8tXTsdfCUkUPoww4UkuctwLXnM0vwwRYownBmMq9l0FghB5q4uTMJziqjEDZokAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:02.880887Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.06573","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca3bde528c7ed93e1e4c106e993ca608fe687c8a98a1244d28c47ad613573656","sha256:2507d16273e911fde83e44367e46d3998c4d19f775b9104076ce2917ddc46457"],"state_sha256":"c068d063652ca03c6020df5c3bfe26bb72bbf16cc0ded1b4a37d6069ec39f1a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zpcZvpPXpyTBqGWvUnXp2h0ahKNU71K0wSBzUvmFCKJOa4P5h4ihzNRjORvHtgH3t5JVwcVuFdqCgzTC2VveDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T23:50:54.104791Z","bundle_sha256":"9095e15cd9f12ba3b16f7bddff01010b18fdab0456b91409629f69a8140f161b"}}