{"id":"0c71911a-c247-4bab-9ba7-d5907621afe6","arxiv_id":"2607.03383","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"SO(k)×SO(n-k+1)-symmetric compact non-self-similar κ-solutions of Ricci flow have unique sharp asymptotics for the profile G, which algebraically determine the second profile F.","lead":"This paper derives the unique sharp asymptotic shape of certain highly symmetric ancient solutions (ovals) to Ricci flow in dimensions 4 and higher. It is a key step toward classifying singularity models for the flow when the equations form a coupled system rather than a single scalar PDE.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified; the line-splitting argument in Lemma 2.7 is self-contained and the subsequent asymptotics rest on standard spectral and barrier techniques.","rationale":"The Reader’s weakest-assumption diagnosis is accurate: Lemma 2.7 is the only non-routine geometric step. Its proof, however, is elementary once the cylindrical tangent flow at the center and the convexity of the warping functions are granted; both are already established earlier in the paper (Prop. 2.6 and (2.5)). The subsequent analytic work—error estimates for the coupled system, Merle–Zaag alternatives, barrier arguments for the intermediate region, and the algebraic reconstruction of F from G—follows the pattern of the 3-D and PIC literature and contains no free parameters or circular appeals. Consequently the central claim (unique sharp asymptotics of G and the locking relation for F) stands on solid ground, and the Reader’s ACCEPT verdict requires no adjustment.","tokens_in":64640,"tokens_out":596,"duration_ms":5987,"concrete_test":"Verify the key lower bound (2.15) by direct computation on the model cylinder R^k\times S^{n-k}: confirm that any sequence with G≥δ√(-2(n-k-1)t) and (-t)R\to0 would force the sectional curvature of the SO(n-k+1)-orbit to contradict non-negativity of the curvature operator. If the bound holds on the model, the splitting argument is robust.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Reader correctly flags Lemma 2.7 as the structural hinge: every curvature-scale blow-down whose SO(n-k+1)-orbit radius stays on the cylindrical scale must split at least k-1 Euclidean factors. The proof proceeds by (i) using the known cylindrical tangent flow at the parabolic center together with convexity (2.5)–(2.6) to obtain F_z\to1 and G_z\to0 on [0,z_q], (ii) a lower curvature bound (2.15) that prevents scalar curvature from vanishing while G remains cylindrical, and (iii) an asymptotic-flatness argument for the SO(k)-orbits once R^{1/2}F\to∞. These steps are local to the given sequence and do not rely on a global classification of non-compact κ-solutions for k≥2. Once the splitting is granted, the tip identification with Bryant\times R^{k-1} (Prop. 2.11) and the spectral analysis of the coupled system (L_1,L_2) follow by standard methods already validated for the rotationally-symmetric case. No hidden circularity or unjustified estimate appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper classifies the asymptotic geometry of compact non-self-similar SO(k)\times SO(n-k+1)-symmetric \\kappa-solutions (ancient ovals) of Ricci flow on S^n for n\n≥4 and 2≤k≤n-2. After establishing that such solutions are diffeomorphic to the sphere with positive curvature operator and cylindrical tangent flow at -∞ (Theorem 1.3), the metric is written in double-warped-product form dz^{2}+F^{2}g_{S^{k-1}}+G^{2}g_{S^{n-k}}. The authors prove that every pointed curvature-scale blow-down is either a shrinking cylinder R^k\times S^{n-k} or R^{k-1} times the Bryant soliton (Proposition 2.12), derive unique sharp expansions for the profile G in the parabolic region (1.2), intermediate region (1.3) and tip region (Bryant\times R^{k-1}), and show that uniqueness of G algebraically determines F via the explicit reconstruction (1.4)–(1.5) (Theorems 1.4–1.5).","tokens_in":64951,"tokens_out":800,"duration_ms":12742,"significance":"If correct, the work supplies the first rigorous unique-asymptotics result for a fully coupled parabolic system arising from a geometric flow, thereby opening a route to the classification of higher-dimensional \\kappa-solutions beyond the rotationally symmetric or PIC-pinched settings. The geometric blow-down analysis (especially the k-1 line-splitting of Lemma 2.7) and the spectral treatment of the two distinct linearized operators L_1 and L_2 on different weighted spaces are technically substantial and reusable. The algebraic locking of F to G is a clean structural observation that reduces future uniqueness proofs to a single profile. These contributions are of clear interest for the higher-dimensional Ricci-flow program and for related mean-curvature-flow classifications.","major_comments":[],"minor_comments":[{"comment":"Throughout the manuscript (e.g., page 9, line 3; page 61, Proposition 6.11 title) the spelling “intermadiate” should be corrected to “intermediate”; likewise “Aknowlegement” on page 10 should be “Acknowledgement”.","section":null},{"comment":"In the definition of the renormalized profiles (1.8) and the subsequent evolution equations (3.17)–(3.18), the notation for the cylindrical radius √2(n-k-1) is occasionally written without parentheses; a uniform parenthesization would improve readability.","section":null},{"comment":"Lemma 2.7 and Proposition 2.11 invoke “the SO(k)-orbits become asymptotically totally geodesic” after rescaling; a one-sentence reminder that the second-fundamental-form estimate |II|≤C/F follows from F_z∈[0,1] would make the argument self-contained for readers less familiar with the warped-product geometry.","section":null},{"comment":"Appendix C contains several long displayed formulae for the C^α and Schauder estimates of ξ^{-2}h; breaking them into shorter blocks or adding brief verbal summaries of the interpolation steps would aid navigation.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical but the central claims appear solid and the proofs self-contained. The deferred uniqueness of G itself is clearly flagged; the present paper stands on its own as an asymptotics result. Fit for a top geometry journal is good."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is the first place the literature actually handles a fully coupled (F,G) system for SO(k)×SO(n-k+1) ancient ovals rather than reducing to a single scalar profile. That is the real advance. Theorems 1.3–1.5 give a clean geometric blow-down classification, sharp three-region asymptotics for G, and an explicit algebraic reconstruction that recovers F once G is known. The spectral analysis of the two distinct linear operators L1 and L2, the error estimates for the coupled nonlinear terms, and the barrier arguments all look carefully done and self-contained.\n\nWhat works well is the geometric preparation in §2. The line-splitting lemma (2.7) is the hinge, but the argument is local: convexity plus the known cylindrical tangent flow at the center forces Fz\to1 and Gz\to0 on [0,zq], a curvature lower bound keeps R from vanishing while G stays cylindrical, and the SO(k)-orbits become asymptotically flat once R1/2F\to∞. Once that splitting is granted, the tip identification with Bryant×R^{k-1} and the subsequent mode analysis follow the pattern already validated for the rotationally symmetric case. The reconstruction formula (1.4)–(1.5) is a nice algebraic observation that immediately turns uniqueness of G into uniqueness of F.\n\nThe soft spot is exactly the one the reader flagged: if the line-splitting failed for some sequences the tip story would collapse. On a careful read the proof does not rely on a global classification of non-compact κ-solutions for k\n\n\n≥2, so the vulnerability is real but contained. Everything else is standard spectral/barrier technology applied carefully to the coupled system. No free parameters, no circular definitions, citations are to independent earlier uniqueness theorems.\n\nThis is for people working on higher-dimensional κ-solutions or Haslhofer-type classification programs. It is not light reading, but the statements are sharp and the proofs are written so that a specialist can check them. I would send it to referees without hesitation; the technical core is solid enough to deserve that time. Worth citing once the uniqueness of G itself is finished in the sequel.","headline":"Solid first treatment of a genuinely coupled two-profile Ricci-flow system; the asymptotics and algebraic locking of F from G look correct and usable.","tokens_in":65557,"tokens_out":551,"would_cite":true,"duration_ms":7978,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","35K55","58J35"],"pacs":[],"model":"grok-4.5","headline":"SO(k)×SO(n−k+1)-symmetric ancient ovals of Ricci flow have unique sharp asymptotics for the G-profile, which algebraically determines F.","keywords":["Ricci flow","ancient ovals","κ-solutions","SO(k)×SO(n-k+1) symmetry","profile asymptotics","Bryant soliton","coupled parabolic system"],"falsifier":"Exhibit a single SO(k)×SO(n−k+1)-symmetric ancient oval whose pointed curvature-scale blow-down at a sequence with G comparable to √|t| fails to contain k−1 straight lines, or whose G-profile violates the parabolic expansion (1.2).","tokens_in":65579,"feed_emoji":"🌐","tokens_out":825,"duration_ms":7322,"temperature":0.7,"pith_summary":"The paper studies compact, non-self-similar κ-solutions of Ricci flow that are invariant under SO(k)×SO(n−k+1) and whose blow-down at −∞ is a cylinder R^k \times S^{n−k}. These solutions are diffeomorphic to the sphere and carry a positive-curvature-operator metric that can be written as a double warped product with two profile functions F and G. The authors prove that every pointed curvature-scale blow-down is either the cylinder itself or R^{k−1} times the Bryant soliton, then obtain the precise asymptotic expansion of G in the parabolic, intermediate and tip regions. Finally they show that G uniquely determines F by an explicit integral formula obtained by differentiating the evolution equation for G. Because the Ricci-flow equation reduces to a fully coupled parabolic system for (F,G), this is the first classification-type result for a geometric flow governed by more than one profile function, and it supplies the asymptotic input needed for a later uniqueness theorem that would identify all such ovals with the known constructions.","feed_headline":"Symmetric ancient ovals get unique sharp profile asymptotics","feed_subtitle":"G determines F algebraically; first classification result for a coupled geometric-flow system","key_machinery":"The coupled renormalized system for (f,g) (or equivalently (h=f_ξ,g)) linearized about the cylinder, together with spectral projections onto the positive/neutral/negative modes of the two distinct Ornstein–Uhlenbeck operators L1 and L2, and the explicit algebraic relation that recovers F from G by differentiating the evolution equation for G.","core_discovery":"For an SO(k)×SO(n−k+1)-symmetric n-dimensional ancient oval (n≥4, 2≤k≤n−2) whose tangent flow at −∞ is the cylinder R^k\times S^{n−k}(√(2(n−k−1)|t|)), the profile G admits the unique sharp expansions (1.2)–(1.3) in the parabolic and intermediate regions and, after tip rescaling, converges to R^{k−1} times the Bryant soliton; uniqueness of G forces uniqueness of F via the algebraic reconstruction (1.4)–(1.5).","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Unique G asymptotics force F uniqueness in SO-symmetric ovals","SO(k)×SO(n-k+1) ancient ovals admit unique sharp profiles","First coupled-system classification via Ricci ancient ovals","Profile G uniqueness determines F for symmetric Ricci ovals","Non-self-similar SO-symmetric ovals get unique tip asymptotics"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"Every curvature-scale blow-down sequence whose orbit radius stays on the cylindrical scale must split off at least k−1 Euclidean factors; if that line-splitting fails, the identification of the tip with Bryant times R^{k−1} collapses.","fun_headline_variants_meta":{"raw":{"variants":["Unique G asymptotics force F uniqueness in SO-symmetric ovals","SO(k)×SO(n-k+1) ancient ovals admit unique sharp profiles","First coupled-system classification via Ricci ancient ovals","Profile G uniqueness determines F for symmetric Ricci ovals","Non-self-similar SO-symmetric ovals get unique tip asymptotics"]},"model":"grok-4.5","effort":"low","cost_usd":0.00621,"raw_usage":{"total_tokens":1675,"prompt_tokens":864,"num_sources_used":0,"completion_tokens":95,"cost_in_usd_ticks":62100000,"prompt_tokens_details":{"text_tokens":864,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":716,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":864,"tokens_out":95,"duration_ms":5186,"temperature":1.0,"reasoning_tokens":716,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T02:52:33.304370+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a single SO(k)×SO(n−k+1)-symmetric ancient oval whose pointed curvature-scale blow-down at a sequence with G comparable to √|t| fails to contain k−1 straight lines, or whose G-profile violates the parabolic expansion (1.2).","supporting_citations":[],"review_version":1}