Derivations of an effective divisor on the complex projective line
HTML articles powered by AMS MathViewer
- by Max Wakefield and Sergey Yuzvinsky PDF
- Trans. Amer. Math. Soc. 359 (2007), 4389-4403 Request permission
Abstract:
In this paper we consider an effective divisor on the complex projective line and associate with it the module $D$ consisting of all the derivations $\theta$ such that $\theta (I_i)\subset I_i^{m_i}$ for every $i$, where $I_i$ is the ideal of $p_i$. The module $D$ 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 $(m_i)$ the exponents do not depend on $\{p_i\}$. Our main result asserts that if these conditions do not hold for $(m_i)$, then there exists a general position of $n$ 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.References
- Thomas Muir, A treatise on the theory of determinants, Dover Publications, Inc., New York, 1960. Revised and enlarged by William H. Metzler. MR 0114826
- 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, DOI 10.1007/978-3-662-02772-1
- Louis Solomon and Hiroaki Terao, The double Coxeter arrangement, Comment. Math. Helv. 73 (1998), no. 2, 237–258. MR 1611699, DOI 10.1007/s000140050054
- 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, DOI 10.1016/0022-4049(95)00014-n
- Masahiko Yoshinaga, Characterization of a free arrangement and conjecture of Edelman and Reiner, Invent. Math. 157 (2004), no. 2, 449–454. MR 2077250, DOI 10.1007/s00222-004-0359-2
- Sergey Yuzvinsky, Free and locally free arrangements with a given intersection lattice, Proc. Amer. Math. Soc. 118 (1993), no. 3, 745–752. MR 1160307, DOI 10.1090/S0002-9939-1993-1160307-6
- 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, DOI 10.1090/conm/090/1000610
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
- 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
- © Copyright 2007
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 359 (2007), 4389-4403
- MSC (2000): Primary 52C35, 14N20; Secondary 13N15, 15A36
- DOI: https://doi.org/10.1090/S0002-9947-07-04222-5
- MathSciNet review: 2309190