---
title: Ziegler Pairs in Arrangement Theory
url: https://www.emergentmind.com/topics/ziegler-pairs
type: topic
---

# Ziegler Pairs in Arrangement Theory

Ziegler pairs are comparison objects used most prominently in the theory of arrangements and plane curves to isolate the gap between combinatorics and Jacobian-algebra data. In the arrangement-theoretic literature, the common core is that two objects have the same prescribed combinatorial structure—typically the same intersection lattice or the same weak combinatorics—but differ in syzygetic or homological invariants attached to the Jacobian ideal. Recent papers distinguish weak Ziegler pairs, Ziegler pairs, and strong Ziegler pairs, and extend the notion from line arrangements in \(\mathbb{P}^2\) to conic-line arrangements, plane arrangements in \(\mathbb{P}^3\), and higher-dimensional hyperplane arrangements [2403.16870] [2606.20421].

## 1. Core definitions and terminological variants

Recent papers use several related definitions rather than a single universal one. In each case, the invariant that is held fixed is combinatorial, while the invariant that is allowed to vary is homological.

| Notion | Fixed data | Variable data |
|---|---|---|
| Weak Ziegler pair | Same weak combinatorics | Different \(\operatorname{mdr}\) |
| Ziegler pair (classical line-arrangement sense) | Isomorphic intersection lattices | Different \(\operatorname{mdr}\) |
| Ziegler pair (homological sense) | Isomorphic intersection lattices | Different graded Betti numbers or minimal graded free resolutions |
| Strong Ziegler pair | Same combinatorics or isomorphic intersection lattices | Non-isomorphic Milnor algebras or different minimal graded free resolutions |

For reduced plane curves with smooth components, a weak Ziegler pair \((C_1,C_2)\) is defined by equality of weak combinatorics together with \(\operatorname{mdr}(C_1)\neq \operatorname{mdr}(C_2)\) [2403.16870]. For line arrangements in \(\mathbb{P}^2\), one paper recalls the classical definition: two arrangements form a Ziegler pair if their intersection lattices are isomorphic but their minimal degrees of Jacobian relations are different [2407.07070]. A later homological reformulation declares two line arrangements to be a Ziegler pair when the intersection lattices are isomorphic but the graded Betti numbers in the minimal graded free resolutions of their Jacobian algebras differ [2606.20421]. In plane-curve language, a strong Ziegler pair is a pair with equivalent combinatorics but non-isomorphic Milnor algebras, equivalently distinct graded \(S\)-modules of Jacobian syzygies [2509.08403].

This definitional evolution reflects a shift from a numerical criterion based on \(\operatorname{mdr}\) to a finer homological criterion based on the full minimal resolution. A plausible implication is that the phrase now names a hierarchy of failure modes for combinatorial determinacy rather than a single invariant.

## 2. Jacobian-algebra framework

Let \(S=\mathbb{C}[x,y,z]\) for plane curves, or \(S=\mathbb{C}[x,y,z,w]\) for plane arrangements in \(\mathbb{P}^3\). If \(f\) is a reduced homogeneous polynomial defining a curve or arrangement, the Jacobian ideal is
\[
J_f=(f_x,f_y,f_z)
\]
in the plane-curve setting, and
\[
J_f=(f_x,f_y,f_z,f_w)
\]
for hypersurfaces in \(\mathbb{P}^3\). The Milnor, or Jacobian, algebra is
\[
M(f)=S/J_f.
\]
The module of Jacobian syzygies is
\[
AR(f)=\{(a,b,c)\in S^3: af_x+bf_y+cf_z=0\},
\]
and the minimal degree of non-trivial Jacobian relations is
\[
\operatorname{mdr}(f):=\min\{r:AR(f)_r\neq 0\}.
\]
For \(m\)-syzygy curves, the first exponent \(d_1\) satisfies \(d_1=\operatorname{mdr}(f)\) [2403.16870].

In line-arrangement theory, the minimal graded free resolution of \(M(f)\) records the graded Betti numbers and the degree sequence of minimal generators of \(AR(f)\). Those degrees are often referred to as exponents, with \(e_1=\operatorname{mdr}(f)\) [2606.20421]. In the plane-arrangement setting in \(\mathbb{P}^3\), the minimal graded free resolution of \(M(f)\) has three nontrivial homological steps, and the corresponding degree sequences \(\mathbf d\), \(\mathbf c\), and \(\mathbf b\) determine the graded Betti numbers [2604.25637].

The relevance of these objects to Ziegler pairs is direct. If two arrangements have the same combinatorics but different \(\operatorname{mdr}\), different degree sequences, different Hilbert functions, or different minimal resolutions of \(M(f)\), then the Jacobian algebra detects geometry not encoded in the combinatorial data. The stronger the invariant that differs, the stronger the corresponding Ziegler phenomenon.

## 3. Historical development in line arrangements

The classical point of departure is the 9-line example associated with Ziegler and Yuzvinsky: two line arrangements with the same intersection lattice but different minimal degrees of Jacobian relations,
\[
\operatorname{mdr}(g)=6,\qquad \operatorname{mdr}(g')=5.
\]
Geometrically, one realization has six triple points on a smooth conic, while the other does not [2606.20421].

A systematic low-degree analysis later showed that for arrangements of \(d<9\) lines, the intersection lattice determines the exponent data considered there, so no nontrivial Ziegler pairs occur in that range [2606.20421]. This produces a threshold phenomenon: rigidity for \(d\le 8\), non-rigidity beginning at \(d=9\).

Beyond that threshold, the phenomenon becomes abundant. The same paper lists six distinct Ziegler pairs with \(d=10\), including examples with identical \(\operatorname{mdr}\) and identical Hilbert functions but different minimal free resolutions. Its 11-line family is especially sharp: on an open set of a two-parameter family, the generic member has degree sequence
\[
(6,7,7,8),
\]
while a special member at
\[
p=\left(\frac{3}{10},\frac{2}{7}\right)
\]
has degree sequence
\[
(6,7,7,8,8).
\]
The two arrangements have the same intersection lattice, the same Tjurina number \(\tau=68\), the same Hilbert series, and the same \(\operatorname{mdr}(f)=6\), but different minimal graded free resolutions [2606.20421].

This progression from the original 9-line example to families with property (HF) and property (MDR) shows that combinatorial equivalence can fail to determine not only the first Jacobian syzygy but also higher syzygetic structure. A plausible implication is that the minimal resolution of the Jacobian algebra is strictly finer than the standard numerical invariants traditionally used in arrangement theory.

## 4. Weak combinatorics, Terao-type conjectures, and realization spaces

For conic-line arrangements with ordinary singularities, weak combinatorics is encoded by
\[
(d,k;t_2,t_3,t_4,\dots),
\]
where \(d\) is the number of lines, \(k\) the number of smooth conics, and \(t_j\) the number of \(j\)-fold intersection points [2403.16870]. In that setting, a weak Ziegler pair fixes this vector but allows \(\operatorname{mdr}\) to vary. A foundational example consists of two conic-line arrangements over \(\mathbb{Q}\) with weak combinatorics
\[
(d,k;t_2,t_3,t_4)=(6,1;6,3,2),
\]
both nearly free, but with
\[
\operatorname{mdr}(Q_1)=1,\qquad \operatorname{mdr}(Q_2)=2,
\]
and exponent triples
\[
(4,4,4)\quad\text{and}\quad(3,5,5).
\]
This is described as the first known weak Ziegler pair in that class and the first such example where both curves are nearly free [2403.16870].

The same tension appears in Terao-type questions. The Numerical Terao’s Conjecture asks whether weak combinatorics determines freeness under quasi-homogeneous hypotheses [2403.16870]. For line arrangements, a smallest known counterexample uses \(13\) lines: two arrangements with the same weak-combinatorics
\[
(13;16,6,4,2),
\]
one free with exponents \((6,6)\) and one plus-one generated with exponents \((5,8,8)\) [2407.07070].

Singular matroid realization spaces provide another mechanism for producing Ziegler phenomena. Using rank-3 matroids on 12 elements with singular realization spaces, one paper constructs a Ziegler pair of degree \(12\) line arrangements with weak-combinatorics
\[
(12;24,14),
\]
where the generic realization has \(\operatorname{mdr}=8\) and a realization on the singular locus has \(\operatorname{mdr}=7\). The same paper constructs a strong Ziegler pair with weak-combinatorics
\[
(12;21,9,3),
\]
where one arrangement is 5-syzygy with exponents \((7,7,8,8,8)\) and the other is 3-syzygy with exponents \((7,7,7)\) [2407.07070].

These examples show that weak combinatorics can fail already at the level of \(\operatorname{mdr}\), while full intersection-lattice data can fail at the level of the entire minimal resolution. They also indicate that singularities in realization spaces are a natural source of Ziegler behavior.

## 5. Cones, plane arrangements, and higher-dimensional proliferation

The passage from line arrangements in \(\mathbb{P}^2\) to plane arrangements in \(\mathbb{P}^3\) is governed by coning. If \(g\in\mathbb{C}[x,y,z]\) defines a reduced curve \(C:g=0\), the cone is the surface
\[
f=wg
\]
in \(\mathbb{P}^3\) [2604.25637]. Coning preserves combinatorics in the sense that line arrangements with isomorphic intersection lattices yield plane arrangements with isomorphic intersection lattices. It also interacts sharply with Jacobian algebras: for certain line Ziegler pairs satisfying \({\rm (SPEC)}\) and failing \({\rm (HF)}\), the corresponding plane arrangements have different Hilbert polynomials. In a central example, the two cones have
\[
P(M(f))(u)=51u-223,\qquad P(M(f'))(u)=51u-222.
\]
The same paper also gives a plane-arrangement Ziegler pair not arising as a cone, with Hilbert polynomials
\[
61u-307\quad\text{and}\quad 61u-308.
\]
It follows that for plane arrangements in \(\mathbb{P}^3\), the Hilbert polynomial \(P(M(f))\) is determined neither by the intersection lattice nor by the topology of the complement or Milnor fibration [2604.25637].

A parallel development concerns arbitrary dimension. Starting from a Ziegler pair in \(\mathbb{C}^3\), one can add a combinatorially generic hyperplane. If
\[
\exp(\mathcal A)=(1,a_2,\dots,a_n),
\]
then for \(\mathcal B=\mathcal A\cup\{H\}\) one has
\[
\exp(\mathcal B)=(1,a_2+1,\dots,a_n+1,|\mathcal A|-1)
\]
under the genericity hypothesis. This addition theorem implies that adding a generic hyperplane to both members of a Ziegler pair produces a new Ziegler pair. After combining this with successive coning, one obtains the first known families of Ziegler pairs in arbitrary dimension and size, including irreducible examples in dimensions \(>3\) [2509.19011].

The cumulative effect of these constructions is to transform Ziegler pairs from isolated low-dimensional anomalies into a stable mechanism for generating higher-dimensional counterexamples to naive combinatorial rigidity.

## 6. Conic-line arrangements, Zariski pairs, and strong Ziegler behavior

The relation between Zariski pairs and strong Ziegler pairs is especially visible for conic-line arrangements. A Zariski pair is a pair of reduced plane curves with the same combinatorics but different embedded topology, meaning that no homeomorphism of \(\mathbb{P}^2\) carries one curve to the other. A strong Ziegler pair requires the same combinatorics but non-isomorphic Milnor algebras, equivalently distinct graded modules \(\mathrm{AR}(B)\) of Jacobian syzygies [2509.08403].

A basic irreducible example is Zariski’s sextic pair: two sextics with six cusps, one with all six cusps on a conic and one without such a conic. Their complements have different fundamental groups,
\[
\pi_1(\mathbb{P}^2\setminus B_1,*)\cong \mathbb{Z}/2\mathbb{Z} * \mathbb{Z}/3\mathbb{Z},\qquad
\pi_1(\mathbb{P}^2\setminus B_2,*)\cong \mathbb{Z}/6\mathbb{Z},
\]
and their Milnor algebras have different minimal graded free resolutions, so the pair is simultaneously a Zariski pair and a strong Ziegler pair [2509.08403].

For degree \(7\) conic-line arrangements, the paper identifies four combinatorics—\(_{123}\), \(_{124}\), \(_{212}\), and \(_{224}\)—for which known Zariski pairs are also strong Ziegler pairs. By contrast, the degree \(7\) combinatorics \(_{223}\) yields Zariski pairs whose Milnor algebras all have the same computed minimal resolution
\[
0 \to S(-12) \to S(-10)^{\oplus 3} \to S(-6)^{\oplus 3} \to S(0),
\]
so the Zariski-pair property does not automatically imply strong Ziegler behavior [2509.08403].

In degree \(8\), the same paper studies a Zariski triple \((B_1,B_2,B_3)\) of conic-line arrangements, distinguished topologically by splitting type. The Milnor algebra of \(B_1\) has resolution
\[
0 \to S(-14) \to S(-12)^{\oplus 2}\oplus S(-11) \to S(-7)^{\oplus 3} \to S(0),
\]
whereas both \(B_2\) and \(B_3\) have
\[
0 \to S(-13)^{\oplus 3} \to S(-12)^{\oplus 5} \to S(-7)^{\oplus 3} \to S(0).
\]
Hence \((B_1,B_2)\) and \((B_1,B_3)\) are strong Ziegler pairs [2509.08403].

These examples clarify a common misconception. Zariski pairs and strong Ziegler pairs measure different failures of combinatorial rigidity—one topological, one homological—and overlap only in special families.

## 7. Adjacent uses around the Ziegler spectrum

Outside arrangement theory, pair constructions related to the Ziegler spectrum occur in a different sense. In the theory of torsion pairs for finite-dimensional algebras and artinian rings, pairs
\[
(Z,I),
\]
with \(Z\) a closed rigid subset of the Ziegler spectrum and \(I\) a set of indecomposable injectives, parametrize torsion pairs in \(\mathrm{mod}\,A\). The paper formalizes these as cosilting pairs and proves bijections between torsion pairs, cosilting torsion pairs, 2-term cosilting complexes, and such pairs \((Z,I)\) [2403.00475].

A second nearby development concerns generalized Ziegler spectra for enriched ringoids and schemes. There, one has left and right Ziegler spectra linked by an Auslander–Gruson–Jensen duality on coherent objects, and for a left coherent enriched ringoid there is a closed embedding
\[
\mathrm{Sp}\,\mathcal A \hookrightarrow \mathcal A\mathrm{Zg}
\]
from the injective spectrum into the Ziegler spectrum [2405.13457].

These constructions are mathematically adjacent to arrangement-theoretic Ziegler pairs but conceptually distinct. In arrangement theory, a Ziegler pair compares two combinatorially equivalent arrangements. In Ziegler-spectrum theory, the relevant pairings compare spectra, injectives, definable subcategories, or cosilting data. The shared name points to a common historical source, but the technical meanings belong to different branches of mathematics.

Source: https://www.emergentmind.com/topics/ziegler-pairs