Searcharxiv⌕ Search

arXiv subjects

Carlos Rito

Publications and source records attributed to Carlos Rito.

At least 19 recordsLinked to original sources
arXiv2026

Explicit Bicanonical Models of Eight Fake Quadrics

We compute explicit defining equations for eight fake quadrics arising as $\mathbb Z/2\times\mathbb Z/4$-covers of two singular $\mathbb Z/2$-Godeaux surfaces obtained in earlier work of the second author. Starting from explicit equations for the universal covers of the Godeaux surfaces, we reconstruct the relevant character eigenspaces and determine the homogeneous ideals of the bicanonical models of the eight fake quadrics in $\mathbb P^8$. All eight models are defined over $\mathbb Q$. We prove that the surfaces are pairwise non-isomorphic and rigid. Combined with the non-product result established in the earlier work, this gives the first explicit projective models of fake quadrics which are not isogenous to a product of curves.

math.AG↗
arXiv2026

Quintic surfaces with 18 cusps

We construct quintic surfaces in the three-dimensional projective space $\mathbb P^3$ with $18$ ordinary cusps. Our starting point is the Barth--Rams description of quintics containing a $3$-divisible set of $12$ cusps. A specialization in which the two contact cubics are singular along two skew lines produces a family with $16$ cusps, and examples with $18$ cusps can be found over small finite fields. Our main construction is based on quintics admitting two Barth--Rams decompositions. The corresponding sets of $12$ cusps meet in $7$ points, and we prove that the locus of quintics admitting two such decompositions contains a $6$-dimensional component in the moduli space whose general member has $17$ cusps. This makes it possible to find members with $18$ cusps efficiently over finite fields. We lift one of these surfaces to characteristic zero using Newton--Hensel lifting and LLL reconstruction, obtaining a quintic over a number field of degree $22$. We verify that this surface has $18$ ordinary cusps and no other singularities.

math.AG↗
arXiv2025

On a sequence of singular ball quotient surfaces on the line $K^2=9\chi-18$

Starting from computer experiments with the fundamental group of the Cartwright--Steger surface, we construct an infinite tower $(X_n)_{n\ge 1}$ of normal projective surfaces obtained by successive $\mathbb Z/3$-Galois covers $X_{n}\to X_{n-1}$. For $n>1$, their minimal resolutions $\widetilde{X}_n$ lie on the line $K^2 = 9\chi - 18$ (equivalently $c_1^2 = 3c_2 - 72$), which is parallel to the Bogomolov--Miyaoka--Yau line $K^2 = 9\chi$ of ball quotients. We compute the fundamental groups for the first cases, showing that $\pi_1(\widetilde{X}_n)=1$ for $n=1,\ldots,5$. Motivated by the geometry of the construction, we conjecture that all $\widetilde{X}_n$ are simply connected.

math.AG↗
arXiv2025

Computation of Singular Godeaux Surfaces and a New Explicit Fake Quadric (With an Appendix by Christian Gleissner and Noah Ruhland)

We present a computational method for detecting highly singular members in families of algebraic varieties. Applying this approach to a family of numerical Godeaux surfaces, we obtain explicit examples with many singularities. In particular, we construct a Godeaux surface whose singular locus consists of two $\mathsf A_1$ and two $\mathsf A_3$ singularities. We show that this surface admits a $\mathbb{Z}/2 \times \mathbb{Z}/4$ abelian cover which is a smooth minimal surface of general type with invariants $K^2=8$ and $p_g=0$, i.e. a fake quadric. Together with the result in the Appendix, this provides the first explicit construction of a fake quadric that does not arise as a quotient of a product of curves.

math.AG↗
arXiv2025

The Linear System Package of Magma

We present a complete reimplementation of the LinearSystem package of Magma, with substantial improvements in design and performance. The resulting efficiency enables computations that were previously out of reach. We briefly describe the design principles, capabilities, and algorithms of the new implementation and illustrate them with examples that showcase its power. Rather than comparing speeds, our goal is to advertise the package by demonstrating what can now be achieved in practice. We also add one core capability: computing linear systems of plane curves with prescribed non-ordinary singularities.

math.AG↗
arXiv2020

$\mathbb Z/2$-Godeaux surfaces

We prove that the moduli space of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$ is irreducible and unirational of dimension 8. Moreover, we show that the topological fundamental group of these surfaces is also $\mathbb{Z}/2$. Our approach is based on the explicit construction of equations for all universal covers of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$.

math.AG↗
arXiv2020

New surfaces with canonical map of high degree

We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonical map of degree $24$. These are regular surfaces with $p_g=3$ and base point free canonical system. We discuss the case of regular surfaces with $p_g=4$ and base point free canonical system.

math.AG↗
arXiv2020

On degenerations of $\mathbb Z/2$-Godeaux surfaces

We compute equations for Coughlan's family of Godeaux surfaces with torsion $\mathbb Z/2$, which we call $\mathbb Z/2$-Godeaux surfaces, and we show that it is (at most) 7 dimensional. We classify non-rational KSBA degenerations $W$ of $\mathbb Z/2$-Godeaux surfaces with one Wahl singularity, showing that $W$ is birational to particular either Enriques surfaces, or $D_{2,n}$ elliptic surfaces, with $n=3,4$ or $6$. We present examples for all possibilities in the first case, and for $n=3,4$ in the second.

math.AG↗
arXiv2020

The Bolza curve and some orbifold ball quotient surfaces

We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equation of the mirror $M$ of the orbifold ball quotient $(X,M)$ and by taking the quotient by an involution, we obtain an orbifold ball quotient surface with mirror birational to an interesting configuration of plane curves of degrees $1,2$ and $3$. We also exhibit an arrangement of four conics in the plane which provides the above-mentioned ball quotient orbifold surfaces.

math.AG↗
arXiv2020

Surfaces with canonical map of maximum degree

We use the Borisov-Keum equations of a fake projective plane and the Borisov-Yeung equations of the Cartwright-Steger surface to show the existence of a regular surface with canonical map of degree 36 and of an irregular surface with canonical map of degree 27. As a by-product, we get equations (over a finite field) for the $\mathbb Z/3$-invariant fibres of the Albanese fibration of the Cartwright-Steger surface and show that they are smooth.

math.AG↗
arXiv2018

A pair of rigid surfaces with $p_g=q=2$ and $K^2=8$ whose universal cover is not the bidisk

We construct two complex-conjugated rigid surfaces with $p_g=q=2$ and $K^2=8$ whose universal cover is not biholomorphic to the bidisk. We show that these are the unique surfaces with these invariants and Albanese map of degree $2$, apart the family of product-quotient surfaces constructed by Penegini. This completes the classification of surfaces with $p_g=q=2, K^2=8$ and Albanese map of degree $2$.

math.AG↗
arXiv2018

Explicit Schoen surfaces

We give an explicit construction for the $4$-dimensional family of Schoen surfaces by computing equations for their canonical images, which are $40$-nodal complete intersections of a quadric and the Igusa quartic in $\mathbb P^4$. We then study a particularly interesting example, with $240$ automorphisms and maximal Picard number.

math.AG↗
arXiv2017

A surface with canonical map of degree $24$

We construct a complex algebraic surface with geometric genus $p_g=3$, irregularity $q=0$, self-intersection of the canonical divisor $K^2=24$ and canonical map of degree $24$ onto $\mathbb P^2$.

math.AG↗
arXiv2017

New surfaces with $K^2=7$ and $p_g=q\leq 2$

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 cover of a numerical Campedelli surface with $5$ nodes.

math.AG↗
arXiv2015

Cuspidal quintics and surfaces with $p_g=0,$ $K^2=3$ and 5-torsion

If $S$ is a quintic surface in $\mathbb P^3$ with singular set $15$ $3$-divisible ordinary cusps, then there is a Galois triple cover $ϕ:X\to S$ branched only at the cusps such that $p_g(X)=4,$ $q(X)=0,$ $K_X^2=15$ and $ϕ$ is the canonical map of $X$. We use computer algebra to search for such quintics having a free action of $\mathbb Z_5$, so that $X/{\mathbb Z_5}$ is a smooth minimal surface of general type with $p_g=0$ and $K^2=3$. We find two different quintics, one of which is the Van der Geer--Zagier quintic, the other is new. We also construct a quintic threefold passing through the $15$ singular lines of the Igusa quartic, with $15$ cuspidal lines there. By taking tangent hyperplane sections, we compute quintic surfaces with singular set $17\mathsf A_2$, $16\mathsf A_2$, $15\mathsf A_2+\mathsf A_3$ and $15\mathsf A_2+\mathsf D_4$.

math.AG↗
arXiv2013

New canonical triple covers of surfaces

We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $χ=13$ and $K^2=9χ$ such that its canonical map is either of degree 3 onto a surface of general type or of degree 9 onto a rational surface.

math.AG↗