Related papers: The diagonal of (3,3) fivefolds

J. Wahl conjectured that every quasihomogeneous isolated normal singularity admits a positive grading for which there are no derivations of negative weighted degree. We confirm his conjecture for quasihomogeneous isolated complete…

Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…

Let $X$ be a submanifold of dimension $d\geq 2$ of the complex projective space $\mathbb P^n$. We prove results of the following type. i) If $X$ is irregular and $n=2d$ then the normal bundle $N_{X|\mathbb P^n}$ is indecomposable. ii) If…

We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over imperfect fields of characteristic $p > 5$. As a consequence, we deduce the Grauert-Riemenschneider vanishing theorem for excellent divisorial log terminal…

We prove that the function field of a variety which possesses a special correspondence in the sense of M. Rost preserves the rationality of cycles of small codimensions. This fact was proven by Vishik in the case of quadrics and played the…

We prove the rationality of the descendent partition function for stable pairs on nonsingular toric 3-folds. The method uses a geometric reduction of the 2- and 3-leg descendent vertices to the 1-leg case. As a consequence, we prove the…

Corsten and Frankl conjectured that a simplex is diameter-Ramsey if and only if its circumcenter lies in its convex hull. We disprove this conjecture in every dimension $d\ge 3$. The main tool is a sufficient criterion based on a…

An important local vanishing theorem for the minimal model program is the fact that klt singularities in characteristic zero are Cohen-Macaulay. In contrast, even in the narrow setting of terminal singularities of dimension 3, we show that…

A classical result in complex geometry says that the automorphism group of a manifold of general type is discrete. It is more generally true that there are only finitely many surjective morphisms between two fixed projective manifolds of…

The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van…

We give two explicit versions of the decomposition theorem of Beilinson, Bernstein and Deligne applied to the universal family of quartic surfaces of $\mathbb{P}^3$. The starting point of our investigation is the remark that the nodes of a…

We prove a robust generalization of a Sylvester-Gallai type theorem for quadratic polynomials, generalizing the result in [S'20]. More precisely, given a parameter $0 < \delta \leq 1$ and a finite collection $\mathcal{F}$ of irreducible and…

Ellis and the third author showed, verifying a conjecture of Frankl, that any $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$ admitting a transitive automorphism group has cardinality $o(2^n)$, while a construction of Frankl…

In this paper we study the Lefschetz properties of monomial complete intersections in positive characteristic. We give a complete classification of the strong Lefschetz property when the number of variables is at least three, which proves a…

We classify all non-abelian groups G such that there exists a pair (V,W) of absolutely simple Yetter-Drinfeld modules over G such that the Nichols algebra of the direct sum of V and W is finite-dimensional under two assumptions: the square…

Any smooth projective curve embeds into $\mathbb{P}^3$. More generally, any curve embeds into a rationally connected variety of dimension at least three. We prove conversely that if every curve embeds in a threefold $X$, then $X$ is…

We prove, in particular, that if a subset A of {1, 2,..., N} has no nontrivial solution to the equation x_1+x_2+x_3+x_4+x_5=5y then the cardinality of A is at most N e^{-c(log N)^{1/7-eps}}, where eps>0 is an arbitrary number, and c>0 is an…

This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction…

We discover suprising connections between three seemingly different problems: finding right triangles with rational sides in a non-Euclidean geometry, finding three integers such that the difference of the squares of any two is a square,…

In this note we construct several infinite families of diagonal quartic surfaces \begin{equation*} ax^4+by^4+cz^4+dw^4=0, \end{equation*} where $a,b,c,d\in\Z\setminus\{0\}$ with infinitely many rational points and satisfying the condition…