4 papers
NEXP-Completeness and Exponential Coefficient Growth for Existential Presburger Arithmetic with Divisibility
Ignacio Barros, Michaël Cadilhac, Guillermo A. Pérez
We prove that satisfiability for existential Presburger arithmetic with divisibility (EPAD) is NEXP-hard. Together with the known NEXP upper bound, this establishes NEXP-completene…
On the irrationality of moduli spaces of projective hyperkähler manifolds
Daniele Agostini, Ignacio Barros, Kuan-Wen Lai
The aim of this paper is to estimate the irrationality of moduli spaces of hyperkähler manifolds of types K3, Kum, OG6, and OG10. We prove that the degrees of irratio…
A simple criterion for the uniruledness of an orthogonal modular variety
Ignacio Barros
We exhibit a simple uniruledness criterion for general orthogonal modular varieties in terms of invariants of the corresponding lattice. As an application, we obtain the uniruledne…
The Kodaira classification of the moduli of hyperelliptic curves
Ignacio Barros, Scott Mullane
We study the birational geometry of the moduli spaces of hyperelliptic curves with marked points. We show that these moduli spaces have non -factorial singularities. We…