The moduli space M(r,d) of stable, rank r, degree d vector bundles on a smooth projective curve of genus g>1 is shown to be birational to M(h,0) x A, where h=hcf(r,d) and A is affine space of dimension (r^2-h^2)(g-1). The birational isomorphism is compatible with fixing determinants in M(r,d) and M(h,0) and we obtain as a corollary that the moduli space of bundles of rank r and fixed determinant of degree d is rational, when r and d are coprime. A key ingredient in the proof is the use of a naturally defined Brauer class for the function field of M(r,d).
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.
In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.
We show that each of the irreducible components of moduli of rank 2 torsion-free sheaves with odd Euler characteristic over a reducible nodal curve is rational.
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
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$.
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.
We prove that the moduli spaces of framed bundles over a smooth projective curve are rational. We compute the Brauer group of these moduli spaces to be zero under some assumption on the stability parameter.
Let $C$ be a chain-like curve over $\mathbb{C}$. In this paper, we investigate the rationality of moduli spaces of $w$-semistable vector bundles on $C$ of arbitrary rank and fixed determinant by putting some restrictions on the Euler characteristics.
K3 surfaces with non-symplectic symmetry of order 3 are classified by open sets of twenty-four complex ball quotients associated to Eisenstein lattices. We show that twenty-two of those moduli spaces are rational.
This mainly expository text translates into stack language the proof of King and Schofield for the rationality of moduli schemes of vector bundles on a curve in the coprime case. An appendix summarizes some basic properties of the relevant moduli stacks.
This article is a survey of P. Katsylo's proof that the moduli space of smooth projective complex curves of genus 3 is rational. We hope to make the argument more comprehensible and transparent by emphasizing the underlying geometry in the proof and its key structural features.
Let $M(2,\textbf{\underline{w}},χ)$ be the moduli space of rank $2$ torsion-free sheaves over a reducible nodal curve with each component having utmost two nodal singularities. We show that in each component of $M(2,\textbf{\underline{w}},χ)$, the closure of rank $2$ vector bundles with fixed determinant is rational.
We prove that the moduli space C(d) of plane curves of degree d (for projective equivalence) is rational except possibly if d= 6, 7, 8, 11, 12, 14, 15, 16, 18, 20, 23, 24, 26, 32, 48.
We show, for each algebraically closed field, the rationality of the following two moduli spaces: M(3,3) parametrizing pairs (C, η) where C has genus 3 and ηis a 3-torsion divisor class, respectively of M(3,<3>) parametrizing pairs (C, <η>) as above and where <η> is the cyclic subgroup of order 3 in Pic_0(C) generated by η.
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 present some recent achievements. Many open problems are also stated.
The global geometry of the moduli spaces of higher spin curves and their birational classification is largely unknown for g >= 2 and r > 2. Using quite related geometric constructions, we almost complete the picture of the known results in genus g <= 4 showing the rationality of the moduli spaces of even and odd 4-spin curves of genus 3, of odd spin curves of genus 4 and of 3-spin curves of genus 4.
We prove that the moduli space M_L of L"uroth quartics in P^2, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL_3(CC) is rational, as is the related moduli space of Bateman seven-tuples of points in P^2.
Refereed version to appear in Michigan Mathematical Journal. A mistake in the last section of the previous version has been corrected. The new title exactly describes the main result obtained. Building on the geometry of cubic surfaces and on a theorem of Dolgachev, the rationality of the moduli space R mentioned in the title is proved. Let M be the moduli space of 6 points in the plane, modulo the natural involution induced by double-six configurations on cubic surfaces. It is proved that R is birational to a tower of locally trivial projective bundles ending onto M. The rationality of R then…
We prove a general specialization theorem which implies stable irrationality for a wide class of quadric surface bundles over rational surfaces. As an application, we solve with the exception of two cases, the stable rationality problem for any very general complex projective quadric surface bundle over the projective plane, given by a symmetric matrix of homogeneous polynomials. Both exceptions degenerate over a plane sextic curve and the corresponding double cover is a K3 surface.
Iterated Grassmannian bundles over moduli stacks of vector bundles on a curve are shown to be birational to an affine space times a moduli stack of degree 0 vector bundles, following the method of King and Schofield. Applications include the birational type of some Brill-Noether loci, of moduli schemes for vector bundles with parabolic structure or with level structure and for A. Schmitt's decorated vector bundles. A further consequence concerns the existence of Poincare families on finite coverings of the moduli schemes.
This is a survey of the rationality problem in invariant theory. It also contains some new results, in particular in Chapter 2 on moduli spaces of plane curves with a theta-characteristic, and a detailed account of the relation of the Hesselink stratification of the Hilbert nullcone to the rationality problem, with an application to the rationality of the moduli space of plane curves of degree 34.
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…
We show that a standard conic bundle over a minimal rational surface is rational and its Jacobian splits as the direct sum of Jacobians of curves if and only if its derived category admits a semiorthogonal decomposition by exceptional objects and the derived categories of those curves. Moreover, such a decomposition gives the splitting of the intermediate Jacobian also when the surface is not minimal.
We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.
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.
Motivated by several recent results on the geometry of the moduli spaces $\bar{\Cal M}_{g,n}$ of stable curves of genus $g$ with $n$ marked points, here we determine their birational structure for small values of $g$ and $n$ by exploiting suitable plane models of the general curve. More precisely, we show that ${\Cal M}_{g,n}$ is rational for $g=2$ and $1\le n\le 12$, $g=3$ and $1\le n\le 14$, $g=4$ and $1\le n\le 15$, $g=5$ and $1\le n\le 12$.
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.
Let S be a general complex Nikulin surface of genus 8, a geometric construction of S is given as follows. Consider a smooth 3-fold linear section T of the Grassmannian G(1,4) and the Hilbert scheme of rational normal sextic curves of T. In it consider the special family of sextics A which are also contained in the congruence of bisecant lines to a rational normal quartic curve of P^4. We show that S is biregular to a quadratic section of T containing a sextic A. In particular A admits a 1-dimensional family of bisecant lines contained in G(1,4) and 8 of them are in S. This explicit constructio…
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 smooth plane quartics, we construct examples where the total space of the conic bundle is rational. For five of the six isotopy classes we construct $\mathbb C$-rational examples that have obstructions to rationality over $\mathbb R$, and for the sixth class, we show that the models we consider are all rational. Moreover, for three of the five classes with ir…
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$.
The moduli space of parabolic bundles with fixed determinant over a smooth curve of genus greater than one is proved to be rational whenever one of the multiplicities associated to the quasi-parabolic structure is equal to one. It follows that if rank and degree are coprime, the moduli space of vector bundles is stably rational, and the bound obtained on the level is strong enough to conclude rationality in many cases.
Let $C$ be a smooth, projective, geometrically irreducible curve defined over $\mathbb{R}$ such that $C(\mathbb{R}) = \emptyset$. Let $r>0$ and $d$ be integers which are coprime. Let $L$ be a line bundle on $C$ which corresponds to an $\mathbb{R}$ point of ${\rm Pic}^d_{C/\mathbb{R}}$. Let $\mathcal{M}_{r,L}$ be the moduli space of stable bundles on the complexification of $C$ of rank $r$ and determinant $L$. We classify birational types of $\mathcal{M}_{r,L}$ over $\mathbb{R}$.
Let $k$ be a field with char $k \not= 2$, $X$ be an affine surface defined by the equation $z^2=P(x)y^2+Q(x)$ where $P(x), Q(x) \in k[x]$ are separable polynomials. We will investigate the rationality problem of $X$ in terms of the polynomials $P(x)$ and $Q(x)$. The necessary and sufficient condition is $s \leq 3$ with minor exceptions, where $s=s_1+s_2+s_3+s_4$, $s_1$ (resp. $s_2$, resp. $s_3$) being the number of $c \in \overline{k}$ such that $P(c)=0$ and $Q(c) \not\in k(c)^2$ (resp. $Q(c)=0$ and $P(c) \not\in k(c)^2$, resp. $P(c)=Q(c)=0$ and $-\frac{Q}{P}(c) \not\in k(c)^2$). $s_4=0$ or $1…
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, but that having F birational to Hilb^2(K3) is more restrictive. We compare the loci in the moduli space of cubics where each condition is satisfied.
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main result is to show that given a representation ρ of a reductive algebraic group G, there exists an integer t such that any semistable G-bundle whose first t frobenius pullbacks are semistable induces a semistable vector bundle on extension of structure group via ρ. Moreover we quantify the number of such frobenius pullbacks required.
In this paper, we show the existence of a Chow--Kuenneth decomposition for the moduli stack of stable curves of genus g with r marked points, for low values of g,r. We also look at the moduli space R of double covers of genus 3 curves, branched along 4 distinct points. We obtain a birational model of the moduli space R as a group quotient of a product of two Grassmanian varieties. This provides a Chow-Kuenneth decomposition over an open subset of R. The question of rationality of R is also discussed.
We prove that the moduli space of tetragonal curves of genus g>6 is rational when g is congruent to 1, 2, 5, 6, 9, 10 modulo 12 and not equal to 9, 45.
Conic bundle threefolds differing by a constant Brauer class and connections to rationality
Rice University（莱斯大学）；University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Utrecht University（乌得勒支大学）；University of Washington（华盛顿大学）；Brown University（布朗大学）
We prove that a very general hypersurface of bidegree (2, n) in P^2 x P^2 for n bigger than or equal to 2 is not stably rational, using Voisin's method of integral Chow-theoretic decompositions of the diagonal and their preservation under mild degenerations. At the same time, we also analyse possible ways to degenerate Prym curves, and the way how various loci inside the moduli space of stable Prym curves are nested. No deformation theory of stacks or sheaves of Azumaya algebras like in recent work of Hasset-Kresch-Tschinkel is used, rather we employ a more elementary and explicit approach via…
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 discriminant curves of fixed degree. In particular, we construct explicit models of these bundles for some discriminant data. Among others, we obtain various birational models of a nodal Gushel-Mukai fourfold, as well as of a cubic fourfold containing a plane. Finally, we prove stable irrationality of several types of quadric surface bundles.
We study the problem of rationality of an infinite series of components, the so-called Ein components, of the Gieseker-Maruyama moduli space $M(e,n)$ of rank 2 stable vector bundles with the first Chern class $e=0$ or -1 and all possible values of the second Chern class $n$ on the projective 3-space. The generalized null correlation bundles constituting open dense subsets of these components are defined as cohomology bundles of monads whose members are direct sums of line bundles of degrees depending on nonnegative integers $a,b,c$, where $b\ge a$ and $c>a+b$. We show that, in the wide range w…
