Related papers: The diagonal of (3,3) fivefolds
The rational Chow ring A?(S[n],Q) of the Hilbert scheme S[n] parametrising the length n zero-dimensional subschemes of a toric surface S can be described with the help of equivariant techniques. In this paper, we explain the general method…
We show that any subset of the squares of positive relative upper density contains non-trivial solutions to a translation-invariant linear equation in five or more variables, with explicit quantitative bounds. As a consequence, we establish…
A convex quadrilateral with sides a,b,c,d, and diagonals p,q is cyclic iff abp-bcq+cdp-daq=0. This condition, in spite of its simplicity, appears to be unnoted and unexpectedly proof-resilient. We employ advanced methods of computer algebra…
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…
A {\em $(d,h)$-decomposition} of a graph $G$ is an order pair $(D,H)$ such that $H$ is a subgraph of $G$ where $H$ has the maximum degree at most $h$ and $D$ is an acyclic orientation of $G-E(H)$ of maximum out-degree at most $d$. A graph…
We construct a fully equivariant correspondence between Gromov-Witten and stable pairs descendent theories for toric 3-folds X. Our method uses geometric constraints on descendents, A_n surfaces, and the topological vertex. The rationality…
If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle.…
We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.
Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…
Developing a previous idea of Faltings, we characterize the complete intersections of codimension 2 in P^n, n>=3, over an algebraically closed field of any characteristic, among l.c.i. X, as those that are subcanonical and…
We examine the solubility of a diagonal, translation invariant, quadratic equation system in arbitrary (dense) subsets A \subset Z and show quantitative bounds on the size of A if there are no non-trivial solutions. We use the circle method…
Let a,b,c,d be nonzero rational numbers whose product is a square, and let V be the diagonal quartic surface in PP^3 defined by ax^4+by^4+cz^4+dw^4=0. We prove that if V contains a rational point that does not lie on any of the 48 lines on…
Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…
We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $\delta_{\mathcal{Q}^{n-1}}$ is unirational, and that…
We construct closed complex submanifolds of dimension three in C^5 which are differential complete intersections but not holomorphic complete intersections. We also prove a homotopy principle concerning the removal of intersections of…
Let D denote the (n-1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of D obtained by starting with the full 1-skeleton of D and then adding each 2-simplex independently with probability p. For a fixed c>0 it is shown that…
We study arithmetic constraints arising from the three faces meeting along the space diagonal of a rectangular cuboid. Using a propagation mechanism along this diagonal, based on the appearance of a minimal odd prime in certain triangular…
Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they…
We classify finite-dimensional Nichols algebras of Yetter-Drinfeld modules with indecomposable support over finite solvable groups in characteristic 0, using a variety of methods including reduction to positive characteristic. As a…
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…