{"id":"17196d93-212c-4286-b565-0244c0d44526","arxiv_id":"2512.00879","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Cone-deforming an ideal arc through 'expansion joints' interpolates between stacked Borromean ring complements and lantern manifolds, and yields cone deformations of highly twisted 2-bridge unknotting tunnels.","lead":"Hyperbolic 3-manifolds are deformed by changing a cone angle along an ideal arc, interpolating between cusped manifolds and manifolds with conformal boundary. The paper introduces 'expansion joints'—local polyhedral structures that allow controlled cone deformations—and applies them to stacked Borromean rings and fully augmented links.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.5's proof omits the edge-cycle verification required by the cone-manifold polyhedron theorem; 'no other edge is affected' is an assertion, not a check.","rationale":"The reader's weakest assumption correctly identifies the unverified edge-cycle check in Theorem 3.5 as the load-bearing gap. My stress-test confirms this and adds a further internal tension: the proof states all cusp shapes remain the same, while the theorem asserts that the cusp α1 changes in the limit. This does not change the verdict—the paper is conditional on filling this gap—but it strengthens the need for an explicit verification. A concrete computational test enumerating edge cycles for a small n would settle whether the claimed cone-manifold structures exist. No fatal contradiction was found; the central idea is plausible, and the paper is honest about relying on a polyhedron theorem for cone manifolds that it states in Appendix A.","tokens_in":20553,"tokens_out":3256,"duration_ms":31796,"concrete_test":"For n=3 (or n=2), instantiate the circle pattern of Construction 3.4 (Figure 11), perform the cut/pull-apart for a representative θ (e.g. θ=π), build the side-pairing transformations, and enumerate all edge cycles in the resulting polyhedral complex. Compute each cycle's dihedral sum from the explicit H^3 geometry; verify exactly one cycle sums to θ and all others to 2π. Also compute the cusp shape of α1 in the limit and compare to 2n−1. This can be done in Sage/Regina or by hand.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.5 cuts the fundamental polyhedron of B_n along the vertical line of symmetry and pulls the halves apart, then asserts 'The geometry around no other edge is affected' (Theorem 3.5 proof). To apply the cone-manifold Poincaré polyhedron theorem (Appendix A, condition (v)), every edge cycle in the new complex must be checked: the cycle transformation must be a rotation through the sum of the dihedral angles, and all sums except the new arc must equal 2π. The cut changes the combinatorial side-pairing pattern (new quadrilateral faces, new identifications), so edge cycles are not inherited automatically; edges incident to the new faces may acquire new angle sums. The proof does not enumerate the edge cycles of the 4n−2 octahedra before and after the cut, nor compute any dihedral angle sums. Moreover, the proof claims 'all cusp shapes remain the same,' contradicting the theorem's own statement that α1 has normalized longitude 2n−1 in the limit—evidence that the global-geometry claim is not reliable. Without the edge-cycle check, the existence of the hyperbolic cone metric for θ∈(0,2π] is unproven.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces 'expansion joints' as local polyhedral substructures that allow a continuous cone deformation changing the cone angle around an ideal arc from 2π to 0, interpolating between a link complement and a manifold with a rank-1 cusp. It constructs hyperbolic structures on the n-stacked Borromean rings B_n as unions of 4n−2 ideal right-angled octahedra (Theorem 3.2), states Main Theorem A (Theorem 3.5) giving a smooth path of cone-manifold holonomy groups with a single singular arc of angle θ, and applies this to unknotting tunnels of highly twisted 2-bridge links (Theorem 3.7). Main Theorem B (Theorem 4.2) gives a general criterion for a 'concave lens' to act as an expansion joint, with applications to fully augmented links (Theorem 4.5). Appendix A states and proves a cone-manifold version of the Poincaré polyhedron theorem.","tokens_in":20832,"tokens_out":8958,"duration_ms":80911,"significance":"If the main existence theorems hold, this is a genuinely new constructive method: most cone-deformation results require analytic estimates or global rigidity, whereas the author proposes a direct polyhedral manipulation preserving all geometry away from the joint. The paper is explicit and self-contained, and the Appendix is a useful reference. The octahedral decompositions, cusp-shape computations, and the applications to unknotting tunnels and fully augmented links are concrete and checkable. However, the proofs of Theorems 3.5 and 4.2 do not verify the edge-cycle condition required by the Appendix; until that gap is closed, the central claims are not established.","major_comments":[{"comment":"The proof of Theorem 3.5 cuts the fundamental polyhedron of B_n along its vertical line of symmetry and 'pulls the two halves apart', asserting that 'the geometry around no other edge is affected'. To apply the cone-manifold Poincaré theorem (Appendix A, condition (v)), every edge cycle in the new complex must be checked: the cycle transformation must be a rotation through the sum of the dihedral angles, and all sums must equal 2π except the new arc's cycle. The cut changes the side-pairing pattern and introduces new quadrilateral faces, so edge cycles are not automatically inherited. The proof does not enumerate the edge cycles of the 4n−2 octahedra before/after the cut or compute any dihedral angle sums. Without this check, the existence of the hyperbolic cone metric for θ∈(0,2π] is not established. The same 'exercise in checking' is also delegated in Proposition 2.4.","section":"Theorem 3.5, proof; Appendix A"},{"comment":"The theorem states that the deformation 'preserves all cusp shapes except for that of the cusp α1 which, in the limit, has normalised longitude 2n−1', while the proof concludes 'all cusp shapes remain the same'. These are incompatible unless the cusp shape of α1 changes discontinuously at θ=0, which is not explained and is inconsistent with a smooth path. Moreover, the α1 cusp shape is used in Theorem 3.7 to compute the Euclidean lengths of filling slopes; the apparent contradiction needs to be resolved and the actual cusp-shape family proved.","section":"Theorem 3.5, statement vs proof"},{"comment":"Theorem 4.2 (Main Theorem B) repeats the same pattern: the proof says 'we may horizontally pull apart the two halves ... in particular, we preserve all angle sums away from the lift of the lens' and 'All cusp shapes remain constant except for the shape of the cusp at ∞'. As in Theorem 3.5, no edge-cycle verification is supplied for the new polyhedron. Since the theorem is stated in full generality for any manifold containing a concave lens, the conditions (1)–(4) should permit an explicit check of every edge cycle; without that, the existence of the cone-manifold path is not proved beyond the examples.","section":"Theorem 4.2, proof"}],"minor_comments":[{"comment":"State explicitly the cusp shapes and Euclidean slope lengths used in the Dehn-filling argument; the current reference to 'cusp shapes computed in Theorem 3.5' is not self-contained because Theorem 3.5 gives only the α1 limit value.","section":"Theorem 3.7"},{"comment":"The formula r_θ = (1/4) sec^2(θ/2) is asserted after an 'elementary trigonometric calculation'; please include the computation or a derivation.","section":"Proposition 2.4"},{"comment":"'glue these pieces along the inverts of the green circles' should probably be 'inversions' or 'inverses'; also the resulting aspect ratio 2:1 is stated without calculation.","section":"Construction 3.4"},{"comment":"Typographical slips: 'Hodgson and Kerchoff' (pp. 1, 14) should be 'Kerckhoff'; 'Blieler' in the proof of Theorem 3.7 should be 'Bleiler'; in Remark 3.6, 'M∞ and M∞' should presumably be 'B∞ and M∞'.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The self-citation to [15] appears only in the Appendix and the needed theorem is restated there, so I do not see a circularity problem. The missing edge-cycle checks are the main obstacle; they look fillable with a table or lemma. I would not reject the paper on current evidence."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this paper has a genuinely new deformation mechanism — gluing singular 2-handles into rank-1 cusps rather than solid tori into rank-2 cusps — but the proof of the main theorem has a real, load-bearing gap. The decisive edge-cycle verification is asserted, not done, and the proof text contradicts the theorem statement. It is still a paper I would send to peer review, because the construction and examples are interesting enough that a referee should push for the missing details rather than reject the whole enterprise.\n\nWhat is new and good: the idea of the \"expansion joint\" or \"concave lens\" as a polyhedral substructure that isolates a family of rank-2 cusps and allows a controlled cone deformation is not something I have seen before. The treatment of stacked Borromean rings is concrete: an octahedral decomposition, cusp shape computations, arithmeticity, and a volume formula all hang together plausibly. The application to fully augmented links is a nice general source of examples, and the paper is honest about prior art, explicitly noting that the geodesicity of unknotting tunnels was already known to Adams and Reid. The appendix restating a cone-manifold Poincaré polyhedron theorem is useful and makes the paper more self-contained.\n\nSoft spots, in proportion: the proof of Theorem 3.5 cuts the fundamental polyhedron along a vertical symmetry line and \"pulls the two halves apart,\" then says \"the geometry around no other edge is affected.\" That is exactly the check the cone-manifold Poincaré theorem requires in condition (v). The cut changes the side-pairing combinatorics, so edge cycles are not automatically inherited; edges incident to the new faces can acquire new angle sums. Without an enumeration of the edge cycles and their dihedral sums, the existence of the cone metric for θ in (0, 2π] is not proved. The proof also says \"all cusp shapes remain the same,\" while the theorem itself says α1 has normalized longitude 2n−1 in the limit — that inconsistency is a red flag. Theorem 4.2 inherits the same gap, since it uses the same pulling-apart argument. Separately, Proposition 2.1 relies on a Mathematica computation with no code or certificate, so it is not reproducible from the manuscript.\n\nThese are real problems, but I want to stress that I did not find a fatal internal contradiction in the construction as a whole. The idea is plausible, and the paper reads like a serious early draft rather than a hollow claim. If the missing edge-cycle checks are supplied, the main theorems could well stand.\n\nWho this is for: people working on cone deformations, Kleinian groups, cusp shape changes, and fully augmented links. I would bring it to a reading group, mainly to test the expansion-joint idea and to see where the polyhedron theorem needs more care.\n\nRecommendation: send it to peer review. A good referee can either verify the missing edge-cycle computation or find a counterexample. Before acceptance, I would require a full edge-cycle enumeration, or a formalized proof, plus code or certificates for the computational step.","headline":"Genuinely new idea for cone-deforming rank-1 cusps, but the proof of the main theorem skips the edge-cycle check it needs, and the text even contradicts itself on cusp shapes; still worth a serious referee.","tokens_in":21301,"tokens_out":2717,"would_cite":true,"duration_ms":28022,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K35","20H10","52B70","57K10","57K32","57M50","58H15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a hyperbolic 3-manifold containing a concave lens of ideal octahedra admits a smooth path of cone-manifold structures in which rank-2 cusps open into cone arcs, interpolating continuously between cusped manifolds and m","keywords":["hyperbolic cone manifolds","expansion joints","concave lens","stacked Borromean rings","unknotting tunnels","2-bridge links","ideal octahedra","cone-manifold polyhedron theorem"],"falsifier":"For n=2 or n=3, take the fundamental polyhedron produced by Construction 3.4, perform the cut-and-pull at a midrange angle such as θ=π, and compute the dihedral angle sum around every edge cycle of the resulting 4n−2 octahedron complex; if any cycle other than the one corresponding to the new singular arc has sum different from 2π, the path is not a cone manifold. The same check can be done algebraically by verifying that the side-pairing transformations satisfy the surface-group relator with the stated traces.","tokens_in":20431,"feed_emoji":"🔧","tokens_out":10600,"duration_ms":94931,"temperature":0.7,"pith_summary":"This paper introduces a geometric mechanism called an expansion joint: a local polyhedral substructure inside a hyperbolic 3-manifold that lets the metric be fractured in a controlled way so that a rank-2 cusp opens up into an ideal cone arc of adjustable angle. The paper proves (Main Theorem A) that the complements of the stacked Borromean rings admit such an expansion joint, giving a smooth path of cone-manifold holonomy groups from the complete hyperbolic structure to a hyperbolic cone manifold with a single singular arc, and at angle zero to the complete hyperbolic manifold obtained by drilling that arc. The same idea is formalised as an embedded concave lens of ideal octahedra (Main Theorem B): whenever such a lens occurs in a manifold, a family of rank-2 cusps can be cone-deformed into thrice-punctured spheres while the hyperbolic structure outside the lens is unchanged. A sympathetic reader should care because this gives explicit, controllable deformations of hyperbolic manifolds by direct manipulation of fundamental polyhedra, bypassing the hard analytic estimates of general cone-deformation theory, and it yields a new proof that upper unknotting tunnels of highly twisted 2-bridge links are geodesic.","feed_headline":"Polyhedral 'expansion joint' turns cusps into cone arcs","feed_subtitle":"Cone deformations drill unknotting tunnels in 2-bridge links while keeping all other geometry fixed.","key_machinery":"The load-bearing object is the concave lens: a cycle of ideal right-angled octahedra (all vertices at infinity, dihedral angles π/2) sharing one ideal vertex v, the lift of a rank-2 cusp. Consecutive octahedra meet along 2-faces that intersect only at v; the outer vertices are lifts of distinct rank-2 cusps and rim faces pair only with other rim faces. The deformation is done in a fundamental polyhedron: cut along the vertical plane of symmetry through v and pull the two halves apart, increasing one translation length of the cusp lattice. This creates new quadrilateral ideal faces whose edge cycle has dihedral angle θ, while all other edge cycles remain at 2π. The cone-manifold polyhedron th","core_discovery":"Main Theorem A constructs, for every n, a smooth path p:[0,2π]→Hom(F_{2n+2},PSL(2,C)) such that for θ>0 the group p(θ) is the holonomy of a hyperbolic cone manifold supported on the n-stacked Borromean rings complement with one singular ideal arc of cone angle θ, and p(0) is the holonomy of the complete hyperbolic manifold obtained by drilling that arc. This turns the topological operation of gluing a singular 2-handle into a rank-1 cusp into a continuous geometric deformation: as the angle runs from 2π to 0 the arc shrinks to a cusp and neighbouring cusps bubble into punctured surfaces on the conformal boundary. Main Theorem B isolates the responsible substructure, an embedded concave lens","pith_inferences":["The concave-lens conditions are local and checkable from a polyhedral decomposition, so the same proof would produce cone deformations for any link complement whose ideal triangulation contains an embedded concave lens; this suggests a searchable criterion rather than a one-off construction.","Because the side-pairing transformations are written down explicitly, the resulting holonomy path could be used to test numerical conjectures about critical angles in cone deformations, where general existence theory does not provide explicit models.","The fact that the deformation changes only the length of one lattice direction while preserving all other cusp shapes suggests a possible converse: congruence of cusp shapes along a deformation may force the existence of an isolating polyhedral substructure, making geometric isolation a polyhedral phenomenon rather than an analytic accident."],"forward_implications":["For every n, the complement of the n-stacked Borromean rings decomposes into 4n−2 ideal right-angled octahedra; cusp shapes are 4n−2 for the central cusp, 2 for two outer cusps, and 1 for the rest.","The cone deformation of Main Theorem A preserves all cusp shapes except one; in the limit the cusp α1 has normalised longitude 2n−1.","For 2-bridge knots with continued fraction coefficients satisfying the stated lower bounds, there is a continuous family of cone manifolds supported on the knot complement with singular locus exactly the upper unknotting tunnel, and that tunnel is isotopic to a geodesic in the complete hyperbolic metric.","Any hyperbolic 3-manifold containing an embedded concave lens satisfying the four conditions of Theorem 4.2 admits a cone deformation; fully augmented links with a planar cusp satisfying conditions (i)–(ii) of Theorem 4.5 are examples.","At θ=0 the construction reaches maximal cusp points on the boundary of genus-2 Schottky space, giving explicit paths that end on the boundary of a nontrivial quasiconformal deformation space."],"fun_headline_variants":["Expansion joint bends cusps into cone arcs","Cone deformations drill unknotting tunnels","From cusps to cone arcs: a continuous path","Hyperbolic manifolds flex via cone expansion joints"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The construction's proof asserts, without enumerating every edge, that cutting the fundamental polyhedron along its symmetry line and translating the halves apart leaves all edge cycles other than the intended one at exactly 2π; if that local claim fails, the resulting object is not a cone manifold.","fun_headline_variants_meta":{"raw":{"variants":["Expansion joint bends cusps into cone arcs","Cone deformations drill unknotting tunnels","From cusps to cone arcs: a continuous path","Hyperbolic manifolds flex via cone expansion joints"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000252,"raw_usage":{"total_tokens":1391,"prompt_tokens":729,"completion_tokens":662,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":599}},"tokens_in":473,"tokens_out":662,"duration_ms":6828,"temperature":1.0,"reasoning_tokens":599,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T19:19:24.821703+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For n=2 or n=3, take the fundamental polyhedron produced by Construction 3.4, perform the cut-and-pull at a midrange angle such as θ=π, and compute the dihedral angle sum around every edge cycle of the resulting 4n−2 octahedron complex; if any cycle other than the one corresponding to the new singular arc has sum different from 2π, the path is not a cone manifold. The same check can be done algebraically by verifying that the side-pairing transformations satisfy the surface-group relator with the stated traces.","supporting_citations":[],"review_version":1}