Related papers: A Stably Irrational (2,3)-Complete Intersection Fo…
We study the geometry of spaces of planes on smooth complete intersections of three quadrics, with a view toward rationality questions.
We develop an equivariant version of the formalism of intermediate Jacobian torsor obstructions, and apply it to conic bundles over rational surfaces, quadric surface bundles over $\mathbb P^1$, and Fano threefolds.
This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular…
We report on our project to construct non-singular cubic surfaces over $\bbQ$ with a rational line. Our method is to start with degree 4 Del Pezzo surfaces in diagonal form. For these, we develop an explicit version of Galois descent.
For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in…
We introduce and study the question how can stable birational types vary in a smooth proper family. Our starting point is the specialization for stable birational types of Nicaise and the author and our emphasis is on stable birational…
We show that a generic analytic strongly convex billiard is "maximally chaotic" in the sense that, for every rational number $\frac{p}{q} \in \mathbb{Q} \cap (0,1)$, all intersections between the stable and unstable manifolds of maximizing…
For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic…
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…
We determine the possible intersection sizes of a Hermitian surface $\mathcal H$ with an irreducible quadric of ${\mathrm PG}(3,q^2)$ sharing at least a tangent plane at a common non-singular point when $q$ is even.
We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.
Generalizing a recent construction of Yang and Yu, we study to what extent one can intersect Hassett's Noether-Lefschetz divisors $\mathcal{C}_d$ in the moduli space of cubic fourfolds $\mathcal{C}$. In particular, we exhibit arithmetic…
We investigate the maximum number of intersections between two polygons with p and q vertices, respectively, in the plane. The cases where p or q is even or the polygons do not have to be simple are quite easy and already known, but when p…
We study mechanical structures composed of spatial four-bar linkages that are bistable, that is, they allow for two distinct configurations. They have an interpretation as quad nets in the Study quadric which can be used to prove existence…
We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…
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.
We study the congruence of bitangent lines of an irreducible surface in the 3-dimensional projective space in arbitrary characteristic, with special attention to quartic surfaces with rational double points and, in particular, Kummer…
We show by finding an explicit parametrization that a 4th degree surface which arises as a necessary condition for the existence of a perfect cuboid is a rational surface, i.e. birationally equivalent over $\mathbb Q$ to a plane.
We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.
We prove the birational superrigidity and nonrationality of a hypersurface in $\mathbb{P}^{6}$ of degree 6 having at most isolated ordinary double points.