Pith. sign in

REVIEW 2 major objections 5 minor 12 references

Cohomology of the classifying spaces of $U(n)$-gauge groups over the 2-sphere

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Now computed: full cohomology ring of U(n)-gauge groups over S^2

desk verdict First complete integral cohomology computation for U(n)-gauge group classifying spaces over S^2, built on a genuinely new free double suspension; the main proof needs one algebraic gap filled. read the letter →

arxiv 1908.04448 v1 pith:EHC6WNHR submitted 2019-08-13 math.AT

Masahiro Takeda This is my paper · ORCID
classification math.AT MSC 55R3555P3555R40
keywords classifyingspacegaugegroupcohomologyringunitaryfreedoublesuspensionmappingChernclassesPoincaréseries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper determines, for every rank $n$ and every Chern number $k$, the integral cohomology ring of the classifying space $BG(P_{n,k})$ of the gauge group of the principal $\mathrm{U}(n)$-bundle over the 2-sphere $S^2$. The answer is a concrete presentation: a polynomial ring in $n$ Chern classes $c_i$ and infinitely many classes $x_i$, modulo the relations $h_i = k c_i + \sum_{1\le j\le i} (-1)^j s_j(x_1,\dots,x_j)c_{i-j}$ for $i\ge n$. The method introduces a free double suspension, a cohomology operation on mapping spaces $\mathrm{Map}(S^2, X; f)$ that generalizes the free loop suspension. A curious reader might care because these classifying spaces model moduli spaces of connections, and no complete integral computation for the nontrivial case existed before.

What carries the argument

The central object is the free double suspension $\hat\sigma_f^2\colon H^*(X)\to H^{*-2}(\mathrm{Map}(S^2,X;f))$, defined by $\hat\sigma_f^2(x)=\hat e^*(x)/v$, where $v\in H_2(S^2)$ is the fundamental class and the slant product is taken with the evaluation map $\hat e\colon S^2\times \mathrm{Map}(S^2,X;f)\to X$. This operation is a derivation, restricts to the ordinary double cohomology suspension on the fiber, and satisfies a component-shift formula. Together with a classical computation of $H^*(\Omega SU(n))$, it produces the relations $h_i$ and supplies the denominator factor in the Poincar\'e-series comparison that turns the surjection into an isomorphism.

What would settle it

For a small case such as $n=2$ and $k=1$, compute with a computer algebra system the quotient $\mathbb{F}_p[c_1,c_2,x_1,x_2,\dots]/(h_2,h_3,\dots)$ and compare its Poincar\'e series with the claimed series; any degree in which they differ, or any nonzero element annihilated by $c_1$ or $c_2$, would disprove the theorem.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that there is an isomorphism $H^*(BG(P_{n,k});\mathbb{Z}) \cong \mathbb{Z}[c_1,\dots,c_n,x_1,x_2,\dots]/(h_n,h_{n+1},\dots)$, where $h_i = k c_i + \sum_{1\le j\le i} (-1)^j s_j(x_1,\dots,x_j)c_{i-j}$ and each $x_i$ is realized as the $i$-th Chern class of a virtual bundle. The proof constructs a surjection from this quotient to the cohomology of the mapping-space model $\mathrm{Map}(S^2, BU(n); k)$, proves the relations $h_i$ lie in the kernel using the derivation property of the free double suspension, and then proves the map is an isomorphism by comparing Poincar\'e series over arbitrary fields. This gives the first complete determination of the integral cohomology ring for classifying spaces of gauge groups in this nontrivial setting.

Load-bearing premise

The proof of the isomorphism relies on the algebraic assertion, stated without proof, that $c_1,\dots,c_n$ form a regular sequence in the quotient ring, meaning each $c_i$ acts injectively on the quotient by the previous ones; the Poincar\'e-series calculation that turns the surjection into an isomorphism would break if this failed.

Editorial extensions

If this is right

  • The integral cohomology of $BG(P_{n,k})$ is torsion-free and concentrated in even degrees, so all odd-degree cohomology vanishes.
  • For $k=0$, the relations reduce to the Newton-polynomial relations $s_i(x_1,\dots,x_i)=0$ for $i\ge n$, while nonzero $k$ deforms this picture by adding Chern-class terms.
  • The classes $x_i$ are Chern classes of an explicit virtual bundle, so the ring presentation can be probed through K-theory characteristic-class computations.
  • The same free double suspension construction applies to other evaluation fibrations over $S^2$, offering a general route to mapping-space cohomology rings.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the theorem is correct, the classifying space $BG(P_{n,k})$ has no torsion, so mod-$p$ and integral computations for these spaces coincide; the paper does not spell out this direct corollary.
  • One could try replacing $S^2$ by $S^{2m}$, using the slant product with the fundamental class of $S^{2m}$; the same construction would likely yield analogous relation families indexed by Newton polynomials.
  • The appearance of Newton polynomials in the relations suggests a reformulation in terms of Adams operations or power sums in K-theory, which might give a shorter recursive description of the ring.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. This paper studies the classifying spaces BG(P_{n,k}) of gauge groups of principal U(n)-bundles over S^2 with first Chern number k. The main result, Theorem 1.1, asserts an integral cohomology ring isomorphism H^*(BG(P_{n,k});Z) ≅ Z[c_1,...,c_n,x_1,x_2,...]/(h_n,h_{n+1},...), where h_i = k c_i + sum_{1≤j≤i} (-1)^j s_j(x_1,...,x_j)c_{i-j}. The proof constructs a free double suspension operation (generalizing the free loop suspension of Kishimoto–Kono), uses the evaluation fibration Ω^2_k BU(n) → Map(S^2,BU(n);k) → BU(n), and compares Poincaré series over arbitrary fields to convert a surjection into an isomorphism. Bott's theorem on H^*(ΩSU(n)) is used as an external benchmark, and a K-theory class is produced realizing the x_i as Chern classes.

Significance. If correct, Theorem 1.1 provides the first complete integral cohomology ring computation for classifying spaces of gauge groups over S^2 for all n and all Chern numbers k, going beyond the previously known mod-p homology and rational Poincaré series. The paper's approach is natural: it imports a technique from free loop spaces and combines it with standard spectral sequence arguments. No free parameters are introduced, and the final ring presentation is concrete and checkable. The main obstruction to accepting the proof as written is a missing algebraic verification in the Poincaré series step, which appears to be repairable within the manuscript's scope.

major comments (2)
  1. [Proof of Theorem 1.1, Poincaré series paragraph] The assertion that c_1,...,c_n is a regular sequence in A_F is stated without proof and is load-bearing: it is exactly what justifies the displayed formula Pt(A_F) = Pt(F[x_1,x_2,...]/(s_n,s_{n+1},...))/((1-t^2)...(1-t^{2n})). Without regularity, the equality of Poincaré series with H^*(Map(S^2,BU(n);k);F) does not follow, so the proof that the surjective map \bar{Φ} is an isomorphism over every field breaks. The statement is not immediate from the congruence h_i ≡ s_i(x) mod (c_1,...,c_n); one also needs the associated graded of A_F with respect to the c-adic filtration to be B[c_1,...,c_n] with B = F[x]/(s_n,s_{n+1},...) and a standard criterion for regularity. Please add this argument or a precise reference.
  2. [Lemma 3.2] The derivation of the formula for σ_0^2(c_m) is too compressed to be checked. In particular, the step from the rational-cohomology equality u × ch(ξ_∞) = u × β^*(σ_0^2(ch(ξ_∞))) to the integral statement u × s_m = u × β^*(σ_0^2((-1)^m c_{m+1})) requires a coefficient-by-coefficient comparison in the Chern character and cancellation of u, and it also needs the observation that H^*(BU(∞);Z) is torsion-free so that rational equality of integral classes implies integral equality. Since Lemma 3.2 is used to prove the relations h_i lie in the kernel of Φ, this lemma is load-bearing; please expand the proof to display these steps.
minor comments (5)
  1. [Proof of Theorem 1.1] The reference 'Lemma 3.1 (2)' should be 'Proposition 3.1 (2)'.
  2. [Theorem 1.1 statement] The notation c_0, used implicitly when j=i in the definition of h_i, is not defined; define c_0=1.
  3. [Abstract and title] The abstract and title contain typographical errors such as 'classify ing', 'p rincipal', and 'SP ACES'.
  4. [Final paragraph of proof of Theorem 1.1] The Künneth formula in K-theory for S^2 × Map(S^2,BU(∞);k) is asserted without proof or reference; since the mapping space is not a finite complex, please add a brief justification or citation.
  5. [Proposition 2.1(3)] The map φ appearing in Lemma 2.2 is defined only in the proof of that lemma; consider stating its definition in Lemma 2.2 for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the cohomology computation derives the new ring relations from the free double suspension and compares against Bott's external theorem.

full rationale

The derivation is self-contained against external benchmarks. The central claim is Theorem 1.1, and the proof constructs the ring map Phi via the free double suspension, then proves surjectivity by Leray-Hirsch and injectivity by a Poincare-series comparison. The relations h_i are not assumed as inputs; they are proved to lie in the kernel by computing hat-sigma^2_k on i_n^*(c_{i+1}) using Proposition 2.1, Lemma 2.2, and Lemma 3.2. No fitted parameter is renamed as a prediction, and the target cohomology ring is not used to define the source ring. The cited results [3] (Bott) and [6] (Kishimoto-Kono) are external prior theorems used as tools, not self-citations that smuggle in the main conclusion. The only substantive caveat is algebraic, not circular: in the proof of Theorem 1.1 the paper asserts without proof that c_1, ..., c_n is a regular sequence in A_F, and the displayed Poincare-series formula depends on that assertion. If that regularity fails, the dimension comparison proving that bar-Phi is an isomorphism would not follow. This is a proof gap or unresolved technical claim, but it is not a circularity, because the regular-sequence assertion is not an input equivalent to the target result and is not established by assuming the theorem.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard background results, including Bott's theorem, infinite loop space facts, and spectral sequence collapse, plus one unproved algebraic regularity assertion. There are no fitted free parameters and no new postulated entities; the free double suspension is a new operation, not an invented entity.

assumptions (4)
  • standard math Bott's theorem: H^*(Omega SU(n);Z) is isomorphic to Z[y1,y2,...]/(s_n,s_{n+1},...), with |y_i|=2i.
    Used in Lemma 3.1(1) to identify the fiber cohomology of the evaluation fibration. Cited as Bott [3, Proposition 8.1].
  • standard math Omega^2_0 BU(infinity) is homotopy equivalent to BU(infinity) via the map beta, so beta^* is an isomorphism in cohomology.
    Used throughout Section 3 to pull back generators via (beta^*)^{-1}(c_m). This is a standard fact about infinite loop spaces, not proved in the paper.
  • standard math The evaluation fibration Omega^2_k BU(n) -> Map(S^2,BU(n);k) -> BU(n) has a Serre spectral sequence that collapses because fiber and base have only even-dimensional cells.
    Used in Section 1 and in the proof of Theorem 1.1 to get the module structure and Poincare series of the mapping space. The even-cell claim follows from Omega^2_k BU(n) being homotopy equivalent to Omega SU(n).
  • domain assumption c1,...,cn is a regular sequence in A_F = F[c1,...,cn,x1,x2,...]/(h_n,h_{n+1},...).
    Asserted without proof in the Poincare series calculation in the proof of Theorem 1.1. The equality of Poincare series depends on this algebraic statement. It is likely true via the associated graded, but the paper does not justify it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology of the classifying spaces of $U(n)$-gauge groups over the 2-sphere." pith.science (2026). https://pith.science/paper/EHC6WNHR

@misc{pith2026190804448,
  author       = {Pith},
  title        = {Pith review of: Cohomology of the classifying spaces of $U(n)$-gauge groups over the 2-sphere},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EHC6WNHR}},
  note         = {Machine review of arXiv:1908.04448}
}
read the original abstract

A gauge group is the topological group of automorphisms of a principal bundle. We compute the integral cohomology ring of the classifying spaces of gauge groups of principal U(n)-bundles over the 2-sphere by generalizing the operation for free loop spaces, called the free double suspension.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    M. F. Atiyah and R. Bott, The Yang-Mills equations over Ri emann surfaces. Philos. Trans. Roy. Soc. London Ser. A 308 (1983), no. 1505, 523-615

    work page 1983

  2. [2]

    M. F. Atiyah and D. W. Anderson, K-Theory. W. A. Benjamin, Inc., New York (1967)

    work page 1967

  3. [3]

    Bott, The space of loops on a Lie group

    R. Bott, The space of loops on a Lie group. Michigan Math. J. 5 (1958) 35-61

    work page 1958

  4. [4]

    Choi, Homology of the classifying space of Sp(n) gauge groups

    Y. Choi, Homology of the classifying space of Sp(n) gauge groups. Israel J. Math. 151 (2006), 167-177

    work page 2006

  5. [5]

    D. H. Gottlieb, Applications of bundle map theory. Trans. Amer. Math. Soc. 171 (1972) 23-50

    work page 1972

  6. [6]

    Kishimoto and A

    D. Kishimoto and A. Kono, On the cohomology of free and twi sted loop spaces, J. Pure Appl. Alg. , 214, (2010) no. 5, 646-653

    work page 2010

  7. [7]

    The mod-$p$ homology of the classifying spaces of certain gauge groups

    D. Kishimoto and S. Theriault,The mod- p homology of the classifying spaces of certain gauge groups. arXiv:1810.04771

    work page Pith review arXiv

  8. [8]

    Kaji, Low rank cohomology of the classifying spaces of gauge groups over 3-manifolds

    S. Kaji, Low rank cohomology of the classifying spaces of gauge groups over 3-manifolds. Publ. Res. Inst. Math. Sci. 42 (2006), no. 2, 581-587

    work page 2006

Show all 12 references
  1. [9]

    Masbaum, On the cohomology of the classifying space of the gauge group over some 4-complexes

    G. Masbaum, On the cohomology of the classifying space of the gauge group over some 4-complexes. Bull. Soc. Math. France 119 (1991), no. 1, 1-31

    1991

  2. [10]

    J. W. Milnor and J. D. Stasheff, Characteristic Classes. Ann. of Math. Stud. 76, Princeton University Press, Princeton (1974)

    1974

  3. [11]

    Mimura and H

    M. Mimura and H. Toda, Topology of Lie groups. I, II. Translations of Mathematical Monographs 91 American Mathematical Society, (1991)

    1991

  4. [12]

    Tsukuda, On the cohomology of the classifying space o f a certain gauge group

    S. Tsukuda, On the cohomology of the classifying space o f a certain gauge group. Proc. Roy. Soc. Edinburgh Sect. A 127 (1997), no. 2, 407-409. Department of Mathematics, Kyoto University, Kyoto, 606-8 502, Japan E-mail address : m.takeda@math.kyoto-u.ac.jp

    1997

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.