Related papers: Resolution of Singularities in Arbitrary Character…

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

We show that any hyperplane section of a variety which is the inverse image of a smooth variety of dimension at least 2 by an endomorphism (wich is not an automorphism) of the projective space, is linearly complete. We stress the case of…

Let $X$ be a projective variety with an isolated $A_2$ singularity. We study its bounded derived category and prove that there exists a crepant categorical resolution $\pi_*\colon \widetilde{\mathcal{D}} \to D^b(X)$, which is a Verdier…

We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…

Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x),…

Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…

We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…

We provide an internal characterization of those finite algebras (i.e., algebraic structures) $\mathbf A$ such that the number of homomorphisms from any finite algebra $\mathbf X$ to $\mathbf A$ is bounded from above by a polynomial in the…

Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism \sigma that fixes pointwise all the order two…

We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.

Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…

We give necessary and sufficient conditions on the singular Bj\"{o}rling data to the singular Bj\"{o}rling problem's solution has a prescribed nature of singularity. As an application, we prove that near a maxface with a particular type of…

We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has…

We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of…

A theory of simultaneous resolution of singularities for families of embedded varieties (over a field of characteristic zero) parametrized by the spectrum of a suitable artinian ring, and compatible with a given algorithm of resolution, is…

We show that a complex normal surface singularity admitting a contracting automorphism is necessarily quasihomogeneous. We also describe the geometry of a compact complex surface arising as the orbit space of such a contracting…

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…

Let X be an orbifold with crepant resolution Y. The Crepant Resolution Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum cohomology of X becomes isomorphic to the quantum cohomology of Y after analytic…

We study the equation for improper (parabolic) affine spheres from the view point of contact geometry and provide the generic classification of singularities appearing in geometric solutions to the equation as well as their duals. We also…