Related papers: Computing A1-Euler numbers with Macaulay2
We show that any rational cubic hypersurface of dimension at least 33 defined over a number field $K$ vanishes on a $K$-rational projective line, reducing the previous lower bound of Wooley by two. For $K=\mathbb Q$ we can reduce the bound…
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…
We explicitly compute family GW invariants of elliptic surfaces for primitive classes. That involves establishing a TRR formula and a symplectic sum formula for elliptic surfaces and then determining the GW invariants using an argument from…
In this paper, we study simple cubic fields in the function field setting, and also generalize the notion of a set of exceptional units to cubic function fields, namely the notion of $k$-exceptional units. We give a simple proof that the…
We explore the enumerative problem of finding lines on cubic surfaces defined by symmetric polynomials. We prove that the moduli space of symmetric cubic surfaces is an arithmetic quotient of the complex hyperbolic line, and determine…
We obtain an explicit formula for the number of rational cuspidal curves of a given degree on a del-Pezzo surface that pass through an appropriate number of generic points of the surface. This enumerative problem is expressed as an Euler…
Let $k$ be a field and let $\text{GW}(k)$ be the Grothendieck-Witt ring of virtual non-degenerate symmetric bilinear forms over $k$. We develop methods for computing the quadratic Euler characteristic $\chi(X/k)\in \text{GW}(k)$ for $X$ a…
In this paper we obtain an explicit formula for the number of curves in a compact complex surface $X$ (passing through the right number of generic points), that has up to one node and one singularity of codimension $k$, provided the total…
We use a global version of Heath-Brown's $p-$adic determinant method developed by Salberger to give upper bounds for the number of rational points of height at most $B$ on non-singular cubic curves defined over $\mathbb{Q}$. The bounds are…
Let $G$ be a finite group. In this paper we present a tool for counting the number of principle $G$-bundles over a surface. As an application, we express (non-standard) generating functions for double Hurwitz numbers as integrals over…
A generalized Kummer surface $X$ obtained as the quotient of an abelian surface by a symplectic automorphism of order 3 contains a $9\mathbf{A}_{2}$-configuration of $(-2)$-curves. Such a configuration plays the role of the…
We derive a sharp cusp count for finite volume complex hyperbolic surfaces which admit smooth toroidal compactifications. We use this result, and the techniques developed in [DiC12], to study the geometry of cusped complex hyperbolic…
We geometrically prove that in a d-dimensional cube with edges of length n, the number of particular d-dimensional tetrahedrons are given by Eulerian numbers. These tetrahedrons tassellate the cube, In this way the sum of the cubes are the…
We present some applications of the Macaulay2 software package SpecialFanoFourfolds, a package for working with Hodge-special cubic fourfolds and Hodge-special Gushel--Mukai fourfolds. In particular, we show how to construct new examples of…
In this work, we investigate hyperelliptic curves of type $C: y^2 = x^{2g+1} + ax^{g+1} + bx$ over the finite field $\mathbb{F}_q, q = p^n, p > 2$. For the case of $g = 3$ and $4$ we propose algorithms to compute the number of points on the…
We compute the class of arithmetic genus two Teichmueller curves in the Picard group of pseudo-Hilbert modular surfaces, distinguished according to their torsion order and spin invariant. As an application, we compute the number of genus…
We introduce certain rational functions on a smooth projective surface X in IP^3 which facilitate counting the lines on X. We apply this to smooth quintics in characteristic zero to prove that they contain no more than 127 lines, and that…
The aim of this note is to give a formula expressing the trace form associated with the 27 lines of a cubic surface.
We say that a line in $\mathbb P^{n+1}_k$ is osculating to a hypersurface $Y$ if they meet with contact order $n+1$. When $k=\mathbb C$, it is known that through a fixed point of $Y$, there are exactly $n!$ of such lines. Under some parity…
We develop various aspects of classical enumerative geometry, including Euler characteristics and formulas for counting degenerate fibres in a pencil, with the classical numerical formulas being replaced by identitites in the…