{"id":"d49be3ba-5d64-4cd2-a3ca-44ad21ad5c65","arxiv_id":"2507.14832","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Standard locally homogeneous spaces are classified by when their discrete groups are rigid, deform to nonstandard groups, or deform to Zariski-dense subgroups.","lead":"This paper classifies when standard quotients of reductive homogeneous spaces deform without breaking the group action, and when deformations become Zariski-dense. It lists the rigid cases and the flexible cases, with proofs promised in a companion paper.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'if and only if' classification in Theorem 3.2 is only as strong as the completeness of Table 2.1, which this paper asserts but does not prove; an omitted triple would make the announced solution to Problem 1.1 incomplete.","rationale":"The reader's weakest assumption (completeness of Table 2.1) is exactly the load-bearing point. I reviewed the proof outline: upper bounds via cohomology (Section 4) and bending construction (Section 5) are plausible and refer to the companion paper for details; no obvious internal error appears. The central claim is the complete classification, so exhaustiveness of the table is what would have to be true for the theorem to solve Problem 1.1. The paper itself flags this by saying 'supporting evidence for (essential) completeness' rather than providing a proof. Thus the condition is least secure. A positive resolution is likely given existing literature, but the manuscript as written does not establish it, so the CONDITIONAL verdict stands. Note that the bending construction for Spin(n,1) and the Zariski-closure upper bound (Theorem 5.3) are also only sketched, but they affect individual cases, not the entire classification; table completeness is more load-bearing.","tokens_in":7933,"tokens_out":5306,"duration_ms":52219,"concrete_test":"Inspect the companion paper arXiv:2507.03476 for a theorem that proves Table 2.1 is complete, i.e. that every triple of reductive real algebraic groups (G,H,L) with L acting properly and cocompactly on G/H appears, up to local isomorphism and H/L interchange. Independently, enumerate all such triples using the properness and cocompactness criteria of Kobayashi [12, Thm 4.1, 4.7] and compare the resulting list with Table 2.1; also check the classification of Bocheński–Tralle [2] and Tojo [25] to confirm that every row of Table 2.1 occurs and no additional rows occur. If the companion proof or independent enumeration matches Table 2.1 exactly, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.2 classifies Q1/Q2/Q3 only for triples (G,H,L) listed in Table 2.1, and the paper's claim to resolve Problem 1.1 therefore depends on the table being an exhaustive list of reductive triples with proper cocompact L-action on G/H. The text says the table 'completes' earlier lists and cites Tojo [25] and Bocheński–Tralle [2] as 'supporting evidence for the (essential) completeness', but no proof of completeness appears in this manuscript. This matters because the non-symmetric rows (dash cases) arise by interchanging H and L, and one must check that no further triples exist beyond those swaps; the symmetric rows rely on the classification of symmetric spaces with standard compact Clifford–Klein forms. If a missing triple existed, conditions (Q1)–(Q3) could behave differently and the 'if and only if' assertions in Theorem 3.2 would not answer Problem 1.1 in full. Corollaries 3.6 and 3.7 are phrased unconditionally, so they also inherit this dependency. This is not an internal inconsistency; it is an external completeness assumption that needs to be verified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies deformations of standard cocompact discontinuous groups for reductive homogeneous spaces X = G/H with noncompact isotropy H. It formulates three conditions on a discrete subgroup Γ ⊂ L: (Q1) failure of local rigidity as a discontinuous group, (Q2) deformability into a nonstandard discontinuous group, and (Q3) deformability into a Zariski-dense subgroup of G while preserving proper discontinuity. The main result, Theorem 3.2, gives a complete classification of the triples (G,H,L) in Table 2.1 for which each condition holds, and asserts that (Q2) and (Q3) are equivalent. The proof strategy is outlined in Sections 4 and 5: upper bounds via cohomological vanishing and the Goldman–Millson cup-product method, and lower bounds via a bending construction for Spin(n,1). Detailed proofs are deferred to the companion paper arXiv:2507.03476. The paper also states Corollaries 3.6 and 3.7 giving a seven-dimensional compact pseudo-Riemannian space form with Zariski-dense Γ and local rigidity for two families of standard locally symmetric spaces.","tokens_in":8168,"tokens_out":7153,"duration_ms":68660,"significance":"If the classification and the completeness of Table 2.1 hold, the paper resolves Problem 1.1 for the listed reductive triples and provides a useful dichotomy between rigid and flexible standard quotients. The explicit list of cases, the concrete Corollaries 3.6 and 3.7, and the use of established cohomological and bending techniques are strengths. The classification is not circular: the triples are pre-existing objects, and the proof sketches use standard tools rather than assuming the conclusion. However, because the main theorem is stated as an 'if and only if' classification but all detailed proofs are relegated to a companion manuscript, the present document alone does not allow the reader to verify the central claims.","major_comments":[{"comment":"The completeness of Table 2.1 is load-bearing for the 'if and only if' assertions of Theorem 3.2. The text states that the table 'completes' earlier lists and cites Tojo [25] and Bocheński–Tralle [2] as 'supporting evidence for the (essential) completeness,' but no proof or precise statement of completeness is given in this manuscript. If a reductive triple with proper cocompact L-action is missing, then Theorem 3.2 and Corollaries 3.6–3.7 would not fully answer Problem 1.1. The authors should either prove the completeness of Table 2.1 or explicitly formulate Theorem 3.2 as a classification conditional on that completeness.","section":"Table 2.1 / Theorem 3.2"},{"comment":"The proof of Theorem 3.2 is not contained in this manuscript. The abstract states that detailed proofs appear in arXiv:2507.03476, and Sections 4 and 5 provide only proof sketches. Since Theorem 3.2 is the central result, the paper cannot be verified as a self-contained journal article. The authors should either include the full proofs or clearly identify the manuscript as a research announcement and state which results are proved here and which are deferred.","section":"Abstract / Sections 4–5"},{"comment":"Theorem 6.2 is stated without proof, and the text says the proof will appear in [6]. This theorem is used in Section 5 to justify the optimal choice of the bending parameter k in equation (5.1), and its exceptional cases (split and nonsplit tori, and the case where su(2) is an ideal) are essential to the statement. Without a proof or a precise reference to a proof that is available to the reader, the Zariski-dense deformation construction rests on an unverified input.","section":"Section 6 / Theorem 6.2"}],"minor_comments":[{"comment":"There are several typos: 'discontunuous' should be 'discontinuous', and 'Ehreshmann' should be 'Ehresmann'.","section":"Section 1"},{"comment":"The three invariants η(G), η(G), and η(G) are printed with identical symbols in the text; they should be distinguished as, for example, η̲(G), η(G), and η̄(G).","section":"Section 6"},{"comment":"The header 'F amily of Zariski-Dense Subgroups' contains a spacing artifact; it should read 'Family of Zariski-Dense Subgroups'.","section":"Section 6 header"},{"comment":"The affiliation line 'Kanaza w a University' contains a spacing artifact; it should read 'Kanazawa University'.","section":"Affiliation"},{"comment":"The provenance of rows 6–12 of Table 2.1 is not specified; the text assigns sources only to Cases 1–5 and some dashed variants. A column or note identifying the source of each row would help the reader.","section":"Table 2.1"},{"comment":"The statement that the result is 'invariant under (appropriately defined) local isomorphisms of the triple (G,H,L)' is not accompanied by a definition of this equivalence relation in the paper.","section":"Theorem 3.2"},{"comment":"Remark 5.5 ends with a dangling comma after 'SU(n,1)'; the sentence should be completed or the comma removed.","section":"Remark 5.5"}],"recommendation":"major_revision","confidential_remarks":"This manuscript is effectively a research announcement for the companion paper [6]. If the journal accepts research announcements, the present version could be suitable after the completeness of Table 2.1 is proved or explicitly conditionalized. If the journal expects self-contained proof of the main theorem in the submitted article, the current division of labor between this paper and [6] is a significant obstacle. I would also ask the editor to consider whether the phrase 'supporting evidence for the (essential) completeness' is precise enough for a theorem stated as an 'if and only if' classification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious research announcement, not a full paper. The core result, Theorem 3.2, classifies which standard triples satisfy (Q1), (Q2), and (Q3). That is a real advance: it covers all triples in Table 2.1, adds cases 6, 6', 8, 8', 9, 9', 11, 11', and gives a genuinely new bending construction for Spin(n,1) with a Zariski-closure bound (Theorem 5.3). The equivalence (Q2) ⇔ (Q3) is also new. The authors are appropriately explicit that detailed proofs are in the companion arXiv:2507.03476.\n\nTwo things to flag. First, the completeness of Table 2.1 is asserted but not proved here. The 'if and only if' in Theorem 3.2 only covers the listed cases, so the claim to resolve Problem 1.1 depends on that list being exhaustive. The paper cites Tojo and Bocheński–Tralle as supporting evidence, which helps, but a referee will want the completeness argument or a precise reference. This is a real gap in the announcement, though not a sign of circularity or error. Second, Theorem 6.2 on the η invariants is stated with no proof at all and is promised in the companion. That is acceptable for an announcement, but it means the self-contained content is thinner than the abstract suggests.\n\nThe writing is mostly clear; there are minor typos (\"discontunous\", \"F amily\") and Remark 5.5 trails off. Nothing that affects the mathematics.\n\nWho this is for: people working on discontinuous groups, Clifford–Klein forms, and local rigidity. A serious referee should look at this and check the companion; the results are plausible, well-structured, and important. I would send it to peer review, with the condition that the companion proofs are available and the completeness of Table 2.1 is addressed. Not a desk reject.","headline":"A serious research announcement with a genuine classification result; the main caveat is that completeness of the case list is assumed, and proofs live in a companion paper.","tokens_in":8763,"tokens_out":1930,"would_cite":true,"duration_ms":20806,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57S30","58H15","22D50","22E40","22E46","53C30","58J50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The deformation behavior of standard locally homogeneous spaces is classified case by case, with exactly ten flexible cases.","keywords":["discontinuous group","proper action","Zariski dense subgroup","local rigidity","locally symmetric space","pseudo-Riemannian manifold","Clifford–Klein form","standard quotient"],"falsifier":"Exhibit a reductive triple $(G,H,L)$ with $L$ acting properly and cocompactly on $G/H$ that is not locally isomorphic to any row of Table 2.1; that would show the enumeration behind the classification is incomplete. Alternatively, in a case Theorem 3.2 lists as locally rigid (for example Case 5', $SO(4n,4)/Sp(n,1)$, with $n\\ge 2$), produce a one-parameter family of proper deformations of a cocompact $\\Gamma$ that are inequivalent under $G$-conjugacy; that would contradict the (Q1) list directly.","tokens_in":7732,"feed_emoji":"📐","tokens_out":11935,"duration_ms":122639,"temperature":0.7,"pith_summary":"The paper studies compact quotients $\\Gamma\\backslash G/H$ obtained from a standard triple $(G,H,L)$, where a reductive subgroup $L$ containing $\\Gamma$ acts properly and cocompactly on $G/H$. It asks whether $\\Gamma$ can be deformed as a discontinuous group without breaking proper discontinuity. The main theorem classifies, for every triple in Table 2.1, when local rigidity fails and when a standard quotient can be deformed into a nonstandard or Zariski-dense one. In the flexible cases it proves that \"deformable into a nonstandard quotient\" and \"deformable into a Zariski-dense subgroup\" are equivalent. The paper states that detailed proofs are given in a companion manuscript; if Table 2.1 is complete, this classification resolves the deformation problem for all standard compact locally homogeneous spaces with reductive $G$ and $H$.","feed_headline":"Ten standard cases flex to Zariski-dense subgroups","feed_subtitle":"A list of ten flexible cases shows deformations can reach Zariski density; every other standard quotient is rigid.","key_machinery":"The argument runs through four linked devices. Table 2.1 supplies the complete geometric input: a list of reductive triples for which $L$ acts properly and cocompactly on $G/H$, generated by properness and cocompactness criteria and by prior classifications of symmetric and nonsymmetric cases. Upper bounds on deformations come from cohomological vanishing: local rigidity follows from vanishing of $H^1(\\Gamma,\\mathfrak{g})$, and staying inside $L$ is forced by vanishing of $H^1(\\Gamma,\\mathfrak{g}/\\mathfrak{l})$; where the cohomology does not vanish, a cup-product argument rules out actual deformations. Lower bounds come from a bending construction adapted to cocompact subgroups of $\\mathrm{Spin}(n,1)$, using arithmetic hyperbolic manifolds containing many totally geodesic hypersurfaces. The bending parameters are chosen with the help of spherical-harmonics representations $V_j$ of $\\mathfrak{spin}(n,1)$, and Theorem 5.3 computes the maximal Zariski closure $G_\\varphi$ attainable, which is what lets the paper identify exactly when Zariski-dense deformations exist.","core_discovery":"On its own terms, the paper's central claim is Theorem 3.2: for each triple $(G,H,L)$ in Table 2.1, the failure of local rigidity (Q1) occurs exactly in cases 1, 1'-2, 2-2, 3, 4, 4', 5-2, 7', 10, 10', 11, and 12', while the conditions (Q2) of deforming to a nonstandard quotient and (Q3) of deforming to a Zariski-dense subgroup are equivalent and occur exactly in cases 1'-2, 2-2, 3, 4-2, 4', 5-2, 7', 10, 11, and 12'. The classification is invariant under local isomorphisms of the triple. Consequently in some cases (1, 4-1, 10') there are genuine deformations that never leave the standard envelope, whereas in others (the Q2/Q3 list) every deformation can be pushed to full Zariski density. New corollaries include a compact seven-dimensional space form of signature $(4,3)$ and negative curvature with Zariski-dense isometry group, and local rigidity for all compact standard quotients of $SO(8,\\mathbb{C})/SO(7,\\mathbb{C})$ and $SO(8,8)/SO(7,8)$.","pith_inferences":["If Table 2.1 is eventually proven complete without hypotheses, Theorem 3.2 would become an unconditional answer to Problem 1.1 for every reductive standard triple; this paper only asserts the classification for the rows listed.","The equivalence of Q2 and Q3 is a structural principle: once a deformation leaves the standard envelope, the paper's bending method can be iterated until the image is Zariski-dense, so there is no intermediate \"nonstandard but still small\" regime.","The $\\mathrm{Spin}(n,1)$ bending construction and the invariants $\\eta(G),\\underline{\\eta}(G),\\overline{\\eta}(G)$ suggest a general recipe for proving Zariski-density in other rank-one settings; the analogous question for $SU(n,1)$ is the natural next test case.","The minimal number of bending parameters needed should be governed by the multiplicities $[\\mathfrak{g}:V_j]$ and the optimal $k$ in formula (5.1); computing these data for each row of Table 2.1 would predict, before any deformation, how many totally geodesic hypersurfaces are required."],"forward_implications":["In the ten cases of Theorem 3.2(2), every standard cocompact quotient admits a deformation whose image is Zariski-dense in $G$; no smaller reductive envelope can contain the deformed group.","In cases 1, 4-1 and 10', nontrivial deformations exist but all remain inside some standard envelope, so these are flexible without becoming nonstandard.","In all remaining cases, the theorem predicts local rigidity: no small deformation changes the quotient up to $G$-conjugacy.","Corollary 3.6 gives a compact seven-dimensional space form of signature $(4,3)$ with negative curvature whose fundamental group is Zariski-dense in $SO(4,4)$, while Corollary 3.7 says the standard compact quotients of $SO(8,\\mathbb{C})/SO(7,\\mathbb{C})$ and $SO(8,8)/SO(7,8)$ are all locally rigid."],"supporting_citations":[{"why":"Supplies the proper-action and cocompactness criteria that generate Table 2.1, and several of its rows.","marker":"[12]"},{"why":"Provides the symmetric-space cases that form the undashed entries of Table 2.1.","marker":"[19]"},{"why":"Contributes Cases 4 and 5 to the enumeration of triples.","marker":"[20]"},{"why":"Gives supporting evidence that Table 2.1 is an essentially complete list of irreducible symmetric spaces admitting standard compact Clifford-Klein forms.","marker":"[25]"},{"why":"Gives independent supporting evidence for completeness of the table of standard compact Clifford-Klein forms.","marker":"[2]"},{"why":"Defines the deformation space and local rigidity notion used in Theorem 3.2 and supplies prior examples of deformations and rigidity.","marker":"[17]"},{"why":"Establishes the existence of Zariski-dense deformations in Case 3, which Theorem 3.2 extends to the full list.","marker":"[8]"},{"why":"Provides the bending construction for hyperbolic manifolds that Section 5 adapts to Spin(n,1) subgroups.","marker":"[5]"},{"why":"Constructs arithmetic hyperbolic manifolds with many totally geodesic hypersurfaces, used in Proposition 5.1.","marker":"[23]"},{"why":"Supplies the vanishing theorem for first cohomology that yields upper bounds on deformations.","marker":"[24]"}],"fun_headline_variants":["Twelve standard quotients show non-rigidity","Ten standard quotients reach Zariski-dense deformation","Zariski density achieved in ten standard cases","Deformation classification: standard quotients to Zariski density","Nonstandard and Zariski-dense deformations equivalent in ten cases"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification is only as complete as Table 2.1: all conclusions are for triples on that list, and the paper supports, but does not prove, the completeness of the list.","fun_headline_variants_meta":{"raw":{"variants":["Twelve standard quotients show non-rigidity","Ten standard quotients reach Zariski-dense deformation","Zariski density achieved in ten standard cases","Deformation classification: standard quotients to Zariski density","Nonstandard and Zariski-dense deformations equivalent in ten cases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000737,"raw_usage":{"total_tokens":3310,"prompt_tokens":979,"completion_tokens":2331,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":595,"completion_tokens_details":{"reasoning_tokens":2249}},"tokens_in":595,"tokens_out":2331,"duration_ms":25706,"temperature":1.0,"reasoning_tokens":2249,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:45:29.612374+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a reductive triple $(G,H,L)$ with $L$ acting properly and cocompactly on $G/H$ that is not locally isomorphic to any row of Table 2.1; that would show the enumeration behind the classification is incomplete. Alternatively, in a case Theorem 3.2 lists as locally rigid (for example Case 5', $SO(4n,4)/Sp(n,1)$, with $n\\ge 2$), produce a one-parameter family of proper deformations of a cocompact $\\Gamma$ that are inequivalent under $G$-conjugacy; that would contradict the (Q1) list directly.","supporting_citations":[{"cited_title":"Kobayashi,Proper action on a homogeneous space of reductive type, Math","cited_arxiv_id":null,"evidence_quote":"Supplies the proper-action and cocompactness criteria that generate Table 2.1, and several of its rows."},{"cited_title":"Kobayashi, T","cited_arxiv_id":null,"evidence_quote":"Provides the symmetric-space cases that form the undashed entries of Table 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes Cases 4 and 5 to the enumeration of triples."},{"cited_title":"Tojo, Classification of irreducible symmetric spaces which admit standard compact Clifford-Klein forms, Proc","cited_arxiv_id":null,"evidence_quote":"Gives supporting evidence that Table 2.1 is an essentially complete list of irreducible symmetric spaces admitting standard compact Clifford-Klein forms."},{"cited_title":"A solution of the problem of standard compact Clifford-Klein forms","cited_arxiv_id":"2403.10539","evidence_quote":"Gives independent supporting evidence for completeness of the table of standard compact Clifford-Klein forms."},{"cited_title":"Ann.310 (1998), 395–409","cited_arxiv_id":null,"evidence_quote":"Defines the deformation space and local rigidity notion used in Theorem 3.2 and supplies prior examples of deformations and rigidity."},{"cited_title":"Kassel, Deformation of proper actions on reductive homogeneous spaces, Math","cited_arxiv_id":null,"evidence_quote":"Establishes the existence of Zariski-dense deformations in Case 3, which Theorem 3.2 extends to the full list."},{"cited_title":"Johnson, J","cited_arxiv_id":null,"evidence_quote":"Provides the bending construction for hyperbolic manifolds that Section 5 adapts to Spin(n,1) subgroups."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Constructs arithmetic hyperbolic manifolds with many totally geodesic hypersurfaces, used in Proposition 5.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the vanishing theorem for first cohomology that yields upper bounds on deformations."}],"review_version":1}