pith. sign in

arxiv: 2401.01449 · v1 · submitted 2024-01-02 · 🧮 math.AT

The rational (non-)formality of the non-3-equal manifolds

Jes\'us Gonz\'alez , Jos\'e Luis Le\'on-Medina This is my paper

Pith reviewed 2026-05-24 04:26 UTC · model grok-4.3

classification 🧮 math.AT
keywords non-3-equal manifoldsrational formalityMassey productsPoincaré dualityconfiguration spacesmanifoldshomotopy theorycohomology
0
0 comments X

The pith

The non-3-equal manifolds M^{(3)}_d(n) are rationally formal exactly when n ≤ 6 for any d ≥ 2.

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

The paper examines manifolds consisting of n-tuples of points in R^d such that no three coordinates coincide. It proves these spaces are rationally formal if and only if n is at most 6. The argument for non-formality when n exceeds 6 rests on the existence of non-vanishing triple Massey products in cohomology, which are identified as non-zero by applying Poincaré duality. This stands in contrast to the classical configuration spaces of points with distinct pairs, which remain formally rational for every n.

Core claim

For d ≥ 2, M^{(3)}_d(n) is rationally formal if and only if n ≤ 6. The rational non-formality of M^{(3)}_d(n) for n > 6 is established via detection of non-trivial triple Massey products assessed through Poincaré duality.

What carries the argument

Triple Massey products in the cohomology ring, detected as non-trivial by Poincaré duality on the manifold.

If this is right

  • For n ≤ 6 the rational homotopy type of the manifold is completely determined by its cohomology ring.
  • For n > 6 the cohomology ring fails to determine the rational homotopy type because of the extra Massey operations.
  • The distinction between non-3-equal manifolds and classical configuration spaces appears only for n > 6.
  • Poincaré duality supplies a uniform method to certify the non-vanishing of the obstructing products across all dimensions d ≥ 2.

Where Pith is reading between the lines

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

  • The same duality technique for spotting Massey products could be applied to non-k-equal manifolds with k > 3 to locate their own formality thresholds.
  • The cutoff at n = 6 may reflect a change in the combinatorial or homological complexity of the space that first permits non-trivial triple products.
  • These manifolds supply concrete examples where formality fails at a specific finite n, which could be used to test general criteria in rational homotopy theory.

Load-bearing premise

The triple Massey products remain non-trivial once all cohomology relations are taken into account, with no further vanishing forced by the manifold structure.

What would settle it

An explicit calculation of the cohomology ring for n=7 and d=2 that shows every triple Massey product vanishes would disprove the non-formality claim.

read the original abstract

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp contrast with the fact that all classical configuration spaces $M^{(2)}_d(n)=\text{Conf}(\hspace{.2mm}\mathbb{R}^d,n)$ are rationally formal, just as are all complements of arrangements of arbitrary complex subspaces with geometric lattice of intersections. The rational non formality of $M^{(3)}_{d}(n)$ for $n>6$ is established via detection of non-trivial triple Massey products assessed through Poincar\'e duality.

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

1 major / 0 minor

Summary. The manuscript claims that for d ≥ 2 the non-3-equal manifolds M^{(3)}_d(n) are rationally formal if and only if n ≤ 6. Formality for n ≤ 6 is established by direct comparison or model construction, while non-formality for n > 6 follows from the existence of non-vanishing triple Massey products in the rational cohomology ring, detected by pairing with the fundamental class via Poincaré duality.

Significance. If the central claims hold, the result supplies a sharp threshold separating the rational homotopy types of these manifolds from those of classical configuration spaces (which remain formal for all n) and from arrangement complements. The technique of using Poincaré duality to certify non-trivial Massey products would constitute a concrete contribution to the study of formality obstructions in manifolds.

major comments (1)
  1. [Abstract and the section establishing non-formality via Massey products] The non-formality statement for n > 6 rests on the claim that certain triple Massey products are non-zero. Triple Massey products are cosets; a non-zero pairing of one representative with the fundamental class shows that representative is nonzero but does not automatically place zero outside the coset unless the indeterminacy subspace (α · H^{|β|+|γ|-1} + H^{|α|+|β|-1} · γ) lies in the kernel of the duality pairing or an explicit check rules out zero. The manuscript must supply this verification (or an equivalent direct computation) in the section establishing the Massey-product obstruction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to fully address the indeterminacy in the triple Massey products. We will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and the section establishing non-formality via Massey products] The non-formality statement for n > 6 rests on the claim that certain triple Massey products are non-zero. Triple Massey products are cosets; a non-zero pairing of one representative with the fundamental class shows that representative is nonzero but does not automatically place zero outside the coset unless the indeterminacy subspace (α · H^{|β|+|γ|-1} + H^{|α|+|β|-1} · γ) lies in the kernel of the duality pairing or an explicit check rules out zero. The manuscript must supply this verification (or an equivalent direct computation) in the section establishing the Massey-product obstruction.

    Authors: We agree that the argument as written requires an explicit verification that the non-vanishing pairing with the fundamental class is unaffected by the indeterminacy subspace. In the revised manuscript we will add a direct computation showing that this subspace lies in the kernel of the duality pairing (or, equivalently, compute a representative of the Massey product in the cohomology ring whose pairing is manifestly nonzero). revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses direct Massey product detection via duality without self-referential reduction.

full rationale

The abstract states that non-formality for n>6 follows from detection of non-trivial triple Massey products assessed through Poincaré duality. No equations, parameters, or quantities are defined in terms of the target formality result. No self-citations are invoked as load-bearing uniqueness theorems or ansatzes. The argument is presented as an independent computation on the manifold's cohomology, not a renaming or fit. Potential gaps in handling Massey indeterminacy concern proof validity rather than circular reduction to inputs. The derivation chain is self-contained against external algebraic topology benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard fact that Poincaré duality pairs cohomology classes on these manifolds and on the definition of triple Massey products in rational cohomology; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Poincaré duality holds and pairs the relevant cohomology classes non-degenerately on M^(3)_d(n)
    Invoked to assess non-triviality of the triple Massey products for n>6
  • standard math The cohomology ring of M^(3)_d(n) admits well-defined triple Massey products
    Standard construction in rational homotopy theory

pith-pipeline@v0.9.0 · 5681 in / 1338 out tokens · 24982 ms · 2026-05-24T04:26:54.236664+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

22 extracted references · 22 canonical work pages

  1. [1]

    Matthew S. Miller. Massey products and k-equal manifolds. Int. Math. Res. Not. IMRN, 2012(8):1805–1821, 2012

    work page 2012

  2. [2]

    Obstructions to homotopy equivalences

    Stephen Halperin and James Stasheff. Obstructions to homotopy equivalences. Ad- vances in Mathematics, 32(3):233–279, 1979

    work page 1979

  3. [3]

    On Lusternik- Schnirelmann category and topological complexity of non- k-equal manifolds

    Jesús González and José Luis León-Medina. On Lusternik- Schnirelmann category and topological complexity of non- k-equal manifolds. J. Homotopy Relat. Struct. , 17(2):217–231, 2022

    work page 2022

  4. [4]

    , title =

    Vladimir Igorevich Arnold. The cohomology ring of the co lored braid group. Mathematical Notes of the Academy of Sciences of the USSR , 5:138–140, 1969. https://doi.org/10.1007/BF01098313

    work page doi:10.1007/bf01098313 1969

  5. [5]

    Operads and motives in deformation qu antization

    Maxim Kontsevich. Operads and motives in deformation qu antization. Lett. Math. Phys., 48(1):35–72, 1999

    work page 1999

  6. [6]

    E. M. Feichtner and S. Yuzvinsky. Formality of the comple ments of subspace ar- rangements with geometric lattices. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 326:235–247, 284, 2005

    work page 2005

  7. [7]

    V . A. Vassiliev .Complexes of Connected Graphs, pages 223–235. Birkhäuser Boston, Boston, MA, 1993

    work page 1993

  8. [8]

    Rational model of subspace complemen t on atomic complex

    Sergey Yuzvinsky. Rational model of subspace complemen t on atomic complex. Publications de l’Institut Mathématique , (N.S.) 66(80):157–164, 1999

    work page 1999

  9. [9]

    W . S. Massey. Higher order linking numbers. In Victor Gugenheim, editor, Conf. on Algebraic T opology, pages 174–205. Univ . of Illinois at Chicago Circle, 1969

    work page 1969

  10. [10]

    Homology of no n k-overlapping discs

    Natalya Dobrinskaya and Victor Turchin. Homology of no n k-overlapping discs. Homology, Homotopy & Applications, 17(2), 2015

    work page 2015

  11. [11]

    On the formality of ( k − 1)-connected compact manifolds of dimension less than or equal to 4 k − 2

    Timothy James Miller. On the formality of ( k − 1)-connected compact manifolds of dimension less than or equal to 4 k − 2. Illinois J. Math., 23(2):253–258, 1979

    work page 1979

  12. [12]

    Formality of k-connected spaces in 4k + 3 and 4k + 4 dimen- sions

    Gil Ramos Cavalcanti. Formality of k-connected spaces in 4k + 3 and 4k + 4 dimen- sions. Math. Proc. Cambridge Philos. Soc., 141(1):101–112, 2006

    work page 2006

  13. [13]

    Glen E. Bredon. Sheaf theory , volume 170 of Graduate T exts in Mathematics . Springer-Verlag, New York, second edition, 1997

    work page 1997

  14. [14]

    Cohomology of sheaves

    Birger Iversen. Cohomology of sheaves. Universitext. Springer-Verlag, Berlin, 1986

    work page 1986

  15. [15]

    Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]

    William Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer- Verlag, Berlin, 1984

    work page 1984

  16. [16]

    E. Spanier. Singular homology and cohomology with loca l coefficients and duality for manifolds. Pacific Journal of Mathematics, 160(1):165 – 200, 1993. THE RATIONAL (NON-)FORMALITY OF THE NON-3-EQUAL MANIFOLDS 21

    work page 1993

  17. [17]

    Glen E. Bredon. T opology and Geometry. Springer New York, 1993

    work page 1993

  18. [18]

    Richard M. Hain. Iterated integrals, intersection the ory and link groups. T opology, 24(1):45–66, 1985

    work page 1985

  19. [19]

    Chun-Chung Hsieh, Louis Kauffman, and Chichen M. Tsau. A combinatorial algo- rithm for computing higher order linking numbers. Asian J. Math. , 21(2):265–286, 2017

    work page 2017

  20. [20]

    Milnor’ s ¯µ -invariants and Massey products.Trans

    Richard Porter. Milnor’ s ¯µ -invariants and Massey products.Trans. Amer . Math. Soc., 257(1):39–71, 1980

    work page 1980

  21. [21]

    Configuration sp aces are not homotopy in- variant

    Riccardo Longoni and Paolo Salvatore. Configuration sp aces are not homotopy in- variant. T opology, 44(2):375–380, 2005

    work page 2005

  22. [22]

    Matthew S. Miller. Rational homotopy models for two-po int configuration spaces of lens spaces. Homology Homotopy Appl., 13(2):43–62, 2011. DEPARTAMENTO DE MATEMÁTICAS CENTRO DE INVESTIGACIÓN Y DE ESTUDIOS AVANZADOS DEL I.P .N. AV. I NSTITUTO POLITÉCNICO NACIONAL NÚMERO 2508 SAN PEDRO ZACATENCO , M ÉXICO CITY 07000, M ÉXICO jesus@math.cinvestav.mx CENTRO D...

    work page 2011