Terao's freeness conjecture for arrangements of 15 and 16 lines
Abstract
We prove that Terao's freeness conjecture holds for arrangements of 15 and of 16 lines in the complex projective plane. Together with the theorem of Barakat and Kühne for at most 14 hyperplanes, this shows that freeness of a central arrangement of at most 16 planes in ℂ3 is determined by its intersection lattice. The proof has a theoretical and a computational part. Combining published combinatorial criteria for freeness (due to Abe, Dimca, Dimca-Kühne-Pokora and Yoshinaga) with Bojanowski's Hirzebruch-type inequality and an elementary counting identity, we show that a counterexample would have exponents (6,8) or (7,7) for 15 lines and (7,8) for 16 lines, and an intersection lattice subject to strong numerical constraints. We then enumerate all 22,544,280 simple rank 3 matroids satisfying these constraints, up to isomorphism, and determine the complex realization space of each of them exactly over ℚ. Exactly eleven of them are realizable over ℂ, and on each of these the freeness of the realizations is constant. As a by-product we classify the free arrangements of 15 and 16 lines that are not divisionally free, have maximal multiplicity smaller than the smaller nontrivial exponent, and have at least four intersection points on every line.
Related
- A generalized Terao Conjecture for line arrangements
- Equivalence of freeness and higher order freeness of hyperplane arrangements
- Freeness of Arrangements with Regular Underlying Matroids
- Nice Partitions, Supersolvability, and Freeness in Deformations of Graphic Arrangements
- On Terao's conjecture for at most nine planes
BibTeX
@misc{anghel2026teraos,
title = {{Terao's freeness conjecture for arrangements of 15 and 16 lines}},
author = {Cristian Anghel and Rareş Stan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25868},
eprint = {2610.25868},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25868},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Terao's freeness conjecture for arrangements of 15 and 16 lines
AU - Cristian Anghel
AU - Rareş Stan
PY - 2026
DA - 2026/10/19
PB - arXiv
DO - 10.48550/arxiv.2610.25868
UR - https://arxiv.org/abs/2610.25868
AB - We prove that Terao's freeness conjecture holds for arrangements of 15 and of 16 lines in the complex projective plane. Together with the theorem of Barakat and Kühne for at most 14 hyperplanes, this shows that freeness of a central arrangement of at most 16 planes in ℂ^3 is determined by its intersection lattice. The proof has a theoretical and a computational part. Combining published combinatorial criteria for freeness (due to Abe, Dimca, Dimca-Kühne-Pokora and Yoshinaga) with Bojanowski's Hirzebruch-type inequality and an elementary counting identity, we show that a counterexample would have exponents (6,8) or (7,7) for 15 lines and (7,8) for 16 lines, and an intersection lattice subject to strong numerical constraints. We then enumerate all 22,544,280 simple rank 3 matroids satisfying these constraints, up to isomorphism, and determine the complex realization space of each of them exactly over ℚ. Exactly eleven of them are realizable over ℂ, and on each of these the freeness of the realizations is constant. As a by-product we classify the free arrangements of 15 and 16 lines that are not divisionally free, have maximal multiplicity smaller than the smaller nontrivial exponent, and have at least four intersection points on every line.
ER -