{"id":"c06146d5-7ce2-43f2-a4e1-a12fa826711b","arxiv_id":"2608.00944","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For closed manifolds with sectional curvature at most -1, reaching McKean's lower spectral bound forces the universal cover to be hyperbolic space, in both the Laplacian and p-Laplacian cases.","lead":"Mathematicians proved a rigidity theorem: if a closed manifold with curvature at most minus one has a universal cover whose lowest Laplacian tone hits McKean's sharp lower bound, that cover must be hyperbolic space, and the same is true for every p-Laplacian. The proof introduces a measure-based argument on the compact space of directions, giving a new tool for spectral rigidity.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Duplicated-leaf space in Thm 7.5(iii) is not shown to be a C^{r,0} foliated space: the drift coefficient can be discontinuous where a nonproper leaf accumulates on a different leaf, so the Hille–Yosida identification is not justified.","rationale":"The reader identified the leafwise semigroup theory in Section 7 as the load-bearing assumption, and I agree that this is the critical spot. My stress-test isolates a more specific defect than the reader's statement: the duplicated-leaf space \\bar X_L, as constructed in Step 1–3 of Theorem 7.5(iii), is not demonstrated to be a compact C^{r,0} foliated space on which the extended operator \\bar A has C^{2,0} principal and C^{1,0} first-order coefficients. The topology N(U,K) forces points of the copied leaf to accumulate at points of X on other leaves, and the drift field ∇B_ξ does not match the drift field of the limiting leaf ∇B_η. Therefore the coefficient regularity required for the Hille–Yosida construction in §7.2 is not established. This is not a disagreement with the likely truth of the theorem — the rest of the proof, including the McKean square identity, the suspension compactness, the defect-to-stationarity passage, and the Riemannian rigidity Lemma 6.1, is coherent and well motivated. It is also not an internal contradiction in the geometry; it is a missing proof at the heart of the diffusion argument. Because the support-saturation step is the unique bridge from a single point in supp μ to a full leaf with ΔB_{ξ*} = m-1 everywhere, the central claim of the paper is not fully established by the submitted proof. I therefore recommend conditional acceptance: the paper should be accepted only if the duplicated-leaf step can be repaired or replaced by a valid proof that the Feller semigroup's transition probabilities stay in the initial leaf and are given by the strictly positive conservative leafwise heat kernel. If the duplicated-leaf construction turns out to be irreparable, the proof of Proposition 5.4 and hence Theorems 1.1 and 1.2 would not follow from the material presented.","tokens_in":37952,"tokens_out":31843,"duration_ms":369540,"concrete_test":"Check the transverse continuity of the drift coefficient in the duplicated-leaf construction. Fix a nonproper leaf L_ξ and a point z ∈ X lying on a different leaf L_η in the closure of L_ξ. In a chart of the form N(U,K) around z, take a sequence of points \\bar y_k ∈ \\bar L converging to z. Pull the drift coefficient back to \\tilde M: for the copied leaf it is ∇B_ξ(x_k), while for the limiting original plaque it is ∇B_η(x). For a concrete model, take M a closed hyperbolic surface and choose ξ ≠ η; compute ⟨∇B_ξ(x), ∇B_η(x)⟩ at a point x. In H^2(-1) these unit vectors are distinct except on the bisector of the two boundary points, so the coefficient is discontinuous at z. If this discontinuity persists in the suspension, \\bar A fails the C^{1,0} hypothesis and Theorem 7.5(i)–(ii) cannot be invoked for \\bar X_L. To settle the concern, either supply a valid C^{∞,0} foliated atlas on \\bar X_L","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The rigidity conclusion depends on Lemma 5.2(iii): stationary supports are leaf-saturated, which requires Theorem 7.5(iii) that the global Feller semigroup on the horospherical suspension agrees with the intrinsic minimal heat semigroup on each nonproper leaf. The proof of Theorem 7.5(iii) uses Candel's duplicated-leaf construction: it forms \\bar X_L = X ⊔ \\bar L with the topology generated by N(U,K) = U ∪ s^{-1}(ι_L^{-1}(U)\\setminus K), and then claims that (\\bar X_L, \\bar A) satisfies the hypotheses of parts (i)–(ii), so that the resolvent and semigroup can be built there. The gap is the coefficient regularity of \\bar A. A sequence of points in the copied leaf \\bar L can converge to a point z ∈ X lying on a different original leaf L_η. In any local product chart around z, the transverse coordinates of the copied-leaf components accumulate at η. The drift coefficient on the copied plaques is V|_L = ∇B_ξ (if \\bar L copies L_ξ), while on the nearby original plaques it is ∇B_η. For ξ ≠ η these two unit vector fields are generically distinct (already in H^m(-1), ∇B_ξ and ∇B_η point in different directions at most points). Hence the first-order coefficient of \\bar A is not even transversely continuous at z, let alone C^{1,0} as required by Lemma 5.1 and Theorem 7.5(i)–(ii). The paper asserts, but does not prove, that the 'duplicated-plaque construction' equips \\bar X_L with a C^{∞,0} foliated structure for which \\bar A has the required regularity. Without this, the Hille–Yosida/resolvent argument in §7.2 cannot be applied to (\\bar X_L, \\bar A), and the identification of P_t with the intrinsic leafwise heat kernel — the only route to strict positivity on the leaf and hence to saturation of stationary supports — is unproved. If this gap is real, Proposition 5.4 does not follow: the limiting measure's support might be a proper, non-saturated subset of D^{-1}(0), so no single Busemann function with ΔB_{ξ*} = m-1 everywhere would be obtained.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves McKean rigidity for universal covers of closed Riemannian manifolds with sec ≤ -1. Theorem 1.1 states that λ_1(\\tilde M) = (m-1)^2/4 iff \\tilde M is isometric to hyperbolic space H^m(-1). Theorem 1.2 extends this to the variational p-Laplacian: λ_{1,p}(\\tilde M) ≥ ((m-1)/p)^p, and equality for some p holds iff \\tilde M is hyperbolic. The proof introduces an exact square identity (Lemma 2.2) that separates the spectral excess into a first-order defect and a Busemann Laplacian defect. For a normalized minimizing sequence, both defects vanish. The measures u_j^2 dV are pushed forward to the compact horospherical suspension Z = (\\tilde M × ∂_∞ \\tilde M)/Γ ≅ SM. A weak limit μ is supported in the zero set of the Busemann defect D. The first defect yields stationarity of μ for the leafwise drift operator L = Δ_leaf - (m-1)⟨V, ∇_leaf ·⟩. Using Candel's leafwise diffusion theory developed in Section 7, the support is shown to be leaf-saturated, so one complete leaf in supp μ gives a Busemann function with ΔB = m-1 everywhere. Busemann Hessian comparison and a warped-product splitting then force hyperbolicity. The p-case uses a Bregman-divergence identity (Lemma A.2) to obtain the same L^1 transport equation with coefficient m-1, so the same diffusion and support arguments apply. The paper also contains examples (§6.2) showing why cocompactness and a lower curvature bound are needed.","tokens_in":38363,"tokens_out":17670,"duration_ms":215148,"significance":"The result is a significant spectral rigidity theorem in negatively curved Riemannian geometry. It identifies hyperbolic space as the unique extremal universal cover among closed manifolds with sec ≤ -1, both for the classical Laplacian and for all p-Laplacians. The proof is elegant and surprisingly soft: it converts the McKean defect into a stationary measure on the compact horospherical suspension, and then uses heat-kernel positivity to propagate a single zero-defect point along a complete leaf. The paper gives parameter-free, exact identities, and it develops a substantial amount of leafwise diffusion theory (Section 7), including a careful treatment of nonproper leaves via Candel's duplicated-leaf construction. The p-Laplacian extension is nontrivial and the equality case is handled uniformly in p. The examples in §6.2 clarify the roles of compactness and two-sided curvature. If correct, the paper answers a natural rigidity question and will be of interest to geometers and spectral theorists.","major_comments":[],"minor_comments":[{"comment":"The construction of the foliated atlas on the duplicated-leaf space is only sketched. In particular, the sentence 'topologize their transverse parameters by (7.15)' needs to be expanded. A skeptical reader worries that when a nonproper leaf accumulates on a different leaf, the drift coefficient of \\bar A could be discontinuous. The resolution is that the copied plaques in a chart are assigned the original transverse coordinates (possibly reanchored by the deck transformation), so the coefficients of \\bar A are the same continuous functions of (y,τ) as on the original plaques. Please state this explicitly and verify that the resulting atlas is C^{r,0} with \\bar A having C^{1,0} first-order coefficients. This is a local clarity issue; the construction itself appears sound.","section":"§7.3, Step 1 (foliated structure of \\bar X_L)"},{"comment":"In the Hausdorff check, the basis element is written as N(X,V), but V is not compact; the definition of N(U,K) requires K compact. The authors presumably mean N(X,\\overline{V}) or a compact neighborhood contained in V. This is a minor notational slip.","section":"§7.3, Step 1 (Hausdorff property)"},{"comment":"The transition from a single Busemann function with ΔB = m-1 to the warped-product splitting is clean, but it would help to add a sentence explicitly noting that the lower curvature bound in Lemma 6.1 is used only to rule out nontrivial sectional curvature of the horosphere H, while the upper bound gives the Hessian identity. This is implicit but could be stated for readability.","section":"§5.4 / §6.1"}],"recommendation":"minor_revision","confidential_remarks":"The stress-test concern about the duplicated-leaf space was considered. I do not think it invalidates the proof: the copied plaques inherit the original transverse coordinates, so the coefficients of \\bar A extend continuously to accumulation points. However, the manuscript should make this explicit, since the current text is terse and the point is load-bearing. This is a local presentation issue, not a technical error in the central argument. The paper is otherwise well-written and the main theorems are convincing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real theorem, not a repackaging. The p-Laplacian rigidity is new, and the quadratic case under sec ≤ −1 uses a defect-plus-stationary-measure argument genuinely different from Wang's Ricci-based proof. The McKean square identity and its p-analogue are clean, and the reduction to a linear transport equation for the density u_j^p is a nice trick.\n\nThe achievements: Theorem 1.2 is exactly the kind of sharp rigidity result that belongs in the literature. The proof is honest about where cocompactness enters, and the counterexamples in §6.2 usefully separate the two roles of closedness. The exact identities are there, no fitted parameters, and the final step from ΔB = m−1 to hyperbolicity is standard and clean.\n\nThe soft spot is Section 7. The whole rigidity conclusion hangs on Lemma 5.2(iii) — leaf saturation of stationary supports — which depends on Theorem 7.5(iii), the identification of the global Feller semigroup with the intrinsic heat semigroup on each leaf. The duplicated-leaf construction is the right way to handle nonproper leaves, but the verification of the foliated structure and coefficient regularity on the enlarged space is terse. The stress-test note I received claims the drift coefficient becomes discontinuous when a nonproper leaf accumulates on another leaf. I don't think that's right as stated: the drift is the pullback of V, and V is continuous on the suspension, so the values on the copied leaf converge correctly. What genuinely needs checking is the C^{1,0} regularity of the leafwise derivatives of the drift across the duplicated-leaf boundary, and more generally that the enlarged space fits the hypotheses of Theorem 7.5(i)–(ii). Candel's paper is cited for this, but the paper's summary is thin enough that a referee should ask for details.\n\nIf that gap is repairable — and I expect it is — the rest of the proof is solid. The citation pattern looks fine; self-citations are to companion papers and are not padded.\n\nBottom line: this deserves peer review. It's a paper for spectral geometers and rigidity people. I'd want the referee to focus on §7.3 and the duplicated-leaf construction. My own verdict would be accept-with-revisions once the Section 7 details are filled in.","headline":"A substantial and likely correct rigidity theorem whose only real vulnerability is the leafwise diffusion construction in §7, which needs referee scrutiny rather than desk rejection.","tokens_in":38893,"tokens_out":6783,"would_cite":true,"duration_ms":75076,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","58J50","35J92","58J65"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that if the universal cover of a closed manifold with sectional curvature at most −1 attains McKean's sharp spectral lower bound, or any p-version of it, the cover must be hyperbolic space.","keywords":["p-Laplacian","McKean inequality","bottom spectrum","Busemann function","horospherical suspension","leafwise diffusion","spectral rigidity","negative curvature"],"falsifier":"Construct a closed Riemannian manifold with sectional curvature at most $-1$ whose universal cover is not $\\mathbb H^m(-1)$ but for which a normalized minimizing sequence yields a limiting measure on the horospherical suspension whose support is not a union of complete leaves. Concretely, one could compute $\\lambda_{1,p}(\\widetilde M)$ for a nonhyperbolic warped-product or finite-volume example and check whether equality $((m-1)/p)^p$ holds for some $p$, which would contradict Theorem 1.2.","tokens_in":37860,"feed_emoji":"📐","tokens_out":8054,"duration_ms":84451,"temperature":0.7,"pith_summary":"The paper proves a spectral rigidity theorem: if the universal cover $\\widetilde M$ of a closed Riemannian manifold with sectional curvature at most $-1$ attains the sharp lower bound $\\lambda_1(\\widetilde M)=(m-1)^2/4$, then $\\widetilde M$ is isometric to hyperbolic space $\\mathbb H^m(-1)$. The same is proved for the variational $p$-Laplacian for every $1<p<\\infty$: the bound $\\lambda_{1,p}(\\widetilde M)\\ge ((m-1)/p)^p$ is sharp, and equality for any single $p$ forces hyperbolicity, which then gives equality for all $p$. The proof converts the two 'McKean defects' of a minimizing sequence into a stationary probability measure on a compact horospherical suspension; positivity of a leafwise heat semigroup forces the zero-defect support to contain a complete leaf, producing one Busemann function with Laplacian exactly $m-1$ everywhere. Busemann Hessian comparison then yields a warped-product splitting with flat horospheres, so the cover is hyperbolic. The result matters because it shows that in the cocompact setting the bottom spectrum alone—without entropy or volume-growth assumptions—detects constant curvature $-1$.","feed_headline":"Hyperbolic space is the unique equality case of McKean's bound","feed_subtitle":"On covers of closed negatively curved manifolds, equality in the sharp spectral bound forces hyperbolicity.","key_machinery":"The central mechanism is the compact horospherical suspension $Z=(\\widetilde M\\times\\partial_\\infty\\widetilde M)/\\Gamma$, homeomorphic to the unit tangent bundle $SM$, with leaves $L_\\xi$ covered by $\\widetilde M$. The argument's hinge is the leafwise drift operator $L=\\Delta_{\\mathrm{leaf}}-(m-1)\\langle V,\\nabla_{\\mathrm{leaf}}\\cdot\\rangle$, whose maximal continuous realization generates a conservative Feller semigroup; a stationary probability measure for $L$ has leaf-saturated support. The two McKean defects of a minimizing sequence are converted into (i) stationarity of the limiting measure under $L$ and (ii) containment of its support in $D^{-1}(0)$, the zero set of the Busemann Laplaci","core_discovery":"On the paper's own terms, the discovery is that McKean's spectral lower bound is rigid in the cocompact setting: if $\\lambda_1(\\widetilde M)=(m-1)^2/4$ or, more generally, $\\lambda_{1,p}(\\widetilde M)=((m-1)/p)^p$ for some $p\\in(1,\\infty)$, then the universal cover is isometric to $\\mathbb H^m(-1)$. The proof identifies the two McKean defects—a first-order gradient defect and a Busemann Laplacian defect—and shows both vanish along a single minimizing sequence. Pushing the mass to the compact horospherical suspension $Z=(\\widetilde M\\times\\partial_\\infty\\widetilde M)/\\Gamma$ gives a limiting probability measure supported on the zero set of the Busemann defect, while the first defect makes it","pith_inferences":["The paper leaves implicit that the same defect-to-stationarity mechanism may extend to other leafwise operators with the same drift coefficient $m-1$, for example certain nonlinear or magnetic Laplacians, whenever a convexity-defect identity and a leafwise heat semigroup are available.","The finite-volume example in Section 6.4 suggests that without cocompactness, equality in the sharp bound can coexist with nonhyperbolicity because minimizing mass escapes to a cusp; this hints that suitable tightness conditions, rather than curvature bounds alone, might be the right replacement for compactness.","Problem 6.5 asks whether volume-entropy rigidity extends to finite-volume quotients; a positive answer would unify the spectral and entropy routes, while a negative one would sharpen the boundary between them."],"forward_implications":["If the paper is correct, for any closed manifold with sectional curvature at most $-1$, spectral equality $\\lambda_1(\\widetilde M)=((m-1)/2)^2$ detects hyperbolicity without any volume-growth or entropy input.","Equality in the $p$-Laplacian bound for any single $p\\in(1,\\infty)$ already forces hyperbolicity; once hyperbolicity holds, equality holds for every $p$.","The stationary-measure/leaf-saturation method gives a template for other spectral rigidity problems where minimizing-sequence defects can be localized on a compact foliated suspension.","The paper's examples show that both a uniform lower curvature bound and compactness of the suspension are genuinely needed; removing either produces nonhyperbolic covers that still attain the sharp spectral value."],"supporting_citations":[{"why":"Establishes the sharp lower bound $\\lambda_1(X)\\ge (m-1)^2/4$ for simply connected manifolds with $\\sec\\le -1$, the inequality whose equality case the paper analyzes.","marker":"[McK70]"},{"why":"Proves the sharp $p$-Laplacian lower bound $\\lambda_{1,p}(X)\\ge ((m-1)/p)^p$ under the same curvature condition, which Theorem 1.2 extends to equality rigidity.","marker":"[Pol14]"},{"why":"Independent proof of the sharp $p$-fundamental tone bound, cited as the baseline for the $p$-Laplacian estimate.","marker":"[CC22]"},{"why":"Supplies the leafwise semigroup construction (resolvent, Hille–Yosida, heat-kernel positivity) that yields saturation of stationary supports on the compact foliated suspension.","marker":"[Can03]"},{"why":"Provides the horospherical-suspension viewpoint in visual-boundary form, which the paper adapts to the universal-cover setting.","marker":"[Led10]"},{"why":"Provides the stationary-measure and volume-entropy viewpoint that inspires the suspension argument, and the integral formula contrasted in the introduction.","marker":"[LW10]"},{"why":"Gives the geometry of horospheres and the Busemann Hessian/Laplacian comparison estimates used to convert $\\Delta B_{\\xi_*}=m-1$ into hyperbolic rigidity.","marker":"[HIH77]"},{"why":"Supplies the visual boundary, cone topology, and regularity results for Busemann functions on visibility manifolds.","marker":"[EO73]"},{"why":"Defines the classical continuous domain used for the leafwise drift operator and the notion of an $A$-harmonic measure, which the paper takes as the stationarity test domain.","marker":"[Suz15]"}],"fun_headline_variants":["McKean's bound equality forces hyperbolicity","Equality in McKean's bound: only hyperbolic covers","Rigidity: McKean bound equality implies hyperbolicity"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The load-bearing premise is the existence and positivity of a conservative leafwise heat semigroup on the compact foliated horospherical suspension, whose leaves may be noncompact and nonproper; if that semigroup failed for the $C^{\\infty,0}$ coefficients used here, the support of the limiting measure could fail to be leaf-saturated and the rigidity conclusion would not follow.","fun_headline_variants_meta":{"raw":{"variants":["McKean's bound equality forces hyperbolicity","Equality in McKean's bound: only hyperbolic covers","Rigidity: McKean bound equality implies hyperbolicity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000211,"raw_usage":{"total_tokens":1252,"prompt_tokens":745,"completion_tokens":507,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":489,"completion_tokens_details":{"reasoning_tokens":452}},"tokens_in":489,"tokens_out":507,"duration_ms":6266,"temperature":1.0,"reasoning_tokens":452,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:36:13.673938+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a closed Riemannian manifold with sectional curvature at most $-1$ whose universal cover is not $\\mathbb H^m(-1)$ but for which a normalized minimizing sequence yields a limiting measure on the horospherical suspension whose support is not a union of complete leaves. Concretely, one could compute $\\lambda_{1,p}(\\widetilde M)$ for a nonhyperbolic warped-product or finite-volume example and check whether equality $((m-1)/p)^p$ holds for some $p$, which would contradict Theorem 1.2.","supporting_citations":[],"review_version":1}