Local tropicalization

Authors Patrick Popescu-Pampu, D. A. Stepanov

Publication date 20 December 2013

Full work available at URL https://arxiv.org/abs/1204.6154

Bieri-Groves sets semigroups singularities toric geometry toroidal embeddings tropicalization valuation spaces

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Local complex singularities (32S05)

Abstract: In this paper we propose a general functorial definition of the operation of emph{local tropicalization} in commutative algebra. Let

R

be a commutative ring,

G a m m a

a finitely generated subsemigroup of a lattice,

g a m m a : G a m m a i g h t a r r o w R / R^{*}

a morphism of semigroups, and

V (R)

the topological space of valuations on

R

taking values in

R c u p i n f t y

. Then we may emph{tropicalize} with respect to

g a m m a

any subset

W

of the space of valuations

V (R)

. By definition, we get a subset of a rational polyhedral cone canonically associated to

G a m m a

, enriched with strata at infinity. In particular, when

R

is a local ring,

g a m m a

is a emph{local} morphism of semigroups, and

W

is the space of valuations which are either positive or non-negative on

R

, we call these processes emph{local tropicalizations}. They depend only on the ambient toroidal structure, which in turn allows to define tropicalizations of subvarieties of toroidal embeddings. We prove that with suitable hypothesis, these local tropicalizations are the supports of finite rational polyhedral fans enriched with strata at infinity and we compare the global and local tropicalizations of a subvariety of a toric variety.

Review text

Tropicalization is a process that associates to a closed subvariety \(Y\) of a split algebraic torus \(T\) over a non-Archimedean base field \(k\) a rational polyhedral complex \(\mathrm{Trop}(Y)\) in the real vector space \(N_\mathbb{R}\) spanned by the cocharacter lattice \(N\) of \(T\). Given a non-Archimedean extension \(K\) of \(k\) whose norm is non-trivial, one can identify \(\mathrm{Trop}(Y)\) with the closure of the image of \(Y(K)\) under the coordinate-wise valuation map \(T(K)\rightarrow N_\mathbb{R}\).NEWLINENEWLINEIn its most natural form this definition is given using the language of non-Archimedean analytic spaces in the sense of Berkovich (see [\textit{W. Gubler}, Invent. Math. 169, No. 2, 377--400 (2007; Zbl 1153.14029)] and [\textit{W. Gubler}, Contemp. Math. 589, 125--189 (2013; Zbl 1318.14061)]) or, alternatively, valuation spaces (see [\textit{M. Einsiedler, M. Kapranov} and \textit{D. Lind}, J. Reine Angew. Math. 601, 139--157 (2006; Zbl 1115.14051)]). These approaches naturally generalize to subvarieties of toric varieties with big torus \(T\) (see [\textit{T. Kajiwara}, Contemp. Math. 460, 197--207 (2008; Zbl 1202.14047)] and [\textit{S. Payne}, Math. Res. Lett. 16, No. 2--3, 543--556 (2009; Zbl 1193.14077]).NEWLINENEWLINEUsing the theory of valuation spaces and an in-depth study of the geometry of toric monoids Popescu-Pampu and Stepanov propose in this article a general framework incorporating all of the above approaches to tropicalization and many more. Most notably, they can also deal with subvarieties of formal completions of affine toric varieties along an orbit closure. This allows them to study the \textit{local tropicalization} of a closed subvariety of a toroidal embedding in the sense of [\textit{G. Kempf, F. Knudsen, D. Mumford} and \textit{B. Saint-Donat}, Toroidal embeddings. I. Berlin-Heidelberg-New York: Springer-Verlag (1973; Zbl 0271.14017)].NEWLINENEWLINETheir main result is a generalization of the classical Theorem of \textit{R. Bieri} and \textit{J. R. J. Groves} [J. Reine Angew. Math. 347, 168--195 (1984; Zbl 0526.13003)], which describes the tropicalization of an algebraic variety as a rational polyhedral complex, to local tropicalizations of subvarieties of toroidal embeddings. Its proof involves the development of a theory of tropical bases in the formal completions \(k\Gamma\) of the monoid algebras \(k[\Gamma]\) defined by a toric monoid \(\Gamma\).NEWLINENEWLINEPopescu-Pampu and Stepanov's theory forms the foundation of a global theory of tropicalization for toroidal embeddings, which has been developed by the reviewer using the language of logarithmic geometry (see [\textit{M. Ulirsch}, Math. Z. 280, No. 1--2, 195--210 (2015; Zbl 1327.14267)] and [\textit{M. Ulirsch}, ``Functorial tropicalization of logarithmic schemes: The case of constant coefficients, Preprint, \url{arXiv:1310.6269}]).NEWLINENEWLINEFor the entire collection see [Zbl 1266.14003].

Recommendations

Cited in

(24)

This page was built for publication: Local tropicalization

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