2016/06/14 by Xiang He, He, Xiang · 1 citation
Computer Science · Mathematics · #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1606.04455
openalex publication_date 2016/06/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let X and X' be closed subschemes of an algebraic torus T over a non-archimedean field. We prove the rational equivalence as tropical cycles, in the sense of Henning Meyer's graduate thesis, between the tropicalization of the intersection product of X and X' and the stable intersection of trop(X) and trop(X'), when restricted to (the inverse image under the tropicalization map of) a connected component C of the intersection of trop(X) and trop(X'). This requires possibly passing to a (partial) compactification of T with respect to a suitable fan. We define the compactified stable intersection in a toric tropical variety, and check that this definition is compatible with the intersection product in loc.cit.. As a result we get a numerical equivalence (after a compactification and restricting to C) between the intersection product of X and X' and the stable intersection of trop(X) and trop(X') via the compactified stable intersection. In particular, when X and X' have complementary codimensions, this equivalence generalizes the work of Osserman and Rabinoff, in the sense that the intersection of X and X' is allowed to be of positive dimension. Moreover, if the intersection of the closures of X and X' has finitely many points which tropicalize to the closure of C, we prove a similar equation as in Theorem 6.4 of the paper of Osserman and Rabinoff when the ambient space is a reduced closed subscheme of T (instead of T itself).