{"id":"3bc97fd5-f1d0-4879-8f1b-a509422547e6","arxiv_id":"2506.06142","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a sphere with at least seven punctures, the automorphism group of the fine curve graph is naturally isomorphic to the homeomorphism group of the surface.","lead":"This paper proves that for a sphere with at least seven punctures, every symmetry of the graph whose vertices are essential loops and edges record disjointness is induced by an actual homeomorphism of the punctured surface. The result completes the planar case in an ongoing program on fine curve graphs, which started with higher-genus surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Potential circularity in Proposition 2.9: well-definedness of the extension Ψ to inessential curves depends on a homotopic-arc connectivity claim in the punctured disk that is borrowed from [9] without adapting the punctured setting.","rationale":"The reader correctly flags Proposition 2.9 as the load-bearing fragile step and notes its dependence on arc-graph connectivity and the borrowed claim from [9, Prop 3.1]. My stress test strengthens the concern: the missing homotopic-arc connectivity lemma is not merely an unproved convenience but is logically entangled with the well-definedness of the extension map Ψ. The proof of Proposition 2.9 uses a sequence of arcs to build a chain of sharing pairs; if a homotopy in that chain passes across a puncture, the resulting bigon pairs may encode a different inessential curve, so φ applied to those pairs would not produce a consistent image of the original curve. The paper explicitly says the corresponding statement fails for arcs ending at punctures because of swirling, and it does not provide a separate proof for arcs ending on the boundary in a punctured disk. This is a real gap in the central argument, not a stylistic issue. I recommend UNVERDICTED because the gap could plausibly be fixed, but as written the main theorem is not established.","tokens_in":10473,"tokens_out":2205,"duration_ms":22606,"concrete_test":"Prove or disprove the punctured-disk homotopic-arc connectivity lemma: in Dn with n≥7, any two isotopic arcs with endpoints on ∂Dn, each bounding at least 2 punctures, admit a sequence of pairwise homotopic arcs each bounding at least 2 punctures. Concretely, attempt to construct such a sequence for n=7 by hand or by computer search; if a counterexample appears, the proof of Proposition 2.9 fails at that step and the extension Ψ is not well-defined. If the lemma holds, providing a complete proof would close the main gap in the manuscript.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The main theorem's construction of Ψ sends an inessential curve e to the curve encoded by φ applied to any bigon pair representing e. For this to be well-defined, Proposition 2.9 must show that two bigon pairs encoding the same inessential curve are sent to bigon pairs encoding the same inessential curve. The proof of Proposition 2.9 reduces this to connecting the two bigon pairs by a chain of standard sharing pairs, using the arc graph A∂,≥2×(Dn) and a final claim that two arcs in the same isotopy class with endpoints on ∂Dn can be connected by arcs pairwise homotopic, citing [9, Prop 3.1]. That cited statement is proven in a setting where surfaces have no punctures in the relevant sense, whereas Dn is a punctured disk. Homotopies of arcs with endpoints on the boundary can pass across punctures, which may change the number of punctures on each side of the arc; the vertices of A∂,≥2×(Dn) require bounding at least 2 punctures. If a homotopy step crosses a puncture, the associated sequence of standard sharing pairs may encode different inessential curves, and then φ applied to those bigon pairs need not produce a single well-defined e'. Thus the proof of Proposition 2.9 appears to use the well-definedness of the extension (encoded by homotopic curves) to prove the well-definedness that the extension requires. The paper does not supply an independent proof of the homotopic-arc connectivity statement for punctured disks, and the authors explicitly note that the analogous statement fails for arcs ending at punctures. This is a genuine gap in the central argument, not merely a stylistic omission.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves (Theorem 1.1) that for a boundaryless orientable surface with at least 7 punctures, the natural map from the homeomorphism group to the automorphism group of the fine curve graph is an isomorphism. The proof factors through the extended fine curve graph: any automorphism of the fine curve graph is extended to an automorphism of the extended fine curve graph using bigon pairs that encode inessential curves, and then a theorem of Long–Margalit–Pham–Verberne–Yao (Theorem 2.2) is invoked to identify the resulting automorphism with a homeomorphism. The core of the paper is a detailed study of curve configurations (sides, hulls, pants pairs, bigon pairs, sharing pairs) adapted to the planar setting, concluding in Proposition 2.9 that sharing pairs are preserved by automorphisms, which makes the extension well-defined.","tokens_in":10820,"tokens_out":29146,"duration_ms":265412,"significance":"If the result holds, it is a meaningful extension of fine curve graph rigidity from compact higher-genus surfaces to non-compact planar surfaces with enough punctures. The paper introduces several new combinatorial tools—pants pairs, bigon pairs, sharing pairs, and an arc graph variant—that are likely to be useful in further work on fine curve graphs and related complexes. The authors are explicit about the restriction n ≥ 7 and note that the bound is probably not sharp. The proof is not circular: the input Theorem 2.2 is external to the paper, and the intermediate propositions are derived from the structure of the fine curve graph rather than from the claimed isomorphism.","major_comments":[{"comment":"The chain of standard sharing pairs between two arbitrary sharing pairs is justified by the connectivity of the arc graph A∂,≥2×(D_n) together with the assertion that two arcs in the same isotopy class in the punctured disk D_n with endpoints on ∂D_n can be connected by a sequence of arcs that are all pairwise homotopic, with the proof said to be identical to [9, Prop 3.1]. The cited statement concerns surfaces without punctures, and the authors themselves note a failure of such connectivity for arcs ending at punctures. Since Proposition 2.9 is the load-bearing well-definedness step for the extension map Ψ, the paper needs a self-contained proof, or at least a precise statement and explanation, that the punctured disk does not obstruct the required connectivity (for instance, by observing that homotopies of arcs with endpoints on ∂D_n cannot cross the punctures, so the number of surrounded punctures is invariant). As written, the existence of the chain is not fully established.","section":"§2.3, proof of Proposition 2.9"},{"comment":"The proofs of Lemmas 2.10 and 2.11 are conducted by informal case analysis that relies heavily on Figures 2 and 3, with phrases such as 'satisfied by observation' and 'we can then sort the punctures into three categories.' In particular, the verification of condition (5) in Lemma 2.10 and the construction of the intermediate bigon pairs C and D in Lemma 2.11 are not presented with sufficient precision for the reader to verify all the cases. Because these lemmas directly support Proposition 2.9, which is essential for the main theorem, the authors are asked to provide a more formal geometric argument (for example, explicit coordinates or a clearly enumerated list of configurations) so that the case analysis is checkable without relying on the figures.","section":"§2.3, Lemmas 2.10 and 2.11"},{"comment":"In the first direction of the proof, the authors state that 'at least one side of a and b has at least 4 punctures' and therefore a curve c with the required properties exists. This step is not fully justified. A short argument showing why the hypothesis n ≥ 7 guarantees such a side, and why the curve c can be chosen to intersect a and b exactly in a ∩ b while forming a pants pair with both, would make the proof complete. This is a local gap, but Proposition 2.8 is used in the sequel and should be made rigorous.","section":"§2.2, Proposition 2.8"}],"minor_comments":[{"comment":"The statement of Theorem 2.2 writes the natural map as ν : Homeo(S) → EC†(S); the codomain should be Aut EC†(S).","section":"Theorem 2.2"},{"comment":"The sentence 'Although we do not consider such curves as vertices in the extended fine curve graph...' appears to contradict the definition of EC†(S) in Section 2, where the vertex set is all simple closed curves. Presumably 'fine curve graph' was intended.","section":"Introduction, 'Distinctions from the non-planar cases'"},{"comment":"The phrase 'the connected component of S \\ A that contains A \\ a' is likely a typo; it should read 'the connected component of S \\ A that contains a \\ A.'","section":"Proof of Proposition 2.1"},{"comment":"The claim that every essential curve in the annulus or pair of pants cobounded by x and y is homotopic to either x or y is not accurate for the core curve of an annulus. The intended conclusion (that such curves separate x and y) is true, but it should be justified directly rather than through this erroneous statement.","section":"Proof of Lemma 2.3"},{"comment":"The captions of Figure 4 refer to 'nested' and 'unnested endpoints of attaching arcs,' but the right panel appears to illustrate the action of σ2; please clarify the captions. Also, the adjacency notation x−y is used without explicit definition in Section 2.","section":"Figure 4 and notation"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution in outline, and I did not find the circularity suggested by the stress-test note. The main risks are the informal, figure-based arguments in Section 2.3 and the unproven adaptation of [9, Prop 3.1] to the punctured disk. These issues are fixable within the manuscript's scope, but they need to be addressed before the proof can be considered complete. The authors should also verify that Theorem 2.2 from [9] indeed covers punctured spheres, given the introduction's summary of [9] for surfaces of genus at least 2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on arXiv:2506.06142. The main theorem is genuinely new: fine curve graph rigidity for planar surfaces with at least 7 punctures, extending LMPVY (genus ≥2) and Kimura–Kuno (nonorientable). The planar case forces new machinery—pants pairs, bigon pairs, sharing pairs, plus a connectivity result for an arc graph—and that's real work, not a translation. The authors are transparent about n≥7 and mark the tightest bounds in each lemma, which I appreciate.\n\nThe overall strategy is coherent: factor through the extended fine curve graph, show automorphisms preserve enough structure to extend, then invoke the known rigidity there. The new arc graph A∂,≥2×(Dn) and the Putman trick proof of its connectivity are a nice contribution.\n\nThe soft spot is Proposition 2.9, the preservation of sharing pairs. This is load-bearing because it makes the extension Ψ well-defined. The stress-test's claimed circularity—that the borrowed homotopic-arc claim fails because homotopies can cross punctures—doesn't hold. In a punctured disk, an arc homotopy cannot pass through a puncture, so the number of punctures on each side is invariant. That particular worry is unfounded.\n\nBut there are two real issues. First, Lemma 2.10's proof relies heavily on figures and 'by observation' for the five conditions; a referee should ask for written casework. Second, the proof of Prop 2.9 uses connectivity of A∂,≥2×(Dn), but it never checks that the attaching arcs of an arbitrary sharing pair actually belong to that graph. Those arcs may bound only one puncture (e.g., when the two bigon curves encircle a single puncture), and then they are not vertices of A∂,≥2×(Dn). The paper does not handle that case. This looks fixable—extend the arc graph or add a separate argument—but as written it's a gap, not a stylistic omission.\n\nWho gets value: people working on curve graphs, homeomorphism groups, and rigidity of mapping class groups. It deserves a serious referee; the result is worth having and the proof is close, but Prop 2.9 needs a rigorous rewrite before I'd trust it fully. Recommend sending to a good topology journal with a referee who will dig into the configurations.","headline":"Solid new rigidity result for punctured spheres, but the sharing-pair preservation proof needs referee attention: figure-based cases and a possible gap for attaching arcs bounding fewer than two punctures.","tokens_in":11361,"tokens_out":13770,"would_cite":true,"duration_ms":134349,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The automorphism group of the fine curve graph of a boundaryless punctured sphere is exactly the sphere's homeomorphism group when there are at least seven punctures.","keywords":["fine curve graph","automorphism group","homeomorphism group","punctured sphere","curve graph rigidity","bigon pairs","extended fine curve graph"],"falsifier":"The claim would be settled by finding one automorphism of $\\mathcal{C}^{\\dagger}(S_0^7)$ that is not induced by a homeomorphism; the most direct place to look is Lemma 2.10's configuration list, because an automorphism that preserved disjointness but mapped a non-quasi-homotopic standard sharing pair to curves failing one of the five listed intersection conditions would contradict Proposition 2.9 and break the construction of $\\Psi$. Alternatively, constructing two homotopic boundary arcs in the punctured disk $D_7$ that cannot be connected by a chain of pairwise homotopic arcs would falsify the borrowed arc-homotopy step.","tokens_in":10289,"feed_emoji":"🔄","tokens_out":10000,"duration_ms":92938,"temperature":0.7,"pith_summary":"The paper tries to establish that for a boundaryless orientable sphere with at least seven punctures, every graph-theoretic symmetry of the fine curve graph is genuinely induced by a homeomorphism of the surface. Because the fine curve graph uses individual essential curves as vertices, its automorphism group could in principle be much larger than the homeomorphism group; the theorem says the natural map from homeomorphisms to graph automorphisms is a bijection. If true, this gives a purely combinatorial object that completely encodes the surface's homeomorphism group, extending classical curve-graph rigidity results to this finer setting. The proof shows that any fine-graph automorphism must preserve enough curve configurations to extend to the extended fine curve graph, where inessential curves are also vertices, and where the homeomorphism group is already known to be the full automorphism group.","feed_headline":"For 7+ punctures, curve graph automorphisms are homeomorphisms","feed_subtitle":"The fine curve graph's automorphism group matches the homeomorphism group, so graph symmetries cannot be wild.","key_machinery":"The load-bearing mechanism is the encoding of inessential curves by bigon pairs. Given two homotopic essential curves $a, b$ whose intersection is a nontrivial interval, the closure of $a \\cup b \\setminus (a \\cap b)$ is the inessential curve the pair encodes; two bigon pairs encoding the same inessential curve form a sharing pair. The proof first shows automorphisms preserve quasi-homotopy, homotopy, and pants pairs, then proves preservation of bigon pairs and sharing pairs. To pass from standard sharing pairs to all sharing pairs, the authors introduce an arc graph $\\mathcal{A}_{\\partial,\\ge 2\\times}(D_n)$ on a punctured disk, whose vertices are isotopy classes of boundary arcs bounding at least two punctures, and prove it is connected using a standard connectivity criterion for arc complexes. That connectivity supplies chains of standard sharing pairs, making the extension of an automorphism to inessential curves well-defined.","core_discovery":"In the paper's own terms, Theorem 1.1 asserts that for every boundaryless orientable sphere $S = S_0^n$ with $n \\ge 7$, the natural map $\\Phi: \\operatorname{Homeo}(S) \\to \\operatorname{Aut} \\mathcal{C}^{\\dagger}(S)$ is an isomorphism. Equivalently, every automorphism of the fine curve graph is induced by exactly one homeomorphism of $S$. The proof extends any fine-graph automorphism to an automorphism of the extended fine curve graph $\\mathcal{EC}^{\\dagger}(S)$, whose vertices include inessential simple closed curves. This extension is possible because the authors prove that automorphisms preserve bigon pairs, pairs of homotopic essential curves whose intersection is a nontrivial interval encoding a specific inessential curve, and preserve whether two bigon pairs encode the same inessential curve. With the extension in hand, the result follows from the paper's Theorem 2.2, which states that automorphisms of the extended fine curve graph are naturally isomorphic to the homeomorphism group.","pith_inferences":["If Theorem 1.1 is correct, the bigon-pair encoding is likely reusable for other fine graph variants on planar surfaces: any graph whose vertices are essential curves and whose edges detect disjointness should inherit the same encoding, so automorphism rigidity may extend to those variants.","A natural next test is whether $\\operatorname{Aut} \\mathcal{C}^{\\dagger}(S_0^5)$ or $\\operatorname{Aut} \\mathcal{C}^{\\dagger}(S_0^6)$ still equals $\\operatorname{Homeo}(S)$; the authors' non-sharp bound makes this plausible but unproven here.","A sharper connectivity theorem for an arc graph defined with weaker puncture bounds could lower the main theorem's threshold, while an explicit disconnection of such a graph would explain why the present method stops at seven punctures."],"forward_implications":["For every boundaryless orientable sphere with $n \\ge 7$ punctures, the natural map $\\operatorname{Homeo}(S) \\to \\operatorname{Aut} \\mathcal{C}^{\\dagger}(S)$ is a bijection, so each graph automorphism is induced by exactly one homeomorphism.","No information is lost by discarding inessential curves from the vertex set, because inessential curves are combinatorially recoverable as bigon pairs of essential curves.","The result adds planar surfaces to the family of surfaces whose fine curve graph has no exotic automorphisms, alongside earlier genus-at-least-two and nonorientable cases.","The extension map constructed in the proof gives a route from a fine-graph automorphism to a homeomorphism: extend to inessential curves, apply the extended-graph rigidity theorem, and read off the homeomorphism.","The authors note that the bound $n \\ge 7$ is not claimed to be sharp and that intermediate lemmas carry the tightest bounds for which their proofs work, leaving open the possibility that the theorem holds for $n = 5, 6$ by another argument."],"supporting_citations":[{"why":"Supplies the theorem that automorphisms of the extended fine curve graph coincide with the homeomorphism group, together with the hull lemma and the arc-homotopy statement used to complete Proposition 2.9.","marker":"[9]"},{"why":"Introduces fine curve graphs and provides the path of homotopic curves used in Proposition 2.4 to promote preservation of homotopy from disjoint curves to crossing curves.","marker":"[4]"},{"why":"Supplies the connectivity trick used to prove that the arc graph $\\mathcal{A}_{\\partial,\\ge 2\\times}(D_n)$ is connected, a step that bridges standard sharing pairs in Proposition 2.9.","marker":"[11]"}],"fun_headline_variants":["7+ punctures: curve graph automorphisms = homeomorphisms","Fine curve graph automorphisms are homeomorphisms for 7+ punctures","Planar curve graph automorphisms: homeomorphisms for 7+ punctures","Automorphisms of fine curve graphs are homeomorphisms (7+ punctures)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole proof depends on Proposition 2.9, the claim that an automorphism of the fine curve graph sends any two bigon pairs encoding the same inessential curve to two bigon pairs encoding the same inessential curve; that proposition is established through a connectivity result for a specially defined arc graph and a configuration analysis, so if either of those steps fails, the extension to inessential curves collapses and the main theorem does not follow.","fun_headline_variants_meta":{"raw":{"variants":["7+ punctures: curve graph automorphisms = homeomorphisms","Fine curve graph automorphisms are homeomorphisms for 7+ punctures","Planar curve graph automorphisms: homeomorphisms for 7+ punctures","Automorphisms of fine curve graphs are homeomorphisms (7+ punctures)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001503,"raw_usage":{"total_tokens":5957,"prompt_tokens":805,"completion_tokens":5152,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":421,"completion_tokens_details":{"reasoning_tokens":5066}},"tokens_in":421,"tokens_out":5152,"duration_ms":32723,"temperature":1.0,"reasoning_tokens":5066,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T06:01:12.009753+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The claim would be settled by finding one automorphism of $\\mathcal{C}^{\\dagger}(S_0^7)$ that is not induced by a homeomorphism; the most direct place to look is Lemma 2.10's configuration list, because an automorphism that preserved disjointness but mapped a non-quasi-homotopic standard sharing pair to curves failing one of the five listed intersection conditions would contradict Proposition 2.9 and break the construction of $\\Psi$. Alternatively, constructing two homotopic boundary arcs in the punctured disk $D_7$ that cannot be connected by a chain of pairwise homotopic arcs would falsify the borrowed arc-homotopy step.","supporting_citations":[{"cited_title":"Automorphisms of the fine curve graph","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that automorphisms of the extended fine curve graph coincide with the homeomorphism group, together with the hull lemma and the arc-homotopy statement used to complete Proposition 2.9."},{"cited_title":"A note on the connectivity of certain complexes associated to surfaces","cited_arxiv_id":null,"evidence_quote":"Supplies the connectivity trick used to prove that the arc graph $\\mathcal{A}_{\\partial,\\ge 2\\times}(D_n)$ is connected, a step that bridges standard sharing pairs in Proposition 2.9."}],"review_version":1}