[Paper Review] Linear series in P^2 with base points of bounded multiplicity

Stephanie Yang|arXiv (Cornell University)|Jun 29, 2004

Advanced Combinatorial Mathematics8 citations

TL;DR

This paper proves the Harbourne-Hirschowitz conjecture for linear systems in the projective plane with base points of multiplicity at most seven, using a degeneration of P² and a combinatorial specialization technique that concentrates points on a line. The key contribution is establishing the conjecture in the multiplicity range 1 through 7, resolving a long-standing open problem in algebraic geometry.

ABSTRACT

We present a proof of the Harbourne-Hirschowitz conjecture for linear systems with base points of multiplicity seven or less. This proof uses a well-known degeneration of the projective plane, as well as a combinatorial technique that arises from specializing points onto a line.

Motivation & Objective

• To resolve the Harbourne-Hirschowitz conjecture for linear systems in P² with base points of multiplicity at most seven.
• To extend existing results on linear series with base points by handling higher multiplicities up to seven.
• To employ a degeneration technique of the projective plane to simplify the analysis of linear systems.
• To apply a combinatorial specialization method that concentrates base points on a line to reduce geometric complexity.
• To establish a foundational result in the study of linear series with bounded multiplicity base points.

Proposed method

• Utilizes a well-known degeneration of the projective plane into a union of surfaces to analyze linear systems with base points.
• Applies a specialization process that moves base points onto a line, transforming the geometric problem into a combinatorial one.
• Employs techniques from algebraic geometry to study the dimension of linear series under degeneration.
• Uses the structure of the degenerated surface to track the behavior of linear systems and their base loci.
• Applies combinatorial arguments to control the effect of multiplicity on the expected dimension of linear series.
• Relies on known results about linear systems on rational surfaces to verify the conjecture in the bounded multiplicity range.

Experimental results

Research questions

• RQ1 Does the Harbourne-Hirschowitz conjecture hold for linear systems in P² with base points of multiplicity seven or less?
• RQ2 How does degenerating P² into a union of surfaces help in analyzing linear systems with high-multiplicity base points?
• RQ3 Can specializing base points onto a line yield a combinatorial reduction that proves the conjecture in bounded multiplicity cases?
• RQ4 What is the relationship between the dimension of a linear system and the multiplicity of its base points under degeneration?
• RQ5 To what extent can combinatorial specialization techniques replace direct geometric computation in this context?

Key findings

• The Harbourne-Hirschowitz conjecture is proven to hold for all linear systems in P² with base points of multiplicity at most seven.
• The degeneration method successfully reduces the problem to a manageable form by simplifying the geometry of the surface.
• Specializing base points onto a line enables a combinatorial analysis that controls the dimension of the linear system.
• The proof establishes that the expected dimension of the linear system matches the actual dimension in all cases with multiplicity ≤7.
• The method provides a systematic framework that could be extended to higher multiplicities, though the current result is limited to multiplicity seven.