pith. machine review for the scientific record. sign in

arxiv: 2605.09254 · v1 · submitted 2026-05-10 · 🧮 math.AT · math.AG· math.CO

Recognition: 1 theorem link

· Lean Theorem

Highly connected non-formal Milnor fibers via polyhedral products

Alexander I. Suciu

Pith reviewed 2026-05-12 02:19 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.CO
keywords Milnor fibernon-formalityMassey productsmoment-angle complexpolyhedral productweighted-homogeneous polynomialconnectivityalgebraic topology
0
0 comments X

The pith

Milnor fibers of weighted-homogeneous polynomials can be made arbitrarily highly connected while remaining non-formal.

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

The paper shows how to construct weighted-homogeneous polynomials whose Milnor fibers have no upper bound on their connectivity yet fail to be formal. It does so by routing Grbić-Linton's constructions of non-trivial n-fold Massey products in moment-angle complexes through Fernández de Bobadilla's realization theorem, which equates such Milnor fibers with complements of analytic germs. Earlier work using only triple Massey products produced merely 2-connected non-formal examples; the higher-order constructions remove that limit entirely.

Core claim

The realization theorem identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of an analytic set, and the Grbić-Linton framework supplies non-trivial n-fold Massey products in the cohomology of moment-angle complexes Z_K in arbitrary cohomological degrees and for arbitrary n; transferring the latter via the former therefore yields weighted-homogeneous polynomials whose Milnor fibers are non-formal at every prescribed level of connectivity.

What carries the argument

Transfer of non-trivial Massey products from moment-angle complexes Z_K(D^2,S^1) to Milnor fibers via the Fernández de Bobadilla realization theorem.

If this is right

  • Non-formal Milnor fibers exist in every connectivity class.
  • The previous restriction to 2-connectivity is an artifact of using only triple Massey products.
  • The same strategy applies to produce examples whose non-formality is witnessed by products of any prescribed order.
  • Polyhedral-product constructions now supply an unlimited supply of such geometric examples.

Where Pith is reading between the lines

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

  • Formality obstructions in these geometric settings can be made independent of dimension or connectivity.
  • Similar transfers may produce non-formal examples in other classes of spaces such as hyperplane-arrangement complements.
  • Explicit low-dimensional computations of the resulting cohomology rings would give concrete counterexamples to formality conjectures.

Load-bearing premise

The non-trivial Massey products in the moment-angle complex remain non-trivial in the cohomology of the realized Milnor fiber.

What would settle it

An explicit weighted-homogeneous polynomial whose Milnor fiber is the complement of an analytic germ but whose cohomology ring has all higher Massey products vanishing, or whose connectivity is lower than that of the input moment-angle complex.

read the original abstract

We show that the realization theorem of Fern\'andez de Bobadilla, which identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set, can be combined with the systematic Massey product constructions of Grbi\'c-Linton for moment-angle complexes $\mathcal{Z}_K = \mathcal{Z}_K(D^2, S^1)$ to produce weighted-homogeneous polynomials whose Milnor fibers are arbitrarily highly connected and non-formal. The original application of this strategy, due to Fern\'andez de Bobadilla, used the Denham-Suciu classification of lowest-degree triple Massey products and yielded only $2$-connected non-formal Milnor fibers. The Grbi\'c-Linton framework, which constructs non-trivial $n$-fold Massey products in $H^*(\mathcal{Z}_K;\mathbb{Z})$ for arbitrary $n$ and in arbitrary cohomological degrees, removes this connectivity restriction entirely.

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

2 major / 2 minor

Summary. The paper claims that Fernández de Bobadilla's realization theorem, identifying the Milnor fiber of a weighted-homogeneous polynomial with the complement of an analytic germ, can be combined with Grbić-Linton's constructions of arbitrary n-fold Massey products in the cohomology of moment-angle complexes Z_K(D², S¹) to yield weighted-homogeneous polynomials whose Milnor fibers are arbitrarily highly connected and non-formal. This extends the original Fernández de Bobadilla application, which relied on Denham-Suciu triple Massey products and produced only 2-connected examples.

Significance. If the transfer of non-formality and connectivity is verified, the result supplies a flexible construction of highly connected non-formal Milnor fibers, strengthening the link between polyhedral products, moment-angle complexes, and singularity theory. It removes the connectivity bound present in prior work and offers a template for producing examples with prescribed Massey products in arbitrary degrees.

major comments (2)
  1. [Abstract and §1] The central claim in the abstract and introduction rests on the assertion that Grbić-Linton n-fold Massey products and the high connectivity of Z_K survive the Fernández de Bobadilla realization without additional relations or homotopy changes, yet no explicit argument, diagram chase, or reference to the attaching maps of the analytic germ is supplied to confirm preservation for n > 3.
  2. [Introduction (discussion of the strategy)] The weakest link is the transfer step: while the realization theorem equates the Milnor fiber homotopy type with the complement of the germ, the paper does not address whether the weighted-homogeneous polynomial construction introduces cup-product relations or trivializes higher Massey products that are non-trivial in the polyhedral product model.
minor comments (2)
  1. Notation for the moment-angle complex is introduced as Z_K = Z_K(D², S¹) but the precise polyhedral product definition and the choice of K (e.g., via the Grbić-Linton combinatorial data) should be recalled in a preliminary section for readers unfamiliar with the framework.
  2. The statement that the new examples are 'arbitrarily highly connected' would benefit from an explicit lower bound on connectivity in terms of the chosen n and the degree of the Massey product.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying points where the transfer of non-formality and connectivity via the realization theorem could be clarified. We address each major comment below and will revise the paper accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [Abstract and §1] The central claim in the abstract and introduction rests on the assertion that Grbić-Linton n-fold Massey products and the high connectivity of Z_K survive the Fernández de Bobadilla realization without additional relations or homotopy changes, yet no explicit argument, diagram chase, or reference to the attaching maps of the analytic germ is supplied to confirm preservation for n > 3.

    Authors: The preservation follows from the homotopy equivalence established by Fernández de Bobadilla's realization theorem, which identifies the Milnor fiber with the complement of the analytic germ. In our construction this complement is the polyhedral product Z_K, so the homotopy type (including connectivity) and all cohomology operations are identical. Massey products are homotopy invariants and thus correspond under the equivalence for any n, with no additional relations introduced. We agree that the manuscript would benefit from an explicit statement of this invariance together with a reference to the relevant properties of the realization map. We will insert a clarifying paragraph in §1 and update the abstract discussion in the revised version. revision: yes

  2. Referee: [Introduction (discussion of the strategy)] The weakest link is the transfer step: while the realization theorem equates the Milnor fiber homotopy type with the complement of the germ, the paper does not address whether the weighted-homogeneous polynomial construction introduces cup-product relations or trivializes higher Massey products that are non-trivial in the polyhedral product model.

    Authors: The weighted-homogeneous polynomial is constructed precisely so that the analytic germ it defines has complement homotopy equivalent to the chosen Z_K, by direct application of the realization theorem. The resulting Milnor fiber therefore inherits the cohomology ring of Z_K isomorphically, including all cup products and higher Massey products; no new relations or trivializations arise from the polynomial itself. We will expand the strategy paragraph in the introduction to state this explicitly and to note that the invariance holds uniformly for the arbitrary n-fold products supplied by Grbić-Linton. revision: yes

Circularity Check

0 steps flagged

No circularity: result combines two independent external theorems

full rationale

The derivation applies Fernández de Bobadilla's realization theorem (identifying Milnor fibers of weighted-homogeneous polynomials with complements of analytic germs) together with Grbić-Linton's constructions of n-fold Massey products on moment-angle complexes Z_K. Neither theorem is defined or fitted inside the present paper, and the central claim does not reduce any output quantity to an input by construction. The reference to Denham-Suciu appears only as historical context for an earlier, lower-connectivity application and is not invoked to justify the new, higher-connectivity result. No self-definitional step, fitted prediction, or load-bearing self-citation chain is present; the argument is self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review based on abstract only; the paper treats two external theorems as foundational inputs whose properties are assumed to transfer intact.

axioms (2)
  • domain assumption Fernández de Bobadilla realization theorem identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set.
    Invoked directly in the abstract as the mechanism to realize the topological construction geometrically.
  • domain assumption Grbić-Linton constructions produce non-trivial n-fold Massey products in H^*(Z_K; Z) for arbitrary n and in arbitrary degrees.
    Used in the abstract to achieve non-formality at arbitrary connectivity levels.

pith-pipeline@v0.9.0 · 5455 in / 1431 out tokens · 42548 ms · 2026-05-12T02:19:24.619700+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

30 extracted references · 30 canonical work pages

  1. [1]

    Attali, A

    D. Attali, A. Lieutier, D. Salinas,Vietoris-Rips complexes also provide topologically correct reconstructions of sampled shapes, Comput. Geom.46(2013), no. 4, 448–465. MR3012565 3.5

    work page 2013

  2. [2]

    Bahri, M

    A. Bahri, M. Bendersky, F.R. Cohen, S. Gitler,The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces, Adv. Math.225(2010), no. 3, 1634–1668. MR2673742 3.1, 3.1

    work page 2010

  3. [3]

    Baskakov,Cohomology of K-powers of spaces and the combinatorics of simplicial divisions, Uspekhi Mat

    I.V . Baskakov,Cohomology of K-powers of spaces and the combinatorics of simplicial divisions, Uspekhi Mat. Nauk58(2003), no. 2, 181–182. MR1992133 3.3, 3.3, 3.4

    work page 2003

  4. [4]

    Baskakov, V .M

    I.V . Baskakov, V .M. Bukhshtaber, T.E. Panov,Algebras of cellular cochains, and torus actions, Russian Math. Surveys59(2004), no. 3, 562–563. MR2117435 3.4

    work page 2004

  5. [5]

    Bukhshtaber, T.E

    V .M. Bukhshtaber, T.E. Panov,Torus actions, combinatorial topology and homological algebra, Russian Math. Surveys55(2000), no. 5, 825–921. MR1799011 3.1, 3.3

    work page 2000

  6. [6]

    Buchstaber, T.E

    V .M. Buchstaber, T.E. Panov,Toric Topology, Math. Surveys and Monographs, vol. 204, Amer. Math. Soc., Provi- dence, RI, 2015. MR3363157 3.1, 3.1, 3.2, 3.3, 3.3, 3.3

    work page 2015

  7. [7]

    Brieskorn,Sur les groupes de tresses (d’apr` es V

    E. Brieskorn,Sur les groupes de tresses (d’apr` es V . I. Arnol’d), S´eminaire Bourbaki, 24 `eme ann ´ee (1971/1972), Exp. No. 401, pp. 21–44, Lecture Notes in Math., vol. 317, Springer, Berlin, 1973. MR0422674 1

    work page 1971

  8. [8]

    Deligne, P

    P. Deligne, P. Griffiths, J.W. Morgan, D. Sullivan,Real homotopy theory of K¨ ahler manifolds, Invent. Math.29 (1975), no. 3, 245–274. MR0382702 2.2

    work page 1975

  9. [9]

    Denham, A.I

    G. Denham, A.I. Suciu,Moment-angle complexes, monomial ideals, and Massey products, Pure Appl. Math. Q.3 (2007), no. 1, 25–60. MR2330154 1, 2.7, 3.1, 3.4, 4.2, 5.3

    work page 2007

  10. [10]

    Dimca, S

    A. Dimca, S. Papadima,Finite Galois covers, cohomology jump loci, formality properties, and multinets, Ann. Sc. Norm. Super. Pisa Cl. Sci.10(2011), no. 2, 253–268. MR2856148 1, 2.2, 2.3

    work page 2011

  11. [11]

    Dimca, S ¸

    A. Dimca, S ¸. Papadima, A.I. Suciu,Topology and geometry of cohomology jump loci, Duke Math. J.148(2009), no. 3, 405–457. MR2527322 2.3

    work page 2009

  12. [12]

    F´elix, D

    Y . F´elix, D. Tanr´e,Rational homotopy of the polyhedral product functor, Proc. Amer. Math. Soc.137(2009), no. 3, 891–898. MR2457428 3.1, 3.1, 3.4

    work page 2009

  13. [13]

    Fern ´andez de Bobadilla,On homotopy types of complements of analytic sets and Milnor fibres, in:Topology of algebraic varieties and singularities, 363–367, Contemp

    J. Fern ´andez de Bobadilla,On homotopy types of complements of analytic sets and Milnor fibres, in:Topology of algebraic varieties and singularities, 363–367, Contemp. Math., vol. 538, Amer. Math. Soc., Providence, RI, 2011. MR2777829 1, 2.4, 2.5, 2.4, 2.7, 4, 4.2, 6.2

    work page 2011

  14. [14]

    Grayson, M.E

    D.R. Grayson, M.E. Stillman,Macaulay2, a software system for research in algebraic geometry, Version 1.25.11, available athttp://www2.macaulay2.com. 1, 5

    work page

  15. [15]

    Grbi ´c, A

    J. Grbi ´c, A. Linton,Lowest-degree triple Massey products in moment-angle complexes, Russian Math. Surveys75 (2020), no. 6(456), 175–176. MR4181064 3.4 NON-FORMAL MILNOR FIBERS VIA POLYHEDRAL PRODUCTS 17

    work page 2020

  16. [16]

    Grbi ´c, A

    J. Grbi ´c, A. Linton,Non-trivial higher Massey products in moment-angle complexes, Adv. Math.387(2021), Paper No. 107837, 52 pp. MR4278014 1, 3.5, 3.4, 3.5, 3.7, 4, 5.4

    work page 2021

  17. [17]

    Hochster,Cohen–Macaulay rings, combinatorics, and simplicial complexes, in: Ring Theory II (Oklahoma, 1975), pp

    M. Hochster,Cohen–Macaulay rings, combinatorics, and simplicial complexes, in: Ring Theory II (Oklahoma, 1975), pp. 171–223, Lecture Notes in Pure Appl. Math., vol. 26, Dekker, New York, 1977. MR0441987 3.3

    work page 1975

  18. [18]

    M. Kato, Y . Matsumoto,On the connectivity of the Milnor fiber of a holomorphic function at a critical point, in: Manifolds—Tokyo 1973(Proc. Internat. Conf., Tokyo, 1973), pp. 131–136, University of Tokyo Press, Tokyo, 1975. MR0372880 1, 2.8

    work page 1973

  19. [19]

    M ˘acinic,Cohomology rings and formality properties of nilpotent groups, J

    A.D. M ˘acinic,Cohomology rings and formality properties of nilpotent groups, J. Pure Appl. Algebra214(2010), no. 10, 1818–1826. MR2608110 2.2

    work page 2010

  20. [20]

    Milnor,Singular points of complex hypersurfaces, Annals of Math

    J. Milnor,Singular points of complex hypersurfaces, Annals of Math. Studies, vol. 61, Princeton Univ. Press, Prince- ton, NJ, 1968. MR0239612 2.1

    work page 1968

  21. [21]

    Milnor, P

    J. Milnor, P. Orlik,Isolated singularities defined by weighted homogeneous polynomials, Topology9(1970), 385–

    work page 1970

  22. [22]

    Oka,On the homotopy types of hypersurfaces defined by weighted homogeneous polynomials, Topology12 (1973), 19–32

    M. Oka,On the homotopy types of hypersurfaces defined by weighted homogeneous polynomials, Topology12 (1973), 19–32. MR0309950 2.4

    work page 1973

  23. [23]

    Papadima, A.I

    S. Papadima, A.I. Suciu,When does the associated graded Lie algebra of an arrangement group decompose?, Comment. Math. Helv.81(2006), 859–875. MR2271225 2.3

    work page 2006

  24. [24]

    Papadima, A

    S. Papadima, A. Suciu,Geometric and algebraic aspects of1-formality, Bull. Math. Soc. Sci. Math. Roumanie52 (2009), no. 3, 355–375. MR2554494 1, 2.2

    work page 2009

  25. [25]

    Suciu,Fundamental groups, Alexander invariants, and cohomology jumping loci, in: Topology of algebraic va- rieties and singularities, 179–223, Contemp

    A.I. Suciu,Fundamental groups, Alexander invariants, and cohomology jumping loci, in: Topology of algebraic va- rieties and singularities, 179–223, Contemp. Math., vol. 538, Amer. Math. Soc., Providence, RI, 2011. MR2777821

    work page 2011

  26. [26]

    Suciu,Milnor fibrations of arrangements with trivial algebraic monodromy, Rev

    A.I. Suciu,Milnor fibrations of arrangements with trivial algebraic monodromy, Rev. Roumaine Math. Pures Appl. 69(2024), no. 2, 235–293. MR4778442 2.3

    work page 2024

  27. [27]

    Suciu,Hyperplane arrangements with non-formal Milnor fibers, preprintarXiv:2603.07301

    A.I. Suciu,Hyperplane arrangements with non-formal Milnor fibers, preprintarXiv:2603.07301. 1, 2.3, 6.3

    work page arXiv

  28. [28]

    Sullivan,Infinitesimal computations in topology, Inst

    D. Sullivan,Infinitesimal computations in topology, Inst. Hautes ´Etudes Sci. Publ. Math. (1977), no. 47, 269–331. MR0646078 2.2, 4

    work page 1977

  29. [29]

    Ziegler, R.T

    G. Ziegler, R.T. ˇZivaljevi´c,Homotopy types of subspace arrangements via diagrams of spaces, Math. Ann.295 (1993), no. 3, 527–548. MR1204836 3.3, 3.3

    work page 1993

  30. [30]

    Zuber,Non-formality of Milnor fibers of line arrangements, Bull

    H. Zuber,Non-formality of Milnor fibers of line arrangements, Bull. London Math. Soc.42(2010), no. 5, 905–911. MR2728693 1, 2.3 Department ofMathematics, NortheasternUniversity, Boston, MA 02115, USA Email address:a.suciu@northeastern.edu URL:suciu.sites.northeastern.edu

    work page 2010