Lifting tropical intersections (Q1946065)

Tropicalizations of algebraic varieties are combinatorial objects that offer new approaches for the study of algebraic geometry. The tropicalization of an intersection is contained in the intersection of the tropicalizations, but in general it is not equal. This fact is responsible e.g.\ for the need to study tropical bases for ideals. In [\textit{T. Bogart} et al., J. Symb. Comput. 42, No. 1--2, 54--73 (2007; Zbl 1121.14051)], the transverse intersection lemma states that equality holds if the tropicalizations intersect transverse. This paper is devoted to the question of how we can relax this strong requirement while upholding the equality. One result is that an intersection in the expected dimension (but not necessarily transversaly) is already enough.