In this article we investigate algebraic morphisms between toric varieties. Given presentations of toric varieties as quotients we are interested in the question when a morphism admits a lifting to these quotient presentations. We show that this can be completely answered in terms of invariant divisors. As an application we prove that two toric varieties, which are isomorphic as abstract algebraic varieties, are even isomorphic as toric varieties. This generalizes a well-known result of Demushkin on affine toric varieties.
In this paper we prove several lifting theorems for morphisms of tropical curves. We interpret the obstruction to lifting a finite harmonic morphism of augmented metric graphs to a morphism of algebraic curves as the non-vanishing of certain Hurwitz numbers, and we give various conditions under which this obstruction does vanish. In particular we show that any finite harmonic morphism of (non-augmented) metric graphs lifts. We also give various applications of these results. For example, we show that linear equivalence of divisors on a tropical curve C coincides with the equivalence relation g…
Let K be an algebraically closed, complete non-Archimedean field. The purpose of this paper is to carefully study the extent to which finite morphisms of algebraic K-curves are controlled by certain combinatorial objects, called skeleta. A skeleton is a metric graph embedded in the Berkovich analytification of X. A skeleton has the natural structure of a metrized complex of curves. We prove that a finite morphism of K-curves gives rise to a finite harmonic morphism of a suitable choice of skeleta. We use this to give analytic proofs of stronger "skeletonized" versions of some foundational resu…
We study 3 basic questions about fundamental groups of algebraic varieties. For a morphism, is being surjective on $π_1$ preserved by base change? What is the connection between openness in the Zariski and in the Euclidean topologies? Which morphisms have the path lifting property?
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$, a…
We investigate the $W_2(k)$-liftability of singular schemes. We prove constructibility of the locus of $W_2(k)$-liftable schemes in a flat family $X \to S$. Moreover, we construct an explicit $W_2(k)$-lifting of a Frobenius split scheme $X$ over a perfect field $k$, reproving Bhatt's existential result. Furthermore, we study existence of liftings of the Frobenius morphism. In particular, we prove that in dimension $n \geq 4$ ordinary double points do not admit a $W_2(k)$-lifting compatible with Frobenius, and that canonical surface singularities are Frobenius liftable. Combined with Bhatt's re…
The problem of toroidalization is to construct a toroidal lifting of a dominant morphism $φ:X\to Y$ of algebraic varieties by blowing up in the target and domain. This paper contains a solution to this problem when $φ$ is locally toroidal.
Analytic and Algebraic Oka-1 Approximation for Smooth Projective Morphisms with Rationally Connected Fibers
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
We show that on an Abelian variety over an algebraically closed field of positive characteristic, the obstruction to lifting an automorphism to an Abelian variety over a field of characteristic zero as a morphism vanishes if and only if it vanishes for lifting it as an autoequivalence. We also compare the deformation space of these two types of deformations.
This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of pseudo finite type. Among our results we show that these infinitesimal properties of a map of usual schemes carry over into the completion with respect to suitable closed subsets. We characterize unramifiedness by the vanishing of the module of differentials. Also we see that a smooth morphism of noetherian formal schemes is flat and its module of differentials …
Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in $\operatorname{Spec}R$ using ordinal-indexed filtrations and direct summands are called very flat. The related class of very flat quasi-coherent sheaves over a scheme is intermediate between the classes of locally free and flat sheaves, and has serious technical advantages over both. In this paper we show that very flat modules and sheaves are ubiquitous in algebraic g…
We show that $\mathit{ann}$-categories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two $\mathit{ann}$-categories is equivalent to that of bimodule butterflies between the presentations. A bimodule butterfly is a specialization of a butterfly, i.e. a special kind of span or fraction, between the underlying complexes
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying A…
Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing argument gives lifting of Frobenius to $Z/p^2$) and we derive natural characteristic $p$ proofs of Bott vanishing and degeneration of the Danilov spectral sequence. For flag varieties we obtain generaliza…
We consider dominant, generically algebraic, and tamely ramified (if the characteristic is positive) morphisms $π: X/S \to Y/S$, where Y,S are Noetherian and integral and X is a Krull scheme (e.g. normal Noetherian), and study the sheaf of tangent vector fields on Y that lift to tangent vector fields on X. We give an easily computable description of these vector fields using valuations along the critical locus. We generalise to positive characteristic Seidenberg's theorem on lifting tangent vector fields to the normalisation. If $π$ is a blow-up of a coherent ideal I we show that tangent vecto…
Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {é}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough uses of quotients by equivalence relations whose graph is open and closed.
Let $W$ be the ring of the Witt vectors of a perfect field of characteristic $p$, $\mathfrak{X}$ a smooth formal scheme over $W$, $\mathfrak{X}'$ the base change of $\mathfrak{X}$ by the Frobenius morphism of $W$, $\mathfrak{X}_{2}'$ the reduction modulo $p^{2}$ of $\mathfrak{X}'$ and $X$ the special fiber of $\mathfrak{X}$. We lift the Cartier transform of Ogus-Vologodsky defined by $\mathfrak{X}_{2}'$ modulo $p^{n}$. More precisely, we construct a functor from the category of $p^{n}$-torsion $\mathscr{O}_{\mathfrak{X}'}$-modules with integrable $p$-connection to the category of $p^{n}$-torsi…
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
Let π: X -> S be a morphism of algebraic stacks that is locally of finite presentation with affine stabilizers. We prove that there is an algebraic S-stack, the Hilbert stack, parameterizing proper algebraic stacks mapping quasi-finitely to X. This was previously unknown, even for a morphism of schemes.
We consider the general problem of deforming a surjective map of modules $f : E \to F$ over a coproduct sheaf of rings $B=B_1 \otimes_A B_2$ when the domain module $E = B_1 \otimes_A E_2$ is obtained via extension of scalars from a $B_2$-module $E_2$. Assuming $B_1$ is flat over $A$, we show that the Atiyah class morphism $F \to \LL_{B/B_2} \otimes^{\bL} F[1]$ in the derived category $D(B)$ factors naturally through (the shift of) a morphism $β: \Ker f \to \LL_{B/B_2} \otimes^{\bL} F$. We describe the obstruction to lifting $f$ over a (square zero) extension $B_1' \to B_1$ in terms of $β$ and …
In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X \to S$ a flat, finitely presented, projective morphism of schemes, we give a complete proof that the moduli stack $Bun_G$ is an algebraic stack locally of finite presentation over $S$ with schematic, affine diagonal. In the process, we prove some properties of $BG$ and Hom stacks. We then define a level structure on $Bun_G$ to provide alternative presentations of quasi-compact open substacks. Finally, we prove that $Bun_G$ is smooth ov…
