{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:2FFCNGTE7MLPRNNH2Y6MOZQL3S","short_pith_number":"pith:2FFCNGTE","schema_version":"1.0","canonical_sha256":"d14a269a64fb16f8b5a7d63cc7660bdcb2706fd128fc1bb9e6d039ce1d2f3915","source":{"kind":"arxiv","id":"2506.08869","version":3},"attestation_state":"computed","paper":{"title":"Convergence of Normal Form Power Series for Infinite-Dimensional Lie Pseudo-Group Actions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.DG","math.MP"],"primary_cat":"math-ph","authors_text":"Francis Valiquette, Masoud Sabzevari, Peter J. Olver","submitted_at":"2025-06-10T15:01:37Z","abstract_excerpt":"We prove the convergence of normal form power series for suitably nonsingular analytic submanifolds under a broad class of infinite-dimensional Lie pseudo-group actions. Our theorem is illustrated by a number of examples, and includes, as a particular case, Chern and Moser's celebrated convergence theorem for normal forms of real hypersurfaces. The construction of normal forms relies on the equivariant moving frame method, while the convergence proof is based on the realization that the normal form can be recovered as part of the solution to an initial value problem for an involutive system of"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.08869","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2025-06-10T15:01:37Z","cross_cats_sorted":["math.DG","math.MP"],"title_canon_sha256":"014923361049af548a2143c93b0043f0571d0c56da3f3fb6297021dca60dfed4","abstract_canon_sha256":"7fad1670bfebc753cdcb94889a48c38853c55a5dadbe96ffa058bb782b041b32"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:49.071026Z","signature_b64":"9eA27cqBwPx0aKpGf0AdV1xb1aJTnsUIkdXI121VjFoLv/UXwvtTQ+BnIh30ZawbdRFOf5TQjl9EgfqN1gKHBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d14a269a64fb16f8b5a7d63cc7660bdcb2706fd128fc1bb9e6d039ce1d2f3915","last_reissued_at":"2026-07-05T11:21:49.070545Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:49.070545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Convergence of Normal Form Power Series for Infinite-Dimensional Lie Pseudo-Group Actions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.DG","math.MP"],"primary_cat":"math-ph","authors_text":"Francis Valiquette, Masoud Sabzevari, Peter J. Olver","submitted_at":"2025-06-10T15:01:37Z","abstract_excerpt":"We prove the convergence of normal form power series for suitably nonsingular analytic submanifolds under a broad class of infinite-dimensional Lie pseudo-group actions. Our theorem is illustrated by a number of examples, and includes, as a particular case, Chern and Moser's celebrated convergence theorem for normal forms of real hypersurfaces. The construction of normal forms relies on the equivariant moving frame method, while the convergence proof is based on the realization that the normal form can be recovered as part of the solution to an initial value problem for an involutive system of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08869","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.08869/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.08869","created_at":"2026-07-05T11:21:49.070603+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.08869v3","created_at":"2026-07-05T11:21:49.070603+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08869","created_at":"2026-07-05T11:21:49.070603+00:00"},{"alias_kind":"pith_short_12","alias_value":"2FFCNGTE7MLP","created_at":"2026-07-05T11:21:49.070603+00:00"},{"alias_kind":"pith_short_16","alias_value":"2FFCNGTE7MLPRNNH","created_at":"2026-07-05T11:21:49.070603+00:00"},{"alias_kind":"pith_short_8","alias_value":"2FFCNGTE","created_at":"2026-07-05T11:21:49.070603+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2608.00684","citing_title":"Holomorphic normal forms of six-dimensional totally nondegenerate CR manifolds in C^5","ref_index":24,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S","json":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S.json","graph_json":"https://pith.science/api/pith-number/2FFCNGTE7MLPRNNH2Y6MOZQL3S/graph.json","events_json":"https://pith.science/api/pith-number/2FFCNGTE7MLPRNNH2Y6MOZQL3S/events.json","paper":"https://pith.science/paper/2FFCNGTE"},"agent_actions":{"view_html":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S","download_json":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S.json","view_paper":"https://pith.science/paper/2FFCNGTE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.08869&json=true","fetch_graph":"https://pith.science/api/pith-number/2FFCNGTE7MLPRNNH2Y6MOZQL3S/graph.json","fetch_events":"https://pith.science/api/pith-number/2FFCNGTE7MLPRNNH2Y6MOZQL3S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S/action/storage_attestation","attest_author":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S/action/author_attestation","sign_citation":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S/action/citation_signature","submit_replication":"https://pith.science/pith/2FFCNGTE7MLPRNNH2Y6MOZQL3S/action/replication_record"}},"created_at":"2026-07-05T11:21:49.070603+00:00","updated_at":"2026-07-05T11:21:49.070603+00:00"}