The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The last moduli space is finally proved to be rational since it has a natural structure of $\mathbb P^n$-bundle over a $ k $-stably rational variety with $k \leq n$.
We discuss birational properties of Mukai varieties, i.e., of higher-dimensional analogues of prime Fano threefolds of genus $g \in \{7,8,9,10\}$ over an arbitrary field $\mathsf{k}$ of zero characteristic. In the case of dimension $n \ge 4$ we prove that these varieties are $\mathsf{k}$-rational if and only if they have a $\mathsf{k}$-point except for the case of genus $9$, where we assume $n \ge 5$. Furthermore, we prove that Mukai varieties of genus $g \in \{7,8,9,10\}$ and dimension $n \ge 5$ contain cylinders if they have a $\mathsf{k}$-point. Finally, we prove that the embedding $X \hook…
Using the isomorphism between the moduli space of polarized K3 surfaces of genus 14 and the moduli space of special cubic fourfolds of discriminant 26, we establish the rationality of the universal K3 surface of genus 14. Precisely, we show that the universal K3 surface of genus 14 is a projective bundle over a certain moduli space of nodal scrolls in P^5, whose rationality we prove using a degenerate version of Mukai's structure theorem for curves of genus 8.
By the geometry of the 3-fold quadric we show that the coarse moduli space of genus g ineffective spin hyperelliptic curves with two marked points is a rational variety for every $g \geq 2$.
Using the geometry of an almost del Pezzo threefold, we show that the moduli space of genus $g$ one-pointed ineffective spin hyperelliptic curves is rational for every $g\geq 2$.
We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly in cubic hypersurfaces of low dimensions. For example, we show that if a generic cubic fourfold is stably rational then the Beauville--Bogomolov form on its variety of lines, viewed as an integral Hodge class on the self product of its variety of lines, is algebraic. In dimension $3$ and $5$, we relate stable rationality with the geometry of the associated i…
Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ wit…
Primitively polarized genus $g$ Nikulin surfaces $(S,M,H)$ are of two types, that we call standard and non-standard depending on whether the lattice embedding $\mathbb{Z}[H] \oplus_{\perp} \mathbf{N} \subset \rm{Pic}(S)$ is primitive. Here $H$ is the genus $g$ polarization and $\mathbf{N}$ is the Nikulin lattice. We concentrate on the non-standard case, which only occurs in odd genus. In particular, we study the birational geometry of the moduli space of non-standard Nikulin surfaces of genus $g$ and prove its rationality for $g=7,11$ and the existence of a rational double cover of it when $g=…
We classify all positive integers n and r such that (stably) non-rational complex r-fold quadric bundles over rational n-folds exist. We show in particular that for any n and r, a wide class of smooth r-fold quadric bundles over projective n-space are not stably rational if r lies in the interval from $2^{n-1}-1$ to $2^{n}-2$. In our proofs we introduce a generalization of the specialization method of Voisin and Colliot-Thélène--Pirutka which avoids universally $CH_0$-trivial resolutions of singularities.
We study the stable rationality problem for quadric and cubic surface bundles over surfaces from the point of view of the degeneration method for the Chow group of 0-cycles. Our main result is that a very general hypersurface X of bidegree (2,3) in P^2 x P^3 is not stably rational. Via projections onto the two factors, X is a cubic surface bundle over P^2 and a conic bundle over P^3, and we analyze the stable rationality problem from both these points of view. This provides another example of a smooth family of rationally connected fourfolds with rational and nonrational fibers. Finally, we in…
Let $\mathfrak p$ be any point in the moduli space of genus-two curves $\mathcal M_2$ and $K$ its field of moduli. We provide a universal equation of a genus-two curve $\mathcal C_{α, β}$ defined over $K(α, β)$, corresponding to $\mathfrak p$, where $α$ and $β$ satisfy a quadratic $α^2+ b β^2= c$ such that $b$ and $c$ are given in terms of ratios of Siegel modular forms. The curve $\mathcal C_{α, β}$ is defined over the field of moduli $K$ if and only if the quadratic has a $K$-rational point $(α, β)$. We discover some interesting symmetries of the Weierstrass equation of $\mathcal C_{α, β}$. …
For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compactified universal Jacobian over the moduli space of stable pointed genus-$g$ curves.
We bound the dimensions of the graded pieces of the tautological ring of the universal curve from below for genus up to 27 and from above for genus up to 9. As a consequence we obtain the precise structure of the tautological ring of the universal curve for genus up to 9. In particular, we see that it is Gorenstein for these genera.
Rajiv Gandhi Institute of Petroleum Technology(拉吉夫·甘地石油技术研究所);Indian Institute of Technology (Indian School of Mines) IIT (ISM) Dhanbad(印度理工学院(印度矿业学院)丹巴德分校);Indian Institute of Technology(BHU), Varanasi(印度理工学院(贝拿勒斯 Hindu 大学),瓦拉纳西)
We construct a moduli space for Riemann surfaces that is universal in the sense that it represents compact Riemann surfaces of any finite genus. This moduli space is stratifed according to genus, and it carries a metric and a measure that induce a Riemannian metric and a finite volume measure on each stratum. Applications to the Plateau-Douglas problem for minimal surfaces of varying genus and to the partition function of Bosonic string theory are outlined. The construction starts with a universal moduli space of Abelian varieties. This space carries a structure of an infinite dimensional loca…
We compute the Brauer group of the universal moduli stack of vector bundles on (possibly marked) smooth curves of genus at least three over the complex numbers. As consequence, we obtain an explicit description of the Brauer group of the smooth locus of the associated moduli space of semistable vector bundles, when the genus is at least four.
We introduce a general abstract notion of fine compactified Jacobian for nodal curves of arbitrary genus. We focus on genus 1 and prove combinatorial classification results for fine compactified Jacobians in the case of a single nodal curve and in the case of the universal family over the moduli space of stable pointed curves. We show that if the fine compactified Jacobian of a nodal curve of genus 1 can be extended to a smoothing of the curve, then it can be described as the moduli space of stable sheaves with respect to some polarisation. In the universal case we construct new examples of ge…
We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g<12, and is a variety of general type for g\geq 12. The key ingredient is an intersection-theoretic study of the universal antiramification locus of the Gauss map. We also present a complete classification of the universal symmetric product of degree g-2 over M_g.
Using the connection discovered by Hassett between the Noether-Lefschetz moduli space of special cubic fourfolds of discriminant 42 and the moduli space F_{22} of polarized K3 surfaces of genus 22, we show that the universal K3 surface over F_{22} is unirational.
Let $X$ be a del Pezzo surface of degree $5$ defined over a field $F$. A theorem of Yu. I. Manin and P. Swinnerton-Dyer asserts that every Del Pezzo surface of degree $5$ is rational. In this paper we generalize this result as follows. Recall that del Pezzo surfaces of degree $5$ over a field $F$ are precisely the twisted $F$-forms of the moduli space $\overline{M_{0, 5}}$ of stable curves of genus $0$ with $5$ marked points. Suppose $n \geq 5$ is an integer, and $F$ is an infinite field of characteristic $\neq 2$. It is easy to see that every twisted $F$-form of $\overline{M_{0, n}}$ is unira…
We will prove that given a genus-2 fibration $f: X \rightarrow C$ on a smooth projective surface $X$ such that $b_1(X)=b_1(C)+2$, the fundamental group of $X$ is almost isomorphic to $π_1(C) \times π_1(E)$, where $E$ is an elliptic curve. We will also verify the Shafarevich Conjecture on holomorphic convexity of the universal cover of surfaces $X$ with genus-2 fibration $X\rightarrow C$ such that $b_1(X)>b_1(C)$.
We construct the universal Mumford curve of given genus as a family of Mumford curves over the deformation space of degenerate curves in the category of arithmetic formal geometry. Furthermore, we give explicit formulas of abelian differentials and their periods of the universal Mumford curve.