{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VRCRJ63OPXZBS4V56UWCOR4GXK","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":"83a3952546fb0a3aa2c512f6fd7e04f2f11d14fb3d7153d13675c9deb2686ec5","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-03-19T17:53:35Z","title_canon_sha256":"99ec0c25400fdf830b4b1c86cfbfcf3f566f8ac06aa042a8e4a6fecccdfdc984"},"schema_version":"1.0","source":{"id":"1703.06479","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06479","created_at":"2026-05-18T00:46:07Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06479v2","created_at":"2026-05-18T00:46:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06479","created_at":"2026-05-18T00:46:07Z"},{"alias_kind":"pith_short_12","alias_value":"VRCRJ63OPXZB","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VRCRJ63OPXZBS4V5","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VRCRJ63O","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:95938c3a64a37e560fd0123424ae70758d89aa0eb4995adcafc4241064a7838f","target":"graph","created_at":"2026-05-18T00:46:07Z","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"},"paper":{"abstract_excerpt":"In differential algebra, a proper scheme $X$ defined over an algebraically closed field $K$ with a derivation $\\partial$ on it descends to the field of constants $K^\\partial$ if $X$ itself lifts the derivation $\\partial$. This is a result by A. Buium. Now in the arithmetic case, the notion of a derivation is replaced by the notion of a $\\pi$-derivation $\\delta$ or equivalently in the flat case, a lift of Frobenius $\\phi$. We will show an analogous result in the arithmetic case of equal characteristic. We show our results using the arithmetic analogue of Taylor expansion using Witt vectors.","authors_text":"Arnab Saha","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-03-19T17:53:35Z","title":"Lift of Frobenius and Descent to Constants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06479","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:fda8a77f284e12b51d70e3312123848a8e86dcba5db7b030dd4d1af5dbbcc21d","target":"record","created_at":"2026-05-18T00:46:07Z","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":"83a3952546fb0a3aa2c512f6fd7e04f2f11d14fb3d7153d13675c9deb2686ec5","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-03-19T17:53:35Z","title_canon_sha256":"99ec0c25400fdf830b4b1c86cfbfcf3f566f8ac06aa042a8e4a6fecccdfdc984"},"schema_version":"1.0","source":{"id":"1703.06479","kind":"arxiv","version":2}},"canonical_sha256":"ac4514fb6e7df21972bdf52c274786bab8aa28a4bd1eb367b6e719801d657e7b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac4514fb6e7df21972bdf52c274786bab8aa28a4bd1eb367b6e719801d657e7b","first_computed_at":"2026-05-18T00:46:07.524241Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:07.524241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tE1jN59w50zQFFvKyamb4byyQplCjbmKJ2BKxkjUGNwzG7I75hUXz2EDibHjATprM+ndbm8n7vMukdMRg3OtBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:07.524674Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.06479","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fda8a77f284e12b51d70e3312123848a8e86dcba5db7b030dd4d1af5dbbcc21d","sha256:95938c3a64a37e560fd0123424ae70758d89aa0eb4995adcafc4241064a7838f"],"state_sha256":"b88263d5cbf48b5d493b69f4b0716c86b7d976e0b6570bbc594840241fd0f05e"}