Terao's freeness conjecture for hyperplane arrangements

Let A1{\mathcal{A}}_1 and A2{\mathcal{A}}_2 be central hyperplane arrangements defined over the same field. Their intersection lattices L(A1)L({\mathcal{A}}_1) and L(A2)L({\mathcal{A}}_2) encode the same combinatorics when

L(A1)L(A2).L({\mathcal{A}}_1)\cong L({\mathcal{A}}_2).

For an arrangement A{\mathcal{A}}, let D(A)D({\mathcal{A}}) denote its module of logarithmic derivations. Terao's conjecture. The derivation module D(A1)D({\mathcal{A}}_1) is free if and only if D(A2)D({\mathcal{A}}_2) is free. This conjecture asks whether freeness of the logarithmic derivation module is determined by the combinatorics of a central arrangement over a fixed field. It is a long-standing open problem in the theory of hyperplane arrangements.

Sources & referencesView supporting material

Primary source

Takuro Abe, Lukas Kühne and Piotr Pokora, “Addition theorems for Ziegler pairs of hyperplane arrangements”, arXiv:2509.19011 (2026).

Additional references

26 papers in this index state this conjecture (2003–2025). The statement above is taken from the most recent of them; the others are arXiv:2509.16569, arXiv:2407.07070, arXiv:2403.13377, arXiv:2312.11928, arXiv:2310.08191, arXiv:2009.04101, arXiv:2007.04162, arXiv:1908.06885, arXiv:1906.05463, arXiv:1903.01438, arXiv:1808.09167, arXiv:1807.07613, and 13 more.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.