Addition theorems for Ziegler pairs of hyperplane arrangements

Lukas K\"uhne; Piotr Pokora; Takuro Abe

REVIEW 3 major objections 4 minor 9 references

Addition theorems for Ziegler pairs of hyperplane arrangements

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that Ziegler pairs of irreducible hyperplane arrangements exist in arbitrary dimension and arbitrarily large size, via an addition theorem that lifts any planar Ziegler pair.

desk verdict The rank-3 addition theorem is solid and worth keeping; the higher-dimensional Theorem 5.1 undercounts degree-2 generators and leans on an unproved local-freeness step, so the main existence claim needs repair before it can be trusted. read the letter →

arxiv 2509.19011 v2 pith:46ME5QF3 submitted 2025-09-23 math.CO math.ACmath.AG

Takuro Abe , Lukas Kühne , Piotr Pokora This is my paper · ORCID

classification math.COmath.ACmath.AG MSC 52C3514N2013N15

keywords hyperplanearrangementsZieglerpairslogarithmicderivationmodulesmatroidsfreenessconjectureadditiontheoremconingirreducible

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to prove that Ziegler pairs—arrangements that share the same underlying matroid but have non-isomorphic modules of logarithmic derivations—are not a low-dimensional accident. Starting from any Ziegler pair of plane arrangements, the authors construct new Ziegler pairs in arbitrarily high dimension and with arbitrarily many hyperplanes by adding a carefully chosen generic hyperplane and then applying repeated coning. The central claim is an addition theorem that gives exact formulas for the degree sequences of the derivation modules after these operations. A sympathetic reader should care because these are the first known irreducible Ziegler pairs in dimensions greater than three, showing that combinatorics alone does not determine the full algebraic structure of the derivation module.

What carries the argument

The central mechanism is the addition theorem (Theorem 4.1 and its coned generalization Theorem 5.1), which controls the Euler exact sequence 0 -> D(A_k)(-1) -> D(B_k) -> D(B_{k-1}) -> 0 arising from adding a combinatorially generic hyperplane to a coned arrangement. The theorem explicitly determines the minimal degrees of generators of D(B_k), showing that original generator degrees all increase by one and new Euler-type generators appear, while the combinatorics of the arrangement—the matroid—is unchanged. This machinery transfers any planar Ziegler pair to all higher dimensions.

What would settle it

Compute the minimal free resolution of D(B_4) for the explicit arrangements in Example 5.3 using a computer algebra system. If either member's degree sequence differs from exp0(B1) = (2, (6)^2, (7)^6, 8) and exp0(B2) = (2, (7)^{12}, 8), or if the Euler restriction map D(B_4) -> D(B_3) is not surjective for the chosen combinatorially generic hyperplane H, then the central claim of Theorem 5.1 fails.

Watch

Extended reading notes

Core claim

The paper establishes that if A1 and A2 form a Ziegler pair in C^3, then so do the arrangements obtained by adding a generic hyperplane to each, and by taking repeated cones and adding a combinatorially generic hyperplane in higher dimensions. The key formulas are: in C^3, after adding a generic hyperplane to an arrangement with exponents (1, a2, ..., an), the new exponents are (1, a2+1, ..., an+1, |A|-1); in C^l, after (l-3) conings and adding a generic hyperplane, the degree sequence becomes ((2)^{(l-3)+(l-4 choose 2)}, (exp0(A)+1)^{l-2}, n), where n+1 = |A_{H_3}|. Because the original pair has different degree sequences, the constructed pair has different degree sequences as well, while t

Load-bearing premise

In the proof of Claim 1 of Theorem 5.1, the paper assumes that because the added hyperplane H_k is combinatorially generic with respect to the coned arrangement A_k, the sheaf of logarithmic derivations D(A_k) is locally free along H_k; this implication is not proved, and the surjectivity of the Euler restriction map and the degree formulas depend on it.

Editorial extensions

If this is right

There exist irreducible Ziegler pairs of hyperplane arrangements in every dimension l >= 3 and with arbitrarily large size.
The classical Ziegler pair of 9 lines in C^3 can be lifted to a Ziegler pair in C^4 with degree sequences (2, (6)^2, (7)^6, 8) and (2, (7)^{12}, 8).
Any planar Ziegler pair yields an infinite family of Ziegler pairs in increasing dimensions via iterated coning and generic hyperplane addition.
The construction explicitly describes the minimal generating set of the derivation module for each new arrangement, not just the existence of the pair.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A direct computer-algebra computation of the C^4 example in Example 5.3 would test the local-freeness step in practice: if the predicted exponents appear, the construction is validated in the first non-trivial case.
If the local-freeness implication in Claim 1 is later proved, the same addition machinery could likely produce Ziegler pairs with prescribed exponent gaps, or even realize arbitrary shifts of degree sequences.
The paper leaves open whether either member of the constructed Ziegler pairs can be free; if one member were free and the other not, the construction would directly address the freeness conjecture, but as it stands both members are typically non-free.
The method suggests a general pattern: any hidden collinearity or non-genericity in a plane Ziegler pair can be propagated to higher dimensions through coning, so the phenomenon of Ziegler pairs is not confined to low-dimensional special configurations.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this paper deserves a serious referee, but not as is. The plane-arrangement part (Theorem 4.1 + Lemma 4.2) is careful and, as far as I can tell, correct. The higher-dimensional construction is genuinely new—first irreducible Ziegler pairs in dimensions >3, built by coning a rank-3 Ziegler pair and adding a generic hyperplane. The idea is natural and the worked examples in Section 4 are a plus. The survey of known Ziegler pairs is also clearly written and useful.

The trouble is in Section 5. Theorem 5.1's stated exponent sequence is wrong for every ℓ ≥ 5. In Claim 2, the generating set G_k contains the derivations α_{H_k} x_j ∂_{x_j} for j=4..k and η^i_j = x_i x_j (∂_{x_i} − ∂_{x_j}) for 4 ≤ i < j ≤ k. Those are (k−3) + C(k−3,2) linearly independent quadratics, but the theorem's exp0 lists only (k−3) + C(k−4,2). Concretely, for k=5 the proof's own G_5 has three independent degree-2 generators while the theorem claims two; for k=6 it has six while the theorem claims four. Since Corollary 5.2 certifies a Ziegler pair by comparing these degree sequences, the proof of the main existence claim is invalid as written. This is not a subtle gap; the theorem contradicts the generating set given in its own proof.

There is also an unproved implication in Claim 1: combinatorial genericity of H_k with respect to A_k is asserted to imply that the sheaf D(A_k) is locally free along H_k, and that local freeness is needed to get the exact sequence (5.1). No argument is supplied. It might be true with more work, but it is not a detail at present.

Credit where it is due: Lemma 4.2's degree computation for adding a generic line in rank 3 looks right, the minimal-generator proof there is sound, and the examples check out. The paper is honest about what is known and does not oversell the literature. The flaw is concentrated in the high-dimensional theorem, not in the general program.

Bottom line: the rank-3 addition theorem is citable, and the construction idea is promising enough that an editor should send this to peer review and expect major revision. A referee should be asked to fix the degree count and the local-freeness step, or to scale back the claims to what the proofs actually give.

Referee Report

3 major / 4 minor

Summary. The paper studies Ziegler pairs of hyperplane arrangements, i.e., pairs sharing the same underlying matroid but with non-isomorphic derivation modules. It proves an addition theorem in rank 3 (Theorem 4.1): adding a generic line to a Ziegler pair of plane arrangements preserves the Ziegler-pair property, with an explicit list of exponents. The main result (Theorem 5.1) claims a formula for the degree sequence of the derivation module after coning a plane arrangement (ℓ−3) times and adding a combinatorially generic hyperplane. Corollary 5.2 then asserts the existence of irreducible Ziegler pairs in arbitrarily large dimension and size. The proofs use Euler restriction sequences, a hierarchy of genericity notions for hyperplanes, and an induction on dimension.

Significance. If correct, the paper would provide the first irreducible Ziegler pairs in dimensions greater than three, together with an explicit construction and a transparent addition mechanism. The approach is appealing and builds on recent exact-sequence results (e.g., Theorem 2.1), and the rank-3 part (Theorem 4.1) is a clean and useful addition theorem. However, the proof of Theorem 5.1 as written contains a concrete internal inconsistency in the generator count and an unsupported local-freeness step. Because these issues affect the central arbitrary-dimensional claim, the paper requires substantial revision before its main conclusion can be accepted.

major comments (3)

[Section 5, Theorem 5.1] The stated degree sequence undercounts quadratic generators. In the proof, the generating set G_k defined just before Claim 2 contains (k−3) derivations α_{H_k} x_j ∂_{x_j} for 4≤j≤k and C(k−3,2) derivations η^i_j = x_i x_j(∂_{x_i}−∂_{x_j}) for 4≤i<j≤k, all of degree 2. These are linearly independent; for example, for k=5 with α_{H_k}=x_4+x_5+..., the three derivations α x_4∂_4, α x_5∂_5, and x_4x_5(∂_4−∂_5) are independent. Hence any minimal generating set contains (k−3)+C(k−3,2) degree-2 elements, whereas the theorem's formula gives only (ℓ−3)+C(ℓ−4,2). For ℓ=5 the formula predicts two 2s while G_5 contains three; for ℓ=6 it predicts four while G_6 contains six. Since Corollary 5.2 certifies a Ziegler pair by the differing sequences of Theorem 5.1, the proof of arbitrary-dimensional existence is invalid as written.
[Section 5, Claim 1] The assertion that combinatorial genericity of H_k with respect to A_k implies that D(A_k) is locally free along H_k is unproved. This implication is not a standard consequence of the given definitions and is needed for the sheaf-level exact sequence 0→D(A_k)(−1)→D(B_k)→D(B_{k−1})→0. Without local freeness along H_k, the surjectivity of ρ_k^{k−1} and the generator-lifting argument in Claim 2 collapse. A proof or a precise citation is required.
[Section 5, proof of Claim 2/3] The coordinate normalization '∂_{x_j}(α_H)=1 for all 4≤j≤ℓ' is not justified while retaining the coning hyperplanes x_j=0 as coordinate hyperplanes. A diagonal scaling can normalize nonzero coefficients but cannot create a nonzero coefficient for a variable absent from α_H; a more general coordinate change would move the coning hyperplanes and change the form of the generators η^i_j and φ^i_j. The proof needs to justify that such a normalization is possible in the given setup or adapt the generators to the transformed arrangement.

minor comments (4)

[Section 4, Theorem 4.5] The proof is a sketch ('The same proof as in Lemma 3.3 works...'). Since this is stated as a theorem, the argument should be spelled out or the statement should be moved to a remark.
[Section 5, Theorem 5.1] The notation (2)^m is nonstandard; it should be defined as m copies of the degree 2 in the exponent tuple.
[Section 4, proof of Lemma 4.2] The phrase 'Let θ_E, φ be a basis for D(B_H)' is imprecise; the restriction module is free with a basis consisting of the Euler class and a degree d−1 element.
[Example 5.3] 'H is general position for both arrangements' should be made precise: it should mean combinatorially generic in the sense of Definition 3.2.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is a genuine additive transformation; load-bearing self-citations are to independent published theorems.

full rationale

The paper's central claim is an addition theorem: starting from a plane arrangement A (or a Ziegler pair A1,A2), it proves formulas for the minimal generator degrees of the arrangement obtained by coning and adding a generic hyperplane (Theorem 4.1 and Theorem 5.1). This is a genuine derivation, not a prediction fitted to data. The proof uses Euler restriction sequences and minimal-resolution arguments; the output exponent sequence is a shifted copy of the input sequence plus a fixed common part, so the difference between the two members of a Ziegler pair is preserved but not assumed. The main self-citations are to Theorem 2.1 from ADP24 (Abe–Dimca–Pokora) and to CP25 (Cuntz–Pokora) for base Ziegler pairs; these are published results with their own proofs/examples, and they do not assume the target result of this paper. The paper does not invoke a uniqueness theorem, does not smuggle an ansatz via citation, and does not rename a known result as a new one. The unproved local-freeness assertion in Claim 1 of Theorem 5.1 and the possible undercount of degree-2 generators are correctness gaps, not circularity: they concern whether the proof is valid, not whether the conclusion was assumed. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The construction rests on standard arrangement theory plus two unproved or underproved domain assertions: local freeness along a combinatorially generic hyperplane, and existence of algebraically generic hyperplanes. No free parameters are fitted; the main gap is the unsupported local freeness claim in the proof of Theorem 5.1.

assumptions (5)

domain assumption If H is combinatorially generic with respect to A, then D(A) is locally free along H.
Invoked in proof of Claim 1, Section 5, to get the sheaf-level exact sequence; no proof or citation given.
domain assumption Theorem 2.1 (ADP24): Euler restriction sequence is right exact when |A_H| > c'_i - 1.
Used in Lemma 3.3 and Theorem 4.5.
standard math Proposition 2.6 (Sai19): reg D(A) is at most |A| - l + 1.
Used to bound minimal generator degrees in Lemma 3.3 and Lemma 4.2.
standard math Proposition 2.2 (OT92): D(A1 x A2) = S D(A1) + S D(A2).
Used to describe D of coned arrangements.
domain assumption Algebraically generic hyperplanes always exist for irreducible A (open dense condition).
Stated without proof in Section 3, used implicitly by Theorem 4.1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Addition theorems for Ziegler pairs of hyperplane arrangements." pith.science (2026). https://pith.science/paper/46ME5QF3

@misc{pith2026250919011,
  author       = {Pith},
  title        = {Pith review of: Addition theorems for Ziegler pairs of hyperplane arrangements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/46ME5QF3}},
  note         = {Machine review of arXiv:2509.19011}
}

read the original abstract

Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 3 linked inside Pith

[1]

Addition-deletion theorems for the Solomon-Terao polynomi- als andB-sequences of hyperplane arrangements

[Abe24] T. Abe. “Addition-deletion theorems for the Solomon-Terao polynomi- als andB-sequences of hyperplane arrangements”. In:Math. Z.306.2 (2024), Paper No. 25,

2024
[4]

13 [CL25] D

arXiv:2404.04364 [math.AG]. 13 [CL25] D. Corey and D. Luber.Singular matroid realization spaces

arXiv
[5]

Singular plane curves: freeness and combi- natorics

arXiv:2307.11915 [math.AG]. [CP25] M. Cuntz and P. Pokora. “Singular plane curves: freeness and combi- natorics”. In:Innov. Incidence Geom.22.1 (2025), pp. 47–65. [DS24] A. Dimca and G. Sticlaru. “From Pascal’s theorem to the geometry of Ziegler’s line arrangements”. In:J. Algebraic Combin.60.4 (2024), pp. 991–1009. [DST25] M. DiPasquale, J. Sidman, and W...

arXiv 2025
[6]

[OT92] P

arXiv:2407.07070 [math.AG]. [OT92] P. Orlik and H. Terao.Arrangements of hyperplanes. Vol

arXiv
[62]

Combinatorial construction of logarithmic differential forms

Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2012, pp. 323–358. [Zie89] G. M. Ziegler. “Combinatorial construction of logarithmic differential forms”. In:Adv. Math.76.1 (1989), pp. 116–154. [Zie90] G. M. Ziegler. “Matroid representations and free arrangements”. In: Trans. Amer. Math. Soc.320.2 (1990), pp. 525–541. Takuro Abe, Department of Mathematics, ...

2012
[300]

Springer-Verlag, Berlin, 1992, pp

Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Math- ematical Sciences]. Springer-Verlag, Berlin, 1992, pp. xviii+325. [Sai19] M. Saito.Degeneration of pole order spectral sequences for hyperplane arrangements of 4 variables

1992
[2019]

Elementary modifications and line configurations in P2

arXiv:1902.03838 [math.AG]. [Sch03] H. K. Schenck. “Elementary modifications and line configurations in P2”. In:Comment. Math. Helv.78.3 (2003), pp. 447–462. [Sch12] H. Schenck. “Hyperplane arrangements: computations and conjectures”. In:Arrangements of hyperplanes—Sapporo

arXiv 1902
[2024]

[BHKL25] M

arXiv:2410.11479 [math.AG]. [BHKL25] M. Baker, J. Huh, M. Kummer, and O. Lorscheid.Lorentzian polyno- mials and matroids over triangular hyperfields 1: Topological aspects

arXiv

Show all 9 references

[2025]

Computing the nonfree locus of the mod- uli space of arrangements and Terao’s freeness conjecture

arXiv:2508.02907 [math.CO]. [BK23] M. Barakat and L. K¨ uhne. “Computing the nonfree locus of the mod- uli space of arrangements and Terao’s freeness conjecture”. In:Math. Comp.92.341 (2023), pp. 1431–1452. [BR24] L. Borisov and X. Roulleau.Modular curvesX 1(n)as moduli spaces...

2023

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[1] [1]

Addition-deletion theorems for the Solomon-Terao polynomi- als andB-sequences of hyperplane arrangements

[Abe24] T. Abe. “Addition-deletion theorems for the Solomon-Terao polynomi- als andB-sequences of hyperplane arrangements”. In:Math. Z.306.2 (2024), Paper No. 25,

2024

[2] [4]

13 [CL25] D

arXiv:2404.04364 [math.AG]. 13 [CL25] D. Corey and D. Luber.Singular matroid realization spaces

arXiv

[3] [5]

Singular plane curves: freeness and combi- natorics

arXiv:2307.11915 [math.AG]. [CP25] M. Cuntz and P. Pokora. “Singular plane curves: freeness and combi- natorics”. In:Innov. Incidence Geom.22.1 (2025), pp. 47–65. [DS24] A. Dimca and G. Sticlaru. “From Pascal’s theorem to the geometry of Ziegler’s line arrangements”. In:J. Algebraic Combin.60.4 (2024), pp. 991–1009. [DST25] M. DiPasquale, J. Sidman, and W...

arXiv 2025

[4] [6]

[OT92] P

arXiv:2407.07070 [math.AG]. [OT92] P. Orlik and H. Terao.Arrangements of hyperplanes. Vol

arXiv

[5] [62]

Combinatorial construction of logarithmic differential forms

Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2012, pp. 323–358. [Zie89] G. M. Ziegler. “Combinatorial construction of logarithmic differential forms”. In:Adv. Math.76.1 (1989), pp. 116–154. [Zie90] G. M. Ziegler. “Matroid representations and free arrangements”. In: Trans. Amer. Math. Soc.320.2 (1990), pp. 525–541. Takuro Abe, Department of Mathematics, ...

2012

[6] [300]

Springer-Verlag, Berlin, 1992, pp

Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Math- ematical Sciences]. Springer-Verlag, Berlin, 1992, pp. xviii+325. [Sai19] M. Saito.Degeneration of pole order spectral sequences for hyperplane arrangements of 4 variables

1992

[7] [2019]

Elementary modifications and line configurations in P2

arXiv:1902.03838 [math.AG]. [Sch03] H. K. Schenck. “Elementary modifications and line configurations in P2”. In:Comment. Math. Helv.78.3 (2003), pp. 447–462. [Sch12] H. Schenck. “Hyperplane arrangements: computations and conjectures”. In:Arrangements of hyperplanes—Sapporo

arXiv 1902

[8] [2024]

[BHKL25] M

arXiv:2410.11479 [math.AG]. [BHKL25] M. Baker, J. Huh, M. Kummer, and O. Lorscheid.Lorentzian polyno- mials and matroids over triangular hyperfields 1: Topological aspects

arXiv