{"id":"60717a28-b656-4b46-a9aa-003ab9b54f5c","arxiv_id":"2502.03259","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Open 4-manifolds with nonnegative Ricci curvature and Euclidean volume growth of the universal cover have finitely generated, virtually abelian fundamental groups.","lead":"An open 4-dimensional space with nonnegative Ricci curvature whose universal cover grows like flat Euclidean space must have a finitely generated fundamental group, settling Pan-Rong's conjecture in dimension 4. The paper further shows the fundamental group is nearly abelian, with a universal bound on the index of an abelian subgroup.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.2 is only sketched and its key step—using BPS24 Theorem 8.1 to assert that the equivariant limit cross-section is S^2—is unverified; a failure here breaks the one-sheeted covering argument on which Theorem A depends.","rationale":"The reader's verdict already flags Lemma 3.2, and I find the same point to be the most load-bearing. The proof is not a mere exposition gap: the lemma is used to prove Theorem 3.1, which in turn is used in Theorem A and Theorem B. The sketched proof depends on a recent, deep theorem from BPS24 whose applicability to the equivariant limit is not checked. I do not find a more internal inconsistency elsewhere; the group-theoretic and scaling arguments in Sections 4–6 are coherent, and the appendices supply proofs for the supporting statements. The literature supports the surrounding tools (Li–Anderson, Wilking, Pan), and no parameter-fitting or circular reasoning is apparent except the legitimate reliance on BPS24. Hence the reader's conditional verdict is appropriate; a careful verification of Lemma 3.2 would settle the concern.","tokens_in":25622,"tokens_out":23756,"duration_ms":230535,"concrete_test":"Independently reconstruct the proof of Lemma 3.2 from the exact statements of BPS24 Theorem 8.1 and Proposition 7.1. First, check whether Theorem 8.1's hypotheses hold for the equivariant limit Y = R^{n−3} × C(Z) arising from normal covers with diam(Γ_i(p_i)) → 0, and confirm it yields Z ≈ S^2. Second, prove Claim 3.3(c2) using Proposition 7.1(ii): justify explicitly why the lifted map is an ε_i-splitting map on B_s(q_{i,1}), i.e., why π_i is injective on that ball (or why [KW11, Lemma 1.6] supplies the needed isometric lift). If either step cannot be completed from the cited results, Lemma 3.2 is unproved and Theorem A is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.2 is the pivotal topological input: Theorem 3.1, and hence Theorem A, rests on its conclusion that the covering groups Γ_i are eventually trivial. The proof is explicitly labeled a sketch in §3, and the decisive assertion is 'According to [BPS24, Theorem 8.1], Z and Z-check are both homeomorphic to S^2.' This identification is used both to produce the level set Σ_i ≈ S^2 in (c1) and, via [BPS24, Proposition 7.1], to show the lifted preimage of Σ_i is connected in (c2). The sketch never verifies that Theorem 8.1 applies to the equivariant limit (Y,G) of the normal covers that appears in diagram (3.1), rather than only to the base limit X. If the cross-section of Y were not S^2, or if the lifted level set were disconnected, the restriction π_i : preimage(Σ_i) → Σ_i would be a covering with more than one sheet, and the 'one-sheeted cover' conclusion would fail. A further unstated condition enters in (c2): the lifted map (v_i∘π_i, u_i∘π_i) is asserted to be an ε_i-splitting map, which requires π_i to be injective on the relevant ball; the text cites the covering lemma [KW11, Lemma 1.6] but does not give the argument. Since the paper itself flags Lemma 3.2 as only sketched, this is a load-bearing gap rather than a disagreement with the BPS24 framework.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem A: if M is an open 4-manifold with nonnegative Ricci curvature and its Riemannian universal cover has Euclidean volume growth, then π1(M) is finitely generated, confirming Pan–Rong's conjecture in dimension 4. Theorem B further asserts that if π1(M) is infinite then it is a crystallographic group of rank at most 3, and if it is finite then it is a quotient of the fundamental group of a spherical 3-manifold, with a universal index bound for a free abelian or cyclic subgroup. The proofs use equivariant Gromov–Hausdorff convergence, the topological regularity results of Brue–Pigati–Semola, several preparatory lemmas on asymptotic cones and isotropy groups, and a critical scaling argument.","tokens_in":25928,"tokens_out":8884,"duration_ms":79779,"significance":"If correct, these results are a major step in the study of fundamental groups of open manifolds with nonnegative Ricci curvature: they settle the Pan–Rong conjecture in dimension 4 and give a strong virtual-abelian structure theorem. The proof is genuinely novel in combining the recent BPS24 topological regularity theory with equivariant convergence and Pan's critical-scaling technique. The paper is also honest in labeling Lemma 3.2 as only sketched and in relying on the BPS24 preprint, which increases the risk but not the intrinsic value of the result.","major_comments":[{"comment":"The proof of Lemma 3.2 is only a sketch, and the decisive identification 'According to [BPS24, Theorem 8.1], Z and \\check Z are both homeomorphic to S^2' is not verified for the equivariant limit (Y,G) in diagram (3.1). One must check that the hypotheses of BPS24 Theorem 8.1 (or its relevant version) are satisfied by the limit of the normal covers \\check M_i, not just by the base limit X. In particular, if the cross-section \\check Z of Y were not S^2, the restriction \\pi_i : \\check\\Sigma_i \\to \\Sigma_i would be a covering of a 2-sphere with more than one sheet, and the one-sheeted conclusion would fail. The authors should provide a complete proof of Lemma 3.2, or at least a precise statement of the BPS24 theorem being used and a verification of its hypotheses in the equivariant setting.","section":"§3, Lemma 3.2"},{"comment":"The proof of claim (c2) asserts that the lifted map (\\check v_i, \\check u_i) is an \\epsilon_i-splitting map on B_s(q_{i,1}), citing [KW11, Lemma 1.6] without giving the argument. The condition diam(Γ_i(\\check p_i)) \\to 0 only bounds the deck action at the basepoint, whereas the splitting property is needed on a ball centered at q_{i,1}, which may be far from \\check p_i. One must show that the covering is sufficiently trivial on that ball, or that every deck transformation moves points in the ball by a vanishing amount, before pulling back the splitting property of (v_i,u_i). Without this, the later application of [BPS24, Proposition 7.1(ii)] to connect q_{i,1} and q_{i,2} is not justified.","section":"§3, claim (c2)"},{"comment":"The proof of Lemma 2.2 imports [Hua24, Lemma 3.1] as a black box. This lemma is used to deduce that the tangent cone T_{y_*}Y splits an R-factor, which is the crucial step producing the R^{k+1}-splitting. Since [Hua24] is a paper by one of the authors, the lemma should be restated and its hypotheses checked in the present setting. In addition, the assertion that R^k × T_{y_*}Y equals R^{k+1} × Y_1 is not proved; the tangency and splitting arguments need to be written out.","section":"§2, Lemma 2.2"},{"comment":"Lemma 5.4(2) states that in the case k(X)=2 the asymptotic cone is isometric to R^2 × C(S^1_r) with r ∈ (0,1), and that r 'only depends on the volume growth rate of \\tilde M'. The appendix proof of Lemma 5.4 classifies the group K but does not establish the uniqueness of r or its dependence on the volume growth rate. This claim is used in Lemma 5.5 to conclude that a GH-close cone is isometric to (Z,z_*). If the uniqueness is essential, a proof should be supplied; if not, the claim should be removed or qualified.","section":"§5, Lemma 5.4(2)"}],"minor_comments":[{"comment":"In the statement of Lemma 3.2, condition (2) says 'diam(Γ_i(\\check p_i)) \\to 0 as i \\to 0'; the limit should be i \\to \\infty.","section":"§3, Lemma 3.2"},{"comment":"The passage 'By lifting the R^{n-3}-factor of X through π' needs justification: it is not automatic that a submetry from Y to a space splitting off an R^k-factor lifts that factor. This point should be clarified.","section":"§3, proof of Lemma 3.2"},{"comment":"The notation is inconsistent: S(x_*) appears in (5.1) and S(z_*) in the subsequent lines, and in Sublemma 5.6 the distance uses 'S(y*)' in the definition of A_i. Please standardize the notation for the reference point of the limit group S.","section":"§5, Lemma 5.5 and Sublemma 5.6"},{"comment":"In the proof of Lemma 5.9, 'Let h ∈ Isom(G)' should be 'Let h ∈ G', since h is an element of the limit group G, not of its isometry group.","section":"§5, Lemma 5.9"},{"comment":"In the definition of x_s in the appendix, 'i = 0, 1, ..., k' should be 's = 0, 1, ..., k'; the index i is already used for the sequence.","section":"§7, proof of Lemma 2.1(2)"}],"recommendation":"major_revision","confidential_remarks":"The paper depends heavily on the BPS24 preprint (arXiv:2405.03839), which is cited as the source of the main topological regularity theorems. The editor may wish to verify that this preprint is stable and publicly available in a form that supports the statements used here. There is also significant dependence on the author's own [Hua24] lemmas; while this is not improper, the refereeing process should ensure that those results are not simply 'known to experts' but are accessible in the published paper. The sketched Lemma 3.2 is the main technical risk; the authors should be asked to provide a complete proof or a precise reduction to BPS24."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper proves the dimension-4 case of Pan-Rong's conjecture and then goes further, showing that the fundamental group is virtually abelian with a universal index bound. Theorem A is new; Theorem B is stronger than what was previously known even conditionally. This is a genuine result, not a repackaging.\n\nThe proof is a serious adaptation of Pan's critical scaling technique to dimension 4, powered by the BPS24 topological regularity theory. The way the authors use the S^2 cross-section to force a one-sheeted covering is clever, and the structural dichotomy (crystallographic rank <=3 vs quotient of a spherical 3-manifold group) is the right kind of payoff. The paper is honest about its debts: BPS24 is cited for the decisive regularity input, and Hua24 is used as a black box for the isotropy/connectedness arguments.\n\nWhere are the soft spots? Lemma 3.2 is the load-bearing piece and it is only sketched. The stress-test worry about whether BPS24 Theorem 8.1 applies to the equivariant limit Y rather than the base limit X is, I think, less serious than it looks: Y is itself a noncollapsed Ricci limit space of the same dimension with a volume lower bound, so Theorem 8.1 should apply directly. But the paper should say that explicitly instead of leaving it to the reader. Similarly, the use of [KW11, Lemma 1.6] to promote the splitting map to the lifted level set in (c2) is under-explained; the argument is plausible but needs a few lines to make it checkable. These are expansion requests for a referee, not fatal flaws.\n\nLesser concerns: several supporting lemmas (2.1, 5.4, 6.6) are deferred to the appendix. They look standard or at least credible, but the classification in Lemma 5.4 is doing real work and would benefit from being in the main text or at least cross-checked carefully. The import of the co-author's Hua24 lemmas is not a circularity problem, since that paper is published and independent, but the dependency should be stated precisely.\n\nWho is this for? Anyone working on fundamental groups under Ricci lower bounds, especially the Milnor/Pan-Rong program. It deserves a serious referee and, after the sketch in Lemma 3.2 is fleshed out, publication at a strong journal. My recommendation: send it out.","headline":"Dimension-4 Pan-Rong is settled with a structural upgrade; the conditional verdict is fair, and the main gap flagged by the stress-test is real but probably repairable.","tokens_in":26495,"tokens_out":2268,"would_cite":true,"duration_ms":23668,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C23"],"pacs":[],"model":"deepseek-v4-flash","headline":"In dimension 4, Euclidean volume growth of the universal cover forces the fundamental group to be finitely generated.","keywords":["nonnegative Ricci curvature","open 4-manifolds","finite generation of fundamental groups","Euclidean volume growth","equivariant asymptotic cones","crystallographic groups","spherical space forms","virtual abelianness"],"falsifier":"Find an open 4-manifold with nonnegative Ricci curvature whose universal cover has Euclidean volume growth but whose fundamental group is not finitely generated; this would directly falsify Theorem A. Alternatively, produce a sequence of normal coverings $(\\check M_i,\\check p_i,\\Gamma_i)$ with $\\mathrm{diam}(\\Gamma_i(\\check p_i))\\to 0$ converging to $\\mathbb{R}^{n-3}\\times C(Z)$ with nontrivial $\\Gamma_i$ for infinitely many $i$, which would refute Lemma 3.2.","tokens_in":25376,"feed_emoji":"📐","tokens_out":7813,"duration_ms":64558,"temperature":0.7,"pith_summary":"The paper proves that an open 4-manifold with nonnegative Ricci curvature whose Riemannian universal cover grows like Euclidean space must have a finitely generated fundamental group. This settles the dimension-4 case of a standing conjecture relating Euclidean volume growth to the finite-generation problem for fundamental groups. It also proves a structural refinement: if the fundamental group is infinite it is a crystallographic group of rank at most 3, and if finite it is a quotient of the fundamental group of a spherical 3-manifold; in both cases it contains an abelian subgroup whose index is bounded by a universal constant. The argument works through equivariant asymptotic cones, showing that the limiting group orbit is connected and therefore cannot come from an infinitely generated deck group.","feed_headline":"4-D volume growth forces finitely generated fundamental groups","feed_subtitle":"Confirms the Euclidean-volume-growth conjecture in dimension 4 and bounds the abelian subgroup's index by a universal constant.","key_machinery":"The load-bearing mechanism is a simply-connectedness lemma (Lemma 3.2) built on a recent topological regularity theorem for level sets of codimension-2 almost-splitting maps on noncollapsed Ricci limit spaces. The regularity result says that, in the relevant 4-dimensional limits, the cross-sections $Z$ are homeomorphic to $S^2$; the lemma upgrades this to: if an open $n$-manifold with nonnegative Ricci curvature has Euclidean volume growth and one asymptotic cone splits an $\\mathbb{R}^{n-3}$-factor, then the manifold is simply connected. Around this, the authors assemble an equivariant asymptotic-cone analysis: a stability lemma for isotropy groups, a critical-scaling argument, and a classification of possible abelian limit actions $K\\subset \\operatorname{Isom}(\\mathbb{R}^k)$, which together force the orbit $G(x_*)$ of the limiting deck group to be connected. A known observation then converts 'not finitely generated' into 'disconnected orbit', producing the contradiction that proves finite generation.","core_discovery":"The central discovery is that in dimension 4 the combination of nonnegative Ricci curvature and Euclidean volume growth of the universal cover is enough to rule out infinitely generated fundamental groups. Specifically, Theorem A states: if $\\tilde M$ has Euclidean volume growth, then $\\pi_1(M)$ is finitely generated. Theorem B adds that there is a universal $C>0$ such that $\\pi_1(M)$ contains a normal abelian subgroup of index at most $C$; in the infinite case $\\pi_1(M)$ is a crystallographic group of rank $k\\in\\{1,2,3\\}$, and in the finite case it is isomorphic to a quotient of the fundamental group of a spherical 3-manifold, hence virtually cyclic. The authors also obtain higher-dimensional versions under the extra assumption that every (or one) asymptotic cone splits an $\\mathbb{R}^{n-4}$-factor, and derive that the reference point of every asymptotic cone is a pole and the escape rate vanishes.","pith_inferences":["The proof suggests that the obstruction to extending Theorem A to dimension 5 is exactly the topological-regularity input: if the same level-set regularity held for $n=5$, the equivariant-cone argument would likely yield finite generation under Euclidean volume growth alone. This is an inference, not a claim of the paper.","The universal index bound in Theorem B hints at a rigidity phenomenon: the geometric hypothesis of Euclidean volume growth of the universal cover may force fundamental groups in this class to lie in a finite list of virtually abelian groups, rather than merely in the larger class of virtually nilpotent groups allowed by general nonnegative Ricci curvature.","Because the finite case identifies $\\pi_1(M)$ with a quotient of the fundamental group of a spherical 3-manifold, the argument constrains which finite groups can appear as fundamental groups of Ricci-flat ALE 4-manifolds; the paper's example of the cotangent bundle of $S^2$ shows the quotient can be trivial, but the proof allows nontrivial quotients only along the same lines."],"forward_implications":["Theorem A verifies the Euclidean-volume-growth conjecture in dimension 4, the first new dimension beyond 3 in which the unrestricted finite-generation question remains open.","If $\\pi_1(M)$ is infinite, it is a crystallographic group of rank $k\\in\\{1,2,3\\}$, so it contains $\\mathbb{Z}^k$ as a normal subgroup of index bounded by a universal constant independent of the manifold.","If $\\pi_1(M)$ is finite, it is a quotient of the fundamental group of a spherical 3-manifold; combined with the classical finiteness theorem for manifolds with Euclidean volume growth, this makes the fundamental group finite and in fact virtually cyclic in dimension 4.","Every asymptotic cone of $M$ has the reference point as a pole, and $\\pi_1(M)$ has vanishing escape rate; both are geometric criteria previously known to be sufficient for finite generation and virtual abelianness.","In higher dimensions, finite generation follows whenever the universal cover has Euclidean volume growth and every asymptotic cone splits an $\\mathbb{R}^{n-4}$-factor, with the same virtual-abelian structure conclusions."],"supporting_citations":[{"why":"Supplies the topological regularity of level sets of codimension-2 almost splitting maps (cross-sections homeomorphic to $S^2$) that powers Lemma 3.2 and Theorem 1.2.","marker":"[BPS24]"},{"why":"States the conjecture being confirmed in dimension 4 and provides Theorem 0.8, a stability result for group actions used in Lemma 6.6.","marker":"[PR18]"},{"why":"Provides Lemma 2.5: a non-finitely generated deck group produces a disconnected limit orbit, the contradiction target in the proof of Theorem A.","marker":"[Pan20b]"},{"why":"Cheeger-Colding theory: Euclidean volume growth makes asymptotic cones metric cones, the geometric setup for the whole argument.","marker":"[CC96]"},{"why":"Codimension-2 regularity theorem used to rule out $k(X)\\ge 3$ in Lemma 5.3, forcing $k(X)\\in\\{1,2\\}$.","marker":"[CC97]"},{"why":"Rigidity of maximal volume growth: if an asymptotic cone is isometric to $\\mathbb{R}^n$ then $M$ is flat, used to exclude the flat cone case.","marker":"[Col97]"},{"why":"Provides the finite-index nilpotent subgroup of a finitely generated fundamental group and the covering lemma used in Lemma 3.2.","marker":"[KW11]"},{"why":"Supplies the reduction from a non-finitely generated group to an abelian non-finitely generated subgroup and the characterization of virtually $\\mathbb{Z}^k$ groups used in Theorem B.","marker":"[Wil00]"},{"why":"Bieberbach theorems convert 'virtually $\\mathbb{Z}^k$' into crystallographic structure with a bounded-index normal free abelian subgroup.","marker":"[Bie11]"},{"why":"Establishes that a manifold itself with Euclidean volume growth and nonnegative Ricci curvature has finite fundamental group, used to interpret the finite case of Theorem B.","marker":"[And90]"}],"fun_headline_variants":["4D Euclidean volume growth forces finitely generated fundamental group","4D open manifolds: Euclidean volume growth implies finitely generated pi1","Dimension 4: Euclidean volume growth yields finitely generated pi1","4D volume growth: fundamental group has abelian subgroup of bounded index","4D: Euclidean volume growth gives abelian subgroup of bounded index"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the recent regularity theorem for two-dimensional slices of noncollapsed Ricci limits continues to hold in the equivariant situation and implies the announced simply-connectedness lemma, which is only sketched in the paper.","fun_headline_variants_meta":{"raw":{"variants":["4D Euclidean volume growth forces finitely generated fundamental group","4D open manifolds: Euclidean volume growth implies finitely generated pi1","Dimension 4: Euclidean volume growth yields finitely generated pi1","4D volume growth: fundamental group has abelian subgroup of bounded index","4D: Euclidean volume growth gives abelian subgroup of bounded index"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002747,"raw_usage":{"total_tokens":10449,"prompt_tokens":900,"completion_tokens":9549,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":9457}},"tokens_in":516,"tokens_out":9549,"duration_ms":64776,"temperature":1.0,"reasoning_tokens":9457,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T05:20:44.730114+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an open 4-manifold with nonnegative Ricci curvature whose universal cover has Euclidean volume growth but whose fundamental group is not finitely generated; this would directly falsify Theorem A. Alternatively, produce a sequence of normal coverings $(\\check M_i,\\check p_i,\\Gamma_i)$ with $\\mathrm{diam}(\\Gamma_i(\\check p_i))\\to 0$ converging to $\\mathbb{R}^{n-3}\\times C(Z)$ with nontrivial $\\Gamma_i$ for infinitely many $i$, which would refute Lemma 3.2.","supporting_citations":[],"review_version":1}