{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TD7VTEKOUSDSB55H6DO5JF2T7Z","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":"cfb3462b57fa2846b24dfcf8d6025096dd768ef7d16a5fff7df0526614fa41f4","cross_cats_sorted":["math.DG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T15:15:29Z","title_canon_sha256":"eb1e7a701f20c05a19da4d43c52fdcea6672fefabac1a7158e200c7a42ef9da0"},"schema_version":"1.0","source":{"id":"2605.13657","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13657","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13657v1","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13657","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"pith_short_12","alias_value":"TD7VTEKOUSDS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"TD7VTEKOUSDSB55H","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"TD7VTEKO","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:f6f54e0298a8e84adc957157ab35a5d572562f80e5acf813fc845fbc77f20f52","target":"graph","created_at":"2026-05-18T02:44:17Z","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":"when G is semisimple and X is a smooth projective variety, we show that the moduli stack of stable L-valued G-Higgs bundles is a Deligne-Mumford (DM) stack. Furthermore, when X is a smooth projective surface and L=K_X, we construct a symmetric perfect obstruction theory on this stable locus."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The computation of infinitesimal automorphisms for arbitrary L-valued bundles extends without additional restrictions from the known Ω¹_X case, and the stability condition is compatible with the stack structure in the required way; these steps are invoked but not detailed in the abstract."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Infinitesimal automorphisms of L-valued G-Higgs bundles are computed, proving the stable moduli stack is Deligne-Mumford for semisimple G and yielding a symmetric perfect obstruction theory on surfaces when L = K_X."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The moduli stack of stable L-valued G-Higgs bundles is Deligne-Mumford when G is semisimple."}],"snapshot_sha256":"19ec7e04ab3eacf7d764c636b59c3ad49cd3d69cf1a67f1bc05ccaa83ebfbec7"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"For an arbitrary reductive group $G$, we compute the infinitesimal automorphisms of $L$-valued principal $G$-Higgs bundles over a compact K\\\"ahler manifold $X$, extending known results for $\\Omega_X^{1}$-valued $G$-Higgs bundles.\n  Using this computation, when $G$ is semisimple and $X$ is a smooth projective variety, we show that the moduli stack of stable $L$-valued $G$-Higgs bundles is a Deligne-Mumford (DM) stack.\n  Furthermore, when $X$ is a smooth projective surface and $L=K_X$, we construct a symmetric perfect obstruction theory on this stable locus. We expect this will provide a foundat","authors_text":"Sang-Bum Yoo, Sanghyeon Lee","cross_cats":["math.DG"],"headline":"The moduli stack of stable L-valued G-Higgs bundles is Deligne-Mumford when G is semisimple.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T15:15:29Z","title":"Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles"},"references":{"count":22,"internal_anchors":1,"resolved_work":22,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Alper,Stacks and Moduli, 2026","work_id":"e1b6e4b6-9e66-47d4-b653-325c901a9894","year":2026},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"´Alvarez-C´ onsul and O","work_id":"c454e293-c2ad-432f-9be7-1f616c51e8c7","year":2003},{"cited_arxiv_id":"math/0112161","doi":"","is_internal_anchor":true,"ref_index":3,"title":"Hitchin-Kobayashi correspondence, quivers, and vortices","work_id":"a118683c-eb44-4518-a236-484d817a4b90","year":2001},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"B. Anchouche, I. Biswas,Einstein-Hermitian connections on polystable principal bundles over a compact K¨ ahler manifold, American Journal of Mathematics.123(2)(2001), 207–228","work_id":"b829b207-09d9-4e09-8df9-904d1012dec6","year":2001},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"I. Biswas and G. Schumacher,Yang-Mills equation for stable Higgs sheaves, Int. J. Math.20(2009), 541–556","work_id":"f1999491-e8d9-423e-a09a-16eca618bf1b","year":2009}],"snapshot_sha256":"b735c585a014ecea713c9761bfa9547d193eca93990eb833e6aea4fa78fd01a2"},"source":{"id":"2605.13657","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T17:49:19.381209Z","id":"b8cf422e-e90f-4045-9f88-1bedefb8e1ae","model_set":{"reader":"grok-4.3"},"one_line_summary":"Infinitesimal automorphisms of L-valued G-Higgs bundles are computed, proving the stable moduli stack is Deligne-Mumford for semisimple G and yielding a symmetric perfect obstruction theory on surfaces when L = K_X.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The moduli stack of stable L-valued G-Higgs bundles is Deligne-Mumford when G is semisimple.","strongest_claim":"when G is semisimple and X is a smooth projective variety, we show that the moduli stack of stable L-valued G-Higgs bundles is a Deligne-Mumford (DM) stack. Furthermore, when X is a smooth projective surface and L=K_X, we construct a symmetric perfect obstruction theory on this stable locus.","weakest_assumption":"The computation of infinitesimal automorphisms for arbitrary L-valued bundles extends without additional restrictions from the known Ω¹_X case, and the stability condition is compatible with the stack structure in the required way; these steps are invoked but not detailed in the abstract."}},"verdict_id":"b8cf422e-e90f-4045-9f88-1bedefb8e1ae"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f60fd67603d82335273e2d984f16419acce2db29386c196561f5a3df64192471","target":"record","created_at":"2026-05-18T02:44:17Z","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":"cfb3462b57fa2846b24dfcf8d6025096dd768ef7d16a5fff7df0526614fa41f4","cross_cats_sorted":["math.DG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T15:15:29Z","title_canon_sha256":"eb1e7a701f20c05a19da4d43c52fdcea6672fefabac1a7158e200c7a42ef9da0"},"schema_version":"1.0","source":{"id":"2605.13657","kind":"arxiv","version":1}},"canonical_sha256":"98ff59914ea48720f7a7f0ddd49753fe7b6bff7a841d2b28df1ed10f26e81090","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98ff59914ea48720f7a7f0ddd49753fe7b6bff7a841d2b28df1ed10f26e81090","first_computed_at":"2026-05-18T02:44:17.374302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:17.374302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B+Y6KnP24LotoOv+SXK5v6O57Ks16vZci/j1Wn98syJWcPdHJy8Bt2Ux3c6LbZZVZMwgcblXRtkHniO9LfxmAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:17.374736Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13657","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f60fd67603d82335273e2d984f16419acce2db29386c196561f5a3df64192471","sha256:f6f54e0298a8e84adc957157ab35a5d572562f80e5acf813fc845fbc77f20f52"],"state_sha256":"e8ebd6b84acd2ae3407fc71c9a067780c7f090e99e8728648936a3e7a9b4745f"}