Search

We give an explicit description of the divisor class groups of rational trinomial varieties. As an application, we relate the iteration of Cox rings of any rational variety with torus action of complexity one to that of a Du Val surface., Comment: 17 pages

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)$ with $g \geqslant 1$. Finding the precise range of pairs $(g, n)$, where $M_{g, n}$ is rational, stably rational or unirational, is a problem of ongoing interest. In this paper we address the rationality problem for twisted forms of $\overline{M_{g, n}}$ defined over an arbitrary field $F$ of characteristic $\neq 2$. We show that all $F$-forms of $\overline{M_{g, n}}$ are stably rational for $g = 1$ and $3 \leqslant n \leqslant 4$, $g = 2$ and $2 \leqslant n \leqslant 3$, $g = 3$ and $1 \leqslant n \leqslant 14$, $g = 4$ and $1 \leqslant n \leqslant 9$, $g = 5$ and $1 \leqslant n \leqslant 12$., Comment: 13 pages, proofs much shortened, new coauthor

Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H) < 11 and characteristic(k) = 0. When H is of maximal rank in G, we also prove that G/H is rational if the maximal semisimple quotient of G is isogenous to a product of almost-simple groups of type A, type C (when characteristic(k) is not 2), or type B_3 or G_2 (when characteristic(k) = 0)., Transactions of the American Mathematical Society (to appear); Lemma 2.2 statement and Lemma 2.6 final part are slightly edited

An irreducible algebraic stack is called \emph{unirational} if there exists a surjective morphism, representable by algebraic spaces, from a rational variety to an open substack. We prove unirationality of the stack of prioritary omalous bundles on Hirzebruch surfaces, which implies also the unirationality of the moduli space of omalous $H$-stable bundles for any ample line bundle $H$ on a Hirzebruch surface. To this end, we find an explicit description of the duals of omalous rank-two bundles with a vanishing condition in terms of monads. Since these bundles are prioritary, we conclude that the stack of prioritary omalous bundles on a Hirzebruch surface different from $\mathbb P^1\times \mathbb P^1$ is dominated by an irreducible section of a Segre variety, and this linear section is rational \cite{I}. In the case of the space quadric, the stack has been explicitly described by N. Buchdahl. As a main tool we use Buchdahl's Beilinson-type spectral sequence. Monad descriptions of omalous bundles on hypersurfaces in $\mathbb P^4$, Calabi-Yau complete intersection, blowups of the projective plane and Segre varieties have been recently obtained by A. A. Henni and M. Jardim~\cite{HJ}, and monads on Hizebruch surfaces have been applied in a different context in~\cite{BBR}., Comment: Final version, to appear in J. Geom. Phys

In the present work we study parameter spaces of two line point configurations introduced by B\"or\"oczky. These configurations are extremal from the point of view of Dirac-Motzkin Conjecture settled recently by Green and Tao. They have appeared also recently in commutative algebra in connection with the containment problem for symbolic and ordinary powers of homogeneous ideals and in algebraic geometry in considerations revolving around the Bounded Negativity Conjecture. Our main results are Theorem A and Theorem B. We show that the parameter space of what we call $B12$ configurations is a three dimensional rational variety. As a consequence we derive the existence of a three dimensional family of rational $B12$ configurations. On the other hand the moduli space of $B15$ configurations is shown to be an elliptic curve with only finitely many rational points, all corresponding to degenerate configurations. Thus, somewhat surprisingly, we conclude that there are no rational $B15$ configurations., Comment: 17 pages, v.2. title modified, material reorganized, introduction new rewritten, discussion more streamlined

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 Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational., Comment: 10 pages; v3: application added: rationality does not specialize among klt varieties. To appear in Journal of the AMS

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$., Comment: slightly reorganized, 1 reference added

Let [Formula: see text] denote the locus of hyperelliptic curves of genus g whose automorphism group contains a subgroup isomorphic to G. We study spaces [Formula: see text] for G≅ℤn, ℤ2⊕ℤn, ℤ2⊕A4, or SL2(3). We show that for G≅ℤn, ℤ2⊕ℤn, the space [Formula: see text] is a rational variety and find generators of its function field. For G≅ℤ2⊕A4, SL2(3) we find a necessary condition in terms of the coefficients, whether or not the curve belongs to [Formula: see text]. Further, we describe algebraically the loci of such curves for g≤12 and show that for all curves in these loci, the field of moduli is a field of definition.

Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field.

Let K be any field and G be a finite group. Let G act on the rational function field by K-automorphisms defined by for any . Denote by the fixed field . Noether's problem asks whether is rational (i.e. purely transcendental) over K. We will prove that, if K is any field, p an odd prime number, and G is a nonabelian group of exponent p with or p 4 satisfying , then is rational over K. Moreover, it will be shown that is retract rational if G belongs to a much larger class of p-groups. In particular, generic G-polynomials of G-Galois extensions exist for these groups.

We prove the irredcibility (and the rational connectedness) of the moduli spaces of (free) morphisms from a projective line to a successive blowing-up of a product of projective spaces if a suitable numerical condition on morphisms is provided (and also if all centers of the blowing-up are rationally connected)., Comment: 11 pages

We prove a conjecture of Heath-Brown on the number of rational points of bounded height for a large class of projective varieties., Comment: 25 pages

Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for zero-cycles on surfaces can be restated more geometrically, which leads to several questions., Comment: 20 pages TeX