Related papers: On Morrison's cone conjecture for klt sufaces with…

First, we shall formulate and prove Theorem of Lie-Kolchin type for a cone and derive some algebro-geometric consequences. Next, inspired by a recent result of Dinh and Sibony we pose a conjecture of Tits type for a group of automorphisms…

We prove that the Kawamata-Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W_2(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata-Viehweg…

A compact K\"ahler manifold is shown to be simply-connected if its `symmetric cotangent algebra' is trivial. Conjecturally, such a manifold should even be rationally connected. The relative version is also shown: a proper surjective…

We study a double solid X branched along a nodal sextic surface in a projective space and the 2-torsion subgroup in the third integer cohomology group of a resolution of singularities of X. This group can be considered as an obstruction to…

Let $E\subseteq \mathbb{P}^2$ be a complex rational cuspidal curve contained in the projective plane. The Coolidge-Nagata conjecture asserts that $E$ is Cremona equivalent to a line, i.e. it is mapped onto a line by some birational…

For a once-punctured complex torus, we compare the Bergman kernel and the fundamental metric, by constructing explicitly the Evans-Selberg potential and discussing its asymptotic behaviors. This work aims to generalize the Suita type…

For a knot $K$, Kakimizu introduced a simplicial complex whose vertices are all the isotopy classes of minimal genus spanning surfaces for $K$. The first purpose of this paper is to prove the 1-skeleton of this complex has diameter bounded…

We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let $R\to S$ be a pure homomorphism of equicharacteristic zero Noetherian local rings. If $S$ is regular, then $R$ is…

We shall give, in an optimal form, a sufficient numerical condition for the finiteness of the fundamental group of the smooth locus of a normal K3 surface. We shall moreover prove that, if the normal K3 surface is elliptic and the above…

Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre…

We describe the positive cone and the pseudo-effective cone of a non-K\"ahlerian surface. We use these results for two types of applications: - Describe the set $\sigma(X)$ of possible total Ricci scalars associated with Gauduchon metrics…

We develop a method of finding a Cox ring of a crepant resolution of a quotient singularity with a torus action and apply it to examples of symplectic quotient singularities in dimension 4. In addition we obtain a bound on the degrees of…

We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real…

We prove the Parshin's conjecture on the rational triviality of the higher algebraic $K$-theory of smooth projective varieties over finite fields. This is known to imply the Beilinson-Soul\'e conjecture for the fields of positive…

As the sequel to [3], we construct a minimal complex surface of general type with p_g=0, K^2=2 and H_1=Z/2Z using a rational blow-down surgery and Q-Gorenstein smoothing theory. We also present an example of p_g = 0,K^2 = 2 and H_1 = Z/3Z.

The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth…

We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered…

Let $K$ be a smooth convex set with volume one in $\BBR^d$. Choose $n$ random points in $K$ independently according to the uniform distribution. The convex hull of these points, denoted by $K_n$, is called a {\it random polytope}. We prove…

We prove that the automorphism group of a general complete intersection $X$ in a projective space is trivial with a few well-understood exceptions. We also prove that the automorphism group of a complete intersection $X$ acts on the…

For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.