Related papers: Rationality problem of generalized Ch\^atelet surf…

We show how the techniques of Voevodsky's proof of the Milnor conjecture and the Voevodsky- Rost proof of its generalization the Bloch-Kato conjecture can be used to study counterexamples to the classical L\"uroth problem. By generalizing a…

We prove the conjecture of Kac-Wakimoto on the rationality of exceptional W-algebras for the first non-trivial series, namely, for the Bershadsky-Polyakov vertex algebras $W_3^{(2)}$ at level $k=p/2-3$ with $p=3,5,7,...$. This gives new…

We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log…

K3 surfaces with non-symplectic involution are classified by open sets of seventy-five arithmetic quotients of type IV. We prove that those moduli spaces are rational except two classical cases.

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

We study surjective (not necessarily regular) rational endomorphisms $f$ of smooth del Pezzo surfaces $X$. We prove that under certain natural non\,-\,degeneracy condition $f$ can have degree bigger than $1$ only when $(-K_X^2) > 5$. Some…

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…

We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes…

Let a,b,c,d be nonzero rational numbers whose product is a square, and let V be the diagonal quartic surface in PP^3 defined by ax^4+by^4+cz^4+dw^4=0. We prove that if V contains a rational point that does not lie on any of the 48 lines on…

Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…

Let S be a minimal complex surface of general type with p_g=0 such that the bicanonical map of S is not birational and let Z be the bicanonical image. In [M.Mendes Lopes, R.Pardini, "Enriques surfaces with eight nodes", Math. Zeit. 241 (4)…

We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.

We show under the assumption that the Tate-Shafarevich group of any elliptic curve over the rational numbers is finite that the cubic surface $x_1^3 + p_1p_2x_2^3 + p_2p_3x_3^3 + p_3p_1x_4^3 = 0$ has a rational point, where $p_1, p_2$ and…

Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is…

It is a conjecture of Koll\'ar that a variety $X$ with rational singularities in some open subvariety $U$ has a rationalification; that is, a proper, birational morphism $f: Y \rightarrow X$ such that $Y$ has rational singularities, and…

Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a…

We classify all rational maps $H \in K(x)^n$ for which ${\rm trdeg}_K K(tH_1,tH_2,\ldots,tH_n) \le 2$, where $K$ is any field and $t$ is another indeterminate. Furthermore, we classify all such maps for which additionally $JH \cdot H = {\rm…

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be \'etale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let…

Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he…