Derivations of an effective divisor on the complex projective line

Authors:
Max Wakefield and Sergey Yuzvinsky

Journal:
Trans. Amer. Math. Soc. **359** (2007), 4389-4403

MSC (2000):
Primary 52C35, 14N20; Secondary 13N15, 15A36

Published electronically:
March 20, 2007

MathSciNet review:
2309190

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we consider an effective divisor on the complex projective line and associate with it the module consisting of all the derivations such that for every , where is the ideal of . The module is graded and free of rank 2; the degrees of its homogeneous basis, called the exponents, form an important invariant of the divisor. We prove that under certain conditions on the exponents do not depend on . Our main result asserts that if these conditions do not hold for , then there exists a general position of points for which the exponents do not change. We give an explicit formula for them. We also exhibit some examples of degeneration of the exponents, in particular, those where the degeneration is defined by the vanishing of certain Schur functions. As an application and motivation, we show that our results imply Terao's conjecture (concerning the combinatorial nature of the freeness of hyperplane arrangements) for certain new classes of arrangements of lines in the complex projective plane.

**1.**Thomas Muir,*A treatise on the theory of determinants*, Revised and enlarged by William H. Metzler, Dover Publications, Inc., New York, 1960. MR**0114826****2.**Peter Orlik and Hiroaki Terao,*Arrangements of hyperplanes*, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992. MR**1217488****3.**Louis Solomon and Hiroaki Terao,*The double Coxeter arrangement*, Comment. Math. Helv.**73**(1998), no. 2, 237–258. MR**1611699**, 10.1007/s000140050054**4.**Hiroaki Terao,*The exponents of a free hypersurface*, Singularities, Part 2 (Arcata, Calif., 1981) Proc. Sympos. Pure Math., vol. 40, Amer. Math. Soc., Providence, RI, 1983, pp. 561–566. MR**713280****5.**Masahiko Yoshinaga,*Characterization of a free arrangement and conjecture of Edelman and Reiner*, Invent. Math.**157**(2004), no. 2, 449–454. MR**2077250**, 10.1007/s00222-004-0359-2**6.**Sergey Yuzvinsky,*Free and locally free arrangements with a given intersection lattice*, Proc. Amer. Math. Soc.**118**(1993), no. 3, 745–752. MR**1160307**, 10.1090/S0002-9939-1993-1160307-6**7.**Günter M. Ziegler,*Multiarrangements of hyperplanes and their freeness*, Singularities (Iowa City, IA, 1986) Contemp. Math., vol. 90, Amer. Math. Soc., Providence, RI, 1989, pp. 345–359. MR**1000610**, 10.1090/conm/090/1000610

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
52C35,
14N20,
13N15,
15A36

Retrieve articles in all journals with MSC (2000): 52C35, 14N20, 13N15, 15A36

Additional Information

**Max Wakefield**

Affiliation:
Department of Mathematics, University of Oregon, Eugene, Oregon 97403

Address at time of publication:
Department of Mathematics, Hokkaido University, Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido 060-0810, Japan

Email:
mwakefie@math.uoregon.edu

**Sergey Yuzvinsky**

Affiliation:
Department of Mathematics, University of Oregon, Eugene, Oregon 97403

Email:
yuz@math.uoregon.edu

DOI:
http://dx.doi.org/10.1090/S0002-9947-07-04222-5

Received by editor(s):
July 25, 2005

Received by editor(s) in revised form:
September 8, 2005

Published electronically:
March 20, 2007

Additional Notes:
Research at MSRI was supported in part by NSF grant DMS-9810361

Article copyright:
© Copyright 2007
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.