Search

In this paper we study the birational geometry of $X$, a projective space $\mathbb{P}^n$ blown up at $s$ general points. We obtain a characterization of a special class of subvarieties, which we call Weyl $r$-planes, each of them being swept out by one $(n-r)$-moving curve class. For Mori dream spaces $X$, we unify different previous approaches, by reinterpreting the description of the Mori chamber decomposition of the effective cone in terms of these curve classes; in this case all relevant orbits are finite. For general $s$, we prove that Weyl $r$-planes are infinite and continue to appear as stable base locus. This yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors, that is a coarsening of its Mori chamber decomposition, when the latter can be defined. We prove that the combinatorics of such chamber decomposition obeys the Weyl group action on curves. We conjecture that for $s=n+4$ the Weyl and the Mori chamber decompositions coincide., Comment: 35 pages

Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds., Comment: 20 pages, 1 figure

We investigate the study of smooth irreducible rational curves in $Y_s^r$, a general blowup of $\mathbb{P}^r$ at $s$ general points, whose normal bundle splits as a direct sum of line bundles all of degree $i$, for $i \in \{-1,0,1\}$: we call these $(i)$-curves. We systematically exploit the theory of Coxeter groups applied to the Chow space of curves in $Y_s^r$, which provides us with a useful bilinear form that helps to expose properties of $(i)$-curves. We are particularly interested in the orbits of lines (through $1-i$ points) under the Weyl group of standard Cremona transformations (all of which are $(i)$-curves): we call these $(i)$-Weyl lines. We prove various theorems related to understanding when an $(i)$-curve is an $(i)$-Weyl line, via numerical criteria expressed in terms of the bilinear form. We obtain stronger results for $r=3$, where we prove a Noether-type inequality that gives a sharp criterion.

In this paper we study $(i)$-curves with $i\in \{-1, 0, 1\}$ in the blown up projective space $\mathbb{P}^r$ in general points. The notion of $(-1)$-curves was analyzed in the early days of mirror symmetry by Kontsevich with the motivation of counting curves on a Calabi-Yau threefold. In dimension two, Nagata studied planar $(-1)$-curves in order to construct counterexample to Hilbert's 14th problem. We introduce the notion of classes of $(0)$- and $(1)$-curves in $\mathbb{P}^r$ with $s$ points blown up and we prove that their number is finite if and only if the space is a Mori Dream Space. We further introduce a bilinear form on a space of curves, and a unique symmetric Weyl-invariant class, $F$, (that we will refer to as the anticanonical curve class). For Mori Dream Spaces we prove that $(-1)$-curves can be defined arithmetically by the linear and quadratic invariants determined by the bilinear form. Moreover, $(0)$- and $(1)$-Weyl lines give the extremal rays for the cone of movable curves in $\mathbb{P}^r$ with $r+3$ points blown up. As an application, we use the technique of movable curves to reprove that if $F^2\leq 0$ then $Y$ is not a Mori Dream Space and we propose to apply this technique to other spaces., Comment: 44 pages

We define the Weyl cycles on $X^n_s$, the blown up projective space $\mathbb{P}^n$ in $s$ points in general position. In particular, we focus on the Mori Dream spaces $X^3_7$ and $X^{4}_{8}$, where we classify all the Weyl cycles of codimension two. We further introduce the Weyl expected dimension for the space of the global sections of any effective divisor that generalizes the linear expected dimension and the secant expected dimension., Comment: Final version, published in The Art of Doing Algebraic Geometry. Trends in Mathematics. Birkhauser, Cham (2023)

This article is motivated by the authors interest in the geometry of the Mori dream space $\mathbb{P}^4$ blown up in $8$ general points. In this article we develop the necessary technique for determining Weyl orbits of linear cycles for the four-dimensional case, by explicit computations in the Chow ring of the resolution of the standard Cremona transformation. In particular, we close this paper with applications to the question of the dimension of the space global sections of effective divisors having at most $8$ base points.

In this paper we introduce and study divisorial (i) classes} for the blow up of projective space in several points for i=-1,0 and 1. We generalize Noether's inequality, and we prove that all divisorial (i) classes are in bijective correspondence with the orbit of the Weyl group action on one exceptional divisor following Nagata's original approach. Moreover, we prove that the irreducibility condition from the definition of divisorial (i) classes can be replaced by the numerical condition of having positive intersection with all divisorial (i) classes of smaller degree via the Mukai pairing., Comment: 27 pages, 1 figure; version 3 changes the name of (-1) classes in version 2 to divisorial (i) classes. We also generalize from i=-1 to i=-1,0 and 1

Edge-contraction operations form an effective tool in various graph enumeration problems, such as counting Grothendieck's dessins d'enfants and simple and double Hurwitz numbers. These counting problems can be solved by a mechanism known as topological recursion, which is a mirror B-model corresponding to these counting problems. We show that for the case of orbifold Hurwitz numbers, the mirror objects, i.e., the spectral curve and the differential forms on it, are constructed solely from the edge-contraction operations of the counting problem in genus $0$ and one marked point. This forms a parallelism with Gromov-Witten theory, where genus 0 Gromov-Witten invariants correspond to mirror B-model holomorphic geometry., Comment: This preprint has 16 pages and 20 figures. This preprint together with arxiv: 1508.05922v3 (Journal of Algebra, vol. 494, January 2018) replaces arxiv:1508.05922v2. Grant acknowledgement added

We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef., Comment: Journal of Algebra

We give an effective iterative characterization of the classes of (smooth, rational) (-1)-curves on the blowup of the projective plane at general points. Such classes are characterized as having self-intersection -1, arithmetic genus 0, and intersecting every (-1)-curve of smaller degree nonnegatively., Comment: 6 pages. v2: correction to statement of Lemma 2.2; rest of paper unaffected

This article consists of two parts. In Part 1, we present a formulation of two-dimensional topological quantum field theories in terms of a functor from a category of Ribbon graphs to the endofuntor category of a monoidal category. The key point is that the category of ribbon graphs produces all Frobenius objects. Necessary backgrounds from Frobenius algebras, topological quantum field theories, and cohomological field theories are reviewed. A result on Frobenius algebra twisted topological recursion is included at the end of Part 1. In Part 2, we explain a geometric theory of quantum curves. The focus is placed on the process of quantization as a passage from families of Hitchin spectral curves to families of opers. To make the presentation simpler, we unfold the story using SL_2(\mathbb{C})-opers and rank 2 Higgs bundles defined on a compact Riemann surface $C$ of genus greater than $1$. In this case, quantum curves, opers, and projective structures in $C$ all become the same notion. Background materials on projective coordinate systems, Higgs bundles, opers, and non-Abelian Hodge correspondence are explained., Comment: 53 pages, 6 figures

Quantum curves were introduced in the physics literature. We develop a mathematical framework for the case associated with Hitchin spectral curves. In this context, a quantum curve is a Rees $\mathcal{D}$-module on a smooth projective algebraic curve, whose semi-classical limit produces the Hitchin spectral curve of a Higgs bundle. We give a method of quantization of Hitchin spectral curves by concretely constructing one-parameter deformation families of opers. We propose a variant of the topological recursion of Eynard--Orantin and Mirzakhani for the context of singular Hitchin spectral curves. We show that a PDE version of topological recursion provides all-order WKB analysis for the Rees $\mathcal{D}$-modules, defined as the quantization of Hitchin spectral curves associated with meromorphic $SL(2,\mathbb{C})$-Higgs bundles. Topological recursion can be considered as a process of quantization of Hitchin spectral curves. We prove that these two quantizations, one via the construction of families of opers, and the other via the PDE recursion of topological type, agree for holomorphic and meromorphic $SL(2,\mathbb{C})$-Higgs bundles. Classical differential equations such as the Airy differential equation provides a typical example. Through these classical examples, we see that quantum curves relate Higgs bundles, opers, a conjecture of Gaiotto, and quantum invariants, such as Gromov--Witten invariants, Comment: arXiv admin note: text overlap with arXiv:1411.1023

This paper provides an introduction to the mathematical notion of \emph{quantum curves}. We start with a concrete example arising from a graph enumeration problem. We then develop a theory of quantum curves associated with Hitchin spectral curves. A conjecture of Gaiotto, which predicts a new construction of opers from a Hitchin spectral curve, is explained. We give a step-by-step detailed description of the proof of the conjecture for the case of rank $2$ Higgs bundles. Finally, we identify the two concepts of \textit{quantum curve} arising from the topological recursion formalism with the limit oper of Gaiotto's conjecture.

For a complex simple simply connected Lie group $G$, and a compact Riemann surface $C$, we consider two sorts of families of flat $G$-connections over $C$. Each family is determined by a point ${\mathbf u}$ of the base of Hitchin's integrable system for $(G,C)$. One family $\nabla_{\hbar,{\mathbf u}}$ consists of $G$-opers, and depends on $\hbar \in {\mathbb C}^\times$. The other family $\nabla_{R,\zeta,{\mathbf u}}$ is built from solutions of Hitchin's equations, and depends on $\zeta \in {\mathbb C}^\times, R \in {\mathbb R}^+$. We show that in the scaling limit $R \to 0$, $\zeta = \hbar R$, we have $\nabla_{R,\zeta,{\mathbf u}} \to \nabla_{\hbar,{\mathbf u}}$. This establishes and generalizes a conjecture formulated by Gaiotto., Comment: 23 pages

We compute the facets of the effective cones of divisors on the blow-up of P^3 in up to five lines in general position. We prove that up to six lines these threefolds are weak Fano and hence Mori Dream Spaces., Comment: Second version, accepted for publication to the special issue "Recent advances in Linear series and Newton-Okounkov bodies" of the "Rendiconti di Palermo" as proceedings of the workshop in Padua, February 2015

The paper aims at giving an introduction to the notion of quantum curves. The main purpose is to describe the new discovery of the relation between the following two disparate subjects: one is the topological recursion, that has its origin in random matrix theory and has been effectively applied to many enumerative geometry problems; and the other is the quantization of Hitchin spectral curves associated with Higgs bundles. Our emphasis is on explaining the motivation and examples. Concrete examples of the direct relation between Hitchin spectral curves and enumeration problems are given. A general geometric framework of quantum curves is also discussed., Comment: 70 pages, 14 figures

We present a new set of axioms for 2D TQFT formulated on the category of cell graphs with edge-contraction operations as morphisms. We construct a functor from this category to the endofunctor category consisting of Frobenius algebras. Edge-contraction operations correspond to natural transformations of endofunctors, which are compatible with the Frobenius algebra structure. Given a Frobenius algebra A, every cell graph determines an element of the symmetric tensor algebra defined over the dual space A*. We show that the edge-contraction axioms make this assignment depending only on the topological type of the cell graph, but not on the graph itself. Thus the functor generates the TQFT corresponding to A., Comment: accepted in Journal of Algebra (22 pages, 13 figures)

We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points., Comment: Inequality (2.2) was slightly modified

For a scheme of fat points $Z$ defined by the saturated ideal $\mathcal{I}_Z$, the regularity index computes the Castelnuovo-Mumford regularity of the Cohen-Macaulay ring $R/\mathcal{I}_Z.$ For points in " general position" we improve the bound for the regularity index computed by Segre for $\mathbb {P}^2$ and generalised by Catalisano, Trung and Valla for $\mathbb {P}^n$. Moreover, we prove that the generalised Segre's bound conjectured by Fatabbi and Lorenzini holds for $n+3$ arbitrary points in $\mathbb {P}^n$. We propose a modification of Segre's conjecture for arbitrary points and we discuss some evidences., Comment: Revised version: statement of Theorem 3.6 corrected, Section 4.1 with a proof of Conjecture 4.1 for n=3 added. Accepted for publication in JPAA. 19 pages

We compute the facets of the effective and movable cones of divisors on the blow-up of $\mathbb{P}^n$ at $n+3$ points in general position. Given any linear system of hypersurfaces of $\mathbb{P}^n$ based at $n+3$ multiple points in general position, we prove that the secant varieties to the rational normal curve of degree $n$ passing through the points, as well as their joins with linear subspaces spanned by some of the points, are cycles of the base locus and we compute their multiplicity. We conjecture that a linear system with $n+3$ points is linearly special only if it contains such subvarieties in the base locus and we give a new formula for the expected dimension., Comment: 22 pages. Revised version. Statement of Theorem 5.1 corrected. To appear in Experimental Mathematics

A geometric quantization using the topological recursion is established for the compactified cotangent bundle of a smooth projective curve of an arbitrary genus. In this quantization, the Hitchin spectral curve of a rank $2$ meromorphic Higgs bundle on the base curve corresponds to a quantum curve, which is a Rees $D$-module on the base. The topological recursion then gives an all-order asymptotic expansion of its solution, thus determining a state vector corresponding to the spectral curve as a meromorphic Lagrangian. We establish a generalization of the topological recursion for a singular spectral curve. We show that the partial differential equation version of the topological recursion automatically selects the normal ordering of the canonical coordinates, and determines the unique quantization of the spectral curve. The quantum curve thus constructed has the semi-classical limit that agrees with the original spectral curve. Typical examples of our construction includes classical differential equations, such as Airy, Hermite, and Gau\ss\ hypergeometric equations. The topological recursion gives an asymptotic expansion of solutions to these equations at their singular points, relating Higgs bundles and various quantum invariants., Comment: 46 pages, 6 figures

We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma for the quadric. As an application we establish Laface-Ugaglia Conjecture for linear systems with multiplicities bounded by 8 and for homogeneous linear systems with multiplicity m and degree up to 2m+1., Comment: 24 pages. Minor changes. To appear in Annali di Matematica Pura ed Applicata

We study divisors in the blow-up of $\mathbb{P}^n$ at points in general position that are non-special with respect to the notion of linear speciality introduced in [5]. We describe the cohomology groups of their strict transforms via the blow-up of the space along their linear base locus. We extend the result to non-effective divisors that sit in a small region outside the effective cone. As an application, we describe linear systems of divisors in $\mathbb{P}^n$ blown-up at points in star configuration and their strict transforms via the blow-up of the linear base locus.

We generalize the topological recursion of Eynard-Orantin (2007) to the family of spectral curves of Hitchin fibrations. A spectral curve in the topological recursion, which is defined to be a complex plane curve, is replaced with a generic curve in the cotangent bundle $T^*C$ of an arbitrary smooth base curve $C$. We then prove that these spectral curves are quantizable, using the new formalism. More precisely, we construct the canonical generators of the formal $\hbar$-deformation family of $D$-modules over an arbitrary projective algebraic curve $C$ of genus greater than $1$, from the geometry of a prescribed family of smooth Hitchin spectral curves associated with the $SL(2,\mathbb{C})$-character variety of the fundamental group $\pi_1(C)$. We show that the semi-classical limit through the WKB approximation of these $\hbar$-deformed $D$-modules recovers the initial family of Hitchin spectral curves., Comment: 34 pages

Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear system, which takes into account the contribution of the linear base locus, and thus to introduce the notion of linear speciality. We investigate such a notion giving sufficient conditions for a linear system to be linearly non-special for arbitrary number of points, and necessary conditions for small numbers of points., Comment: 26 pages. Minor changes, Definition 3.2 slightly extended. Accepted for publication in Transactions of AMS

The Eynard-Orantin recursion formula provides an effective tool for certain enumeration problems in geometry. The formula requires a spectral curve and the recursion kernel. We present a uniform construction of the spectral curve and the recursion kernel from the unstable geometries of the original counting problem. We examine this construction using four concrete examples: Grothendieck's dessins d'enfants (or higher-genus analogue of the Catalan numbers), the intersection numbers of tautological cotangent classes on the moduli stack of stable pointed curves, single Hurwitz numbers, and the stationary Gromov-Witten invariants of the complex projective line., Comment: 49 pages, 7 figures

We will use toric degenerations of the projective plane ${{\mathbb{P}}^ 2}$ to give a new proof of the triple points interpolation problems in the projective plane. We also give a complete list of toric surfaces that are useful as components in this degeneration.

In this paper we give a new proof of the fact that for all pairs of positive integers (d, m) with d/m < 117/37, the linear system of plane curves of degree d with ten general base points of multiplicity m is empty., Comment: 5 pages