{"id":"a8d7b9ac-24bb-4a4d-8697-4d07d3135a73","arxiv_id":"2602.20146","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every non-Fuchsian quasifuchsian surface group in an explicit open neighborhood of the Fuchsian locus admits a proper affine action on sl(2,C) with adjoint linear part, and all entropy critical points in a larger neighborhood lie on the Fuchsian locus.","lead":"This paper finds an explicit zone around Fuchsian surface groups where nearby non-symmetric groups admit proper affine motions of a 6-dimensional space, and where the entropy function has no off-diagonal critical points. It uses a new 'moderately bent' condition on the boundary of the hyperbolic convex core to control both geometry and dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption is the binding property, and it is indeed load-bearing: if binding failed, Lemma 5.1 would not supply the uniform constant K, and the Margulis-spectrum argument would collapse. However, this is a standard theorem of Bonahon–Otal, and the authors cite it correctly; the same property is used routinely in the bending-lamination literature. The rest of the proof—moderate-bent controls on complex-length derivatives, the δ-intersection-number compactness argument, and the construction of the cocycle with negative normalized Margulis spectrum—hangs together. The reader also flags two concrete textual issues: a comparison formula involving arccos(−sinh(L/2)) that is not real for large L, and a typo in Section 9 (ϵ=.739 versus .0739). These are real but cosmetic; they do not touch the main theorem. After independent review, I cannot identify a concern that would require changing the conditional verdict, so I recommend leaving the reader's verdict unchanged.","tokens_in":37022,"tokens_out":54370,"duration_ms":509983,"concrete_test":"Verify the exact statement of Bonahon–Otal [10, Proposition 4], and trace its hypotheses to the two bending laminations of any non-Fuchsian quasifuchsian group; if the proposition indeed yields i(β+,μ)+i(β−,μ)>0 for all nontrivial currents μ, then the load-bearing use in Theorem 1.4 is justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central argument for Corollary 1.6 is structurally sound. The most external premise, the Bonahon–Otal binding property of the two bending laminations (cited in §5), is standard and is used exactly as needed: for a non-Fuchsian quasifuchsian group, i(β+,μ)+i(β−,μ)>0 for every nontrivial geodesic current, which is precisely the input to Lemma 5.1. The estimates in Theorems 1.3 and 1.4 are internally consistent, and the passage from the uniform contraction dℓγ(w)≤−Kℓγ(ρ) to 0∉MS via Proposition 6.7 is valid. The minor defects noted by the reader—the invalid large-L comparison formula in the introduction and the Section 9 constant typo—do not affect Corollary 1.6. I do not find a load-bearing gap in the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies quasifuchsian representations of a closed surface group. It introduces a notion of 'moderately bent' Jordan domain and proves that if one domain of discontinuity is moderately bent then the representation is not a critical point of the topological entropy function (Theorem 1.1), and if both are moderately bent then the adjoint representation is the linear part of a proper affine action on the Lie algebra sl(2,C) (Theorem 1.2). The proof chain combines a formula for the variation of complex length under bending deformations (Theorem 3.2), a uniform contraction estimate for the sum of the two bending directions (Theorem 1.4), and a Margulis-spectrum properness criterion (Proposition 6.6). Using roundness bounds from Bridgeman–Canary–Yarmola, the authors produce explicit neighborhoods U(S) and V(S) of the Fuchsian locus (Corollary 1.6) and extend the results to proper affine actions on other complex simple Lie groups.","tokens_in":37234,"tokens_out":8970,"duration_ms":75322,"significance":"If correct, the results are significant: they provide explicit neighborhoods of the Fuchsian locus on which every non-Fuchsian representation gives a proper affine action with adjoint linear part, and on which every critical point of the entropy function is Fuchsian. This goes beyond the earlier existence results of Danciger–Guéritaud–Kassel by placing the phenomenon in an open set and giving quantitative roundness thresholds. The proof is detailed and largely self-contained; the main external inputs (Bonahon–Otal binding, Sambarino's normalized variation criterion, Kassel–Smilga properness) are standard or are proved in the text. The constants are explicit and the claims are falsifiable. I find no load-bearing gap in the central argument.","major_comments":[],"minor_comments":[{"comment":"The comparison bound displayed as '∥β±∥L ≤ 2 cos^{-1}(−sinh(L/2))' is undefined for L > 2 arcsinh(1), e.g. for L=2 the argument of cos^{-1} is less than -1. This appears only as a motivational comparison and does not affect the main results, but it should be corrected or restricted to the valid range of L.","section":"Section 1"},{"comment":"The displayed equality 'ℜ(m(ρ(g),u(g))) = (dℓγ(u), -dℓγ(u))' is missing a factor of 1/2: since ℓγ = 2 log|λ1|, one has ℜ(m) = (dℓγ/2, -dℓγ/2). The conclusion that the normalized first coordinate is bounded away from 0 is unchanged, but the formula should be corrected.","section":"Section 6.4, proof of Theorem 1.2"},{"comment":"The sentence concluding 'so our theorem holds with ϵ=.739' should read '.0739'; the preceding computation gives G(.611)≈.0739643, and the theorem statement uses .0739.","section":"Section 9, proof of Theorem 9.1"},{"comment":"The inequality in the statement and proof is written with iδ(γ,β+) even when the bending lamination is βν with ν=-; it should be iδ(γ,βν) throughout.","section":"Section 5, Lemma 5.2"},{"comment":"There are several typos: 'explict' in the abstract, 'PSL)2,C)' in the proof of Theorem 1.2, 'critcal' in the introduction, 'defornation' in the Section 3 heading, and 'U S)' in Section 8.4. Also, in Corollary 1.6 the notation 'for some L1>0 or for some L2>0' is confusing; it would be clearer to write 'for some L>0' independently for each condition.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a strong contribution. The reliance on 'personal communication' [42] and 'in preparation' [35] is mitigated because the needed statements are proved in the text (Propositions 6.6 and 7.3). The same-author inputs [14,15,59] are used as tools rather than as conclusions, so I see no circularity. The introductory comparison bound and the small factor typo in Theorem 1.2's proof should be fixed, but neither affects the central results. The paper is within the journal's scope and, after the minor corrections, is suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what the abstract says: for any closed surface it produces explicit neighborhoods U and V of the Fuchsian locus in QF(S) where, respectively, non-Fuchsian reps are non-critical for entropy and Ad(rho) is the linear part of a proper affine action. The mechanism is new: moderately bent Jordan domains plus the binding property of the two bending laminations give a uniform length contraction in the combined bending direction, and the Margulis-spectrum criterion then gives properness. This is a genuine advance over Danciger–Gueritaud–Kassel, who had specific examples rather than an open set.\n\nThe proofs are detailed and the chain is coherent. The Kourouniotis formula for complex-length variation is carefully extended; the moderately-bent condition is exactly what makes the cross-ratio imaginary parts have the right sign; Lemma 5.1 together with the standard Bonahon–Otal binding property turns two one-sided contractions into the uniform bound in Theorem 1.4. I did not find a load-bearing gap. The self-citations are used as ingredients, not as the target results; no circularity.\n\nSoft spots are minor but should be cleaned up. The introduction contains a comparison bound ||beta_+/-||_L <= 2 cos^{-1}(-sinh(L/2)) which is invalid for large L because the argument goes below -1. It is only illustrative and not used later, so the theorems stand, but it should be corrected or restricted. In Section 9, the proof of Theorem 9.1 ends with \"our theorem holds with eps=.739\" when the computation just before gives eps approx .07396; the .739 is off by a factor of ten and appears to be a typo. The theorem itself has no numeric constant, so it is unaffected. These are cosmetic, not structural.\n\nAnother caveat: the moderateness condition is delicate, and the step from the explicit roundness bound r(L) to moderate bending relies on the theta-bounded criterion from Bridgeman–Canary–Yarmola. I did not verify every analytic estimate in Section 8 line by line, but the argument is structured correctly and the numbers are plausible.\n\nWho this is for: people working on affine actions, entropy, and hyperbolic 3-manifolds. It deserves a serious referee; the referee should focus on Section 8's estimates and the Section 9 constants. I would send it to peer review.","headline":"Explicit neighborhoods of the Fuchsian locus with controlled entropy and proper affine actions; the main theorems look right, with only minor numerical glitches to clean up.","tokens_in":37712,"tokens_out":3016,"would_cite":true,"duration_ms":25063,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57M50","37D40","30F40","22E40"],"pacs":[],"model":"deepseek-v4-flash","headline":"An explicit neighborhood of the Fuchsian locus in quasifuchsian space consists of non-Fuchsian holonomies that admit proper affine actions with linear part Ad(ρ); in a larger neighborhood, all entropy critical points are Fuchsian.","keywords":["quasifuchsian space","bending lamination","proper affine action","entropy function","Margulis invariant","surface group","geodesic currents"],"falsifier":"Take a non-Fuchsian quasifuchsian group with both bending laminations satisfying ∥β±∥_1 < 0.739 (so the paper's roundness criterion applies) and numerically compute the normalized Margulis spectrum of the cocycle associated to the combined bending vector field w+ + w−; if 0 belongs to that spectrum, Theorem 1.2 fails. A cheaper check: compute dℓγ(w+ + w−)/ℓγ(ρ) for a long closed geodesic γ in such a group; if it is sometimes positive, Theorem 1.4's uniform contraction fails.","tokens_in":36918,"feed_emoji":"📐","tokens_out":15166,"duration_ms":113741,"temperature":0.7,"pith_summary":"The paper proves that, for any closed oriented surface of genus at least two, there is an explicit open neighborhood of the Fuchsian locus in quasifuchsian space where every non-Fuchsian group is the linear part of a proper affine action on the six-dimensional space sl(2,C). The geometric engine is 'moderate bending' of the two boundary components of the convex core: when both complementary Jordan domains are moderately bent, the combined infinitesimal bending direction w+ + w− uniformly contracts every geodesic length, and the associated cocycle has a Margulis invariant spectrum bounded away from zero, which forces the affine action to be proper. The same moderate-bending condition, on just one boundary component, shows that the point is not a critical point of the entropy function; an explicit larger neighborhood therefore has no non-Fuchsian entropy critical points. The neighborhoods are made concrete by roundness bounds: if the L-roundness of a bending lamination is below r(L) (inverse of x sec x on (0,1]), the domain is moderately bent, with r(1) ≈ 0.739.","feed_headline":"Quasifuchsian groups near the Fuchsian locus act properly on sl(2,C)","feed_subtitle":"Non-Fuchsian groups in an explicit neighborhood get proper affine actions; entropy has no non-Fuchsian critical points","key_machinery":"The key object is the moderately bent Jordan domain: a complementary domain Ω of the limit set of a quasifuchsian group such that for every bending pair (x,y) there is a circle transverse to the boundary C with L∩C={x,y}. This condition makes the imaginary part of the complex distance between axes and bending leaves have a fixed sign in the variation formula (Theorem 3.2), giving dℓγ(wν)≤0. The two-sided version uses the binding-pair property of the bending laminations (every geodesic current meets at least one of them) to upgrade the two one-sided bounds into the uniform contraction dℓγ(w)≤−Kℓγ(ρ). The explicit roundness function r(L) — inverse of y=x sec x on (0,1] and L sech L for L>1 — t","core_discovery":"The central result is that proper affine surface-group actions are not sporadic: they occur for every non-Fuchsian quasifuchsian holonomy in an explicit open set of QF(S). The sufficient condition is that both boundary components of the convex core are moderately bent — for each bending pair of the boundary of the Jordan domain, a transverse circle meets the boundary exactly there. Under this condition the infinitesimal bending deformations along the two bending laminations combine into a direction w = w+ + w− along which all geodesic lengths decrease uniformly, dℓγ(w) ≤ −Kℓγ(ρ). Theorem 1.4 turns this into a cocycle whose normalized Margulis spectrum is bounded away from 0, and the properne","pith_inferences":["Inference: The uniform contraction inequality is stronger than what is needed for properness alone; it suggests that the combined bending flow may push the entire nearby deformation space away from any entropy local maxima, so the set where the entropy gradient vanishes could be exactly the Fuchsian locus well beyond the explicit neighborhood U.","Inference: The threshold r(L) being the inverse of x sec x (with r(1)≈0.739, the fixed point of cos) invites a numerical experiment: compute, for the paper's own horocycle-based pleated planes, the actual maximal roundness before embedding is lost; if that value exceeds r(L) while moderate bending persists, the sufficient bound is not sharp and the neighborhoods could be enlarged.","Inference: Because the proof passes through the binding-pair theorem for bending laminations, any surface-group deformation theory that preserves the binding property (e.g., small perturbations inside the character variety) should inherit the same properness conclusion; this predicts a whole open cone of cocycles, not just the single bending vector field, with 0 outside the Margulis spectrum.","Inference: The principal-embedding step is a general transfer principle: any complex simple Lie group whose principal sl(2,C)-triple has the same weight scaling inherits proper affine actions from quasifuchsian surface groups, so the phenomenon is not special to dimension 6."],"forward_implications":["In the explicit neighborhood V(S) of the Fuchsian locus, every non-Fuchsian holonomy representation admits a proper affine action on sl(2,C) with linear part Ad(ρ).","In the larger neighborhood U(S), every non-Fuchsian representation has nonzero entropy derivative in some direction, so the only critical points of h in U are Fuchsian.","The combined bending direction w=w++w− is a global length-decreasing vector field: for every closed geodesic γ, dℓγ(w) ≤ −Kℓγ(ρ), a geometric rigidity that is the engine of the properness result.","Through the principal embedding, the quasifuchsian examples yield an open set of proper affine actions on the Lie algebra of any complex simple Lie group, and an open set of pairs of representations acting properly on the group manifold by left/right multiplication.","Quantitative criteria from Section 9: entropy-criticality and proper affine actions follow from Schwarzian norm < 0.0739, Teichmüller distance < 0.049, or quasicircle constant K < 1.05."],"fun_headline_variants":["Proper affine actions for all non-Fuchsian quasifuchsian near Fuchsian","Bent surfaces yield proper affine actions on sl(2,C)","Near Fuchsian locus, non-Fuchsian groups act properly affinely","Explicit neighborhood: non-Fuchsian quasifuchsian acts properly"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing external premise is that the two bending laminations of any non-Fuchsian quasifuchsian group bind the surface — every geodesic current has positive intersection with at least one of them — a result cited from the literature and not proved here; if binding failed, the uniform length-contraction constant K would not follow and the properness argument would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Proper affine actions for all non-Fuchsian quasifuchsian near Fuchsian","Bent surfaces yield proper affine actions on sl(2,C)","Near Fuchsian locus, non-Fuchsian groups act properly affinely","Explicit neighborhood: non-Fuchsian quasifuchsian acts properly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1193,"prompt_tokens":634,"completion_tokens":559,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":378,"completion_tokens_details":{"reasoning_tokens":480}},"tokens_in":378,"tokens_out":559,"duration_ms":5314,"temperature":1.0,"reasoning_tokens":480,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T21:23:47.969873+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a non-Fuchsian quasifuchsian group with both bending laminations satisfying ∥β±∥_1 < 0.739 (so the paper's roundness criterion applies) and numerically compute the normalized Margulis spectrum of the cocycle associated to the combined bending vector field w+ + w−; if 0 belongs to that spectrum, Theorem 1.2 fails. A cheaper check: compute dℓγ(w+ + w−)/ℓγ(ρ) for a long closed geodesic γ in such a group; if it is sometimes positive, Theorem 1.4's uniform contraction fails.","supporting_citations":[],"review_version":1}