arXiv subjects
Publications and source records attributed to Alena Pirutka.
We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian obstructions to rationality vanish. We obtain both negative and positive results, using unramified cohomology and birational rigidity techniques, as well as concrete rationality constructions.
We consider the question whether a real threefold X fibred into quadric surfaces over the real projective line is stably rational (over R) if the topological space X(R) is connected. We give a counterexample. When all geometric fibres are irreducible, the question is open. We investigate a family of such fibrations for which the intermediate jacobian technique is not available. We produce two independent methods which in many cases enable one to prove decomposition of the diagonal.
Let $R$ be the field of real Puiseux series. It is a real closed field. We construct the first examples of smooth intersections of two quadrics in $\mathbb{P}_R^5$ and smooth cubic hypersurfaces in $\mathbb{P}_R^4$ which are not stably rational but for which the space $X(R)$ of $R$-points is semi-algebraically connected. The question of constructing such examples over the field of real numbers $\mathbb{R}$ remains open.
Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.
Let X be a smooth projective rational variety carrying a regular action of a finite abelian group G. We give examples of effective computation of the Brauer group of the quotient stack [X/G] in dimensions 2 and 3 using residues in Galois cohomology and the geometry of fixed loci. In particular, we compute Br([X/G]) for all G-minimal del Pezzo surfaces.
In this note we define a subgroup $H^i_{nr,π}$ of unramified cohomology group $H^i_{nr}$ of a fibration $π:X\to S$. This subgroup can be used efficiently in refined specialization arguments and allows to detect the failure of stable rationality of a variety specializing to $X$. We compute $H^2_{nr, π}$ systematically for many cubic surface bundles $π:X\to S$ over a smooth projective rational surface over an algebraically closed field: we give a combinatorial formula in terms of components of the discriminant divisor of $π$.
Soit $X$ une variété projective et lisse, définie sur un corps de nombres. Sous l'hypothèse $H^2(X,\mathcal O_X)=0,$ Colliot-Thélène et Raskind ont démontré que le sous-groupe de torsion $CH^2(X)_{tors}$ du groupe de Chow en codimension $2$ est fini. Dans cette note, on donne des bornes uniformes pour le groupe fini $CH^2(X)_{tors}$ quand $X$ varie en famille. Let $X$ be a smooth projective variety defined over a number field. Assuming $H^2(X,\mathcal O_X)=0,$ Colliot-Thélène and Raskind proved that the torsion subgroup $CH^2(X)_{tors}$ in the Chow group of cycles of codimension $2$ is finite. In this note, we give uniform bounds for the finite group $CH^2(X)_{tors}$ when $X$ varies in a family.
We investigate local-global principles for Galois cohomology, in the context of function fields of curves over semi-global fields. This extends work of Kato's on the case of function fields of curves over global fields.
En combinant une méthode de C. Voisin avec la descente galoisienne sur le groupe de Chow en codimension $2$, nous montrons que le troisième groupe de cohomologie non ramifiée d'un solide cubique lisse défini sur le corps des fonctions d'une courbe complexe est nul. Ceci implique que la conjecture de Hodge entière pour les classes de degré 4 vaut pour les variétés projectives et lisses de dimension 4 fibrées en solides cubiques au-dessus d'une courbe, sans restriction sur les fibres singulières. --------------- We prove that the third unramified cohomology group of a smooth cubic threefold over the function field of a complex curve vanishes. For this, we combine a method of C. Voisin with Galois descent on the codimension $2$ Chow group. As a corollary, we show that the integral Hodge conjecture holds for degree $4$ classes on smooth projective fourfolds equipped with a fibration over a curve, the generic fibre of which is a smooth cubic threefold, with arbitrary singularities on the special fibres.
We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general.
Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic dependence on $k$ determines the isomorphism class of $F$ in a functorial way. As a special case of this result, we obtain that the isomorphism class of the graded Milnor $K$-ring $K^M_*(F)$ determines the isomorphism class of $F$, when $k$ is algebraically closed or finite.
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 introduce new quadric surface bundle fourfolds over P^2 with discriminant curve of any even degree at least 8, having nontrivial unramified Brauer group and admitting a universally CH_0-trivial resolution.
We study rationality properties of smooth complete intersections of three quadrics in $\mathbb{P}^7$. We exhibit a smooth family of such intersections with both rational and non-rational fibers.
We derive a formula for the unramified Brauer group of a general class of rationally connected fourfolds birational to conic bundles over smooth threefolds. We produce new examples of conic bundles over P^3 where this formula applies and which have nontrivial unramified Brauer group. The construction uses the theory of contact surfaces and, at least implicitly, matrix factorizations and symmetric arithmetic Cohen--Macaulay sheaves, as well as the geometry of special arrangements of rational curves in P^2. We also prove the existence of universally CH_0-trivial resolutions for the general class of conic bundle fourfolds we consider. Using the degeneration method, we thus produce new families of rationally connected fourfolds whose very general member is not stably rational.
This is a survey of recent examples of varieties that are not stably rational. We review the specialization method based on properties of the Chow group of zero-cycles used in these examples and explain the point of view of unramified cohomology for the construction of nontrivial stable invariants of the special fiber. In particular, we find an explicit formula for the Brauer group of fourfolds fibered in quadrics of dimension two over a rational surface.
We prove that a very general double cover of the projective four-space, ramified in a quartic threefold, is not stably rational.
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.
Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove that $ρ_w(X) + 1$ pairwise-disjoint, connected divisors suffices for proper, normal varieties $X$, where $ρ_w(X)$ is a modification of the Néron-Severi rank of $X$ (they agree when $X$ is projective and smooth). We then prove a strong counterexample in the affine case: if $X$ is quasi-affine and of dimension $\geq 2$ over a countable, algebraically-closed field $k$, then there exists a (countable) collection of pairwise-disjoint divisors which cover the $k$-points of X, so that for any non-constant morphism from $X$ to a curve, at most finitely many are contained in the fibers thereof. We show, however, that an uncountable collection of pairwise-disjoint, connected divisors in any normal variety over an algebraically-closed field must be contained in the fibers of a morphism to a curve.