{"id":"2598996d-4f09-4573-bbd8-de68b5b76db7","arxiv_id":"2607.05826","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Irreducible non-cyclic braid homomorphisms B_n\to B_m (n≥5,m≥3) force m=n and central equivalence to an automorphism, implying holomorphic configuration-space maps are affine to the identity or constant.","lead":"Irreducible non-cyclic homomorphisms of braid groups B_n to B_m (n≥5, m≥3) force m=n and central equivalence to an automorphism. As a consequence, holomorphic maps between unordered configuration spaces of points in the plane are affine-equivalent only to constants or the identity, settling conjectures of Chen–Kordek–Margalit and Farb (for n\neq4).","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the most delicate step (the existence of a single centralizer element that simultaneously corrects all exterior parts). A careful reading of Sections 7–10 shows that the necessary ingredients—filling of E_Φ, periodicity of centralizers, uniqueness of the local corrections f_{i,j}, and agreement of those corrections on every maximal curve—are all proved earlier and are applied without circularity. The only residual risk is the ordinary possibility of a subtle combinatorial oversight in a long pure-math argument; that risk is already reflected in the Reader’s soundness score of 8 and does not warrant a change of verdict. The concrete test proposed above would give an independent check of the single most technical equality used in the reduction, but is expected to succeed. Hence the verdict remains ACCEPT with high confidence.","tokens_in":56228,"tokens_out":619,"duration_ms":7153,"concrete_test":"Independently re-derive the equality f_{i,i+2}(γ) = Φ(s_{i+1})(γ) for γ ∈ M_{i+1} in the last paragraph of the proof of Lemma 10.5, using only the diameter-2 property, Lemma 5.1 and Lemma 10.4, without invoking the global filling statement of Lemma 10.1; if the equality still holds then the reduction is robust.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reduction of Theorem B to the externally-central case via Lemma 10.5 is the step the Reader flags, but the argument is self-contained and does not appear to contain a gap. After establishing that E_Φ is filling (Lemma 10.1) and that any centralizer element is periodic (Lemma 10.2), the authors construct, for each commuting pair s_i, s_j, a unique f_{i,j} that simultaneously corrects the exterior parts Ext(Φ(s_i)) and Ext(Φ(s_j)). They then verify that these local corrections agree on every Φ-maximal curve by using the diameter-2 property of the commuting graph together with the non-nestedness of the multicurves M_i = E^{s_i}_Φ (Lemma 7.15) and the multitwist uniqueness of Lemma 10.4. The resulting single f lies in the centralizer, and the transvection Φ_f is externally central while remaining irreducible and non-cyclic (Lemma 10.3). The subsequent classification of externally-central maps (Theorem 9.11) then finishes the proof. No combinatorial configuration is left unexamined that would make the common f fail to exist.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves Theorem B: for n≥5 and m≥3, any irreducible homomorphism Φ:B_n\to B_m with non-cyclic image satisfies m=n and is centrally equivalent to the identity (i.e., agrees with an automorphism of B_m modulo the center). The argument proceeds by showing that such Φ is externally periodic (Lemma 4.8), then minimally typed (Lemma 6.1), that the set Δ(Φ) of curves interior to two distinct Φ-maximal curves is empty (Proposition 7.14), and finally that Φ is centrally equivalent to an externally central homomorphism (Lemma 10.5) which is then classified (Theorem 9.11). As a consequence (via Chen–Salter), every non-constant holomorphic map UConf_n(C)\to UConf_m(C) is affine-equivalent to the identity (Theorem A), resolving Farb’s conjecture for n\neq4; further consequences include rigidity of maps between hyperelliptic loci (Theorem C).","tokens_in":56535,"tokens_out":838,"duration_ms":8171,"significance":"The result settles a conjecture of Chen–Kordek–Margalit and a problem on the K3 list for irreducible homomorphisms, and yields the corresponding holomorphic rigidity statement for configuration spaces. The proof is a self-contained, carefully layered application of classical mapping-class-group tools (Nielsen–Thurston, Dyer–Grossman, González-Meneses–Wiest centralizers, Birman–Hilden) together with new combinatorial invariants (Φ-maximal curves, puncture types, exterior parts). The reduction to the externally-central case via a common centralizer element is technically substantial and appears complete; the paper therefore constitutes a genuine advance in the classification of braid-group homomorphisms and of holomorphic maps between configuration spaces.","major_comments":[],"minor_comments":[{"comment":"The indexing convention for the extended generating set SG_n (s_k = s_i for i ≡ k mod n) is introduced early and used heavily; a brief reminder when it first appears in later sections (e.g., Section 5) would help the reader.","section":"Section 2"},{"comment":"Lemma 5.4 notes that the reverse relation Φ(s_{i+1}s_i)(E^{s_{i+1}}_Φ)=E^{s_i}_Φ does not a priori hold; a short remark on why the asymmetry does not affect later arguments would improve clarity.","section":"Section 5"},{"comment":"Figures 10–18 illustrating types and Δ(Φ) are helpful; ensuring that the captions explicitly name the generators whose maximal curves appear would make them self-contained.","section":"Sections 6–7"},{"comment":"In the proof of Theorem 11.7 the appeal to the triviality of the abelianization of Mod_{g,1} for g≥3 is standard but could be given a precise reference for the reader’s convenience.","section":"Section 11"}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical, but the logical structure is clean and the key reduction (Lemma 10.5) checks out on a careful reading. I see no load-bearing gap. Suitable for a top geometry/topology journal; the length is justified by the number of cases that must be controlled."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper settles the Chen–Kordek–Margalit conjecture: any irreducible non-cyclic homomorphism Φ:B_n→B_m with n≥5, m≥3 must have m=n and be centrally equivalent to the identity. The holomorphic consequence (Theorem A) then finishes Farb’s conjecture for n≠4. Both are named open problems; the K3 list item is also partially resolved. That is the news.\n\nWhat is new is the unrestricted-m case. Earlier work handled m<n (Lin), injectives (Bell–Margalit, Castel), m≤2n (Chen–Kordek–Margalit), and holomorphic maps when n≤2m (Chen–Salter). The authors reduce the general irreducible case to an externally-central one (Lemma 10.5) by showing the set of Φ-maximal curves is filling, constructing local corrections f_{i,j} for commuting pairs via the exterior-part maps, and verifying they glue using diameter-2 of the commuting graph and multitwist uniqueness. The externally-central classification (Theorem 9.11) then finishes it. The tools—Nielsen–Thurston, CRS, exterior parts, puncture types, Birman–Hilden—are classical; the layering is careful and self-contained. No free parameters, no circularity.\n\nThe soft spot the reader flagged (the common centralizer element in 10.5) does not look like a gap on a second pass: the local f_{i,j} agree on every maximal curve by the non-nestedness lemmas and the diameter-2 property, so a single f exists and the transvection stays irreducible and non-cyclic. Residual risk is the ordinary one for a long pure-math proof—some combinatorial configuration missed—but nothing load-bearing is left unexamined. The n=4 Ferrari counterexample is correctly noted as sharpness.\n\nThis is for geometric topologists and people working on moduli/configuration spaces. It organizes a large body of partial results into a clean statement and is ready for expert verification. I would send it to referees without hesitation.","headline":"Clean resolution of the Chen–Kordek–Margalit conjecture on irreducible braid homomorphisms (and Farb’s holomorphic consequence for n\neq4), via a long but standard MCG argument that holds up under scrutiny.","tokens_in":57145,"tokens_out":538,"would_cite":true,"duration_ms":8299,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K20","20F36","32G15","57M07"],"pacs":[],"model":"grok-4.5","headline":"Irreducible non-cyclic braid-group maps from n≥5 strands force m=n and agree with an automorphism modulo the center; holomorphic maps of unordered configuration spaces are therefore affine-equivalent only to constants or the identity.","keywords":["braid groups","configuration spaces","holomorphic maps","rigidity","irreducible homomorphisms","central equivalence","mapping class groups","hyperelliptic loci"],"falsifier":"An explicit irreducible non-cyclic homomorphism B_n\to B_m with n≥5, m\neq n, or with m=n but not centrally equivalent to the identity, would falsify Theorem B; equivalently, a non-constant holomorphic map UConf_n(C)\to UConf_m(C) that is not affine-equivalent to the identity would falsify the holomorphic consequence.","tokens_in":57130,"feed_emoji":"⧖","tokens_out":993,"duration_ms":10640,"temperature":0.7,"pith_summary":"The paper proves a rigidity theorem for homomorphisms between braid groups: when the domain has at least five strands, any homomorphism whose image is irreducible and not cyclic must land in a group of the same number of strands and, up to the center, must be an automorphism. The same conclusion holds for holomorphic maps between unordered configuration spaces of points in the plane: they are affine-equivalent only to a constant or to the identity. The result settles a conjecture of Chen–Kordek–Margalit and, for n\neq4, a conjecture of Farb; it also answers part of a problem on the K3 list. The proof proceeds by first showing that every such homomorphism can be adjusted by a central element so that it becomes “externally central,” then classifying those maps by analyzing how generators act on certain maximal curves and the types of the punctures they enclose. The bound n≥5 is sharp because Ferrari’s classical map from four-point to three-point configurations gives a counter-example.","feed_headline":"Braid maps from 5+ strands force equal strand count","feed_subtitle":"Irreducible non-cyclic homomorphisms are automorphisms modulo the center; holomorphic maps of point configurations are rigid","key_machinery":"The reduction of an arbitrary irreducible non-cyclic homomorphism to an externally central one (Lemma 10.5), which rests on the filling property of the set of Φ-maximal curves and the existence of a single centralizer element that simultaneously corrects the exterior parts of all standard generators; once the map is externally central the puncture-type analysis forces m=n and recovers the identity.","core_discovery":"If n≥5, m≥3 and Φ:B_n\to B_m is an irreducible homomorphism with non-cyclic image, then m=n and Φ is centrally equivalent to the identity (i.e., agrees with an automorphism of B_n modulo the infinite cyclic center). The same numerical and uniqueness statement holds for holomorphic maps UConf_n(C)\to UConf_m(C) up to affine equivalence.","pith_inferences":["The same puncture-type and maximal-curve machinery may classify reducible homomorphisms once a canonical reducing multicurve is fixed, giving a complete answer to the K3 problem for n≥5.","The argument supplies a model for analogous rigidity statements for mapping-class-group homomorphisms between surfaces of higher genus with marked points.","Because the bound n=4 is forced by Ferrari’s map, any future classification for four strands must treat that map as an exceptional building block rather than an anomaly."],"forward_implications":["Every holomorphic map UConf_n(C)\to UConf_m(C) for n≥5, m≥3 is affine-equivalent to a constant or the identity.","Holomorphic maps between hyperelliptic loci H_g,1\to H_h,1 with g≥2 that are non-constant on coarse spaces must satisfy g=h and agree with the identity.","The classification of all braid-group homomorphisms (the remaining open part of the K3 problem) is reduced to the reducible case.","Any continuous map of configuration spaces whose induced braid homomorphism is irreducible must be homotopic to a holomorphic (hence rigid) map."],"fun_headline_variants":["Irreducible non-cyclic braid homs force m=n and central autos","Bn to Bm maps rigidify to automorphisms mod center for n≥5","Holomorphic UConf maps for n≥5 are affine id or constant","Config space hol maps rigid: equal n and affine to identity","Braid homs with irreducible image equalize strands and centralize"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The claim that every irreducible non-cyclic homomorphism can be adjusted by a single central element so that all exterior parts become powers of the boundary twist; if that common correction fails for some exotic configuration of maximal curves the reduction to the classified case collapses.","fun_headline_variants_meta":{"raw":{"variants":["Irreducible non-cyclic braid homs force m=n and central autos","Bn to Bm maps rigidify to automorphisms mod center for n≥5","Holomorphic UConf maps for n≥5 are affine id or constant","Config space hol maps rigid: equal n and affine to identity","Braid homs with irreducible image equalize strands and centralize"]},"model":"grok-4.5","effort":"low","cost_usd":0.005784,"raw_usage":{"total_tokens":1506,"prompt_tokens":717,"num_sources_used":0,"completion_tokens":97,"cost_in_usd_ticks":57840000,"prompt_tokens_details":{"text_tokens":717,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":692,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":717,"tokens_out":97,"duration_ms":7547,"temperature":1.0,"reasoning_tokens":692,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T02:04:08.188287+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit irreducible non-cyclic homomorphism B_n\to B_m with n≥5, m\neq n, or with m=n but not centrally equivalent to the identity, would falsify Theorem B; equivalently, a non-constant holomorphic map UConf_n(C)\to UConf_m(C) that is not affine-equivalent to the identity would falsify the holomorphic consequence.","supporting_citations":[],"review_version":2}