Related papers: Cohomology of the universal smooth cubic surface
The Cayley--Salmon theorem implies the existence of a 27-sheeted covering space specifying lines contained in smooth cubic surfaces over $\mathbb{C}$. In this paper we compute the rational cohomology of the total space of this cover, using…
A projective hypersurface is nodal if it does not have singularities worse than simple nodes. We calculate the rational cohomology of the spaces of equations of nodal cubic and quartic plane curves and also nodal cubic surfaces in the…
Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and…
Consider the family of smooth cubic surfaces which can be realized as threefold-branched covers of $\mathbb{P}^{2}$, with branch locus equal to a smooth cubic curve. This family is parametrized by the space $\mathcal{U}_{3}$ of smooth cubic…
In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, `tritangents' or `double sixes'. We also compute the…
We investigate the average number of solutions of certain quadratic congruences. As an application, we establish Manin's conjecture for a cubic surface whose singularity type is A_5+A_1.
We give a new method for calculating the cohomology of the normal bundles over rational varieties which are smooth projections of Veronese embeddings. The method can be used also when the projections are not smooth, in this case it provides…
To a family of smooth projective cubic surfaces one can canonically associate a family of abelian fivefolds. In characteristic zero, we calculate the Hodge groups of the abelian varieties which arise in this way. In arbitrary characteristic…
We consider the polynomial algebra $\mathbb{C}[\mathbf{z}]:=\mathbb{C}[z_1,\,z_2,\,z_3]$ and the polynomial $f:=z_1^3+z_2^3+z_3^3+3qz_1z_2z_3$, where $q\in \mathbb{C}$. Our aim is to compute the Hochschild homology and cohomology of the…
We formulate an equivariant conservation of number, which proves that a generalized Euler number of a complex equivariant vector bundle can be computed as a sum of local indices of an arbitrary section. This involves an expansion of the…
Let V be a plane smooth cubic curve over a finitely generated field k. The Mordell-Weil theorem for V states that there is a finite subset P \subset V(k) such that the whole V(k) can be obtained from P by drawing secants and tangents…
We study the set of common $\mathbb{F}_q$-rational solutions of "smooth" systems of multivariate symmetric polynomials with coefficients in a finite field $\mathbb{F}_q$. We show that, under certain conditions, the set of common solutions…
We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over $\mathbb{C}$ there are $27$ lines, and over $\mathbb{R}$ the number of hyperbolic lines minus the number of…
In this article formulas for the quantum product of a rational surface are given, and used to give an algebro-geometric proof of the associativity of the quantum product for strict Del Pezzo surfaces, those for which $-K$ is very ample. An…
Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for…
Let $S$ be a surface isogenous to a product of curves of unmixed type. After presenting several results useful to study the cohomology of $S$ we prove a structure theorem for the cohomology of regular surfaces isogenous to a product of…
In this, the last of three papers about $C_2$-equivariant complex quadrics, we complete the calculation of the equivariant ordinary cohomology of smooth symmetric quadrics in the cases where the fixed sets have more than two components.…
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under…
A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…
We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of…