Related papers: Explicit arithmetic intersection theory and comput…
In this paper we use Groebner bases theory in order to determine planarity of intersections of two algebraic surfaces in ${\bf R}^3$. We specially considered plane sections of certain type of conoid which has a cubic egg curve as one of the…
We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first…
We investigate the maximum number of intersections between two polygons with p and q vertices, respectively, in the plane. The cases where p or q is even or the polygons do not have to be simple are quite easy and already known, but when p…
We give an exponential upper and a quadratic lower bound on the number of pairwise non-isotopic simple closed curves can be placed on a closed surface of genus g such that any two of the curves intersects at most once. Although the gap is…
We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the…
We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we…
We give a quasihomogeneity criterion for Gorenstein curves. For complete intersections, it is related to the first step of Vasconcelos' normalization algorithm. In the process, we give a simplified proof of the Kunz-Ruppert criterion.
Computing the topology of an algebraic plane curve $\mathcal{C}$ means to compute a combinatorial graph that is isotopic to $\mathcal{C}$ and thus represents its topology in $\mathbb{R}^2$. We prove that, for a polynomial of degree $n$ with…
We classify completely the intersections of the Hermitian curve with parabolas in the affine plane. To obtain our results we employ well-known algebraic methods for finite fields and geometric properties of the curve automorphisms. In…
We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over…
In this paper, we obtain an explicit arithmetic intersection formula on a Hilbert modular surface between the diagonal embedding of the modular curve and a CM cycle associated to a non-biquadratic CM quartic field. This confirms a special…
We give a general framework for uniform, constant-time one-and two-dimensional scalar multiplication algorithms for elliptic curves and Jacobians of genus 2 curves that operate by projecting to the x-line or Kummer surface, where we can…
We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined…
We generalise a formula of Shou-Wu Zhang, which describes local arithmetic intersection numbers of three Cartier divisors with support in the special fibre on a a self-product of a semi-stable arithmetic surface using elementary analysis.…
A Kloosterman refinement for function fields $K=\mathbb{F}_q(t)$ is developed and used to establish the quantitative arithmetic of the set of rational points on a smooth complete intersection of two quadrics $X\subset \mathbb{P}^{n-1}_{K}$…
We briefly describe a new general algorithm for carrying out QCD calculations to next-to-leading order in perturbation theory. The algorithm can be used for computing arbitrary jet cross sections in arbitrary processes and can be…
A \textit{Humbert-Edge curve of type} $n$ is a non-degenerate smooth complete intersection of $n-1$ diagonal quadrics. Such a curve has an interesting geometry since it has a natural action of the group $(\mathbb{Z}/2\mathbb{Z})^n$. We…
We provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit…
The article proposes a new method for finding the triangle-triangle intersection in 3D space, based on the use of computer graphics algorithms -- cutting off segments on the plane when moving and rotating the beginning of the coordinate…
We study the Abel-Jacobi map for bisections of a certain rational elliptic surface. As an application, we construct examples of Zariski $N$-plets for conic arrangements.