{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PE4226REANOT64JAKAGK35RG7C","short_pith_number":"pith:PE4226RE","canonical_record":{"source":{"id":"2605.11988","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2026-05-12T11:39:18Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"30e52ec84c1515396f9c04a476881e57d507770571b7bbc3b5ae54b502e5b28c","abstract_canon_sha256":"0b01000c3174e09f03d5aaefdb5b37bfb8c72123cbf21126cff7483e86e59606"},"schema_version":"1.0"},"canonical_sha256":"7939ad7a24035d3f7120500cadf626f8b43c2a264728fd097e01b3da31bf7664","source":{"kind":"arxiv","id":"2605.11988","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.11988","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.11988v2","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.11988","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"PE4226REANOT","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"PE4226REANOT64JA","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"PE4226RE","created_at":"2026-05-22T01:04:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PE4226REANOT64JAKAGK35RG7C","target":"record","payload":{"canonical_record":{"source":{"id":"2605.11988","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2026-05-12T11:39:18Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"30e52ec84c1515396f9c04a476881e57d507770571b7bbc3b5ae54b502e5b28c","abstract_canon_sha256":"0b01000c3174e09f03d5aaefdb5b37bfb8c72123cbf21126cff7483e86e59606"},"schema_version":"1.0"},"canonical_sha256":"7939ad7a24035d3f7120500cadf626f8b43c2a264728fd097e01b3da31bf7664","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:06.105074Z","signature_b64":"BgWUqXxSn/PAYgRKgxJpfpeE+z9S2LqC9ocuaVL7OibjCgcHqP/PWnOl7K7yEOHzanNQRpBYIxVP4VGso0l7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7939ad7a24035d3f7120500cadf626f8b43c2a264728fd097e01b3da31bf7664","last_reissued_at":"2026-05-22T01:04:06.104354Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:06.104354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.11988","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-22T01:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vaHTLgw63muwrqXRf+hd7li9PyVtMJ8FkHqwt6yBDLya2on0YRVTBarChscUkwifPINlA4IXPtUQtZXPEMAUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:56:23.028792Z"},"content_sha256":"ef50d41ddd40ee476eaf40d4276f3b6a3fd1901d1ff1b8879d338accaa942890","schema_version":"1.0","event_id":"sha256:ef50d41ddd40ee476eaf40d4276f3b6a3fd1901d1ff1b8879d338accaa942890"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PE4226REANOT64JAKAGK35RG7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Alperin's Main Problem of Block Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups.","cross_cats":["math.GR"],"primary_cat":"math.RT","authors_text":"Alexander Moret\\'o","submitted_at":"2026-05-12T11:39:18Z","abstract_excerpt":"This paper proposes a conjectural framework for Alperin's Main Problem of Block Theory from 1976. The character sets considered here are defined by nonvanishing at given elements, not only by degree conditions. From this point of view, McKay's conjecture is usually recovered as a first degree-level consequence. The guiding idea is that the right local objects governing character values are not, in general, the sets ${\\rm Irr}_{p'}(G)$ and the normalizers of Sylow $p$-subgroups, but rather the sets ${\\rm Irr}^x(G)$ of irreducible characters not vanishing at a given element $x$, together with th"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The right local objects governing character values are not, in general, the sets Irr_{p'}(G) and the normalizers of Sylow p-subgroups, but rather the sets Irr^x(G) of irreducible characters not vanishing at a given element x, together with the subnormalizer subgroup Sub_G(x).","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the newly defined sets Irr^x(G) and subgroups Sub_G(x) actually control character values in the manner required by the stated conjectures, an assumption that is only verified in selected families rather than derived from prior established results.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The paper introduces a conjectural framework for Alperin's Main Problem using Irr^x(G) character sets non-vanishing at given elements and Sub_G(x) subnormalizers, recovering McKay's conjecture and verifying the main statements for simple groups with TI Sylow p-subgroups.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"88ffa61f147ad92e0918b2646bbb59f1240916f8b6fef142628c754f4068ba51"},"source":{"id":"2605.11988","kind":"arxiv","version":2},"verdict":{"id":"e59596ec-042b-482c-b24e-a6016ec97b75","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-13T04:16:17.184820Z","strongest_claim":"The right local objects governing character values are not, in general, the sets Irr_{p'}(G) and the normalizers of Sylow p-subgroups, but rather the sets Irr^x(G) of irreducible characters not vanishing at a given element x, together with the subnormalizer subgroup Sub_G(x).","one_line_summary":"The paper introduces a conjectural framework for Alperin's Main Problem using Irr^x(G) character sets non-vanishing at given elements and Sub_G(x) subnormalizers, recovering McKay's conjecture and verifying the main statements for simple groups with TI Sylow p-subgroups.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the newly defined sets Irr^x(G) and subgroups Sub_G(x) actually control character values in the manner required by the stated conjectures, an assumption that is only verified in selected families rather than derived from prior established results.","pith_extraction_headline":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.11988/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-20T17:31:26.654958Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-20T11:55:28.718568Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-20T03:22:00.141662Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T11:34:43.186062Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"85b94b0b3f155ee32bc6bd8ab2c1c3fe2c0b86c3fccc4924aafa3455e29cc738"},"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":"e59596ec-042b-482c-b24e-a6016ec97b75"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T01:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EASeMXrNQE6m4+pEo4bcvg6XsTvt7Ko6Wlso+pk+32Y2I7PEni4vB3ozPtMEv+l6sz3JRf45fXVqot4Bx3oQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:56:23.029826Z"},"content_sha256":"4c478be4a60b4bf71ea150a51d7a92ea09d52e66f1502594a83cb767a5629781","schema_version":"1.0","event_id":"sha256:4c478be4a60b4bf71ea150a51d7a92ea09d52e66f1502594a83cb767a5629781"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PE4226REANOT64JAKAGK35RG7C/bundle.json","state_url":"https://pith.science/pith/PE4226REANOT64JAKAGK35RG7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PE4226REANOT64JAKAGK35RG7C/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-05-25T19:56:23Z","links":{"resolver":"https://pith.science/pith/PE4226REANOT64JAKAGK35RG7C","bundle":"https://pith.science/pith/PE4226REANOT64JAKAGK35RG7C/bundle.json","state":"https://pith.science/pith/PE4226REANOT64JAKAGK35RG7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PE4226REANOT64JAKAGK35RG7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PE4226REANOT64JAKAGK35RG7C","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":"0b01000c3174e09f03d5aaefdb5b37bfb8c72123cbf21126cff7483e86e59606","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2026-05-12T11:39:18Z","title_canon_sha256":"30e52ec84c1515396f9c04a476881e57d507770571b7bbc3b5ae54b502e5b28c"},"schema_version":"1.0","source":{"id":"2605.11988","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.11988","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.11988v2","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.11988","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"PE4226REANOT","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"PE4226REANOT64JA","created_at":"2026-05-22T01:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"PE4226RE","created_at":"2026-05-22T01:04:06Z"}],"graph_snapshots":[{"event_id":"sha256:4c478be4a60b4bf71ea150a51d7a92ea09d52e66f1502594a83cb767a5629781","target":"graph","created_at":"2026-05-22T01:04:06Z","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":"The right local objects governing character values are not, in general, the sets Irr_{p'}(G) and the normalizers of Sylow p-subgroups, but rather the sets Irr^x(G) of irreducible characters not vanishing at a given element x, together with the subnormalizer subgroup Sub_G(x)."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the newly defined sets Irr^x(G) and subgroups Sub_G(x) actually control character values in the manner required by the stated conjectures, an assumption that is only verified in selected families rather than derived from prior established results."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The paper introduces a conjectural framework for Alperin's Main Problem using Irr^x(G) character sets non-vanishing at given elements and Sub_G(x) subnormalizers, recovering McKay's conjecture and verifying the main statements for simple groups with TI Sylow p-subgroups."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups."}],"snapshot_sha256":"88ffa61f147ad92e0918b2646bbb59f1240916f8b6fef142628c754f4068ba51"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-20T17:31:26.654958Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-20T11:55:28.718568Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-20T03:22:00.141662Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T11:34:43.186062Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.11988/integrity.json","findings":[],"snapshot_sha256":"85b94b0b3f155ee32bc6bd8ab2c1c3fe2c0b86c3fccc4924aafa3455e29cc738","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper proposes a conjectural framework for Alperin's Main Problem of Block Theory from 1976. The character sets considered here are defined by nonvanishing at given elements, not only by degree conditions. From this point of view, McKay's conjecture is usually recovered as a first degree-level consequence. The guiding idea is that the right local objects governing character values are not, in general, the sets ${\\rm Irr}_{p'}(G)$ and the normalizers of Sylow $p$-subgroups, but rather the sets ${\\rm Irr}^x(G)$ of irreducible characters not vanishing at a given element $x$, together with th","authors_text":"Alexander Moret\\'o","cross_cats":["math.GR"],"headline":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2026-05-12T11:39:18Z","title":"Alperin's Main Problem of Block Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.11988","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-13T04:16:17.184820Z","id":"e59596ec-042b-482c-b24e-a6016ec97b75","model_set":{"reader":"grok-4.3"},"one_line_summary":"The paper introduces a conjectural framework for Alperin's Main Problem using Irr^x(G) character sets non-vanishing at given elements and Sub_G(x) subnormalizers, recovering McKay's conjecture and verifying the main statements for simple groups with TI Sylow p-subgroups.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups.","strongest_claim":"The right local objects governing character values are not, in general, the sets Irr_{p'}(G) and the normalizers of Sylow p-subgroups, but rather the sets Irr^x(G) of irreducible characters not vanishing at a given element x, together with the subnormalizer subgroup Sub_G(x).","weakest_assumption":"That the newly defined sets Irr^x(G) and subgroups Sub_G(x) actually control character values in the manner required by the stated conjectures, an assumption that is only verified in selected families rather than derived from prior established results."}},"verdict_id":"e59596ec-042b-482c-b24e-a6016ec97b75"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ef50d41ddd40ee476eaf40d4276f3b6a3fd1901d1ff1b8879d338accaa942890","target":"record","created_at":"2026-05-22T01:04:06Z","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":"0b01000c3174e09f03d5aaefdb5b37bfb8c72123cbf21126cff7483e86e59606","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2026-05-12T11:39:18Z","title_canon_sha256":"30e52ec84c1515396f9c04a476881e57d507770571b7bbc3b5ae54b502e5b28c"},"schema_version":"1.0","source":{"id":"2605.11988","kind":"arxiv","version":2}},"canonical_sha256":"7939ad7a24035d3f7120500cadf626f8b43c2a264728fd097e01b3da31bf7664","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7939ad7a24035d3f7120500cadf626f8b43c2a264728fd097e01b3da31bf7664","first_computed_at":"2026-05-22T01:04:06.104354Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:06.104354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BgWUqXxSn/PAYgRKgxJpfpeE+z9S2LqC9ocuaVL7OibjCgcHqP/PWnOl7K7yEOHzanNQRpBYIxVP4VGso0l7DQ==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:06.105074Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.11988","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef50d41ddd40ee476eaf40d4276f3b6a3fd1901d1ff1b8879d338accaa942890","sha256:4c478be4a60b4bf71ea150a51d7a92ea09d52e66f1502594a83cb767a5629781"],"state_sha256":"5dfa2b6822f49b306ddf65f5f91f63530aa5305a4abf0cde2c0fdc6be3589aa9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wilbFK9trGSsPrXGu7pME36MvEPbYDzVrVikE3VVfxc9opekhPSJ7ih6mu7NfgVkH0Hakm3BO1UejvsnXJn7Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:56:23.034257Z","bundle_sha256":"effde9e72edbf0531fe9f760d80ba16af1117ced8c03e49c391b75c78a2de314"}}