Searcharxiv⌕ Search

arXiv subjects

Ana-Maria Castravet

Publications and source records attributed to Ana-Maria Castravet.

At least 19 recordsLinked to original sources
arXiv2026

Blowups, Gale duality, and moduli spaces

The goal of this paper is to describe the birational geometry of the blowup of $\mathbb{P}^n$ at $n+4$ points in very general position. To achieve this, we follow an idea of Mukai and explore a special instance of Gale duality, namely, a correspondence between configurations of $n+4$ points in the projective spaces $\mathbb{P}^n$ and $\mathbb{P}^2$. We first prove that the blowup $X$ of $\mathbb{P}^n$ at $n+4$ general points is isomorphic to a certain Gieseker moduli space of rank $2$ vector bundles on the surface $S$ obtained by blowing up $\mathbb{P}^2$ at the $n+4$ Gale dual points. We then study the variation of these moduli spaces as we vary the polarization $L$ on $S$, and translate this variation into a partial Mori chamber decomposition of $\overline{Eff}(X)$, describing to some extent the birational geometry of $X$.

math.AG↗
arXiv2026

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

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 mathematical knowledge. However, existing benchmarks are limited, as they focus solely on final-answer questions or high-school competition problems. To address this gap, we introduce IMProofBench, a private benchmark consisting of 77 peer-reviewed problems developed by expert mathematicians. Each problem requires a detailed proof and is paired with subproblems that have final answers, supporting both an evaluation by human experts and a large-scale quantitative analysis through automated grading. Furthermore, unlike prior benchmarks, the evaluation setup simulates a realistic research environment: models operate in an agentic framework with tools like web search for literature review and mathematical software such as SageMath. Our results show that current LLMs can already solve a significant percentage of research-level questions. IMProofBench will continue to evolve as a dynamic benchmark in collaboration with the mathematical community, ensuring its relevance for evaluating the next generation of LLMs.

cs.CL↗
arXiv2026

Derived category of moduli of pointed curves -- II

We show that the moduli space of stable rational curves with $n$ marked points has a full exceptional collection equivariant under the action of the symmetric group $S_n$ permuting the marked points. In particular, its K-group with integer coefficients is a permutation $S_n$-lattice.

math.AG↗
arXiv2026

On the classification of toric $2$-Fano manifolds: generic $\mathbb{P}^2$-bundles

In this paper, we advance the classification of toric 2-Fano manifolds by continuing the investigation of the minimal projective bundle dimension $m(X) \in \{1,\dots,\dim(X)\}$ introduced in our previous work. This invariant captures the minimal degree of a dominating family of rational curves on $X$ and admits a natural combinatorial interpretation in terms of centered primitive collections. We develop an approach that relates, via toric blowdowns and flips, a toric Fano manifold $X$ to a toric manifold $Y$ that admits a $\mathbb{P}^{m(X)}$-bundle structure on a big open subset. We then compare positivity of the second Chern characters of $X$ and $Y$, and show that the only toric 2-Fano manifold $X$ with $m(X) = 2$ is $X\cong \mathbb{P}^2$. In the example-driven Appendix B, we demonstrate that extending this strategy to the case $m(X)>2$ requires either a substantially more detailed analysis of the combinatorics of primitive collections or a fundamentally new approach.

math.AG↗
arXiv2023

Horospherical 2-Fano varieties

We classify $2$-Fano horospherical varieties with Picard number $1$. We also review all the known examples of $2$-Fano manifolds and investigate the relation between the $2$-Fano condition and different notions of stability. This paper was conceived as a contribution to the Edge Volume: 2018-2022.

math.AG↗
arXiv2023

The minimal projective bundle dimension and toric $2$-Fano manifolds

Motivated by the problem of classifying toric $2$-Fano manifolds, we introduce a new invariant for smooth projective toric varieties, the minimal projective bundle dimension. This invariant $m(X)\in\{1, \dots,\dim(X)\}$ captures the minimal degree of a dominating family of rational curves on $X$ or, equivalently, the minimal length of a centrally symmetric primitive relation for the fan of $X$. We classify smooth projective toric varieties with $m(X)\geq \dim(X)-2$, and show that projective spaces are the only $2$-Fano manifolds among smooth projective toric varieties with $m(X)\in\{1, \dim(X)-2,\dim(X)-1,\dim(X)\}$.

math.AG↗
arXiv2023

Hyperlogarithmic functional equations on del Pezzo surfaces

For any $d\in \{1,\ldots,6\}$, we prove that the web of conics on a del Pezzo surface of degree $d$ carries a functional identity whose components are antisymmetric hyperlogarithms of weight $7-d$. Our approach is uniform with respect to $d$ and relies on classical results about the action of the Weyl group on the set of lines on the del Pezzo surface. These hyperlogarithmic functional identities are natural generalizations of the classical 3-term and (Abel's) 5-term identities satisfied by the logarithm and the dilogarithm, which correspond to the cases when $d=6$ and $d=5$ respectively.

math.AG↗
arXiv2021

Blown-up toric surfaces with non-polyhedral effective cone

We construct examples of projective toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone, both in characteristic $0$ and in every prime characteristic $p$. As a consequence, we prove that the pseudo-effective cone of the Grothendieck-Knudsen moduli space $\overline M_{0,n}$ of stable rational curves is not polyhedral for $n\geq 10$ in characteristic $0$ and in characteristic $p$, for all primes $p$. Many of these toric surfaces are related to a very interesting class of arithmetic threefolds that we call arithmetic elliptic pairs of infinite order. Their analysis in characteristic $p$ relies on tools of arithmetic geometry and Galois representations in the spirit of the Lang-Trotter conjecture, producing toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone in characteristic $0$ and in characteristic $p$, for an infinite set of primes $p$ of positive density.

math.AG↗
arXiv2021

Higher Fano Manifolds

In this paper we address Fano manifolds with positive higher Chern characters. They are expected to enjoy stronger versions of several of the nice properties of Fano manifolds. For instance, they should be covered by higher dimensional rational varieties, and families of higher Fano manifolds over higher dimensional bases should admit meromorphic sections (modulo the Brauer obstruction). Aiming at finding new examples of higher Fano manifolds, we investigate positivity of higher Chern characters of rational homogeneous spaces. We determine which rational homogeneous spaces of Picard rank $1$ have positive second Chern character, and show that the only rational homogeneous spaces of Picard rank $1$ having positive second and third Chern characters are projective spaces and quadric hypersurfaces. We also classify Fano manifolds of large index having positive second and third Chern characters. We conclude by discussing conjectural characterizations of projective spaces and complete intersections in terms of these higher Fano conditions.

math.AG↗
arXiv2021

Exceptional collections on certain Hassett spaces

We construct an $S_2\times S_n$ invariant full exceptional collection on Hassett spaces of weighted stable rational curves with $n+2$ markings and weights $(\frac{1}{2}+η, \frac{1}{2}+η,ε,\ldots,ε)$, for $0<ε, η\ll1$ and can be identified with symmetric GIT quotients of $(\mathbb{P}^1)^n$ by the diagonal action of $\mathbb{G}_m$ when $n$ is odd, and their Kirwan desingularization when $n$ is even. The existence of such an exceptional collection is one of the needed ingredients in order to prove the existence of a full $S_n$-invariant exceptional collection on $\overline{\mathcal{M}}_{0,n}$. To prove exceptionality we use the method of windows in derived categories. To prove fullness we use previous work on the existence of invariant full exceptional collections on Losev-Manin spaces.

math.AG↗
arXiv2020

Derived category of moduli of pointed curves -- I

This is the first paper in the sequence devoted to derived category of moduli spaces of curves of genus $0$ with marked points. We develop several approaches to describe it equivariantly with respect to the action of the symmetric group permuting marked points. We construct an equivariant full exceptional collection on the Losev-Manin space which categorifies derangements.

math.AG↗
arXiv2017

Mori Dream Spaces and Blow-Ups

The goal of the present article is to survey the general theory of Mori Dream Spaces, with special regards to the question: When is the blow-up of toric variety at a general point a Mori Dream Space? We translate the question for toric surfaces of Picard number one into an interpolation problem involving points in the projective plane. An instance of such an interpolation problem is the Gonzalez-Karu theorem that gives new examples of weighted projective planes whose blow-up at a general point is not a Mori Dream Space.

math.AG↗
arXiv2017

$\overline{M}_{0,n}$ is not a Mori Dream Space

Building on the work of Goto, Nishida and Watanabe on symbolic Rees algebras of monomial primes, we prove that the moduli space of stable rational curves with n punctures is not a Mori Dream Space for n>133. This answers the question of Hu and Keel.

math.AG↗
arXiv2013

Rigid curves on $\bar M_{0,n}$ and arithmetic breaks

A result of Keel and McKernan states that a hypothetical counterexample to the F-conjecture must come from rigid curves on $\bar {M}_{0,n}$ that intersect the interior. We exhibit several ways of constructing rigid curves. In all our examples, a reduction mod p argument shows that the classes of the rigid curves that we construct can be decomposed as sums of F-curves.

math.AG↗
arXiv2010

Hypertrees, projections, and moduli of stable rational curves

We give a conjectural description for the cone of effective divisors of the Grothendieck-Knudsen moduli space of stable rational curves with n marked points. Namely, we introduce new combinatorial structures called hypertrees and show they give exceptional divisors with many remarkable properties.

math.AG↗
arXiv2009

Polarized minimal families of rational curves and higher Fano manifolds

In this paper we investigate Fano manifolds $X$ whose Chern characters $ch_k(X)$ satisfy some positivity conditions. Our approach is via the study of polarized minimal families of rational curves $(H_x,L_x)$ through a general point $x\in X$. First we translate positivity properties of the Chern characters of $X$ into properties of the pair $(H_x,L_x)$. This allows us to classify polarized minimal families of rational curves associated to Fano manifolds $X$ satisfying $ch_2(X)\geq0$ and $ch_3(X)\geq0$. As a first application, we provide sufficient conditions for these manifolds to be covered by subvarieties isomorphic to $\mathbb P^2$ and $\mathbb P^3$. Moreover, this classification enables us to find new examples of Fano manifolds satisfying $ch_2(X)\geq0$.

math.AG↗
arXiv2008

The Cox Ring of $\bar{M}_{0,6}$

We prove that the Cox ring of $\bar{M}_{0,6}$, the moduli space of stable, rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are pull-backs of the hyperelliptic locus in $\bar{M}_3$, the moduli space of stable, genus 3 curves, via morphisms that send a 6-pointed rational curve to a curve with 3 nodes by identifying 3 pairs of points. In particular, this gives a self-contained proof of Hassett and Tschinkel's result about the effective cone of $\bar{M}_{0,6}$ being generated by the above mentioned divisors.

math.AG↗