{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GEQ2ZPOOSAPSWOA27UUF5N6S2T","short_pith_number":"pith:GEQ2ZPOO","canonical_record":{"source":{"id":"2503.13157","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-03-17T13:30:33Z","cross_cats_sorted":[],"title_canon_sha256":"3ae061ba4535abe9b0ccb4c3f2c5905132463f06e1d600819b826b979c766960","abstract_canon_sha256":"eb8532fa9cd6575c89761d7531a2d719ccb4575292a18abfef51592f05d78dd9"},"schema_version":"1.0"},"canonical_sha256":"3121acbdce901f2b381afd285eb7d2d4e16f565b6f6f1205900a5928220b1d9c","source":{"kind":"arxiv","id":"2503.13157","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.13157","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"2503.13157v4","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.13157","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"GEQ2ZPOOSAPS","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_16","alias_value":"GEQ2ZPOOSAPSWOA2","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_8","alias_value":"GEQ2ZPOO","created_at":"2026-06-02T02:04:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GEQ2ZPOOSAPSWOA27UUF5N6S2T","target":"record","payload":{"canonical_record":{"source":{"id":"2503.13157","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-03-17T13:30:33Z","cross_cats_sorted":[],"title_canon_sha256":"3ae061ba4535abe9b0ccb4c3f2c5905132463f06e1d600819b826b979c766960","abstract_canon_sha256":"eb8532fa9cd6575c89761d7531a2d719ccb4575292a18abfef51592f05d78dd9"},"schema_version":"1.0"},"canonical_sha256":"3121acbdce901f2b381afd285eb7d2d4e16f565b6f6f1205900a5928220b1d9c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T02:04:05.418021Z","signature_b64":"iuHMl18fptCw7ppgxZZ+T3E5LMB5mp3qFpNMRV24q7O/s6nNkaW9YlGN0KWpHlnkG4SOtPn5wh0neLjFO0PQAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3121acbdce901f2b381afd285eb7d2d4e16f565b6f6f1205900a5928220b1d9c","last_reissued_at":"2026-06-02T02:04:05.417440Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T02:04:05.417440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.13157","source_version":4,"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-06-02T02:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k0t3DrNvgQDQtOvKCJj0g832sbDF6Z7jWCfTSKHVvdvWD3hkaUhplOM4BuudH2Qf7cd4eJsV3fZSN02BW6U4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:04:47.276447Z"},"content_sha256":"35588b0c18c236797cfa5c50e250c5eaafccf89d5f73656135062d437709649f","schema_version":"1.0","event_id":"sha256:35588b0c18c236797cfa5c50e250c5eaafccf89d5f73656135062d437709649f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GEQ2ZPOOSAPSWOA27UUF5N6S2T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Topics in higher ramification theory I","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","cross_cats":[],"primary_cat":"math.AC","authors_text":"Franz-Viktor Kuhlmann","submitted_at":"2025-03-17T13:30:33Z","abstract_excerpt":"We introduce and study the notion of ramification ideals in higher ramification theory. After general results on their computation for finite extensions, we discuss their connection with the possibly nontrivial defect of the extensions. We compute them for Artin-Schreier extensions and Kummer extensions of prime degree equal to the residue characteristic, which may or may not have nontrivial defect. We present an example that shows that nontrivial defect in an extension of degree $p^2$, $p$ a prime, may not imply the existence of a nonprincipal ramification ideal."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The general results on computation of ramification ideals and their connection to defect are valid in the setting of valued fields with residue characteristic p, as assumed in the standard framework of higher ramification theory.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Introduces ramification ideals in higher ramification theory, computes them for Artin-Schreier and Kummer extensions of prime degree p equal to residue characteristic with or without defect, and shows an example where nontrivial defect in non-prime degree extension need not produce a nonprincipalram","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"baee934285d36137a870f3095bda9b3f2f63ebc1a642abcddcaa525129b68177"},"source":{"id":"2503.13157","kind":"arxiv","version":4},"verdict":{"id":"463f7bc7-c7cc-4e24-ba36-9c72f09244ba","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-22T23:38:05.550102Z","strongest_claim":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","one_line_summary":"Introduces ramification ideals in higher ramification theory, computes them for Artin-Schreier and Kummer extensions of prime degree p equal to residue characteristic with or without defect, and shows an example where nontrivial defect in non-prime degree extension need not produce a nonprincipalram","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The general results on computation of ramification ideals and their connection to defect are valid in the setting of valued fields with residue characteristic p, as assumed in the standard framework of higher ramification theory.","pith_extraction_headline":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.13157/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":2,"snapshot_sha256":"b792a1ea724ff9d14a893337fcc88293908df766e5dcd0af7efba3042d2a094d"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"463f7bc7-c7cc-4e24-ba36-9c72f09244ba"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-02T02:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y/dlqvH4MX6k6v5I2TDuPkXeBywxuzWuqrN6Pfgld7GCuWZZ2h0sPUQvYMupiUHvvW057sGi6a2clVcRLVc2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:04:47.277378Z"},"content_sha256":"0d54e669b486da7adb6fce0348136947f31c28ad78c68077d18d4399776fd990","schema_version":"1.0","event_id":"sha256:0d54e669b486da7adb6fce0348136947f31c28ad78c68077d18d4399776fd990"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/bundle.json","state_url":"https://pith.science/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/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-07T23:04:47Z","links":{"resolver":"https://pith.science/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T","bundle":"https://pith.science/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/bundle.json","state":"https://pith.science/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GEQ2ZPOOSAPSWOA27UUF5N6S2T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GEQ2ZPOOSAPSWOA27UUF5N6S2T","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":"eb8532fa9cd6575c89761d7531a2d719ccb4575292a18abfef51592f05d78dd9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-03-17T13:30:33Z","title_canon_sha256":"3ae061ba4535abe9b0ccb4c3f2c5905132463f06e1d600819b826b979c766960"},"schema_version":"1.0","source":{"id":"2503.13157","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.13157","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"2503.13157v4","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.13157","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"GEQ2ZPOOSAPS","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_16","alias_value":"GEQ2ZPOOSAPSWOA2","created_at":"2026-06-02T02:04:05Z"},{"alias_kind":"pith_short_8","alias_value":"GEQ2ZPOO","created_at":"2026-06-02T02:04:05Z"}],"graph_snapshots":[{"event_id":"sha256:0d54e669b486da7adb6fce0348136947f31c28ad78c68077d18d4399776fd990","target":"graph","created_at":"2026-06-02T02:04:05Z","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":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The general results on computation of ramification ideals and their connection to defect are valid in the setting of valued fields with residue characteristic p, as assumed in the standard framework of higher ramification theory."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Introduces ramification ideals in higher ramification theory, computes them for Artin-Schreier and Kummer extensions of prime degree p equal to residue characteristic with or without defect, and shows an example where nontrivial defect in non-prime degree extension need not produce a nonprincipalram"},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal."}],"snapshot_sha256":"baee934285d36137a870f3095bda9b3f2f63ebc1a642abcddcaa525129b68177"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"b792a1ea724ff9d14a893337fcc88293908df766e5dcd0af7efba3042d2a094d"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.13157/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce and study the notion of ramification ideals in higher ramification theory. After general results on their computation for finite extensions, we discuss their connection with the possibly nontrivial defect of the extensions. We compute them for Artin-Schreier extensions and Kummer extensions of prime degree equal to the residue characteristic, which may or may not have nontrivial defect. We present an example that shows that nontrivial defect in an extension of degree $p^2$, $p$ a prime, may not imply the existence of a nonprincipal ramification ideal.","authors_text":"Franz-Viktor Kuhlmann","cross_cats":[],"headline":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-03-17T13:30:33Z","title":"Topics in higher ramification theory I"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.13157","kind":"arxiv","version":4},"verdict":{"created_at":"2026-05-22T23:38:05.550102Z","id":"463f7bc7-c7cc-4e24-ba36-9c72f09244ba","model_set":{"reader":"grok-4.3"},"one_line_summary":"Introduces ramification ideals in higher ramification theory, computes them for Artin-Schreier and Kummer extensions of prime degree p equal to residue characteristic with or without defect, and shows an example where nontrivial defect in non-prime degree extension need not produce a nonprincipalram","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","strongest_claim":"Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.","weakest_assumption":"The general results on computation of ramification ideals and their connection to defect are valid in the setting of valued fields with residue characteristic p, as assumed in the standard framework of higher ramification theory."}},"verdict_id":"463f7bc7-c7cc-4e24-ba36-9c72f09244ba"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:35588b0c18c236797cfa5c50e250c5eaafccf89d5f73656135062d437709649f","target":"record","created_at":"2026-06-02T02:04:05Z","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":"eb8532fa9cd6575c89761d7531a2d719ccb4575292a18abfef51592f05d78dd9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-03-17T13:30:33Z","title_canon_sha256":"3ae061ba4535abe9b0ccb4c3f2c5905132463f06e1d600819b826b979c766960"},"schema_version":"1.0","source":{"id":"2503.13157","kind":"arxiv","version":4}},"canonical_sha256":"3121acbdce901f2b381afd285eb7d2d4e16f565b6f6f1205900a5928220b1d9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3121acbdce901f2b381afd285eb7d2d4e16f565b6f6f1205900a5928220b1d9c","first_computed_at":"2026-06-02T02:04:05.417440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T02:04:05.417440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iuHMl18fptCw7ppgxZZ+T3E5LMB5mp3qFpNMRV24q7O/s6nNkaW9YlGN0KWpHlnkG4SOtPn5wh0neLjFO0PQAQ==","signature_status":"signed_v1","signed_at":"2026-06-02T02:04:05.418021Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.13157","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35588b0c18c236797cfa5c50e250c5eaafccf89d5f73656135062d437709649f","sha256:0d54e669b486da7adb6fce0348136947f31c28ad78c68077d18d4399776fd990"],"state_sha256":"e787001532d3cf9561f4e7d4a8d2e83242524fd040c1b52e38e7630c1f1dc8f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GoagPIcMKuyEHq2WgAFM7v0lV/mOmqmtGXpMvk9rVXiWByNo9Ap7tP0LkdxVea3KTNiJLsYB7ExjBsh8nYJmCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T23:04:47.281766Z","bundle_sha256":"f6d9aa8f038cac370fe413ac4cb772191755df02531ec3eeddb1318d4310f0d1"}}