pith. machine review for the scientific record. sign in

arxiv: 2605.11950 · v1 · submitted 2026-05-12 · 🧮 math.NT · math.AT

Recognition: 3 theorem links

· Lean Theorem

Weil-Moore anima

Dustin Clausen

Pith reviewed 2026-05-13 04:33 UTC · model grok-4.3

classification 🧮 math.NT math.AT
keywords Weil groupWeil-Moore animanumber fieldsK(π,1)homotopy groupscohomologyclass field theoryGalois group
0
0 comments X

The pith

The Weil group of a number field is not a K(π,1), so the Weil-Moore anima refines it with higher homotopy groups to improve its cohomology.

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

The paper claims that the absolute Galois group makes a number field behave like a K(π,1) space, but the Weil group refinement from class field theory does not. This leads to the introduction of the Weil-Moore anima, an object whose fundamental group is the Weil group yet which carries nontrivial higher homotopy groups. The central motivation is that this new object has cohomological properties that are nicer than those of either the Weil group or the Galois group in several respects. A reader would care because the change could simplify or reorganize standard calculations that rely on the cohomology of these groups in arithmetic contexts.

Core claim

The Weil group of a number field is a refinement of its absolute Galois group that arises from class field theory. While the Galois group makes the number field a K(π,1), the Weil group does not. The paper therefore constructs the Weil-Moore anima, which has the Weil group as its fundamental group but possesses nontrivial higher homotopy groups, with the explicit aim that its cohomological properties become nicer than those of the Weil or Galois groups.

What carries the argument

The Weil-Moore anima: an object that has the Weil group as fundamental group but nontrivial higher homotopy groups, built to correct the failure of the K(π,1) property under the Weil perspective.

If this is right

  • Cohomological invariants attached to number fields can be reinterpreted or simplified by replacing the Weil group with the Weil-Moore anima.
  • Class field theory statements that involve the Weil group acquire a homotopy-theoretic lift through the anima.
  • The distinction between Galois and Weil viewpoints is made precise by the failure of the K(π,1) property under the latter.
  • Further arithmetic objects may admit similar anima refinements when their fundamental-group descriptions prove insufficient.

Where Pith is reading between the lines

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

  • The construction suggests that homotopy theory can be used systematically to refine arithmetic groups whose cohomology is currently computed only at the level of fundamental groups.
  • If the nicer cohomology holds in practice, it may allow existing calculations in Galois cohomology to be lifted to a setting that automatically encodes higher information without additional ad-hoc choices.

Load-bearing premise

That the Weil perspective on a number field genuinely fails to produce a K(π,1) and that a homotopy refinement with nontrivial higher groups can be constructed whose cohomology is demonstrably nicer.

What would settle it

A direct comparison of specific cohomology groups computed from the Weil-Moore anima versus the same groups computed from the Weil group, showing no improvement or the disappearance of the expected higher homotopy.

read the original abstract

The Weil group of a number field is a refinement of its absolute Galois group arising from class field theory. The passage from Galois to Weil is important in several places in number theory. However, we will argue that while from the Galois perspective, a number field is a ``K($\pi$,1)'', from the Weil perspective it is not. Thus we are led to further refine the Weil group, by constructing an object, the Weil-Moore anima, which has the Weil group as its fundamental group, but with nontrivial higher homotopy groups. Our motivation is that the cohomological properties of Weil-Moore anima are in several ways nicer than those of the Weil or Galois groups.

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 argues that a number field is a K(π,1) from the Galois perspective but not from the Weil perspective, and therefore constructs the Weil-Moore anima as a homotopy refinement whose fundamental group is the Weil group but which carries nontrivial higher homotopy groups; the central motivation is that the cohomology of this anima is nicer than that of the Weil or absolute Galois groups.

Significance. If the construction can be made rigorous and the claimed cohomological improvements verified, the Weil-Moore anima would supply a new homotopy-theoretic object that refines the Weil group in a manner potentially useful for arithmetic cohomology, class field theory, and anabelian geometry.

major comments (1)
  1. The abstract (and the manuscript as presented) states the existence of the Weil-Moore anima and asserts that its cohomology is 'in several ways nicer' than that of the Weil or Galois groups, yet supplies neither an explicit definition of the anima, a construction of its homotopy groups, nor any computation or comparison of its cohomology groups. This absence is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the central gap in the presentation. We address the major comment point by point below.

read point-by-point responses
  1. Referee: The abstract (and the manuscript as presented) states the existence of the Weil-Moore anima and asserts that its cohomology is 'in several ways nicer' than that of the Weil or Galois groups, yet supplies neither an explicit definition of the anima, a construction of its homotopy groups, nor any computation or comparison of its cohomology groups. This absence is load-bearing for the central claim.

    Authors: We agree that the current manuscript introduces the Weil-Moore anima at a conceptual level, motivated by the observation that number fields behave as K(π,1) spaces from the absolute Galois perspective but not from the Weil perspective, and asserts improved cohomological properties without supplying the necessary details. The full text sketches the refinement but does not contain an explicit definition, a construction of the higher homotopy groups, or any concrete cohomology computations or comparisons. This is a substantive omission for the central claims. In the revised version we will add a precise definition of the anima, describe the construction of its homotopy groups, and include explicit comparisons of its cohomology with that of the Weil group and the absolute Galois group. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new object introduced via conceptual refinement

full rationale

The paper presents the Weil-Moore anima as a homotopy-theoretic refinement of the Weil group, motivated by the observation that number fields fail to be K(π,1) spaces from the Weil perspective (in contrast to the Galois case). This is framed as the starting point for constructing an object with the Weil group as fundamental group but nontrivial higher homotopy groups, whose cohomology is claimed to be nicer. No equations, fitted parameters, or reductions of predictions to inputs appear in the provided material. The central claim is an introduction of a new object rather than a re-derivation or self-referential definition of existing quantities, and no load-bearing self-citations or uniqueness theorems are invoked. The derivation chain is therefore self-contained as a definitional construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the existence of the Weil-Moore anima and the assertion that its cohomology is nicer; these are not derived from prior literature in the abstract.

axioms (2)
  • domain assumption A number field is a K(π,1) from the Galois perspective but not from the Weil perspective.
    Invoked directly in the abstract to motivate the refinement.
  • standard math The Weil group arises as a refinement of the absolute Galois group via class field theory.
    Standard background fact in algebraic number theory.
invented entities (1)
  • Weil-Moore anima no independent evidence
    purpose: An object with the Weil group as fundamental group but nontrivial higher homotopy groups, intended to have improved cohomological properties.
    Newly introduced object whose properties are asserted but not constructed in the abstract.

pith-pipeline@v0.9.0 · 5396 in / 1553 out tokens · 92464 ms · 2026-05-13T04:33:40.197377+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.

Reference graph

Works this paper leans on

68 extracted references · 68 canonical work pages · 2 internal anchors

  1. [1]

    The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support

    Dima Arinkin, Dennis Gaitsgory, David Kazhdan, Sam Raskin, Nick Rozenblyum, and Yasha Varshavsky. “The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support”. In:arXiv preprint arXiv:2010.01906 (2020)

  2. [2]

    A note on the automorphic Langlands group

    James Arthur. “A note on the automorphic Langlands group”. In:Canadian Mathe- matical Bulletin45.4 (2002), pp. 466–482

  3. [3]

    Emil Artin and John Torrence Tate.Class field theory. Vol. 366. American Mathemat- ical Soc., 1968

  4. [4]

    Topologicalϵ-factors

    Alexander Beilinson. “Topologicalϵ-factors”. In:Pure and Applied Mathematics Quar- terly3.1 (2007), pp. 357–391

  5. [5]

    Betti geometric Langlands

    David Ben-Zvi and David Nadler. “Betti geometric Langlands”. In:arXiv preprint arXiv:1606.08523(2016)

  6. [6]

    Relative Langlands du- ality

    David Ben-Zvi, Yiannis Sakellaridis, and Akshay Venkatesh. “Relative Langlands du- ality”. In:arXiv preprint arXiv:2409.04677(2024)

  7. [7]

    Hidden sign in Langlands’ correspondence

    Joseph Bernstein. “Hidden sign in Langlands’ correspondence”. In:arXiv preprint arXiv:2004.10487(2020)

  8. [8]

    Local compactness as the K(1)-local dual of finite generation

    Oliver Braunling. “Local compactness as the K(1)-local dual of finite generation”. In: arXiv preprint arXiv:2301.05943(2023)

  9. [9]

    Pseudocompact algebras, profinite groups and class formations

    Armand Brumer. “Pseudocompact algebras, profinite groups and class formations”. en. In:Bull. Amer. Math. Soc.72.4 (1966), pp. 321–324

  10. [10]

    The conjectural connections between automorphic representations and Galois representations

    Kevin Buzzard and Toby Gee. “The conjectural connections between automorphic representations and Galois representations”. In:Automorphic forms and Galois repre- sentations1 (2014), pp. 135–187

  11. [11]

    A K-theoretic approach to Artin maps

    Dustin Clausen. “A K-theoretic approach to Artin maps”. In:arXiv preprint arXiv:1703.07842 (2017)

  12. [12]

    Duality and linearization for p-adic lie groups

    Dustin Clausen. “Duality and linearization for p-adic lie groups”. In:arXiv preprint arXiv:2506.18174(2025). 129

  13. [13]

    Hyperdescent and ´ etale K-theory

    Dustin Clausen and Akhil Mathew. “Hyperdescent and ´ etale K-theory”. In:Inventiones mathematicae225.3 (2021), pp. 981–1076

  14. [14]

    Descent and vanish- ing in chromatic algebraicK-theory via group actions

    Dustin Clausen, Akhil Mathew, Niko Naumann, and Justin Noel. “Descent and vanish- ing in chromatic algebraicK-theory via group actions”. In:arXiv preprint arXiv:2011.08233 (2020)

  15. [15]

    Les constantes locales de l’´ equation fonctionnelle de la fonction L d’Artin d’une repr´ esentation orthogonale

    Pierre Deligne. “Les constantes locales de l’´ equation fonctionnelle de la fonction L d’Artin d’une repr´ esentation orthogonale”. In:Inventiones mathematicae35.1 (1976), pp. 299–316

  16. [16]

    Matthew Emerton and Toby Gee.Moduli stacks of ´ etale (φ,Γ)-modules and the exis- tence of crystalline lifts. 215. Princeton University Press, 2022

  17. [17]

    An introduction to the categor- ical p-adic Langlands program

    Matthew Emerton, Toby Gee, and Eugen Hellmann. “An introduction to the categor- ical p-adic Langlands program”. In:arXiv preprint arXiv:2210.01404(2022)

  18. [18]

    Does There Exist an Arithmetic Kodaira–Spencer Class?

    Gerd Faltings. “Does There Exist an Arithmetic Kodaira–Spencer Class?” In:Algebraic Geometry: Hirzebruch 70. Vol. 241. Contemporary Mathematics. American Mathemat- ical Society, 1999, pp. 141–146

  19. [19]

    From local class field to the curve and vice versa

    Laurent Fargues. “From local class field to the curve and vice versa”. In:AMS Summer Institute in Algebraic Geometry. 2015

  20. [20]

    [Ger25] Lucas Gerth,The relativep-adic hodge theory of analyticp-divisible groups, Disserta- tion, Johann Wolfgang Goethe-Universität Frankfurt am Main,

    Laurent Fargues and Peter Scholze. “Geometrization of the local Langlands correspon- dence”. In:arXiv preprint arXiv:2102.13459(2021)

  21. [21]

    Cohomology of topological groups with applications to the Weil group

    Mathias Flach. “Cohomology of topological groups with applications to the Weil group”. In:Compositio Mathematica144.3 (2008), pp. 633–656

  22. [22]

    Formes diff´ erentielles et modules de Tate des vari´ et´ es ab´ eliennes sur les corps locaux

    Jean-Marc Fontaine. “Formes diff´ erentielles et modules de Tate des vari´ et´ es ab´ eliennes sur les corps locaux”. In:Inventiones mathematicae65.3 (1982), pp. 379–409

  23. [23]

    From geometric to function-theoretic Langlands (or how to invent shtukas)

    Dennis Gaitsgory. “From geometric to function-theoretic Langlands (or how to invent shtukas)”. In:arXiv preprint arXiv:1606.09608(2016)

  24. [24]

    Proof of the geometric Langlands conjecture V: The multiplicity one theorem

    Dennis Gaitsgory and Sam Raskin. “Proof of the geometric Langlands conjecture V: The multiplicity one theorem”. In:arXiv preprint arXiv:2409.09856(2024)

  25. [25]

    Derived Galois deformation rings

    S. Galatius and A. Venkatesh. “Derived Galois deformation rings”. In:Advances in Mathematics327 (Mar. 2018), pp. 470–623.issn: 0001-8708

  26. [26]

    Universality of multiplicative in- finite loop space machines

    David Gepner, Moritz Groth, and Thomas Nikolaus. “Universality of multiplicative in- finite loop space machines”. In:Algebraic & Geometric Topology15.6 (2016), pp. 3107– 3153

  27. [27]

    Springer, 2003

    Alexander Grothendieck and Michele Raynaud.Revˆ etements ´ etales et groupe fonda- mental: S´ eminaire de G´ eometrie Alg´ ebrique du Bois Marie 1960-61, SGA1. Springer, 2003

  28. [28]

    Tate objects in stable(∞,1)-categories

    Benjamin Hennion. “Tate objects in stable(∞,1)-categories”. In:arXiv preprint arXiv:1606.05527 (2016). 130

  29. [29]

    Cohomology of Lie groups

    Gerhard Hochschild and George Daniel Mostow. “Cohomology of Lie groups”. In: Illinois Journal of Mathematics6.3 (1962), pp. 367–401

  30. [30]

    Equidimensional immersions of locally compact groups

    Karl H Hofmann, Ta-Sun Wu, and Jeoung S Yang. “Equidimensional immersions of locally compact groups”. In:Mathematical Proceedings of the Cambridge Philosophical Society. Vol. 105. 2. Cambridge University Press. 1989, pp. 253–261

  31. [31]

    Courbes et fibr´ es vectoriels en th´ eorie de Hodgez-adique globale

    Siyan Daniel Li-Huerta. “Courbes et fibr´ es vectoriels en th´ eorie de Hodgez-adique globale”. In:arXiv preprint arXiv:2602.04978(2026)

  32. [32]

    Representations of the Kottwitz gerbes

    Sergei Iakovenko. “Representations of the Kottwitz gerbes”. PhD thesis. Rheinische Friedrich-Wilhelms-Universitaet Bonn (Germany), 2021

  33. [33]

    On some types of topological groups

    Kenkichi Iwasawa. “On some types of topological groups”. In:Annals of mathematics 50.3 (1949), pp. 507–558

  34. [34]

    Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via BdR. Part I

    Kazuya Kato. “Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via BdR. Part I”. In:Arithmetic Algebraic Geometry: Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (CIME) held in Trento, Italy, June 24–July 2, 1991. Springer, 2006, pp. 50–163

  35. [35]

    B(G) for all local and global fields

    Robert Kottwitz. “B(G) for all local and global fields”. In:arXiv preprint arXiv:1401.5728 (2014)

  36. [36]

    Topologizing Lie algebra cohomology

    David Kyed. “Topologizing Lie algebra cohomology”. In:Differential Geometry and its Applications49 (2016), pp. 208–226

  37. [37]

    Chtoucas pour les groupes r´ eductifs et param´ etrisation de Lang- lands globale

    Vincent Lafforgue. “Chtoucas pour les groupes r´ eductifs et param´ etrisation de Lang- lands globale”. In:arXiv preprint arXiv:1209.5352(2012)

  38. [38]

    Automorphic representations, Shimura varieties, and motives. Ein M¨ archen

    Robert P Langlands. “Automorphic representations, Shimura varieties, and motives. Ein M¨ archen”. In:Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part. Vol. 2. 1979, pp. 205– 246

  39. [39]

    The Weil-´ etale topology for number rings

    Stephen Lichtenbaum. “The Weil-´ etale topology for number rings”. In:Annals of math- ematics(2009), pp. 657–683

  40. [40]

    Princeton University Press, 2009

    Jacob Lurie.Higher topos theory. Princeton University Press, 2009

  41. [41]

    Cohomological dimension of discrete modules over profinite groups

    Juan Jos´ e Mart´ ınez. “Cohomological dimension of discrete modules over profinite groups”. In:Pacific Journal of Mathematics49.1 (1973), pp. 185–189

  42. [42]

    J. S. Milne.Arithmetic Duality Theorems. 2nd ed. BookSurge Publishers, 2006

  43. [43]

    Springer, 2012

    Masanori Morishita.Knots and primes. Springer, 2012

  44. [44]

    Jan Nekov´ ar.Selmer complexes. Vol. 310. Soci´ et´ e math´ ematique de France, 2006

  45. [45]

    J¨ urgen Neukirch, Alexander Schmidt, and Kay Wingberg.Cohomology of number fields. Vol. 323. Springer Science & Business Media, 2013

  46. [46]

    Georges Poitou.Cohomologie galoisienne des modules finis: S´ eminaire de l’Institut de math´ ematiques de Lille [1962-1963]. 13. Dunod, 1967. 131

  47. [47]

    Springer, 2006

    N Saavedra Rivano.Cat´ egories tannakiennes. Springer, 2006

  48. [48]

    GEOMETRIC LANGLANDS [after Gaitsgory, Raskin,...]

    Peter Scholze. “GEOMETRIC LANGLANDS [after Gaitsgory, Raskin,...]” In:S´ eminaire BOURBAKI(2026), 78e

  49. [49]

    Peter Scholze.Geometrization of the real local Langlands correspondence (draft version, used for ARGOS seminar). 2024

  50. [50]

    Peter Scholze.Lectures on Analytic Geometry. 2026. arXiv:2605.03655 [math.AG]

  51. [51]

    Peter Scholze.Lectures on Condensed Mathematics. 2026. arXiv:2605.03658 [math.NT]

  52. [52]

    p-adic Geometry

    Peter Scholze. “p-adic Geometry”. In:Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018. World Scientific. 2018, pp. 899–933

  53. [53]

    Berkeley Lectures on p-adic Geometry:(AMS- 207)

    Peter Scholze and Jared Weinstein. “Berkeley Lectures on p-adic Geometry:(AMS- 207)”. In: (2020)

  54. [54]

    Cocycles for Kottwitz cohomology

    Jack Sempliner and Richard Taylor. “Cocycles for Kottwitz cohomology”. In:arXiv preprint arXiv:2407.06031(2024)

  55. [55]

    Jean-Pierre Serre.Cohomologie galoisienne. Vol. 5. Springer Science & Business Media, 1994

  56. [56]

    Homologie singuli` ere des espaces fibr´ es

    Jean-Pierre Serre. “Homologie singuli` ere des espaces fibr´ es”. In:Annals of Mathematics 54.3 (1951), pp. 425–505

  57. [57]

    La distribution d’Euler-Poincar´ e d’un groupe

    Jean-Pierre Serre. “La distribution d’Euler-Poincar´ e d’un groupe”. In:Galois repre- sentations in arithmetic algebraic geometry254 (1998), p. 461

  58. [58]

    Jean-Pierre Serre et al.Linear representations of finite groups. Vol. 42. Springer, 1977

  59. [59]

    Springer Science & Business Media, 2013

    Jean-Pierre Serre.Local fields. Springer Science & Business Media, 2013

  60. [60]

    Modular forms of weight one and Galois representations

    Jean-Pierre Serre. “Modular forms of weight one and Galois representations”. In: Springer Collected Works in Mathematics(2003), pp. 292–367

  61. [61]

    Mixed twistor structures

    Carlos Simpson. “Mixed twistor structures”. In:arXiv preprint alg-geom/9705006 (1997)

  62. [62]

    Equivariant Moore spaces

    Justin R Smith. “Equivariant Moore spaces”. In:Algebraic and Geometric Topology: Proceedings of a Conference held at Rutgers University, New Brunswick, USA July 6–13, 1983. Springer. 2006, pp. 238–270

  63. [63]

    Duality theorems in Galois cohomology over number fields

    John Tate. “Duality theorems in Galois cohomology over number fields”. In:Proc. Internat. Congr. Mathematicians (Stockholm, 1962). 1962, pp. 288–295

  64. [64]

    Number theoretic background

    John Tate. “Number theoretic background”. In:Proc. Sympos. Pure Math.Vol. 33. 1979, pp. 3–26

  65. [65]

    The cohomology groups of tori in finite Galois extensions of number fields

    John Tate. “The cohomology groups of tori in finite Galois extensions of number fields”. In:Nagoya Mathematical Journal27.2 (1966), pp. 709–719

  66. [66]

    Algebraic families of Galois representations and potentially semi- stable pseudodeformation rings

    Carl Wang-Erickson. “Algebraic families of Galois representations and potentially semi- stable pseudodeformation rings”. In:Mathematische Annalen371.3 (2018), pp. 1615– 1681. 132

  67. [67]

    Sur la th´ eorie du corps de classes

    Andr´ e Weil. “Sur la th´ eorie du corps de classes”. In:Journal of the Mathematical Society of Japan3.1 (1951), pp. 1–35

  68. [68]

    Coherent sheaves on the stack of Langlands parameters

    Xinwen Zhu. “Coherent sheaves on the stack of Langlands parameters”. In:arXiv preprint arXiv:2008.02998(2020). 133