Showing 1–50 of 70 results for author: Harbourne, B

Finite sets of points in $\mathbb{P}^4$ with special projection properties

Authors: Luca Chiantini, Łucja Farnik, Giuseppe Favacchio, Brian Harbourne, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly,… ▽ More In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly, for infinitely many values of $b$ and $d$ there exist such sets in linear general position. The note contains open questions and problems. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 29 pages

MSC Class: 14N05; 14C17; 14N20; 14M10; 14M05; 14M07; 13C40; 05E14

Geproci sets on skew lines in $\mathbb P^3$ with two transversals

Authors: Luca Chiantini, Pietro De Poi, Lucja Farnik, Giuseppe Favacchio, Brian Harbourne, Giovanna Ilardi, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2… ▽ More The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2209.04820. Finally, we propose a conjectural representation for all geproci sets of this type, irrespective of the number $m$ of points on each skew line. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 12 pages, 1 figura

MSC Class: 14N05; 14M07; 14M10; 14N20; 05E14

Combinatorics of skew lines in $\mathbb P^3$ with an application to algebraic geometry

Authors: Luca Chiantini, Łucja Farnik, Giuseppe Favacchio, Brian Harbourne, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: This article introduces a previously unrecognized combinatorial structure underlying configurations of skew lines in $\mathbb{P}^3$, and reveals its deep and surprising connection to the algebro-geometric concept of geproci sets. Given any field $\mathbb{K}$ and a finite set $\mathcal L$ of 3 or more skew lines in $\mathbb{P}^3_\mathbb{K}$, we associate to it a group $G_{\mathcal L}$ and a group… ▽ More This article introduces a previously unrecognized combinatorial structure underlying configurations of skew lines in $\mathbb{P}^3$, and reveals its deep and surprising connection to the algebro-geometric concept of geproci sets. Given any field $\mathbb{K}$ and a finite set $\mathcal L$ of 3 or more skew lines in $\mathbb{P}^3_\mathbb{K}$, we associate to it a group $G_{\mathcal L}$ and a groupoid $C_{\mathcal L}$ whose action on the union $\cup_{L\in\mathcal L}L$ provides orbits which have a rich combinatorial structure. We characterize when $G_{\mathcal L}$ is abelian and give partial results on its finiteness. The notion of \emph{collinearly complete} subsets is introduced and shown to correspond exactly to unions of groupoid orbits. In the case where $\mathbb{K}$ is a finite field and $\mathcal L$ is a full spread in $\mathbb{P}^3_\mathbb{K}$ (i.e., every point of $\mathbb{P}^3_\mathbb{K}$ lies on a line in $\mathcal{L}$), we prove that $G_{\mathcal L}$ being abelian characterizes the classical spread given by the fibers of the Hopf fibration. Over any algebraically closed field, we establish that finite unions of $C_{\mathcal L}$-orbits are geproci sets - that is, finite sets whose general projections to a plane are complete intersections. Furthermore, we prove a converse: if $\mathbb{K}$ is algebraically closed and $Z \subset \mathbb{P}^3_\mathbb{K}$ is a geproci set consisting of $m$ points on each of $s \geq 3$ skew lines $\mathcal L$ where the general projection of $Z$ is a complete intersection of type $(m, s)$, then $Z$ is a finite union of orbits of $C_{\mathcal L}$. This work thus uncovers a profound combinatorial framework governing geproci sets, providing a new bridge between incidence combinatorics and algebraic geometry. △ Less

Submitted 5 June, 2025; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 51 pages, major revision of the previous version, significant improvement of the results

MSC Class: 14N05; 14N20; 14M10; 14M05; 14M07; 05E14; 13C40

On the classification of certain geproci sets

Authors: Luca Chiantini, Lucja Farnik, Giuseppe Favacchio, Brian Harbourne, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: In this short note we develop new methods toward the ultimate goal of classifying geproci sets in $\mathbb P^3$. We apply these methods to show that among sets of $16$ points distributed evenly on $4$ skew lines, up to projective equivalence there are only two distinct geproci sets. We give different geometric distinctions between these sets. The methods we develop here can be applied in a more ge… ▽ More In this short note we develop new methods toward the ultimate goal of classifying geproci sets in $\mathbb P^3$. We apply these methods to show that among sets of $16$ points distributed evenly on $4$ skew lines, up to projective equivalence there are only two distinct geproci sets. We give different geometric distinctions between these sets. The methods we develop here can be applied in a more general set-up; this is the context of the follow-up work arXiv:2308.00761. △ Less

Submitted 24 April, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 13 pages, to appear in the proceedings of the 2022 Workshop in Cortona: "Lefschetz Properties: Current and New Directions'

MSC Class: 14M05 and 14M10 and 14N05 and 14N20

Unexpected hypersurfaces and their consequences: A Survey

Authors: Brian Harbourne, Juan Migliore, Uwe Nagel

Abstract: The notion of an unexpected curve in the plane was introduced in 2018, and was quickly generalized in several directions in a flurry of mathematical activity by many authors. In this expository paper we first describe some of the main results on unexpected hypersurfaces. Then we summarize two offshoots of this theory. First we look at sets of points in $\mathbb P^3$ whose general projection is a p… ▽ More The notion of an unexpected curve in the plane was introduced in 2018, and was quickly generalized in several directions in a flurry of mathematical activity by many authors. In this expository paper we first describe some of the main results on unexpected hypersurfaces. Then we summarize two offshoots of this theory. First we look at sets of points in $\mathbb P^3$ whose general projection is a planar complete intersection (so-called {\it geproci} sets). Although we now know a lot about these sets, much remains mysterious. Then we describe an interesting measure of unexpectedness called {\it $AV$-sequences}, which have a surprising structure that is not yet fully understood. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: Submitted to the proceedings of the Cortona conference on The Strong and Weak Lefschetz Properties (September, 2022)

MSC Class: 13C40; 14M05; 14M07; 14M10; 14N05; 14N20

Configurations of points in projective space and their projections

Authors: Luca Chiantini, Łucja Farnik, Giuseppe Favacchio, Brian Harbourne, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: We call a set of points $Z\subset{\mathbb P}^{3}_{\mathbb C}$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees $a$ and $b$. Examples which we call grids have been known since 2011. The only nongrid nondegenerate examples previously known had… ▽ More We call a set of points $Z\subset{\mathbb P}^{3}_{\mathbb C}$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees $a$ and $b$. Examples which we call grids have been known since 2011. The only nongrid nondegenerate examples previously known had $ab=12, 16, 20, 24, 30, 36, 42, 48, 54$ or $60$. Here, for any $4 \leq a \leq b$, we construct nongrid nondegenerate $(a,b)$-geproci sets in a systematic way. We also show that the only such example with $a=3$ is a $(3,4)$-geproci set coming from the $D_4$ root system, and we describe the $D_4$ configuration in detail. We also consider the question of the equivalence (in various senses) of geproci sets, as well as which sets occur over the reals, and which cannot. We identify several additional examples of geproci sets with interesting properties. We also explore the relation between unexpected cones and geproci sets and introduce the notion of $d$-Weddle schemes arising from special projections of finite sets of points. This work initiates the exploration of new perspectives on classical areas of geometry. We formulate and discuss a range of open problems in the final chapter. △ Less

Submitted 11 September, 2022; originally announced September 2022.

Comments: 126 pages, 22 figures

MSC Class: 13C40; 14M05; 14M07; 14M10; 14M12; 14N05; 14N20

On the Bounded Negativity Conjecture and singular plane curves

Authors: Alexandru Dimca, Brian Harbourne, Gabriel Sticlaru

Abstract: There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the $H$-constant o… ▽ More There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the $H$-constant of a rational curve $C$ with at most $9$ singular points satisfies $H(C)>-2$ regardless of the characteristic. △ Less

Submitted 22 March, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: v.3. Substantially upgraded new version, having Brian Harbourne as a new co-author. All the results are now characteristic free, and there are new key examples

Extreme values of the resurgence for homogeneous ideals in polynomial rings

Authors: Brian Harbourne, Jake Kettinger, Frank Zimmitti

Abstract: We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minim… ▽ More We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minimal values simultaneously. In addition, we introduce an integral closure version of the resurgence and relate it to the other versions of the resurgence. In closing we provide various examples and raise some related questions, and we finish with some remarks about computing the resurgence. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 17 pages

Expecting the unexpected: quantifying the persistence of unexpected hypersurfaces

Authors: Giuseppe Favacchio, Elena Guardo, Brian Harbourne, Juan Migliore

Abstract: If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $t$ containing $X$. Conditions which either guarantee the occurrence of unexpected hypersurfaces,… ▽ More If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $t$ containing $X$. Conditions which either guarantee the occurrence of unexpected hypersurfaces, or which ensure that they cannot occur, are not well understand. We introduce new methods for studying unexpectedness, such as the use of generic initial ideals and partial elimination ideals to clarify when it can and when it cannot occur. We also exhibit algebraic and geometric properties of $X$ which in some cases guarantee and in other cases preclude $X$ having certain kinds of unexpectedness. In addition, we formulate a new way of quantifying unexpectedness (our AV sequence), which allows us detect the extent to which unexpectedness persists as $t$ increases but $t-m$ remains constant. Finally, we study to what extent we can detect unexpectedness from the Hilbert function of $X$. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: 31 pages

MSC Class: Primary: 14C20; 13D40; 14Q10; 14M10; Secondary: 14M05; 14M07; 13E10

Real and complex supersolvable line arrangements in the projective plane

Authors: Krishna Hanumanthu, Brian Harbourne

Abstract: We study supersolvable line arrangements in ${\mathbb P}^2$ over the reals and over the complex numbers, as the first step toward a combinatorial classification. Our main results show that a nontrivial (i.e., not a pencil or near pencil) complex line arrangement cannot have more than 4 modular points, and if all of the crossing points of a complex line arrangement have multiplicity 3 or 4, then th… ▽ More We study supersolvable line arrangements in ${\mathbb P}^2$ over the reals and over the complex numbers, as the first step toward a combinatorial classification. Our main results show that a nontrivial (i.e., not a pencil or near pencil) complex line arrangement cannot have more than 4 modular points, and if all of the crossing points of a complex line arrangement have multiplicity 3 or 4, then the arrangement must have 0 modular points (i.e., it cannot be supersolvable). This provides at least a little evidence for our conjecture that every nontrivial complex supersolvable line arrangement has at least one point of multiplicity 2, which in turn is a step toward the much stronger conjecture of Anzis and Tohǎneanu that every nontrivial complex supersolvable line arrangement with $s$ lines has at least $s/2$ points of multiplicity 2. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 17 pages; comments welcome

MSC Class: 14N20; 14C17; 14J26; 52C30

A matrixwise approach to unexpected hypersurfaces

Authors: Marcin Dumnicki, Lucja Farnik, Brian Harbourne, Grzegorz Malara, Justyna Szpond, Halszka Tutaj-Gasinska

Abstract: The aim of this note is to give a generalization of some results concerning unexpected hypersurfaces. Unexpected hypersurfaces occur when the actual dimension of the space of forms satisfying certain vanishing data is positive and the imposed vanishing conditions are not independent. The first instance studied were unexpected curves in the paper by Cook II, Harbourne, Migliore, Nagel. Unexpected h… ▽ More The aim of this note is to give a generalization of some results concerning unexpected hypersurfaces. Unexpected hypersurfaces occur when the actual dimension of the space of forms satisfying certain vanishing data is positive and the imposed vanishing conditions are not independent. The first instance studied were unexpected curves in the paper by Cook II, Harbourne, Migliore, Nagel. Unexpected hypersurfaces were then investigated by Bauer, Malara, Szpond and Szemberg, followed by Harbourne, Migliore, Nagel and Teitler who introduced the notion of BMSS duality and showed it holds in some cases (such as certain plane curves and, in higher dimensions, for certain cones). They ask to what extent such a duality holds in general. In this paper, working over a field of characteristic zero, we study hypersurfaces in $\mathbb{P}^n\times\mathbb{P}^n$ defined by determinants. We apply our results to unexpected hypersurfacesin the case that the actual dimension is 1 (i.e., there is a unique unexpected hypersurface). In this case, we show that a version of BMSS duality always holds, as a consequence of fundamental properties of determinants. △ Less

Submitted 10 July, 2019; originally announced July 2019.

Veneroni maps

Authors: M. Dumnicki, L. Farnik, B. Harbourne, T. Szemberg, H. Tutaj-Gasinska

Abstract: Veneroni maps are a class of birational transformations of projective spaces. This class contains the classical Cremona transformation of the plane, the cubo-cubic transformation of the space and the quatro-quartic transformation of $\mathbb{P}^4$. Their common feature is that they are determined by linear systems of forms of degree $n$ vanishing along $n+1$ general flats of codimension $2$ in… ▽ More Veneroni maps are a class of birational transformations of projective spaces. This class contains the classical Cremona transformation of the plane, the cubo-cubic transformation of the space and the quatro-quartic transformation of $\mathbb{P}^4$. Their common feature is that they are determined by linear systems of forms of degree $n$ vanishing along $n+1$ general flats of codimension $2$ in $\mathbb{P}^n$. They have appeared recently in a work devoted to the so called unexpected hypersurfaces. The purpose of this work is to refresh the collective memory of the mathematical community about these somewhat forgotten transformations and to provide an elementary description of their basic properties given from a modern point of view. △ Less

Submitted 6 June, 2019; originally announced June 2019.

MSC Class: 14E07

Bounded volume denominators and bounded negativity

Authors: Thomas Bauer, Brian Harbourne, Alex Küronya, Matthias Nickel

Abstract: In this paper we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our first result shows that boundedness of volume denominators is equivalent to \emph{primitive bounded nega… ▽ More In this paper we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our first result shows that boundedness of volume denominators is equivalent to \emph{primitive bounded negativity}, which in turn is implied by bounded negativity. We connect this result to the study of semi-effective orders of divisors: Our second result shows that negative classes exist that become effective only after taking an arbitrarily large multiple. △ Less

Submitted 16 April, 2019; originally announced April 2019.

MSC Class: 14A25; 14C20

New constructions of unexpected hypersurfaces in $\mathbb{P}^n$

Authors: Brian Harbourne, Juan Migliore, Halszka Tutaj-Gasińska

Abstract: In the paper we present new examples of unexpected varieties. The research on unexpected varieties started with a paper of Cook II, Harbourne, Migliore and Nagel and was continued in the paper of Harbourne, Migliore, Nagel and Teitler. Here we present three ways of producing unexpected varieties that expand on what was previously known. In the paper of Harbourne, Migliore, Nagel and Teitler, cones… ▽ More In the paper we present new examples of unexpected varieties. The research on unexpected varieties started with a paper of Cook II, Harbourne, Migliore and Nagel and was continued in the paper of Harbourne, Migliore, Nagel and Teitler. Here we present three ways of producing unexpected varieties that expand on what was previously known. In the paper of Harbourne, Migliore, Nagel and Teitler, cones on varieties of codimension 2 were used to produce unexpected hypersurfaces. Here we show that cones on positive dimensional varieties of codimension 2 or more almost always give unexpected hypersurfaces. For non-cones, almost all previous work has been for unexpected hypersurfaces coming from finite sets of points. Here we construct unexpected surfaces coming from lines in $\mathbb{P}^3$, and we generalize the construction using birational transformations to obtain unexpected hypersurfaces in higher dimensions. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 15 pages

MSC Class: 14N20; 13D02; 14C20; 14N05; 05E40; 14F05

Unexpected surfaces singular on lines in $\mathbb{P}^3$

Authors: M. Dumnicki, B. Harbourne, J. Roé, T. Szemberg, H. Tutaj-Gasińska

Abstract: We study linear systems of surfaces in $\mathbb{P}^3$ singular along general lines. Our purpose is to identify and classify special systems of such surfaces, i.e., those nonempty systems where the conditions imposed by the multiple lines are not independent. We prove the existence of four surfaces arising a(projective) linear systems with a single reduced member, which numerical experiments had su… ▽ More We study linear systems of surfaces in $\mathbb{P}^3$ singular along general lines. Our purpose is to identify and classify special systems of such surfaces, i.e., those nonempty systems where the conditions imposed by the multiple lines are not independent. We prove the existence of four surfaces arising a(projective) linear systems with a single reduced member, which numerical experiments had suggested must exist. These are unexpected surfaces and we expect that our list is complete, i.e. it contains all special linear systems of affine dimension $1$, whose projectivisation has one, reduced and irreducible member. As an application we find upper bounds for Waldschmidt constants along certain sets of general lines. △ Less

Submitted 11 January, 2019; originally announced January 2019.

MSC Class: 14C20; 14E05

Unexpected hypersurfaces and where to find them

Authors: B. Harbourne, J. Migliore, U. Nagel, Z. Teitler

Abstract: In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using constructions which appeal to algebra, geometry, representation theory and computation, we obtain a coarse but complete classification of unexpected hypersurfaces.… ▽ More In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using constructions which appeal to algebra, geometry, representation theory and computation, we obtain a coarse but complete classification of unexpected hypersurfaces. In particular, we determine each $(n,d,m)$ for which there is some finite set of points $Z\subset\mathbb P^n$ with an unexpected hypersurface of degree $d$ in $\mathbb P^n$ having a general point $P$ of multiplicity $m$. Our constructions also give new insight into the interesting question of where to look for such $Z$. Recent work of Di Marca, Malara and Oneto \cite{DMO} and of Bauer, Malara, Szemberg and Szpond \cite{BMSS} give new results and examples in $\mathbb P^2$ and $\mathbb P^3$. We obtain our main results using a new construction of unexpected hypersurfaces involving cones. This method applies in $\mathbb P^n$ for $n \geq 3$ and gives a broad range of examples, which we link to certain failures of the Weak Lefschetz Property. We also give constructions using root systems, both in $\mathbb P^2$ and $\mathbb P^n$ for $n \geq 3$. Finally, we explain an observation of \cite{BMSS}, showing that the unexpected curves of \cite{CHMN} are in some sense dual to their tangent cones at their singular point. △ Less

Submitted 20 December, 2018; v1 submitted 27 May, 2018; originally announced May 2018.

Comments: 32 pages, 4 figures. Improvements in exposition and minor corrections

MSC Class: 14N20 (primary); 13D02; 14C20; 14N05; 05E40; 14F05; 17B22 (secondary)

Single point Seshadri constants on rational surfaces

Authors: Krishna Hanumanthu, Brian Harbourne

Abstract: Motivated by a similar result of Dumnicki, Küronya, Maclean and Szemberg under a slightly stronger hypothesis, we exhibit irrational single-point Seshadri constants on a rational surface $X$ obtained by blowing up very general points of $\mathbb{P}^2_\mathbb{C}$, assuming only that all prime divisors on $X$ of negative self-intersection are smooth rational curves $C$ with $C^2=-1$. (This assumptio… ▽ More Motivated by a similar result of Dumnicki, Küronya, Maclean and Szemberg under a slightly stronger hypothesis, we exhibit irrational single-point Seshadri constants on a rational surface $X$ obtained by blowing up very general points of $\mathbb{P}^2_\mathbb{C}$, assuming only that all prime divisors on $X$ of negative self-intersection are smooth rational curves $C$ with $C^2=-1$. (This assumption is a consequence of the SHGH Conjecture, but it is weaker than assuming the full conjecture.) △ Less

Submitted 15 December, 2017; v1 submitted 6 June, 2017; originally announced June 2017.

Comments: 5 pages; minor changes since the original submission (additional references, slightly re-written introduction and proofs); to appear in J. Algebra

MSC Class: 14C20; 14J26; 14H50

Asymptotics of linear systems, with connections to line arrangements

Authors: Brian Harbourne

Abstract: The main focus of these notes is recent work on linear systems in which line arrangements play a role, including problems such as semi-effectivity, containment problems of symbolic powers of homogeneous ideals in their powers, bounded negativity, and a new perspective on the SHGH Conjecture. Along the way we will be concerned with asymptotic invariants such as Waldschmidt constants, resurgences an… ▽ More The main focus of these notes is recent work on linear systems in which line arrangements play a role, including problems such as semi-effectivity, containment problems of symbolic powers of homogeneous ideals in their powers, bounded negativity, and a new perspective on the SHGH Conjecture. Along the way we will be concerned with asymptotic invariants such as Waldschmidt constants, resurgences and H-constants. △ Less

Submitted 28 May, 2017; originally announced May 2017.

Comments: 45 pages with 14 figures

Report number: BCSim-2016-s02 MSC Class: 14C20 (Primary) 13F20 (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)

The Halphen cubics of order two

Authors: Thomas Bauer, Brian Harbourne, Joaquim Roé, Tomasz Szemberg

Abstract: For each $m\ge 1$, Roulleau and Urzúa give an implicit construction of a configuration of $4(3m^2-1)$ complex plane cubic curves. This construction was crucial for their work on surfaces of general type. We make this construction explicit by proving that the Roulleau-Urzúa configuration consists precisely of the Halphen cubics of order $m$, and we determine specific equations of the cubics for… ▽ More For each $m\ge 1$, Roulleau and Urzúa give an implicit construction of a configuration of $4(3m^2-1)$ complex plane cubic curves. This construction was crucial for their work on surfaces of general type. We make this construction explicit by proving that the Roulleau-Urzúa configuration consists precisely of the Halphen cubics of order $m$, and we determine specific equations of the cubics for $m=1$ (which were known) and for $m=2$ (which are new). △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 20 pages

MSC Class: 14C20; 14E05; 14H52; 14J26; 14K12

Line arrangements and configurations of points with an unusual geometric property

Authors: David Cook II, Brian Harbourne, Juan Migliore, Uwe Nagel

Abstract: The SHGH conjecture proposes a solution to the question of how many conditions a general union of fat points imposes on the complete linear system of curves in $\mathbb P^2$ of fixed degree $d$, and it is known to be true in many cases. We propose a new problem, namely to understand the number of conditions imposed by a general union of fat points on the incomplete linear system defined by the con… ▽ More The SHGH conjecture proposes a solution to the question of how many conditions a general union of fat points imposes on the complete linear system of curves in $\mathbb P^2$ of fixed degree $d$, and it is known to be true in many cases. We propose a new problem, namely to understand the number of conditions imposed by a general union of fat points on the incomplete linear system defined by the condition of passing through a given finite set of points $Z$ (not general). Motivated by work of Di Gennaro-Ilardi-Vallès and Faenzi-Vallès, we give a careful analysis for the case where there is a single general fat point, which has multiplicity $d-1$. There is an expected number of conditions imposed by this fat point, and we study those $Z$ for which this expected value is not achieved. We show, for instance, that if $Z$ is in linear general position then such unexpected curves do not exist. We give criteria for the occurrence of such unexpected curves and describe the range of values of $d$ for which they occur. Unexpected curves have a very particular structure, which we describe, and they are often unique for a given set of points. In particular, we give a criterion for when they are irreducible, and we exhibit examples both where they are reducible and where they are irreducible. Furthermore, we relate properties of $Z$ to properties of the arrangement of lines dual to the points of $Z$. In particular, we obtain a new interpretation of the splitting type of a line arrangement. Finally, we use our results to establish a Lefschetz-like criterion for Terao's conjecture on the freeness of line arrangements. △ Less

Submitted 2 March, 2017; v1 submitted 6 February, 2016; originally announced February 2016.

Comments: 44 pages; overhaul and update

MSC Class: 14N20 (primary); 13D02; 14C20; 14N05; 05E40; 14F05 (secondary)

Journal ref: Compositio Math. 154 (2018) 2150-2194

The Waldschmidt constant for squarefree monomial ideals

Authors: Cristiano Bocci, Susan Cooper, Elena Guardo, Brian Harbourne, Mike Janssen, Uwe Nagel, Alexandra Seceleanu, Adam Van Tuyl, Thanh Vu

Abstract: Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constr… ▽ More Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of $\mathbb{P}^n$ with few components compared to $n$, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid. △ Less

Submitted 25 May, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 26 pages. This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop "Ideals of Linear Subspaces, Their Symbolic Powers and Waring Problems" held in February 2015. Comments are welcome. Revised version corrects some typos, updates the references, and clarifies some hypotheses. To appear in the Journal of Algebraic Combinatorics

MSC Class: Primary 13F20; Secondary 13A02; 14N05

On integral Zariski decompositions of pseudoeffective divisors on algebraic surfaces

Authors: Brian Harbourne, Piotr Pokora, Halszka Tutaj-Gasińska

Abstract: In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be $(-1)$-curves, there are examples where this is not true. In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be $(-1)$-curves, there are examples where this is not true. △ Less

Submitted 26 July, 2015; originally announced July 2015.

Comments: 5 pages

MSC Class: 14C20; 14M25

Journal ref: Electronic Research Announcements in Mathematical Sciences vol. 22 : 103 - 108 (2015)

Matroid configurations and symbolic powers of their ideals

Authors: A. V. Geramita, B. Harbourne, J. Migliore, U. Nagel

Abstract: Star configurations are certain unions of linear subspaces of projective space that have been studied extensively. We develop a framework for studying a substantial generalization, which we call matroid configurations, whose ideals generalize Stanley-Reisner ideals of matroids. Such a matroid configuration is a union of complete intersections of a fixed codimension. Relating these to the Stanley-R… ▽ More Star configurations are certain unions of linear subspaces of projective space that have been studied extensively. We develop a framework for studying a substantial generalization, which we call matroid configurations, whose ideals generalize Stanley-Reisner ideals of matroids. Such a matroid configuration is a union of complete intersections of a fixed codimension. Relating these to the Stanley-Reisner ideals of matroids and using methods of Liaison Theory allows us, in particular, to describe the Hilbert function and minimal generators of the ideal of, what we call, a hypersurface configuration. We also establish that the symbolic powers of the ideal of any matroid configuration are Cohen-Macaulay. As applications, we study ideals coming from certain complete hypergraphs and ideals derived from tetrahedral curves. We also consider Waldschmidt constants and resurgences. In particular, we determine the resurgence of any star configuration and many hypersurface configurations. Previously, the only non-trivial cases for which the resurgence was known were certain monomial ideals and ideals of finite sets of points. Finally, we point out a connection to secant varieties of varieties of reducible forms. △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 16 pages

MSC Class: 14N20; 14M05; 05B35 (Primary); 13F55; 05E40; 13D02; 13C40 (Secondary)

Secant Varieties of the Varieties of Reducible Hypersurfaces in ${\mathbb P}^n$

Authors: M. V. Catalisano, A. V. Geramita, A. Gimigliano, B. Harbourne, J. Migliore, U. Nagel, Y. S. Shin

Abstract: Given the space $V={\mathbb P}^{\binom{d+n-1}{n-1}-1}$ of forms of degree $d$ in $n$ variables, and given an integer $\ell>1$ and a partition $λ$ of $d=d_1+\cdots+d_r$, it is in general an open problem to obtain the dimensions of the $\ell$-secant varieties $σ_\ell ({\mathbb X}_{n-1,λ})$ for the subvariety ${\mathbb X}_{n-1,λ} \subset V$ of hypersurfaces whose defining forms have a factorization i… ▽ More Given the space $V={\mathbb P}^{\binom{d+n-1}{n-1}-1}$ of forms of degree $d$ in $n$ variables, and given an integer $\ell>1$ and a partition $λ$ of $d=d_1+\cdots+d_r$, it is in general an open problem to obtain the dimensions of the $\ell$-secant varieties $σ_\ell ({\mathbb X}_{n-1,λ})$ for the subvariety ${\mathbb X}_{n-1,λ} \subset V$ of hypersurfaces whose defining forms have a factorization into forms of degrees $d_1,\ldots,d_r$. Modifying a method from intersection theory, we relate this problem to the study of the Weak Lefschetz Property for a class of graded algebras, based on which we give a conjectural formula for the dimension of $σ_\ell({\mathbb X}_{n-1,λ})$ for any choice of parameters $n,\ell$ and $λ$. This conjecture gives a unifying framework subsuming all known results. Moreover, we unconditionally prove the formula in many cases, considerably extending previous results, as a consequence of which we verify many special cases of previously posed conjectures for dimensions of secant varieties of Segre varieties. In the special case of a partition with two parts (i.e., $r=2$), we also relate this problem to a conjecture by Fröberg on the Hilbert function of an ideal generated by general forms. △ Less

Submitted 1 January, 2021; v1 submitted 31 January, 2015; originally announced February 2015.

Comments: 48 pages; corrected a typo in the statement of Proposition 7.2 and added short explanation. Appeared in J. Algebra

MSC Class: Primary: 14N15; 13D40; Secondary: 14N05; 14C17; 13E10; 13C99

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)

Resurgences for ideals of special point configurations in ${\bf P}^N$ coming from hyperplane arrangements

Authors: Marcin Dumnicki, Brian Harbourne, Uwe Nagel, Alexandra Seceleanu, Tomasz Szemberg, Halszka Tutaj-Gasińska

Abstract: Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been introduced and studied in the latter context, including the resurgence and asymptotic resurgence. There have been exciting new developments in this area recent… ▽ More Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been introduced and studied in the latter context, including the resurgence and asymptotic resurgence. There have been exciting new developments in this area recently. It had been expected for several years that $I^{Nr-N+1}\subseteq I^r$ should hold for the ideal $I$ of any finite set of points in ${\bf P}^N$ for all $r>0$, but in the last year various counterexamples have now been constructed, all involving point sets coming from hyperplane arrangements. In the present work, we compute their resurgences and obtain in particular the first examples where the resurgence and the asymptotic resurgence are not equal. △ Less

Submitted 19 April, 2014; originally announced April 2014.

Comments: 9 pages, 1 figure

MSC Class: 13F20; 13A02; 14N05

Journal ref: Journal of Algebra 443 (2015), 383-394

Very general monomial valuations of $\mathbb{P}^2$ and a Nagata type conjecture

Authors: Marcin Dumnicki, Brian Harbourne, Alex Küronya, Joaquim Roé, Tomasz Szemberg

Abstract: It is well known that multi-point Seshadri constants for a small number $s$ of points in the projective plane are submaximal. It is predicted by the Nagata conjecture that their values are maximal for $s\geq 9$ points. Tackling the problem in the language of valuations one can make sense of $s$ points for any positive real $s\geq 1$. We show somewhat surprisingly that a Nagata-type conjecture shou… ▽ More It is well known that multi-point Seshadri constants for a small number $s$ of points in the projective plane are submaximal. It is predicted by the Nagata conjecture that their values are maximal for $s\geq 9$ points. Tackling the problem in the language of valuations one can make sense of $s$ points for any positive real $s\geq 1$. We show somewhat surprisingly that a Nagata-type conjecture should be valid for $s\geq 8+1/36$ points and we compute explicitly all Seshadri constants (expressed here as the asymptotic maximal vanishing element) for $s\leq 7+1/9$. △ Less

Submitted 5 February, 2016; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 25 pages, 2 figures. Updated version of the Oberwolfach Preprint OWP 2013-22, with some new material. Comments welcome

Regina Lectures on Fat Points

Authors: Susan Cooper, Brian Harbourne

Abstract: These notes are a record of lectures given in the Workshop on Connections Between Algebra and Geometry at the University of Regina, May 29--June 1, 2012. The lectures were meant as an introduction to current research problems related to fat points for an audience that was not expected to have much background in commutative algebra or algebraic geometry (although sections 8 and 9 of these notes dem… ▽ More These notes are a record of lectures given in the Workshop on Connections Between Algebra and Geometry at the University of Regina, May 29--June 1, 2012. The lectures were meant as an introduction to current research problems related to fat points for an audience that was not expected to have much background in commutative algebra or algebraic geometry (although sections 8 and 9 of these notes demand somewhat more background than earlier sections). △ Less

Submitted 13 October, 2013; originally announced October 2013.

Comments: 32 pages, 3 figures

MSC Class: 13-01; 13A02; 13A15; 13A17; 13D40; 13F20; 14-01; 14C20; 14N05; 14R05

Containment Counterexamples for ideals of various configurations of points in ${\bf P}^N$

Authors: Brian Harbourne, Alexandra Seceleanu

Abstract: When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many $r$ in every characteristic… ▽ More When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many $r$ in every characteristic $p>2$ when N=2, and we find additional positive characteristic failures when $N>2$. △ Less

Submitted 16 June, 2013; originally announced June 2013.

Comments: 11 pages

MSC Class: 13F20; 13A02; 14N05

Inclics, galaxies, star configurations and Waldschmidt constants

Authors: Giuliana Fatabbi, Brian Harbourne, Anna Lorenzini

Abstract: This paper introduces complexes of linear varieties, called inclics (for INductively Constructible LInear ComplexeS). As examples, we study galaxies (these are constructed starting with a star configuration to which we add general points in a larger projective space). By assigning an order of vanishing (i.e., a multiplicity) to each member of the complex, we obtain fat linear varieties (fat points… ▽ More This paper introduces complexes of linear varieties, called inclics (for INductively Constructible LInear ComplexeS). As examples, we study galaxies (these are constructed starting with a star configuration to which we add general points in a larger projective space). By assigning an order of vanishing (i.e., a multiplicity) to each member of the complex, we obtain fat linear varieties (fat points if all of the linear varieties are points). The scheme theoretic union of these fat linear varieties gives an inclic scheme $X$. For such a scheme, we show there is an inductive procedure for computing the Hilbert function of its defining ideal $I_X$, regardless of the choice of multiplicities. As an application, we show how our results allow the computation of the Hilbert functions of, for example, symbolic powers $(I_X)^{(m)}$ for arbitrary $m$ of many new examples of radical ideals $(I_X)$, and we explicitly compute the Waldschmidt constants $γ(I_X)$ for galactic inclics $X$. △ Less

Submitted 16 June, 2013; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: 8 pages (version 2 corrects minor typographical errors)

MSC Class: 13F20; 14C20; 13A02; 14N05

Fat lines in P^3: powers versus symbolic powers

Authors: Elena Guardo, Brian Harbourne, Adam Van Tuyl

Abstract: We study the symbolic and regular powers of ideals I for a family of special configurations of lines in P^3. For this family, we show that I^(m) = I^m for all integers m if and only if I^(3) = I^3. We use these configurations to answer a question of Huneke that asks whether I^(m) = I^m for all m if equality holds when m equals the big height of the ideal I. We study the symbolic and regular powers of ideals I for a family of special configurations of lines in P^3. For this family, we show that I^(m) = I^m for all integers m if and only if I^(3) = I^3. We use these configurations to answer a question of Huneke that asks whether I^(m) = I^m for all m if equality holds when m equals the big height of the ideal I. △ Less

Submitted 26 August, 2012; originally announced August 2012.

Comments: 10 pages

MSC Class: 13F20; 13A15; 14C20

Linear subspaces, symbolic powers and Nagata type conjectures

Authors: Marcin Dumnicki, Brian Harbourne, Tomasz Szemberg, Halszka Tutaj-Gasińska

Abstract: Prompted by results of Guardo, Van Tuyl and the second author for lines in projective 3 space, we develop asymptotic upper bounds for the least degree of a homogeneous form vanishing to order at least m on a union of disjoint r dimensional planes in projective n space for n at least 2r+1. These considerations lead to new conjectures that suggest that the well known conjecture of Nagata for points… ▽ More Prompted by results of Guardo, Van Tuyl and the second author for lines in projective 3 space, we develop asymptotic upper bounds for the least degree of a homogeneous form vanishing to order at least m on a union of disjoint r dimensional planes in projective n space for n at least 2r+1. These considerations lead to new conjectures that suggest that the well known conjecture of Nagata for points in the projective plane is not sporadic, but rather a special case of a more general phenomenon. △ Less

Submitted 29 September, 2012; v1 submitted 4 July, 2012; originally announced July 2012.

Comments: 19 pages; made many minor improvements to exposition; one major improvement: replaced an example with 9 lines in P^4 by a family of examples with (n-1)^{n-2} lines in P^n for n >= 3

MSC Class: 13A02; 13A15; 13F20; 13P99; 14C20; 14N20; 14Q99

Journal ref: Adv. Math. 252 (2014), 471-491

Configuration types and cubic surfaces

Authors: E. Guardo, B. Harbourne

Abstract: This paper is a sequel to the paper \cite{refGH}. We relate the matroid notion of a combinatorial geometry to a generalization which we call a configuration type. Configuration types arise when one classifies the Hilbert functions and graded Betti numbers for fat point subschemes supported at $n\le8$ essentially distinct points of the projective plane. Each type gives rise to a surface $X$ obtaine… ▽ More This paper is a sequel to the paper \cite{refGH}. We relate the matroid notion of a combinatorial geometry to a generalization which we call a configuration type. Configuration types arise when one classifies the Hilbert functions and graded Betti numbers for fat point subschemes supported at $n\le8$ essentially distinct points of the projective plane. Each type gives rise to a surface $X$ obtained by blowing up the points. We classify those types such that $n=6$ and $-K_X$ is nef. The surfaces obtained are precisely the desingularizations of the normal cubic surfaces. By classifying configuration types we recover in all characteristics the classification of normal cubic surfaces, which is well-known in characteristic 0 \cite{refBW}. As an application of our classification of configuration types, we obtain a numerical procedure for determining the Hilbert function and graded Betti numbers for the ideal of any fat point subscheme $Z=m_1p_1+...+m_6p_6$ such that the points $p_i$ are essentially distinct and $-K_X$ is nef, given only the configuration type of the points $p_1,...,p_6$ and the coefficients $m_i$. △ Less

Submitted 13 April, 2012; originally announced April 2012.

Comments: 14 pages, final version

MSC Class: Primary 14C20; 14J26; 13D02; Secondary 14N20; 14Q99

Journal ref: Journal of Algebra, 320 (2008) 3519-3533

Star configurations in $\mathbb P^n$

Authors: A. V. Geramita, B. Harbourne, J. Migliore

Abstract: Star configurations are certain unions of linear subspaces of projective space. They have appeared in several different contexts: the study of extremal Hilbert functions for fat point schemes in the plane; the study of secant varieties of some classical algebraic varieties; the study of the resurgence of projective schemes. In this paper we study some algebraic properties of the ideals defining st… ▽ More Star configurations are certain unions of linear subspaces of projective space. They have appeared in several different contexts: the study of extremal Hilbert functions for fat point schemes in the plane; the study of secant varieties of some classical algebraic varieties; the study of the resurgence of projective schemes. In this paper we study some algebraic properties of the ideals defining star configurations, including getting partial results about Hilbert functions, generators and minimal free resolutions of the ideals and their symbolic powers. We also show that their symbolic powers define arithmetically Cohen-Macaulay subschemes and we obtain results about the primary decompositions of the powers of the ideals. As an application, we compute the resurgence for the ideal of the codimension $n-1$ star configuration in $\pr{n}$ in the monomial case (i.e., when the number of hyperplanes is $n+1$). △ Less

Submitted 26 March, 2012; originally announced March 2012.

Comments: 20 pages

MSC Class: 14N20; 13D40; 13D02; 14M07; 14Q99; 14C20

Asymptotic resurgences for ideals of positive dimensional subschemes of projective space

Authors: Elena Guardo, Brian Harbourne, Adam Van Tuyl

Abstract: Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero dimensional subschemes of projective space; the methods and results obtained… ▽ More Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero dimensional subschemes of projective space; the methods and results obtained there have much less to say about higher dimensional subschemes. Here we take the first steps toward extending this work to higher dimensional subschemes. We introduce new asymptotic versions of the resurgence and obtain upper and lower bounds on them for ideals of smooth subschemes, generalizing what is done by Bocci-Harbourne. We apply these bounds to ideals of unions of general lines in ${\bf P}^N$. We also pose a Nagata type conjecture for symbolic powers of ideals of lines in ${\bf P}^3$. △ Less

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

Comments: 12 pages

MSC Class: 13F20; 13A15; 14C20

Variations on Nagata's Conjecture

Authors: C. Ciliberto, B. Harbourne, R. Miranda, J. Roé

Abstract: In this paper we discuss some variations of Nagata's conjecture on linear systems of plane curves. The most relevant concerns non-effectivity (hence nefness) of certain rays, which we call \emph{good rays}, in the Mori cone of the blow-up $X_n$ of the plane at $n\ge 10$ general points. Nagata's original result was the existence of a good ray for $X_n$ with $n\ge 16$ a square number. Using degenera… ▽ More In this paper we discuss some variations of Nagata's conjecture on linear systems of plane curves. The most relevant concerns non-effectivity (hence nefness) of certain rays, which we call \emph{good rays}, in the Mori cone of the blow-up $X_n$ of the plane at $n\ge 10$ general points. Nagata's original result was the existence of a good ray for $X_n$ with $n\ge 16$ a square number. Using degenerations, we give examples of good rays for $X_n$ for all $n\ge 10$. As with Nagata's original result, this implies the existence of counterexamples to Hilbert's XIV problem. Finally we show that Nagata's conjecture for $n\le 89$ combined with a stronger conjecture for $n=10$ implies Nagata's conjecture for $n\ge 90$. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 13 pages

Containment results for ideals of various configurations of points in P^N

Authors: Cristiano Bocci, Susan Cooper, Brian Harbourne

Abstract: Guided by evidence coming from a few key examples and attempting to unify previous work of Chudnovsky, Esnault-Viehweg, Eisenbud-Mazur, Ein-Lazarsfeld-Smith, Hochster-Huneke and Bocci-Harbourne, Harbourne and Huneke recently formulated a series of conjectures that relate symbolic and regular powers of ideals of fat points in ${\bf P}^N$. In this paper we propose another conjecture along the same l… ▽ More Guided by evidence coming from a few key examples and attempting to unify previous work of Chudnovsky, Esnault-Viehweg, Eisenbud-Mazur, Ein-Lazarsfeld-Smith, Hochster-Huneke and Bocci-Harbourne, Harbourne and Huneke recently formulated a series of conjectures that relate symbolic and regular powers of ideals of fat points in ${\bf P}^N$. In this paper we propose another conjecture along the same lines (Conjecture 3.9), and we verify it and the conjectures of Harbourne and Huneke for a variety of configurations of points. △ Less

Submitted 16 June, 2013; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: Version 3 adds Remark 3.11, regarding recent counterexamples, 14 pages (version 2 added new conjecture, Conjecture 3.9, and fixed typos with slight change to abstract)

MSC Class: 13F20; 14C20

Negative curves on algebraic surfaces

Authors: Th. Bauer, B. Harbourne, A. L. Knutsen, A. Küronya, S. Müller-Stach, X. Roulleau, T. Szemberg

Abstract: We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of surfaces for which C^2 is not bounded below are in positive characteristic, and the general expectation is that no examples can arise over the complex numbers. Ind… ▽ More We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of surfaces for which C^2 is not bounded below are in positive characteristic, and the general expectation is that no examples can arise over the complex numbers. Indeed, we show that the idea underlying the examples in positive characteristic cannot produce examples over the complex number field. The previous version of this paper claimed to give a counterexample to the Bounded Negativity Conjecture. The idea of the counterexample was to use Hecke translates of a smooth Shimura curve in order to create an infinite sequence of curves violating the Bounded Negativity Conjecture. To this end we applied Hirzebruch Proportionality to all Hecke translates, simultaneously desingularized by a version of Jaffee's Lemma which exists in the literature but which turns out to be false. Indeed, in the new version of the paper, we show that only finitely many Hecke translates of a special subvariety of a Hilbert modular surface remain smooth. This new result is based on work done jointly with Xavier Roulleau, who has been added as an author. The other results in the original posting of this paper remain unchanged. △ Less

Submitted 4 April, 2012; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: 14 pages, X. Roulleau added as author, counterexample to Bounded Negativity Conjecture withdrawn and replaced by a proof that there are only finitely many smooth Shimura curves on a compact Hilbert modular surface; the other results in the original posting of this paper remain unchanged

MSC Class: 14G35; 14J25

Journal ref: Duke Math. J. 162, no. 10 (2013), 1877-1894

Symbolic powers versus regular powers of ideals of general points in P^1 x P^1

Authors: Elena Guardo, Brian Harbourne, Adam Van Tuyl

Abstract: Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of p… ▽ More Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in ${\bf P}^3$ which can also be viewed as points in ${\bf P}^1\times {\bf P}^1$. We also obtain results on the closely related problem, studied by Hochster and by Li-Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power. △ Less

Submitted 21 February, 2012; v1 submitted 25 July, 2011; originally announced July 2011.

Comments: 20 pages; some material taken out of the previous version and put in a new paper (1202.4370) in expanded form

MSC Class: 13F20; 13A15; 14C20

Are symbolic powers highly evolved?

Authors: Brian Harbourne, Craig Huneke

Abstract: Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the conjectures in certain cases, including the case of general points in the projective plane. Our conjectures were also partly motivated by the Eisenbud-Mazur Conjecture… ▽ More Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the conjectures in certain cases, including the case of general points in the projective plane. Our conjectures were also partly motivated by the Eisenbud-Mazur Conjecture on evolutions, which concerns symbolic squares of prime ideals in local rings, but in contrast we consider higher symbolic powers of homogeneous ideals in polynomial rings. △ Less

Submitted 8 September, 2011; v1 submitted 29 March, 2011; originally announced March 2011.

Comments: 13 pages; for version 3 a minor change was made to the acknowledgments but no change was made to mathematical content; for version 2 a reference to a paper of Esnault and Viehweg has been added; related to this a new section, 4.2, has been included with additional questions. Otherwise, version 2 is the same as version 1

MSC Class: 13F20; 14C20

On plane rational curves and the splitting of the tangent bundle

Authors: Alessandro Gimigliano, Brian Harbourne, Monica Idà

Abstract: Given an immersion $φ: P^1 \to ¶^2$, we give new approaches to determining the splitting of the pullback of the cotangent bundle. We also give new bounds on the splitting type for immersions which factor as $φ: P^1 \cong D \subset X \to P^2$, where $X \to P^2$ is obtained by blowing up $r$ distinct points $p_i \in P^2$. As applications in the case that the points $p_i$ are generic, we give a compl… ▽ More Given an immersion $φ: P^1 \to ¶^2$, we give new approaches to determining the splitting of the pullback of the cotangent bundle. We also give new bounds on the splitting type for immersions which factor as $φ: P^1 \cong D \subset X \to P^2$, where $X \to P^2$ is obtained by blowing up $r$ distinct points $p_i \in P^2$. As applications in the case that the points $p_i$ are generic, we give a complete determination of the splitting types for such immersions when $r \leq 7$. The case that $D^2=-1$ is of particular interest. For $r \leq8$ generic points, it is known that there are only finitely many inequivalent $φ$ with $D^2=-1$, and all of them have balanced splitting. However, for $r=9$ generic points we show that there are infinitely many inequivalent $φ$ with $D^2=-1$ having unbalanced splitting (only two such examples were known previously). We show that these new examples are related to a semi-adjoint formula which we conjecture accounts for all occurrences of unbalanced splitting when $D^2=-1$ in the case of $r=9$ generic points $p_i$. In the last section we apply such results to the study of the resolution of fat point schemes. △ Less

Submitted 16 June, 2013; v1 submitted 5 February, 2011; originally announced February 2011.

Comments: 23 pages (version 2 corrects minor typographical errors)

MSC Class: 14C20; 13P10; 14J26; 14J60

Hilbert functions of fat point subschemes of the plane: the two-fold way

Authors: A. V. Geramita, B. Harbourne, J. Migliore

Abstract: Two approaches for determining Hilbert functions of fat point subschemes of $\mathbb P^2$ are demonstrated. A complete determination of the Hilbert functions which occur for 9 double points is given using the first approach, extending results obtained in a previous paper using the second approach. In addition the second approach is used to obtain a complete determination of the Hilbert functions f… ▽ More Two approaches for determining Hilbert functions of fat point subschemes of $\mathbb P^2$ are demonstrated. A complete determination of the Hilbert functions which occur for 9 double points is given using the first approach, extending results obtained in a previous paper using the second approach. In addition the second approach is used to obtain a complete determination of the Hilbert functions for $n\geq 9$ $m$-multiple points for every $m$ if the points are smooth points of an irreducible plane cubic curve. Additional results are obtained using the first approach for $n\geq 9$ double points when the points lie on an irreducible cubic (but now are not assumed to be smooth points of the cubic). △ Less

Submitted 26 January, 2011; originally announced January 2011.

Comments: 21 pages

MSC Class: 13D40; 14M07; 14C20; 14M20

Recent developments and open problems in linear series

Authors: Thomas Bauer, Cristiano Bocci, Susan Cooper, Sandra Di Rocco, Marcin Dumnicki, Brian Harbourne, Kelly Jabbusch, Andreas Leopold Knutsen, Alex Kuronya, Rick Miranda, Joaquim Roe, Hal Schenck, Tomasz Szemberg, Zach Teitler

Abstract: In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here a… ▽ More In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here are scattered in the literature or constitute folklore. It was one of our aims to have a usable and easily accessible collection of examples and results. △ Less

Submitted 16 April, 2011; v1 submitted 23 January, 2011; originally announced January 2011.

Comments: fixed typos, grants information added, submitted, v.3. some linguistic corections, final version accepted for publication in "Contributions to Algebraic Geometry", Impanga Lecture Notes

MSC Class: 14C20

Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property

Authors: Brian Harbourne, Hal Schenck, Alexandra Seceleanu

Abstract: Migliore-Miró-Roig-Nagel [Trans. A.M.S. 2011, arXiv: 0811.1023] show that the weak Lefschetz property (WLP) can fail for an ideal I in K[x_1,x_2,x_3,x_4] generated by powers of linear forms. This is in contrast to the analogous situation in K[x_1,x_2,x_3], where WLP always holds [H.Schenck, A.Seceleanu, Proc. A.M.S. 2010, arXiv:0911.0876]. We use the inverse system dictionary to connect I to an id… ▽ More Migliore-Miró-Roig-Nagel [Trans. A.M.S. 2011, arXiv: 0811.1023] show that the weak Lefschetz property (WLP) can fail for an ideal I in K[x_1,x_2,x_3,x_4] generated by powers of linear forms. This is in contrast to the analogous situation in K[x_1,x_2,x_3], where WLP always holds [H.Schenck, A.Seceleanu, Proc. A.M.S. 2010, arXiv:0911.0876]. We use the inverse system dictionary to connect I to an ideal of fat points and show that failure of WLP for powers of linear forms is connected to the geometry of the associated fat point scheme. Recent results of Sturmfels-Xu in [J. Eur. Math. Soc. 2010, arXiv:0803.0892] allow us to relate WLP to Gelfand-Tsetlin patterns. See the paper "On the weak Lefschetz property for powers of linear forms" by Migliore-Miró-Roig-Nagel [arXiv:1008.2149] for related results. △ Less

Submitted 4 July, 2011; v1 submitted 13 August, 2010; originally announced August 2010.

Comments: to appear in J. London Math. Soc

Combinatorial bounds on Hilbert functions of fat points in projective space

Authors: Susan Cooper, Brian Harbourne, Zach Teitler

Abstract: We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using nothing more than the multiplicities of the points and information about which subsets of the points are linearly dependent. When N=2, we give these bounds exp… ▽ More We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using nothing more than the multiplicities of the points and information about which subsets of the points are linearly dependent. When N=2, we give these bounds explicitly and we give a sufficient criterion for the upper and lower bounds to be equal. When this criterion is satisfied, we give both a simple formula for the Hilbert function and combinatorially defined upper and lower bounds on the graded Betti numbers for the ideal defining A, generalizing results of Geramita-Migliore-Sabourin (2006). We obtain the exact Hilbert functions and graded Betti numbers for many families of examples, interesting combinatorially, geometrically, and algebraically. Our method works in any characteristic. AWK scripts implementing our results can be obtained at http://www.math.unl.edu/~bharbourne1/CHT/Example.html . △ Less

Submitted 11 December, 2010; v1 submitted 10 December, 2009; originally announced December 2009.

Comments: 23 pages; changes have been made following suggestions of the referee; explicit statements are now included for dimensions greater than 2, hence the title no longer mentions the plane; however the content is largely the same as in the previous version; this version is to appear in the Journal of Pure and Applied Algebra

MSC Class: 13D40; 14C99; 14Q99

Global aspects of the geometry of surfaces

Authors: Brian Harbourne

Abstract: These notes (prepared for the author's lectures at the Cracow Summer School on Linear Systems organized by S. Mueller-Stach and T. Szemberg, held March 23-27, 2009 at the Pedagogical University of Cracow under the sponsorship of the Deutsche Forschungsgemeinschaft) present a number of open problems on the theory of smooth projective algebraic surfaces, and put into historical context recent work… ▽ More These notes (prepared for the author's lectures at the Cracow Summer School on Linear Systems organized by S. Mueller-Stach and T. Szemberg, held March 23-27, 2009 at the Pedagogical University of Cracow under the sponsorship of the Deutsche Forschungsgemeinschaft) present a number of open problems on the theory of smooth projective algebraic surfaces, and put into historical context recent work on a range of topics, including Mori dream spaces and the finite generation of the Cox ring, Seshadri constants, and the resurgence of homogeneous ideals and the problem of which ordinary powers of homogeneous ideals contain given symbolic powers of those ideals. These notes include many exercises, with solutions. △ Less

Submitted 30 July, 2009; v1 submitted 23 July, 2009; originally announced July 2009.

Comments: 23 pages; exercises are included, with solutions (revision includes positive characteristic example pointed out by J. Kollár and brought to my attention by B. Totaro of surface with curves C for which C^2 is arbitrarily negative)

MSC Class: 14C20; 13F20

The resurgence of ideals of points and the containment problem

Authors: Cristiano Bocci, Brian Harbourne

Abstract: Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our previous paper (arXiv:0706.3707) we give a complete solution in terms of the least degrees of nonzero elements of the symbolic powers, under the condition th… ▽ More Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our previous paper (arXiv:0706.3707) we give a complete solution in terms of the least degrees of nonzero elements of the symbolic powers, under the condition that the ideal is generated in a single degree and such that that degree is the regularity of the ideal (see Corollary 1.2). Using geometric methods, we also give complete solutions for ideals of points in the projective plane, when those points lie on an irreducible conic or when the points are general and there are at most 9 points. Finally, we give new examples of ideals all of whose symbolic powers are ordinary powers of the ideal. △ Less

Submitted 24 June, 2009; originally announced June 2009.

Comments: 12 pages; to appear, Proc. A. M. S.

MSC Class: 14C20; 13C05; 14N05; 14H20; 41A05

A primer on Seshadri constants

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Michal Kapustka, Andreas Leopold Knutsen, Wioletta Syzdek, Tomasz Szemberg

Abstract: Seshadri constants express the so called local positivity of a line bundle on a projective variety. They were introduced by Demailly. The original idea of using them towards a proof of the Fujita conjecture failed but they quickly became a subject of intensive study quite in their own right. Lazarsfeld's book "Positivity in Algebraic Geometry" contains a whole chapter devoted to local positivity a… ▽ More Seshadri constants express the so called local positivity of a line bundle on a projective variety. They were introduced by Demailly. The original idea of using them towards a proof of the Fujita conjecture failed but they quickly became a subject of intensive study quite in their own right. Lazarsfeld's book "Positivity in Algebraic Geometry" contains a whole chapter devoted to local positivity and serves as a very enjoyable introduction to Seshadri constants. Since this book has appeared, the subject witnessed quite a bit of development. It is the aim of these notes to give an account of recent progress as well as to discuss many open questions and provide some examples. △ Less

Submitted 1 July, 2010; v1 submitted 4 October, 2008; originally announced October 2008.

Comments: 37 pages, notes taken after the workshop on Seshadri consants held in Essen 12-15 Februar 2008, dedicated to Andrew J. Sommese the numbering in v.2 maches the numbering of the printed version

MSC Class: 14C20

Journal ref: Contemporary Mathematics 496 (2009), 33-70

Classifying Hilbert functions of fat point subschemes in $\mathbb P^2$

Authors: A. V. Geramita, B. Harbourne, J. Migliore

Abstract: A recent paper by the first and third authors together with Sabourin raised the question of what the possible Hilbert functions are for fat point subschemes of the form $2p_1+...+2p_r$, for all possible choices of $r$ distinct points in the projective plane. We study this problem for $r$ points in the plane over an algebraically closed field $k$ of arbitrary characteristic in case either… ▽ More A recent paper by the first and third authors together with Sabourin raised the question of what the possible Hilbert functions are for fat point subschemes of the form $2p_1+...+2p_r$, for all possible choices of $r$ distinct points in the projective plane. We study this problem for $r$ points in the plane over an algebraically closed field $k$ of arbitrary characteristic in case either $r \le 8$ or the points lie on a (possibly reducible) conic. In either case, it follows from work of the second author that there are only finitely many configuration types of points, where our notion of configuration type is a generalization of the notion of a representable combinatorial geometry, also known as a representable simple matroid. (We say $p_1,...,p_r$ and $p'_1,...,p'_r$ have the same {\it configuration type} if for all choices of nonnegative integers $m_i$, $Z=m_1p_1+...+m_rp_r$ and $Z'=m_1p'_1+...+m_rp'_r$ have the same Hilbert function.) Assuming either that $7 \le r\le 8$ (see recent work of Guardo and the second author for the cases $r\le 6$) or that the points $p_i$ lie on a conic, we explicitly determine all the configuration types, and show how the configuration type and the coefficients $m_i$ determine (in an explicitly computable way) the Hilbert function (and sometimes the graded Betti numbers) of $Z=m_1p_1+...+m_rp_r$. We demonstrate our results by explicitly listing all Hilbert functions for schemes of $r\le 8$ double points, and for each Hilbert function we state precisely how the points must be arranged (in terms of the configuration type) to obtain that Hilbert function. △ Less

Submitted 11 December, 2010; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 27 pages, revised version. Reason for revision: corrections to Tables 2, 4 and 7 (a 1 page erratum will be published in Collect. Math. in 2011)

MSC Class: 14M05; 14C20; 13D40; 52B40; 13D02; 14J26

Journal ref: Collect. Math. 60, 2 (2009), 159-192