{"id":"7196161e-d4f5-472a-835e-45465c5e330b","arxiv_id":"2501.12406","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The closure of the minimal nilpotent orbit of E6 is shown to be isomorphic to the affinization of T^*(SL4/P^u), where P^u is the unipotent radical of a parabolic in SL4.","lead":"The paper shows that the closure of the smallest nilpotent orbit in the exceptional Lie algebra E6 is isomorphic to the affinization of the cotangent bundle of SL4 modulo a unipotent subgroup. It also reviews the analogous D_n result and states, without a full proof, an E7 version.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 hinges on Lemma 3.1's unproved equality Omin^E6 ∩ i = ι(SL4/P^u); the proof assumes without computation that the SL4-orbit lies dense in an irreducible dimension-11 orbital variety.","rationale":"The reader's CONDITIONAL verdict is appropriate. The paper's D_n section is largely a review, and the E6 result may well be true: the author cites a forthcoming independent proof by Gannon and Webster. But the proof in this manuscript is not complete. In Lemma 3.1 the decisive equality is justified by assertions about an orbital variety, not by a demonstrated containment or dimension argument. The subsequent differential-operator argument depends on that equality and on the normality of the affine closure, which is also unproved. These are internal gaps rather than disagreements with consensus. A direct computational verification of the orbital-variety assertions would settle the matter; if they hold, the proof can be repaired by supplying the missing details. I therefore keep the reader's CONDITIONAL verdict, which is UNCHANGED by this stress-test pass.","tokens_in":5231,"tokens_out":6276,"duration_ms":65349,"concrete_test":"Use a CAS with E6 root data (LiE or Sage) to compute Xθ, the abelian ideal i = ⊕_{α≥α1} g_α, and the closure X = Spin(10)·Xθ. Check: (a) dim X = 11, e.g. by verifying the Spin(10)-stabilizer of Xθ has dimension 45−11=34; (b) v = e1⊕e4*⊕e3*⊕e2 lies in X and the SL4-orbit through v has dimension 11; (c) the tangent spaces T_v X and T_v(SL4·v) agree, confirming the orbit is open in X; (d) every irreducible component of Omin^E6 ∩ i has dimension at most 11 and lies in X. If any check fails, Lemma 3.1's equality is false and Theorem 3.2 lacks its key premise.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.1 is the linchpin of Theorem 3.2. Its proof shows only that one vector v = e1⊕e4*⊕e3*⊕e2 is obtained from the highest root vector Xθ by two exponentials, then asserts that the φ2(φ1(SL4))-orbit of v is contained in the smooth part of the orbital variety X = Ad(φ2(Spin(10)))Xθ, that X is irreducible, and that dim X = 11 = dim(SL4/P^u); from this it concludes ι(SL4/P^u) = Omin^E6 ∩ i. Each of these geometric facts is unproved in the manuscript. The containment and dimension are not formal consequences of the displayed root restrictions: one must show the embedded SL4-orbit is Zariski dense in X, that X has no other components of dimension at least 11, and that the image of ι is the full orbit closure rather than a proper closed subvariety. The smoothness assertion is doing no work unless the orbit is shown to be open in X. Moreover, Theorem 3.2 later needs the normality of ι(SL4/P^u) to identify D(SL4/P^u) with D(X), and normality of this affine closure is asserted without proof. Because the [LSS88] differential-operator isomorphism is applied to X, any failure of Lemma 3.1 breaks the chain U(e6)/J0 ≅ D(X) = D(SL4/P^u) → T*(SL4/P^u)^aff.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies minimal nilpotent adjoint orbit closures in classical and exceptional Lie algebras. It claims that the closure of the minimal nilpotent orbit in so_{2n} is isomorphic to the affinization of T^*(SL_{n-1}/[P,P]) for the parabolic P_{(1,1,n-3)} (Theorem 2.1), and that the closure of the minimal nilpotent orbit in e6 is isomorphic to the affinization of T^*(SL_4/P^u), where P^u is the unipotent radical of the parabolic P_{(2,2)} of SL_4 (Theorem 3.2). The E6 proof embeds sl4 into so10 into e6, defines an abelian ideal i inside e6, and constructs an embedding ι of SL_4/P^u into i. Lemma 3.1 asserts that the image of ι is exactly the intersection of the minimal nilpotent orbit closure with i. Theorem 3.2 then invokes a theorem of Levasseur–Smith–Stafford to identify U(e6)/J0 with the ring of differential operators D(X) on the image X=ι(SL_4/P^u), and passes to associated graded after asserting that D(SL_4/P^u)=D(X). The paper also sketches an analogous D_n argument and states, without proof, a similar E7 result.","tokens_in":5665,"tokens_out":10421,"duration_ms":106657,"significance":"If the E6 identification is correct, it gives a new and explicit presentation of the minimal nilpotent orbit closure in e6 as the affinization of the cotangent bundle of a natural quasi-affine homogeneous space, connecting with Coulomb-branch and symplectic-singularity constructions. The explicit embedding and the attempt to use differential-operator theory are attractive. However, the proof as written leaves several load-bearing geometric assertions unproved, and the application of the cited differential-operator theorem is not justified as stated. The interest of the paper will depend on whether these gaps can be filled; at present the central theorem is not established.","major_comments":[{"comment":"The proof of Lemma 3.1 does not establish the key equality ι(SL_4/P^u)=O_min^{E6}∩i. The argument computes that a particular vector v=e1⊕e4^*⊕e3^*⊕e2 is obtained from the highest root vector by two exponentials, and then asserts without proof that the φ2(φ1(SL_4))-orbit of v is contained in the smooth part of the orbital variety X=Ad(φ2(Spin(10)))Xθ, that X is irreducible, and that dim X = 11. These assertions are not formal consequences of the displayed root restrictions. To reach the equality one must additionally prove that the SL_4-orbit is Zariski dense in X, that X has no other components of dimension at least 11, and that the map ι is surjective onto X rather than onto a proper closed subvariety. This gap is load-bearing because Theorem 3.2 uses ι(SL_4/P^u)=X as the identification between the two varieties.","section":"Lemma 3.1"},{"comment":"The sentence 'Since ι(SL_4/P^u)=X is normal, so we have the codimension of the complement of SL_4/P^u is at least 2' is not justified. Normality of the affine closure X does not imply that an arbitrary open subset has complement of codimension at least 2; one must know that the complement is the singular locus or prove the codimension bound directly. Moreover, normality of X is itself asserted without proof or reference. This step is needed to conclude D(SL_4/P^u)=D(X), which is essential for the final identification of associated graded rings.","section":"Theorem 3.2"},{"comment":"The proof applies Theorem 5.2 and Corollary 5.3.A of [LSS88] to X=Ad(φ2(Spin(10)))Xθ, obtaining an isomorphism U(e6)/J0 ≅ D(X). As the title of [LSS88] and the standard statement of its main theorem concern the minimal nilpotent orbit O_min, not an arbitrary orbital variety contained in its closure, the applicability of the cited theorem to this particular 11-dimensional subvariety X is not automatic. The hypotheses of the cited results should be stated and verified for X, or an alternative direct construction of the map U(e6)→D(X) with kernel J0 should be supplied. Without this, the chain U(e6)/J0 ≅ D(X) = D(SL_4/P^u) is unsupported.","section":"Theorem 3.2"},{"comment":"The same unproved assertion appears in the D_n case: the proof of Lemma 2.2 states that the φ2(φ1(SL_{n-1}))-orbit of e1∧e2+e1∧e_n is contained in the smooth part of O_min^{D_n}∩r, which is irreducible of dimension 2n-3, and concludes the equality without proof. Since this 'another explanation' is presented as a proof of Theorem 2.1, the same density, irreducibility, and dimension issues arise. If this part is intended only as a sketch, it should be labeled as such; if it is a proof, the missing geometric verification must be provided.","section":"Lemma 2.2"}],"minor_comments":[{"comment":"The manuscript contains numerous typos and encoding artifacts, such as 'Eulidean' in Section 2 and the repeated '\\inthortrightarrow' symbols. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The statement labeled Theorem 3.1 (the E7 analogue) is given only with the phrase 'By a similar argument one may also show that' and no proof; it should be labeled as a conjecture or supported with a proof, and the numbering should be adjusted since it appears after Conjecture 3.4.","section":"Section 3"},{"comment":"The notation D(SL_4/P^u) is used without defining whether it means global differential operators on the smooth quasi-affine variety SL_4/P^u or on its affine closure; this distinction matters for the argument.","section":"Theorem 3.2"},{"comment":"Reference [GW25] is cited as 'to be posted in arXiv'; if it remains unavailable, the dependence of the paper on it should be minimized, and its status should be clarified.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The E6 result is plausible and likely true, especially since the author notes that Gannon and Webster have an independent proof. The main risk is the application of [LSS88] to the orbital variety X; if the author can justify that step and give a rigorous proof of Lemma 3.1, the paper could be acceptable. The normality gap in Theorem 3.2 is also serious but may be fixable with a reference or a short argument. I recommend requesting a full revision that either proves or explicitly cites proofs for Lemma 3.1, the normality of X, and the applicability of LSS88 to X."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Name],\n\nThe paper's new content is Theorem 3.2, identifying the closure of the minimal nilpotent orbit in E6 with the affinization of T*(SL4/P^u), where P^u is the unipotent radical of the (2,2) parabolic in SL4. This is a genuinely new identification, not in any prior reference I'm aware of, and it gives a concrete symplectic singularity model. The tool used, the LSS88 differential-operator isomorphism, is a known machinery and is applied appropriately. The D_n part is a review of known results and unnecessary for the main claim.\n\nThe soft spots are real. Lemma 3.1 is the load-bearing wall. Its proof asserts, without proof, that the SL4-orbit of the vector v lies in the smooth part of the orbital variety X = Ad(φ2(Spin(10)))Xθ, that X is irreducible of dimension 11, and that the embedding is dense. None of these follow from the displayed root restrictions alone; one must show the orbit is Zariski dense, that X has no other components, and that the image is the full orbit closure. Then the proof of Theorem 3.2 needs the closure of SL4/P^u to be normal to justify D(SL4/P^u) = D(X); that normality is also asserted without proof. These are not minor technicalities; if either fails, the isomorphism chain breaks. The stress-test note pins this correctly.\n\nThe E7 statement at the end is stated 'by a similar argument' with no proof, so it functions as a conjecture. The author acknowledges that Gannon and Webster have an independent proof, which lends some plausibility.\n\nI think the result is likely correct, but the paper as written is an extended research announcement rather than a complete proof. It deserves a serious referee, but the referee should require the missing geometry in Lemma 3.1 to be supplied or properly cited. The reading-group value is moderate: it's a nice illustration of using LSS88, and it's worth discussing how one would fill the gaps. I would cite it only with a caveat.\n\nRecommendation: engage with it, but insist on the proof being completed before accepting it as a final paper.","headline":"Plausible new E6 minimal orbit identification, but the proof is a sketch with load-bearing unproved assertions in Lemma 3.1 and normality; deserves review but needs completion.","tokens_in":6113,"tokens_out":4638,"would_cite":true,"duration_ms":38353,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B08","17B20","16S32"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the closure of the minimal nilpotent adjoint orbit in $\\mathfrak{e}_6$ is isomorphic to the affinization of the cotangent bundle of $SL_4/P^u$, where $P^u$ is the unipotent radical of the parabolic subgroup…","keywords":["minimal nilpotent orbit","orbit closure","affinization","cotangent bundle","Joseph ideal","parabolic subgroup","symplectic singularities"],"falsifier":"Compute the dimension of the $\\varphi_2(\\varphi_1(SL_4))$-orbit of $e_1 \\oplus e_4^* \\oplus e_3^* \\oplus e_2$ inside $\\mathbb{C}^4 \\oplus (\\mathbb{C}^4)^* \\oplus (\\mathbb{C}^4)^* \\oplus \\mathbb{C}^4$, or check whether this orbit lies in the smooth locus of $Ad(\\varphi_2(\\mathrm{Spin}(10)))X_\\theta$; if the orbit has dimension strictly less than 11 or meets the singular locus, the equality $\\iota(SL_4/P^u) = \\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$ is false. A direct comparison of the Hilbert series of $Spec(\\mathbb{C}[T^*(SL_4/P^u)])$ with that of $\\overline{O_{\\min}^{E_6}}$ would also settle the isomorphism.","tokens_in":5034,"feed_emoji":"","tokens_out":12058,"duration_ms":100282,"temperature":0.7,"pith_summary":"Working in geometric representation theory, the paper proves that the closure of the minimal nilpotent adjoint orbit in $\\mathfrak{e}_6$—the smallest nonzero orbit under the adjoint action—is isomorphic as an algebraic variety to the affinization of the cotangent bundle of the homogeneous space $SL_4/P^u$, where $P^u$ is the unipotent radical of the parabolic subgroup $P_{(2,2)}$ of $SL_4(\\mathbb{C})$. It proves the analogous statement for type $D_n$: the closure of the minimal nilpotent orbit in $\\mathfrak{so}_{2n}$ is the affinization of $T^*(SL_{n-1}/[P,P])$. These identifications matter because they realize these orbit closures as affinizations of cotangent bundles of explicit homogeneous spaces, putting them in a uniform framework and implying they have symplectic singularities. The proof works by embedding $SL_4$ into $\\mathfrak{so}_{10}$ into $\\mathfrak{e}_6$, decomposing a maximal abelian ideal into four irreducible pieces, and showing the resulting orbital variety coincides with the image of $SL_4/P^u$.","feed_headline":"Minimal E6 orbit is a cotangent-bundle affinization","feed_subtitle":"The smallest adjoint orbit in E6 is shown to be an affinized cotangent bundle of SL4 modulo a parabolic.","key_machinery":"The machinery that carries the argument is the chain of embeddings $\\mathfrak{sl}_4 \\xrightarrow{\\varphi_1} \\mathfrak{so}_{10} \\xrightarrow{\\varphi_2} \\mathfrak{e}_6$ determined by Dynkin diagram maps, together with the maximal abelian ideal $\\mathfrak{i} = \\bigoplus_{\\alpha \\ge \\alpha_1} \\mathfrak{g}_\\alpha$ of $\\mathfrak{e}_6$. As a representation of the embedded $\\mathfrak{so}_{10}$, $\\mathfrak{i}$ is the odd spin representation; as a representation of the embedded $\\mathfrak{sl}_4$, it decomposes into four irreducible pieces. The explicit coordinate map $\\iota(g) = (g e_1, e_4^* g^{-1}, e_3^* g^{-1}, g e_2)$ embeds $SL_4/P^u$ into that direct sum, and the paper proves this image is exactly the orbital variety $\\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$. The final step uses the Joseph ideal $J_0$ of $U(\\mathfrak{e}_6)$ and the LSS88 isomorphism $U(\\mathfrak{e}_6)/J_0 \\cong \\mathcal{D}(X)$ with the ring of differential operators on the orbit; taking associated graded converts the orbital-variety equality into the desired affinization isomorphism.","core_discovery":"On its own terms, the paper's central result is Theorem 3.2: the affinization $T^*(SL_4/P^u)^{aff}$ is isomorphic to the closure $\\overline{O_{\\min}^{E_6}}$ of the minimal nilpotent adjoint orbit in $\\mathfrak{e}_6$. Here $P^u$ is the unipotent radical of the parabolic subgroup $P_{(2,2)}$ of $SL_4(\\mathbb{C})$, and the affinization is the spectrum of the ring of global functions on the total space of the cotangent bundle. The proof identifies a maximal abelian ideal $\\mathfrak{i}$ of $\\mathfrak{e}_6$ that is the odd spin representation of the embedded $\\mathfrak{so}_{10}$, and as a representation of the embedded $\\mathfrak{sl}_4$ it splits as $\\mathbb{C}^4 \\oplus (\\mathbb{C}^4)^* \\oplus (\\mathbb{C}^4)^* \\oplus \\mathbb{C}^4$. The orbit of a highest root vector under the embedded $\\mathrm{Spin}(10)$ gives an orbital variety $\\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$, and an explicit embedding $\\iota: SL_4/P^u \\to \\mathbb{C}^4 \\oplus (\\mathbb{C}^4)^* \\oplus (\\mathbb{C}^4)^* \\oplus \\mathbb{C}^4$ is shown to have image equal to that orbital variety; the dimension is $11$ on both sides. Using the isomorphism between $U(\\mathfrak{e}_6)/J_0$ and the ring of differential operators on that variety, the paper upgrades the equality of varieties to an isomorphism of affinizations.","pith_inferences":["The pattern across $D_n$, $E_6$, and the stated $E_7$ result suggests that minimal nilpotent orbit closures in all simple Lie algebras might be affine closures of cotangent bundles of homogeneous spaces of smaller groups; testing this for $E_8$ would require a similar parabolic and embedding construction.","Because the proof passes through the Joseph ideal and rings of differential operators, the isomorphism is compatible with the natural Poisson structure, so one can expect it to yield explicit deformation quantizations of $T^*(SL_4/P^u)$; this is not written out in the paper.","The decomposition $\\mathfrak{i} = \\mathbb{C}^4 \\oplus (\\mathbb{C}^4)^* \\oplus (\\mathbb{C}^4)^* \\oplus \\mathbb{C}^4$ gives a multiplicity-free model for the orbital variety, which could be used to compute invariants of the closure such as its singular locus or graded components; the paper does not carry out these computations."],"forward_implications":["The affinization $T^*(SL_4/P^u)^{aff}$ has symplectic singularities, since it is isomorphic to the minimal orbit closure (Corollary 3.3).","The same methods give the type-$D_n$ statement $T^*(SL_{n-1}/[P,P])^{aff} \\cong \\overline{O_{\\min}^{D_n}}$, extending the known $D_4$ case to all $n$.","The analogous construction for $E_7$ asserts that the affinization of the cotangent bundle over the $E_6$ highest-weight orbit in the $27$-dimensional representation is isomorphic to the closure of the $E_7$ minimal nilpotent orbit.","If the $E_6$ identification holds, the coordinate ring of $\\overline{O_{\\min}^{E_6}}$ can be presented as the ring of global functions on $T^*(SL_4/P^u)$, giving an explicit finite presentation from the representation theory of $SL_4$."],"supporting_citations":[{"why":"Supplies the isomorphism between $U(\\mathfrak{e}_6)/J_0$ and differential operators on the embedded orbit, and the filtration results that turn this into an affinization statement.","marker":"[LSS88]"},{"why":"Defines the Joseph ideal $J_0$ whose associated variety is the minimal nilpotent orbit closure.","marker":"[Jos76]"},{"why":"Provides the type-$D$ prototype for identifying minimal orbit closures with affinizations of cotangent bundles of homogeneous spaces.","marker":"[Jia21]"},{"why":"Gives the Hamiltonian-reduction model for $T^*(SL_{n-1}/[P,P])^{aff}$ used in the type-$D_n$ theorem.","marker":"[DKS13]"},{"why":"Supplies the definition of symplectic singularities used in Corollary 3.3.","marker":"[Bea00]"}],"fun_headline_variants":["E6 minimal orbit is affinization of SL4/P^u cotangent bundle","Minimal E6 orbit equals affinized T*(SL4/P^u)","D_n and E_6 minimal orbits are affinized cotangent bundles","Minimal adjoint orbits in D_n and E_6 are affinized cotangent bundles","E6 minimal orbit: affinization of T*(SL4/P^u)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Lemma 3.1 relies on the unproved assertion that the $\\varphi_2(\\varphi_1(SL_4))$-orbit of $e_1 \\oplus e_4^* \\oplus e_3^* \\oplus e_2$ is contained in the smooth part of the orbital variety $\\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$, and that this orbital variety is irreducible of dimension 11; if either assertion fails, the identification $\\iota(SL_4/P^u) = \\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$ and hence Theorem 3.2 collapses.","fun_headline_variants_meta":{"raw":{"variants":["E6 minimal orbit is affinization of SL4/P^u cotangent bundle","Minimal E6 orbit equals affinized T*(SL4/P^u)","D_n and E_6 minimal orbits are affinized cotangent bundles","Minimal adjoint orbits in D_n and E_6 are affinized cotangent bundles","E6 minimal orbit: affinization of T*(SL4/P^u)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000759,"raw_usage":{"total_tokens":3415,"prompt_tokens":1030,"completion_tokens":2385,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":646,"completion_tokens_details":{"reasoning_tokens":2273}},"tokens_in":646,"tokens_out":2385,"duration_ms":17607,"temperature":1.0,"reasoning_tokens":2273,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:56:45.475482+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the dimension of the $\\varphi_2(\\varphi_1(SL_4))$-orbit of $e_1 \\oplus e_4^* \\oplus e_3^* \\oplus e_2$ inside $\\mathbb{C}^4 \\oplus (\\mathbb{C}^4)^* \\oplus (\\mathbb{C}^4)^* \\oplus \\mathbb{C}^4$, or check whether this orbit lies in the smooth locus of $Ad(\\varphi_2(\\mathrm{Spin}(10)))X_\\theta$; if the orbit has dimension strictly less than 11 or meets the singular locus, the equality $\\iota(SL_4/P^u) = \\overline{O_{\\min}^{E_6}} \\cap \\mathfrak{i}$ is false. A direct comparison of the Hilbert series of $Spec(\\mathbb{C}[T^*(SL_4/P^u)])$ with that of $\\overline{O_{\\min}^{E_6}}$ would also settle the isomorphism.","supporting_citations":[],"review_version":1}