{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5YQGCY3B4MAFDGX5VZPLO2VYY3","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":"c7ccdfb6219f4a0f1912714aaf2768bdfa4d8847676d6ff4b21f6cb6ba658b83","cross_cats_sorted":["math.SG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2026-05-17T09:43:14Z","title_canon_sha256":"3e3542f1a4f5d480e2a140a838c335c6ccb296ebd157194274153b7188a690dd"},"schema_version":"1.0","source":{"id":"2605.17351","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17351","created_at":"2026-05-20T00:03:53Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17351v1","created_at":"2026-05-20T00:03:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17351","created_at":"2026-05-20T00:03:53Z"},{"alias_kind":"pith_short_12","alias_value":"5YQGCY3B4MAF","created_at":"2026-05-20T00:03:53Z"},{"alias_kind":"pith_short_16","alias_value":"5YQGCY3B4MAFDGX5","created_at":"2026-05-20T00:03:53Z"},{"alias_kind":"pith_short_8","alias_value":"5YQGCY3B","created_at":"2026-05-20T00:03:53Z"}],"graph_snapshots":[{"event_id":"sha256:224bfbee09ccbb2cc00078a5d579f9eed440ddf6f81fd1fada8e30b0b227792b","target":"graph","created_at":"2026-05-20T00:03:53Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We show that, in general, the reduction is in fact a symplectic Lie 2-groupoid, and under certain isotropic free condition, the reduction is still an orbifold. Also the slice theorem of a group G action on Lie groupoids is proved."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The formulation of Hamiltonian actions of étale Lie 2-groups on orbifolds via Kan fibrations over the 2-group, together with the assumption that the symplectic form descends appropriately under the reduction quotient (abstract, section on application to symplectic reductions)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Constructs automorphism 2-group of Lie groupoids, equates homomorphisms to Kan fibrations, and shows symplectic reductions under étale Lie 2-group Hamiltonian actions yield symplectic Lie 2-groupoids or orbifolds under isotropic free conditions, plus a slice theorem."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Symplectic reductions of Hamiltonian étale Lie 2-group actions on orbifolds generally produce symplectic Lie 2-groupoids and remain orbifolds under an isotropic free condition."}],"snapshot_sha256":"04ff2ab80058fe9eb159f40c5a625d17915e94a36cbced633ad2c7a0b43d5f01"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"c37bf6621aa55d656a5a0d923cac3547967b824a1f5a6f4145cab49f6db3bbf2"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T23:31:20.089337Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T23:13:08.478991Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.793847Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.726299Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.17351/integrity.json","findings":[],"snapshot_sha256":"b4602b6f4ca3fb11e36498e8e4fa45f182fa884c7bd80b36c9bd73c9686f87ce","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, the 2-group BAut(X) of automorphisms of a Lie groupoid X is constructed. Considering the 2-group G action on X, we explain the equivalence between 2-group homomorphisms from G to BAut(X) with Kan fibrations over G with fiber X. This justifies the notion of Kan fibration for 2-group actions on Lie groupoids. As an application, we formulate Hamiltonian actions of \\'etale Lie 2-groups on orbifolds in terms of Kan fibrations and study the symplectic reductions. We show that, in general, the reduction is in fact a symplectic Lie 2-groupoid, and under certain isotropic free condition,","authors_text":"Bohui Chen, Cheng-Yong Du, Fengyu Jiang","cross_cats":["math.SG"],"headline":"Symplectic reductions of Hamiltonian étale Lie 2-group actions on orbifolds generally produce symplectic Lie 2-groupoids and remain orbifolds under an isotropic free condition.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2026-05-17T09:43:14Z","title":"Automorphisms of Lie groupoids and symplectic reduction on orbifolds"},"references":{"count":21,"internal_anchors":1,"resolved_work":21,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"A. Adem, J. Leida, and Y. Ruan.Orbifolds and Stringy Topology, volume 171 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2007. 22","work_id":"da9b4d35-7d88-4d35-b0e4-757b30a4f56c","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"K. Behrend and E. Getzler. Geometric higher groupoids and categories. In J.-B. Bost, H. Hofer, F. Labourie, Y. L. Jan, X. Ma, and W. Zhang, editors,Geometry, Analysis and Probability, volume 310 ofPro","work_id":"c9534d48-703d-4d6c-83e8-4d3f2c4ce301","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"B. Chen, C.-Y. Du, and R. Wang. The groupoid structure of groupoid morphisms.Journal of Geometry and Physics, 145:103486, 2019. 2, 14","work_id":"0cfe6038-b620-47de-8088-42a90c10bee6","year":2019},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"M. Crainic and I. Struchiner. On the linearization theorem for proper Lie groupoids.Annales scien- tifiques de l’ ´Ecole normale sup´ erieure, 46(5):723–746, 2013. 36","work_id":"b6fe745c-138c-4456-9402-5afd116a7a4a","year":2013},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"A. C. da Silva.Lectures on Symplectic Geometry. Number 1764 in Lecture Notes in Mathematics. Springer Berlin Heidelberg, 2008. 43","work_id":"b91de805-ad2f-4374-a753-8913e3457275","year":2008}],"snapshot_sha256":"65d902e12910ba614f635ebd839eb1c59a1ad85c3d3221e4e34c6f2faadfe1b9"},"source":{"id":"2605.17351","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T22:58:34.671676Z","id":"a6f6dc04-b0a5-4d9a-bec6-b81186b7abc0","model_set":{"reader":"grok-4.3"},"one_line_summary":"Constructs automorphism 2-group of Lie groupoids, equates homomorphisms to Kan fibrations, and shows symplectic reductions under étale Lie 2-group Hamiltonian actions yield symplectic Lie 2-groupoids or orbifolds under isotropic free conditions, plus a slice theorem.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Symplectic reductions of Hamiltonian étale Lie 2-group actions on orbifolds generally produce symplectic Lie 2-groupoids and remain orbifolds under an isotropic free condition.","strongest_claim":"We show that, in general, the reduction is in fact a symplectic Lie 2-groupoid, and under certain isotropic free condition, the reduction is still an orbifold. Also the slice theorem of a group G action on Lie groupoids is proved.","weakest_assumption":"The formulation of Hamiltonian actions of étale Lie 2-groups on orbifolds via Kan fibrations over the 2-group, together with the assumption that the symplectic form descends appropriately under the reduction quotient (abstract, section on application to symplectic reductions)."}},"verdict_id":"a6f6dc04-b0a5-4d9a-bec6-b81186b7abc0"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8a8ceed6531fabd5fd19703e907027f63a7393f56e68261fae9a9671461f633f","target":"record","created_at":"2026-05-20T00:03:53Z","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":"c7ccdfb6219f4a0f1912714aaf2768bdfa4d8847676d6ff4b21f6cb6ba658b83","cross_cats_sorted":["math.SG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2026-05-17T09:43:14Z","title_canon_sha256":"3e3542f1a4f5d480e2a140a838c335c6ccb296ebd157194274153b7188a690dd"},"schema_version":"1.0","source":{"id":"2605.17351","kind":"arxiv","version":1}},"canonical_sha256":"ee20616361e300519afdae5eb76ab8c6c064919bce356de403df6e3a52588753","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee20616361e300519afdae5eb76ab8c6c064919bce356de403df6e3a52588753","first_computed_at":"2026-05-20T00:03:53.640840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:03:53.640840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4GcK6aTWk7XZCnSncaKWQYiqfhlAqjL6Ppp4KWszQzxL+8r1o8eM/J9wpkqtcN74lTSXdVPq0g0CWd0RJ62ICg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:03:53.641632Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17351","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8a8ceed6531fabd5fd19703e907027f63a7393f56e68261fae9a9671461f633f","sha256:224bfbee09ccbb2cc00078a5d579f9eed440ddf6f81fd1fada8e30b0b227792b"],"state_sha256":"d8bc2a4f46afdc6594a7b85245b16cc17ab6f0970bdd1fbe5b093d9e8a143340"}