arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25868

Terao's freeness conjecture for arrangements of 15 and 16 lines

Cristian Anghel·Rareş Stan
View original source ↗Read source document ↗Export metadata ↓

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 $\mathbb{C}^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 $\mathbb{Q}$. Exactly eleven of them are realizable over $\mathbb{C}$, 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.

Explore related subjects

math.AGmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cristian Anghel, Rareş Stan. 2026-10-19. Terao's freeness conjecture for arrangements of 15 and 16 lines. https://arxiv.org/abs/2610.25868

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Some Cubic and Quartic Inequalities of Four Variables

Let $\mathcal{H} \subset \mathcal{H}_{n,d} := \mathbb{R}[x_1$,$\ldots$, $x_n]_d$ be a vector space, and $A$ be a compact semialgebraic subset of $\mathbb{P}_{\mathbb{R}}^{n-1}$. We shall study some PSD cones $\mathcal{P} = \mathcal{P}(A$, $\mathcal{H}) := \big\{f \in \mathcal{H}$ $\big|$ $f(a) \geq 0$ ($\forall a \in A$)$\big\}$. Our interests are (1) to determine the extremal elements of $\mathcal{P}$, (2) to determine discriminants of $\mathcal{P}$, (3) to describe $\mathcal{P}$ as a union of basic semialgebraic subsets, and (4) to find a nice test set when $\dim \mathcal{H}$ is low. In this article, we present (1), (2), (3) and (4) for $\mathcal{P}(\mathbb{R}^4$, $\mathcal{H}_{4,4}^{s0})$ and $\mathcal{P}(\mathbb{R}_+^4$, $\mathcal{H}_{4,4}^{s0})$, where $\mathcal{H}_{n,d}^{s0} := \big\{f \in \mathcal{H}_{n,d}$ $\big|$ $f$ is symmetric and $f(1,\ldots,1)=0 \big\}$. We also provide (1) -- (4) for $\mathcal{P}(\mathbb{R}_+^4$, $\mathcal{H}_{4,3}^{c0})$, where $\mathcal{H}_{n,d}^{c0} := \big\{f \in \mathcal{H}_{n,d}$ $\big|$ $f$ is cyclic and $f(1,\ldots,1)=0 \big\}$.

math.AG↗
arXiv2026

Categorical wall-crossing for higher-framed DT/PT quivers

We study a framed three-loop quiver with $a+r$ incoming arrows and $a$ outgoing arrows. For a generic window parameter, we construct a semiorthogonal decomposition of the bounded derived category of the positive GIT quotient into products of unframed window categories and categories of the negative quotient. The arrow imbalance $r$ determines an interval of admissible slopes of length $r$. The proof separates a lower-convex-hull decomposition of dominant weights, Koszul induction, full faithfulness and semiorthogonality of Hall functors, and the two window equivalences. We extend the decomposition to trace potentials satisfying block additivity. Applications include a precisely specified open chart of the framed conifold quiver, an algebraically defined extended ADHM critical model, and the critical presentation of the Quot scheme of points on $\mathbb{A}^3$. We do not identify the extended ADHM model with moduli of higher-rank pairs having a generically rank-one reduced-curve sheaf. A formal MacMahon identity is proved separately, and the localized categorical rank formula is deduced using the localized strict-slope product formula of Pădurariu--Toda.

math.AG↗
arXiv2026

A dimension bound towards the Casas-Alvero Conjecture

The Casas-Alvero conjecture predicts that every univariate polynomial over an algebraically closed field of characteristic zero sharing a common factor with each of its Hasse-Schmidt derivatives is a power of a linear polynomial. The conjecture for polynomials of a fixed degree $n$ is equivalent to the projective variety of such polynomials being one-dimensional. In this paper, we produce dimension bounds for this variety (in degree $n$) over any algebraically closed field of characteristic zero using an arithmetic invariant $B(n)$ of $n$. Consequently for infintely many degrees $n$, we show that the associated arithmetic Casas-Alvero scheme has finitely many rational points over any characteristic zero field. Along the way, we prove several rigidity results towards the conjecture and study arithmetic properties of $B(n)$.

math.AG↗