{"id":"22032edf-8620-4a3b-ac11-03de9e69ea88","arxiv_id":"2502.07626","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":0.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A survey of foliated Plateau problems showing that area-entropy and marked-area-spectrum rigidity for k-surfaces mirror classical geodesic-flow rigidity.","lead":"This note surveys a program that treats surfaces of constant extrinsic curvature in negatively curved 3-manifolds as a two-dimensional analogue of the geodesic flow, and uses that analogy to prove counting and rigidity theorems. It is an exposition of work by the author with Lowe and Smith, not a new research result.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central rigidity theorem's equality cases hinge on Theorem 4.11's full-support equidistribution, deferred to [3]; the note proves only that sectional curvature is -1 on quasi-Fuchsian tangent planes, so the final step cannot be checked from the text.","rationale":"The reader's weakest_assumption already identifies Theorem 4.11, and I agree. The survey is honest about deferring the core proof; it is a survey, not a new research article, so this is not an internal inconsistency. However, for the central claim as stated, the decisive implication 'curvature -1 on quasi-Fuchsian k-surfaces ⇒ curvature -1 everywhere' is unverifiable here. The other ingredients—Ratner dichotomy, continuity of σ, Gauss-Bonnet area comparison—are at least sketched and are standard. No evidence suggests a defect in [3] itself; the concern is epistemic, not mathematical. Therefore the reader's UNVERDICTED verdict stands unchanged.","tokens_in":26326,"tokens_out":7131,"duration_ms":72630,"concrete_test":"Verify Theorem 4.11 in [3]: trace the construction of Γ_n from Kahn-Marković's almost geodesic surfaces and check that the associated k-surface measures converge in the space of Π-invariant laminar probability measures on T^1X to a measure with support equal to all of T^1X. Two subchecks: (i) the convergence statement is with respect to a fixed topology on measures on T^1X, despite the Γ_n having quasicircles of varying C_n; (ii) the 'do not accumulate in closed surfaces' argument rules out every proper invariant subset, not just closed leaves. If either subcheck fails, test whether a negatively curved h with sect_h=-1 on all quasi-Fuchsian k-surface tangent planes but not identically -1 can still satisfy MAS rigidity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is Theorem 4.11 (Section 4.3.3), quoted from [3]: for a Kahn-Marković sequence Γ_n with C_n→1, the laminar measures μ̂_{k,h}(∂∞Γ_n) converge to a laminar measure μ̂_∞ on T^1X with total support. Section 4.3.4's proof of Theorem 4.5 uses exactly this full support: from MAS_{k,h}=MAS_{k,h0} it obtains σ=-1 μ̂_{k,h}(∂∞Γ_n)-almost everywhere, hence σ=-1 μ̂_∞-almost everywhere, and full support plus continuity of sect_h forces sect_h=-1 on all of T^1M. If μ̂_∞ instead had support on a proper closed invariant set, the argument would only show negative curvature pinching on the tangent planes of the quasi-Fuchsian surfaces, which does not imply h is hyperbolic. The paper explicitly defers Theorem 4.11 to [3] and also does not sketch the equality case of Theorem 4.4; the presented text therefore cannot by itself support the 'if and only if' rigidity. This is not an internal inconsistency, but it is the decisive unverified step for the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a survey note in differential geometry and dynamical systems. It reviews recent work on the asymptotic Plateau problem for k-surfaces (constant extrinsic curvature) in closed negatively curved 3-manifolds, the resulting lamination of the unit tangent bundle, and the use of equidistribution of closed quasi-Fuchsian k-surfaces to prove rigidity statements. The main results presented are Theorem 4.4, an area-entropy inequality H(M,h)^2/(2π) ≥ Ent_k(M,h) ≥ Ent_k(M,h0) = (1-k)/(2π) with equality rigidity, and Theorem 4.5, the rigidity of the hyperbolic marked area spectrum. Both theorems are quoted from the author's joint paper [3], and a proof sketch for Theorem 4.5 is given in Section 4.3.4.","tokens_in":26543,"tokens_out":9962,"duration_ms":86274,"significance":"If the results of [3] are correct, this survey fills a useful role by collecting the main statements and proof ideas of a new area: the dynamics of k-surfaces as a two-dimensional analogue of the geodesic flow. The note is clearly structured and carefully distinguishes background material from theorems quoted from [3]. Its value lies in exposition rather than new results. The proof sketch of Theorem 4.5 is not self-contained; it depends crucially on Theorem 4.11, whose proof is deferred. The survey also leaves the equality case of Theorem 4.4 unsketched. These are fixable presentation issues, but they affect the completeness of the account.","major_comments":[{"comment":"The displayed formula for the area entropy, liminf_{A→∞} (1/A) log(A) log N(A), is inconsistent with the stated value in Theorem 4.4. Using Kahn-Marković's counting, log N(A) ∼ ((1-k)/(2π)) A log A for the hyperbolic metric, so the displayed expression tends to infinity. The intended normalization must be 1/(A log A) times log N(A), or an equivalent correction. As written, the definition is mathematically wrong and should be fixed.","section":"Definition 4.3, Section 4.2.2"},{"comment":"The argument that sectional curvature is identically -1 rests on Theorem 4.11, the existence of a Kahn-Marković sequence whose associated k-surface measures converge to a full-support laminar measure. The proof of Theorem 4.11 is deferred to [3]. Without this full-support statement, the equality of marked area spectra only yields sect_h = -1 on the tangent planes of the quasi-Fuchsian surfaces in the given sequence, which is not enough to conclude that h is hyperbolic. Thus the proof sketch, as presented, cannot be verified from the note alone.","section":"Section 4.3.4, proof of Theorem 4.5"},{"comment":"The note proves the entropy inequalities and observes that equality of areas implies (12), but it does not sketch how equality in Ent_k(M,h) = Ent_k(M,h0) forces equality of areas and then applies the equidistribution argument. Since the equality rigidity is one of the two central claims, a survey presenting this result should at least outline this step or explicitly state that the proof is omitted.","section":"Theorem 4.4, equality case"}],"minor_comments":[{"comment":"The word 'isometrc' should be 'isometric'.","section":"Theorem 2.4"},{"comment":"The word 'relevent' should be 'relevant'.","section":"Section 2.3.2"},{"comment":"The phrase 'which bounds two discs Ω′ ⊂ Dc′ and Ω′ ⊂ Dc′' appears to contain a typo; the two discs should likely be labeled Ω_1 ⊂ D_c and Ω_2 ⊂ D_c'.","section":"Section 3.4.3, proof of Theorem 3.17"},{"comment":"The phrase 'variable curvature ≥ -1' is confusing; the standing assumption is sect_h ≤ -1, so the phrase should say 'curvature bounded above by -1' or similar.","section":"Section 4.2.2"},{"comment":"The phrase 'do not depend of the metric h' should be 'do not depend on the metric h'.","section":"Section 4.3.1"},{"comment":"The word 'Fax' should be 'Fix'.","section":"Section 5.2"},{"comment":"The name 'Hämenstadt' should be spelled 'Hamenstädt' consistently.","section":"Sections 2.4.5 and 2.3.2"}],"recommendation":"major_revision","confidential_remarks":"The referee did not verify the proofs in [3]. The present note is essentially an account of the author's own joint work with Lowe and Smith; this is appropriate for a survey but the editor should weigh whether the deferred proofs of the central theorems are acceptable for the venue. The main technical gap in the note's own proof sketch is the reliance on Theorem 4.11 without proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this is a survey, not a research paper. It contains no new theorem. All the main results—the area-entropy chain of inequalities and the marked-area-spectrum rigidity—are quoted from the author's joint paper [3] with Lowe and Smith. If you want to understand what the k-surface program looks like from the inside, this is a good read; if you were hoping to check the central rigidity arguments here, you will be sent to [3].\n\nWhat the paper does well: it gives a clean narrative arc from geodesic rigidity (Besson–Courtois–Gallot, Hamenstädt) to the k-surface analogues. The background on Labourie's phase space, the foliated Plateau problem, and the homogeneous model is well organized and accurate as far as I can tell. The proofs that are actually sketched—the chain of inequalities, the Gauss–Bonnet computation, the existence of the foliation by k-discs, the Ratner-based dichotomy for ergodic conformal currents—are enough to give a real sense of the mechanism. The author is honest about what is a survey and what is deferred.\n\nThe soft spot is exactly where the stress-test note points. Theorem 4.11, the existence of a Kahn–Marković sequence whose associated laminar measures converge to a fully supported measure, is the load-bearing step in the rigidity of the marked area spectrum. From equality of spectra you get curvature −1 on the tangent planes of every quasi-Fuchsian k-surface; without full support of the limiting measure, that does not propagate to all of TM. The paper states Theorem 4.11 and says the proof is in [3], but does not even sketch how full support is obtained. That is a real gap if the survey is meant to be self-contained, though it is not a flaw in the underlying mathematics, and for a survey it may be acceptable. I would recommend adding a short remark on the strategy, even one paragraph.\n\nMinor issues: typos (\"isometrc\", \"relevent\", \"Hämenstadt\" vs \"Hamenstädt\"), a couple of notational slips. Nothing structural.\n\nBottom line: for a reader approaching the subject, this is a useful and reliable entry point. The heavy self-citation is not a problem here—the author is clearly building on his own work and says so. I would send it to a referee, with the expectation that the referee checks that the claims are faithfully quoted from [3] rather than that the proofs are reproduced in the survey.","headline":"A transparent survey of the Alvarez–Lowe–Smith k-surface rigidity program, valuable as an entry point, but the decisive full-support equidistribution step is deferred to [3] and not sketched.","tokens_in":27147,"tokens_out":2625,"would_cite":true,"duration_ms":26536,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","37D40","53C24","53C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Counting closed constant-curvature surfaces by area, at the rate measured by an area-entropy functional, determines whether a negatively curved 3-manifold is hyperbolic.","keywords":["k-surfaces","constant extrinsic curvature","foliated Plateau problem","area entropy","marked area spectrum","negative curvature rigidity","equidistribution","quasi-Fuchsian surface subgroups"],"falsifier":"Find a closed hyperbolic 3-manifold $(M,h_0)$ and a non-isometric smooth metric $h$ with $\\operatorname{sect}_h\\le -1$ for which a direct computation of $\\operatorname{Ent}_k(M,h)$ gives $(1-k)/(2\\pi)$; this would disprove the equality case of Theorem 4.4. A more local check is to examine the accumulation points of the Kahn-Markovi\\'c laminar measures: if any open subset of $T^1X$ is missed by the limiting measure, the step that forces sectional curvature $-1$ on all tangent planes fails.","tokens_in":26071,"feed_emoji":"📐","tokens_out":8355,"duration_ms":69136,"temperature":0.7,"pith_summary":"This paper surveys a program in which surfaces with constant extrinsic curvature $k$ ($0<k<1$) inside a closed negatively curved 3-manifold are treated as a two-dimensional analogue of the geodesic flow. It reports the rigidity results of the author's joint work: the area entropy $\\operatorname{Ent}_k(M,h)$ of closed quasi-Fuchsian $k$-surfaces satisfies $H(M,h)^2/(2\\pi) \\ge \\operatorname{Ent}_k(M,h) \\ge \\operatorname{Ent}_k(M,h_0) = (1-k)/(2\\pi)$, and equality in the lower bound forces $h$ to be isometric to the hyperbolic metric $h_0$. The marked area spectrum, which records the area of the unique $k$-surface representative of each quasi-Fuchsian subgroup, is likewise rigid: equality with the hyperbolic spectrum forces isometry. The reason this matters is that the census of closed constant-curvature surfaces, not just closed geodesics, carries enough information to reconstruct the ambient hyperbolic geometry.","feed_headline":"Surface-counting entropy pins down the hyperbolic metric","feed_subtitle":"In negatively curved 3-manifolds, equality in the new area-entropy bound forces constant curvature -1.","key_machinery":"The central object is the $k$-surface: an immersed surface whose shape operator has determinant $\\kappa_{\\rm ext}=k$, with $0<k<1$. Because each oriented Jordan curve in the ideal boundary spans a unique $k$-disc (the asymptotic Plateau problem), and because round circles span $k$-discs that foliate the unit tangent bundle $T^1X$, the problem becomes a foliated Plateau problem with a natural $\\mathrm{PSL}_2(\\mathbb{R})$-action on frame bundles. On this phase space, the relevant invariant objects are conformal currents, $\\mathrm{PSL}_2(\\mathbb{R})$-bi-invariant measures, and laminar measures, and Ratner's theorem gives the key dichotomy: the only ergodic laminar measures are the fully supported one and those coming from closed Fuchsian $k$-surfaces. The Kahn-Markovi\\'c sequence of almost-Fuchsian subgroups then supplies the measure with full support, which is what converts the observation that curvature is $-1$ on quasi-Fuchsian tangent planes into the conclusion that curvature is $-1$ everywhere.","core_discovery":"The central claim is that closed $k$-surfaces are abundant and geometrically informative enough to play the role of closed geodesics in dimension three. For a closed hyperbolic 3-manifold $(M,h_0)$, every Riemannian metric $h$ with $\\operatorname{sect}_h \\le -1$ and every $k\\in(0,1)$ satisfy the chain $H(M,h)^2/(2\\pi) \\ge \\operatorname{Ent}_k(M,h) \\ge \\operatorname{Ent}_k(M,h_0) = (1-k)/(2\\pi)$, with equality $\\operatorname{Ent}_k(M,h)=\\operatorname{Ent}_k(M,h_0)$ if and only if $h$ and $h_0$ are isometric; and the equality of marked area spectra $\\operatorname{MAS}_{k,h}=\\operatorname{MAS}_{k,h_0}$ also holds if and only if $h$ and $h_0$ are isometric. The proof strategy is equidistribution: a sequence of almost-Fuchsian surface subgroups produced by Kahn-Markovi\\'c methods has the property that the associated $k$-surface measures converge to a laminar measure of full support on the unit tangent bundle, so the sectional curvature, observed to be $-1$ on every quasi-Fuchsian tangent plane, is forced to be $-1$ everywhere.","pith_inferences":["A natural next step is a thermodynamical formalism for $k$-surfaces in which a H\\\"older potential on $T^1M$ has a pressure defined by counting closed quasi-Fuchsian $k$-surfaces; the rigidity of area and energy spectra suggests such a pressure would encode the metric.","Because uniqueness of the asymptotic Plateau problem fails for minimal surfaces, extending this equidistribution route to minimal surfaces would require a different mechanism, so the $k$-surface framework may be the more robust two-dimensional analogue for rigidity questions.","The boundary rigidity question posed in Section 5.3 has a local testable version: for metrics $h$ close to hyperbolic on a ball, equality of the marked boundary area data should force $h$ to be hyperbolic, and one could try to prove this by linearizing the map $h\\mapsto\\operatorname{MAS}_{k,h,\\partial B}$.","If the full-support equidistribution theorem were to hold in higher dimensions for appropriate analogues of $k$-surfaces, the same argument would produce higher-dimensional entropy rigidity results."],"forward_implications":["Among all negatively curved metrics on a fixed closed 3-manifold, the hyperbolic metric is the unique one whose closed quasi-Fuchsian $k$-surfaces grow at the slowest possible area rate, namely $(1-k)/(2\\pi)$.","The marked area spectrum of $k$-surfaces is a complete metric invariant for the hyperbolic metric, so the census of surface areas determines the ambient geometry up to isometry.","The $k$-surface foliation of the unit tangent bundle is topologically independent of the negatively curved metric, giving a canonical surface-level rigidity theorem in the style of Gromov's geodesic rigidity.","Closed $k$-surfaces are, on average, no larger in variable negative curvature than in constant curvature $-1$, and any exact equality in this comparison forces constant curvature."],"supporting_citations":[{"why":"The source of Theorems 4.4 and 4.5 and of the full-support equidistribution result (Theorem 4.11).","marker":"[3]"},{"why":"Introduces the asymptotic counting of quasi-Fuchsian minimal surfaces and supplies the $H(M,h)^2/(2\\pi)$ upper bound.","marker":"[18]"},{"why":"Constructs the almost-Fuchsian surface subgroups that the counting and equidistribution sequences are built from.","marker":"[33]"},{"why":"Provides the superexponential topological count of surface subgroups used to identify the hyperbolic entropy value.","marker":"[32]"},{"why":"Gives the two-dimensional entropy inequality that yields the upper bound for the area entropy.","marker":"[36]"},{"why":"Classification of measures invariant under $\\mathrm{PSL}_2(\\mathbb{R})$ actions that drives the ergodic dichotomy for conformal currents.","marker":"[55]"},{"why":"Establishes the asymptotic Plateau problem and compactness for $k$-surfaces on which the foliated structure rests.","marker":"[39]"},{"why":"Supplies the model entropy rigidity theorem whose inequality and equality case the $k$-surface results parallel.","marker":"[13]"}],"fun_headline_variants":["Surface entropy equality forces hyperbolic metric","Closed k-surfaces dictate the metric rigidity","Equidistribution of surfaces pins curvature at -1","Rigidity by surface entropy in negative curvature","k-surface counting yields geometric rigidity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire rigidity argument rests on the deferred claim, proven in the companion paper, that the almost-Fuchsian sequence's $k$-surface measures converge to a laminar measure with full support on the unit tangent bundle; if that measure only filled the union of the quasi-Fuchsian surfaces, the proof would establish curvature $-1$ only on those tangent planes and could not conclude the metric is hyperbolic.","fun_headline_variants_meta":{"raw":{"variants":["Surface entropy equality forces hyperbolic metric","Closed k-surfaces dictate the metric rigidity","Equidistribution of surfaces pins curvature at -1","Rigidity by surface entropy in negative curvature","k-surface counting yields geometric rigidity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00027,"raw_usage":{"total_tokens":1594,"prompt_tokens":881,"completion_tokens":713,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":497,"completion_tokens_details":{"reasoning_tokens":648}},"tokens_in":497,"tokens_out":713,"duration_ms":7238,"temperature":1.0,"reasoning_tokens":648,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T12:07:08.302906+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a closed hyperbolic 3-manifold $(M,h_0)$ and a non-isometric smooth metric $h$ with $\\operatorname{sect}_h\\le -1$ for which a direct computation of $\\operatorname{Ent}_k(M,h)$ gives $(1-k)/(2\\pi)$; this would disprove the equality case of Theorem 4.4. A more local check is to examine the accumulation points of the Kahn-Markovi\\'c laminar measures: if any open subset of $T^1X$ is missed by the limiting measure, the step that forces sectional curvature $-1$ on all tangent planes fails.","supporting_citations":[{"cited_title":"Alvarez, B","cited_arxiv_id":null,"evidence_quote":"The source of Theorems 4.4 and 4.5 and of the full-support equidistribution result (Theorem 4.11)."},{"cited_title":"Calegari, F","cited_arxiv_id":null,"evidence_quote":"Introduces the asymptotic counting of quasi-Fuchsian minimal surfaces and supplies the $H(M,h)^2/(2\\pi)$ upper bound."},{"cited_title":"Kahn and V","cited_arxiv_id":null,"evidence_quote":"Constructs the almost-Fuchsian surface subgroups that the counting and equidistribution sequences are built from."},{"cited_title":"Kahn and V","cited_arxiv_id":null,"evidence_quote":"Provides the superexponential topological count of surface subgroups used to identify the hyperbolic entropy value."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the two-dimensional entropy inequality that yields the upper bound for the area entropy."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classification of measures invariant under $\\mathrm{PSL}_2(\\mathbb{R})$ actions that drives the ergodic dichotomy for conformal currents."},{"cited_title":"Labourie","cited_arxiv_id":null,"evidence_quote":"Establishes the asymptotic Plateau problem and compactness for $k$-surfaces on which the foliated structure rests."},{"cited_title":"Besson, G","cited_arxiv_id":null,"evidence_quote":"Supplies the model entropy rigidity theorem whose inequality and equality case the $k$-surface results parallel."}],"review_version":1}