arxiv: 2604.27948 · v1 · submitted 2026-04-30 · 🧮 math.AT

Recognition: unknown

Rational characteristic classes of bundles with fibre a product of spheres

Jan McGarry-Furriol

Authors on Pith no claims yet

Pith reviewed 2026-05-07 05:58 UTC · model grok-4.3

classification 🧮 math.AT

keywords characteristic classesoriented bundlessphere productsgroup cohomologySL(2,Z)symmetric powersMiller-Morita-Mumford classesfibrations

0 comments

The pith

The natural map from rational characteristic classes of S^n × S^n-fibrations to smooth bundles is injective, yielding many non-trivial classes in high degrees.

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

This paper shows that smooth oriented bundles with fiber a product of two odd-dimensional spheres carry many non-trivial rational characteristic classes. The proof proceeds by establishing that the ring of such classes for general oriented fibrations injects into the cohomology of the base when the fibration is realized by a smooth bundle. Berglund and Zeman had identified this ring with the group cohomology of symmetric powers of the standard representation of a finite-index subgroup of SL_2(Z), so non-trivial classes in that cohomology yield non-trivial classes for smooth bundles. These classes occur in arbitrarily high degrees and are distinct from the usual generalized Miller-Morita-Mumford classes. The author also constructs explicit families of smooth bundles, one for each cyclic subgroup of Γ, that detect every non-zero class.

Core claim

We prove the existence of many non-trivial characteristic classes of smooth oriented bundles with fibre a product S^n × S^n of odd-dimensional spheres by proving injectivity of the map from the ring of rational characteristic classes of oriented fibrations with fibre S^n × S^n, which Berglund--Zeman showed is isomorphic to the group cohomology of the symmetric powers of the standard representation of Γ, a finite-index subgroup of SL_2(Z), into the cohomology of the base. These classes are not generalised Miller--Morita--Mumford classes and exist in arbitrarily large degrees. Inspired by Morita, we provide a collection of smooth oriented S^n × S^n-bundles indexed by cyclic subgroups of Γ that

What carries the argument

The injectivity of the restriction map from the ring of rational characteristic classes of oriented S^n × S^n-fibrations (identified via the Berglund--Zeman isomorphism with group cohomology of symmetric powers of the standard representation of Γ) into the cohomology of the base for smooth bundles.

Load-bearing premise

The Berglund--Zeman isomorphism between the rational characteristic class ring for S^n × S^n-fibrations and the group cohomology of symmetric powers of the standard representation of Γ holds and transfers non-triviality to the smooth bundle setting.

What would settle it

A specific non-zero class in the group cohomology that maps to zero under the restriction map for every smooth S^n × S^n-bundle would disprove the claimed injectivity.

read the original abstract

We prove the existence of many non-trivial characteristic classes of smooth oriented bundles with fibre a product $ S^{n}\times S^{n} $ of odd-dimensional spheres. We do so by proving injectivity of the map from the ring of rational characteristic classes of oriented fibrations with fibre $ S^{n}\times S^{n} $; the latter is proven by Berglund--Zeman to be isomorphic to the group cohomology of the symmetric powers of the standard representation of a certain finite-index subgroup $ \Gamma $ of $ \mathrm{SL}_{2}(\mathbb{Z}) $. These characteristic classes of smooth bundles are not generalised Miller--Morita--Mumford classes, and they exist in arbitrarily large cohomological degrees. Inspired by an example given by Morita, we provide a collection of smooth oriented $ S^{n}\times S^{n} $-bundles, indexed by cyclic subgroups of $ \Gamma $, which detect any given non-zero characteristic class of such fibrations.

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.

Desk Editor's Note private letter to a colleague

The paper proves injectivity of the rational characteristic class map for S^n × S^n fibrations into diffeomorphism group cohomology, with explicit cyclic detecting bundles giving high-degree non-MMM classes.

read the letter

The key point is that this paper shows the natural map from the ring of rational characteristic classes of oriented fibrations with fiber S^n × S^n injects into H^*(BDiff^+(S^n × S^n); Q). This gives non-trivial classes in arbitrarily high degrees that are not generalized Miller-Morita-Mumford classes, detected by bundles coming from cyclic subgroups of Γ, a finite-index subgroup of SL_2(Z). They rely on the Berglund-Zeman isomorphism identifying the fibration class ring with group cohomology of symmetric powers of the standard representation, then transfer non-triviality via explicit constructions inspired by Morita's example. The detecting family is indexed by those cyclic subgroups and works for any non-zero class in the ring. This is a concrete step that organizes new phenomena in the cohomology of these diffeomorphism groups. The construction is the main positive contribution, as it makes the classes explicit rather than purely existential. The soft spots center on the transfer step to the smooth category. The argument needs the constructed bundles to be genuinely smooth and orientation-preserving, with clutching functions landing in Diff^+ for odd n, and the pullbacks to match the group cohomology restrictions exactly. If the cyclic actions only produce topological bundles or fail to stay in the diffeomorphism group, the injectivity for smooth bundles could fail even if the algebraic side is non-zero. The abstract asserts smoothness, but this part requires careful verification in the full text. The reliance on the external isomorphism is not a flaw by itself, since the novelty lies in the application and detection rather than recomputing the ring. There is no obvious circularity or fitting issue. This paper is for algebraic and geometric topologists working on characteristic classes of diffeomorphism groups and moduli spaces of manifolds with spherical fibers. Readers interested in explicit computations or extensions beyond MMM classes will find the detecting construction useful. It deserves a serious referee because the result is focused, the detecting method is new enough to be checked, and it could seed further work even if the main advance is an application of prior theorems. I recommend sending it for peer review.

Referee Report

1 major / 1 minor

Summary. The paper claims to prove the existence of many non-trivial rational characteristic classes of smooth oriented bundles with fibre a product S^n × S^n of odd-dimensional spheres. It does so by proving injectivity of the natural map from the ring of rational characteristic classes of oriented fibrations with this fibre (identified via Berglund--Zeman with the group cohomology of symmetric powers of the standard representation of a finite-index subgroup Γ of SL_2(Z)) into H^*(BDiff^+(S^n × S^n); Q). Injectivity is established by constructing, for each nonzero class, an explicit smooth oriented bundle over the classifying space of a cyclic subgroup of Γ that pulls the class back nontrivially.

Significance. If the injectivity holds, the result supplies explicit non-MMM rational characteristic classes in arbitrarily high degrees for the cohomology of diffeomorphism groups of products of odd spheres. The construction transfers computable group-cohomology data to the smooth category via cyclic detecting bundles, which would be a concrete advance in the study of BDiff and bundle characteristic classes.

major comments (1)

[the section describing the collection of smooth oriented S^n × S^n-bundles indexed by cyclic subgroups of Γ] The section describing the collection of smooth oriented S^n × S^n-bundles indexed by cyclic subgroups of Γ: the injectivity claim rests on these bundles inducing the expected restriction maps H^*(Γ; Sym^k(std_2)) → H^*(C_α; Sym^k(std_2)) and yielding non-trivial pullbacks in H^*(BDiff^+; Q). The manuscript must verify explicitly that the clutching functions lie in Diff^+(S^n × S^n) for odd n and that the resulting maps on cohomology are the group-cohomology restrictions; without this verification the transfer from the Berglund--Zeman ring to the smooth setting does not follow.

minor comments (1)

[abstract] The abstract states that the classes 'are not generalised Miller--Morita--Mumford classes'; a one-sentence indication of the cohomological reason for this distinction would improve clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for their thorough review and insightful comments, which have helped us identify areas for improvement in our manuscript. We address the major comment as follows.

read point-by-point responses

Referee: [the section describing the collection of smooth oriented S^n × S^n-bundles indexed by cyclic subgroups of Γ] The section describing the collection of smooth oriented S^n × S^n-bundles indexed by cyclic subgroups of Γ: the injectivity claim rests on these bundles inducing the expected restriction maps H^*(Γ; Sym^k(std_2)) → H^*(C_α; Sym^k(std_2)) and yielding non-trivial pullbacks in H^*(BDiff^+; Q). The manuscript must verify explicitly that the clutching functions lie in Diff^+(S^n × S^n) for odd n and that the resulting maps on cohomology are the group-cohomology restrictions; without this verification the transfer from the Berglund--Zeman ring to the smooth setting does not follow.

Authors: We agree with the referee that explicit verification is required for the construction to be complete. In the revised version of the manuscript, we will include a detailed verification that the clutching functions, which are defined by the action of the cyclic group elements on the product of spheres using the standard representation of SL_2(Z), belong to Diff^+(S^n × S^n) when n is odd. This verification will consist of checking that the maps are smooth, bijective, and orientation-preserving, leveraging the fact that det=1 and the odd dimension to ensure the orientation is preserved. Furthermore, we will demonstrate that the induced bundle over the classifying space of the cyclic subgroup C_α pulls back the characteristic classes exactly via the restriction map in group cohomology by relating the classifying map to the inclusion of the cyclic subgroup into Γ. This will ensure that non-zero classes in the group cohomology remain non-zero in the bundle cohomology. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses external isomorphism and explicit constructions

full rationale

The paper cites Berglund--Zeman for the isomorphism identifying the ring of rational characteristic classes of oriented fibrations with fibre S^n × S^n with group cohomology ⊕_k H^*(Γ; Sym^k(std_2)). It then constructs explicit smooth oriented bundles indexed by cyclic subgroups of Γ to detect nonzero classes via pullback, proving injectivity into H^*(BDiff^+(S^n × S^n); Q). No step reduces a claimed prediction or result to its own inputs by definition, fitted parameters, or self-citation chains. The cited theorem is external (different authors), and the bundle constructions are presented as geometric realizations independent of the target injectivity statement. This is a standard non-circular use of prior results plus explicit examples.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on one external domain result and the geometric construction of detecting bundles; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The ring of rational characteristic classes of oriented fibrations with fibre S^n × S^n is isomorphic to the group cohomology of the symmetric powers of the standard representation of the finite-index subgroup Γ of SL_2(Z), as proven by Berglund--Zeman.
This isomorphism is invoked to establish injectivity for the smooth-bundle case and to guarantee the existence of non-trivial classes.

pith-pipeline@v0.9.0 · 5463 in / 1514 out tokens · 44105 ms · 2026-05-07T05:58:22.328856+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 6 canonical work pages · 1 internal anchor

[1]

and Sp2n (n ≥ 2)”. In:Inst. Hautes Études Sci. Publ. Math. 33 (1967), pp. 59–

1967
[2]

Realizing Congruence Subgroups inside the Diffeo- morphism Group of a Product of Homotopy Spheres

[BF16] Somnath Basu and F. Thomas Farrell. “Realizing Congruence Subgroups inside the Diffeo- morphism Group of a Product of Homotopy Spheres”. In:Topology and its Applications 202 (2016), pp. 205–215.doi: 10.1016/j.topol.2016.01.002. [Ber15] Alexander Berglund. “Rational homotopy theory of mapping spaces via Lie theory for L∞-algebras”. In:Homology Homot...

work page doi:10.1016/j.topol.2016.01.002 2016
[3]

S.Cohomology of Groups; Graduate Texts in Mathematics, Vol

Graduate Texts in Mathematics. Springer- Verlag, New York, 1982.doi: 10.1007/978-1-4684-9327-6. [DS83] William G. Dwyer and Robert H. Szczarba. “On the Homotopy Type of Diffeomorphism Groups”. In:Illinois Journal of Mathematics 27.4 (December 1983).doi: 10.1215/ijm/ 1256046248. [GGR17] Søren Galatius, Ilya Grigoriev, and Oscar Randal-Williams. “Tautologic...

work page doi:10.1007/978-1-4684-9327-6 1982
[4]

Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics

Graduate Texts in Mathematics. Springer, New York, 2013.doi: 10.1007/978-1-4419-9982-5. [LS02] Laércio Aparecido Lucas and Osamu Saeki. “Diffeomorphisms of a Product of Spheres and Embedded Spheres”. In:Topology and its Applications 123.3 (September 2002), pp. 471–478. doi: 10.1016/S0166-8641(01)00213-9. [MW07] Ib Madsen and Michael Weiss. “The stable mod...

work page doi:10.1007/978-1-4419-9982-5 2013
[5]

Adv. Stud. Pure Math. North-Holland, Amsterdam, 1987, pp. 135–148.doi: 10.2969/aspm/00910135. [Pri24] Nils Prigge. Tautological Rings of Fibrations

work page doi:10.2969/aspm/00910135 1987
[6]

Tautological Rings of Fibrations

arXiv:1905.02676. [Som17] Oliver Sommer. “The diffeomorphism group of an exotic sphere”. Doctoral thesis. Universität Münster,

work page internal anchor Pith review Pith/arXiv arXiv 1905
[7]

Killing the middle homotopy groups of odd dimensional manifolds

[Wal62] C. T. C. Wall. “Killing the middle homotopy groups of odd dimensional manifolds”. In: Trans. Amer. Math. Soc. 103 (1962), pp. 421–433.doi: 10.2307/1993837. [WW88] Michael Weiss and Bruce Williams. “Automorphisms of Manifolds and Algebraic K-theory: I”. In:K-Theory 1.6 (November 1988), pp. 575–626.doi: 10.1007/BF00533787. [Wie19] Gabor Wiese. “Comp...

work page doi:10.2307/1993837 1962