pith. sign in

arxiv: 2203.04816 · v3 · pith:HRGNLPYNnew · submitted 2022-03-09 · 🧮 math.CO · math.AC

Deletion-Restriction for Logarithmic Forms on Multiarrangements

Takuro Abe , Graham Denham This is my paper

Pith reviewed 2026-05-24 12:14 UTC · model grok-4.3

classification 🧮 math.CO math.AC
keywords hyperplane arrangementslogarithmic formsmultiarrangementsfreenessdeletion-restrictionplus-one generatedderivations
0
0 comments X

The pith

If an arrangement is free, then adding any hyperplane produces one with the dual strongly plus-one generated property.

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

The paper studies the restriction and deletion maps on modules of logarithmic differential forms and derivations for hyperplane arrangements and multiarrangements. It proves that freeness of an arrangement implies the dual strongly plus-one generated property for every arrangement formed by adding one more hyperplane. This implication yields a fresh proof that certain hyperplane additions to free arrangements remain free. The analysis also prepares the ground for settling two open conjectures on the same operations. A reader would care because the result clarifies algebraic criteria that control when an arrangement stays free under enlargement.

Core claim

If an arrangement is free, then any arrangement obtained by adding a hyperplane has the dual strongly plus-one generated property. The paper measures the failure of surjectivity for the restriction map on logarithmic forms by commutative-algebra invariants and shows that the dual map on logarithmic vector fields behaves similarly yet inequivalently, extending the deletion-restriction framework to multiarrangements.

What carries the argument

The dual strongly plus-one generated property, which encodes the precise failure of surjectivity for the restriction map on logarithmic vector fields when a hyperplane is added.

If this is right

  • Gives a second proof of the characterization of freeness-preserving hyperplane additions.
  • Shows that restriction of logarithmic forms can fail to be surjective, with the failure recorded by explicit commutative-algebra data.
  • Establishes that the dual restriction map on vector fields is similar but not equivalent to the map on forms.
  • Supplies the algebraic setup needed to resolve two conjectures on deletion-restriction for logarithmic forms.

Where Pith is reading between the lines

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

  • The property could be used to build larger free arrangements inductively from known free ones by checking the dual plus-one condition at each step.
  • The same deletion-restriction analysis may apply directly to multiarrangements with repeated hyperplanes, yielding freeness criteria in weighted settings.
  • Concrete low-dimensional examples such as near-pencil arrangements or graphic arrangements could be checked by hand to verify the new property holds exactly when expected.

Load-bearing premise

The standard definitions and basic properties of freeness, logarithmic derivation modules, and deletion-restriction operations that were already known from prior work on arrangements.

What would settle it

An explicit free arrangement A together with a hyperplane H such that the enlarged arrangement A union H fails to be dual strongly plus-one generated.

read the original abstract

We consider the behaviour of logarithmic differential forms on arrangements and multiarrangements of hyperplanes under the operations of deletion and restriction, extending early work of G\"unter Ziegler. The restriction of logarithmic forms to a hyperplane may or may not be surjective, and we measure the failure of surjectivity in terms of commutative algebra of logarithmic forms and derivations. We find that the dual notion of restriction of logarithmic vector fields behaves similarly but inequivalently. A main result is that, if an arrangement is free, then any arrangement obtained by adding a hyperplane has the "dual strongly plus-one generated" property. One application is another proof of a main result of a paper by the first author characterizing when adding a hyperplane to a free arrangement remains free. A further application is to resolve two conjectures due to Ziegler, which we defer to a sequel.

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 paper extends Ziegler's deletion-restriction formalism to logarithmic forms and derivations on multiarrangements. It quantifies the failure of surjectivity under restriction in terms of commutative algebra and shows that the dual restriction for logarithmic vector fields behaves similarly but not identically. The central theorem states that if an arrangement is free then the arrangement obtained by adding any hyperplane is dual strongly plus-one generated. Applications include a new proof of a characterization (due to the first author) of when adding a hyperplane to a free arrangement preserves freeness, together with resolutions of two Ziegler conjectures that are deferred to a sequel.

Significance. If the main result holds, the work supplies a useful bridge between freeness and the dual strongly plus-one generated property, furnishing an alternative route to known freeness criteria and opening a path to the resolution of Ziegler's conjectures. The explicit comparison of the form and derivation sides of the deletion-restriction picture is a concrete advance within the standard commutative-algebra toolkit for arrangements.

minor comments (3)
  1. §2: the notation for the module of logarithmic derivations D(A) and its dual is introduced without an explicit comparison table to the corresponding objects in Ziegler's 1989 paper; adding such a table would clarify the precise extension being made.
  2. Theorem 4.3: the statement that the added hyperplane yields the dual strongly plus-one generated property is proved by induction on the number of hyperplanes, but the base case (empty arrangement) is only sketched; a one-line verification would strengthen readability.
  3. The application in §5 that recovers the first author's earlier freeness criterion is presented as a corollary, yet the precise invocation of the main theorem is not numbered; labeling it as Corollary 5.2 would make the logical dependence transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript. The report recommends minor revision but lists no specific major comments. Accordingly, we provide no point-by-point responses below and make no changes to the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper extends Ziegler's deletion-restriction formalism for logarithmic forms and derivations on multiarrangements using standard commutative algebra definitions and properties invoked throughout. The central result (free arrangement implies dual strongly plus-one generated property after adding a hyperplane) is derived directly from these operations without reducing to any fitted parameter, self-definition, or load-bearing self-citation. The single reference to prior work by the first author occurs only as an application providing an alternative proof and does not support the main derivation, which remains independent and externally grounded.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions from arrangement theory and commutative algebra; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Standard definitions and basic properties of logarithmic derivations, forms, freeness, and deletion-restriction operations on hyperplane arrangements as in Ziegler's prior work.
    The abstract explicitly extends early work of Ziegler and measures surjectivity failure in terms of commutative algebra of forms and derivations.

pith-pipeline@v0.9.0 · 5670 in / 1136 out tokens · 27929 ms · 2026-05-24T12:14:14.070507+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. On Ziegler's conjectures for logarithmic derivations of arrangements

    math.CO 2023-07 unverdicted novelty 7.0

    Authors prove Ziegler's conjecture on generic cuts of free arrangements, disprove the one on minimal degree generators of logarithmic forms, and give positive answers to related problems.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [1]

    A generalized logarithmic module and dualit y of coxeter multiarrangements, 2008

    Takuro Abe. A generalized logarithmic module and dualit y of coxeter multiarrangements, 2008

    work page 2008

  2. [2]

    Roots of characteristic polynomials and int ersection points of line arrangements

    Takuro Abe. Roots of characteristic polynomials and int ersection points of line arrangements. J. Singul., 8:100–116, 2014

    work page 2014

  3. [3]

    Divisionally free arrangements of hyperpla nes

    Takuro Abe. Divisionally free arrangements of hyperpla nes. Invent. Math. , 204(1):317–346, 2016

    work page 2016

  4. [4]

    Addition-deletion theorem for free hyperpl ane arrangements and combinatorics, 2018

    Takuro Abe. Addition-deletion theorem for free hyperpl ane arrangements and combinatorics, 2018

    work page 2018

  5. [5]

    Deletion theorem and combinatorics of hyper plane arrangements

    Takuro Abe. Deletion theorem and combinatorics of hyper plane arrangements. Math. Ann., 373(1- 2):581–595, 2019

    work page 2019

  6. [6]

    Plus-one generated and next to free arrangem ents of hyperplanes

    Takuro Abe. Plus-one generated and next to free arrangem ents of hyperplanes. Int. Math. Res. Not. IMRN , 2021(12):9233–9261, 2021

    work page 2021

  7. [7]

    Projective dimensions of hyperplane arrang ements, 2021

    Takuro Abe. Projective dimensions of hyperplane arrang ements, 2021

    work page 2021

  8. [8]

    On Ziegler’s conjectures f or logarithmic derivations of ar- rangements, 2023

    Takuro Abe and Graham Denham. On Ziegler’s conjectures f or logarithmic derivations of ar- rangements, 2023

    work page 2023

  9. [9]

    A Hodge filtration of logarithmic vector fields for well-generated complex reflec tion groups, 2018

    Takuro Abe, Gerhard R¨ ohrle, Christian Stump, and Masah iko Yoshinaga. A Hodge filtration of logarithmic vector fields for well-generated complex reflec tion groups, 2018

    work page 2018

  10. [10]

    A primitive derivation an d logarithmic differential forms of Cox- eter arrangements

    Takuro Abe and Hiroaki Terao. A primitive derivation an d logarithmic differential forms of Cox- eter arrangements. Math. Z. , 264(4):813–828, 2010

    work page 2010

  11. [11]

    The charac teristic polynomial of a multiarrange- ment

    Takuro Abe, Hiroaki Terao, and Max Wakefield. The charac teristic polynomial of a multiarrange- ment. Adv. Math. , 215(2):825–838, 2007

    work page 2007

  12. [12]

    The Euler m ultiplicity and addition-deletion theorems for multiarrangements

    Takuro Abe, Hiroaki Terao, and Max Wakefield. The Euler m ultiplicity and addition-deletion theorems for multiarrangements. J. Lond. Math. Soc. (2) , 77(2):335–348, 2008

    work page 2008

  13. [13]

    Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements

    Graham Denham and Mathias Schulze. Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements. In Arrangements of hyperplanes—Sapporo 2009 , volume 62 of Adv. Stud. Pure Math. , pages 27–57. Math. Soc. Japan, Tokyo, 2012

    work page 2009

  14. [14]

    The geometry of syzygies , volume 229 of Graduate Texts in Mathematics

    David Eisenbud. The geometry of syzygies , volume 229 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2005. A second course in commuta tive algebra and algebraic ge- ometry

    work page 2005

  15. [15]

    Grayson and M

    D. Grayson and M. Stillman. Macaulay2—a software syste m for algebraic geometry and commu- tative algebra. available at http://www.math.uiuc.edu/Macaulay2

    work page

  16. [16]

    Stable reflexive sheaves

    Robin Hartshorne. Stable reflexive sheaves. Math. Ann. , 254(2):121–176, 1980

    work page 1980

  17. [17]

    Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics

    Hideyuki Matsumura. Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid

    work page 1986

  18. [18]

    Mimasaka

    T. Mimasaka. Relation between Euler and Ziegler restri ctions. Masters thesis (Japanese), 2020. Kyushu University

    work page 2020

  19. [19]

    Arrangements of hyperplanes , volume 300 of Grundlehren der Mathematischen Wissenschaften

    Peter Orlik and Hiroaki Terao. Arrangements of hyperplanes , volume 300 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, 1992

    work page 1992

  20. [20]

    H. Terao. private communication, 2013

    work page 2013

  21. [21]

    Arrangements of hyperplanes and their f reeness

    Hiroaki Terao. Arrangements of hyperplanes and their f reeness. I,II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , 27(2):293–320, 1980

    work page 1980

  22. [22]

    Bases for the derivation modules of t wo-dimensional multi-Coxeter arrange- ments and universal derivations

    Atsushi Wakamiko. Bases for the derivation modules of t wo-dimensional multi-Coxeter arrange- ments and universal derivations. Hokkaido Math. J. , 40(3):375–392, 2011

    work page 2011

  23. [23]

    Freeness of hyperplane arrangeme nts and related topics

    Masahiko Yoshinaga. Freeness of hyperplane arrangeme nts and related topics. Ann. Fac. Sci. Toulouse Math. (6) , 23(2):483–512, 2014

    work page 2014

  24. [24]

    G¨ unter M. Ziegler. Combinatorial construction of log arithmic differential forms. Adv. Math. , 76(1):116–154, 1989

    work page 1989

  25. [25]

    G¨ unter M. Ziegler. Multiarrangements of hyperplanes and their freeness. In Singularities (Iowa City, IA, 1986) , volume 90 of Contemp. Math. , pages 345–359. Amer. Math. Soc., Providence, RI, 1989. 17 Department of Mathematics, Rikkyo University Email address : abetaku@rikkyo.ac.jp Department of Mathematics, University of Western Ontario Email address :...

    work page 1986