Tropical compactification in log-regular varieties (Q2349891)

Let \(k\) be an algebraically closed field. For the definition of a log-regular variety see~[\textit{K. Kato}, Am. J. Math. 116, No. 5, 1073--1099 (1994; Zbl 0832.14002)]. It contains an open dense subset \(X_0 \subseteq X\) whose complement has at most toroidal singularities and a stratification by locally closed subsets. To a log-regular variety, there is canonically associated a rational polyhedral cone complex \(\Sigma_X\). Let \(Y \subseteq X_0\) be a closed subvariety. The author constructs a so-called tropical variety \(\mathrm{Trop}_X(Y)\) associated to \(Y\) relative to \(X\) as a subset of \(\Sigma_X\). The main theorems are: {Theorem~1.1.} The tropical variety \(\mathrm{Trop}_X(Y)\) admits a structure of a finite rational polyhedral cone complex of dimension \(\leq\dim{Y}\). {Theorem~1.2.} Let \(X'\) be a log-regular compactification of \(X\). Let \(Y\) be a closed subset of \(X_0\). (i) Then the closure \(\bar{Y}\) of \(Y\) in \(X\) is proper over \(k\) iff \(\mathrm{Trop}_{X'}(Y) \subseteq \Sigma_X\). (ii) If \(\mathrm{Trop}_{X'}(Y) \supseteq \Sigma_X\), then \(\bar{Y}\) intersects all strata \(E\) of \(X\), and the intersection satisfies \(\dim{\bar{Y}\cap E} = \dim{Y} - \mathrm{codim}_X{E}\). {Theorem~1.3.} Let \(X\) be a log-regular variety over \(\mathbb{C}\). Then there are canonical isomorphisms \(\tilde{H}^{i-1}(\mathrm{L}(\Sigma_X),\mathbb{Q}) = W_0H^i_c(X_0,\mathbb{Q})\) for all \(i \geq 0\). {Corollary~1.4.} If \(Y\) is a schön variety (see [\textit{J. Tevelev}, Am. J. Math. 129, No. 4, 1087--1104 (2007; Zbl 1154.14039)], Definition 1.3), then there are natural isomorphisms \(\tilde{H}^{i-1}(\mathrm{L}(\Sigma_{\bar{Y}}),\mathbb{Q}) = W_0H^i_c(Y,\mathbb{Q})\) for all \(i \geq 0\).