相关论文: Rationality of an $S_6$-invariant quartic $3$-fold
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We show that there exists a $2$-dimensional family of smooth cubic threefolds admitting unirational parametrizations of coprime degrees. This together with Clemens--Griffiths' work solves the long standing open problem whether there exists…
We prove that if a symplectic 4-manifold $X$ becomes a rational 4-manifold after applying rational blow-down surgery, then the symplectic 4-manifold $X$ is originally rational. That is, a symplectic rational blow-up of a rational symplectic…
Let $G\subset SO(4)$ denote a finite subgroup containing the Heisenberg group. In these notes we classify all these groups, we find the dimension of the spaces of $G$-invariant polynomials and we give equations for the generators whenever…
We give a topological interpretation of the core group invariant of a surface embedded in S^4. We show that the group is isomorphic to the free product of the fundamental group of the double branch cover of S^4 with the surface as a…
The works of Hassett and Kuznetsov identify countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and conjecture that the cubics corresponding to…
We give examples of smooth $\k$-unirational line-free quartic hypersurfaces over a non algebraically closed field $\k$. Unlike other methods of proving unirationality, our method does not rely on existence of linear spaces on quartics.
Fix a finite group $G$. We seek to classify varieties with $G$-action equivariantly birational to a representation of $G$ on affine or projective space. Our focus is odd-dimensional smooth complete intersections of two quadrics, relating…
We investigate birational properties of hypersurfaces of degree $6$ in the weighted projective space $\mathbf{P}(1,1,2,2,3)$. In particular, we prove that any such quasi-smooth hypersurface is not rational.
Rational quartic spectrahedra in 3-space are semialgebraic convex subsets in $\mathbb{R}^3$ of semidefinite, real symmetric $(4 \times 4)$-matrices, whose boundary admits a rational parameterization. The Zariski closure in…
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.
For a general cubic fourfold $X \subset \mathbb{P}^5$, we compute the Hodge numbers of the locus $S \subset F$ of lines of second type. We also give an upper bound of 6 for the degree of irrationality of the Fano scheme of lines of any…
For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…
We prove the birational superrigidity and nonrationality of a hypersurface in $\mathbb{P}^{6}$ of degree 6 having at most isolated ordinary double points.
We prove the existence of a family $\mathcal{X}\rightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are…
We study a double cover $\psi:X\to V\subset\mathbb{P}^{n}$ branched over a smooth divisor $R\subset V$ such that $R$ is cut on $V$ by a hypersurface of degree $2(n-\mathrm{deg}(V))$, where $n\geqslant 8$ and $V$ is a smooth hypersurface of…
We study rationality problem for the quotient of $\mathbb{C}^4$ by a finite primitive group $G$ of Type (I). We prove that this quotient is a rational variety for any such $G$.
The surface corresponding to the moduli space of quadratic endomorphisms of $\mathbb{P}^1$ with a marked periodic point of order $n$ is studied. It is shown that the surface is rational over $\mathbb{Q}$ when $n\le 5$ and is of general type…
We define a categorical birational invariant for minimal geometrically rational surfaces with a conic bundle structure over a perfect field via components of a natural semiorthogonal decomposition. Together with the similar known result on…
We show that the birationality class of a quadric surface bundle over $\mathbb{P}^2$ is determined by its associated cokernel sheaves. As an application, we discuss stable-rationality of very general quadric bundles over $\mathbb{P}^2$ with…