Related papers: The diagonal of quartic fivefolds

We prove a criterion of nonsingularity of a complete intersection of two fiberwise quadrics in a scroll over $P^1$. As a corollary we derive the following addition to the Alexeev theorem on rationality of standard Del Pezzo fibrations of…

Let $\overline{\rho}: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the…

Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.

It is an amazing and a bit counter-intuitive discovery by Micha Perles from the sixties that there are ``non-rational polytopes'': combinatorial types of convex polytopes that cannot be realized with rational vertex coordinates. We describe…

Let k be a field of characteristic zero. We show that the norm variety associated to a prime $\ell$ and an ordered sequence of invertible elements of k is geometrically retract rational. This generalizes a recent result of…

We study rationality problems for smooth complete intersections of two quadrics. We focus on the three-dimensional case, with a view toward understanding the invariants governing the rationality of a geometrically rational threefold over a…

We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the…

In this paper we study the existence of heteroclinic cycles in generic unfoldings of nilpotent singularities. Namely we prove that any nilpotent singularity of codimension four in $\mathbb{R}^4$ unfolds generically a bifurcation…

In [5], Connes and Chamseddine defined a cycle in the general framework of noncommutative geometry. They computed this cycle for the Dirac operator on 4-dimensioanl manifolds. We propose a way to study the Connes-Chamseddine cycle from the…

In this note we construct an example of a smooth projective threefold that is irrational over $\mathbb Q$ but is rational at all places. Our example is a complete intersection of two quadrics in $\mathbb P^5$, and we show it has the desired…

Let k be a finite field with characteristic exceeding 3. We prove that the space of rational curves of fixed degree on any smooth cubic hypersurface over k with dimension at least 11 is irreducible and of the expected dimension.

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

For 0-cycles on a variety over a number field, we define an analogue of the classical descent set for rational points. This leads to, among other things, a definition of the \'etale-Brauer obstruction set for 0-cycles, which we show is…

We isolate a class of smooth rational cubic fourfolds X containing a plane whose associated quadric surface bundle does not have a rational section. This is equivalent to the nontriviality of the Brauer class of the even Clifford algebra…

We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are covered by two subsets of the ground set {1,...,t} of the corresponding oriented…

A quadrilateral is said to be rational if its four sides, the two diagonals and the area are all expressible by rational numbers. The problem of constructing rational quadrilaterals dates back to the seventh century when Brahmagupta gave an…

There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free…

We study a double solid X branched along a nodal sextic surface in a projective space and the 2-torsion subgroup in the third integer cohomology group of a resolution of singularities of X. This group can be considered as an obstruction to…

Let C be the complex field and K=C((x,y)) or K=C((x))(y). Let G be a connected linear algebraic group over K. Under the assumption that the K-variety G is K-rational, i.e. that the function field is purely transcendant, it was proved that a…

Conjectures on the existence of zero-cycles on arbitrary smooth projective varieties over number fields were proposed by Colliot-Th\'el\`ene, Sansuc, Kato and Saito in the 1980's. We prove that these conjectures are compatible with…