pith. machine review for the scientific record. sign in

arxiv: 2604.21161 · v1 · submitted 2026-04-23 · 🧮 math.GR · math.AT

Recognition: unknown

An inductive approach to the Diaz-Park sharpness conjecture

Marco Praderio Bova

Pith reviewed 2026-05-08 13:30 UTC · model grok-4.3

classification 🧮 math.GR math.AT
keywords fusion systemssharpness conjecturecohomological sharpnessMackey functorshigher limitscentric orbit categoryinductive methodssaturated fusion systems
0
0 comments X

The pith

Inductive tools based on fusion system construction establish cohomological sharpness for saturated fusion systems over p-groups of maximal nilpotency or rank 2 and for polynomial, Henke-Shpectorov, and van Beek systems.

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

The paper introduces inductive tools drawn from standard techniques for building fusion systems to calculate higher limits over the centric orbit category. These tools test both the Diaz-Park sharpness conjecture and its weaker cohomological version, which concerns vanishing of the limits for cohomology Mackey functors. The method succeeds in proving cohomological sharpness for all saturated fusion systems over p-groups of maximal nilpotency or rank 2, plus the polynomial, Henke-Shpectorov, and van Beek families. These cases cover nearly every previously known instance plus most known exotic fusion systems. For the polynomial, Henke-Shpectorov, and six van Beek systems the approach further shows that all but the first higher limit vanish for arbitrary Mackey functors.

Core claim

The authors develop inductive tools using common fusion systems building techniques to compute higher limits over the centric orbit category. Applying them shows that these limits vanish for cohomology Mackey functors in every saturated fusion system over a p-group of maximal nilpotency or rank 2, and in every polynomial, Henke-Shpectorov, and van Beek fusion system. This proves the cohomological sharpness conjecture for those families, which include all but two of the cases previously known and most currently known exotic fusion systems. For the polynomial, Henke-Shpectorov, and six of the van Beek systems the same method establishes that all but the lowest higher limit vanish for any Macky

What carries the argument

Inductive tools constructed from common fusion systems building techniques to compute higher limits over the centric orbit category.

If this is right

  • Cohomological sharpness holds for all saturated fusion systems over p-groups of maximal nilpotency.
  • Cohomological sharpness holds for all saturated fusion systems over p-groups of rank 2.
  • Cohomological sharpness holds for all polynomial, Henke-Shpectorov, and van Beek fusion systems.
  • For polynomial, Henke-Shpectorov, and six van Beek systems, all but the first higher limit vanishes for any Mackey functor.

Where Pith is reading between the lines

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

  • The inductive method could be extended to additional families of saturated fusion systems not yet examined.
  • The separation between sharpness and cohomological sharpness may indicate that full sharpness needs conditions beyond vanishing of cohomological limits.
  • Linking building techniques to limit computations offers a route to classify more exotic fusion systems through their cohomological properties.

Load-bearing premise

The inductive steps applying building techniques to the centric orbit category correctly determine vanishing of the higher limits without hidden gaps for the listed families.

What would settle it

A direct computation exhibiting a non-vanishing higher limit for a cohomology Mackey functor in one covered family, such as a specific rank-2 fusion system or a van Beek system, would refute the claim.

read the original abstract

We develop tools which use common fusion systems building techniques in order to compute higher limits over the centric orbit category. We apply these tools in order to study both the Diaz-Park sharpness conjecture as well as the weaker cohomological sharpness conjecture which predicts vanishing of higher limits only for the cohomology Mackey functors . Our approach leads to proving cohomological sharpness (but not sharpness) for all saturated fusion systems over p-groups of either maximal nihlpotency or of rank 2 and all polynomial, Henke-Shpectorov and van Beek fusion systems. This list includes all but 2 of the cases for which cohomological sharpness was previously known as well as most currently known families of exotic fusion systems. For the polynomial, Henke-Shpectorov and 6 of the van Beek fusion systems, sharpness is also approximated by proving vanishing of all but the first higher limits of any Mackey functor. The distinction our approach makes between sharpness and cohomological sharpness is somewhat surprising and interesting by itself. Our approach draws a new connection between cohomological sharpness and fusion system building techniques. We believe that this connection will lead to a better understanding of both fusion systems and Mackey functors over them.

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 develops inductive tools based on standard fusion-system building techniques to compute higher limits over the centric orbit category. These tools are applied to establish cohomological sharpness (vanishing of higher limits for cohomology Mackey functors) for all saturated fusion systems on p-groups of maximal nilpotency class or rank 2, as well as for the polynomial, Henke-Shpectorov, and van Beek families. The work recovers most previously known cases, covers many exotic fusion systems, and for several families approximates full sharpness by showing vanishing of all but the first higher limits of arbitrary Mackey functors. The paper explicitly distinguishes cohomological sharpness from full sharpness and highlights the new link between fusion-system constructions and Mackey-functor limits.

Significance. If the inductive computations hold, the results supply a systematic method for verifying cohomological sharpness across broad classes of fusion systems, including most known exotic examples. This advances the Diaz-Park program by connecting standard building techniques directly to the vanishing of higher limits, recovers prior results uniformly, and isolates an interesting distinction between sharpness and its cohomological variant that may guide further work on Mackey functors over fusion systems.

minor comments (3)
  1. Abstract: 'nihlpotency' is a typographical error and should read 'nilpotency'.
  2. Abstract and introduction: the two cases excluded from the 'all but 2' statement are not identified; naming them would clarify the scope of the new results.
  3. The manuscript would benefit from a summary table listing each treated family together with the precise vanishing statements obtained (cohomological sharpness versus partial sharpness).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We appreciate the referee's positive summary and significance assessment of our manuscript on inductive tools for higher limits in fusion systems and the Diaz-Park sharpness conjecture. The referee recommends minor revision, but no specific major comments were listed. Therefore, we see no need for changes based on this report and believe the paper stands as is. We are encouraged by the recognition of our approach's ability to recover known cases and cover exotic fusion systems while distinguishing cohomological sharpness from full sharpness.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on inductive application of standard, externally established fusion-system building techniques to compute higher limits over the centric orbit category for specified families. The abstract and scope explicitly distinguish the weaker cohomological sharpness result from full sharpness, recover prior known cases as a consistency check, and extend to exotic examples without any reduction of the central claims to self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations. The approach is presented as a new connection between existing techniques and the conjectures rather than a closed self-referential loop.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms and definitions of saturated fusion systems, centric orbit categories, and Mackey functors from prior literature; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract description.

axioms (1)
  • standard math Standard axioms and definitions of saturated fusion systems, centric orbit categories, and Mackey functors
    The paper applies established frameworks from fusion system theory without stating new foundational assumptions.

pith-pipeline@v0.9.0 · 5502 in / 1305 out tokens · 46973 ms · 2026-05-08T13:30:04.349231+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

38 extracted references · 2 canonical work pages

  1. [1]

    A group-theoretic approach to a family of2-local finite groups constructed by Levi and Oliver

    M. Aschbacher and A. Chermak. “A group-theoretic approach to a family of2-local finite groups constructed by Levi and Oliver.” In:Annals of Mathematics171.2 (2010), pp. 881–978

    2010

  2. [2]

    Aschbacher, R

    M. Aschbacher, R. Kessar, and B. Oliver.Fusion systems in algebra and topology. Vol. 391. London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2011

    2011

  3. [3]

    Subgroup families controllingp-local finite groups

    C. Broto, N. Castellana, J. Grodal, R. Levi, and B. Oliver. “Subgroup families controllingp-local finite groups.” In: Proceedings of the London Mathematical Society91.3 (2005), pp. 325–354

    2005

  4. [4]

    A geometric construction of saturated fusion systems

    C. Broto, R. Levi, and B. Oliver. “A geometric construction of saturated fusion systems.” In:An Alpine Anthology of Homotopy Theory(2006), pp. 11–40

    2006

  5. [5]

    Homotopy equivalences of p-completed classifying spaces of finite groups

    C. Broto, R. Levi, and B. Oliver. “Homotopy equivalences of p-completed classifying spaces of finite groups.” In: Inventiones mathematicae151.3 (2003), pp. 611–664

    2003

  6. [6]

    The homotopy theory of fusion systems

    C. Broto, R. Levi, and B. Oliver. “The homotopy theory of fusion systems.” In:Journal of the American Mathematical Society16.4 (2003), pp. 779–856

    2003

  7. [7]

    Mackey functors for posets

    G. Carrión S. and A. Díaz. “Mackey functors for posets.” In:Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas119.40 (2025)

    2025

  8. [8]

    Fusion systems and localities

    A. Chermak. “Fusion systems and localities.” In:Acta Mathematica211.1 (2013), pp. 47–139

    2013

  9. [9]

    Two families of exotic fusion systems

    M. Clelland and C. Parker. “Two families of exotic fusion systems.” In:Journal of Algebra323 (2010), pp. 287–304

    2010

  10. [10]

    D. A. Craven.The theory of fusion systems: an algebraic approach. Vol. 131. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2011

    2011

  11. [11]

    Mackey functors and sharpness for fusion systems

    A. Díaz and S. Park. “Mackey functors and sharpness for fusion systems.” In:Homology, Homotopy and Applications 17.1 (2015), pp. 147–164

    2015

  12. [12]

    Allp-local finite groups of rank two for odd primep

    A. Díaz, A. Ruiz, and A. Viruel. “Allp-local finite groups of rank two for odd primep.” In:Transactions of the American Mathematical Society359.4 (2007), pp. 1725–1764

    2007

  13. [13]

    Cohomology on the centric orbit category of a fusion system

    G. Glauberman and J. Lynd. “Cohomology on the centric orbit category of a fusion system.” In:Fundamenta Mathematicae269.2 (2025), pp. 187–199

    2025

  14. [14]

    Sharpness of saturated fusion systems on a Sylowp-subgroup ofG2(p)

    V. Grazian and E. Marmo. “Sharpness of saturated fusion systems on a Sylowp-subgroup ofG2(p).” In:Homology, Homotopy and Applications25.2 (2023), pp. 329–342

    2023

  15. [15]

    Saturated Fusion Systems onp-Groups of Maximal Class

    V. Grazian and C. Parker. “Saturated Fusion Systems onp-Groups of Maximal Class.” In:Memoirs of the American Mathematical Society307.1549 (2025)

    2025

  16. [16]

    Fusion systems related to polynomial representations of SL2(q)

    V. Grazian, C. Parker, J. Semeraro, and M. van Beek. “Fusion systems related to polynomial representations of SL2(q).” In:Journal of the London Mathematical Society113.3 (2026)

    2026

  17. [17]

    Punctured groups for exotic fusion systems

    E. Henke, A. Libman, and J. Lynd. “Punctured groups for exotic fusion systems.” In:Transactions of the London Mathematical Society10.1 (2023), pp. 21–99. 24

    2023

  18. [18]

    Fusion systems over Sylowp-subgroups ofP Sp4(pa)

    E. Henke and S. Shpectorov. “Fusion systems over Sylowp-subgroups ofP Sp4(pa).” Unpublished notes

  19. [19]

    Homotopy decomposition of classifying spaces via elementary abelian subgroups

    S. Jackowski and J. McClure. “Homotopy decomposition of classifying spaces via elementary abelian subgroups.” In: Topology31.1 (1992), pp. 113–132

    1992

  20. [20]

    Realising fusion systems

    I. Leary and R. Stancu. “Realising fusion systems.” In:Algebra & Number Theory1.1 (2007), pp. 17–34

    2007

  21. [21]

    Construction of2-local finite groups of a type studied by Solomon and Benson

    R. Levi and B. Oliver. “Construction of2-local finite groups of a type studied by Solomon and Benson.” In:Geometry & Topology6.2 (2002), pp. 917–990

    2002

  22. [22]

    Introduction to fusion systems

    M. Linckelmann. “Introduction to fusion systems.” In:Group representation theory. EPFL Press, Lausanne, 2007, pp. 79–113

    2007

  23. [23]

    McCleary.A user’s guide to spectral sequences

    J. McCleary.A user’s guide to spectral sequences. Second. Vol. 58. Cambridge studies in advanced mathematics. Cambride University Press, Cambridge, 2001

    2001

  24. [24]

    Simple fusion systems over p -groups with abelian subgroup of index p : I

    B. Oliver. “Simple fusion systems over p -groups with abelian subgroup of index p : I.” In:Journal of Algebra398 (2014), pp. 527–541

    2014

  25. [25]

    Simplicity of fusion systems of finite simple groups

    B. Oliver and A. Ruiz. “Simplicity of fusion systems of finite simple groups.” In:Transactions of the American Mathematical Society374.11 (2021), pp. 7743–7777

    2021

  26. [26]

    Algorithms for fusion systems with applications top-groups of small order

    C. Parker and J. Semeraro. “Algorithms for fusion systems with applications top-groups of small order.” In:Math- ematics of Computation90.331 (2021), pp. 2415–2461

    2021

  27. [27]

    A family of fusion systems related to the groupsSp4 (pa)andG 2 (pa)

    C. Parker and G. Stroth. “A family of fusion systems related to the groupsSp4 (pa)andG 2 (pa).” In:Archiv der Mathematik104.4 (2015), pp. 311–323

    2015

  28. [28]

    Computinghigherlimitsoverthefusionorbitcategoryviaamalgams

    M.PraderioB.“Computinghigherlimitsoverthefusionorbitcategoryviaamalgams.” In:preprint: arXiv: 2601.14983 (2026)

    work page arXiv 2026

  29. [29]

    Mackey functors over fusion systems

    M. Praderio B. “Mackey functors over fusion systems.” PhD thesis. Lancaster University, 2024

    2024

  30. [30]

    Frobenius categories

    L. Puig. “Frobenius categories.” In:Journal of Algebra303.1 (2006), pp. 309–357

    2006

  31. [31]

    Amalgams, blocks, weights, fusion systems and finite simple groups

    G. R. Robinson. “Amalgams, blocks, weights, fusion systems and finite simple groups.” In:Journal of Algebra314.2 (2007), pp. 912–923

    2007

  32. [32]

    J. J. Rotman.An Introduction to Homological Algebra. Second. Universitext. Springer New York, New York, 2009

    2009

  33. [33]

    Trees of fusion systems

    J. Semeraro. “Trees of fusion systems.” In:Journal of Algebra399 (2014), pp. 1051–1072

    2014

  34. [34]

    Equivalent definitions of fusion systems

    R. Stancu. “Equivalent definitions of fusion systems.” Preprint. 2003

    2003

  35. [35]

    Exotic fusion systems related to sporadic simple groups

    M. Van Beek. “Exotic fusion systems related to sporadic simple groups.” In:Mathematical Proceedings of the Cam- bridge Philosophical Society(2025), pp. 1–54

    2025

  36. [36]

    Exotic Fusion Systems Related to Sporadic Simple Groups (Version With Code)

    M. Van Beek. “Exotic Fusion Systems Related to Sporadic Simple Groups (Version With Code).” In:preprint: arXiv: 2201.01790(2024)

    work page arXiv 2024

  37. [37]

    C. A. Weibel.An introduction to homological algebra. Vol. 38. Cambridge studies in advanced mathematics. Cam- bridge University Press, Cambridge, 1994

    1994

  38. [38]

    Higher limits over the fusion orbit category

    E. Yalçin. “Higher limits over the fusion orbit category.” In:Advances in Mathematics406 (2022). Article n. 108482. 25

    2022