Source author record

B. Harbourne

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
2topics
4close collaborators

Published work

8 publications

preprint2021arXiv

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

Given the space V=P(d+n−1n−1)−1V={\mathbb P}^{\binom{d+n-1}{n-1}-1} of forms of degree dd in nn variables, and given an integer ℓ>1\ell>1 and a partition λλ of d=d1+⋯+drd=d_1+\cdots+d_r, it is in general an open problem to obtain the dimensions of the ℓ\ell-secant varieties σℓ(Xn−1,λ)σ_\ell ({\mathbb X}_{n-1,λ}) for the subvariety Xn−1,λ⊂V{\mathbb X}_{n-1,λ} \subset V of hypersurfaces whose defining forms have a factorization into forms of degrees d1,…,drd_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 σℓ(Xn−1,λ)σ_\ell({\mathbb X}_{n-1,λ}) for any choice of parameters n,ℓ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=2r=2), we also relate this problem to a conjecture by Fröberg on the Hilbert function of an ideal generated by general forms.

preprint2015arXiv

Matroid configurations and symbolic powers of their ideals

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.

preprint2012arXiv

Configuration types and cubic surfaces

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≤8n\le8 essentially distinct points of the projective plane. Each type gives rise to a surface XX obtained by blowing up the points. We classify those types such that n=6n=6 and −KX-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=m1p1+...+m6p6Z=m_1p_1+...+m_6p_6 such that the points pip_i are essentially distinct and −KX-K_X is nef, given only the configuration type of the points p1,...,p6p_1,...,p_6 and the coefficients mim_i.

preprint2012arXiv

Star configurations in Pn\mathbb P^n

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−1n-1 star configuration in $\pr{n}$ in the monomial case (i.e., when the number of hyperplanes is n+1n+1).

preprint2012arXiv

Variations on Nagata's Conjecture

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 XnX_n of the plane at n≥10n\ge 10 general points. Nagata's original result was the existence of a good ray for XnX_n with n≥16n\ge 16 a square number. Using degenerations, we give examples of good rays for XnX_n for all n≥10n\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≤89n\le 89 combined with a stronger conjecture for n=10n=10 implies Nagata's conjecture for n≥90n\ge 90.

preprint2011arXiv

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

Two approaches for determining Hilbert functions of fat point subschemes of P2\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≥9n\geq 9 mm-multiple points for every mm if the points are smooth points of an irreducible plane cubic curve. Additional results are obtained using the first approach for n≥9n\geq 9 double points when the points lie on an irreducible cubic (but now are not assumed to be smooth points of the cubic).

preprint2010arXiv

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

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 2p1+...+2pr2p_1+...+2p_r, for all possible choices of rr distinct points in the projective plane. We study this problem for rr points in the plane over an algebraically closed field kk of arbitrary characteristic in case either r≤8r \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 p1,...,prp_1,...,p_r and p1′,...,pr′p'_1,...,p'_r have the same {\it configuration type} if for all choices of nonnegative integers mim_i, Z=m1p1+...+mrprZ=m_1p_1+...+m_rp_r and Z′=m1p1′+...+mrpr′Z'=m_1p'_1+...+m_rp'_r have the same Hilbert function.) Assuming either that 7≤r≤87 \le r\le 8 (see recent work of Guardo and the second author for the cases r≤6r\le 6) or that the points pip_i lie on a conic, we explicitly determine all the configuration types, and show how the configuration type and the coefficients mim_i determine (in an explicitly computable way) the Hilbert function (and sometimes the graded Betti numbers) of Z=m1p1+...+mrprZ=m_1p_1+...+m_rp_r. We demonstrate our results by explicitly listing all Hilbert functions for schemes of r≤8r\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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.