On the Jacobian algebras of Ziegler pairs of plane arrangements

Alexandru Dimca; Piotr Pokora

arxiv: 2604.25637 · v2 · pith:SDBNX4VMnew · submitted 2026-04-28 · 🧮 math.AG

On the Jacobian algebras of Ziegler pairs of plane arrangements

Alexandru Dimca , Piotr Pokora This is my paper

Pith reviewed 2026-07-01 08:35 UTC · model grok-4.3

classification 🧮 math.AG

keywords Ziegler pairsplane arrangementsJacobian algebrasintersection latticesBetti numbersminimal resolutionsconesprojective space

0 comments

The pith

Plane arrangements in P^3 can share intersection lattices while their Jacobian algebra resolutions differ in Betti numbers.

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

The paper examines pairs of plane arrangements in projective 3-space whose intersection lattices are isomorphic, yet the minimal free resolutions of the associated Jacobian algebras have unequal Betti numbers. These pairs are termed Ziegler pairs. The authors introduce several additional properties of such pairs and relate the pairs to cones built over Ziegler pairs of line arrangements in the projective plane. A sympathetic reader cares because the examples separate the combinatorial data of the lattice from the homological invariants of the Jacobian algebra.

Core claim

We consider a Ziegler pair of plane arrangements A:f=0 and A':f'=0 in P^3 such that L(A) ≅ L(A') but the Betti numbers of the minimal resolutions of their Jacobian algebras are not the same; several properties are introduced and related to cones over Ziegler pairs of line arrangements in P^2.

What carries the argument

Ziegler pair of plane arrangements in P^3, an object defined by isomorphic intersection lattices together with unequal Betti numbers in the minimal resolutions of the Jacobian algebras; the cone construction from line arrangements in P^2 preserves this distinction.

Load-bearing premise

Ziegler pairs of plane arrangements exist in P^3, so that lattice isomorphism does not force the Jacobian algebra resolutions to have identical Betti numbers.

What would settle it

An explicit computation or general argument showing that every pair of plane arrangements in P^3 with isomorphic intersection lattices must have Jacobian algebras whose minimal resolutions share the same Betti numbers.

read the original abstract

We consider a Ziegler pair of plane arrangements, that is two plane arrangements $\mathcal{A}:f=0$ and $\mathcal{A}':f'=0$ in the projective space $\mathbb{P}^3$, such that the intersection lattices $L(\mathcal{A})$ and $L(\mathcal{A}')$ are isomorphic, but the Betti numbers of the minimal resolutions of their Jacobian algebras are not the same. We introduce several properties for such pairs and relate them to cones over Ziegler pairs of line arrangements in $\mathbb{P}^2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Abstract asserts Ziegler pairs in P^3 with matching lattices but differing Jacobian resolutions, linked to cones, yet supplies no examples or computations.

read the letter

The main takeaway is that this short note extends the idea of Ziegler pairs—arrangements with isomorphic lattices but non-isomorphic Jacobian algebra resolutions—from line arrangements in P^2 to plane arrangements in P^3, using a cone construction to relate the two. It introduces a few properties for these pairs and claims the cone operation keeps the lattice isomorphism while preserving the resolution difference.

What is new is the explicit move to this higher-dimensional setting and the cone link, which is not just a routine lift of the P^2 case. The abstract frames the question cleanly in terms of existing work on line arrangements and their Jacobians.

The paper does a straightforward job of stating the distinction it wants to make. That said, the central claim rests on the existence of concrete pairs A and A' in P^3 where the lattices match but the Betti numbers of the minimal free resolutions of J(f) and J(f') differ. The abstract gives none of the equations for f and f', no lattice data, no sample Betti numbers, and no derivation showing why the cone preserves the difference. The stress-test concern lands exactly because those steps are missing.

This is aimed at a narrow group working on hyperplane arrangements, Ziegler pairs, and the algebra of their singularities. A reader outside that circle or looking for verifiable examples will find little to use.

If the full paper contains the actual constructions and checks, it is worth sending to a referee as a short communication. Based on the abstract alone, the claim is too thin to evaluate.

Referee Report

1 major / 0 minor

Summary. The manuscript considers Ziegler pairs of plane arrangements A:f=0 and A':f'=0 in P^3 such that the intersection lattices L(A) and L(A') are isomorphic, but the Betti numbers of the minimal resolutions of the Jacobian algebras J(f) and J(f') differ. It introduces several properties for such pairs and relates them to cones over Ziegler pairs of line arrangements in P^2.

Significance. If substantiated, the result would establish that lattice isomorphism does not determine the Betti numbers of Jacobian algebra resolutions for plane arrangements in P^3, extending known distinctions from P^2 via cone constructions and potentially supplying new invariants or properties for distinguishing combinatorially equivalent arrangements.

major comments (1)

Abstract (first paragraph): the central claim asserts the existence of Ziegler pairs in P^3 with L(A) ≅ L(A') yet non-matching Betti numbers for the minimal resolutions of J(f) and J(f'), together with a cone relation preserving the distinction; however, no defining polynomials f and f', no explicit lattice data, and no resolution computations or preservation argument are supplied, leaving the load-bearing existence statement unverified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for the feedback provided. We address the major comment point by point below.

read point-by-point responses

Referee: Abstract (first paragraph): the central claim asserts the existence of Ziegler pairs in P^3 with L(A) ≅ L(A') yet non-matching Betti numbers for the minimal resolutions of J(f) and J(f'), together with a cone relation preserving the distinction; however, no defining polynomials f and f', no explicit lattice data, and no resolution computations or preservation argument are supplied, leaving the load-bearing existence statement unverified.

Authors: The abstract is a concise summary of the paper's results and is not intended to contain the full technical details. The body of the manuscript supplies the explicit defining polynomials f and f' for the arrangements in P^3, verifies the isomorphism of the intersection lattices L(A) and L(A'), computes the differing Betti numbers of the minimal free resolutions of the Jacobian algebras J(f) and J(f'), and provides the argument establishing that the distinction is preserved under the cone construction relating these pairs to Ziegler pairs of line arrangements in P^2. revision: no

Circularity Check

0 steps flagged

No circularity: abstract is purely definitional with no derivation chain

full rationale

The abstract defines a Ziegler pair explicitly as two arrangements whose lattices are isomorphic but whose Jacobian algebra resolution Betti numbers differ, then states that properties are introduced and related to cones. No equations, no fitted parameters, no predictions, and no citations appear. Because the document supplies only this declarative definition and no load-bearing mathematical steps, there is no reduction of any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no free parameters, axioms, or invented entities are specified or extractable. The work relies on standard definitions of intersection lattices and Jacobian algebras from prior literature.

pith-pipeline@v0.9.1-grok · 5577 in / 1009 out tokens · 33908 ms · 2026-07-01T08:35:33.821162+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On Ziegler pairs of line arrangements: from non-existence to abundance
math.AG 2026-06 unverdicted novelty 6.0

For d<9 line arrangements the intersection lattice determines the exponent data; six Ziegler pairs with d=10 share the same lattice, Jacobian degree and Milnor algebra Hilbert function but have different minimal grade...