We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
Let $f\colon X\to B$ be a semistable fibration where $X$ is a smooth variety of dimension $n\geq 2$ and $B$ is a smooth curve. We give the structure theorem for the local system of the relative $1$-forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*ω_{X/B}$. We apply our interpretation to show the existence, up to base change, of higher irrational pencils and on the finiteness of the associated monodromy representations under natural Castelnuovo-type hypothesis on local subsystems. Finally we give a criterion to have that $X$ is not …
We define a new notion of supported global deformation class for a semistable family of complex varieties over a curve $f\colon X\to B$. We use this notion to study when $X$, possibly up to a finite covering, has a generically finite morphism onto a product $B\times Y$ with $Y$ of general type.
Let $f\colon X\to Y$ be a semistable fibration between smooth complex varieties of dimension $n$ and $m$. This paper contains an analysis of the local systems of de Rham closed relative one forms and top forms on the fibers. In particular the latter recovers the local system of the second Fujita decomposition of $f_*ω_{X/Y}$ over higher dimensional base. The so called theory of Massey products allows, under natural Castelnuovo-type hypothesis, to study the finiteness of the associated monodromy representations. Motivated by this result, we also make precise the close relation between Massey pr…
We show that, in general, there exist non-vanishing triple Massey products in the cohomology with finite field coefficients of a complex hypersurface complement. In contrast, the Massey products, triple and higher, in the rational cohomology of such a space are all known to vanish.
For $x$ an element of a field other than $0$ or $1$, we compute the order $n$ Massey products $$\langle (1-x)^{-1}, x^{-1}, \ldots, x^{-1}, (1-x)^{-1} \rangle$$ of $n-2$ factors of $x^{-1}$ and two factors of $(1-x)^{-1}$ by embedding $\mathbb{P}^1 - \{0,1,\infty\}$ into its Picard variety and constructing $\operatorname{Gal}(k^s/k)$ equivariant maps from $π_1$ applied to this embedding to unipotent matrix groups. This method produces obstructions to $π_1$-sections of $\mathbb{P}^1 - \{0,1,\infty\}$, partial computations of obstructions of Jordan Ellenberg, and also computes the Massey product…
We prove a stronger version of a criterion of rationality given by Ionescu and Russo. We use this stronger version to define an invariant for rational varieties (we call it rationality degree), and we classify rational varieties for small values of the invariant.
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
We investigate basic properties of uniformly rational varieties, i.e. those smooth varieties for which every point has a Zariski open neighborhood isomorphic to an open subset of A^n. It is an open question of Gromov whether all smooth rational varieties are uniformly rational. We discuss some potential criteria that might allow one to show that they form a proper subclass in the class of all smooth rational varieties. Finally we prove that small algebraic resolutions and big resolutions of nodal cubic threefolds are uniformly rational.
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
We give upper and lower bounds for the number of rational points on Prym varieties over finite fields. Moreover, we determine the exact maximum and minimum number of rational points on Prym varieties of dimension 2.
In this article we give the definitions of log Fano varieties and log Calabi-Yau varieties in the framework of theory of log schemes of Fontain-Illusie-Kato and give congruences of the cardinalities of rational points of them over the log points of finite fields.
The aim of these notes is to give a introduction to the ideas and techniques of handling rational curves on varieties. The main emphasis is on varieties with many rational curves which are the higher dimensional analogs of rational curves and surfaces. The first six sections closely follow the lectures of J. Kollár given at the summer school ``Higher dimensional varieties and rational points''. The notes were written up by C. Araujo and substantially edited later. Revised version with 2 new sections.
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.
Complex projective algebraic varieties with $\mathbb{C}^*$-actions can be thought of as geometric counterparts of birational transformations. In this paper we describe geometrically the birational transformations associated to rational homogeneous varieties endowed with a $\mathbb{C}^*$-action with no proper isotropy subgroups.
This note proves the existence of universal rational parametrizations. The description involves homogeneous coordinates on a toric variety coming from a lattice polytope. We first describe how smooth toric varieties lead to universal rational parametrizations of certain projective varieties. We give numerous examples and then discuss what happens in the singular case. We also describe rational maps to smooth toric varieties.
Let pi be a pro-l completion of a free group, and let G be a profinite group acting continuously on pi. First suppose the action is given by a character. Then the boundary maps delta_n: H^1(G, pi/[pi]_n) -> H^2(G, [pi]_n/[pi]_{n+1}) are Massey products. When the action is more general, we partially compute these boundary maps. Via obstructions of Jordan Ellenberg, this implies that pi_1 sections of P^1_k-{0,1,infty} satisfy the condition that associated nth order Massey products in Galois cohomology vanish. For the pi_1 sections coming from rational points, these conditions imply that < (1-x)^…
We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties.
In this paper we show that if two central simple $k$-algebras generate the same cyclic subgroup in $\mathrm{Br}(k)$, then there are rational maps between varieties associated to these algebras, such as Brauer--Severi varieties, norm hypersurfaces and symmetric powers. In some cases we even have rational embeddings. We also relate the obtained results to the Amitsur conjecture.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian varieties by Galois covers of irreducible quasi-projective varieties. In particular, the resutls we obtain contribute in the construction of Jacobians (of covers of the projective line) of high rank.
We shortly describe the algorithms behind some of the functions provided by the Macaulay2 package MultiprojectiveVarieties, a package for multi-projective varieties and rational maps between them.
In this paper, we give an affirmative answer to a conjecture in the Minimal Model Program. We prove that log $Q$-Fano varieties of dim $n$ are rationally connected. We also study the behavior of the canonical bundles under projective morphisms.
Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.
Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and nor…
This work is a PhD thesis. First we provide some general context on wonderful varieties and moduli spaces of rational curves. Working over complex numbers we prove that the moduli space of rational curves with no marked points on the wonderful compactification of a symmetric space is not irreducible in general. Lastly we show that in the case of wonderful group compactifications the set of rational curves with no marked points and irreducible source is irreducible.
A smooth variety is called uniformly rational if every point admits a Zariski open neighborhood isomorphic to a Zariski open subset of the affine space. In this note we show that every smooth and rational affine variety endowed with an algebraic torus action such that the algebraic quotient has dimension 0 or 1 is uniformly rational.
We study finite $p$-subgroups of birational automorphism groups. By virtue of boundedness theorem of Fano varieties, we prove that there exists a constant $R(n)$ such that a rationally connected variety of dimension $n$ over an algebraically closed field is rational if its birational automorphism group contains a $p$-subgroups of maximal rank for $p > R(n)$. Some related applications on Jordan property are discussed.
A powerful method pioneered by Swinnerton-Dyer allows one to study rational points on pencils of curves of genus 1 by combining the fibration method with a sophisticated form of descent. A variant of this method, first used by Skorobogatov and Swinnerton-Dyer in 2005, can be applied to study rational points on Kummer varieties. In this paper we extend the method to include an additional step of second descent. Assuming finiteness of the relevant Tate-Shafarevich groups, we use the extended method to show that the Brauer-Manin obstruction is the only obstruction to the Hasse principle on Kummer…
Self-rational maps of generic algebraic K3 surfaces are conjectured to be trivial. We relate this conjecture to a conjecture concerning the irreducibility of the universal Severi varieties parametrizing nodal curves of given genus and degree lying on some K3 surface. We also establish a number of numerical constraints satisfied by such non trivial rational maps, that is of topological degree >1.
The purpose of this paper is to show that the third unramified cohomology with divisible coefficients of a smooth projective geometrically rational threefold over a finite field must vanish under $\Z_{\ell}$-exactness Hard Lefschetz condition.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
We study homotopy rational points of Brauer-Severi varieties over fields of characteristic zero. We are particularly interested if a Brauer-Severi variety admitting a homotopy rational point splits. The analogue statement turns out to be true for open subvarieties of twisted hyperplane arrangements. In the complete case, the obstruction turns out to be the pullback of the Chern class of a generator of the Picard group along the homotopy rational point. Moreover, we will show that every Brauer-Severi variety over a $p$-adic field with $p$-primary period admits a homotopy rational point.
In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any characteristic.
This note studies, and partially solves, 3 elementary questions about continuous rational functions on real (and p-adic) algebraic varieties: Can one restrict such a function to a subvariety? Can one extend such a function from a subvariety? Which linear equations can be solved using such functions?
Starting from certain rational varieties blown-up from (P^1)^N, we construct a tropical, i.e., subtraction-free birational, representation of Weyl groups as a group of pseudo isomorphisms of the varieties. Furthermore, we develop an algebro-geometric framework of tau-functions as defining functions of exceptional divisors on the varieties. In the case where the corresponding root system is of affine type, our construction yields a class of (higher order) q-difference Painleve equations and its algebraic degree grows quadratically.
Let $X$ be a projective variety with log terminal singularities and vanishing augmented irregularity. In this paper we prove that if $X$ admits a relatively minimal genus one fibration then it does contain a subvariety of codimension one covered by rational curves contracted by the fibration. We then focus on the case of varieties with numerically trivial canonical bundle and we discuss several consequences of this result.
We construct rational projective 4-dimensional varieties with the property that certain Lawson homology groups tensored with Q are infinite dimensional Q-vector spaces. More generally, each pair of integers p and k, with k\geq 0, p>0, we find a projective variety Y, such that L_pH_{2p+k}(Y) is infinitely generated. We also construct two singular rational projective 3-dimensional varieties Y and Y' with the same homeomorphism type but different Lawson homology groups, specifically L_1H_3(Y) is not isomorphic to L_1H_3(Y')even up to torsion.
The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fano varieties we also prove results on very ampleness and higher syzygies.
The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational.
We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the Bott-Steenbrink-Danilov vanishing theorem.
This note replaces two earlier preprints (1101.3737 by Kollár) and (1211.6681 by Nowak). It studies, and partially solves, 3 elementary questions about continuous rational functions on real (and p-adic) algebraic varieties: Can one restrict such a function to a subvariety? Can one extend such a function from a subvariety? Which linear equations can be solved using such functions? v.2: Section 3 simplified and typos corrected.
This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those invariants. We present a geometric version of it.
In this paper, we prove that: For any given finitely many distinct points $P_1,...,P_r$ and a closed subvariety $S$ of codimension $\geq 2$ in a complete toric variety over a uncountable (characteristic 0) algebraically closed field, there exists a rational curve $f:\mathbb{P}^1\to X$ passing through $P_1,...,P_r$, disjoint from $S\setminus \{P_1,...,P_r\}$ (see Main Theorem). As a corollary, we prove that the smooth loci of complete toric varieties are strongly rationally connected.
We give a bound for the number of rational maps between algebraic varieties of general type under mild hypothesis on the canonical map. We use an idea inspired by Tanabe's work. Instead of attaching a morphism of Hodge structures to a rational map we simply associate to it a piece of the integral Hodge lattice. This procedure does not give an injective map, but by means of a geometric argument, we can estimate the number of maps with the same image.
We give some bounds on the numbers of rational points on abelian varieties and jacobians varieties over finite fields. The main result is that we determine the maximum and minimum number of rational points on jacobians varieties of dimension 2.
We prove that any ample class on a primitive symplectic variety that is locally trivial deformation of O'Grady's singular 6 dimensional example is proportional to the first Chern class of a uniruled divisor. This result answers a question of Lehn, Mongardi and Pacienza, extending their result for primitive symplectic varieties of this deformation type.
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$
On rational chain connectedness of globally +-regular varieties
École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；University of Illinois at Chicago（伊利诺伊大学芝加哥分校）；Michigan State University（密歇根州立大学）；Peking University（北京大学）
In this paper we study varieties covered by rational or elliptic curves. First, we show that images of Calabi-Yau or irreducible symplectic varieties under rational maps are almost always rationally connected. Second, we investigate elliptically connected and elliptically chain connected varieties, and varieties swept out by a family of elliptic curves. Among other things, we show that Calabi-Yau or hyperkähler manifolds which are covered by a family of elliptic curves contain uniruled divisors and that elliptically chain connected varieties of dimension at least two contain a rational curve, …
We generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case, the cohomology ring and the Chow ring in the contraction-free case.
