Source author record

Michael Temkin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG

Catalog footprint

Research overview

19works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Logarithmically Regular Morphisms

We consider the stack $\mathcal{L}og_X$ parametrizing log schemes over a log scheme $X$ , and weak and strong properties of log morphisms via $\mathcal{L}og_X$ , as defined by Olsson. We give a concrete combinatorial presentation of $\mathcal{L}og_X$ , and prove a simple criterion of when weak and strong properties of log morphisms coincide. We then apply this result to the study of logarithmic regularity, derive its main properties, and give a chart criterion analogous to Kato's chart criterion of logarithmic smoothness.

preprint2022arXiv

Non-archimedean pinchings

We develop the theory of pinchings for non-archimedean analytic spaces. In particular, we show that although pinchings of affinoid spaces do not have to be affinoid, pinchings of Hausdorff analytic spaces always exist in the category of analytic spaces.

preprint2022arXiv

Reduction and lifting problem for differential forms on Berkovich curves

Given a complete real-valued field $k$ of residue characteristic zero, we study properties of a differential form $ω$ on a smooth proper $k$ -analytic curve $X$ . In particular, we associate to $(X,ω)$ a natural tropical reduction datum combining tropical data of $(X,ω)$ and algebra-geometric reduction data over the residue field $\widetilde{k}$ . We show that this datum satisfies natural compatibility condition, and prove a lifting theorem asserting that any compatible tropical reduction datum lifts to an actual pair $(X,ω)$ . In particular, we obtain a short proof of the main result of a work [BCGGM20] by Bainbridge, Chen, Gendron, Grushevsky, and Möller.

preprint2020arXiv

Relative desingularization and principalization of ideals

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary valuation rings. In another our work in progress, the same problems will be solved canonically in the case of proper morphisms.

preprint2017arXiv

Toroidal orbifolds, destackification, and Kummer blowings up

We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to construct a destackification functor, a variant of the main result of Bergh [Ber17], on the category of such toroidal stacks $X$ . Namely, we associate to $X$ a sequence of blowings up of toroidal stacks $\widetilde{\mathcal{F}}_X\:Y\longrightarrow X$ such that $Y_{tc}$ coincides with the usual coarse moduli space $Y_{cs}$ . In particular, this provides a toroidal resolution of the algebraic space $X_{cs}$ . Both $X_{tcs}$ and $\widetilde{\mathcal{F}}_X$ are functorial with respect to strict inertia preserving morphisms $X'\to X$ . Finally, we use coarsening morphisms to introduce a class of non-representable birational modifications of toroidal stacks called Kummer blowings up. These modifications, as well as our version of destackification, are used in our work on functorial toroidal resolution of singularities.

preprint2016arXiv

Altered local uniformization of Berkovich spaces

We prove that for any compact quasi-smooth strictly $k$ -analytic space $X$ there exist a finite extension $l/k$ and a quasi-étale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a theorem of U. Hartl to the case of the ground field with a non-discrete valuation.

preprint2016arXiv

Ferrand's pushouts for algebraic spaces

We extend Ferrand's results about pushouts of schemes to the category of algebraic spaces. We call the corresponding class of pushouts Ferrand's pushouts. They will be used in our sequel works to extend the notions of valuation rings and Riemann-Zariski spaces to the category of algebraic spaces, and to obtain a new proof of Nagata's compactification theorem for algebraic spaces.

preprint2016arXiv

Morphisms of Berkovich curves and the different function

Given a generically étale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $δ_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$ . This provides a new invariant for studying $f$ , which cannot be obtained by the usual reduction techniques. We prove that $δ_f$ is a piecewise monomial function satisfying a balancing condition at type 2 points analogous to the classical Riemann-Hurwitz formula, and show that $δ_f$ can be used to explicitly construct the simultaneous skeletons of $X$ and $Y$ . As an application, we use our results to completely describe the topological ramification locus of $f$ when its degree equals to the residue characteristic $p$ .

preprint2016arXiv

On relative birational geometry and Nagata's compactification

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.

preprint2016arXiv

Prüfer algebraic spaces

This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Prüfer spaces and Prüfer pairs of algebraic spaces that generalize spectra of Prüfer rings. As a particular case of Prüfer spaces we introduce valuation algebraic spaces, and use them to establish valuative criterion of universal closedness that sharpens the standard criterion. In the sequel paper, we will introduce a version of Riemann-Zariski spaces, and will prove Nagata compactification theorem for algebraic spaces.

preprint2016arXiv

Torification of diagonalizable group actions on toroidal schemes

We study actions of diagonalizable groups on toroidal schemes (i.e. logarithmically regular logarithmic schemes). In particular, we show that for so-called toroidal actions the quotient is again a toroidal scheme. Our main result constructs for an arbitrary action a canonical torification - making the action toridal after an equivariant blowings up. This extends earlier results of Abramovich-de Jong, Abramovich-Karu-Matsuki-Włodarczyk, and Gabber in various aspects.

preprint2016arXiv

Wild coverings of Berkovich curves

This paper is an extended version of the author's talk given at the conference "Non-Archimedean analytic geometry: theory and practice" held in August 2015 at Papeete. It gives a brief overview of recent results on the structure of wild coverings of Berkovich curves and its relation to the different and higher ramification theory.

preprint2015arXiv

Luna's fundamental lemma for diagonalizable groups

We study relatively affine actions of a diagonalizable group $G$ on locally noetherian schemes. In particular, we generalize Luna's fundamental lemma when applied to a diagonalizable group: we obtain criteria for a $G$ -equivariant morphism $f: X'\to X$ to be $strongly\ equivariant$ , namely the base change of the morphism $f/\!/G$ of quotient schemes, and establish descent criteria for $f/\!/G$ to be an open embedding, étale, smooth, regular, syntomic, or lci.

preprint2015arXiv

Metrization of differential pluriforms on Berkovich analytic spaces

We introduce a general notion of a seminorm on sheaves of rings or modules and provide each sheaf of relative differential pluriforms on a Berkovich k-analytic space with a natural seminorm, called Kahler seminorm. If the residue field is of characteristic zero and X is a quasi-smooth k-analytic space, then we show that the maximality locus of any global pluricanonical form is a PL subspace of X contained in the skeleton of any semistable formal model of X. This extends a result of Mustata and Nicaise, because the Kahler seminorm on pluricanonical forms coincides with the weight norm defined by Mustata and Nicaise when k is discretely valued and of residue characteristic zero.

preprint2012arXiv

Absolute desingularization in characteristic zero

We present a survey on the recent progress with desingularization of quasi-excellent schemes of characteristic zero. Due to expository goals of the paper we concentrate on giving examples and outlining main ideas, and we refer to other sources for detailed proofs and technical details. This survey will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, May 2008).

preprint2012arXiv

Inseparable local uniformization

It is known since the works of Zariski in early 40ies that desingularization of varieties along valuations (called local uniformization of valuations) can be considered as the local part of the desingularization problem. It is still an open problem if local uniformization exists in positive characteristic and dimension larger than three. In this paper, we prove that Zariski local uniformization of algebraic varieties is always possible after a purely inseparable extension of the field of rational functions, i.e. any valuation can be uniformized by a purely inseparable alteration.

preprint2011arXiv

Introduction to Berkovich analytic spaces

This paper presents an extended version of lecture notes for an introductory course on Berkovich analytic spaces that I gave in 2010 at Summer School "Berkovich spaces" at Institut de Mathmatiques de Jussieu.

preprint2011arXiv

Relative Riemann-Zariski spaces

In this paper we study relative Riemann-Zariski spaces attached to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described either as projective limits of schemes in the category of locally ringed spaces or as certain spaces of valuations. We apply these spaces to prove the following two new results: a strong version of stable modification theorem for relative curves; a decomposition theorem which asserts that any separated morphism between quasi-compact and quasi-separated schemes factors as a composition of an affine morphism and a proper morphism. (In particular, we obtain a new proof of Nagata's compactification theorem.)

preprint2010arXiv

Stable modification of relative curves

We generalize theorems of Deligne-Mumford and de Jong on semi-stable modifications of families of proper curves. The main result states that after a generically étale alteration of the base any (not necessarily proper) family of multipointed curves with semi-stable generic fiber admits a minimal semi-stable modification. The latter can also be characterized by the property that its geometric fibers have no certain exceptional components. The main step of our proof is uniformization of one-dimensional extensions of valued fields. Riemann-Zariski spaces are then used to obtain the result over any integral base.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michael Temkin

Research overview

Is this your work?

19 publications

Logarithmically Regular Morphisms

Non-archimedean pinchings

Reduction and lifting problem for differential forms on Berkovich curves

Relative desingularization and principalization of ideals

Toroidal orbifolds, destackification, and Kummer blowings up

Altered local uniformization of Berkovich spaces

Ferrand's pushouts for algebraic spaces

Morphisms of Berkovich curves and the different function

On relative birational geometry and Nagata's compactification

Prüfer algebraic spaces

Torification of diagonalizable group actions on toroidal schemes

Wild coverings of Berkovich curves

Luna's fundamental lemma for diagonalizable groups

Metrization of differential pluriforms on Berkovich analytic spaces

Absolute desingularization in characteristic zero

Inseparable local uniformization

Introduction to Berkovich analytic spaces

Relative Riemann-Zariski spaces

Stable modification of relative curves

See the researcher in context

Building this map preview