{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:MJ7TSYH7AM3A2NQSBC4QSMKPUT","short_pith_number":"pith:MJ7TSYH7","canonical_record":{"source":{"id":"2104.09475","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2021-04-19T17:35:57Z","cross_cats_sorted":["math.AG","math.NT"],"title_canon_sha256":"9c63b5fbd07429cf457c9ac80d0e660044e967cf6a573a9a64c8ae467f50903b","abstract_canon_sha256":"cff92f28e3cbd2fb20091691ef94452b4d4c7557d887868f737b6fccdfeffe1d"},"schema_version":"1.0"},"canonical_sha256":"627f3960ff03360d361208b909314fa4e2dcd860a06419170f5300830cbf64fb","source":{"kind":"arxiv","id":"2104.09475","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.09475","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"arxiv_version","alias_value":"2104.09475v2","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.09475","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_12","alias_value":"MJ7TSYH7AM3A","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_16","alias_value":"MJ7TSYH7AM3A2NQS","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_8","alias_value":"MJ7TSYH7","created_at":"2026-07-05T06:48:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:MJ7TSYH7AM3A2NQSBC4QSMKPUT","target":"record","payload":{"canonical_record":{"source":{"id":"2104.09475","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2021-04-19T17:35:57Z","cross_cats_sorted":["math.AG","math.NT"],"title_canon_sha256":"9c63b5fbd07429cf457c9ac80d0e660044e967cf6a573a9a64c8ae467f50903b","abstract_canon_sha256":"cff92f28e3cbd2fb20091691ef94452b4d4c7557d887868f737b6fccdfeffe1d"},"schema_version":"1.0"},"canonical_sha256":"627f3960ff03360d361208b909314fa4e2dcd860a06419170f5300830cbf64fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:48:29.480302Z","signature_b64":"TGtS8I7IiOx8YZF/2HTiR3G8Ix1SjzzHeUWK7TpNBKtEi7gsWBMNEMWdUwXkqmd2pqhI7iI9B0zCbmm5L/1yAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"627f3960ff03360d361208b909314fa4e2dcd860a06419170f5300830cbf64fb","last_reissued_at":"2026-07-05T06:48:29.479807Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:48:29.479807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.09475","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-07-05T06:48:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pKrqkkgs+pJJ1/5+iry8n+h0hTEok3mtGsZ+4bICkcrmpkBGg7frxafta8HstUEBwCC5FAAEQFmY8Pkt8EdZAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T12:21:45.645809Z"},"content_sha256":"580ba4fd5199ade2c3700721a1259aa5562ab53cd2789ac93d86302c40c54785","schema_version":"1.0","event_id":"sha256:580ba4fd5199ade2c3700721a1259aa5562ab53cd2789ac93d86302c40c54785"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:MJ7TSYH7AM3A2NQSBC4QSMKPUT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hensel minimality II: Mixed characteristic and a diophantine application","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.AG","math.NT"],"primary_cat":"math.LO","authors_text":"Floris Vermeulen, Immanuel Halupczok, Raf Cluckers, Silvain Rideau-Kikuchi","submitted_at":"2021-04-19T17:35:57Z","abstract_excerpt":"In this paper together with the preceding Part I \\cite{CHR}, we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to \\cite{CHR} the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.09475","kind":"arxiv","version":2},"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/2104.09475/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T06:48:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lKII3upgmuRVZQ+E22I+CBiIIf00GG4oMaj+N/btfXxND83orshDuTSP2rnLV9t55DCUQNL4sUPMvkJXonsCBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T12:21:45.646544Z"},"content_sha256":"ac184d6360cafe1ab27921031e0de3f30ebfd084f02a9ea93425fd0bc09daf4e","schema_version":"1.0","event_id":"sha256:ac184d6360cafe1ab27921031e0de3f30ebfd084f02a9ea93425fd0bc09daf4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/bundle.json","state_url":"https://pith.science/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/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-08-21T12:21:45Z","links":{"resolver":"https://pith.science/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT","bundle":"https://pith.science/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/bundle.json","state":"https://pith.science/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MJ7TSYH7AM3A2NQSBC4QSMKPUT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:MJ7TSYH7AM3A2NQSBC4QSMKPUT","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":"cff92f28e3cbd2fb20091691ef94452b4d4c7557d887868f737b6fccdfeffe1d","cross_cats_sorted":["math.AG","math.NT"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2021-04-19T17:35:57Z","title_canon_sha256":"9c63b5fbd07429cf457c9ac80d0e660044e967cf6a573a9a64c8ae467f50903b"},"schema_version":"1.0","source":{"id":"2104.09475","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.09475","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"arxiv_version","alias_value":"2104.09475v2","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.09475","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_12","alias_value":"MJ7TSYH7AM3A","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_16","alias_value":"MJ7TSYH7AM3A2NQS","created_at":"2026-07-05T06:48:29Z"},{"alias_kind":"pith_short_8","alias_value":"MJ7TSYH7","created_at":"2026-07-05T06:48:29Z"}],"graph_snapshots":[{"event_id":"sha256:ac184d6360cafe1ab27921031e0de3f30ebfd084f02a9ea93425fd0bc09daf4e","target":"graph","created_at":"2026-07-05T06:48:29Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2104.09475/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper together with the preceding Part I \\cite{CHR}, we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to \\cite{CHR} the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a ","authors_text":"Floris Vermeulen, Immanuel Halupczok, Raf Cluckers, Silvain Rideau-Kikuchi","cross_cats":["math.AG","math.NT"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2021-04-19T17:35:57Z","title":"Hensel minimality II: Mixed characteristic and a diophantine application"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.09475","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:580ba4fd5199ade2c3700721a1259aa5562ab53cd2789ac93d86302c40c54785","target":"record","created_at":"2026-07-05T06:48:29Z","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":"cff92f28e3cbd2fb20091691ef94452b4d4c7557d887868f737b6fccdfeffe1d","cross_cats_sorted":["math.AG","math.NT"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2021-04-19T17:35:57Z","title_canon_sha256":"9c63b5fbd07429cf457c9ac80d0e660044e967cf6a573a9a64c8ae467f50903b"},"schema_version":"1.0","source":{"id":"2104.09475","kind":"arxiv","version":2}},"canonical_sha256":"627f3960ff03360d361208b909314fa4e2dcd860a06419170f5300830cbf64fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"627f3960ff03360d361208b909314fa4e2dcd860a06419170f5300830cbf64fb","first_computed_at":"2026-07-05T06:48:29.479807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:48:29.479807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TGtS8I7IiOx8YZF/2HTiR3G8Ix1SjzzHeUWK7TpNBKtEi7gsWBMNEMWdUwXkqmd2pqhI7iI9B0zCbmm5L/1yAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:48:29.480302Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.09475","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:580ba4fd5199ade2c3700721a1259aa5562ab53cd2789ac93d86302c40c54785","sha256:ac184d6360cafe1ab27921031e0de3f30ebfd084f02a9ea93425fd0bc09daf4e"],"state_sha256":"6411ab02015915a7650c7f46a93ab269426bbd6ab1702f55d0d65ad55bf606cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nYqqiuArL0tZlR2bpMGRptQ77KJ0RsvjCev4AAo53NaR57GI3G1Fh8tYVCO6rfNKnVLK4B6SW8usx3X/nsvODg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T12:21:45.653456Z","bundle_sha256":"653112c182417df4564ef11d68847ba05c4cb975a98b3404bcda941dd2c863d1"}}