Proposition 1.4.3 ( [ MN15 , Proposition 2.4.4] ). [04MM]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Proposition 1.4.3 ([MN15, Proposition 2.4.4]).
Let be a dlt model of , with special fiber .
Let such that is non-empty, and a connected component of , with generic point .
We furthermore fix a local equation for , for any .
Then, for any , there exists a unique valuation
such that for every , with expansion (with either zero or unit), we have:
where is the usual scalar product on .