Lifting tropical intersections

Brian Osserman ; Sam Payne

Documenta mathematica, Tome 18 (2013), pp. 121-175

Résumé

We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of rank 1. In particular, we prove subadditivity of codimension and a principle of continuity for intersections in smooth schemes over such rings, generalizing well-known theorems over regular local rings. An appendix on the topology of finite type morphisms may also be of independent interest.

Détail

DOI : 10.4171/dm/394

Classification : 14A15, 14C17, 14M25
Mots-clés : tropical geometry, intersection theory, schemes over valuation rings