BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Temkin

Michael Temkin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AG

Catalog footprint

What is connected

19works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

19 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.)

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access