{"id":"d985131b-bf4a-4cc0-9ae9-846f6059c9d1","arxiv_id":"1908.01337","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The inclusion order on Borel orbits in the height-2 nilpotent locus of an almost simple group matches the Bruhat order on affine Weyl group involutions attached to strongly orthogonal root sets.","lead":"This paper gives a uniform description of Borel subgroup orbits on the height-2 nilpotent variety of any almost simple algebraic group, parameterizing them by strongly orthogonal root sets and matching the closure order to the Bruhat order on affine Weyl involutions. A generalist reader may care because the result packages a large family of Lie-theoretic orbit classifications into one combinatorial rule with a closed-form dimension formula.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The converse of Theorem 5.2 rests on an imported, previously unverified base theorem from [11], so the central claim inherits its correctness.","rationale":"I read the paper as a continuation of [11], aiming to lift the Bruhat-order description from abelian ideals of Borel subalgebras to the full height-2 nilpotent locus. The direct parts I checked are consistent: Proposition 2.3 gives the necessity direction without the abelian-ideal base; Proposition 2.13 correctly converts the Bruhat inequality σ_R ≤ σ_S into R ⊂ Ψ in the base case; Proposition 4.6(ii) and Lemma 5.1 supply the descent machinery; and the induction cases in Theorem 4.10 are exhaustive. The only point at which the central converse cannot be checked inside the paper is the imported [11] base. The reader identified exactly this entry point, and I found no internal inconsistency or additional gap. The paper is structurally sound and partially corroborated by the known SL_n cases of Melnikov and Boos–Reineke, but its verification level depends on an external theorem whose proof is not present in the manuscript. I therefore keep the CONDITIONAL verdict: the claim is plausible and well supported, but its correctness is not fully established within the document.","tokens_in":26576,"tokens_out":12280,"duration_ms":129564,"concrete_test":"Verify the imported base by checking the published version of [11] and re-deriving its Theorems 5.3 and 6.3 in a minimal non-simply-laced case: take G = B_3, choose the height-2 orbit whose associated abelian ideal has rank 2, enumerate all orthogonal subsets S of its root set Ψ, compute the B-orbit closures Be_S directly from the known parametrization, and compare the resulting closure order with the affine-Weyl Bruhat order σ_R ≤ σ_S. If the two orders agree on every pair, the base case ℓ(w)=0 of Theorem 5.2 is sound and the induction survives; if any pair disagrees, the main theorem fails at its base.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem's converse is an induction whose base is not proved in this paper. In Theorem 5.2, after reducing to ℓ(w)=0 via Proposition 2.13, the argument invokes [11, Theorem 5.3] to conclude Be_R ⊂ Be_S from σ_R ≤ σ_S for R,S ⊂ Ψ. The same base appears one level up in Theorem 4.7 (ℓ(w)=0 from [11, Theorem 5.3]) and in Theorem 4.10 (from [11, Theorem 6.3]). This base is a different theorem: it concerns the Bruhat order on B-orbit closures in abelian ideals of b, not the full height-2 locus, and its proof is not reproduced or summarized here. The subsequent induction is coherent: Proposition 4.6(ii) identifies a complex descent, Lemma 5.1 creates the adjacent orbit, and Lemmas 1.1 and 1.3 propagate the Bruhat inequalities. But every induction step that lowers ℓ(w) terminates in the abelian-ideal case, so any gap in [11, Theorems 5.3 and 6.3] would propagate directly into Theorem 5.2's converse. At the time this arXiv version was posted, [11] was still 'to appear in Trans. Amer. Math. Soc.', so the central claim's verification level is lower than the proof would suggest.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the action of a Borel subgroup B on the height-2 nilpotent locus N2 in the Lie algebra of an almost simple group G over an algebraically closed field of characteristic zero. For a strongly orthogonal set of roots S, the authors consider the B-orbit Be_S of e_S = sum_{\\alpha in S} e_\\alpha, and they prove that every B-orbit in N2 is of this form. The main theorem, stated in the introduction as Theorem 1 and proved as Corollary 4.8 together with Theorem 5.2, asserts that for R,S with ht(e_R)=ht(e_S)=2, the closure inclusion Be_R \\subset \\overline{Be_S} holds if and only if \\sigma_{\\hat R} \\le \\sigma_{\\hat S} in the Bruhat order of the affine Weyl group, where \\sigma_{\\hat S} is the product of affine reflections associated to {\\alpha-\\delta : \\alpha\\in S}. The paper also proves a corresponding statement for the resolution \\tilde X = G\\times^P a of a height-2 nilpotent orbit closure, gives a dimension formula dim(Be_S)=L(\\sigma_{\\hat S})= (\\ell(\\sigma_{\\hat S})+|S|)/2, and develops a detailed inductive machinery based on descents and admissible pairs.","tokens_in":26751,"tokens_out":5469,"duration_ms":57411,"significance":"Assuming the external base theorem from the authors' previous paper [11] is correct, the paper gives a uniform, type-independent parametrization of B-orbits in N2 and a complete description of their closure order in terms of Bruhat order on involutions in the affine Weyl group. This significantly extends earlier case-by-case results for SL_n and classical groups, and the dimension formula is a natural and useful addition. The paper's internal contribution includes the reduction of N2 to strongly orthogonal subsets, the construction of the relevant fibers of the resolution, and the inductive descent arguments, which are presented in detail and appear coherent. I found no circular use of the main theorem. The principal weakness is that the induction base in the proof of the main theorem's converse is imported from [11], which was 'to appear' at the time of this version and whose proof is not reproduced; this makes the verification level of the central claim dependent on an external, unverified result.","major_comments":[{"comment":"The converse direction of Theorem 5.2 reduces, in the base case ℓ(w)=0, to the assertion that for R,S⊂Ψ the inequality σ_\\hat R ≤ σ_\\hat S implies Be_R ⊂ Be_S, and this assertion is imported verbatim from [11, Theorem 5.3]. The present paper does not prove or even summarize that theorem, and the reference is given as 'to appear in Trans. Amer. Math. Soc.' at the time of this posting. Since every induction step that lowers ℓ(w) terminates in this case, a gap in [11, Theorem 5.3] would propagate directly into the converse of Theorem 5.2. This is a load-bearing external dependency, not a purely expository one. The authors should either include a proof of the abelian-ideal base case in this paper or replace the reference with a published version containing a complete proof and state precisely which statement is being used.","section":"Proof of Theorem 5.2, Section 5, ℓ(w)=0 case"},{"comment":"The same external dependency appears in the proof of the intermediate resolution theorem: Theorem 4.7 uses [11, Theorem 5.3] for its ℓ(w)=0 base, and Theorem 4.10 uses [11, Theorem 6.3] for its ℓ(w)=0 base. These are different statements from the main theorem, since they concern B-orbits in abelian ideals of b rather than in the whole height-2 locus, but they are used as the base of the main induction. The manuscript should either justify these base cases directly or give a precise reference to the published version of [11] with the relevant theorems, so that the verification of the central claim does not rest on an unreproduced, still-unpublished statement.","section":"Theorems 4.7 and 4.10, Section 4"}],"minor_comments":[{"comment":"There is a typo: 'sphecial linear' should be 'special linear'.","section":"Introduction, page 2"},{"comment":"The phrase 'Levi decompostion' should be corrected to 'Levi decomposition'.","section":"Section 1, page 6"},{"comment":"The notation 'type AC' appears in Remark 2.5 where the context indicates 'type A or C'; please clarify or correct this shorthand.","section":"Remark 2.5 and Remark 2.2"},{"comment":"Reference [11] is listed as 'to appear'; if it has since appeared, the reference should be updated to the published version so that readers can consult the base theorem directly.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The key issue is the reliance of the main converse on the self-cited previous paper [11], which was 'to appear' at the time of this version. If [11] has now appeared with the complete proof of Theorems 5.3 and 6.3, the major concern is readily addressed by updating the reference and perhaps adding a sentence indicating the precise statements used. In its current form, however, the manuscript's central claim inherits an unverified external base, so I recommend major revision rather than acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main take: this is a real advance, not a repackaging. The authors prove a uniform parametrization of B-orbits in the height-2 nilpotent locus N2 for every almost simple group, and describe closure inclusion via the Bruhat order on affine Weyl group involutions. This genuinely extends the SL_n work of Melnikov and Boos–Reineke and the e^2=0 classical cases; the height-2 locus is strictly larger than e^2=0 in orthogonal types.\n\nThe proof structure is sound. Theorem 4.10 gives the resolution-level statement, Theorem 5.2 descends to N2, and the induction is coherent: Lemmas 1.1 and 1.3 propagate Bruhat inequalities, Lemma 5.1 identifies the adjacent orbit, and Proposition 4.6 handles external descents. I looked for a silent gap inside this paper and found none. The dimension formula (Corollary 4.8) is a nice byproduct.\n\nThe soft spot is exactly what the stress-test note flags. The base of every induction is the authors' own previous theorem for abelian ideals, imported as [11, Theorems 5.3 and 6.3]. In this arXiv version [11] was still to appear in Trans. Amer. Math. Soc., and its proof is not reproduced. The converse direction of Theorem 5.2 reduces to it after Proposition 2.13; any gap there would propagate. That is not circularity—the abelian-ideal statement is genuinely different and was proved elsewhere—but it does lower the verification level. A referee needs a copy of [11] or a detailed proof of the base case. The paper also uses standard Kac–Moody and centralizer facts without proof; that is acceptable for the intended audience.\n\nWho this is for: people working on B-orbits, nilpotent cones, and spherical varieties. It deserves a serious referee; the referee should verify the dependence on [11] and the two base theorems. My own verdict: likely correct, conditionally acceptable once the base is certified.\n\nRecommendation: send to peer review, not desk reject. If you are the editor, pick a referee who knows the abelian-ideal paper.","headline":"Genuine advance: uniform parametrization and Bruhat-order closure description for B-orbits in the height-2 nilpotent locus, but the converse direction rests on an imported, then-unpublished base theorem from the authors' own abelian-ideal paper.","tokens_in":27386,"tokens_out":2415,"would_cite":true,"duration_ms":25470,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B08","20F55","14L30","22E46"],"pacs":[],"model":"deepseek-v4-flash","headline":"For nilpotent elements of height 2, closure inclusion of Borel orbits is decided by the Bruhat order on associated affine Weyl-group involutions.","keywords":["nilpotent orbits","height 2","strongly orthogonal roots","Borel subgroup orbits","affine Weyl group","Bruhat order","orbit closures","abelian ideals"],"falsifier":"In a small root system where all height-2 strongly orthogonal subsets can be listed explicitly, such as type $C_2$ or $G_2$, compare the affine Bruhat order among the associated involutions with the actual closure inclusions among the $B e_S$. A single pair $R,S$ with $\\sigma_{\\widehat R} \\le \\sigma_{\\widehat S}$ but $B e_R \\not\\subset \\overline{B e_S}$, or a dimension mismatch $\\dim(B e_S) \\ne (\\ell(\\sigma_{\\widehat S}) + |S|)/2$, would refute the theorem.","tokens_in":26305,"feed_emoji":"🧮","tokens_out":11027,"duration_ms":99769,"temperature":0.7,"pith_summary":"This paper proves that the Borel subgroup action on nilpotent elements of height at most 2 is controlled by a combinatorial gadget: a strongly orthogonal set of roots $S$ produces a nilpotent element $e_S$, and an associated involution $\\sigma_{\\widehat S}$ in the affine Weyl group encodes both the orbit and its closure order. The central result is that, for height-2 strongly orthogonal sets $R$ and $S$, one has $B e_R \\subset \\overline{B e_S}$ exactly when $\\sigma_{\\widehat R} \\le \\sigma_{\\widehat S}$ in the affine Bruhat order, and the dimension of $B e_S$ is read off from the length of that involution. A careful reader should care because this replaces earlier case-by-case descriptions for classical groups with one statement valid for every almost simple group, turning a geometric containment question into a purely combinatorial order on involutions.","feed_headline":"Affine involutions order nilpotent orbits of height 2","feed_subtitle":"Root subsets map to affine Weyl involutions that decide every orbit-closure inclusion in the height-2 nilpotent locus.","key_machinery":"The central object is the assignment $S \\mapsto \\sigma_{\\widehat S}$, where $\\widehat S = \\{\\alpha-\\delta : \\alpha\\in S\\}$ and $\\sigma_{\\widehat S}$ is the product of the corresponding reflections in the affine Weyl group $\\widehat W$, the Weyl group of the affine root system attached to $\\Phi$; for pairwise strongly orthogonal $S$ this is an involution. This assignment converts the geometric inclusion of $B$-orbit closures into the Bruhat order on involutions in $\\widehat W$. The proof also uses the resolution $G\\times^P \\mathfrak a \\to \\overline{G e}$ of a height-2 orbit closure: $B$-orbits on the resolution are indexed by admissible pairs $(w,S)$, and the same Bruhat comparison governs their closure order. The descent calculus for involutions, distinguishing real from complex descents, is what carries the induction.","core_discovery":"Let $G$ be almost simple over an algebraically closed field of characteristic zero, with Borel subgroup $B$. The paper establishes that every $B$-orbit in the height-2 nilpotent locus $\\mathcal{N}_2$ is of the form $B e_S$ for a strongly orthogonal subset $S$ of roots, and that for such $R,S$ with $\\operatorname{ht}(e_R)=\\operatorname{ht}(e_S)=2$, $$B e_R \\subset \\overline{B e_S} \\iff \\sigma_{\\widehat R} \\le \\sigma_{\\widehat S}$$ in the Bruhat order of the affine Weyl group $\\widehat W$, where $\\widehat T = \\{\\alpha-\\delta : \\alpha\\in T\\}$ and $\\sigma_T = \\prod_{\\alpha\\in T} s_{\\alpha-\\delta}$. It also proves the dimension formula $\\dim(B e_S) = L(\\sigma_{\\widehat S}) = (\\ell(\\sigma_{\\widehat S}) + |S|)/2$, and an analogous Bruhat criterion for the $B$-orbits on the resolution $G\\times^P \\mathfrak a \\to \\overline{G e}$ of a height-2 orbit closure. These results together give a uniform parametrization and closure order for all $B$-orbits in $\\mathcal{N}_2$.","pith_inferences":["The same induction might extend to the spherical locus $\\operatorname{ht}\\le 3$ if the cover by orbits $B e_S$ could be replaced; the paper itself notes that these orbits do not cover the full spherical locus, so a genuinely different parametrization would be needed beyond height 2.","The dimension formula gives a quick numerical check in low-rank root systems: listing all height-2 strongly orthogonal subsets and computing the affine lengths of their involutions would independently test the dictionary before any full proof is sought.","The description of the fibers of the resolution as Schubert cells in a partial flag variety suggests that finer invariants of $B$-orbit-closure singularities, such as intersection cohomology data, might be computable from affine Weyl combinatorics."],"forward_implications":["For every almost simple group in characteristic zero, the poset of $B$-orbit closures in $\\mathcal{N}_2$ is completely determined by the affine Bruhat order on the involutions $\\sigma_{\\widehat S}$, so closure questions no longer need a case-by-case root-system analysis.","Orbit dimensions are explicit and combinatorial: $\\dim(B e_S) = (\\ell(\\sigma_{\\widehat S}) + |S|)/2$.","The same Bruhat criterion describes the orbit-closure order on the resolution $G\\times^P \\mathfrak a$, with admissible pairs $(w,S)$ bijecting to $B$-orbits on the resolved variety and minimal-length elements marking the unique closed orbit in each fiber.","The parametrization by strongly orthogonal subsets is faithful: different height-2 subsets give different $B$-orbits and different involutions.","Earlier descriptions for classical groups, phrased through involutions or link patterns, are recovered as one uniform statement."],"supporting_citations":[{"why":"Supplies the full Bruhat-order theorem and dimension formula for B-orbits on abelian ideals of $\\mathfrak b$; this is the induction base for both main theorems.","marker":"[11]"},{"why":"Parametrizes B-orbits on an abelian ideal $\\mathfrak a$ by orthogonal subsets of its root set, the starting point for the orbit parametrization on the resolution.","marker":"[26]"},{"why":"Describes the Levi orbits on an abelian nilradical and orders their closures by a rank invariant, used to index the G-orbits inside a height-2 closure.","marker":"[28]"},{"why":"Develops the Bruhat order and descent theory on involutions in Weyl groups, which the paper adapts to the affine Weyl group.","marker":"[29]"},{"why":"Shows nilpotent orbit closures are normal, so the contraction $G\\times^P \\mathfrak a \\to \\overline{G e}$ is a resolution whose fibers can be analyzed.","marker":"[13]"},{"why":"Gives the height bound for strongly orthogonal sums of root vectors and the canonical subset construction underlying dominant characteristics.","marker":"[12]"}],"fun_headline_variants":["Root subsets map to affine Weyl involutions","Bruhat order on involutions decides orbit closures","Height-2 nilpotent orbits: a Bruhat criterion","Involutions decide nilpotent orbit inclusions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the earlier Bruhat-order theorem for B-orbits on abelian ideals of the Borel subalgebra, imported here without reproducing its proof, is correct; the height-2 result inherits any gap in that base case.","fun_headline_variants_meta":{"raw":{"variants":["Root subsets map to affine Weyl involutions","Bruhat order on involutions decides orbit closures","Height-2 nilpotent orbits: a Bruhat criterion","Involutions decide nilpotent orbit inclusions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000258,"raw_usage":{"total_tokens":1569,"prompt_tokens":919,"completion_tokens":650,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":587}},"tokens_in":535,"tokens_out":650,"duration_ms":6638,"temperature":1.0,"reasoning_tokens":587,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:18:30.007501+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In a small root system where all height-2 strongly orthogonal subsets can be listed explicitly, such as type $C_2$ or $G_2$, compare the affine Bruhat order among the associated involutions with the actual closure inclusions among the $B e_S$. A single pair $R,S$ with $\\sigma_{\\widehat R} \\le \\sigma_{\\widehat S}$ but $B e_R \\not\\subset \\overline{B e_S}$, or a dimension mismatch $\\dim(B e_S) \\ne (\\ell(\\sigma_{\\widehat S}) + |S|)/2$, would refute the theorem.","supporting_citations":[{"cited_title":"The Bruhat order on abelian ideals of Borel subalgebras","cited_arxiv_id":"1806.08622","evidence_quote":"Supplies the full Bruhat-order theorem and dimension formula for B-orbits on abelian ideals of $\\mathfrak b$; this is the induction base for both main theorems."},{"cited_title":"Panyushev, On the orbits of a Borel subgroup in abelian ideals , Transform","cited_arxiv_id":null,"evidence_quote":"Parametrizes B-orbits on an abelian ideal $\\mathfrak a$ by orthogonal subsets of its root set, the starting point for the orbit parametrization on the resolution."},{"cited_title":"Richardson, G","cited_arxiv_id":null,"evidence_quote":"Describes the Levi orbits on an abelian nilradical and orders their closures by a rank invariant, used to index the G-orbits inside a height-2 closure."},{"cited_title":"Richardson, T.A","cited_arxiv_id":null,"evidence_quote":"Develops the Bruhat order and descent theory on involutions in Weyl groups, which the paper adapts to the affine Weyl group."},{"cited_title":"Hesselink, The normality of closures of orbits in a Lie algebra , Comment","cited_arxiv_id":null,"evidence_quote":"Shows nilpotent orbit closures are normal, so the contraction $G\\times^P \\mathfrak a \\to \\overline{G e}$ is a resolution whose fibers can be analyzed."},{"cited_title":"Gandini, P","cited_arxiv_id":null,"evidence_quote":"Gives the height bound for strongly orthogonal sums of root vectors and the canonical subset construction underlying dominant characteristics."}],"review_version":1}