Aitor Iribar Lopez

activity

20242026

collaborators

7 papers

math.AG2026

The fifteenth cohomology group of moduli spaces of stable curves

Amy Bradford, Aitor Iribar López, Andreas Kretschmer +1

The new framework of semi-tautological extensions has allowed for explicit understanding of low-degree odd cohomology groups of moduli spaces of stable curves. Let $S^*_ω(\overline…

math.AG2026

Weight decomposition for toroidal abelian fibrations

Younghan Bae, Jeremy Feusi, Aitor Iribar Lopez +1

We study the action of the rational multiplication by $N$ map on the Chow groups of degenerations of principally polarized abelian varieties of torus rank at most one, as well as i…

math.AG2026

Torelli loci, product cycles, and the homomorphism conjecture for $A_{g}$

Samir Canning, Lycka Drakengren, Jeremy Feusi +7

The tautological $Q$ -subalgebra $R^{*} (A_{g}) \subset CH^{*} (A_{g})$ of the Chow ring of the moduli space of principally polarized abelian va…

cs.CL2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57

As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…

math.AG2025

Gromov-Witten theory of $Hilb^{n} (C^{2})$ and Noether-Lefschetz theory of $A_{g}$

Aitor Iribar Lopez, Rahul Pandharipande, Hsian-Hua Tseng

We calculate the genus 1 Gromov-Witten theory of the Hilbert scheme $Hilb^{n} (C^{2})$ of points in the plane. The fundamental 1-point invariant (with a divisor insert…

math.AG2024

The Euler characteristic of $A_{g}$ via Hodge integrals

Aitor Iribar Lopez

We prove the Harder-Siegel formula for the Euler characteristic of $A_{g}$ via the intersection theory of $M_{g}$ and a vanishing result for lambda class…

math.AG2024

The integral Chow ring of $R_{2}$

Alessio Cela, Aitor Iribar Lopez

In this paper we compute the integral Chow ring of the moduli stack $R_{2}$ of Prym pairs of genus 2 with integral coefficients.

The fifteenth cohomology group of moduli spaces of stable curves

Weight decomposition for toroidal abelian fibrations

Torelli loci, product cycles, and the homomorphism conjecture for Ag​

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Gromov-Witten theory of Hilbn(C2) and Noether-Lefschetz theory of Ag​

The Euler characteristic of Ag​ via Hodge integrals

The integral Chow ring of R2​

Torelli loci, product cycles, and the homomorphism conjecture for $A_{g}$

Gromov-Witten theory of $Hilb^{n} (C^{2})$ and Noether-Lefschetz theory of $A_{g}$

The Euler characteristic of $A_{g}$ via Hodge integrals

The integral Chow ring of $R_{2}$