The generic splitting type of the logarithmic bundle of an arrangement of at most sixteen lines is combinatorial
Abstract
Let π be an arrangement of d lines in β2C and let π―β¨πβ© be its bundle of logarithmic vector fields. On a general line, π―β¨πβ© splits as πͺ(βk)βπͺ(k+1βd) with k=min{mdr(π),β(dβ1)/2β}, where mdr is the minimal degree of a Jacobian syzygy. We prove that k is determined by the intersection lattice whenever dβ€16, answering in this range a question of Cook, Harbourne, Migliore and Nagel. Since freeness can be read off from k and c2(π―β¨πβ©), this strengthens Terao's freeness conjecture in this range; in particular we obtain a proof of Terao's conjecture for $14$ lines that uses it only for $13$ lines. For any number d of lines, it follows that mdr is determined by the lattice whenever mdrβ€6 and 2mdrβ€ dβ3, and that Terao's conjecture holds for every free arrangement whose smaller exponent is at most $7$. The proof reduces the question to critical arrangements: 2s+3 lines, each containing at most s+1 intersection points, with mdr=s. For these, the inflection polynomial of the minimal derivation factors as QA R with Rβ H0(βZ2(sβ3)), where Z is the zero scheme of the derivation, of length Ξ½=c2(π―β¨πβ©)βs(s+2). For sβ€5 this forces Ξ½β€1, and Chern class arguments then reduce everything to Terao's conjecture for $13$ lines. For s=6 we show Ξ½β€3, using a Riccati equation along multiple components of R, Ziegler's multirestriction, and local computations verified by computer algebra; an exhaustive enumeration of the 26,265,318 candidate lattices with Ξ½β{2,3} that satisfy Bojanowski's inequality completes the proof.
Related
- Formation control from the generic combinatorial viewpoint: edge dynamics and directed sensing
- Generic Machine Learning-Based Sparsification for Arc Flow Formulation of Combinatorial Optimization Problems
- On the extended Shi arrangement of type Bβ
- An explicit basis for the extended Catalan arrangement of type Dl
- Log-concavity of flat arrangement polynomials
BibTeX
@misc{anghel2026generic,
title = {{The generic splitting type of the logarithmic bundle of an arrangement of at most sixteen lines is combinatorial}},
author = {Cristian Anghel and Rares Stan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.31556},
eprint = {2610.31556},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.31556},
}
RIS
TY - UNPB
TI - The generic splitting type of the logarithmic bundle of an arrangement of at most sixteen lines is combinatorial
AU - Cristian Anghel
AU - Rares Stan
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.31556
UR - https://arxiv.org/abs/2610.31556
AB - Let π be an arrangement of d lines in β^2_C and let π―β¨πβ© be its bundle of logarithmic vector fields. On a general line, π―β¨πβ© splits as πͺ(βk)βπͺ(k+1βd) with k=min{mdr(π),β(dβ1)/2β}, where mdr is the minimal degree of a Jacobian syzygy. We prove that k is determined by the intersection lattice whenever dβ€16, answering in this range a question of Cook, Harbourne, Migliore and Nagel. Since freeness can be read off from k and c_2(π―β¨πβ©), this strengthens Terao's freeness conjecture in this range; in particular we obtain a proof of Terao's conjecture for $14$ lines that uses it only for $13$ lines. For any number d of lines, it follows that mdr is determined by the lattice whenever mdrβ€6 and 2mdrβ€ dβ3, and that Terao's conjecture holds for every free arrangement whose smaller exponent is at most $7$. The proof reduces the question to critical arrangements: 2s+3 lines, each containing at most s+1 intersection points, with mdr=s. For these, the inflection polynomial of the minimal derivation factors as Q_A R with Rβ H^0(β_Z^2(sβ3)), where Z is the zero scheme of the derivation, of length Ξ½=c_2(π―β¨πβ©)βs(s+2). For sβ€5 this forces Ξ½β€1, and Chern class arguments then reduce everything to Terao's conjecture for $13$ lines. For s=6 we show Ξ½β€3, using a Riccati equation along multiple components of R, Ziegler's multirestriction, and local computations verified by computer algebra; an exhaustive enumeration of the 26,265,318 candidate lattices with Ξ½β{2,3} that satisfy Bojanowski's inequality completes the proof.
ER -