---
title: Strong Ziegler Pair Phenomenon
url: https://www.emergentmind.com/topics/strong-ziegler-pair
type: topic
---

# Strong Ziegler Pair Phenomenon

A strong Ziegler pair is a pair of plane configurations in \(\PP^2\) that share the same combinatorial data but are distinguished by the homological structure of their Jacobian, or Milnor, algebras. In recent work, the term has been used for both reduced plane curves and line arrangements, with closely related but not identical emphases: Bannai–Tokunaga use it for reduced curves with identical combinatorics and non-isomorphic graded Milnor algebras; Kühle–Luber–Pokora use it for line arrangements with the same matroid but different full minimal graded free resolutions; and Dimca–Pokora reserve “strong” for the especially rigid situation in which the intersection lattice, Hilbert function, and minimal degree of a Jacobian relation all agree, while higher Betti data still differ [2509.08403] [2407.07070] [2606.20421].

## 1. Terminological scope and basic definitions

For a reduced plane curve \(B \subset \PP^2\) defined by a homogeneous polynomial \(f \in S=\C[x,y,z]\), the Jacobian ideal is
\[
J_f=\langle f_x,f_y,f_z\rangle,
\]
and the Milnor algebra is
\[
M(f)=S/J_f.
\]
This algebra, together with its graded syzygies and minimal free resolution, is the central invariant in the theory [2509.08403].

A Zariski pair of reduced curves \(B_1,B_2 \subset \PP^2\) is defined by two conditions: they have the same combinatorics, meaning the same incidence data among components and singularities, but there is no homeomorphism \(h\colon (\PP^2,B_1)\simeq (\PP^2,B_2)\). In Bannai–Tokunaga’s formulation, \((B_1,B_2)\) is a strong Ziegler pair if the curves share identical combinatorics but the graded \(S\)-modules \(M(f_{B_1})\) and \(M(f_{B_2})\) are not isomorphic [2509.08403].

For line arrangements \(\mathcal A\subset \PP^2_\C\), the combinatorics are usually encoded by the intersection lattice \(L(\mathcal A)\), equivalently the rank-\(3\) matroid \(M(\mathcal A)\). In the 2024 line-arrangement exposition, a Ziegler pair is a pair of arrangements with isomorphic intersection lattices but different \(\mdr(f)\), while a strong Ziegler pair requires that the entire minimal graded free resolutions of the Milnor algebras differ [2407.07070]. In the 2026 terminology, a Ziegler pair is already defined by differing graded Betti numbers of \(M(f)\), and “strong” means that two further conditions hold: (HF), equality of Hilbert functions, and (MDR), equality of \(\mdr\) [2606.20421].

| Source | Ambient objects | Criterion called “strong Ziegler pair” |
|---|---|---|
| [2509.08403] | Reduced plane curves | Same combinatorics, non-isomorphic graded Milnor algebras |
| [2407.07070] | Line arrangements | Same matroid, different full minimal graded free resolutions |
| [2606.20421] | Line arrangements | A Ziegler pair satisfying (HF) and (MDR) |

A plausible synthesis is that all three usages isolate the same underlying phenomenon: combinatorics alone does not determine the full Jacobian-syzygy package, but the exact threshold for calling the phenomenon “strong” varies across the literature.

## 2. Milnor algebras, syzygies, and homological detection

The relevant homological object is the module of Jacobian syzygies. For reduced curves in Bannai–Tokunaga’s setup,
\[
\AR(B_i)\cong \ker\bigl(S^3\xrightarrow{\;(f_x,f_y,f_z)\;}J_{B_i}\bigr).
\]
Two reduced curves form a strong Ziegler pair precisely when they admit the same intersection graph and the same singularity-type data on each stratum, but the graded syzygy modules \(\AR(B_i)\) differ; equivalently, the minimal free resolutions of \(M(f_{B_i})=S/J_{B_i}\) are not term-by-term equal [2509.08403].

For line arrangements, the same philosophy is expressed in the language of exponents and minimal graded free resolutions. If \(\mathcal L=\{\ell_1,\dots,\ell_d\}\subset \PP^2_\C\) and \(f=Q_{\mathcal L}=\prod_{i=1}^d \ell_i(x,y,z)\), then \(M(f)=S/J_f\) is naturally graded, and one studies the degrees of the minimal homogeneous generators of \(AR(f)=D_0(f)\). The smallest such degree is
\[
\mdr(f):=e_1=\operatorname{indeg} AR(f).
\]
A free arrangement is \(2\)-syzygy, and more generally the Betti table of the minimal resolution records the full syzygetic complexity of \(M(f)\) [2407.07070].

This homological viewpoint leads to a practical test. In Bannai–Tokunaga’s conic–line examples, the curves are constructed so that each pair has identical combinatorics, and then the minimal graded resolutions of
\[
M(f_{B_i})=S/\langle \partial f_{B_i}\rangle
\]
are computed explicitly, for instance with `graded_free_resolution` in Sage. Whenever the two resolutions differ in the number or shifts of summands \(S(-d)\), the Milnor algebras cannot be isomorphic, and the pair is strong Ziegler [2509.08403].

The 2026 line-arrangement work sharpens this by distinguishing several levels of coincidence. Conditions (HF) and (MDR) isolate cases where the Hilbert function and the first Jacobian-syzygy degree are fixed, so that only higher Betti numbers change. In that sense, the “strong” condition of [2606.20421] is a refinement inside the already homological notion of Ziegler pair [2606.20421].

## 3. Conic–line arrangements in degrees \(7\) and \(8\)

The paper "Examples of strong Ziegler pairs of conic-line arrangements of degree 7 and 8" exhibits several Zariski pairs of reduced plane curves that are also strong Ziegler pairs, all among conic–line arrangements [2509.08403].

In degree \(7\), four combinatorial types are treated. For combinatorics \(_{123}\), the arrangement consists of two smooth conics \(C,D\) and three lines \(L_1,L_2,M\), with the specified incidence conditions that \(C\) meets \(L_1,L_2\) transversely, \(D\) is tangent to \(C\) once and tangent to \(L_2\), \(D\pitchfork M\), and \(M\) is tangent to \(C\) and passes through \(L_1\cap L_2\). With
\[
C:\;-x^2+y z=0,\qquad
L_1:\;3x+y+2z=0,\qquad
L_2:\;-3x+y+2z=0,
\]
\[
D:\;(12b-18)x^2+(-36b+51)x z+y z+(24b-34)z^2=0,
\]
\[
M_1:\;2b\,x+y+2z=0,\qquad
M_2:\;-2b\,x+y+2z=0,
\]
where \(b=\sqrt2\), one obtains
\[
B_{1,1}=C+L_1+L_2+D+M_1,\qquad
B_{1,2}=C+L_1+L_2+D+M_2.
\]
Their minimal Milnor-algebra resolutions are
\[
0\to S(-12)\to S(-9)\oplus S(-10)\oplus S(-11)\to S(-6)^3\to S\to 0
\]
for \(B_{1,1}\), and
\[
0\to S(-11)^2\to S(-10)^4\to S(-6)^3\to S\to 0
\]
for \(B_{1,2}\). Since the graded resolutions differ, \((B_{1,1},B_{1,2})\) is a strong Ziegler pair [2509.08403].

For combinatorics \(_{124}\), one keeps the same support \(C,L_1,L_2\), but \(D\) is tangent to \(C\) at two points and meets each of \(L_1,L_2\) outside \(C\), while \(M\) passes through one point on \(L_1\cap C\) and one on \(L_2\cap C\). Taking
\[
D:\;-\tfrac98 x^2+y z=0,\qquad M_1:-x+y-2z=0,\qquad M_2:y-z=0,
\]
and setting \(B_{2,1}=C+L_1+L_2+D+M_1\), \(B_{2,2}=C+L_1+L_2+D+M_2\), one gets the same two resolution shapes as above, hence another strong Ziegler pair [2509.08403].

The combinatorics \(_{212}\) case involves two transversal conics \(C_1,C_2\) and three lines \(M_0,M_1,M_2\), with \(M_1,M_2\) bitangent. The resulting Zariski pair \((B_{3,1},B_{3,2})\) again has Milnor resolutions of the same two types just displayed, and is therefore strong Ziegler. For combinatorics \(_{224}\), with three conics \(C_1,C_2,D\) and one line \(M\) of type “inscribed conic plus tangent line,” the specific choices
\[
C_1:-x^2+y z+2z^2=0,\qquad C_2:x^2+y^2-2y z-4z^2=0,
\]
\[
D:-\tfrac12x^2+y z+2z^2=0,\qquad
M_1:-x+y=0,\qquad M_2:-3x+y+4z=0
\]
yield \(B_{5,1}=C_1+C_2+D+M_1\) and \(B_{5,2}=C_1+C_2+D+M_2\); here the Milnor algebra resolutions differ in the shifts of the last syzygies, again proving the strong Ziegler property [2509.08403].

Degree \(8\) is obtained by starting from degree \(7\) combinatorics \(_{223}\) and adding a second bitangent line. For \(1\le i<j\le 4\),
\[
B_{i,j}=C_1+C_2+D+M_i+M_j
\]
has degree \(8\), and all such arrangements share the same incidence pattern: seven nodes, six tacnodes, and two ordinary triple points. A splitting-type invariant shows that \(\{B_{1,2},B_{1,3},B_{3,4}\}\) is a Zariski triple. Their Milnor-algebra resolutions are
\[
0\to S(-14)\to S(-12)^2\oplus S(-11)\to S(-7)^3\to S\to 0
\]
for \(B_{1,2}\), and
\[
0\to S(-13)^3\to S(-12)^5\to S(-7)^3\to S\to 0
\]
for \(B_{1,3}\) and \(B_{3,4}\). Hence \((B_{1,2},B_{1,3})\) and \((B_{1,2},B_{3,4})\) are strong Ziegler pairs [2509.08403].

## 4. Line arrangements, realization spaces, and the \(12\)-line constructions

For line arrangements, the classical Ziegler phenomenon is formulated in terms of the intersection lattice or underlying matroid. The 2024 paper "On the numerical Terao's conjecture and Ziegler pairs for line arrangements" first distinguishes this from failures of the Numerical Terao Conjecture. Its \(13\)-line examples \(\mathcal A\) and \(\mathcal B\) share the same weak-combinatorics \((13;16,6,4,2)\), but their intersection lattices differ, so they do not form a Ziegler pair, even though \(\mathcal A\) is free with exponents \((6,6)\) and \(\mathcal B\) is plus-one-generated with \(\mdr(\mathcal B)=5\neq 6=\mdr(\mathcal A)\) [2407.07070].

The genuine line-arrangement examples arise from singular matroid realization spaces. If \(M\) is a rank-\(3\) matroid realizable over \(\C\), its realization space
\[
\mathcal R(M)=\{\text{line arrangements in }\PP^2_\C\text{ realizing }M\}/\PGL(3,\C)
\]
is an affine scheme, and Mnëv’s universality implies that every singularity type appears in some \(\mathcal R(M)\). The 2024 paper records that the smallest ground-set size admitting a truly singular realization space is \(n=12\), and exploits two explicit \((3,12)\)-matroids to produce Ziegler phenomena [2407.07070].

For the first matroid \(M_1\),
\[
\mathcal R(M_1)\cong \operatorname{Spec}\frac{\C[x^{\pm},y^{\pm},z^{\pm}]}{\langle (xy+xz-x-y-z^2+1)(x-y-z)\rangle}
\]
up to inverting a finite set of factors. Thus \(\mathcal R(M_1)\) has two irreducible components
\[
C_1:\;xy+xz-x-y-z^2+1=0,\qquad C_2:\;x-y-z=0,
\]
meeting along the smooth conic singular locus \(C_1\cap C_2\). Sampling realizations on \(C_1\), \(C_2\), and on \(C_1\cap C_2\) yields different Milnor resolutions. On each of \(C_1\) and \(C_2\),
\[
0\to S^2(-21)\oplus S(-20)\to S^5(-19)\to S^3(-11)\to S,
\]
with exponents \((8,8,8,8,8)\), while on the singular locus,
\[
0\to S^3(-21)\to S^2(-20)\oplus S^2(-19)\oplus S(-18)\to S^3(-11)\to S,
\]
with exponents \((7,8,8,9,9)\). Any two arrangements sampled on distinct irreducible components share the same lattice but have \(\mdr=7\) versus \(8\), hence form a classical Ziegler pair [2407.07070].

For the second matroid \(M_2\),
\[
\mathcal R(M_2)\cong \operatorname{Spec}\frac{\C[x^{\pm1},y^{\pm1}]}{\langle (x-\tfrac{1\pm i\sqrt3}2)(xy+x-y+1)\rangle},
\]
so the realization space has two one-dimensional components plus their finite intersection. On the general component \(xy+x-y+1=0\), excluding the two special points, the Milnor algebra has resolution
\[
0\to S^3(-20)\to S^3(-19)\oplus S^2(-18)\to S^3(-11)\to S,
\]
with exponents \((7,7,8,8,8)\), whereas at the special points \(x=\tfrac{1\pm i\sqrt3}2\),
\[
0\to S(-20)\to S^3(-18)\to S^3(-11)\to S,
\]
with exponents \((7,7,7)\). Because all these realizations have the same matroid but the full Betti table jumps, they form a strong Ziegler pair in the 2024 sense [2407.07070].

## 5. Degree bounds, \(10\)-line strong pairs, and higher-degree families

The 2026 paper "On Ziegler pairs of line arrangements: from non-existence to abundance" reorganizes the subject around numerical and homological invariants of line arrangements. It proves that for arrangements of \(d<9\) lines, the combinatorics already determine the exponent data considered there, so no Ziegler pair exists for \(d<9\) [2606.20421].

The key numerical input is Theorem 2.3, together with classical bounds. If an arrangement has \(d\) lines and maximal multiplicity \(m\), then
\[
\dim AR(f)_{d-m}\ge n_m,
\]
where \(n_m\) is the number of points of maximal multiplicity \(m\). If \(n_m\le 3\), then \(\mdr(f)=d-m\) exactly; more generally, if \(\dim AR(f)_{d-m}\le \binom{k+2}{2}\), then \(\mdr\ge d-m-k\). By case-by-case analysis for \(6\le d\le 8\), the paper concludes that no ordinary or strong Ziegler pair occurs below \(d=9\) [2606.20421].

At \(d=10\), the situation changes. The paper lists six distinct Ziegler pairs with \(10\) lines known to date, but only one of them is strong in its stricter sense, namely the deletion example from an \(11\)-line family. For the generic \(10\)-line deletion \(\mathcal A_{\mathrm{gen}}\) and the special one \(\mathcal A_{\mathrm{sp}}\) at \(p=(3/10,2/7)\), both arrangements have \(\mdr=6\), both have the same Hilbert function, and both have Hilbert-series numerator
\[
1-3t^{10}+t^{16}+2t^{17}+t^{18}-2t^{19}.
\]
Their \(AR\)-degree sequences are
\[
(6,6,6,7)\qquad\text{versus}\qquad (6,6,6,7,7),
\]
and the minimal free resolutions of \(M(f)\) are
\[
0\to S(-19)^2\to S(-16)\oplus S(-17)^2\oplus S(-18)\to S(-10)^3\to S\to M(f)\to 0
\]
for \(\mathcal A_{\mathrm{gen}}\), and
\[
0\to S(-18)\oplus S(-19)^2\to S(-16)\oplus S(-17)^2\oplus S(-18)^2\to S(-10)^3\to S\to M(f)\to 0
\]
for \(\mathcal A_{\mathrm{sp}}\). The additional second syzygy in degree \(18\) changes the Betti table without changing either \(\mdr\) or the Hilbert function; this is the prototypical strong Ziegler pair in the 2026 terminology [2606.20421].

The same paper also gives a negative example of a nearby but weaker phenomenon. In the \(T_{10}\) orchard family, \(Q_3\) and \(Q_{\sqrt5+3}\) share \((n_2,n_3)=(9,12)\) and \(r=5\), and their \(AR\)-modules have different minimal free resolutions, but the pair fails (HF), since the Hilbert function already changes when the extra generator in degree \(7\) appears. Likewise, the triple-point extension of Ziegler’s \(9\)-line pair satisfies (MDR) but not (HF) [2606.20421].

Beyond \(d=10\), the 2026 paper constructs an \(11\)-line family \(\mathcal A_{a,b}\) on a nonvanishing locus \(\Delta(a,b)\neq 0\). For a general point \((a,b)\) in the allowed region \(R\), the degree sequence of \(AR(f_{a,b})\) is \((6,7,7,8)\), while at the special point \(p=(3/10,2/7)\) a rank drop in the multiplication map \(\mu_7:S_1\otimes AR(f)_7\to AR(f)_8\) changes the degree sequence to \((6,7,7,8,8)\). Since both arrangements retain the same \(\mdr=6\) and the same Hilbert function, deleting a suitable line yields an infinite one-parameter family of \(10\)-line strong Ziegler pairs, and in fact infinitely many non-isomorphic strong Ziegler pairs in arbitrary large degree [2606.20421].

## 6. Conceptual significance, exceptions, and open directions

The strong Ziegler-pair phenomenon establishes that Jacobian-syzygy data can distinguish configurations that combinatorics alone cannot separate. In the conic–line setting, the paper emphasizes that the subtle difference in the syzygy structure of the Jacobian ideal, as read off from the graded free resolution of \(M(f)\), captures a finer invariant than just the embedded topology and yields a natural algebraic measure of “Zariski-type” inequivalence [2509.08403].

One immediate consequence is that the relation between Zariski pairs and strong Ziegler pairs is nontrivial. Bannai–Tokunaga show that some examples of Zariski pairs are also strong Ziegler pairs, and state more broadly that all the classical Zariski pairs considered, including Zariski’s original sextic-cusp pair, turn out also to be strong Ziegler pairs. At the same time, there is an explicit exception in degree \(7\): the \(_{223}\) configuration with a single bitangent line is a Zariski pair whose Milnor resolutions coincide, so it is not strong. Adding a second bitangent line restores the strong Ziegler property in degree \(8\) [2509.08403].

For line arrangements, the principal misconception to avoid is that equal combinatorics should force equal homological data. The 2024 and 2026 papers show the contrary in progressively sharper forms. In 2024, singular realization spaces of \(12\)-point matroids produced the first strong line-arrangement examples in that framework [2407.07070]. In 2026, the threshold for line-arrangement strong pairs, in the stricter (HF)+(MDR) sense, is pushed down to \(10\) lines, while non-existence below \(9\) lines is proved [2606.20421].

The current research directions are also explicit. Bannai–Tokunaga suggest that Zariski tuples of conic–line arrangements are promising sources of strong Ziegler pairs and pose the broader problem of classifying all combinatorial types that admit non-isomorphic Milnor algebras [2509.08403]. The line-arrangement literature, by contrast, frames the subject as an abundance problem: once the small-\(d\) obstruction disappears and one can engineer a rank drop in the relevant multiplication map, strong pairs can be produced systematically in families [2606.20421].

Taken together, these developments place strong Ziegler pairs at the intersection of singularity theory, arrangement theory, homological algebra, and the geometry of moduli. The common theme is that the full minimal free resolution of \(M(f)\), or even the weaker datum of its higher Betti profile, can vary inside a fixed combinatorial type. That conclusion is now established for both conic–line arrangements and line arrangements, albeit with distinct terminological conventions and different thresholds for the first known examples [2509.08403] [2407.07070] [2606.20421].

Source: https://www.emergentmind.com/topics/strong-ziegler-pair