Recognition: 3 theorem links
· Lean TheoremWeil-Moore anima
Pith reviewed 2026-05-13 04:33 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- 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
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
-
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
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
axioms (2)
- domain assumption A number field is a K(π,1) from the Galois perspective but not from the Weil perspective.
- standard math The Weil group arises as a refinement of the absolute Galois group via class field theory.
invented entities (1)
-
Weil-Moore anima
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclearTheorem 1.2: condensed anima X_Q with π_1 ≅ W_Q, π_n compact Hausdorff for n>1, and H^i(X_K; R/Z)=0 for i>1; motivation from fixing higher cohomology of BW_K and archimedean Tate cohomology issues in Poitou-Tate duality.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat ≃ Nat recovery; embed_strictMono_of_one_lt unclearConstruction via Postnikov tower of BW_Q = K(W_Q,1) adding higher homotopy to repair cohomological dimension and duality (analogous to S^n vs K(Z,n)).
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclearWeil-Moore anima yields uniform 2-dimensional duality and Euler characteristic 0 independent of real places/Leopoldt conjecture.
Reference graph
Works this paper leans on
-
[1]
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]
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
work page 2002
-
[3]
Emil Artin and John Torrence Tate.Class field theory. Vol. 366. American Mathemat- ical Soc., 1968
work page 1968
-
[4]
Alexander Beilinson. “Topologicalϵ-factors”. In:Pure and Applied Mathematics Quar- terly3.1 (2007), pp. 357–391
work page 2007
-
[5]
David Ben-Zvi and David Nadler. “Betti geometric Langlands”. In:arXiv preprint arXiv:1606.08523(2016)
-
[6]
David Ben-Zvi, Yiannis Sakellaridis, and Akshay Venkatesh. “Relative Langlands du- ality”. In:arXiv preprint arXiv:2409.04677(2024)
-
[7]
Hidden sign in Langlands’ correspondence
Joseph Bernstein. “Hidden sign in Langlands’ correspondence”. In:arXiv preprint arXiv:2004.10487(2020)
-
[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]
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
work page 1966
-
[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
work page 2014
-
[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]
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]
Hyperdescent and ´ etale K-theory
Dustin Clausen and Akhil Mathew. “Hyperdescent and ´ etale K-theory”. In:Inventiones mathematicae225.3 (2021), pp. 981–1076
work page 2021
-
[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]
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
work page 1976
-
[16]
Matthew Emerton and Toby Gee.Moduli stacks of ´ etale (φ,Γ)-modules and the exis- tence of crystalline lifts. 215. Princeton University Press, 2022
work page 2022
-
[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]
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
work page 1999
-
[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
work page 2015
-
[20]
Laurent Fargues and Peter Scholze. “Geometrization of the local Langlands correspon- dence”. In:arXiv preprint arXiv:2102.13459(2021)
-
[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
work page 2008
-
[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
work page 1982
-
[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]
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]
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
work page 2018
-
[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
work page 2016
-
[27]
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
work page 1960
-
[28]
Tate objects in stable(∞,1)-categories
Benjamin Hennion. “Tate objects in stable(∞,1)-categories”. In:arXiv preprint arXiv:1606.05527 (2016). 130
-
[29]
Gerhard Hochschild and George Daniel Mostow. “Cohomology of Lie groups”. In: Illinois Journal of Mathematics6.3 (1962), pp. 367–401
work page 1962
-
[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
work page 1989
-
[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]
Representations of the Kottwitz gerbes
Sergei Iakovenko. “Representations of the Kottwitz gerbes”. PhD thesis. Rheinische Friedrich-Wilhelms-Universitaet Bonn (Germany), 2021
work page 2021
-
[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
work page 1949
-
[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
work page 1991
-
[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]
Topologizing Lie algebra cohomology
David Kyed. “Topologizing Lie algebra cohomology”. In:Differential Geometry and its Applications49 (2016), pp. 208–226
work page 2016
-
[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]
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
work page 1977
-
[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
work page 2009
-
[40]
Princeton University Press, 2009
Jacob Lurie.Higher topos theory. Princeton University Press, 2009
work page 2009
-
[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
work page 1973
-
[42]
J. S. Milne.Arithmetic Duality Theorems. 2nd ed. BookSurge Publishers, 2006
work page 2006
- [43]
-
[44]
Jan Nekov´ ar.Selmer complexes. Vol. 310. Soci´ et´ e math´ ematique de France, 2006
work page 2006
-
[45]
J¨ urgen Neukirch, Alexander Schmidt, and Kay Wingberg.Cohomology of number fields. Vol. 323. Springer Science & Business Media, 2013
work page 2013
-
[46]
Georges Poitou.Cohomologie galoisienne des modules finis: S´ eminaire de l’Institut de math´ ematiques de Lille [1962-1963]. 13. Dunod, 1967. 131
work page 1962
- [47]
-
[48]
GEOMETRIC LANGLANDS [after Gaitsgory, Raskin,...]
Peter Scholze. “GEOMETRIC LANGLANDS [after Gaitsgory, Raskin,...]” In:S´ eminaire BOURBAKI(2026), 78e
work page 2026
-
[49]
Peter Scholze.Geometrization of the real local Langlands correspondence (draft version, used for ARGOS seminar). 2024
work page 2024
-
[50]
Peter Scholze.Lectures on Analytic Geometry. 2026. arXiv:2605.03655 [math.AG]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[51]
Peter Scholze.Lectures on Condensed Mathematics. 2026. arXiv:2605.03658 [math.NT]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[52]
Peter Scholze. “p-adic Geometry”. In:Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018. World Scientific. 2018, pp. 899–933
work page 2018
-
[53]
Berkeley Lectures on p-adic Geometry:(AMS- 207)
Peter Scholze and Jared Weinstein. “Berkeley Lectures on p-adic Geometry:(AMS- 207)”. In: (2020)
work page 2020
-
[54]
Cocycles for Kottwitz cohomology
Jack Sempliner and Richard Taylor. “Cocycles for Kottwitz cohomology”. In:arXiv preprint arXiv:2407.06031(2024)
-
[55]
Jean-Pierre Serre.Cohomologie galoisienne. Vol. 5. Springer Science & Business Media, 1994
work page 1994
-
[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
work page 1951
-
[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
work page 1998
-
[58]
Jean-Pierre Serre et al.Linear representations of finite groups. Vol. 42. Springer, 1977
work page 1977
-
[59]
Springer Science & Business Media, 2013
Jean-Pierre Serre.Local fields. Springer Science & Business Media, 2013
work page 2013
-
[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
work page 2003
-
[61]
Carlos Simpson. “Mixed twistor structures”. In:arXiv preprint alg-geom/9705006 (1997)
-
[62]
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
work page 1983
-
[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
work page 1962
-
[64]
John Tate. “Number theoretic background”. In:Proc. Sympos. Pure Math.Vol. 33. 1979, pp. 3–26
work page 1979
-
[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
work page 1966
-
[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
work page 2018
-
[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
work page 1951
-
[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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.