Tropical compactification in log-regular varieties

Abstract: In this article we define a natural tropicalization procedure for closed subsets of log-regular varieties in the case of constant coefficients and study its basic properties. This framework allows us to generalize some of Tevelev's results on tropical compactification as well as Hacking's result on the cohomology of the link of a tropical variety to log-regular varieties.

Review text

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\).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Tropical compactification in log-regular varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349891)