{"id":"fa478f95-9006-4032-ae70-27863a0def5b","arxiv_id":"2411.14059","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Diff^r_+(S^n) is boundedly acyclic for n≥4 and 1≤r≤∞, so all positive-degree classes in its discrete bounded cohomology vanish.","lead":"This paper proves that the group of orientation-preserving C^r diffeomorphisms of the n-dimensional sphere has vanishing bounded cohomology for every n at least 4 and every r from 1 to infinity. It resolves a question from a 2024 paper and implies that all positive-degree characteristic classes of flat spherical diffeomorphism bundles are unbounded.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.7 prescribes the conjugating diffeomorphism on the model arc rather than on the arc g0(α_q^{-1}(y_q^0×I)); this does not make h g0 agree with g'_0 on the model arc, so orbit transitivity of Y_• is not established.","rationale":"The main theorem is plausible and the overall strategy is standard: coamenability, generic complexes, and isotopy extension are all in service of a coherent argument. The proof's differential-topology lemmas point in the right direction, and the errors identified do not obviously sink the theorem; they are repairable in principle. Hence a rejection would be too harsh. However, the manuscript as submitted has a genuine logical gap in the orbit-transitivity lemma, distinct from the reader's Step 1 objection. The reader's objection to Lemma 1.16 Step 1 is real but local; the germ-on-the-wrong-arc issue in Lemma 2.7 is a stronger reason to require revision, because it breaks the identification of the quotient complex and the stabilizer computation as written. A corrected Lemma 2.7 would need to track images of model arcs under g0, likely using the same differential-topology tools already developed. Therefore the conditional recommendation stands, with the condition being a substantive repair of Lemma 2.7 and a correction to Lemma 1.16 Step 1.","tokens_in":19161,"tokens_out":24179,"duration_ms":231500,"concrete_test":"Take n=4, S^3×I, A={0}×I. Choose a compactly supported g0∈Diff_c(S^3×I) that moves A to a disjoint arc B, set g'_0=id, and let K be a finite union of disks/arcs avoiding A, B, g0(A), and g'_0(A). Check whether the condition φ_q|_A = g'_0g_0^{-1}|_A (as written in Lemma 2.7) implies φ_q g0|_A = id|_A; direct computation on the two arcs shows it does not, because φ_q is free on g0(A). The correct sufficient condition is φ_q|_{g0(A)} = g'_0∘(g0|_A)^{-1}. This one example settles whether the claimed conjugation step is logically valid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Lemma 2.7, after the induction one needs h = α_q^{-1}φ_qα_q ∈ G_k such that h g0 and g'_0 have the same germ on A := α_q^{-1}(y_q^0×I), i.e. h(g0(a)) = g'_0(a) for every a ∈ A. This is a condition on h on the image arc g0(A). The proof instead asserts that φ_q has the same germ as g'_0g_0^{-1} on A. Since g0 is not assumed to fix A, the stated condition says nothing about h on g0(A), so h g0|_A can differ from g'_0|_A. This is not a cosmetic slip: Lemma 2.7 is the engine for identifying Y_•/G_k with Z_• and for the stabilizer computation in Lemma 2.8, hence for the bounded acyclicity of G_k (Lemma 2.9) and Theorem 2.1. The gap appears repairable by applying a version of Lemma 1.16 with 0×I replaced by g0(A), or by first using Lemma 1.17 to move g0(A) to a standard arc; but that argument is not present. Separately, Lemma 1.16 Step 1 contains an interpolation sign error: with ξ=1 near 0×I, h equals f, not a smooth approximation, on 0×I; swapping ξ and 1−ξ and choosing U disjoint from K repairs it. The reader's concern about Step 1 is valid, but the Lemma 2.7 issue is more structural.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that Diff^r_+(S^n) is boundedly acyclic for n≥4 and 1≤r≤∞, answering a question of Fournier-Facio, Monod, Nariman, and Kupers for spheres of dimension at least four. The proof reduces the problem to the bounded acyclicity of subgroups G_k that are trivial in a neighborhood of k+1 disjoint disks, constructs a semi-simplicial complex Y_• whose vertices are germs of diffeomorphisms along model arcs, and applies a spectral-sequence criterion (Lemma 1.5) to conclude that G_k is boundedly acyclic. A generalization to Diff^r_c(V_k) for simply connected V of dimension ≥3 is stated in Section 3.","tokens_in":19517,"tokens_out":11523,"duration_ms":101392,"significance":"If the main theorem is correct, it is a substantial step in the bounded cohomology of diffeomorphism groups: it yields the vanishing of H^k_b(Diff^r_+(S^n)) for all k>0 and implies that every nontrivial positive-degree class in H^•(BDiff^δ_r(S^n)) is unbounded (Corollary 0.2). The strategy is coherent and builds on established tools (Monod–Nariman's Lemma 1.5, Monod's coamenability results, and the algebraic criterion of Campagnolo–Fournier-Facio–Lodha–Moraschini). The paper is also transparent about the role of each technical lemma. However, the proof as written contains two localized but load-bearing gaps: an interpolation error in Step 1 of the main differential-topology lemma (Lemma 1.16) and a mismatch between the prescribed and required germs in the orbit-transitivity argument (Lemma 2.7). Both appear repairable, but they are not merely cosmetic.","major_comments":[{"comment":"The interpolation h(x)=π(ξ(x)f(x)+(1−ξ(x))g(x)) is defined with ξ≡1 near 0×I and ξ≡0 outside U. As written, h equals f near 0×I, so it does not acquire a smooth germ there, and h equals g outside U, so it does not agree with f on K (since K can and should be chosen disjoint from U). Both assertions \"h has a smooth germ at 0×I\" and \"h and f have the same germ at K\" are therefore unsupported. Swapping the roles of ξ and 1−ξ and choosing U disjoint from K would give h=g near 0×I and h=f on K, repairing the step; as it stands, the proof of the main differential-topology lemma contains a genuine error at a load-bearing point.","section":"Lemma 1.16, Step 1"},{"comment":"In the induction step the proof applies Lemma 1.16 to obtain φ_q such that h=α^{-1}_q φ_q α_q has the same germ as g'_0 g^{-1}_0 on A:=α^{-1}_q(y_q^0×I). To arrange that h g0 and g'_0 have the same germ on A, one needs h to be prescribed on the image arc g0(A), namely h|_{g0(A)} = g'_0∘g^{-1}_0|_{g0(A)}. The stated condition prescribes h only on A, and since g0 need not fix A, it gives no control over h g0|_A. The set K in the same sentence also omits g0(A), so the argument does not establish the desired reduction. This gap is structural because Lemma 2.7 is used in Lemma 2.8 to identify stabilizers and in Lemma 2.9 to identify Y_•/G_k with Z_•, and hence feeds directly into the proof of Theorem 2.1. A repair would require a version of Lemma 1.16 applied to the arc g0(A), or an additional isotopy step moving g0(A) to a standard arc before applying the current argument; neither is present.","section":"Lemma 2.7"}],"minor_comments":[{"comment":"The abstract cites [FNS24] while the introduction cites [FFMNK24] for the same question; the reference label should be consistent.","section":"Abstract and Introduction"},{"comment":"The convex combination is missing a parenthesis: it should read π_N(ξ(x)f'(x)+(1−ξ(x))f(x)).","section":"Lemma 1.10 proof"},{"comment":"The expression \"∞< im(c)\" should read \"∞∉im(c)\" or \"∞ is not in im(c)\".","section":"Lemma 1.16, Step 2"},{"comment":"In the displayed formula for D(H^{-1}_3 f)(0,t), the subscript s in B_s(t) is not defined; it should presumably be B_1(t).","section":"Lemma 1.16, Step 3"},{"comment":"The union in the definition of Λ_k is written as S_{0≤i≤k} B_k; it should be ⋃_{0≤i≤k} B_i.","section":"Definition 2.4"},{"comment":"\"p−stabilizers\" should be \"p-stabilizers\" for consistency with the rest of the paper.","section":"Lemma 2.8"}],"recommendation":"major_revision","confidential_remarks":"The two gaps identified above are in the technical core of the proof, but both look repairable rather than fatal; the paper would benefit from a careful revision that supplies the missing arguments. I see no reason to question the author's good faith, and the overall strategy remains promising."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The theorem is exactly the kind of result worth proving: full bounded acyclicity for Diff^r_+(S^n) when n≥4, answering a question from FFMNK24. If correct this is a real step forward, since prior work only had low-degree vanishing on spheres and the Euclidean/disk cases. The strategy is sensible—reduce to coamenable G_k, use a generic-relation semisimplicial complex, identify the quotient with a configuration complex, and apply Monod–Nariman's spectral-sequence lemma. The adaptation to higher spheres is nontrivial, and the main differential-topology lemma (Lemma 1.16) is a plausible and interesting tool.\n\nThe problems are in the execution. The stress-test note is right: Lemma 2.7, the engine for both the quotient identification and the stabilizer computation, prescribes the conjugating diffeomorphism on the model arc α_q^{-1}(y_q^0×I) rather than on the image arc g_0(α_q^{-1}(y_q^0×I)). To arrange h g_0 = g'_0 on that arc, you need h to have the specified germ on g_0(A), not on A. Since g_0 is not assumed to fix A, the stated condition does not do the job. This is not cosmetic—it breaks the induction that identifies Y_•/G_k with Z_• and feeds the stabilizer acyclicity. The proposed repair (apply Lemma 1.16 with 0×I replaced by g_0(A), or first move g_0(A) to a standard arc via Lemma 1.17) looks plausible, but it is not written.\n\nLemma 1.16 itself has issues. In Step 1, ξ is 1 on a neighborhood of 0×I, so h equals f there; it does not become a smooth approximation of f on that germ. And the assertion that h and f agree on K is unsupported, since on K (where ξ=0) h equals g, and g is not constrained to agree with f on K. These may be repairable with a swap of ξ and 1−ξ and a careful choice of g, but as written the lemma is not proven. The same pattern appears again in Section 3 (Lemma 3.5), which follows the same third-step argument.\n\nTo be clear, I do not see circularity or fitting; the citation pattern is appropriate, and the author engages the literature honestly. This is a promising preprint, not a completed proof. A serious referee should be sent in, but they should be asked to focus on Lemma 2.7 and the smoothing/agreement claims in Lemma 1.16. If those can be fixed, the paper would be a strong contribution.","headline":"Significant theorem, but a load-bearing gap in Lemma 2.7's orbit-transitivity argument makes the proof incomplete; still worth refereeing.","tokens_in":20075,"tokens_out":4205,"would_cite":false,"duration_ms":38501,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57S05","20J06"],"pacs":[],"model":"deepseek-v4-flash","headline":"For n≥4, the orientation-preserving diffeomorphism groups of the n-sphere have zero bounded cohomology in every positive degree.","keywords":["bounded cohomology","diffeomorphism groups","higher-dimensional spheres","bounded acyclicity","semi-simplicial complexes","generic relations","coamenable subgroups","differential topology"],"falsifier":"Exhibiting a concrete pair (f,K) in dimension 4 with f∈Diff^r_c($S^{3}$×I) and K a finite union of disks and arcs disjoint from 0×I and f(0×I) for which no such φ exists would break the stabilizer argument; alternatively, computing a single nonzero class in H^k_b(Diff^r_+($S^{4}$)) for some k>0 would refute the theorem itself.","tokens_in":18947,"feed_emoji":"🌐","tokens_out":10130,"duration_ms":80197,"temperature":0.7,"pith_summary":"This paper proves that for every n≥4 and every 1≤r≤∞, the group Diff^r_+(S^n) of orientation-preserving C^r diffeomorphisms of the n-sphere is boundedly acyclic, meaning H^k_b(Diff^r_+(S^n))=0 for every k>0. This answers a question raised in recent work on transformation groups of Euclidean spaces and discs, extending their vanishing results to higher-dimensional spheres. If correct, the theorem implies that the comparison map from the bounded cohomology of the discrete diffeomorphism group to its ordinary cohomology is zero, so every nontrivial positive-degree ordinary class is unbounded. The proof works by showing that punctured-sphere diffeomorphism groups are boundedly acyclic, using a semi-simplicial complex generated by a generic relation on germs of arcs and differential-topology lemmas that exploit the freedom available in dimensions at least 4.","feed_headline":"Sphere diffeo groups have zero bounded cohomology for n≥4","feed_subtitle":"A positive answer to a question on transformation groups: every positive-degree class becomes unbounded.","key_machinery":"The argument is carried by four devices. (1) A generic relation ⊥ on germs of arcs, which produces a boundedly acyclic semi-simplicial complex (Lemma 2.3). (2) A spectral-sequence criterion (Lemma 1.5) that computes the bounded cohomology of a group acting on such a complex from the bounded acyclicity of the quotient and of all stabilizers. (3) A coamenability lemma (Lemma 1.6) that lets one replace punctures by tubular neighborhoods without changing bounded cohomology. (4) Lemma 1.16, the main differential-topology lemma, which asserts that for n≥4 a compactly supported diffeomorphism of $S^{{n-1}}$×I can be altered to agree with a prescribed germ on the segment 0×I while becoming trivial on any finite union of disjoint disks and arcs avoiding that segment and its image. Lemma 1.16 supplies the independent control of germs along arcs that makes the stabilizer groups tractable, and it is proved using approximation by embeddings, transversality, and isotopy extension in high dimensions.","core_discovery":"The central result is Theorem 2.1: for n≥4 and 1≤r≤∞, H^k_b(Diff^r_+(S^n))=0 for all k>0. The proof reduces the sphere group to the groups Diff^r_c(S^n−F_k) for finite sets F_k, which are coamenable to subgroups preserving tubular neighborhoods of F_k. Bounded acyclicity of these subgroups is established by constructing, for each k, a semi-simplicial complex Y_• whose vertices are germs of diffeomorphisms along k disjoint arcs, with a generic relation defined by disjointness of the arcs. The quotient complex is shown to be the boundedly acyclic complex of pairwise-disjoint tuples, and every stabilizer is shown to be boundedly acyclic via a chain of differential-topology reductions culminating in Lemma 1.16. A spectral sequence argument then transfers these acyclicities to Diff^r_+(S^n).","pith_inferences":["Editorial: the same generic-relation construction would likely prove bounded acyclicity for diffeomorphism groups of other high-dimensional manifolds with boundary, not only spheres, if the main germ lemma can be adapted.","Editorial: the theorem sharpens the known contrast with surface diffeomorphism groups, which admit infinite-dimensional spaces of quasimorphisms; the paper's introduction cites this contrast but does not explore it.","Editorial: the paper notes its methods 'seem to be hopeful' for the homeomorphism group Homeo_+(S^n) in higher dimensions, so a concrete next step is to carry the argument over to homeomorphisms.","Editorial: Lemma 1.16 is a strong localization statement in its own right and may be reusable in other problems about high-dimensional diffeomorphism groups, such as studying the bounded cohomology of groups of diffeomorphisms of manifolds with boundary."],"forward_implications":["H^k_b(Diff^r_+(S^n))=0 for every k>0, n≥4, and 1≤r≤∞.","The full group Diff^r(S^n) is boundedly acyclic as well, because the orientation-preserving subgroup is coamenable in it.","The comparison map H^•_b(BDiff^δ_r(S^n)) → H^•(BDiff^δ_r(S^n)) is zero, so every nontrivial positive-degree class in the ordinary cohomology of the discrete group is unbounded.","For a simply connected manifold V of dimension at least 3 with nonempty boundary, deleting finitely many disks from V×I yields a manifold V_k with Diff^r_c(V_k) boundedly acyclic."],"supporting_citations":[{"why":"Supplies the semi-simplicial framework (Lemma 1.5), the fat-point complex, generic relations, and the low-degree results for spheres that this paper extends.","marker":"[MN23]"},{"why":"Poses the question answered here and proves the bounded acyclicity of Diff^r(R^n) and Homeo(D^n,∂D^n), the results this paper builds on.","marker":"[FFMNK24]"},{"why":"Provides the approximation, embedding, transversality, and isotopy-extension theorems used to prove Lemma 1.16 and Lemma 1.17.","marker":"[Hir76]"},{"why":"Gives Propositions 1.2 and 1.3 on coamenable subgroups, used to pass bounded acyclicity from punctured-sphere groups to sphere diffeomorphism groups.","marker":"[Mon22]"},{"why":"Provides the algebraic criterion (Theorem 1.3) used in Lemma 1.1 to show Diff^r_c(M×R) is boundedly acyclic, which underpins the stabilizer computation.","marker":"[CFFLM23]"}],"fun_headline_variants":["Bounded cohomology vanishes for sphere diffeo groups in dimensions ≥4","No bounded cohomology for diffeo groups of spheres of dimension ≥4","Vanishing bounded cohomology for Diff^r_+(S^n) when n≥4","Sphere diffeo groups are boundedly acyclic for n≥4","Bounded acyclicity for sphere diffeomorphism groups in high dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the main differential-topology lemma (Lemma 1.16): in dimension at least 4, any compactly supported diffeomorphism of $S^{{n-1}}$×I can be modified to have a prescribed germ on the segment 0×I while becoming trivial on any finite union of disks and arcs disjoint from that segment and its image; if this lemma fails, the bounded acyclicity of the stabilizers, and hence of Diff^r_+(S^n), collapses.","fun_headline_variants_meta":{"raw":{"variants":["Bounded cohomology vanishes for sphere diffeo groups in dimensions ≥4","No bounded cohomology for diffeo groups of spheres of dimension ≥4","Vanishing bounded cohomology for Diff^r_+(S^n) when n≥4","Sphere diffeo groups are boundedly acyclic for n≥4","Bounded acyclicity for sphere diffeomorphism groups in high dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000896,"raw_usage":{"total_tokens":3777,"prompt_tokens":775,"completion_tokens":3002,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":391,"completion_tokens_details":{"reasoning_tokens":2897}},"tokens_in":391,"tokens_out":3002,"duration_ms":19521,"temperature":1.0,"reasoning_tokens":2897,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:34:40.521790+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibiting a concrete pair (f,K) in dimension 4 with f∈Diff^r_c($S^{3}$×I) and K a finite union of disks and arcs disjoint from 0×I and f(0×I) for which no such φ exists would break the stabilizer argument; alternatively, computing a single nonzero class in H^k_b(Diff^r_+($S^{4}$)) for some k>0 would refute the theorem itself.","supporting_citations":[],"review_version":1}