Related papers: A simple proof of the non-rationality of a general…

In this note we construct an example of a smooth projective threefold that is irrational over $\mathbb Q$ but is rational at all places. Our example is a complete intersection of two quadrics in $\mathbb P^5$, and we show it has the desired…

In this paper, we prove that a very general cubic threefold does not admit a universal codimension-two cycle and hence is stably irrational.

We prove the relation between the Hodge structure of the double cover of a nonsingular cubic surface branched along its Hessian and the Hodge structure of the triple cover of the ambient projective space branched along the cubic surface.…

We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement…

Let $X$ be a cubic fourfold in $P^5_{C}$. We prove that, assuming the Hodge conjecture for the product $S \times S$, where $S$ is a complex surface, and the finite dimensionality of the Chow motive $h(S)$, there are at most a countable…

We prove non-rationality and birational super-rigidity of a Q-factorial double cover X of P^3 ramified along a sextic surface with at most simple double points. We also show that the condition #|Sing(X)| < 15 implies Q-factoriality of X. In…

We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.

A double cover $Y$ of $\mathbb{P}^1 \times \mathbb{P}^2$ ramified over a general $(2,2)$-divisor will have the structure of a geometrically standard conic bundle ramified over a smooth plane quartic $\Delta \subset \mathbb{P}^2$ via the…

We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a…

A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on…

We study real double covers of $\mathbb P^1\times\mathbb P^2$ branched over a $(2,2)$-divisor, which have the structure of a conic bundle threefold with smooth quartic discriminant curve via the second projection. In each isotopy class of…

It is shown that a smooth global deformation of quartic double solids, i.e. double covers of $\mathbb P^3$ branched along smooth quartics, is again a quartic double solid without assuming the projectivity of the global deformation. The…

In this paper we investigate Moishezon twistor spaces which have a structure of double covering over a very simple rational threefold. These spaces can be regarded as a direct generalization of the twistor spaces studied by Poon and…

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…

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.

We prove that the transcendental motive of any quasi elliptic surface is trivial. To prove this, we focus on the uniruledness of quasi elliptic surfaces.

Let X be a smooth quartic surface not containing lines, defined over a number field K. We prove that there are only finitely many bitangents to X which are defined over K. This result can be interpreted as saying that a certain surface,…

This expository paper is concerned with the rationality problems for three-dimensional algebraic varieties with a conic bundle structure. We discuss the main methods of this theory. We sketch the proofs of certain principal results, and…

We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…

Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $\pi: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor…