{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KRNRSVN6ZKZARSQWVAHY55AD3K","short_pith_number":"pith:KRNRSVN6","canonical_record":{"source":{"id":"1410.8803","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-10-24T07:02:37Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"4f3c7efe79092904f6238e51965b020eb78f1a2db6d01a1973812b7a35f325bb","abstract_canon_sha256":"a61b35093ae85a1523005d127516a6ab6dc20d2e2276e6868e748e0e04c65ec3"},"schema_version":"1.0"},"canonical_sha256":"545b1955becab208ca16a80f8ef403da8222f8fc00f32293ad5952c217114d12","source":{"kind":"arxiv","id":"1410.8803","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.8803","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"arxiv_version","alias_value":"1410.8803v2","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.8803","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"pith_short_12","alias_value":"KRNRSVN6ZKZA","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KRNRSVN6ZKZARSQW","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KRNRSVN6","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KRNRSVN6ZKZARSQWVAHY55AD3K","target":"record","payload":{"canonical_record":{"source":{"id":"1410.8803","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-10-24T07:02:37Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"4f3c7efe79092904f6238e51965b020eb78f1a2db6d01a1973812b7a35f325bb","abstract_canon_sha256":"a61b35093ae85a1523005d127516a6ab6dc20d2e2276e6868e748e0e04c65ec3"},"schema_version":"1.0"},"canonical_sha256":"545b1955becab208ca16a80f8ef403da8222f8fc00f32293ad5952c217114d12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:19.043086Z","signature_b64":"Nqusj4dwVKdXy0NSHJvJrH9HH1+M598paTMwcmqcCed9OMlexTLPzBW+vBOem0fj/fogCO0c+QgXjJlyTRDfDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"545b1955becab208ca16a80f8ef403da8222f8fc00f32293ad5952c217114d12","last_reissued_at":"2026-05-18T01:23:19.042442Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:19.042442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.8803","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-18T01:23:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yj5Dpm4QUejbHUgiLa00wiQcNtHiBcxekHsI8sSd8veJB6VsNoCCpjfaWg5lLwIY55FhMzpasXoPBpAFgCEqAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:17:10.044697Z"},"content_sha256":"206ce8036e9ce6d9f6b087926979342933f36cb7671c79730941b21d55eaea66","schema_version":"1.0","event_id":"sha256:206ce8036e9ce6d9f6b087926979342933f36cb7671c79730941b21d55eaea66"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KRNRSVN6ZKZARSQWVAHY55AD3K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Lie group of real analytic diffeomorphisms is not real analytic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.DG","authors_text":"Alexander Schmeding, Rafael Dahmen","submitted_at":"2014-10-24T07:02:37Z","abstract_excerpt":"We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove then that the diffeomorphism group is regular in the sense of Milnor.\n  In the inequivalent \"convenient setting of calculus\" the real analytic diffeomorphisms even form a real anal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.8803","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-18T01:23:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"56P/AMO7iOO62ftl7G7St0/kAhXKcmN3Dl9Yt7ybmRjkwELp8hKrgYZhLxfMxpKH3E+A0cXcDoD7A3Of+zUhBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:17:10.045047Z"},"content_sha256":"379ad1c36ceec9af7b18014397fd9428d9de2a6822d6a57616ad5977ffa65ff1","schema_version":"1.0","event_id":"sha256:379ad1c36ceec9af7b18014397fd9428d9de2a6822d6a57616ad5977ffa65ff1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/bundle.json","state_url":"https://pith.science/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/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-02T06:17:10Z","links":{"resolver":"https://pith.science/pith/KRNRSVN6ZKZARSQWVAHY55AD3K","bundle":"https://pith.science/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/bundle.json","state":"https://pith.science/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KRNRSVN6ZKZARSQWVAHY55AD3K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KRNRSVN6ZKZARSQWVAHY55AD3K","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":"a61b35093ae85a1523005d127516a6ab6dc20d2e2276e6868e748e0e04c65ec3","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-10-24T07:02:37Z","title_canon_sha256":"4f3c7efe79092904f6238e51965b020eb78f1a2db6d01a1973812b7a35f325bb"},"schema_version":"1.0","source":{"id":"1410.8803","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.8803","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"arxiv_version","alias_value":"1410.8803v2","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.8803","created_at":"2026-05-18T01:23:19Z"},{"alias_kind":"pith_short_12","alias_value":"KRNRSVN6ZKZA","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KRNRSVN6ZKZARSQW","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KRNRSVN6","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:379ad1c36ceec9af7b18014397fd9428d9de2a6822d6a57616ad5977ffa65ff1","target":"graph","created_at":"2026-05-18T01:23:19Z","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 construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove then that the diffeomorphism group is regular in the sense of Milnor.\n  In the inequivalent \"convenient setting of calculus\" the real analytic diffeomorphisms even form a real anal","authors_text":"Alexander Schmeding, Rafael Dahmen","cross_cats":["math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-10-24T07:02:37Z","title":"The Lie group of real analytic diffeomorphisms is not real analytic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.8803","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:206ce8036e9ce6d9f6b087926979342933f36cb7671c79730941b21d55eaea66","target":"record","created_at":"2026-05-18T01:23:19Z","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":"a61b35093ae85a1523005d127516a6ab6dc20d2e2276e6868e748e0e04c65ec3","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-10-24T07:02:37Z","title_canon_sha256":"4f3c7efe79092904f6238e51965b020eb78f1a2db6d01a1973812b7a35f325bb"},"schema_version":"1.0","source":{"id":"1410.8803","kind":"arxiv","version":2}},"canonical_sha256":"545b1955becab208ca16a80f8ef403da8222f8fc00f32293ad5952c217114d12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"545b1955becab208ca16a80f8ef403da8222f8fc00f32293ad5952c217114d12","first_computed_at":"2026-05-18T01:23:19.042442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:19.042442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nqusj4dwVKdXy0NSHJvJrH9HH1+M598paTMwcmqcCed9OMlexTLPzBW+vBOem0fj/fogCO0c+QgXjJlyTRDfDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:19.043086Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.8803","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:206ce8036e9ce6d9f6b087926979342933f36cb7671c79730941b21d55eaea66","sha256:379ad1c36ceec9af7b18014397fd9428d9de2a6822d6a57616ad5977ffa65ff1"],"state_sha256":"b3d76fabced7a837eaf4cb6fb8301354ca052a82ea7d2b2467427441059a18b1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7qGxwhd91xqidi6Yp98QvPkuVWnNvJKyecvp0IDVsse3MpaVK1S1EHIKXGCFo7Ae9Pp9ByrbFtN88A0zcz6qBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:17:10.046964Z","bundle_sha256":"d30483640043829e06c08dbe25447bf4fe35c5f819bd45b6461ff7bdc2fab9dd"}}