Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40028

On Terao's conjecture for at most nine planes

Bartosz Jarosławski
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this note we show that Terao's freeness conjecture holds for arrangements of at most nine planes in the complex projective $3$-space. Moreover, we show that every essential and irreducible free arrangement of at most nine planes in $\mathbb{P}^{3}_{\mathbb{C}}$ is divisionally free, and we list all intersection lattices of such arrangements. Our approach is based on Ziegler's restriction theorem and a simple count involving the numbers of multiple lines. As a by-product, we show that Cynk--Szemberg octic arrangements are never free. Finally, motivated by a recent work of Dimca and Pokora, we present examples of weak Ziegler pairs of plane arrangements, including pairs of octic arrangements leading to rigid double octic Calabi--Yau threefolds.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bartosz Jarosławski. 2026-10-29. On Terao's conjecture for at most nine planes. https://arxiv.org/abs/2610.40028

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

KEEP EXPLORING

Related papers

arXiv2026

Wall divisors on irreducible symplectic orbifolds of Nikulin-type

We determine the wall divisors on irreducible symplectic orbifolds which are deformation equivalent to a special type of examples, called Nikulin orbifolds. The Nikulin orbifolds are obtained as partial resolutions in codimension 2 of a quotient by a symplectic involution of a Hilbert scheme of 2 points on a K3 surface. This builds on the previous article arXiv:2009.04873 in which the theory of wall divisors was generalized to orbifold singularities.

math.AG↗
arXiv2026

Prekosmic Grothendieck/Galois Categories

We establish a generalized version of the duality between groups and the categories of their representations on sets. Given an abstract symmetric monoidal category $K$ called Galois prekosmos, we define pre-Galois objects in $K$ and study the categories of their representations internal to $K$. The motivating example of $K$ is the cartesian monoidal category $\textit{Set}$ of sets, and pre-Galois objects in $\textit{Set}$ are groups. We present an axiomatic definition of pre-Galois $K$-categories, which is a complete abstract characterization of the categories of representations of pre-Galois objects in $K$. The category of covering spaces over a well-connected topological space is a prototype of a pre-Galois $\textit{Set}$-category. We establish a perfect correspondence between pre-Galois objects in $K$ and pre-Galois $K$-categories pointed with pre-fiber functors. We also establish a generalized version of the duality between flat affine group schemes and the categories of their linear representations. Given an abstract symmetric monoidal category $K$ called Grothendieck prekosmos, we define what are pre-Grothendieck objects in $K$ and study the categories of their representations internal to $K$. The motivating example of $K$ is the symmetric monoidal category $\textit{Vec}_k$ of vector spaces over a field $k$, and pre-Grothendieck objects in $\textit{Vec}_k$ are affine group $k$-schemes. We present an axiomatic definition of pre-Grothendieck $K$-categories, which is a complete abstract characterization of the categories of representations of pre-Grothendieck objects in $K$. The indization of a neutral Tannakian category over a field $k$ is a prototype of a pre-Grothendieck $\textit{Vec}_k$-category. We establish a perfect correspondence between pre-Grothendieck objects in $K$ and pre-Grothendieck $K$-categories pointed with pre-fiber functors.

math.AG↗