{"id":"b0feba18-06ea-4d9b-8b60-063515d5d0a4","arxiv_id":"2607.02701","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Lusztig varieties degenerate equivariantly inside G/B to unions of Richardson varieties, inducing (regular in types ABC) subdivisions of the permutahedron into Bruhat interval polytopes.","lead":"The paper constructs an embedded torus-equivariant (but non-Gröbner) degeneration of Lusztig varieties inside G/B to reduced unions of Richardson varieties. This simultaneously recovers and extends cohomology and polytope results of Anderson–Tymoczko, Harada–Horiguchi–Masuda–Park and Kim, and produces regular Bruhat-interval subdivisions of Coxeter permutahedra in types A/B/C.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claims (embedded flat degeneration of Lusztig varieties, resulting Bruhat-interval subdivisions of the permutahedron, and regularity via explicit heights in types A/B/C) rest on a short chain of standard tools. The only place where a hypothesis could fail is precisely the flatness step the reader isolates, but that step is written with the necessary citations and characteristic-0 caveats already present. No stronger load-bearing gap appears: the general subdivision theorem for non-Gröbner semitoric degenerations is proved carefully via Duistermaat–Heckman measures and Zariski’s main theorem, and the height functions of §5–6 are explicit and checkable. The open K-class conjecture is correctly identified as non-load-bearing. Consequently the reader’s ACCEPT / high-confidence verdict stands.","tokens_in":42411,"tokens_out":594,"duration_ms":6069,"concrete_test":"Independently verify the Cohen–Macaulay claim of [UG25, Theorem 5.7 / Lemma 5.10] for the special fibre of the double-Schubert family (or recompute the K-class product in a low-rank example, e.g. G=SL_3, w=s1s2) and confirm that the resulting special fibre of F' is reduced of the expected dimension; if either fails, flatness of the Lusztig degeneration would be in doubt.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly isolates the flatness argument after Proposition 2.4 (intersecting the double-Schubert family of Proposition 2.4 with (t,1)Ω_e, then invoking Proposition 2.1 via K-class equality from transversality + Cohen–Macaulayness of the special fibre). That step is carefully written: Kleiman transversality is used only in characteristic 0 for general t (or general torus elements by conjugacy), the special fibre of the double-Schubert family is already known to be reduced and Cohen–Macaulay by the cited [UG25], and the product of K-classes of Cohen–Macaulay subschemes of a smooth ambient space multiplies correctly. The subsequent projection to G/B is an isomorphism on the family, so flatness descends. No internal inconsistency or missing hypothesis appears; the argument is standard and the only genuine limitation (characteristic 0) is already flagged by the authors. The polytope-subdivision theorem (Theorem 3.1) and the regularity proofs in types A/B/C are independent of this step once flatness is granted.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper constructs an embedded T-equivariant flat degeneration of a regular semisimple Lusztig variety Y_w(t) inside G/B to the reduced union of Richardson varieties X^{u w^{-1}}_u over length-additive products uw^{-1} (Theorem A / Theorem 2.10). The construction intersects a known flat family of double Schubert varieties (Proposition 2.4) with a transverse translate (t,1)Ω_e and projects; flatness is verified by K-class equality (Proposition 2.1) using transversality and Cohen–Macaulayness of the special fibre. Specialising to Coxeter elements yields a finest Bruhat-interval subdivision of the W-permutahedron (Theorem C / Theorem 4.4). A general result (Theorem 3.1) shows that any T-equivariant embedded semitoric degeneration of a projective toric variety produces a polyhedral subdivision of the moment polytope via Duistermaat–Heckman measures and Zariski’s main theorem. Explicit height functions (rightmost subexpressions / lattice-path weights) prove the subdivisions are regular in types A, B and C.","tokens_in":42695,"tokens_out":989,"duration_ms":7559,"significance":"The work unifies and extends cohomology-class formulae of Anderson–Tymoczko, Harada–Horiguchi–Masuda–Park and Kim by a single geometric degeneration, while supplying a non-Gröbner source of Bruhat-interval subdivisions of Coxeter permutahedra. Theorem 3.1 is of independent interest: it removes the Gröbner hypothesis from the classical Sturmfels correspondence between toric degenerations and polytope subdivisions. The regularity proofs give concrete maximal cones in the positive flag Dressian (at least 2^{n-2} in type A) and an explicit height function that realises them. The arguments rely only on standard tools (flatness, equivariant K-theory, moment maps) and previously established properties of double Schubert varieties; no free parameters or circular definitions appear.","major_comments":[],"minor_comments":[{"comment":"In the abstract and introduction the degeneration is said to give a “subdivision”, while Theorem 1.1 (quoted from HHMP) only claims a dissection; the upgrade to a genuine subdivision is proved only later in Theorem 3.1. A one-sentence forward pointer would avoid temporary confusion.","section":"Abstract / §1.1"},{"comment":"Proposition 2.1 asserts that equal A_*-classes plus reduced equidimensional fibres imply flatness; the short proof is correct but could cite the precise reference (e.g., the relevant lemma in [KM05] or [AK10]) for readers less familiar with the Hilbert-polynomial argument.","section":"§2, Proposition 2.1"},{"comment":"The lattice-path description of the height function (Proposition 5.18 and Figures 2–4) is clear, yet the dependence of the sequence of corners r_i on the excedance set of c is stated only after the figures; moving the definition of r_i earlier would help the reader follow the weight calculation.","section":"§5.3"},{"comment":"Conjecture 2.14 on the K-class is left open outside the Coxeter case; a brief remark on whether the same Möbius function can be read off from the totally nonnegative flag variety (already mentioned in Remark 2.16) would clarify the expected next step.","section":"§2.4"},{"comment":"A few typographical inconsistencies appear: “Gröbner” vs. “Gr\"obner”, and the occasional missing space before a citation. These are purely cosmetic.","section":"Throughout"}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, high-quality contribution that sits comfortably in the intersection of algebraic geometry and combinatorial representation theory. The only genuine limitation (characteristic 0 for Kleiman transversality) is already flagged by the authors and does not affect the combinatorial conclusions. I see no reason to request further referee rounds."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper gives a clean geometric reason why the Anderson–Tymoczko class formula, the HHMP dissection of the permutahedron, and Kim’s class formula all hold at once: an embedded T-equivariant flat degeneration of a Lusztig variety Y_w(t) to a reduced union of Richardson varieties X^{uw^{-1}}_u (Theorem 2.10 / A). When w is a Coxeter element the special fibre is toric, so the moment polytopes form a finest Bruhat-interval subdivision of the W-permutahedron (Theorem 4.4 / C). They also prove a general fact that any equivariant degeneration of a projective toric variety yields a (not necessarily regular) subdivision of its moment polytope (Theorem 3.1), recovering Sturmfels’ Gröbner case as a special case, and then exhibit explicit height functions that make the ABC subdivisions regular.\n\nThe construction is standard and carefully written: start from the known flat family of double Schubert varieties (Prop. 2.4 / UG25), intersect with a transverse translate (Kleiman, char 0), project, and check flatness by K-class equality plus Cohen–Macaulayness. Once flatness is granted, Duistermaat–Heckman measures give the polytope statement for free. The height functions (rightmost subexpressions / lattice-path weights) are new and work; folding takes care of B/C. The only open item is a conjectural sharpening of the K-class formula outside the Coxeter case; it is not load-bearing.\n\nSoft spots are minor and already flagged: characteristic 0 for transversality, and the height functions do not immediately extend to D or beyond. Citation pattern is clean; no circularity. This is for people who work with flag varieties, Hessenberg varieties, or tropical flag Dressians. It deserves a serious referee and I would cite the subdivision theorem and the height functions. Send it out.","headline":"Solid geometric unification of three known results via a non-Gröbner degeneration, plus a general subdivision theorem and explicit regularity in ABC.","tokens_in":43277,"tokens_out":498,"would_cite":true,"duration_ms":6369,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M15","14N15","52B20","05E14"],"pacs":[],"model":"grok-4.5","headline":"Lusztig varieties degenerate to unions of Richardson varieties, subdividing the permutahedron into Bruhat-interval polytopes that are regular in types A, B and C.","keywords":["Lusztig varieties","Richardson varieties","permutahedron","Bruhat interval polytopes","equivariant degeneration","regular subdivision","Hessenberg varieties","flag Dressian"],"falsifier":"Exhibit a Coxeter element c and a regular-semisimple t for which the intersection of the double-Schubert special fibre with (t,1)Ω_e fails to be equidimensional or Cohen–Macaulay, or compute the height function of Definition 5.6 on a type-A permutahedron and check that a lifted facet lies strictly below a neighbouring facet.","tokens_in":43348,"feed_emoji":"🔷","tokens_out":725,"duration_ms":5894,"temperature":0.7,"pith_summary":"The paper constructs an embedded, torus-equivariant flat degeneration of any regular-semisimple Lusztig variety inside the flag variety into a reduced union of Richardson varieties. When the Lusztig variety is the permutahedral toric variety, the special fibre is a union of toric Richardson varieties whose moment polytopes form a subdivision of the W-permutahedron into Bruhat-interval polytopes. The same degeneration simultaneously recovers and extends known cohomology-class formulae for permutahedral and Hessenberg varieties. Although the degeneration is not Gröbner, the resulting subdivisions of the permutahedron are nevertheless regular in types A, B and C, via explicit height functions inspired by total positivity. The geometric argument also yields a general fact: any equivariant degeneration of a projective toric variety produces a polyhedral subdivision of its moment polytope.","feed_headline":"Lusztig varieties degenerate into Bruhat-interval polytopes","feed_subtitle":"The resulting subdivisions of the permutahedron are regular in types A, B and C","key_machinery":"The double-Schubert degeneration of Proposition 2.4, intersected fibrewise with a general translate of the diagonal Schubert variety, produces a flat family whose special fibre is the desired union of Richardson varieties; Duistermaat–Heckman measures then convert the geometric degeneration into a polyhedral subdivision of the moment polytope.","core_discovery":"For t general in the torus there is an embedded flat T-equivariant degeneration of the Lusztig variety Y_w(t) to the reduced union of all Richardson varieties X^{u w^{-1}}_u with u w^{-1} length-additive; when w is a Coxeter element this specialises to a finest Bruhat-interval subdivision of the W-permutahedron that is regular in types A, B and C.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Lusztig varieties flatten to Richardson unions via torus action","Permutahedra split into Bruhat-interval polytopes from Lusztig data","Equivariant Lusztig degeneration subdivides permutahedra regularly","Non-Gröbner Lusztig-to-Richardson map yields type A B C regular cuts","Embedded flat T-degeneration of Lusztig varieties to Bruhat intervals"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"Flatness of the restricted family at the special fibre rests on Kleiman transversality (characteristic zero) together with the Cohen–Macaulay property of the special fibre of the double-Schubert family; if either fails, the class formulae and the polytope subdivision do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Lusztig varieties flatten to Richardson unions via torus action","Permutahedra split into Bruhat-interval polytopes from Lusztig data","Equivariant Lusztig degeneration subdivides permutahedra regularly","Non-Gröbner Lusztig-to-Richardson map yields type A B C regular cuts","Embedded flat T-degeneration of Lusztig varieties to Bruhat intervals"]},"model":"grok-4.5","effort":"low","cost_usd":0.00561,"raw_usage":{"total_tokens":1499,"prompt_tokens":750,"num_sources_used":0,"completion_tokens":89,"cost_in_usd_ticks":56100000,"prompt_tokens_details":{"text_tokens":750,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":660,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":750,"tokens_out":89,"duration_ms":5514,"temperature":1.0,"reasoning_tokens":660,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T07:36:55.889471+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a Coxeter element c and a regular-semisimple t for which the intersection of the double-Schubert special fibre with (t,1)Ω_e fails to be equidimensional or Cohen–Macaulay, or compute the height function of Definition 5.6 on a type-A permutahedron and check that a lifted facet lies strictly below a neighbouring facet.","supporting_citations":[],"review_version":1}