Showing 1–27 of 27 results for author: Huizenga, J

Brill-Noether theory on the projective plane for bundles with many sections

Authors: Izzet Coskun, Jack Huizenga, Neelarnab Raha

Abstract: The Brill-Noether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, Brill-Noether theory for higher dimensional varieties is less understood. It is hard to determine when Brill-Noether loci are nonempty and these loci can be reducible and of larger than the expected dimension. Let $E$ be a semi… ▽ More The Brill-Noether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, Brill-Noether theory for higher dimensional varieties is less understood. It is hard to determine when Brill-Noether loci are nonempty and these loci can be reducible and of larger than the expected dimension. Let $E$ be a semistable sheaf on the projective plane. In this paper, we give an upper bound for $h^0(E)$ in terms of the rank $r$ and the slope $μ$ of $E$. We show that the bound is achieved precisely when $E$ is a twist of a Steiner bundle. We classify the sheaves $E$ such that $h^0(E)$ is sufficiently close to the upper bound. We determine the nonemptiness, irreducibility and dimension of the Brill-Noether loci in the moduli spaces of sheaves with $h^0(E)$ in this range. When they are nonempty, these Brill-Noether loci are irreducible though almost always of larger than the expected dimension. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 22 pages, comments welcome!

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20

The Brill-Noether Theory of the Moduli Spaces of Sheaves on Surfaces

Authors: Izzet Coskun, Jack Huizenga, Howard Nuer

Abstract: In this paper, we survey recent developments in the Brill-Noether Theory of higher rank vector bundles on complex projective surfaces. We focus on weak Brill-Noether Theorems on rational and K-trivial surfaces and their applications. In this paper, we survey recent developments in the Brill-Noether Theory of higher rank vector bundles on complex projective surfaces. We focus on weak Brill-Noether Theorems on rational and K-trivial surfaces and their applications. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 45 pages. Comments Welcome!

MSC Class: Primary: 14L30; 14M15; 14M17. Secondary: 14L35; 51N30

Interpolation and moduli spaces of vector bundles on very general blowups of the projective plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles.… ▽ More In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles. We find examples of moduli spaces of vector bundles on more general blowups of the projective plane that are disconnected and have components of different dimensions. In fact, assuming the SHGH Conjecture, we can find moduli spaces with arbitrarily many components of arbitrarily large dimension. △ Less

Submitted 23 May, 2024; v1 submitted 9 June, 2023; originally announced June 2023.

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20

Journal ref: Épijournal de Géométrie Algébrique, Volume 8 (May 27, 2024) epiga:11474

Stability and cohomology of kernel bundles on projective space

Authors: Izzet Coskun, Jack Huizenga, Geoffrey Smith

Abstract: In this paper, we study the cohomology of vector bundles on projective space defined as kernels or cokernels of general maps $V_1 \to V_2$, where the $V_i$ are direct sums of line bundles or certain exceptional bundles. We prove an asymptotic cohomology vanishing theorem. We characterize the stability of general Steiner bundles on projective space. We also give a criterion for a Steiner bundle to… ▽ More In this paper, we study the cohomology of vector bundles on projective space defined as kernels or cokernels of general maps $V_1 \to V_2$, where the $V_i$ are direct sums of line bundles or certain exceptional bundles. We prove an asymptotic cohomology vanishing theorem. We characterize the stability of general Steiner bundles on projective space. We also give a criterion for a Steiner bundle to be ample. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 20 pages, 1 figure

MSC Class: 14J60; 14F06; 32L10 (Primary) 14D20 (Secondary)

Disconnected moduli spaces of stable bundles on surfaces

Authors: Izzet Coskun, Jack Huizenga, John Kopper

Abstract: We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components. We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 10 pages

MSC Class: 14J60; 14J29; 14D20

Ample stable vector bundles on rational surfaces

Authors: Jack Huizenga, John Kopper

Abstract: We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable bundle, then a large enough direct sum $V^{\oplus n}$ has ample deformations unless there is an obvious numerical reason why it cannot. Previous work in this area… ▽ More We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable bundle, then a large enough direct sum $V^{\oplus n}$ has ample deformations unless there is an obvious numerical reason why it cannot. Previous work in this area has mostly focused on rank two bundles and relied primarily on classical constructions such as the Serre construction. In contrast, we use recent advances in moduli of vector bundles to obtain strong results for vector bundles of any rank. △ Less

Submitted 20 July, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 16 pages; fixed minor errors

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20

The cohomology of general tensor products of vector bundles on the projective plane

Authors: Izzet Coskun, Jack Huizenga, John Kopper

Abstract: Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the construction of Brill-Noether loci, birational geometry and $S$-duality. Using recent advances in the Minimal Model Program for moduli spaces of sheaves on… ▽ More Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the construction of Brill-Noether loci, birational geometry and $S$-duality. Using recent advances in the Minimal Model Program for moduli spaces of sheaves on $\mathbb{P}^2$, we compute the cohomology of the tensor product of general semistable bundles on $\mathbb{P}^2$. This solves a natural higher rank generalization of the polynomial interpolation problem. More precisely, let $v$ and $w$ be two Chern characters of stable bundles on $\mathbb{P}^2$ and assume that $w$ is sufficiently divisible depending on $v$. Let $V \in M(v)$ and $W \in M(w)$ be two general stable bundles. We fully compute the cohomology of $V \otimes W$. In particular, we show that if $W$ is exceptional, then $V \otimes W$ has at most one nonzero cohomology group determined by the slope and the Euler characteristic, generalizing foundational results of Drézet, Göttsche and Hirschowitz. We characterize the invariants of effective Brill-Noether divisors on $M(v)$. We also characterize when $V\otimes W$ is globally generated. Our computation is canonical given the birational geometry of the moduli space, suggesting a roadmap for tackling analogous problems on other surfaces. △ Less

Submitted 23 August, 2021; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 34 pages, 7 figures. Version 2: includes the case of torsion sheaves

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Existence of semistable sheaves on Hirzebruch surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the… ▽ More Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the stack. In particular, semistable sheaves exist if and only if the Harder-Narasimhan filtration has length one. We then study sharp Bogomolov inequalities $Δ\geq δ_H(c_1/r)$ for the discriminants of stable sheaves which take the polarization and slope into account; these inequalities essentially completely describe the characters of stable sheaves. The function $δ_H(c_1/r)$ can be computed to arbitrary precision by a limiting procedure. In the case of an anticanonically polarized del Pezzo surface, exceptional bundles are always stable and $δ_H(c_1/r)$ is computed by exceptional bundles. More generally, we show that for an arbitrary polarization there are further necessary conditions for the existence of stable sheaves beyond those provided by stable exceptional bundles. We compute $δ_H(c_1/r)$ exactly in some of these cases. Finally, solutions to the existence problem have immediate applications to the birational geometry of moduli spaces of sheaves. △ Less

Submitted 31 July, 2019; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: 70 pages, 9 figures, comments welcome! v2: minor corrections

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20; 14F05

Rationality of Seshadri constants on general blow ups of $\mathbb{P}^2$

Authors: Łucja Farnik, Krishna Hanumanthu, Jack Huizenga, David Schmitz, Tomasz Szemberg

Abstract: Let $X$ be a projective surface and let $L$ be an ample line bundle on $X$. The global Seshadri constant $\varepsilon(L)$ of $L$ is defined as the infimum of Seshadri constants $\varepsilon(L,x)$ as $x\in X$ varies. It is an interesting question to ask if $\varepsilon(L)$ is a rational number for any pair $(X, L)$. We study this question when $X$ is a blow up of $\mathbb{P}^2$ at $r \ge 0$ very ge… ▽ More Let $X$ be a projective surface and let $L$ be an ample line bundle on $X$. The global Seshadri constant $\varepsilon(L)$ of $L$ is defined as the infimum of Seshadri constants $\varepsilon(L,x)$ as $x\in X$ varies. It is an interesting question to ask if $\varepsilon(L)$ is a rational number for any pair $(X, L)$. We study this question when $X$ is a blow up of $\mathbb{P}^2$ at $r \ge 0$ very general points and $L$ is an ample line bundle on $X$. For each $r$ we define a $\textit{submaximality threshold}$ which governs the rationality or irrationality of $\varepsilon(L)$. We state a conjecture which strengthens the SHGH Conjecture and assuming that this conjecture is true we determine the submaximality threshold. △ Less

Submitted 20 February, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: Proof of Theorem 4.1 re-organized for more clarity; some other minor changes; to appear in J. Pure Appl. Algebra

MSC Class: 14C20; 14H50; 14J26

Brill-Noether theorems and globally generated vector bundles on Hirzebruch surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Ga… ▽ More In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Gaeta resolution on the projective plane. As a consequence of these results, we classify Chern characters such that the general stable bundle is globally generated. △ Less

Submitted 15 May, 2018; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: v2: Minor corrections. Results in section 5 extended to the rank 1 case

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Weak Brill-Noether for rational surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: A moduli space of sheaves satisfies weak Brill-Noether if the general sheaf in the moduli space has no cohomology. Goettsche and Hirschowitz prove that on the projective plane every moduli space of Gieseker semistable sheaves of rank at least two and Euler characteristic zero satisfies weak Brill-Noether. In this paper, we give sufficient conditions for weak Brill-Noether to hold on rational surfa… ▽ More A moduli space of sheaves satisfies weak Brill-Noether if the general sheaf in the moduli space has no cohomology. Goettsche and Hirschowitz prove that on the projective plane every moduli space of Gieseker semistable sheaves of rank at least two and Euler characteristic zero satisfies weak Brill-Noether. In this paper, we give sufficient conditions for weak Brill-Noether to hold on rational surfaces. We completely characterize Chern characters on Hirzebruch surfaces for which weak Brill-Noether holds. We also prove that on a del Pezzo surface of degree at least 4 weak Brill-Noether holds if the first Chern class is nef. △ Less

Submitted 8 November, 2016; originally announced November 2016.

Comments: 21 pages, comments welcome! Dedicated to Lawrence Ein on the occassion of his sixtieth birthday

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Negative curves on symmetric blowups of the projective plane, resurgences and Waldschmidt constants

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Alexandra Seceleanu, Tomasz Szemberg

Abstract: The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these lin… ▽ More The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these line configurations. We study invariant curves on X in detail, with a particular emphasis on curves of negative self-intersection. We use the representation theory of the stabilizers of the singular points to discover several invariant curves of negative self-intersection on X, and use these curves to study Nagata-type questions for linear series on X. The homogeneous ideal I of the collection of points in the configuration is an example of an ideal where the symbolic cube of the ideal is not contained in the square of the ideal; ideals with this property are seemingly quite rare. The resurgence and asymptotic resurgence are invariants which were introduced to measure such failures of containment. We use our knowledge of negative curves on X to compute the resurgence of I exactly. We also compute the asymptotic resurgence and Waldschmidt constant exactly in the case of the Wiman configuration of lines, and provide estimates on both for the Klein configuration. △ Less

Submitted 10 October, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 39 pages. In v2: Section 4.1 rewritten for clarity and other minor changes

MSC Class: 14C20; 14J26; 13A50; 13P10 (Primary); 14J50; 14Q20; 11H46; 52C30; 32S22 (Secondary)

Birational geometry of moduli spaces of sheaves and Bridgeland stability

Authors: Jack Huizenga

Abstract: Moduli spaces of sheaves and Hilbert schemes of points have experienced a recent resurgence in interest in the past several years, due largely to new techniques arising from Bridgeland stability conditions and derived category methods. In particular, classical questions about the birational geometry of these spaces can be answered by using new tools such as the positivity lemma of Bayer and Macrì.… ▽ More Moduli spaces of sheaves and Hilbert schemes of points have experienced a recent resurgence in interest in the past several years, due largely to new techniques arising from Bridgeland stability conditions and derived category methods. In particular, classical questions about the birational geometry of these spaces can be answered by using new tools such as the positivity lemma of Bayer and Macrì. In this article we first survey classical results on moduli spaces of sheaves and their birational geometry. We then discuss the relationship between these classical results and the new techniques coming from Bridgeland stability, and discuss how cones of ample divisors on these spaces can be computed with these new methods. This survey expands upon the author's talk at the 2015 Bootcamp in Algebraic Geometry preceding the 2015 AMS Summer Research Institute on Algebraic Geometry at the University of Utah. △ Less

Submitted 23 June, 2016; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: v2: minor corrections and additional references

MSC Class: 14J60 (Primary); 14E30; 14J29; 14C05 (Secondary)

Ulrich Schur bundles on flag varieties

Authors: Izzet Coskun, Laura Costa, Jack Huizenga, Rosa Maria Miró-Roig, Matthew Woolf

Abstract: In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conject… ▽ More In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. △ Less

Submitted 19 December, 2015; originally announced December 2015.

Comments: 36 pages, 11 figures. Merges and replaces arXiv:1507.00102 and arXiv:1506.03586

MSC Class: 14M15; 14J60; 13C14; 13D02; 14F05

The nef cone of the moduli space of sheaves and strong Bogomolov inequalities

Authors: Izzet Coskun, Jack Huizenga

Abstract: Let (X,H) be a polarized, smooth, complex projective surface, and let v be a Chern character on X with positive rank and sufficiently large discriminant. In this paper, we compute the Gieseker wall for v in a slice of the stability manifold of X. We construct explicit curves parameterizing non-isomorphic Gieseker stable sheaves that become S-equivalent along the wall. As a corollary, we conclude t… ▽ More Let (X,H) be a polarized, smooth, complex projective surface, and let v be a Chern character on X with positive rank and sufficiently large discriminant. In this paper, we compute the Gieseker wall for v in a slice of the stability manifold of X. We construct explicit curves parameterizing non-isomorphic Gieseker stable sheaves that become S-equivalent along the wall. As a corollary, we conclude that if there are no strictly semistable sheaves of character v, the Bayer-Macri divisor associated to the wall is a boundary nef divisor on the moduli space of sheaves M_H(v). We recover previous results for the projective plane and K3 surfaces, and illustrate applications to higher Picard rank surfaces with an example on a quadric surface. △ Less

Submitted 9 March, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: 20 pages, comments welcome! Version 2 includes an additional section with many examples

MSC Class: 14J60; 14E30; 14J29; 14C05

Nef cones of Hilbert schemes of points on surfaces

Authors: Barbara Bolognese, Jack Huizenga, Yinbang Lin, Eric Riedl, Benjamin Schmidt, Matthew Woolf, Xiaolei Zhao

Abstract: Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the Hilbert scheme. We then use these techniques to compute the cone of ample divisors on the Hilbert scheme for several surfaces where the cone was previously unk… ▽ More Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the Hilbert scheme. We then use these techniques to compute the cone of ample divisors on the Hilbert scheme for several surfaces where the cone was previously unknown. Our examples include families of surfaces of general type and del Pezzo surfaces of degree 1. The methods rely on Bridgeland stability and the Positivity Lemma of Bayer and Macri. △ Less

Submitted 3 April, 2018; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: Corrected an error in section 5: the action of the Weyl group on the extremal rays of Nef(X) is not transitive, and instead has two orbits (see Proposition 5.2). All the results from the section still hold after small modifications to the proofs

MSC Class: 14C05; 14E30; 14J29; 14J60

Journal ref: Algebra Number Theory 10 (2016) 907-930

Equivariant Ulrich bundles on flag varieties

Authors: Izzet Coskun, Jack Huizenga, Matthew Woolf

Abstract: In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural descri… ▽ More In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig. △ Less

Submitted 22 December, 2015; v1 submitted 1 July, 2015; originally announced July 2015.

Comments: Submission withdrawn as it is subsumed into submission arXiv:1512.06193 with additional authors

MSC Class: 14M15; 14J60; 13C14; 13D02; 14F05

The ample cone of moduli spaces of sheaves on the plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: Fix a Chern character of a stable sheaf on the plane. Assume either the rank is at most 6 or the rank and first Chern class are coprime and the discriminant is sufficiently large. We use recent results of Bayer and Macri on Bridgeland stability to compute the ample cone of the moduli space of Gieseker semistable sheaves with the given Chern character. We recover earlier results, such as those by S… ▽ More Fix a Chern character of a stable sheaf on the plane. Assume either the rank is at most 6 or the rank and first Chern class are coprime and the discriminant is sufficiently large. We use recent results of Bayer and Macri on Bridgeland stability to compute the ample cone of the moduli space of Gieseker semistable sheaves with the given Chern character. We recover earlier results, such as those by Stromme and Yoshioka, as special cases. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 27 pages, comments welcome!

MSC Class: Primary: 14J60; Secondary: 14E30; 14J26; 14D20; 13D02

Bounded Negativity and Arrangements of Lines

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Anders Lundman, Piotr Pokora, Tomasz Szemberg

Abstract: The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a lower bound is invariant in the birational equivalence class of $X$. In the present note we introduce certain constants $H(X)$ which measure in effect the variance… ▽ More The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a lower bound is invariant in the birational equivalence class of $X$. In the present note we introduce certain constants $H(X)$ which measure in effect the variance of the lower bounds in the birational equivalence class of $X$. We focus on rational surfaces and relate the value of $H({\mathbb P}^2)$ to certain line arrangements. Our main result is Theorem 3.3 and the main open challenge is Problem 3.10. △ Less

Submitted 5 November, 2014; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: v2, rewritten, extra material on arrangements of real lines, to appear in International Mathematics Research Notices

MSC Class: 14C20

Journal ref: International Mathematical Research Notes 2015, 9456 -- 9471 (2015)

The effective cone of the moduli space of sheaves on the plane

Authors: Izzet Coskun, Jack Huizenga, Matthew Woolf

Abstract: We compute the cone of effective divisors on any moduli space of semistable sheaves on the plane. The computation hinges on finding a good resolution of a general stable sheaf. This resolution is determined by Bridgeland stability and arises from a well-chosen Beilinson spectral sequence. The existence of a good choice of spectral sequence depends on remarkable number-theoretic properties of the s… ▽ More We compute the cone of effective divisors on any moduli space of semistable sheaves on the plane. The computation hinges on finding a good resolution of a general stable sheaf. This resolution is determined by Bridgeland stability and arises from a well-chosen Beilinson spectral sequence. The existence of a good choice of spectral sequence depends on remarkable number-theoretic properties of the slopes of exceptional bundles. △ Less

Submitted 8 January, 2014; originally announced January 2014.

Comments: 37 pages, 6 figures, comments welcome!

MSC Class: Primary: 14J60; Secondary: 14E30; 14D20; 13D02

Interpolation, Bridgeland stability and monomial schemes in the plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: Given a zero-dimensional scheme Z, the higher-rank interpolation problem asks for the classification of slopes of vector bundles cohomologically orthogonal to the ideal sheaf of Z. In this paper, we solve this problem for all zero-dimensional monomial schemes in the projective plane. As a corollary, we obtain detailed information on the stable base loci of divisors on the Hilbert scheme of points… ▽ More Given a zero-dimensional scheme Z, the higher-rank interpolation problem asks for the classification of slopes of vector bundles cohomologically orthogonal to the ideal sheaf of Z. In this paper, we solve this problem for all zero-dimensional monomial schemes in the projective plane. As a corollary, we obtain detailed information on the stable base loci of divisors on the Hilbert scheme of points on the plane. We prove the correspondence between walls in the Bridgeland stability manifold and walls in the Mori chamber decomposition of the effective cone conjectured by Arcara-Bertram-Coskun-Huizenga for monomial schemes. We determine the Harder-Narasimhan filtration of ideal sheaves of monomial schemes for suitable Bridgeland stability conditions and, as a consequence, obtain a new resolution better suited for cohomology computations than other standard resolutions such as the minimal free resolution. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Comments: 37 pages, 11 figures, comments welcome

MSC Class: Primary: 14C05. Secondary: 14E30; 14J60; 13D02

Effective divisors on the Hilbert scheme of points in the plane and interpolation for stable bundles

Authors: Jack Huizenga

Abstract: We compute the cone of effective divisors on the Hilbert scheme of points in the projective plane. We show the sections of many stable vector bundles satisfy a natural interpolation condition, and that these bundles always give rise to the edge of the effective cone of the Hilbert scheme. To do this, we give a generalization of Gaeta's theorem on the resolution of the ideal sheaf of a general coll… ▽ More We compute the cone of effective divisors on the Hilbert scheme of points in the projective plane. We show the sections of many stable vector bundles satisfy a natural interpolation condition, and that these bundles always give rise to the edge of the effective cone of the Hilbert scheme. To do this, we give a generalization of Gaeta's theorem on the resolution of the ideal sheaf of a general collection of points in the plane. This resolution has a natural interpretation in terms of Bridgeland stability, and we observe that ideal sheaves of collections of points are destabilized by exceptional bundles. By studying the Bridgeland stability of exceptional bundles, we also show that our computation of the effective cone of the Hilbert scheme is consistent with a conjecture which predicts a correspondence between Mori and Bridgeland walls for the Hilbert scheme. △ Less

Submitted 28 October, 2013; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: Final version to appear in the Journal of Algebraic Geometry. Sections 6 and 7 greatly simplified due to referee comments

MSC Class: 14C05 (Primary) 14E30; 14J60; 13D02 (Secondary)

The Minimal Model Program for the Hilbert Scheme of Points on P^2 and Bridgeland Stability

Authors: Daniele Arcara, Aaron Bertram, Izzet Coskun, Jack Huizenga

Abstract: In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and… ▽ More In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n at most 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions. △ Less

Submitted 1 March, 2012; originally announced March 2012.

Comments: 42 pages

MSC Class: 14E30; 14C05; 14D20; 14D23

Restrictions of Steiner bundles and divisors on the Hilbert scheme of points in the plane

Authors: Jack Huizenga

Abstract: The Hilbert scheme of n points in the projective plane parameterizes degree n zero-dimensional subschemes of the projective plane. We examine the dual cones of effective divisors and moving curves on the Hilbert scheme. By studying interpolation, restriction, and stability properties of certain vector bundles on the plane we fully determine these cones for just over three fourths of all values of… ▽ More The Hilbert scheme of n points in the projective plane parameterizes degree n zero-dimensional subschemes of the projective plane. We examine the dual cones of effective divisors and moving curves on the Hilbert scheme. By studying interpolation, restriction, and stability properties of certain vector bundles on the plane we fully determine these cones for just over three fourths of all values of n. A general Steiner bundle on P^N is a vector bundle admitting a linear resolution of a particular form. We complete the classification of slopes of semistable Steiner bundles on P^N by showing every admissible slope is realized by a bundle which restricts to a semistable bundle on a rational curve. The proof involves a basic question about multiplication of polynomials on P^1 which is interesting in its own right. △ Less

Submitted 1 March, 2012; v1 submitted 27 February, 2011; originally announced February 2011.

Comments: Comments welcome; 27 pages, 1 figure

MSC Class: 14C05; 14J60; 14E30; 14M06

Interpolation on surfaces in P^3

Authors: Jack Huizenga

Abstract: Given a surface S in P^3 and a collection of general points on it, how many surfaces of a given degree intersect S in a curve with prescribed multiplicities at the points? We formulate two natural conjectures which would answer this question, and we show they are equivalent. We then prove these conjectures in case all multiplicities are small. Given a surface S in P^3 and a collection of general points on it, how many surfaces of a given degree intersect S in a curve with prescribed multiplicities at the points? We formulate two natural conjectures which would answer this question, and we show they are equivalent. We then prove these conjectures in case all multiplicities are small. △ Less

Submitted 4 January, 2011; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: 21 pages, 1 figure. Version 3 streamlines the exposition considerably

MSC Class: 14J29; 14J28; 14J70; 14H50

Invariant metrics with nonnegative curvature on SO(4) and other Lie groups

Authors: Jack Huizenga, Kristopher Tapp

Abstract: We develop techniques for classifying the nonnegatively curved left-invariant metrics on a compact Lie group G. We prove rigidity theorems for general G and a partial classification for G=SO(4). Our approach is to reduce the general question to an infinitesimal version; namely, to classify the directions one can move away from a fixed bi-invariant metric such that curvature variation formulas pr… ▽ More We develop techniques for classifying the nonnegatively curved left-invariant metrics on a compact Lie group G. We prove rigidity theorems for general G and a partial classification for G=SO(4). Our approach is to reduce the general question to an infinitesimal version; namely, to classify the directions one can move away from a fixed bi-invariant metric such that curvature variation formulas predict nearby metrics are nonnnegatively curved. △ Less

Submitted 8 February, 2007; originally announced February 2007.

Comments: 22 pages

MSC Class: 53C

Techniques for classifying nonnegatively curved left-invariant metrics on compact Lie groups

Authors: Jack Huizenga

Abstract: We provide techniques for studying the nonnegatively curved left-invariant metrics on a compact Lie group. For "straight" paths of left-invariant metrics starting at bi-invariant metrics and ending at nonnegatively curved metrics, we deduce a nonnegativity property of the initial derivative of curvature. We apply this result to obtain a partial classification of the nonnegatively curved left-inv… ▽ More We provide techniques for studying the nonnegatively curved left-invariant metrics on a compact Lie group. For "straight" paths of left-invariant metrics starting at bi-invariant metrics and ending at nonnegatively curved metrics, we deduce a nonnegativity property of the initial derivative of curvature. We apply this result to obtain a partial classification of the nonnegatively curved left-invariant metrics on SO(4). △ Less

Submitted 14 August, 2006; originally announced August 2006.

Comments: 13 pages

MSC Class: 53C