{"id":"f4fe968a-4402-475c-bceb-e35476ac2ec1","arxiv_id":"2412.14389","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In negatively curved 3-manifolds, the marked p-energy spectrum and the modified energy entropy of k-surfaces are rigid: equality or asymptotic behavior forces the ambient curvature to be constant.","lead":"This paper proves rigidity theorems for the energy spectra and entropy of surfaces of constant positive curvature in negatively curved 3-manifolds, showing that these invariants can detect whether the ambient space has constant curvature. The results give the first counting estimates for such surfaces by energy and partially answer a question raised by Labourie.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.6 rests on an unstated equidistribution statement for all sequences in QF_{\\hat m}(\\eta_n), not just the special Kahn–Marković sequence; the 'by definition' step is unproved.","rationale":"The reader's CONDITIONAL verdict is appropriate, and the reliance on the companion paper's equidistribution result is indeed the load-bearing point. My reading sharpens it: Theorem 2.16 as stated only guarantees existence of one Kahn–Marković sequence, whereas Lemma 5.8 and the proof of Theorem 1.6 require equidistribution for every efficient sequence selected from QF_{\\hat m}(η_n). That stronger statement might follow from Theorem 2.12 plus a continuity argument, but it is neither proved nor stated here; it is a genuine correctness risk rather than an internal contradiction. The minor imprecision in Lemma 5.8 (the use of η rather than δ in the contradiction estimate) is fixable and not load-bearing. With a proof of the strengthened equidistribution step, the main results would likely stand, but as written Theorem 1.6 is conditional on that missing argument.","tokens_in":23475,"tokens_out":14847,"duration_ms":134373,"concrete_test":"Verify the following statement, which the proof of Theorem 1.6 requires: for every sequence ([Γ_n]) with ρ(\\hat m(∂∞Γ_n),\\hat m)→0 and W^p_h/W^p_{h0}→1, the laminar measures μ_{k,h}(∂∞Γ_n) converge to the unique full-support ergodic laminar measure μ. Concretely, (i) check whether conformal-current convergence forces the QC constants ε_n to tend to 0 so that Lemma 2.15 applies; (ii) prove that the boundary/factor map is continuous and that the laminar measures are precompact; (iii) use Theorem 2.12 to identify every accumulation point with μ. If this derivation fails, try to construct a sequence in QF_{\\hat m}(η_n) whose laminar measures accumulate on a Fuchsian surface, which would break Theorem 1.6.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.6 (Section 5.2.1) needs the following implication: if equality of modified entropies holds, the sequence ([Γ_n]) produced by Lemma 5.8, which is only known to satisfy [Γ_n]∈QF_{\\hat m}(η_n) and W^p_h(S_{k,h}([Γ_n]))/W^p_{h0}(S_{k,h0}([Γ_n]))→1, has associated laminar measures μ_{k,h}(∂∞Γ_n) converging to the unique fully supported ergodic laminar measure μ. The paper asserts this 'by definition', but QF_{\\hat m}(η_n) only gives convergence of the conformal currents \\hat m(∂∞Γ_n) to the Haar current \\hat m on round circles. Theorem 2.16, the external equidistribution result from [2], is stated for a specially constructed Kahn–Marković sequence and does not by itself cover arbitrary sequences in QF_{\\hat m}(η_n). Lemma 2.15 only says that accumulation points are laminar when the QC constants tend to 1, and Theorem 2.12 gives uniqueness of the full-support laminar measure; the paper does not prove the needed continuity/tightness step, including that conformal-current convergence forces ε_n→0 and that the factor map from laminar measures to conformal currents is continuous. Without this step, equality of modified entropies alone does not force sect_h=−1, so the rigidity conclusion of Theorem 1.6 is conditional on a stronger, unstated equidistribution statement.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies, for closed negatively curved 3-manifolds, the asymptotic counting and rigidity properties of compact k-surfaces counted by p-energy. The main results are: Theorem 1.3, marked p-energy spectrum rigidity for metrics pinched between -1 and -a; Theorem 1.5, asymptotic coincidence of normalized marked area and energy spectra characterizes constant sectional curvature; Theorem 1.6, a rigid upper bound for a modified p-energy entropy, with equality characterizing the hyperbolic metric; and Theorem 1.8, equality of modified area and energy entropies again characterizing constant curvature. The arguments combine the foliated Plateau problem, equidistribution of Kahn-Markovic sequences, Ratner's measure classification, and energy and area estimates for nearly Fuchsian k-surfaces. The proofs are for the most part detailed and the geometric lemmas are cleanly stated. The paper is careful in stating hypotheses and makes good use of the companion paper [2].","tokens_in":1594,"tokens_out":1619,"duration_ms":167165,"significance":"If the main theorems are correct, they provide the first counting results for closed k-surfaces according to energy, partially answering Labourie's question, and they establish a new form of entropy rigidity in negative curvature by characterizing hyperbolic metrics through equality of modified k-surface energy entropies. The paper is careful in stating hypotheses and makes good use of the companion paper [2]; it also contains a self-contained proof of the Mueller-Puchta lower bound (Lemma 5.6) and a clean almost-umbilical estimate (Lemma 3.2). The main concern is a load-bearing step in the entropy-rigidity proofs, where convergence of conformal currents is asserted to imply convergence of the associated laminar measures.","major_comments":[{"comment":"The proof asserts: \"By definition of the sequence ([Gamma_n])_n, the sequence (mu_{k,h}(partial_infinity Gamma_n))_n of laminar measures converges to mu, the unique ergodic laminar measure that has full support in ShX.\" This is not justified by the definition of QF_hat_m(eta), which is a condition on the conformal currents hat_m(partial_infinity Gamma_n) being eta-close to Leb, not on the laminar measures mu_{k,h}(partial_infinity Gamma_n). The equidistribution results Theorem 2.16 and Theorem 2.17 are stated for specially constructed sequences, and Lemma 2.15 requires the quasiconformal constants epsilon_n to tend to 0; the sequence produced by Lemma 5.8 has no such control. To make the step rigorous, the authors must prove, or cite from [2], a continuity and tightness statement for the map from conformal currents to laminar measures, including that accumulation points are laminar measures with conformal current Leb and hence, by Theorem 2.12, equal to mu. The same gap occurs in the proof of Theorem 1.8 in Section 5.2.2, where the phrase \"Here again, by definition...\" repeats the assertion. This point is load-bearing for the equality case of the entropy rigidity theorems.","section":"Section 5.2.1, proof of Theorem 1.6"},{"comment":"The definition of QF_hat_m(eta) and hence of Ent^p_{k,hat_m}(X,h) is not well-posed as written. The text says that for all C >= 1 the space of conformal currents over QC^+(C) is metrizable and then \"Let rho be such a metric.\" But the distance between hat_m(partial_infinity Gamma) and hat_m depends on the choice of C and on the choice of metric rho on QC^+(C); different choices may give different sets QF_hat_m(eta) and hence different entropies. Since QF is the union over all C, one cannot compare a measure supported on QC^+(C) with Leb using a single fixed metric unless a convention is specified. The authors should either define the entropy by fixing a suitable category of conformal currents on the increasing union QC^+(C), or prove that the double limit in eta approaching 0 is independent of the auxiliary choices. This is central, as Theorems 1.6 and 1.8 are statements about this quantity.","section":"Section 5.1.3, definition of modified entropy"}],"minor_comments":[{"comment":"The sentence \"This entropy counts only quasi-Fuchsian k-surfaces that accumulate to the fully-supported, ergodic laminar measure\" is presented as an interpretation, but it is not immediate from the definition, which is in terms of conformal currents; it should either be proved or flagged as a separate lemma.","section":"Section 5.1.3"},{"comment":"The phrase \"If lim_{n to infinity} epsilon_n = 0\" is redundant since epsilon_n was already introduced as a sequence converging to zero; this is a minor wording issue.","section":"Section 2.3.4, Lemma 2.15"},{"comment":"In the proof of Theorem 1.6, the sentence \"we get that sect_h = -1 almost everywhere for mu\" should read \"mu-almost everywhere\".","section":"Section 5.2.1"},{"comment":"Question 1.11 and Question 5.10 are identical; the duplication should be removed or cross-referenced explicitly.","section":"Section 1.4.3 and Section 5.2.2"},{"comment":"The contradiction argument in Lemma 5.8 implicitly uses the pointwise bound W^p_h >= W^p_{h0}, which follows from Lemma 3.1 for the same topological type; this should be stated explicitly so that the contradiction step is transparent.","section":"Section 5.2.1, proof of Lemma 5.8"}],"recommendation":"major_revision","confidential_remarks":"The central geometric arguments are solid, and the main gap is localized: the passage from conformal-current convergence to laminar-measure convergence in the entropy-rigidity proofs. This is likely fixable by adding a continuity or tightness lemma, or by citing a precise statement from [2], but it is essential because it underpins the equality case of Theorems 1.6 and 1.8. The definitional ambiguity in the modified entropy should also be resolved before acceptance. I would not recommend rejection, as the main ideas and the non-entropy theorems appear sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is the first serious energy-based counting and rigidity program for k-surfaces, and it genuinely extends the area-spectrum results from [2] to p-energy spectra and entropies. Theorems 1.3, 1.5, 1.6, and 1.8 are new and the geometry is handled carefully. Lemma 3.2, the almost-umbilical statement for almost-Fuchsian k-disks in H3, is clean and simpler than Seppi's minimal-surface analogue. The entropy computation for the hyperbolic metric (Lemma 5.1) is also neat and correctly uses Lemma 3.2 for the lower bound.\n\nThe weak spot is the proof of Theorem 1.6. After Lemma 5.8 produces a sequence with [Γ_n] in QF_hat m(η_n) and energy ratio tending to 1, the paper asserts \"by definition\" that the laminar measures µ_{k,h}(∂∞Γ_n) converge to µ, the unique full-support ergodic laminar measure. That is not a definition; it is a continuity statement for the correspondence between conformal currents and laminar measures, and it is especially delicate because the measures live on MKD(1+ε_n) and must be transferred to the limit space MKD(1). It is probably fillable — test against leaf-pullback functions and use the uniqueness in Theorem 2.12 — but it is not written down, and the external Theorem 2.16 does not cover arbitrary sequences in QF_hat m(η_n). The rigidity conclusion is therefore conditional on a missing argument.\n\nLemma 5.8 also has a minor notational slip: the contradiction needs a fixed δ > 0 rather than the shrinking η parameter, and the statement should say W_h ≥ (1+δ) W_h0 for all small η. The idea is right, but it should be cleaned up.\n\nThe reliance on [2] is heavy but not circular; [2] is the accepted companion paper and the genuinely new arguments here do not depend on the present claims. A referee will need access to [2], though.\n\nThis paper deserves a serious referee. Send it to review, but ask the authors to justify the continuity step in Theorem 1.6 explicitly and to fix the typo in Lemma 5.8.","headline":"Energy-spectrum rigidity for k-surfaces is new and mostly sound, but Theorem 1.6 has a real gap: convergence of conformal currents is not enough, as written, to guarantee the laminar-measure convergence the proof needs.","tokens_in":24294,"tokens_out":9099,"would_cite":true,"duration_ms":85287,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53C24","53C40","57K32"],"pacs":[],"model":"deepseek-v4-flash","headline":"Equality of the marked p-energy spectrum of k-surfaces, or of the modified area and energy entropies, forces the ambient metric of a negatively curved 3-manifold to be hyperbolic or constant curvature.","keywords":["k-surfaces","marked energy spectrum","entropy rigidity","hyperbolic 3-manifold","foliated Plateau problem","quasi-Fuchsian surfaces","conformal currents","sectional curvature rigidity"],"falsifier":"A concrete refutation of Theorem 1.6 would be a closed hyperbolic 3-manifold (X,h0) and a non-isometric metric h with -1 <= sect_h <= -a for which Ent^p_{k,hat m}(X,h) = Ent^p_{k,hat m}(X,h0) for some 0 < k < a and p >= 0. A more targeted test is to check the companion paper's equidistribution theorem directly: if there is a sequence of (1+epsilon_n)-quasi-Fuchsian subgroups whose limiting laminar measure is supported on a closed Fuchsian surface rather than the full-support measure, then the step from pointwise energy equality to full-support integrals would break.","tokens_in":23256,"feed_emoji":"📐","tokens_out":10423,"duration_ms":91105,"temperature":0.7,"pith_summary":"This paper studies k-surfaces—surfaces of constant positive extrinsic curvature k—in closed negatively curved 3-manifolds, and asks how their growth rates, when counted by energy H^p dA, detect the ambient curvature. It establishes three rigidity statements: equality of the marked p-energy spectrum with the hyperbolic spectrum forces the metric to be isometric to hyperbolic; equality of the normalized area and energy spectra forces constant sectional curvature; and a modified energy entropy of almost-round quasi-Fuchsian k-surfaces is maximized by the hyperbolic metric, with equality only for the hyperbolic metric. Together these give the first counting results for closed k-surfaces by energy, and they make the energy spectrum a complete rigidity detector in the pinched-curvature regime. The proofs use the foliated Plateau problem to replace surfaces by invariant measures on the unit sphere bundle, then pass from pointwise curvature estimates to full-support integrals via equidistribution.","feed_headline":"k-surface energy spectra pin down hyperbolic metrics","feed_subtitle":"Growth rates of nearly round k-surfaces can detect ambient curvature, a first step to counting them by energy.","key_machinery":"The machinery is the foliated Plateau problem and its measure-theoretic shadow. For every round circle at infinity in the hyperbolic compactification, there is a unique k-disk spanning it; as the circle varies, the Gauss lifts of these disks foliate the unit sphere bundle, and their frame bundles carry a free right PSL2(R)-action. In the hyperbolic metric this foliation is the homogeneous foliation of PSL2(C)/SO(2) by PSL2(R)-orbits, whose leaves are totally umbilical. PSL2(R)-invariant measures on frame and sphere bundles correspond to conformal currents on round circles; a classification theorem says the only ergodic ones are the Lebesgue current with full support and currents supported on closed Fuchsian surfaces. The proofs use equidistribution of almost-round quasi-Fuchsian subgroups: a sequence whose laminar measures converge to the unique fully supported ergodic laminar measure. On the geometric side, a key lemma shows that in hyperbolic space k-disks spanned by (1+epsilon)-quasicircles have mean curvature uniformly close to $k^{{1/2}}$; this supplies the strict energy comparison that makes the hyperbolic metric maximal, and equality cases are fed into full-support integrals to force rigidity.","core_discovery":"The central claim, Theorem 1.6, is a rigid inequality for the modified p-energy entropy Ent^p_{k,hat m}. For a closed hyperbolic 3-manifold (X,h0) and any metric h with -1 <= sect_h <= -a for 0 < a < 1, and for 0 < k < a and p >= 0, Ent^p_{k,hat m}(X,h) <= Ent^p_{k,hat m}(X,h0), with equality if and only if h and h0 are isometric. Theorem 1.3 is the marked-spectrum rigidity: if the marked p-energy spectra of h and h0 coincide, then h is hyperbolic, hence isometric to h0. Theorem 1.5 characterizes constant curvature for metrics with sectional curvature at most -a: the normalized marked p- and q-energy spectra are asymptotic for some p != q if and only if h has constant sectional curvature. Theorem 1.8 is the same rigidity at the level of entropies: the modified area entropy equals the normalized modified p-energy entropy for some p != 0 if and only if the sectional curvature is constant. In the equality cases, the arguments force the mean curvature of the k-surface foliation to be constant along the relevant full-support measure, and then use the axiom-of-spheres rigidity to conclude the ambient curvature is constant.","pith_inferences":["A natural next step, not taken in this paper, would be to test stability: if the modified entropies of h are within delta of those of h0, is h forced to be geometrically close to h0? The proof scheme suggests a quantitative version should hold via the same full-support integrals.","The near-totally-umbilical lemma suggests a local converse: in a metric close to hyperbolic, the ratio of normalized p- and q-energies over almost-round quasi-Fuchsian surfaces should deviate from 1 by an amount comparable to the sectional-curvature variation; measuring this ratio would probe Theorem 1.5 without computing entropies.","If the equidistribution theorem could be replaced by a softer argument, the rigidity would extend to broader families of compact k-surfaces beyond quasi-Fuchsian ones, which is exactly the regime of the original open question about thermodynamical formalism.","The equality of area and energy entropies is an extremely strong global detector; one could try to use it to define a k-surface pressure functional whose derivative at a hyperbolic metric annihilates only conformal directions, connecting to marked length spectrum rigidity."],"forward_implications":["Equality of marked p-energy spectra for any single p >= 0 is a complete rigidity test among metrics with curvature pinched between -1 and -a.","Equality of the modified area entropy with the normalized modified p-energy entropy is a necessary and sufficient condition for constant curvature, giving a purely exponential-growth criterion.","The hyperbolic metric maximizes the modified p-energy entropy for k-surfaces among metrics with sectional curvature at least -1 and at most -a, extending entropy-domination ideas from geodesic flows and minimal surfaces to k-surfaces.","These are the first growth-rate results for closed k-surfaces counted by energy, partially answering the open question of whether a thermodynamical formalism exists for this class of surfaces.","Under an auxiliary condition that the manifold contains no closed totally geodesic surfaces, the same rigidity holds for unmodified entropy functionals that count only almost-round surfaces without imposing equidistribution, as the paper notes."],"supporting_citations":[{"why":"Supplies the foliated Plateau problem, the conformal-current formalism, and the equidistribution theorem (Theorem 2.16) on which the rigidity arguments rely.","marker":"[2]"},{"why":"Proves the asymptotic Plateau problem for k-disks in the geometrically finite case, giving existence and uniqueness of k-surfaces representing quasi-Fuchsian subgroups.","marker":"[37]"},{"why":"Extends the asymptotic Plateau problem to general simply connected negatively curved manifolds, so the k-surface representative exists for every metric considered.","marker":"[57]"},{"why":"Constructs almost-geodesic quasi-Fuchsian surface subgroups, the source of the almost-round sequences used in counting and equidistribution.","marker":"[32]"},{"why":"Introduces the domination-and-rigidity and entropy-counting methods for minimal surfaces that this paper adapts to k-surfaces.","marker":"[12]"},{"why":"Topological counting of surface subgroups by genus yields the growth bounds used to compute the hyperbolic energy entropy.","marker":"[31]"},{"why":"Rigidity of hyperbolic metrics: once the sectional curvature is shown to be -1, the metric is isometric to h0.","marker":"[50]"},{"why":"Classification of homogeneous measures for PSL2(R)-actions, used to establish the dichotomy of ergodic conformal currents.","marker":"[53]"},{"why":"Defines modified entropy via equidistribution to a fully supported current, the construction adapted here to k-surface energy entropy.","marker":"[49]"},{"why":"Axiom of spheres: existence of a totally umbilical constant-mean-curvature surface through every tangent plane forces constant sectional curvature.","marker":"[43]"}],"fun_headline_variants":["Hyperbolic rigidity from k-surface marked spectra","Entropy and spectra of k-surfaces decide ambient curvature","Marked energy spectra fix hyperbolic metrics in 3-manifolds","Rigid k-surface entropy bound detects constant curvature","Counting k-surfaces by energy exposes geometry rigidity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The rigidity step that upgrades pointwise comparisons to statements about the whole manifold relies on a theorem from the companion paper: there exists a sequence of almost-round quasi-Fuchsian surface subgroups whose laminar measures converge to a unique fully supported ergodic measure on the sphere bundle; if this equidistribution theorem fails, the equality cases in Theorems 1.3, 1.6, and 1.8 cannot be concluded.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic rigidity from k-surface marked spectra","Entropy and spectra of k-surfaces decide ambient curvature","Marked energy spectra fix hyperbolic metrics in 3-manifolds","Rigid k-surface entropy bound detects constant curvature","Counting k-surfaces by energy exposes geometry rigidity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000223,"raw_usage":{"total_tokens":1492,"prompt_tokens":1017,"completion_tokens":475,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":633,"completion_tokens_details":{"reasoning_tokens":398}},"tokens_in":633,"tokens_out":475,"duration_ms":5022,"temperature":1.0,"reasoning_tokens":398,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:17:10.048823+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete refutation of Theorem 1.6 would be a closed hyperbolic 3-manifold (X,h0) and a non-isometric metric h with -1 <= sect_h <= -a for which Ent^p_{k,hat m}(X,h) = Ent^p_{k,hat m}(X,h0) for some 0 < k < a and p >= 0. A more targeted test is to check the companion paper's equidistribution theorem directly: if there is a sequence of (1+epsilon_n)-quasi-Fuchsian subgroups whose limiting laminar measure is supported on a closed Fuchsian surface rather than the full-support measure, then the step from pointwise energy equality to full-support integrals would break.","supporting_citations":[{"cited_title":"Alvarez, B","cited_arxiv_id":null,"evidence_quote":"Supplies the foliated Plateau problem, the conformal-current formalism, and the equidistribution theorem (Theorem 2.16) on which the rigidity arguments rely."},{"cited_title":"Labourie","cited_arxiv_id":null,"evidence_quote":"Proves the asymptotic Plateau problem for k-disks in the geometrically finite case, giving existence and uniqueness of k-surfaces representing quasi-Fuchsian subgroups."},{"cited_title":"Kahn and V","cited_arxiv_id":null,"evidence_quote":"Constructs almost-geodesic quasi-Fuchsian surface subgroups, the source of the almost-round sequences used in counting and equidistribution."},{"cited_title":"Calegari, F","cited_arxiv_id":null,"evidence_quote":"Introduces the domination-and-rigidity and entropy-counting methods for minimal surfaces that this paper adapts to k-surfaces."},{"cited_title":"Kahn and V","cited_arxiv_id":null,"evidence_quote":"Topological counting of surface subgroups by genus yields the growth bounds used to compute the hyperbolic energy entropy."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Rigidity of hyperbolic metrics: once the sectional curvature is shown to be -1, the metric is isometric to h0."},{"cited_title":"Leung and K","cited_arxiv_id":null,"evidence_quote":"Axiom of spheres: existence of a totally umbilical constant-mean-curvature surface through every tangent plane forces constant sectional curvature."}],"review_version":1}