相关论文: Rationality of an $S_6$-invariant quartic $3$-fold
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 $X\subset \P^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different…
We study rationality properties of real singular cubic threefolds.
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…
We study rationality constructions for smooth complete intersections of two quadrics over nonclosed fields. Over the real numbers, we establish a criterion for rationality in dimension four.
The purpose of this paper is: 1) to explain the Seiberg-Witten invariants, 2) to show that - on a K\"ahler surface - the solutions of the monopole equations can be interpreted as algebraic objects, namely effective divisors, 3) to give - as…
We study the rationality of the Peskine sixfolds in P^9. We prove the rationality of the Peskine sixfolds in the divisor D^{3,3,10} inside the moduli space of Peskine sixfolds and we provide a cohomological condition which ensures the…
This is a survey of the geometry of complex cubic fourfolds with a view toward rationality questions. Topics include classical constructions of rational examples, Hodge structures and special cubic fourfolds, associated K3 surfaces and…
Let $\Bbbk$ be any field of characteristic zero, $X$ be a cubic surface in $\mathbb{P}^3_{\Bbbk}$ and $G$ be a group acting on $X$. We show that if $X(\Bbbk) \ne \varnothing$ and $G$ is not trivial and not a group of order $3$ acting in a…
We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric…
For a transitive subgroup $G \le S_6$ which contain $C_3 \times C_3$ as subgroup, we prove that $K(x_1,\dots,x_6)^G$ is rational over $K$, where $K$ is any field, and $G$ acts naturally on $K(x_1,\dots,x_6)$ by permutations on the…
We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $\delta_{\mathcal{Q}^{n-1}}$ is unirational, and that…
Using Voisin's method we prove that a very general hypersurface of degree at least 4 in complex projective space of dimension 6, 7, 8 or 9 is not stably rational and so, in particular, not rational. We obtain the same conclusion for the…
In this note we construct several infinite families of diagonal quartic surfaces \begin{equation*} ax^4+by^4+cz^4+dw^4=0, \end{equation*} where $a,b,c,d\in\Z\setminus\{0\}$ with infinitely many rational points and satisfying the condition…
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…
Motivated by the question of rationality of cubic fourfolds, we show that a cubic X has an associated K3 surface in the sense of Hassett if and only if the variety F of lines on X is birational to a moduli space of sheaves on a K3 surface,…
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 $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…
For any prime $p\ge 5$, we show that generic hypersurface $X_p\subset\mathbb{P}^p$ defined over $\mathbb{Q}$ admits a non-trivial rational dominant self-map of degree $>1$, defined over $\bar{\mathbb{Q}}$. A simple arithmetic application of…
Let $G$ be a finite subgroup of $GL_4(\bm{Q})$. The group $G$ induces an action on $\bm{Q}(x_1,x_2,x_3,x_4)$, the rational function field of four variables over $\bm{Q}$. Theorem. The fixed subfield…