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

A smooth rational surface X is a Coble surface if the anti-canonical linear system is empty while the anti-bicanonical linear system is non-empty. In this note we shall classify these X and consider the finiteness problem of the number of…

For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of…

The product of two Schubert classes in the quantum K-theory ring of a homogeneous space X = G/P is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on X. We show that if X is cominuscule, then…

We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$,…

Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $\Sigma_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover,…

Let X be a rational nonsingular compact connected real algebraic surface. Denote by Aut(X) the group of real algebraic automorphisms of X. We show that the group Aut(X) acts n-transitively on X, for all natural integers n. As an application…

We show that the pseudoeffective cone of $k$-cycles on a complete complexity one $T$-variety is rational polyhedral for any $k$, generated by classes of $T$-invariant subvarieties. When $X$ is also rational, we give a presentation of the…

We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition…

We develop contractive finite dimensional realizations for rational matrix functions of one variable on domains that are not simply connected, such as the annulus. The proof uses multivariable contractive realization results as well as…

We study the symplectic action of the group (Z/2Z)^2 on a K3 surface X: we describe its action on H^2(X,Z) and the maps induced in cohomology by the rational quotient maps; we give a lattice-theoretic characterization of the resolution of…

In the moduli space of polarized varieties the same unpolarized variety can occur multiple times However, for K3 surfaces, compact hyperk\"ahler manifolds, and abelian varieties the number is finite. This may be viewed as a consequence of…

We construct examples of projective toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone, both in characteristic $0$ and in every prime characteristic $p$. As a consequence, we prove that the…

The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.

In this paper, by running MMP and considering the anti-canonical fibration, we prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs $(X,\Delta)$ such that $\dim X$ is at most $4$, and the Iitaka dimension $\kappa(X,-K_X)$ is…

We prove that the Cox ring of a smooth rational surface with big anticanonical class is finitely generated. We classify surfaces of this type that are blow-ups of the plane at distinct points lying on a (possibly reducible) cubic.

Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively…

For a hypersurface in complex projective space $X\subset \PP^n$, we investigate the singularities and Kodaira dimension of the Kontsevich moduli spaces $\Kbm{0,0}{X,e}$ parametrizing rational curves of degree $e$ on $X$. If $d+e \leq n$ and…

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…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For…

We give a proof to the following theorem, which is well-known among experts: A connected subcomplex $W$ of a finite dimensional CAT(0) cubed complex $X$ is convex if and only if Lk$(v, W)$ is a full subcomplex of Lk$(v, X)$ for every vertex…