pith. sign in

arxiv: 2307.08173 · v3 · pith:YSU7KN5Enew · submitted 2023-07-16 · 🧮 math.CO · math.AC

On Ziegler's conjectures for logarithmic derivations of arrangements

Takuro Abe , Graham Denham This is my paper

Pith reviewed 2026-05-24 07:25 UTC · model grok-4.3

classification 🧮 math.CO math.AC
keywords hyperplane arrangementslogarithmic derivationsfree arrangementsZiegler's conjecturesgeneric cutsdifferential forms
0
0 comments X

The pith

Ziegler's conjecture on generic cuts of free arrangements holds, while the one on minimal degree generators for logarithmic forms does not.

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

This paper resolves two conjectures posed by Ziegler in 1989 about the commutative algebra of hyperplane arrangements. It proves that generic cuts of free arrangements are themselves free. It provides a counterexample showing that the minimal degree generators of the logarithmic differential forms are not always given by the arrangement's degrees as conjectured. These results use recent developments to address long-standing questions on the structure of free arrangements and their associated modules.

Core claim

We prove the first of Ziegler's conjectures, that generic cuts of free arrangements are free. We disprove the second, that the minimal degree generators for the logarithmic differential forms are determined by the degrees of the arrangement. We also give positive answers to some related problems posed by Ziegler.

What carries the argument

The module of logarithmic derivations (or equivalently differential forms) of a hyperplane arrangement and the property of freeness of this module.

If this is right

  • Generic cuts preserve the freeness property for arrangements that are free.
  • The minimal degree of generators for logarithmic forms can deviate from the conjectured pattern in certain free arrangements.
  • Some additional problems on the logarithmic modules have affirmative resolutions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The counterexample suggests that the algebraic structure of logarithmic forms requires more than just degree information to describe fully.
  • Techniques from recent arrangement theory may apply to other open questions about freeness.
  • Considering generic cuts could be a useful operation in studying the classification of free arrangements.

Load-bearing premise

That the notions of freeness and logarithmic modules from arrangement theory apply in the way needed to the specific formulations of the 1989 conjectures.

What would settle it

An explicit example of a free hyperplane arrangement whose generic cut is not free would show the proved conjecture to be false.

read the original abstract

In his paper and thesis in 1989, Ziegler posed several conjectures regarding commutative algebra related to hyperplane arrangements. In this article, we revisit two of them. One is on generic cuts of free arrangements, and the other has to do with minimal degree generators for the logarithmic differential forms. We prove the first one, and disprove the second one. We also give some positive answers to related problems he posed, using recent developments in arrangement theory.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript revisits two 1989 conjectures of Ziegler on commutative-algebraic aspects of hyperplane arrangements. It proves the conjecture asserting that generic cuts of free arrangements remain free, and disproves the conjecture on the minimal degree of generators of the module of logarithmic differential forms. Positive results are also given for several related questions posed by Ziegler, all obtained by reductions to recent results on freeness, derivations, and multiarrangements.

Significance. If the reductions and counterexample are valid, the work settles two long-standing questions in arrangement theory and supplies additional positive answers to related problems. Resolving these conjectures clarifies the behavior of logarithmic modules under restriction and deletion, which bears on freeness criteria and the structure of derivation modules; the explicit use of recent technical advances in the field is a strength.

minor comments (3)
  1. [§1] §1: the precise statements of the two Ziegler conjectures are given only in prose; adding the original formulations as displayed equations (with page references to Ziegler’s thesis) would improve readability and allow immediate comparison with the results proved or disproved later.
  2. [§4] §4 (counterexample): the defining polynomial or the list of hyperplanes for the counterexample arrangement is not displayed; an explicit equation or table would make the verification of the claimed minimal degree immediate.
  3. Notation for the module of logarithmic 1-forms (D(𝒜) versus Ω¹(𝒜)) is used interchangeably in several places; a single consistent symbol and a short reminder of the duality would remove ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No specific major comments appear in the report, so there are no points requiring point-by-point response or changes at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external recent results

full rationale

The paper states it proves one Ziegler conjecture on generic cuts of free arrangements and disproves the other on minimal degree generators for logarithmic forms, using recent developments in arrangement theory. No equations, definitions, or self-citations are quoted that reduce a claimed prediction or uniqueness result to a fitted input or prior self-work by construction. The abstract explicitly positions the proofs as applications of external lemmas rather than internal redefinitions or renamings. This matches the default case of a self-contained argument against external benchmarks, warranting score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work rests on standard background from arrangement theory and recent external results.

pith-pipeline@v0.9.0 · 5589 in / 1009 out tokens · 19528 ms · 2026-05-24T07:25:09.157578+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Abe, Roots of characteristic polynomials and and intersection points of line arrangements

    T. Abe, Roots of characteristic polynomials and and intersection points of line arrangements. J. Singularities , 8 (2014), 100–117. 2.9

    work page 2014

  2. [2]

    Abe, Divisionally free arrangements of hyperplanes

    T. Abe, Divisionally free arrangements of hyperplanes. Invent. Math. 204 (2016), no. 1, 317–346. 1

    work page 2016

  3. [3]

    Abe, Deletion theorem and combinatorics of hyperplane arran gements

    T. Abe, Deletion theorem and combinatorics of hyperplane arran gements. Math. Ann. 373 (2019), issue 1–2, 581–595. 1

    work page 2019

  4. [4]

    Abe, Plus-one generated and next to free arrangements of hyperplanes

    T. Abe, Plus-one generated and next to free arrangements of hyperplanes. Int. Math. Res. Not. 2021, no. 12, 9233-–9261. 1, 2.5, 4

    work page 2021

  5. [5]

    Abe, Addition-deletion theorem for free hyperplane arrange ments and combina- torics

    T. Abe, Addition-deletion theorem for free hyperplane arrange ments and combina- torics. J. Algebra 610 (2022), 1–17. 1

    work page 2022

  6. [6]

    Abe, Projective dimensions of hyperplane arrangements

    T. Abe, Projective dimensions of hyperplane arrangements. ar Xiv:2009.04101 (2020). 2.3

    work page arXiv 2009

  7. [7]

    Abe, Generalization of the addition and restriction theorems f rom free arrange- ments to the class of projective dimension one

    T. Abe, Generalization of the addition and restriction theorems f rom free arrange- ments to the class of projective dimension one. arXiv:2206.15059 (2 022)

    work page arXiv

  8. [8]

    T. Abe, M. Cuntz, H. Kawanoue and T. Nozawa, Non-recursive f reeness and non- rigidity of plane arrangements. Discrete Math . 339 (2016), no. 5, 1430—1449. 2

    work page 2016

  9. [9]

    Deletion-Restriction for Logarithmic Forms on Multiarrangements

    T. Abe and G. Denham, Deletion–restriction for logarithmic forms on multiarrange- ments, arXiv:2203.04816 (2022). 1, 2, 2.4, 2.5, 2.6, 2.7, 2.8, 2, 2.11

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  10. [10]

    T. Abe, H. Terao and M. Wakefield, The Euler multiplicity and additio n-deletion theorems for multiarrangements. J. London Math. Soc ., 77 (2008), no. 2, 335–348

    work page 2008

  11. [11]

    Bath, Hyperplane arrangements satisfy (un)twisted logar ithmic comparison the- orems, applications to DX -modules, arXiv:2202.01462

    D. Bath, Hyperplane arrangements satisfy (un)twisted logar ithmic comparison the- orems, applications to DX -modules, arXiv:2202.01462. 1, 3

    work page arXiv

  12. [12]

    150, Springer-Verlag, New York, 1995, With a view toward algebraic geom etry

    David Eisenbud, Commutative algebra , Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995, With a view toward algebraic geom etry. 3

    work page 1995

  13. [13]

    D. R. Grayson and M. E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay 2/. 3.10

    work page

  14. [14]

    Orlik and H

    P. Orlik and H. Terao, Arrangements of hyperplanes . Grundlehren der Mathema- tischen Wissenschaften, 300. Springer-Verlag, Berlin, 1992. 1, 4, 1 13

    work page 1992

  15. [15]

    Saito, Theory of logarithmic differential forms and logarithmic vector fields

    K. Saito, Theory of logarithmic differential forms and logarithmic vector fields. J. Fac. Sci. Univ. Tokyo 27 (1980), 265–291. 1, 4

    work page 1980

  16. [16]

    Terao, Arrangements of hyperplanes and their freeness I , II

    H. Terao, Arrangements of hyperplanes and their freeness I , II. J. Fac. Sci. Univ. Tokyo 27 (1980), 293–320. 1, 2.2

    work page 1980

  17. [17]

    Yoshinaga, Characterization of a free arrangement and co njecture of Edelman and Reiner

    M. Yoshinaga, Characterization of a free arrangement and co njecture of Edelman and Reiner. Invent. Math. 157 (2004), no. 2, 449–454. 1

    work page 2004

  18. [18]

    G. M. Ziegler, Multiarrangements of hyperplanes and their free ness. Singularities (Iowa City, IA, 1986), 345–359, Contemp. Math., 90, Amer. Math. Soc., Providence, RI, 1989. 1

    work page 1986

  19. [19]

    G. M. Ziegler, Combinatorial construction of logarithmic differen tial forms. Adv. Math. 76 (1989), 116–154. 1, 1.2, 1, 1.3, 1.5, 2, 4 14

    work page 1989