{"id":"a5e08ace-afe1-47e4-a0f6-29c620fce8f0","arxiv_id":"1908.04723","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Kobayashi's conjecture on associated varieties holds for (e6(-14), so(8,1)) with the minimal holomorphic representation, and no discrete series is admissible for non-holomorphic Klein four pairs of exceptional Hermitian type.","lead":"A math paper proves Kobayashi's associated variety conjecture for one special symmetry pair, (E6(-14), Spin(8,1)), by chaining two known branching theorems. It also proves a clean classification result: for exceptional Hermitian Lie groups, a discrete series representation is admissible exactly for the holomorphic-type Klein four pairs.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 3's holomorphy check relies on a false assertion: the center of k is not contained in so(8,2), so the proof of Theorem 3 needs a corrected justification.","rationale":"The reader correctly identified the holomorphy check in Section 3 as the weakest point of the proof, but treated it as merely terse and potentially correct. My analysis shows it is actually incorrect as written: the characteristic element Z of the center of k is the fundamental coweight omega_6^vee, which has a nonzero component along h_alpha1, while hC = so(10,C) has Cartan subalgebra spanned by h_alpha2,...,h_alpha6. Hence Z is not contained in so(8,2), contradicting the paper's assertion. This matters because the proof invokes [15, Theorem 7.4] specifically on the basis of this assertion. Without a valid holomorphy justification, the first projection equality in the chain proving Theorem 3 is unsupported. The good news is that the embedding h into g is still holomorphic for a different and easily verified reason: the roots of h have alpha6-coefficient in {-1,0,1}, making p_H invariant under the complex structure operator ad Z. This suggests the theorem is true but the proof needs a substantive revision. I therefore recommend a CONDITIONAL verdict: accept only if the holomorphy step is replaced by a correct argument. My agreement with the reader is partial because we both target the holomorphy check, but I go further and establish that the manuscript's specific justification is false, not just terse.","tokens_in":8181,"tokens_out":39436,"duration_ms":380328,"concrete_test":"Compute the fundamental coweight omega_6^vee in the simple coroot basis of E6 using the inverse Cartan matrix (column 6) and check membership in span{h_alpha2,...,h_alpha6}; this will confirm that Z is not in hC. Then independently verify holomorphy of the embedding h into g by checking that every root of hC = so(10,C) has alpha6-coefficient in {-1,0,1}, which implies that p_H is a sum of ad Z eigenspaces and hence J-invariant. If the second check passes, Theorem 3 survives after replacing the erroneous center-of-k argument with this root-space argument.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 3 hinges on the claim in Section 3 that the center of k is contained in so(8,2), which is used to conclude that the embedding h=so(8,2) into e6(-14) is holomorphic and to invoke [15, Theorem 7.4]. Under the paper's own root conventions (beta_i = alpha_{7-i} for i=1..5), hC has simple roots alpha2,...,alpha6, so its Cartan subalgebra is span{h_alpha2,...,h_alpha6}. The characteristic element Z of the center of k is the fundamental coweight of the noncompact simple root alpha6, satisfying alpha_i(Z)=0 for i=1..5 and alpha6(Z)=1. Solving the E6 Cartan matrix for Z = A^{-1} e_6 gives Z = (2/3)h_alpha1 + h_alpha2 + (4/3)h_alpha3 + 2h_alpha4 + (5/3)h_alpha5 + (4/3)h_alpha6, whose h_alpha1 coefficient is nonzero. Since h_alpha1 is the coroot of the unique simple root not in hC, Z is not an element of hC, hence not contained in so(8,2). Thus the two-sentence argument in Section 3 is invalid. This is load-bearing: without holomorphy of the embedding h into g, [15, Theorem 7.4] cannot be applied, and the equality pr_{g to h} V_g(L(3 omega_6)) = V_h(L'(3 mu_1 + k mu_5)) is unsupported. The theorem may still be true, because h is in fact holomorphic for a different reason: every root of hC = so(10,C) has alpha6-coefficient in {-1,0,1}, so p_H is a sum of eigenspaces of ad Z and hence is J-invariant. But this repair is not present in the manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two results. Theorem 3 states that for the Klein four symmetric pair (E6(-14), Spin(8,1)), Kobayashi's conjecture on associated varieties holds for the minimal holomorphic representation X of e6(-14): for every simple (so(8,1), Spin(8))-module Y occurring in the restriction, the projection of V_{g_C}(X) to the dual of so(8,1) equals V_{g'_C}(Y). As a corollary, the author obtains the same equality for the family of highest weight modules L'(3 mu_1 + k mu_5) of the symmetric pair (so(8,2), so(8,1)). Theorem 4 asserts that for exceptional Lie groups G of Hermitian type and Klein four symmetric pairs (G,G^Gamma), there exists a discrete series representation of G that is G^Gamma-admissible if and only if (G,G^Gamma) is of holomorphic type.","tokens_in":8402,"tokens_out":21588,"duration_ms":190835,"significance":"If the proof were complete, this would be a valuable confirmation of a conjecture of Kobayashi in a case where the subgroup is not a symmetric pair, and it illustrates a transfer principle from Klein four pairs to symmetric pairs. The paper is well organized and cites the relevant literature. However, the central proof of Theorem 3 rests on a questionable assertion about the center of k, and Theorem 4 depends on a lemma whose proof is delegated to a reference in a way that is not immediately verifiable. These issues need to be addressed before the results can be taken as established.","major_comments":[{"comment":"The claim 'the center of k is contained in so(8,2)' is false under the paper's root conventions. With beta_i := alpha_{7-i}, h_C = so(8,2)_C has simple roots alpha_2,...,alpha_6, so its Cartan subalgebra is spanned by h_{alpha_2},...,h_{alpha_6}. The characteristic element Z of the center of k satisfies alpha_i(Z)=0 for i=1,...,5 and alpha_6(Z)=1. Expressing Z in the coroot basis and solving the E6 Cartan equations gives a nonzero coefficient of h_{alpha_1}; hence Z is not in h_C. The inference from 'g^tau is not compact' to 'the center of k is contained in so(8,2)' is therefore invalid. This is load-bearing because the application of [15, Theorem 7.4] requires the embedding h subset g to be holomorphic, and the manuscript provides no other justification. Please repair the argument, for example by showing that ad Z preserves h_C.","section":"Section 3, proof of Theorem 3"},{"comment":"The passage from G^Gamma-admissibility to discrete decomposability as a (g^sigma,K^sigma)-module is not a direct consequence of Proposition 13, which concerns a fixed subgroup. The proof says it follows from [7, Theorem 1.2] and Proposition 13, but the mechanism is not explained. For Theorem 4, this step is essential: without it, the reduction to the anti-holomorphic pair (e6(-14), f4(-20)) is unjustified. Please state the precise theorem in [7] that gives this implication and verify its hypotheses.","section":"Lemma 15"}],"minor_comments":[{"comment":"In the first paragraph, 'An simple (g',K')-module' should be 'A simple (g',K')-module'.","section":"Section 1"},{"comment":"The phrase 'In previews articles' should be 'In previous articles'.","section":"Section 1, last paragraph"},{"comment":"The sentence 'One the other hand' should read 'On the other hand'.","section":"Section 3, proof of Theorem 3"},{"comment":"The phrase 'This proves (1).' appears before the proof of part (2); consider restructuring the paragraph for clarity.","section":"Lemma 9 proof"},{"comment":"The reference to [11, Theorem 4.1 & Theorem 4.12] would benefit from specifying which theorem covers which statement.","section":"Remark 11"}],"recommendation":"major_revision","confidential_remarks":"The skeptical concern about Section 3 lands: the asserted containment of the center of k in so(8,2) is contradicted by the root-system computation. The result may still be true via a different holomorphy argument, and the proof of Lemma 15 may be repairable by giving a fuller citation, so this is a major-revision rather than a reject. The paper is otherwise well written and the overall strategy is sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis is a short representation-theory paper that confirms Kobayashi's associated variety conjecture for the Klein four pair (E6(-14), Spin(8,1)) and proves a classification result for exceptional Hermitian type groups: non-holomorphic Klein four pairs admit no G^Gamma-admissible discrete series. The genuinely new pieces are Lemma 9, a reduction lemma for transferring the conjecture through an intermediate subgroup, and Theorem 4's non-existence statement. The author is honest that Corollary 10 is already contained in [11], and the citations to prior work of Möllers-Oshima and Seppänen are appropriate. The assembly is mostly standard.\n\nThe problem is the proof of Theorem 3. The paper needs the embedding h = so(8,2) ⊂ g = e6(-14) to be holomorphic to apply [15, Theorem 7.4]. The argument given is that since g^τ ≅ so(8,2) ⊕ so(2) is not compact, the center of k does not centralize all of g^τ, and 'it follows' that the center of k is contained in so(8,2). That inference is wrong under the paper's own root conventions. With β_i = α_{7-i}, the complexified h has simple roots α2,...,α6, and the characteristic element Z is the fundamental coweight of α6, which has nonzero coefficient along h_α1. So Z is not in hC. Without holomorphy, [15, Theorem 7.4] cannot be invoked, and the first equality in the chain pr_{g→h} V_g(L(3ω6)) = V_h(...) is unsupported. The theorem may still be true—one can show h is holomorphic because every root of h has α6-coefficient in {-1,0,1}—but that argument is not in the manuscript. This is a load-bearing gap, not a cosmetic one.\n\nEverything else is in proportion. Lemma 9's proof is a straightforward inclusion chase and checks out. Theorem 4 is conditional on two classification tables from Kobayashi-Oshima; that's normal for this area and the reasoning is sound. The paper is clearly written and shows honest engagement with the literature.\n\nI'd send this to a serious referee, but with a clear request to fix the holomorphy step. If the repair is as easy as the stress-test suggests, the result will stand. As written, the proof is incomplete.","headline":"A mostly sound confirmation of Kobayashi's conjecture in a new Klein-four case, but the key holomorphy argument in Theorem 3 rests on a false assertion and needs repair.","tokens_in":9149,"tokens_out":3753,"would_cite":false,"duration_ms":34892,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E46","22E47"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves an associated-variety equality for the minimal holomorphic representation of e6(-14) when restricted to so(8,1).","keywords":["associated variety","Klein four symmetric pair","symmetric pair","minimal holomorphic representation","discrete series representation","branching law","admissible restriction","E6(-14)"],"falsifier":"An explicit root-system calculation would settle the central premise: write the action of the center of k on the complexified e6(-14) and verify that it restricts to so(8,2) as a holomorphic derivation and acts trivially on the complementary so(2) factor. Alternatively, for k=0, compute V_h(L'(3μ1)) directly and compare with pr_{g→h} V_g(L(3ω6)); a mismatch would disprove Theorem 3.","tokens_in":7782,"feed_emoji":"","tokens_out":11278,"duration_ms":92973,"temperature":0.7,"pith_summary":"The paper proves a conjecture on associated varieties for a specific exceptional symmetric pair: when the minimal holomorphic representation of the real Lie algebra e6(-14) is restricted to the subgroup Spin(8,1), the projection of its associated variety to the dual of so(8,1) equals the associated variety of every simple (so(8,1), Spin(8))-module that appears in the restriction. This gives a confirmation of the conjecture for a Klein four symmetric pair rather than an ordinary symmetric pair. Because the Klein four structure inserts so(8,2) as an intermediate subalgebra, the same equality is obtained for the symmetric pair (so(8,2), so(8,1)) and a family of lowest weight modules L'(3μ1+kμ5). The paper also proves a classification: for exceptional simple Lie groups of Hermitian type, a discrete series representation of G is admissible with respect to the Klein four fixed subgroup exactly when the Klein four symmetric pair is of holomorphic type.","feed_headline":"Minimal representation of E6(-14) proves variety projection conjecture","feed_subtitle":"Projected associated variety equals branch variety; non-holomorphic pairs have no admissible discrete series.","key_machinery":"The load-bearing mechanism is a chain of four spaces, e6(-14) ⊃ so(8,2) ⊃ so(8,1), extracted from the Klein four group of automorphisms: one involution has fixed-point algebra so(8,2) ⊕ so(2), and the intersection with the second involution gives so(8,1). The proof uses transitivity of projections, pr_{g→gΓ} = pr_{h→gΓ} ∘ pr_{g→h}, together with two known theorems: one for holomorphic embeddings of lowest weight modules, which gives the equality pr_{g→h} V_g(L(3ω6)) = V_h(L'(3μ1+kμ5)) for all k, and one for minimal holomorphic representations of the symmetric pair (so(8,2), so(8,1)), which gives pr_{h→gΓ} V_h(L'(3μ1)) = V_{gΓ}(L'(3μ1)). The discreteness of the restriction L(3ω6) ≅ ⊕_{k≥0} L'(3μ1+kμ5) ⊠ C_{k+2} supplies the individual branch modules.","core_discovery":"The central result, Theorem 3, is that the conjecture is true for the triple (e6(-14), so(8,1), X), where X is the minimal holomorphic representation L(3ω6) of e6(-14). Writing V for the associated variety and pr for the natural projection between dual Lie algebras, the statement is pr_{e6→so(8,1)} V_{e6}(X) = V_{so(8,1)}(Y) for every simple (so(8,1), Spin(8))-module Y with nonzero morphism from Y into X. The proof passes through the intermediate subalgebra so(8,2): since L(3ω6) restricts as a direct sum of the lowest weight modules L'(3μ1+kμ5) for so(8,2), and since the embedding so(8,2) ⊂ e6(-14) is holomorphic, known equality theorems apply step by step and force the outer projection to be the associated variety of the branch module. A second theorem, Theorem 4, states that for any exceptional simple Lie group of Hermitian type, a Klein four symmetric pair of non-holomorphic type admits no discrete series representation that is admissible for the fixed subgroup; combined with the known admissibility of holomorphic discrete series, this gives an if-and-only-if classification.","pith_inferences":["The two-step projection argument suggests a general recipe: for any Klein four symmetric pair with a holomorphic intermediate fixed-point subalgebra, the conjecture should transfer from G to the intermediate subalgebra; the paper's Lemma 9 isolates exactly this transfer mechanism.","The non-existence result for non-holomorphic pairs hints that the failure of admissibility is governed by the associated-variety geometry: anti-holomorphic fixed points force continuous spectrum, so one could test whether every non-holomorphic Klein four pair with reductive fixed subgroup has no admissible discrete series, beyond the exceptional cases.","A direct computation of the associated variety of L'(3μ1 + kμ5) for small k, using standard nilpotent orbit algorithms, would independently confirm the chain of equalities and could reveal how the projection behaves for higher k."],"forward_implications":["For every k ≥ 0, the pair (so(8,2), so(8,1)) satisfies the conjecture for the lowest weight module L'(3μ1 + kμ5), recovering a known result through a new route.","For the Klein four pair (e6(-14), so(8,1)), the minimal holomorphic representation demonstrates that the projection of the associated variety of X is exactly the associated variety of each branch, so branching laws for this pair carry full geometric information.","For every exceptional simple Lie group of Hermitian type, the existence of a G^Γ-admissible discrete series representation is equivalent to the Klein four symmetric pair being of holomorphic type.","The modules L'(3μ1+kμ5) are all discretely decomposable under so(8,1), so the discrete restriction of L(3ω6) descends to discrete restrictions of each summand."],"supporting_citations":[{"why":"Supplies the equality of associated varieties for a holomorphic embedding, applied to e6(-14) → so(8,2) to get pr_{g→h} V_g(L(3ω6)) = V_h(L'(3μ1+kμ5)).","marker":"[15, Theorem 7.4]"},{"why":"Gives the equality for minimal holomorphic representations of a symmetric pair, applied to (so(8,2), so(8,1)).","marker":"[15, Theorem 7.6]"},{"why":"Provides the inclusion pr V(X) ⊆ V(Y) and the uniqueness of the associated variety among simple submodules, used in Proposition 6.","marker":"[8, Theorem 3.1]"},{"why":"Gives the Klein four structure, including the involutions σ and τ with g^σ ≅ f4(-20) and g^τ ≅ so(8,2) ⊕ so(2).","marker":"[5, Lemma 12 & Lemma 14]"},{"why":"Establishes that L(3ω6) is unitarizable, identifying it as the minimal holomorphic representation.","marker":"[2, Theorem 12.4]"},{"why":"Shows L'(3μ1) is simple as a (g^Γ, K^Γ)-module, so the second projection equality applies.","marker":"[16, Theorem 19]"},{"why":"Provides the previously known result for (so(8,2), so(8,1)) that the new proof recovers in Corollary 10.","marker":"[11, Theorem 4.12]"},{"why":"Classification of symmetric pairs used in Theorem 4 to show the only anti-holomorphic pair is (e6(-14), f4(-20)).","marker":"[14, Theorem 5.2 & Table 1]"},{"why":"Classification showing (e6(-14), f4(-20)) is not of discrete series type, yielding the contradiction in Theorem 4.","marker":"[13, Table C.3]"}],"fun_headline_variants":["Minimal representation settles Kobayashi's variety conjecture","Kobayashi conjecture proven for exceptional symmetric pair","Projection of associated varieties matches branch variety","Discrete series admissibility tied to holomorphic type","E6(-14) minimal rep confirms variety projection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the claim that the center of the maximal compact subalgebra k is contained in so(8,2), which makes the embedding so(8,2) ⊂ e6(-14) holomorphic; if this containment fails, the first known equality applied in the chain is not justified and the proof of Theorem 3 collapses.","fun_headline_variants_meta":{"raw":{"variants":["Minimal representation settles Kobayashi's variety conjecture","Kobayashi conjecture proven for exceptional symmetric pair","Projection of associated varieties matches branch variety","Discrete series admissibility tied to holomorphic type","E6(-14) minimal rep confirms variety projection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00089,"raw_usage":{"total_tokens":3839,"prompt_tokens":942,"completion_tokens":2897,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":558,"completion_tokens_details":{"reasoning_tokens":2839}},"tokens_in":558,"tokens_out":2897,"duration_ms":24283,"temperature":1.0,"reasoning_tokens":2839,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:35:08.210648+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"An explicit root-system calculation would settle the central premise: write the action of the center of k on the complexified e6(-14) and verify that it restricts to so(8,2) as a holomorphic derivation and acts trivially on the complementary so(2) factor. Alternatively, for k=0, compute V_h(L'(3μ1)) directly and compare with pr_{g→h} V_g(L(3ω6)); a mismatch would disprove Theorem 3.","supporting_citations":[],"review_version":1}