Showing 1–48 of 48 results for author: Temkin, M

Dream resolution and principalization I: enough derivations

Authors: Michael Temkin

Abstract: This is a first paper in a project on extending the dream principalization and resolution methods of [ATW24], [McQ20] and [Que22] to quasi-excellent, logarithmic and relative settings. We show that the main results of [ATW24] extend to regular schemes with enough derivations and are functorial with respect to all regular morphisms. This is already strong enough to formally imply that the same resu… ▽ More This is a first paper in a project on extending the dream principalization and resolution methods of [ATW24], [McQ20] and [Que22] to quasi-excellent, logarithmic and relative settings. We show that the main results of [ATW24] extend to regular schemes with enough derivations and are functorial with respect to all regular morphisms. This is already strong enough to formally imply that the same results hold in other categories, such as complex and p-adic analytic spaces. Our method has many common points with that of [ATW24], but the accent is now shifted towards the study of weighted centers and their coordinate presentations. Not only we hope that this is a bit simpler and more conceptual, this method will be easily applied in the logarithmic and relative settings in the sequel. △ Less

Submitted 23 March, 2025; originally announced March 2025.

Comments: 23 pages, first version, comments are welcome

Small extensions of analytic fields

Authors: Michael Temkin

Abstract: An extension $K/k$ of analytic (i.e. real valued complete) fields is called small if it is topologically-algebraically generated by finitely many elements. We prove that this property is inherited by subextensions and hence topological generating degree of such extensions is monotonic. Much more detailed results are obtained in the case of degree one. Let $k$ be an analytic algebraically closed fi… ▽ More An extension $K/k$ of analytic (i.e. real valued complete) fields is called small if it is topologically-algebraically generated by finitely many elements. We prove that this property is inherited by subextensions and hence topological generating degree of such extensions is monotonic. Much more detailed results are obtained in the case of degree one. Let $k$ be an analytic algebraically closed field of positive residual characteristic $p$ and $K=\widehat{k(t)^a}$ with a non-trivial valuation. In a previous work it was shown that the set $I_{K/k}$ of intermediate complete algebraically closed subextensions $k\subseteq F\subseteq K$ is totally ordered by inclusion. In this paper we show that $I_{K/k}$ is an interval parameterized by the distance between $t$ and $F$. Moreover, logarithmic parameterizations induced by other generators differ by PL functions with slopes in $p^{\mathbb Z}$ and corners in $|K^\times|$, so $I_{K/k}$ acquires a natural PL structure. △ Less

Submitted 22 March, 2025; originally announced March 2025.

Comments: 18 pages, first version, comments are welcome

Functorial monomialization and uniqueness of centers for relative principalization

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: Theorem 1.2.6 of [ATW20] provides a relatively functorial logarithmic principalization of ideals on relative logarithmic orbifolds $X\to B$ in characteristic 0, relying on a delicate monomialization theorem for Kummer ideals. The paper [AdSTW25] provides a parallel avenue through weighted blowings up. In this paper we show that, if $X\to B$ is proper, monomialization of both Kummer and weighted lo… ▽ More Theorem 1.2.6 of [ATW20] provides a relatively functorial logarithmic principalization of ideals on relative logarithmic orbifolds $X\to B$ in characteristic 0, relying on a delicate monomialization theorem for Kummer ideals. The paper [AdSTW25] provides a parallel avenue through weighted blowings up. In this paper we show that, if $X\to B$ is proper, monomialization of both Kummer and weighted logarithmic centers can be carried out in a manner which is functorial for base change by regular morphisms. This implies in particular logarithmic relative principalization of ideals and logarithmically smooth reduction of proper families of varieties in characteristic 0 in a manner equivariant for group actions and compatible with localization on the base. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Comments: 7 pages

MSC Class: 14E15; 14A20; 14A21

Logarithmic resolution of singularities in characteristic 0 using weighted blow-ups

Authors: Dan Abramovich, André belotto da Silva, Ming Hao Quek, Michael Temkin, Jarosław Włodarczyk

Abstract: In characteristic zero, we construct logarithmic resolution of singularities, with simple normal crossings exceptional divisor, using weighted blow-ups. In characteristic zero, we construct logarithmic resolution of singularities, with simple normal crossings exceptional divisor, using weighted blow-ups. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Comments: 16 pages, one figure

MSC Class: 14E15; 14A20; 14A21

Principalization on logarithmically foliated orbifolds

Authors: Dan Abramovich, André Belotto da Silva, Michael Temkin, Jarosław Włodarczyk

Abstract: In characteristic zero, we construct principalization of ideals on smooth orbifolds endowed with a normal crossings divisor and a foliation. We then illustrate how the method can be used in the general study of foliations via two applications. First, we provide a resolution of singularities of Darboux totally integrable foliations in arbitrary dimensions -- including rational and meromorphic Darbo… ▽ More In characteristic zero, we construct principalization of ideals on smooth orbifolds endowed with a normal crossings divisor and a foliation. We then illustrate how the method can be used in the general study of foliations via two applications. First, we provide a resolution of singularities of Darboux totally integrable foliations in arbitrary dimensions -- including rational and meromorphic Darboux foliations. Second, we show how to transform a generically transverse section into a transverse section. △ Less

Submitted 21 March, 2025; v1 submitted 2 March, 2025; originally announced March 2025.

Comments: We have introduced the notion of a thick class of foliations. We have also established a criterion for reducing the singularities of the pullback of a foliation in a thick class C to another foliation within the same class

Adic curves: stable reduction, skeletons and metric structure

Authors: Katharina Hübner, Michael Temkin

Abstract: We study the structure of adic curves over an affinoid field of arbitrary rank. In particular, quite analogously to Berkovich geometry we classify points on curves, prove a semistable reduction theorem in the version of Ducros' triangulations, define associated curve skeletons and prove that they are deformational retracts in a suitable sense. An important new technical tool is an appropriate comp… ▽ More We study the structure of adic curves over an affinoid field of arbitrary rank. In particular, quite analogously to Berkovich geometry we classify points on curves, prove a semistable reduction theorem in the version of Ducros' triangulations, define associated curve skeletons and prove that they are deformational retracts in a suitable sense. An important new technical tool is an appropriate compactification of ordered groups that we call the ranger compactification. Intervals of rangers are then used to define metric structures and construct deformational retractions. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: first version, 48 pages, comments are welcome

Using knot Floer invariants to detect prime knots

Authors: Samantha Allen, Charles Livingston, Misha Temkin, C. -M. Michael Wong

Abstract: We present knot primality tests that are built from knot Floer homology. The most basic of these is a simply stated and elementary consequence of Heegaard Floer theory: if the two-variable knot Floer polynomial of a knot K is irreducible, then K is prime. Improvements in this test yield a primality condition that has been over 90 percent effective in identifying prime knots of up to 30 crossings.… ▽ More We present knot primality tests that are built from knot Floer homology. The most basic of these is a simply stated and elementary consequence of Heegaard Floer theory: if the two-variable knot Floer polynomial of a knot K is irreducible, then K is prime. Improvements in this test yield a primality condition that has been over 90 percent effective in identifying prime knots of up to 30 crossings. As another illustration of the strength of these tools, there are 1,315 non-hyperbolic prime knots with crossing number 20 or less; the tests we develop prove the primality of over 96 percent of them. The filtered chain homotopy class of the knot Floer hat complex of a knot K has a unique minimal-dimension representative that is the direct sum of a one-dimensional complex and two-dimensional complexes, each of which can be assigned a parity. Let delta(K), b_e(K), and b_o(K) denote the dimension of this minimal representative and the number of even and odd two-dimensional summands, respectively. For a composite knot K, we observe that there is a non-trivial factorization delta(K) = mn satisfying (m-1)(n-1) \le 4 min(b_e(K), b_o(K)). This yields another knot primality test. One corollary is a simple proof of Krcatovich's result that L-space knots are prime. △ Less

Submitted 17 December, 2023; v1 submitted 18 November, 2023; originally announced November 2023.

Comments: 6 pages. The primality tests have been improved by using results of Baldwin-Sivek showing that specific knots, including 5_2, are determined by their knot Floer homology

MSC Class: 57K10

Relative and logarithmic resolution of singularities

Authors: Michael Temkin

Abstract: These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic desingularization of logarithmic schemes and morphisms, weighted methods: logarithmic and non-logarithmic ones, desingularization in wider contexts: quasi-excellent s… ▽ More These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic desingularization of logarithmic schemes and morphisms, weighted methods: logarithmic and non-logarithmic ones, desingularization in wider contexts: quasi-excellent schemes and formal schemes, complex and non-archimedean spaces. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 63 pages, first version, comments are welcome

Height reduction for local uniformization of varieties and non-archimedean spaces

Authors: Michael Temkin

Abstract: It is known since the works of Zariski that the essential difficulty in the local uniformization problem is met already in the case of valuations of height one. In this paper we prove that local uniformization of schemes and non-archimedean analytic spaces rigorously follows from the case of valuations of height one. For non-archimedean spaces this result reduces the problem to studying local stru… ▽ More It is known since the works of Zariski that the essential difficulty in the local uniformization problem is met already in the case of valuations of height one. In this paper we prove that local uniformization of schemes and non-archimedean analytic spaces rigorously follows from the case of valuations of height one. For non-archimedean spaces this result reduces the problem to studying local structure of smooth Berkovich spaces. △ Less

Submitted 15 February, 2024; v1 submitted 22 January, 2023; originally announced January 2023.

Comments: 26 pages, to appear in Journal of Algebra

Introduction to logarithmic geometry

Authors: Michael Temkin

Abstract: These lecture notes provide an introduction to logarithmic geometry with a view towards recent applications in the desingularization theory. These lecture notes provide an introduction to logarithmic geometry with a view towards recent applications in the desingularization theory. △ Less

Submitted 24 September, 2022; originally announced September 2022.

Comments: 27 pages, first version, comments are welcome

Semistable reduction over thick log points

Authors: Alexander E. Motzkin, Michael Temkin

Abstract: We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal nilradical. We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal nilradical. △ Less

Submitted 15 February, 2024; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 21 pages, to appear in Simons Symposia

Non-archimedean pinchings

Authors: Michael Temkin

Abstract: 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. 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. △ Less

Submitted 12 February, 2022; v1 submitted 28 May, 2021; originally announced May 2021.

Comments: 11 pages, published in Mathematische Zeitschrift

Reduction and lifting problem for differential forms on Berkovich curves

Authors: Michael Temkin, Ilya Tyomkin

Abstract: 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 compatibili… ▽ More 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. △ Less

Submitted 15 February, 2022; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 19 pages, final version, published in Advances in Mathematics

Relative desingularization and principalization of ideals

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: 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 princi… ▽ More 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. △ Less

Submitted 31 August, 2020; v1 submitted 7 March, 2020; originally announced March 2020.

Comments: Edited throughout, 90 pages, one figure

MSC Class: 14E15 (primary); 14D06; 14A20; 14A21 (secondary)

Descent for non-archimedean analytic spaces

Authors: Brian Conrad, Michael Temkin

Abstract: In this paper we study two types of descent in the category of Berkovich analytic spaces: flat descent and descent with respect to an extension of the ground field. Quite surprisingly, the deepest results in this direction seem to be of the second type, including the descent of properties of being a good analytic space and being a morphism without boundary. In this paper we study two types of descent in the category of Berkovich analytic spaces: flat descent and descent with respect to an extension of the ground field. Quite surprisingly, the deepest results in this direction seem to be of the second type, including the descent of properties of being a good analytic space and being a morphism without boundary. △ Less

Submitted 10 April, 2021; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: 38 pages, final version, to appear in the Tunisian Journal of Mathematics

Journal ref: Tunisian J. Math. 3 (2021) 689-748

Logarithmically Regular Morphisms

Authors: Sam Molcho, Michael Temkin

Abstract: 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 regul… ▽ More 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. △ Less

Submitted 12 February, 2022; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 19 pages, final version

Functorial embedded resolution via weighted blowings up

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the… ▽ More We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the resulting algorithm is efficient. A similar result was discovered independently by McQuillan in a manuscript posted on this archive simultaneously. △ Less

Submitted 4 March, 2020; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: Introduction rewritten and significantly expanded, proofs streamlined, references updated

MSC Class: 14E15; 14A20; 14M25

Journal ref: Alg. Number Th. 18 (2024) 1557-1587

Semistable reduction in characteristic 0

Authors: Karim Adiprasito, Gaku Liu, Michael Temkin

Abstract: In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X'\to B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and K… ▽ More In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X'\to B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and Karu formulated a stronger conjecture that $f'\:X'\to B'$ can be even made semistable, which amounts to making $X'$ smooth as well, and explained why this is the best resolution of $f$ one might hope for. In this paper, we solve the semistable reduction conjecture in the larger generality of finite type morphisms of quasi-excellent schemes of characteristic zero. △ Less

Submitted 17 June, 2019; v1 submitted 7 October, 2018; originally announced October 2018.

Comments: 22 pages, expansions on context and generality

Log smoothness and polystability over valuation rings

Authors: Karim Adiprasito, Gaku Liu, Igor Pak, Michael Temkin

Abstract: Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular… ▽ More Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular, if $X$ is log smooth over $\mathcal{O}$, then $Y$ is polystable with a smooth generic fiber. As a corollary we deduce that any variety over $\mathcal{O}$ possesses a polystable alteration of degreee $p^n$. The core of our proof is a subdivision result for polyhedral complexes satisfying certain rationality conditions. △ Less

Submitted 30 April, 2019; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 40 pages, revisions based on comments from referee

Lifting problem for minimally wild covers of Berkovich curves

Authors: Uri Brezner, Michael Temkin

Abstract: This work continues the study of residually wild morphisms $f\colon Y\to X$ of Berkovich curves initiated by Cohen, Temkin and Trushin in [CTT16]. The different function $δ_f$ introduced in [CTT16] is the primary discrete invariant of such covers. When $f$ is not residually tame, it provides a non-trivial enhancement of the classical invariant of $f$ consisting of morphisms of reductions… ▽ More This work continues the study of residually wild morphisms $f\colon Y\to X$ of Berkovich curves initiated by Cohen, Temkin and Trushin in [CTT16]. The different function $δ_f$ introduced in [CTT16] is the primary discrete invariant of such covers. When $f$ is not residually tame, it provides a non-trivial enhancement of the classical invariant of $f$ consisting of morphisms of reductions $\widetilde{f}\colon \widetilde{Y}\to\widetilde{X}$ and metric skeletons $Γ_f\colon Γ_Y\toΓ_X$. In this paper we interpret $δ_f$ as the norm of the canonical trace section $τ_f$ of the dualizing sheaf $ω_f$, and introduce a finer reduction invariant $\widetildeτ_f$, which is (loosely speaking) a section of $ω_{\widetilde{f}}^{\rm log}$. Our main result generalizes a lifting theorem of Amini-Baker-Brugallé-Rabinoff from the case of residually tame morphism to the case of minimally residually wild morphisms. For such morphisms we describe all restrictions the datum $(\widetilde{f},Γ_f,δ|_{Γ_Y},\widetildeτ_f)$ satisfies, and prove that, conversely, any quadruple satisfying these restrictions can be lifted to a morphism of Berkovich curves. △ Less

Submitted 24 September, 2022; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: 35 pages, final version, was published in JAG

Toroidal orbifolds, destackification, and Kummer blowings up

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: 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… ▽ More 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. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: 29 pages

MSC Class: 14E15 (primary) 14A20 (secondary)

Journal ref: Alg. Number Th. 14 (2020) 2001-2035

Principalization of ideals on toroidal orbifolds

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' \to X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first s… ▽ More Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' \to X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism $Z \to B$, aiming to prove functorial semistable reduction theorems. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: 55 pages

MSC Class: 14A20 (primary) 14M25 (secondary)

Topological transcendence degree

Authors: Michael Temkin

Abstract: Throughout the paper, an analytic field means a non-archimedean complete real-valued one, and our main objective is to extend to these fields the basic theory of transcendental extensions. One easily introduces a topological analogue of the transcendence degree, but, surprisingly, it turns out that it may behave very badly. For example, a particular case of a theorem of Matignon-Reversat asserts t… ▽ More Throughout the paper, an analytic field means a non-archimedean complete real-valued one, and our main objective is to extend to these fields the basic theory of transcendental extensions. One easily introduces a topological analogue of the transcendence degree, but, surprisingly, it turns out that it may behave very badly. For example, a particular case of a theorem of Matignon-Reversat asserts that if $\mathrm{char}(k)>0$ then $\widehat{k((t))^a}$ possesses non-invertible continuous $k$-endomorphisms, and this implies that the topological transcendence degree is not additive in towers. Nevertheless, we prove that in some aspects the topological transcendence degree behaves reasonably, and we show by explicit counter-examples that our positive results are pretty sharp. Applications to types of points in Berkovich spaces and untilts of $\widehat{\mathbf{F}_p((t))^a}$ are discussed. △ Less

Submitted 30 March, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: 21 pages, final version

Functorial factorization of birational maps for qe schemes in characteristic 0

Authors: Dan Abramovich, Michael Temkin

Abstract: We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces. We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Comments: 45 pages

MSC Class: 14E05

Journal ref: Alg. Number Th. 13 (2019) 379-424

Wild coverings of Berkovich curves

Authors: Michael Temkin

Abstract: 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. 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. △ Less

Submitted 22 October, 2016; v1 submitted 20 September, 2015; originally announced September 2015.

Comments: 8 pages

Tame distillation and desingularization by $p$-alterations

Authors: Michael Temkin

Abstract: We strengthen Gabber's $l'$-alteration theorem by avoiding all primes invertible on a scheme. In particular, we prove that any scheme $X$ of finite type over a quasi-excellent threefold can be desingularized by a $\mathrm{char}(X)$-alteration, i.e. an alteration whose order is only divisible by primes non-invertible on $X$. The main new ingredient in the proof is a tame distillation theorem assert… ▽ More We strengthen Gabber's $l'$-alteration theorem by avoiding all primes invertible on a scheme. In particular, we prove that any scheme $X$ of finite type over a quasi-excellent threefold can be desingularized by a $\mathrm{char}(X)$-alteration, i.e. an alteration whose order is only divisible by primes non-invertible on $X$. The main new ingredient in the proof is a tame distillation theorem asserting that, after enlarging, any alteration of $X$ can be split into a composition of a tame Galois alteration and a $\mathrm{char}(X)$-alteration. The proof of the distillation theorem is based on the following tameness theorem that we deduce from a theorem of M. Pank: if a valued field of residue characteristic $p$ has no non-trivial $p$-extensions then any its algebraic extension is tame. △ Less

Submitted 21 February, 2017; v1 submitted 25 August, 2015; originally announced August 2015.

Comments: 24 pages, final version, to appear in Annals of Mathematics

Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves

Authors: Kiran S. Kedlaya, Michael Temkin

Abstract: We show that for k a perfect field of characteristic p, there exist endomorphisms of the completed algebraic closure of k((t)) which are not bijective. As a corollary, we resolve a question of Fargues and Fontaine by showing that for p a prime and C_p a completed algebraic closure of Q_p, there exist closed points of the Fargues-Fontaine curve associated to C_p whose residue fields are not (even a… ▽ More We show that for k a perfect field of characteristic p, there exist endomorphisms of the completed algebraic closure of k((t)) which are not bijective. As a corollary, we resolve a question of Fargues and Fontaine by showing that for p a prime and C_p a completed algebraic closure of Q_p, there exist closed points of the Fargues-Fontaine curve associated to C_p whose residue fields are not (even abstractly) isomorphic to C_p as topological fields. △ Less

Submitted 14 May, 2017; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 6 pages; v7: refereed version; added reference to Matignon-Reversat

Luna's fundamental lemma for diagonalizable groups

Authors: Dan Abramovich, Michael Temkin

Abstract: 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… ▽ More 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. △ Less

Submitted 4 May, 2015; originally announced May 2015.

Comments: 40 pages, comments are welcome. arXiv admin note: substantial text overlap with arXiv:1407.2629

Altered local uniformization of Berkovich spaces

Authors: Michael Temkin

Abstract: 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. 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. △ Less

Submitted 6 October, 2016; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: 14 pages, to appear in Israel Journal of Mathematics

Metric uniformization of morphisms of Berkovich curves

Authors: Michael Temkin

Abstract: We show that the metric structure of morphisms $f\colon Y\to X$ between quasi-smooth compact Berkovich curves over an algebraically closed field admits a finite combinatorial description. In particular, for a large enough skeleton $Γ=(Γ_Y,Γ_X)$ of $f$, the sets $N_{f,\ge n}$ of points of $Y$ of multiplicity at least $n$ in the fiber are radial around $Γ_Y$ with the radius changing piecewise monomi… ▽ More We show that the metric structure of morphisms $f\colon Y\to X$ between quasi-smooth compact Berkovich curves over an algebraically closed field admits a finite combinatorial description. In particular, for a large enough skeleton $Γ=(Γ_Y,Γ_X)$ of $f$, the sets $N_{f,\ge n}$ of points of $Y$ of multiplicity at least $n$ in the fiber are radial around $Γ_Y$ with the radius changing piecewise monomially along $Γ_Y$. In this case, for any interval $l=[z,y]\subset Y$ connecting a rigid point $z$ to the skeleton, the restriction $f|_l$ gives rise to a $profile$ piecewise monomial function $\varphi_y\colon [0,1]\to[0,1]$ that depends only on the type 2 point $y\inΓ_Y$. In particular, the metric structure of $f$ is determined by $Γ$ and the family of the profile functions $\{\varphi_y\}$ with $y\inΓ_Y^{(2)}$. We prove that this family is piecewise monomial in $y$ and naturally extends to the whole $Y^{\mathrm{hyp}}$. In addition, we extend the theory of higher ramification groups to arbitrary real-valued fields and show that $\varphi_y$ coincides with the Herbrand's function of $\mathcal{H}(y)/\mathcal{H}(f(y))$. This gives a curious geometric interpretation of the Herbrand's function, which applies also to non-normal and even inseparable extensions. △ Less

Submitted 1 March, 2017; v1 submitted 25 October, 2014; originally announced October 2014.

Comments: second version, 28 pages

Metrization of differential pluriforms on Berkovich analytic spaces

Authors: Michael Temkin

Abstract: 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 c… ▽ More 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. △ Less

Submitted 18 September, 2015; v1 submitted 12 October, 2014; originally announced October 2014.

Comments: 70 pages, final version, to appear in Simons Symposium Proceedings

Morphisms of Berkovich curves and the different function

Authors: Adina Cohen, Michael Temkin, Dmitri Trushin

Abstract: 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 cond… ▽ More 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$. △ Less

Submitted 31 August, 2016; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: Final version, 49 pages, to appear in Adv.Math

Torification of diagonalizable group actions on toroidal schemes

Authors: Dan Abramovich, Michael Temkin

Abstract: 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 Jo… ▽ More 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. △ Less

Submitted 27 June, 2016; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: The statement of the main result was again strengthened to accommodate our work on functorial factorization of birational maps: we now blow up an ideal without need to further normalize, using results in the new section 5. Some errors were corrected, in particular we made the functorial choice of a torific ideal more precise

MSC Class: 14L30; 14A15; 14E05

On relative birational geometry and Nagata's compactification

Authors: Michael Temkin, Ilya Tyomkin

Abstract: 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. 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. △ Less

Submitted 27 May, 2016; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: 28 pages, comments are welcome

Ferrand's pushouts for algebraic spaces

Authors: Michael Temkin, Ilya Tyomkin

Abstract: 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. 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. △ Less

Submitted 27 May, 2016; v1 submitted 26 May, 2013; originally announced May 2013.

Comments: 20 pages

Berkovich Spaces and Tubular Descent

Authors: O. Ben-Bassat, M. Temkin

Abstract: We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an isomorphism between certain representative images of these two sheaves in the category of coherent sheaves on a Berkovich analytic space W which we define. We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an isomorphism between certain representative images of these two sheaves in the category of coherent sheaves on a Berkovich analytic space W which we define. △ Less

Submitted 11 October, 2022; v1 submitted 20 January, 2012; originally announced January 2012.

Comments: 20 pages

MSC Class: 14A20; 13J07; 14G22; 14E25

Journal ref: Advances in Mathematics 234 (2013), 217-238

Prüfer algebraic spaces

Authors: Michael Temkin, Ilya Tyomkin

Abstract: 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… ▽ More 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. △ Less

Submitted 27 May, 2016; v1 submitted 17 January, 2011; originally announced January 2011.

Comments: This is a major revision of the first version. In particular, the section about Ferand's pushouts has been extended and split off into a separate paper: arXiv:1305.6014

Introduction to Berkovich analytic spaces

Authors: Michael Temkin

Abstract: 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. 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. △ Less

Submitted 16 December, 2011; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: 52 pages, second version, various typos were corrected and the numeration was completely changed

Absolute desingularization in characteristic zero

Authors: Michael Temkin

Abstract: 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… ▽ More 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). △ Less

Submitted 28 August, 2012; v1 submitted 29 January, 2010; originally announced January 2010.

Comments: 26 pages, final version, published in 2011

Functorial desingularization over Q: boundaries and the embedded case

Authors: Michael Temkin

Abstract: Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced. Furthermore, a standard simple argument extends these results to other categories, including in particular, (equivariant) embedded desingularization of the following… ▽ More Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced. Furthermore, a standard simple argument extends these results to other categories, including in particular, (equivariant) embedded desingularization of the following objects of characteristic zero: qe algebraic stacks, qe schemes, qe formal schemes, complex and non-archimedean analytic spaces. We also obtain a semistable reduction theorem for formal schemes. △ Less

Submitted 21 February, 2017; v1 submitted 13 December, 2009; originally announced December 2009.

Comments: 34 pages, final version, to appear in Israel Journal of Mathematics

Q-universal desingularization

Authors: Edward Bierstone, Pierre D. Milman, Michael Temkin

Abstract: We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteris… ▽ More We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteristic zero admits a regular morphism to a Q-variety. The desingularization algorithm is therefore Q-universal or absolute in the sense that it is induced from its restriction to varieties over Q. As a consequence, for example, the algorithm extends functorially to localizations and Henselizations of varieties. △ Less

Submitted 21 May, 2009; originally announced May 2009.

Comments: 22 pages, comments are very welcome

Functorial desingularization of quasi-excellent schemes in characteristic zero: the non-embedded case

Authors: Michael Temkin

Abstract: We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains strong functorial desingularization for many other spaces of characteristic zero including quasi-excellent stacks and formal schemes, and complex and non-archimed… ▽ More We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains strong functorial desingularization for many other spaces of characteristic zero including quasi-excellent stacks and formal schemes, and complex and non-archimedean analytic spaces. Moreover, these functors easily generalize to non-compact setting by use of converging blow up hyper-sequences with regular centers. △ Less

Submitted 11 December, 2011; v1 submitted 9 April, 2009; originally announced April 2009.

Comments: 35 pages, final version, section 3.2 in the first version was seriously modified

Journal ref: Duke Math. J. 161, no. 11 (2012), 2207-2254

Power series over generalized Krull domains

Authors: Elad Paran, Michael Temkin

Abstract: We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative. We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative. △ Less

Submitted 6 October, 2008; originally announced October 2008.

Comments: 7 pages

Relative Riemann-Zariski spaces

Authors: Michael Temkin

Abstract: 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 followin… ▽ More 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.) △ Less

Submitted 8 October, 2011; v1 submitted 17 April, 2008; originally announced April 2008.

Comments: 30 pages, the final version, to appear in Israel J. of Math

Inseparable local uniformization

Authors: Michael Temkin

Abstract: 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… ▽ More 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. △ Less

Submitted 28 August, 2012; v1 submitted 9 April, 2008; originally announced April 2008.

Comments: 66 pages, final version, the paper was seriously revised

Stable modification of relative curves

Authors: Michael Temkin

Abstract: 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 fib… ▽ More 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. △ Less

Submitted 14 April, 2010; v1 submitted 26 July, 2007; originally announced July 2007.

Comments: 60 pages, third version, the paper was revised due to referee's report, section 2 was divided into sections 2 and 6, to appear in JAG

Non-archimedean analytification of algebraic spaces

Authors: Brian Conrad, Michael Temkin

Abstract: It is now a classical result that an algebraic space locally of finite type over $\mathbf{C}$ is analytifiable if and only if it is locally separated. In this paper we study non-archimedean analytifications of algebraic spaces. We construct a quotient for any etale non-archimedean analytic equivalence relation whose diagonal is a closed immersion, and deduce that any separated algebraic space lo… ▽ More It is now a classical result that an algebraic space locally of finite type over $\mathbf{C}$ is analytifiable if and only if it is locally separated. In this paper we study non-archimedean analytifications of algebraic spaces. We construct a quotient for any etale non-archimedean analytic equivalence relation whose diagonal is a closed immersion, and deduce that any separated algebraic space locally of finite type over any non-archimedean field $k$ is analytifiable in both the category of rigid spaces and the category of analytic spaces over $k$. Also, though local separatedness remains a necessary condition for analytifiability in either of these categories, we present many surprising examples of non-analytifiable locally separated smooth algebraic spaces over $k$ that can even be defined over the prime field. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Comments: 34 pages

Desingularization of quasi-excellent schemes in characteristic zero

Authors: Michael Temkin

Abstract: Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture for noetherian schemes of characteristic zero. Namely, starting with the resolution of singularities for algebraic varieties of characteristic zero, we prove… ▽ More Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture for noetherian schemes of characteristic zero. Namely, starting with the resolution of singularities for algebraic varieties of characteristic zero, we prove the resolution of singularities for noetherian quasi-excellent Q-schemes. △ Less

Submitted 11 September, 2008; v1 submitted 22 March, 2007; originally announced March 2007.

Comments: 35 pages, revised version

Journal ref: Advances in Mathematics 219 (2008), pp. 488-522