Related papers: Computing A1-Euler numbers with Macaulay2
We compute equations for real multiplication on the divisor classes of genus two curves via algebraic correspondences. We do so by implementing van Wamelen's method for computing equations for endomorphisms of Jacobians on examples drawn…
Given a number field $k$ and a quadratic extension $K_2$, we give an explicit asymptotic formula for the number of isomorphism classes of cubic extensions of $k$ whose Galois closure contains $K_2$ as quadratic subextension, ordered by the…
In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to…
The goal of this paper is to demonstrate the use of techniques from hyperbolic geometry to compute generating sets of certain subgroups of $SL^+(2,\mathbb{C})$; specifically, $SO^+(Q,\mathbb{Z})$ for $Q$ some integral quadratic form of…
A simple and efficient algorithm to numerically compute the genus of surfaces of three-dimensional objects using the Euler characteristic formula is presented. The algorithm applies to objects obtained by thresholding a scalar field in a…
We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of…
The projective linear group \(\pgl(\comp,4)\) acts on cubic surfaces, considered as points of $\mathbb{P}_{\mathbb{C}}^{19}$. We compute the degree of the $15$-dimensional projective variety given by the Zariski closure of the orbit of a…
We describe an algorithm that we used to compute the q-expansions of all weight 2 cusp forms of prime level at most 2,000,000 and dimension at most 6. We also present an algorithm that we used to verify that there was only one cusp form of…
We compute the Clifford index of all curves on a K3 surface with Picard group isomorphic to U(m).
Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the…
We construct smooth minimal complex surfaces of general type with $K^2=7$ and: $p_g=q=2,$ Albanese map of degree $2$ onto a $(1,2)$-polarized abelian surface; $p_g=q=1$ as a double cover of a quartic Kummer surface; $p_g=q=0$ as a double…
Let Fq be a finite field with q=8 or q at least 16. Let S be a smooth cubic surface defined over Fq containing at least one rational line. We use a pigeonhole principle to prove that all the rational points on S are generated via tangent…
Let X be a K3 surface with a primitive ample divisor H, and let $\beta=2[H]\in H_2(X, \mathbf Z)$. We calculate the Gromov-Witten type invariants $n_{\beta}$ by virtue of Euler numbers of some moduli spaces of stable sheaves. Eventually, it…
The paper addresses the numerical approximation of two variants of hyperbolic mean curvature flow of surfaces in $\mathbb R^3$. For each evolution law we propose both a finite element method, as well as a finite difference scheme in the…
Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small…
We give a criterion for certain generic nondegenerate surfaces in a fake weighted projective $3$-space to have Picard number $>1$. These algebraic surfaces are of general type. We do this by considering degenerations (along an edge),…
Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties.…
We show that any smooth projective cubic hypersurface of dimension at least $29$ over the rationals contains a rational line. A variation of our methods provides a similar result over p-adic fields. In both cases, we improve on previous…
We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal…
We first review some topics in the classical computational geometry of lines, in particular the O(n^{3+\epsilon}) bounds for the combinatorial complexity of the set of lines in R^3 interacting with $n$ objects of fixed description…