arXiv subjects
Publications and source records attributed to Dmitry Stepanov.
In this paper we explain four viewpoints on the local tropicalization of formal subgerms of toric germs, which is a local analog of the global tropicalization of subvarieties of algebraic tori. We start by illustrating some of those viewpoints for plane curve singularities, then we pass to arbitrary dimensions. We conclude by describing several variants and extensions of the notion of local tropicalization presented in this paper.
Splice type surface singularities, introduced in 2002 by Neumann and Wahl, provide all examples known so far of integral homology spheres which appear as links of complex isolated complete intersections of dimension two. They are determined, up to a form of equisingularity, by decorated trees called splice diagrams. In 2005, Neumann and Wahl formulated their Milnor fiber conjecture, stating that any choice of an internal edge of a splice diagram determines a special kind of decomposition into pieces of the Milnor fibers of the associated singularities. These pieces are constructed from the Milnor fibers of the splice type singularities determined by the subdiagrams on both sides of the chosen edge. In this paper we give an overview of this conjecture and a detailed outline of its proof, based on techniques from tropical geometry and log geometry in the sense of Fontaine and Illusie. The crucial log geometric ingredient is the operation of rounding of a complex logarithmic space introduced in 1999 by Kato and Nakayama. It is a functorial generalization of the operation of real oriented blowup. The use of the latter to study Milnor fibrations was pioneered by A'Campo in 1975.
Splice type surface singularities were introduced by Neumann and Wahl as a generalization of the class of Pham-Brieskorn-Hamm complete intersections of dimension two. Their construction depends on a weighted tree called a splice diagram. In this paper, we study these singularities from the tropical viewpoint. We characterize their local tropicalizations as the cones over the appropriately embedded associated splice diagrams. As a corollary, we reprove some of Neumann and Wahl's earlier results on these singularities by purely tropical methods, and show that splice type surface singularities are Newton non-degenerate complete intersections in the sense of Khovanskii. We also confirm that under suitable coprimality conditions on its weights, the diagram can be uniquely recovered from the local tropicalization. As a corollary of the Newton non-degeneracy property, we obtain an alternative proof of a recent theorem of de Felipe, Gonz\'alez P\'erez and Mourtada, stating that embedded resolutions of any plane curve singularity can be achieved by a single toric morphism, after re-embedding the ambient smooth surface germ in a higher-dimensional smooth space. The paper ends with an appendix by Jonathan Wahl, proving a criterion of regularity of a sequence in a ring of convergent power series, given the regularity of an associated sequence of initial forms.
This paper is a complement to the work of the second author on modular quotient singularities in odd characteristic (see arXiv:1210.8006). Here we prove that if $V$ is a three-dimensional vector space over a field of characteristic $2$ and $G<GL(V)$ is a finite subgroup generated by pseudoreflections and possessing a $2$-dimensional invariant subspace $W$ such that the restriction of $G$ to $W$ is isomorphic to the group $SL_{2}(\mathbb{F}_{2^n})$, then the quotient $V/G$ is non-singular. This, together with earlier known results on modular quotient singularities, implies first that a theorem of Kemper and Malle on irreducible groups generated by pseudoreflections generalizes to reducible groups in dimension three, and, second, that the classification of three-dimensional isolated singularities which are quotients of a vector space by a linear finite group reduces to Vincent's classification of non-modular isolated quotient singularities.
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, $Γ$ a finitely generated subsemigroup of a lattice, $γ: Γ\rightarrow R/ R^*$ a morphism of semigroups, and $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$. Then we may \emph{tropicalize} with respect to $γ$ any subset $\W$ of the space of valuations $\V(R)$. By definition, we get a subset of a rational polyhedral cone canonically associated to $Γ$, enriched with strata at infinity. In particular, when $R$ is a local ring, $γ$ 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.