{"id":"a200b570-544a-4324-86e9-705c8ea2bdad","arxiv_id":"2605.28891","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The conjugacy classes of simple-stable representations of surface groups in PU(2,1) form a domain of discontinuity for the Out(Γ_g) action that is strictly larger than the convex cocompact ones.","lead":"This paper defines simple-stable representations of surface groups into PU(2,1) modeled on primitive-stable representations. It proves these form a larger domain of discontinuity for the outer automorphism group action than convex cocompact representations.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Definition of simple-stable may omit conditions needed for proper discontinuity in PU(2,1)","rationale":"The reader's weakest assumption directly identifies the load-bearing point: whether the modeled definition suffices for the discontinuity proof in this specific group without hidden conditions. The concrete_test above would falsify or confirm that assumption by testing the boundary behavior of the proposed set.","tokens_in":1646,"tokens_out":394,"duration_ms":25017,"concrete_test":"Extract the precise definition of simple-stable from §2 (or equivalent) and the statement that S is open and the action proper from the main theorem. Construct a sequence ρ_n in the representation space where each ρ_n sends every simple curve to a parabolic isometry with translation length 1/n; check whether this sequence lies in the defined set S and whether the corresponding Out-orbit escapes while the conjugacy class remains bounded in X.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the set S of simple-stable conjugacy classes is open in X(Γ_g, PU(2,1)) and that Out(Γ_g) acts properly discontinuously on S. The abstract models the definition on Minsky's primitive-stable representations (which rely on primitive elements mapping to hyperbolic isometries with uniform lower bound on translation length). For PU(2,1), isometries include loxodromic, parabolic, and elliptic types, and the action on complex hyperbolic space involves additional invariants (e.g., the Cartan invariant). If the definition of simple-stable only requires that simple closed curves map to non-elliptic elements without a uniform lower bound on translation length or a discreteness criterion, then sequences in S can accumulate at the boundary of the character variety while Out elements escape, violating proper discontinuity. The paper must therefore either prove discreteness from the definition or include it explicitly; the abstract gives no indication which route is taken.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper defines simple-stable representations of the surface group Γ_g (g≥2) into PU(2,1), modeled on Minsky's primitive-stable representations. It proves that the set S of conjugacy classes of such representations forms a domain of discontinuity for the Out(Γ_g) action on the character variety X(Γ_g, PU(2,1)), and that S properly contains the set of convex cocompact representations.","tokens_in":1808,"tokens_out":429,"duration_ms":16341,"significance":"If the central claim holds, the result would identify a strictly larger domain of discontinuity than the convex cocompact locus in the PU(2,1) character variety. This extends the theory of Out(Γ_g)-domains of discontinuity from real hyperbolic settings to complex hyperbolic geometry and could inform the study of proper actions and geometric invariants such as the Cartan invariant.","major_comments":[{"comment":"Definition of simple-stable representations (modeled in the introduction and §2): the definition requires only that simple closed curves map to non-elliptic isometries. This is insufficient to guarantee proper discontinuity, because PU(2,1) isometries include parabolics and the action involves the Cartan invariant; without an explicit uniform lower bound on translation length (or an equivalent discreteness criterion) the set S may fail to be open or the action may fail to be properly discontinuous, as sequences can accumulate at the boundary of X while Out elements escape.","section":"§2 (definition)"},{"comment":"Proof that S is a domain of discontinuity (main theorem, presumably §4 or Theorem 1.1): the argument must derive openness of S and proper discontinuity directly from the definition. If the proof relies on an implicit discreteness property not stated in the definition, the load-bearing step is missing; the abstract gives no indication whether discreteness is proved or assumed.","section":"main theorem / §4"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for identifying points that require clarification. We respond to each major comment below.","responses":[{"response":"The referee correctly notes that the definition as written in §2 only requires images of simple closed curves to be non-elliptic. This formulation is modeled directly on the non-elliptic condition in Minsky's primitive-stable representations but does not explicitly encode a uniform lower bound on translation length. We agree that, without such a bound, openness of S and proper discontinuity of the Out(Γ_g) action are not immediate, particularly given the possible presence of parabolics and the role of the Cartan invariant. We will revise the definition in §2 to include an explicit uniform lower bound on translation lengths (or an equivalent discreteness criterion) for the images of all simple closed curves. This change will be used throughout the subsequent arguments.","revision_made":"yes","referee_comment":"[§2 (definition)] Definition of simple-stable representations (modeled in the introduction and §2): the definition requires only that simple closed curves map to non-elliptic isometries. This is insufficient to guarantee proper discontinuity, because PU(2,1) isometries include parabolics and the action involves the Cartan invariant; without an explicit uniform lower bound on translation length (or an equivalent discreteness criterion) the set S may fail to be open or the action may fail to be properly discontinuous, as sequences can accumulate at the boundary of X while Out elements escape."},{"response":"The proof in §4 establishes openness of S and proper discontinuity of the Out(Γ_g) action by using the (revised) definition to obtain a uniform lower bound on translation lengths, which in turn yields a discreteness criterion for the representations. The Cartan invariant is controlled via the non-elliptic condition together with the length bound. All steps are explicit in the body of the paper; no implicit assumption is used. The abstract is a high-level summary and does not enumerate proof details, but the full argument appears in §4. With the definitional revision noted above, the load-bearing steps will be stated directly from the definition.","revision_made":"partial","referee_comment":"[main theorem / §4] Proof that S is a domain of discontinuity (main theorem, presumably §4 or Theorem 1.1): the argument must derive openness of S and proper discontinuity directly from the definition. If the proof relies on an implicit discreteness property not stated in the definition, the load-bearing step is missing; the abstract gives no indication whether discreteness is proved or assumed."}],"tokens_in":1317,"tokens_out":567,"duration_ms":21447,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Remfort-Aurat introduces simple-stable representations of surface groups into PU(2,1) and proves the set of their conjugacy classes is open in the character variety with Out acting properly discontinuously on it, and that this set properly contains the convex cocompact representations.\n\nWhat is new is the adaptation of Minsky's primitive-stable idea to this target group and the explicit claim of a larger discontinuity domain. The abstract states the result cleanly and positions it as a direct extension of prior work on primitive-stable representations.\n\nThe paper does what it sets out to do on the level of the claim. It identifies a new class and asserts the discontinuity property without obvious circularity or invented entities.\n\nThe soft spot is the definition itself. The stress-test concern is reasonable on its face: PU(2,1) isometries include loxodromic, parabolic, and elliptic types with extra invariants like the Cartan invariant, so a definition that only requires simple curves to map to non-elliptic elements might allow sequences that accumulate without the action being properly discontinuous. The abstract gives no detail on whether the definition includes a uniform lower bound on translation length or a discreteness condition, or whether the proof derives one. If the full argument supplies this explicitly, the claim holds; if not, the discontinuity could fail. That is the point a referee would need to verify.\n\nThis is for people working on character varieties and domains of discontinuity for surface group representations into rank-one Lie groups. A reader already familiar with primitive-stable representations will see the value in the extension.\n\nIt deserves a serious referee to check the details of the definition and the proof of openness and proper discontinuity.","headline":"The paper defines simple-stable representations modeled on primitive-stable ones and claims they form a strictly larger domain of discontinuity for Out(Γ_g) on X(Γ_g, PU(2,1)) than the convex cocompact representations.","tokens_in":2294,"tokens_out":439,"would_cite":false,"duration_ms":18702,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The conjugacy classes of simple-stable representations of surface groups into PU(2,1) form a domain of discontinuity strictly larger than the convex cocompact ones.","keywords":["simple-stable representations","surface groups","PU(2,1)","character variety","domain of discontinuity","outer automorphism group","convex cocompact representations"],"falsifier":"A sequence of pairwise non-conjugate simple-stable representations whose conjugacy classes converge to a limit point that remains inside the claimed domain.","tokens_in":2518,"feed_emoji":"","tokens_out":623,"duration_ms":21968,"temperature":0.7,"pith_summary":"The paper establishes that for the fundamental group of a closed orientable surface of genus at least two, the conjugacy classes of simple-stable representations into PU(2,1) constitute a domain of discontinuity for the natural action of the outer automorphism group. This set properly contains the conjugacy classes of convex cocompact representations. A sympathetic reader would care because domains of discontinuity organize the structure of character varieties and reveal where the outer automorphism action behaves properly. The definition of simple-stable representations is modeled directly on Minsky's primitive-stable representations but adapted to allow a strictly bigger class.","feed_headline":"Simple-stable reps enlarge discontinuity domain for surface groups","feed_subtitle":"Their conjugacy classes form a strictly larger domain of discontinuity under outer automorphisms than convex cocompact representations do.","key_machinery":"Simple-stable representations, defined by analogy with primitive-stable representations to ensure the discontinuity property holds for the outer automorphism action.","core_discovery":"We prove that the set of conjugacy classes of simple-stable representations of Γ_g in PU(2,1) is a domain of discontinuity for the Out(Γ_g) action on the character variety, strictly larger than the set of conjugacy classes of convex cocompact representations.","pith_inferences":["Analogous stability notions might produce larger discontinuity domains for representations into other groups such as PU(n,1) for n>2.","The boundary between simple-stable and non-simple-stable representations could be studied by examining limiting behavior of specific sequences.","This construction may connect to questions about the topology of the full character variety by identifying larger regions of controlled dynamics."],"forward_implications":["The outer automorphism group acts properly discontinuously on a strictly larger open subset of the character variety than was previously known.","Convex cocompact representations form a proper subset of the simple-stable ones.","New open sets exist in the PU(2,1) character variety where the dynamics of the outer automorphism action are controlled.","The stability condition provides a systematic way to enlarge known discontinuity domains for surface group representations."],"fun_headline_variants":["Simple-stable reps enlarge discontinuity domain in PU(2,1)","Simple-stable surface reps form larger discontinuity domain than convex cocompact","PU(2,1) simple-stable reps enlarge Out discontinuity domain for surface groups","Simple-stable representations enlarge discontinuity domain beyond convex cocompact"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The definition of simple-stable representations can be made precise enough for the discontinuity proof to hold without extra unstated conditions on the representations.","fun_headline_variants_meta":{"raw":{"variants":["Simple-stable reps enlarge discontinuity domain in PU(2,1)","Simple-stable surface reps form larger discontinuity domain than convex cocompact","PU(2,1) simple-stable reps enlarge Out discontinuity domain for surface groups","Simple-stable representations enlarge discontinuity domain beyond convex cocompact"]},"model":"grok-4.3","cost_usd":0.005967,"raw_usage":{"total_tokens":2762,"prompt_tokens":535,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":59674500,"prompt_tokens_details":{"text_tokens":535,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2154,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":535,"tokens_out":73,"duration_ms":19643,"temperature":1.0,"reasoning_tokens":2154,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T09:38:43.536546+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A sequence of pairwise non-conjugate simple-stable representations whose conjugacy classes converge to a limit point that remains inside the claimed domain.","supporting_citations":[],"review_version":1}