{"paper":{"title":"Gersten's Injectivity for Smooth Algebras over Valuation Rings","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["math.KT"],"primary_cat":"math.AG","authors_text":"Arnab Kundu","submitted_at":"2024-04-09T23:43:31Z","abstract_excerpt":"Gersten's injectivity conjecture for a functor $F$ of ``motivic type'', predicts that given a semilocal, ``non-singular'', integral domain $R$ with a fraction field $K$, the restriction morphism induces an injection of $F(R)$ inside $F(K)$. We prove two new cases of this conjecture for smooth algebras over valuation rings. Namely, we show that the higher algebraic $K$-groups of a semilocal, integral domain that is an essentially smooth algebra over an equicharacteristic valuation ring inject inside the same of its fraction field. Secondly, we show that Gersten's injectivity is true for smooth "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.06655","kind":"arxiv","version":1},"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/2404.06655/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"}