Related papers: Smoothness, Semistability, and Toroidal Geometry

We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves…

We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

In this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…

A. Moriwaki proved the following arithmetic analogue of the Bogomolov unstability theorem. If a torsion-free hermitian coherent sheaf on an arithmetic surface has negative discriminant then it admits an arithmetically destabilising…

Let G be a connected simply-connected reductive algebraic group. In this article, we consider the normal algebraic varieties equipped with a horospherical G-action such that the quotient of a G-stable open subset is a curve. Let X be such a…

Let $k$ be a perfect field and let $C_0:f=0$ be a smooth curve in the torus $\mathbb{G}_{m,k}^2$. Let $\mathbb{T}_\Delta$ be the toric variety associated to the Newton polygon of $f$. Extending the toric resolution of $C_0$ on…

We provide a construction of examples of semistable degeneration via toric geometry. The applications include a higher dimensional generalization of classical degeneration of K3 surface into 4 rational components, an algebraic geometric…

We establish a quantitative version of the Gromov compactness theorem for closed genus 0 pseudoholomorphic curves in the setting of a tamed almost complex manifold with bounded geometry.

By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…

A toric del Pezzo surface $X_P$ with cyclic quotient singularities determines and is determined by a Fano polygon $P$. We construct an affine manifold with singularities that partially smooths the boundary of $P$; this a tropical version of…

The real solutions to a system of sparse polynomial equations may be realized as a fiber of a projection map from a toric variety. When the toric variety is orientable, the degree of this map is a lower bound for the number of real…

The tropicalization of an algebraic variety X is a combinatorial shadow of X, which is sensitive to a closed embedding of X into a toric variety. Given a good embedding, the tropicalization can provide a lot of information about X. We…

In the current paper we show that the dimension of a family $V$ of irreducible reduced curves in a given ample linear system on a toric surface $S$ over an algebraically closed field is bounded from above by $-K_S.C+p_g(C)-1$, where $C$…

We present and expand some existing results on the Zariski closure of cyclic groups and semigroups of matrices. We show that, with the exclusion of isolated points, their irreducible components are toric varieties. Additionally, we…

Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the…

In this paper we prove the following theorem. Let $f$ be a dominant endomorphism of a smooth projective surface over an algebraically closed field of characteristic $0$. If there is no nonconstant invariant rational function under $f$, then…

For a singular variety X, an essential step to determine its smoothability and study its deformations is the understanding of the tangent sheaf and of the sheaf T^1_X:=ext^1(Omega_X,O_X). A variety is semi-smooth if its singularities are…

We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…

Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture…