pith. sign in

arxiv: 2607.01028 · v1 · pith:X4BOWYXCnew · submitted 2026-07-01 · 🧮 math.GR · math.AT· math.KT· math.NT

A₃-formality for pro-2 Demushkin groups

Ambrus P\'al , Gereon Quick This is my paper

Pith reviewed 2026-07-02 04:18 UTC · model grok-4.3

classification 🧮 math.GR math.ATmath.KTmath.NT
keywords A3-formalitypro-2 Demushkin groupscontinuous cochainsMassey productsdifferential graded algebrascanonical classprofinite groupsgroup cohomology
0
0 comments X

The pith

The differential graded F2-algebras of continuous cochains on all pro-2 Demushkin groups are A3-formal.

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

The paper establishes that the differential graded F2-algebras of continuous cochains for every pro-2 Demushkin group satisfy A3-formality. This weak formality property is shown by computing an obstruction class explicitly from the known classification of these groups and reinterpreting that class in terms of Massey product data. A sympathetic reader would care because the result supplies a uniform algebraic description of the cochain algebras that holds across the entire family. The argument works uniformly for the prime 2, extending an earlier treatment that applied only to odd primes.

Core claim

The differential graded F2-algebras of continuous cochains of all pro-2 Demushkin groups are A3-formal. We prove this by an explicit computation of the Benson-Krause-Schwede canonical class using the classification of pro-2 Demushkin groups by Demushkin, Serre, and Labute. Compared to the case of odd primes, the new idea is to interpret the data of the canonical class as defining systems of higher Massey products.

What carries the argument

The Benson-Krause-Schwede canonical class, reinterpreted as defining systems of higher Massey products to verify the vanishing condition for A3-formality.

If this is right

  • The A3-formality property holds uniformly for the complete list of pro-2 Demushkin groups.
  • The cohomology algebra together with the Massey product data determines the cochain algebra up to the A3 level.
  • The same explicit method supplies a model for the cochain algebra in every case covered by the classification.

Where Pith is reading between the lines

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

  • The reinterpretation technique may apply to other families of pro-p groups that admit explicit classifications.
  • One could check whether A3-formality is the strongest formality property that holds or whether stronger vanishing occurs for some of these groups.

Load-bearing premise

The classification of pro-2 Demushkin groups permits an explicit computation of the canonical class that can be reinterpreted via defining systems of higher Massey products.

What would settle it

A concrete pro-2 Demushkin group for which no choice of defining system makes the canonical class satisfy the vanishing condition required for A3-formality.

read the original abstract

We study a weak form of formality for differential graded algebras, called $A_3$-formality, and show that the differential graded $\mathbb{F}_2$-algebras of continuous cochains of all pro-$2$ Demushkin groups are $A_3$-formal. We prove this result by an explicit computation of the Benson--Krause--Schwede canonical class using the classification of pro-$2$ Demushkin groups by Demushkin, Serre, and Labute. Compared to the case of odd primes, the new idea is to interpret the data of the canonical class as defining systems of higher Massey products.

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 proves that the differential graded F_2-algebras of continuous cochains of all pro-2 Demushkin groups are A_3-formal. The argument proceeds by an explicit, case-by-case computation of the Benson-Krause-Schwede canonical class for every isomorphism type appearing in the Demushkin-Serre-Labute classification, followed by a reinterpretation of that class in terms of defining systems for higher Massey products; the latter step is presented as the novel ingredient needed when p=2.

Significance. If the explicit computation is correct, the result supplies a complete classification of A_3-formality for this family of pro-p groups at the prime 2, complementing earlier work for odd primes. The paper's strengths are the direct use of the standard classification, the machine-checkable nature of the finite list of cases, and the concrete translation between the canonical class and Massey-product data; these features make the claim falsifiable and reproducible.

minor comments (3)
  1. [§3] §3: the statement that the BKS class 'vanishes' for all listed groups would be clearer if accompanied by a short table summarizing the value of the class (or the relevant Massey product) for each isomorphism type.
  2. The notation for the continuous cochain algebra C^*(G; F_2) is introduced without an explicit reference to the precise cochain complex used (e.g., continuous cochains versus completed group algebra); a one-sentence clarification would help readers outside the immediate subfield.
  3. Several displayed equations in the computation of the canonical class contain indices that are not defined in the surrounding text (e.g., the range of summation in the expression for the 3-fold product); these should be made explicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript. The summary accurately reflects the main result and the strategy of explicit computation via the Demushkin-Serre-Labute classification, together with the reinterpretation of the Benson-Krause-Schwede class in terms of Massey-product defining systems. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on an external classification of pro-2 Demushkin groups by Demushkin, Serre, and Labute together with the independent Benson-Krause-Schwede canonical class; the p=2 case is handled by direct reinterpretation of that class as defining systems for higher Massey products. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain, and the central claim is obtained via explicit case-by-case computation against these external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters or invented entities; the proof depends on the external classification result as a domain assumption.

axioms (1)
  • domain assumption Classification of pro-2 Demushkin groups by Demushkin, Serre, and Labute
    Invoked to enable explicit computation of the canonical class

pith-pipeline@v0.9.1-grok · 5642 in / 1088 out tokens · 30773 ms · 2026-07-02T04:18:29.520021+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

42 extracted references · 5 canonical work pages · 2 internal anchors

  1. [1]

    Benson, H

    D. Benson, H. Krause and S. Schwede,Realizability of modules over Tate cohomology, Trans. Amer. Math. Soc.356(2004), no. 9, 3621–3668

    2004

  2. [2]

    Buijs, J

    U. Buijs, J. M. Moreno-Fern´ andez and A. Murillo,A 8-structures and Massey products, Mediterr. J. Math.17, 31 (2020)

    2020

  3. [3]

    S. P. Demuˇ skin,The group of a maximal p-extension of a local field, Izv. Akad. Nauk SSSR Ser. Mat. 25 (1961), 329–346

    1961

  4. [4]

    S. P. Demuˇ skin,On 2-extensions of a local field, Sibirsk. Mat. ˇZ.4(1963), 951–955

    1963

  5. [5]

    E. X. Djurhuus and G. Quick,Non-realizability of a triple Massey product for the algebra F2ra, b, cs{pab, bcq, New York J. Math.32(2026), 349–360

    2026

  6. [6]

    W. G. Dwyer,Homology, Massey products and maps between groups, J. Pure Appl. Algebra 6(1975), 177–190

    1975

  7. [7]

    Efrat,Small maximal pro-pGalois groups, Manuscripta Math.95(1998), no

    I. Efrat,Small maximal pro-pGalois groups, Manuscripta Math.95(1998), no. 2, 237–249

    1998

  8. [8]

    Efrat and E

    I. Efrat and E. Matzri,Triple Massey products and absolute Galois groups, J. Eur. Math. Soc. 19(2017), no. 12, 3629–3640

    2017

  9. [9]

    Guillot, J

    P. Guillot, J. Min´ aˇ c and A. Topaz,Four-fold Massey products in Galois cohomology, Compos. Math.154(2018), no. 9, 1921–1959, with an appendix by O. Wittenberg

    2018

  10. [10]

    Harpaz and O

    Y. Harpaz and O. Wittenberg,The Massey vanishing conjecture for number fields, Duke Math. J.172(2023), no. 1, 1–41

    2023

  11. [11]

    Hopkins and K

    M. Hopkins and K. Wickelgren,Splitting varieties for triple Massey products, J. Pure Appl. Algebra219(2015), 1304–1319

    2015

  12. [12]

    Jacob, R

    B. Jacob, R. Ware,A recursive description of the maximal pro-2 Galois group via Witt rings, Math. Z.200(1989), no. 3, 379–396

    1989

  13. [13]

    T. V. Kadeishvili,The algebraic structure in the homology of anA 8-algebra(Russian, English summary) Soobshch. Akad. Nauk Gruzin. SSR108(1982), no. 2, 249–252 (1983)

    1982

  14. [14]

    T. V. Kadeishvili,The structure of theA 8-algebra, and the Hochschild and Harrison coho- mologies(Russian), Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR91(1988), 19–27 (an English version is available at arXiv:math/0210331)

    work page internal anchor Pith review Pith/arXiv arXiv 1988

  15. [15]

    T. V. Kadeishvili,A 8-algebra Structure in Cohomology and its Applications, Lecture notes 2023, available athttps://doi.org/10.48550/arXiv.2307.10300

    work page doi:10.48550/arxiv.2307.10300 2023

  16. [16]

    Keller,Introduction toA-infinity algebras and modules, Homology Homotopy Appl.3 (2001), 1–35

    B. Keller,Introduction toA-infinity algebras and modules, Homology Homotopy Appl.3 (2001), 1–35

    2001

  17. [17]

    J. P. Labute,Classification of Demushkin groups, Canadian J. Math.19(1967), 106–132

    1967

  18. [18]

    Y. H. J. Lam, Y. Liu, R. Sharifi, P. Wake and J. Wang,Generalized Bockstein maps and Massey products, Forum Math. Sigma11(2023), Paper No. e5, 41 pp

    2023

  19. [19]

    Maire, J

    C. Maire, J. Min´ aˇ c, R. Ramakrishna and N. D. Tˆ an,On the strong Massey property for number fields, preprint, arXiv:2409.01028v1, 2024

    work page arXiv 2024

  20. [20]

    Triple Massey products in Galois cohomology

    E. Matzri,Triple Massey products and Galois cohomology, preprint, arXiv:1411.4146 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  21. [21]

    Matzri,Higher triple Massey products and symbols, J

    E. Matzri,Higher triple Massey products and symbols, J. Algebra527(2019), 136–146

    2019

  22. [22]

    S. A. Merkulov,Strong homotopy algebras of a K¨ ahler manifold, Internat. Math. Res. Notices (3) (1999), 153–164

    1999

  23. [23]

    Merkurjev and F

    A. Merkurjev and F. Scavia,Degenerate fourfold Massey products over arbitrary fields, J. Eur. Math. Soc.28(2026), no. 8, 3499–3537

    2026

  24. [24]

    Merkurjev and F

    A. Merkurjev and F. Scavia,The Massey Vanishing Conjecture for fourfold Massey products modulo 2, Ann. Sci. ´Ec. Norm. Sup´ er. (4)58(2025), no. 3, 589–606

    2025

  25. [25]

    Merkurjev and F

    A. Merkurjev and F. Scavia,Non-formality of Galois cohomology modulo all primes, Compos. Math.161(2025), no. 4, 831–858

    2025

  26. [26]

    Min´ aˇ c and N

    J. Min´ aˇ c and N. D. Tˆ an,The kernel unipotent conjecture and Massey products on an odd rigid field(with an appendix by I. Efrat, J. Min´ aˇ c and N. D. Tˆ an), Adv. Math.273(2015), 242–270. A3-FORMALITY FOR PRO-2 DEMUSHKIN GROUPS 41

    2015

  27. [27]

    Min´ aˇ c and N

    J. Min´ aˇ c and N. D. Tˆ an,Counting GaloisU4pFpq-extensions using Massey products, J. Num- ber Theory176(2017), 76–112

    2017

  28. [28]

    Min´ aˇ c and N

    J. Min´ aˇ c and N. D. Tˆ an,Triple Massey products vanish over all fields, J. Lond. Math. Soc. (2)94(2016), no. 3, 909–932

    2016

  29. [29]

    Min´ aˇ c and N

    J. Min´ aˇ c and N. D. Tˆ an,Triple Massey products and Galois theory, J. Eur. Math. Soc.19 (2017), 255–284

    2017

  30. [30]

    Min´ aˇ c, F

    J. Min´ aˇ c, F. W. Pasini, C. Quadrelli and N. D. Tˆ an,Koszul algebras and quadratic duals in Galois cohomology, Adv. Math.380(2021), Paper No. 107569, 49 pp

    2021

  31. [31]

    Muro,Derived universal Massey products, Homology Homotopy Appl.25(2023), no

    F. Muro,Derived universal Massey products, Homology Homotopy Appl.25(2023), no. 1, 189–218

    2023

  32. [32]

    Neukirch, A

    J. Neukirch, A. Schmidt and K. Wingberg,Cohomology of number fields, Second edition, Grundlehren Math. Wiss., vol.323, Springer-Verlag, Berlin, 2008

    2008

  33. [33]

    P´ al and G

    A. P´ al and G. Quick,Real projective groups are formal, Math. Ann.392(2025), 1833–1876

    2025

  34. [34]

    P´ al and G

    A. P´ al and G. Quick,A 3-formality for Demushkin groups at odd primes, preprint, arXiv:2601.07551 (2026)

    work page arXiv 2026

  35. [35]

    P´ al and E

    A. P´ al and E. Szab´ o,The strong Massey vanishing conjecture for fields with virtual cohomo- logical dimension at most1, Israel J. Math.272(2026), no. 1, 153–190

    2026

  36. [36]

    Polishchuk and L

    A. Polishchuk and L. Positselski,Quadratic algebras, University Lecture Series, 37. American Mathematical Society, Providence, RI, 2005. xii+159 pp

    2005

  37. [37]

    Positselski,Mixed Artin–Tate motives with finite coefficients, Moscow Math

    L. Positselski,Mixed Artin–Tate motives with finite coefficients, Moscow Math. J.11(2011), 317–402

    2011

  38. [38]

    Positselski,Koszulity of cohomology“Kpπ,1q-ness + quasi-formality, J

    L. Positselski,Koszulity of cohomology“Kpπ,1q-ness + quasi-formality, J. Algebra483 (2017), 188–229

    2017

  39. [39]

    Quadrelli,Massey products in Galois cohomology and the Elementary Type Conjecture, J

    C. Quadrelli,Massey products in Galois cohomology and the Elementary Type Conjecture, J. Number Theory258(2024), 40–65

    2024

  40. [40]

    Seidel and R

    P. Seidel and R. Thomas,Braid group actions on derived categories of coherent sheaves, Duke Math. J.108(2001), no. 1, 37–108

    2001

  41. [41]

    Serre,Structure de certains pro-p-groupes (d’apr` es Demuˇ skin), S´ eminaire Bourbaki, vol

    J.-P. Serre,Structure de certains pro-p-groupes (d’apr` es Demuˇ skin), S´ eminaire Bourbaki, vol. 8, Soc. Math. France, Paris, 1995, pp. 145–155, Exp. No. 252

    1995

  42. [42]

    Serre,Galois cohomology, Springer Monographs in Mathematics, Springer, Berlin-New York, 1997

    J.-P. Serre,Galois cohomology, Springer Monographs in Mathematics, Springer, Berlin-New York, 1997. Mathematical Institute, E¨otv¨os Lor´and University, H-1117 Budapest, Hungary Email address:ambrus.pal@ttk.elte.hu Department of Mathematical Sciences, NTNU, NO-7491 Trondheim, Norway Email address:gereon.quick@ntnu.no

    1997