{"id":"62081a45-0a51-4ac6-ade8-01859b68def4","arxiv_id":"2508.20226","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For positive braids with full Demazure product, the ruling, weave, Deodhar, and sheaf decompositions of the associated variety coincide, and cluster variables can be computed from Morse complex sequences.","lead":"This paper proves that four different ways of chopping up the same algebraic variety associated to a braid, coming from Legendrian knots, weaves, Richardson varieties, and microlocal sheaves, give the same pieces. It also shows how to read the cluster coordinates of the variety directly from Morse-theoretic data on the Legendrian knot.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.45's bijection between normal rulings and right simplifying weave classes is the load-bearing index-matching step, but its proof verifies only local normality of crossing labels, not that the labels assemble into a global ruling.","rationale":"The reader's weakest assumption is exactly the bijection of Lemma 4.45, and I agree that this is the load-bearing combinatorial premise. The rest of the proof is long but mostly structural: Theorem 4.31 identifies the weave and MCS monodromy varieties, Theorem 4.60 compares the two embeddings assuming the ruling/weave indices are matched, and the reduction to small cases such as Example 4.59 is consistent. Those parts are not where I would put the weight. The central claim could survive a local sign error in the MCS conventions because those are checkable and localized; it could not survive a failure of Lemma 4.45, because then the ruling decomposition and the weave decomposition would be indexed by different sets and the equality of decompositions would be meaningless. The paper gives no machine-checked proof, and the proof of Lemma 4.45 is a hand verification with a nontrivial global-to-local step. Therefore I would not reject the paper; I would make acceptance conditional on the bijection being either completed with a global ruling argument or verified exhaustively on small braids. The proposed computational check is finite and would settle whether the concern lands.","tokens_in":67695,"tokens_out":16836,"duration_ms":196287,"concrete_test":"Run a finite exhaustive check of Lemma 4.45. For n=2 take β=σ1^k for k=3,5,7; for n=3 enumerate all positive words in σ1,σ2 of length at most 7 with δ(β)=w0 (e.g. σ1σ2σ1σ2^2, σ1σ2^2σ1σ2, and similar words), or a computer-generated saturation set. For each β: (1) enumerate normal rulings of the fixed nearly-plat front of Λ(β∆), e.g. by implementing the A-to-SR algorithm of [HR15b] or a standard ruling recursion; (2) enumerate right simplifying weaves β→∆ up to inductive equivalence as sequences of A/B/C choices allowed by Definition 2.29; (3) implement both maps ρ↦A(r_ρ) from Proposition 4.43 and w↦ρ_w from Lemma 4.45 and verify they are inverse bijections, with s(ρ)=t(w) and r(ρ)=c(w)+(n choose 2). An independent implementation of the two enumerations and the two maps would settle whether the index sets and dimensions really match. If any β fails, Theorem 4.61's piecewise equality cannot","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 4.45 is the pivot of Theorem 4.61: it identifies the index sets of the ruling and weave decompositions and pairs ρ with A(r_ρ). The proof of the lemma, as written, assigns to a right simplifying weave w a label s/d/r to each crossing c_k of β from the local data of the weave (trivalent/cup/neither), and then proves by induction on k that each crossing is a normal switch/departure/return. That verifies only the local model of Figure 4 at each crossing. It does not verify the global conditions of a normal ruling: that the two ruling paths through c_k are consistently defined and do not meet outside crossings, that the disks are embedded, or that the pairing terminates correctly at the right cusps. In the vertical-edge (return) case, the proof infers that the two disks are interlaced to the left of c_k from the Demazure-product condition δ(β'_{k−1}σ_i)=δ(β'_{k−1})s_i; but interlacing is a property of the two global paths, and local Demazure information about the prefix β'_{k−1} does not by itself fix the identity of the disk continuing through c_k. The inverse direction ρ↦A(r_ρ) in Proposition 4.43 is also non-deterministic: before each trivalent/cup move one may apply hexavalent and distant-crossing moves, and the text asserts, rather than proves, that the resulting weave represents the same inductive class and has underlying ruling ρ. Since Theorem 4.60 then compares piece images via f_r, a mismatch in this bijection would misidentify or drop a piece of the decomposition; no later argument compensates.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that several decompositions of the augmentation variety of a Legendrian (−1)-closure Λ(β∆) coincide under known isomorphisms with the braid variety X(β), the braid-Richardson variety R°_{w0,β}, and the framed moduli space of microlocal rank-1 sheaves. The main theorem (Theorem 1.1, with detailed versions Theorems 1.2–1.5) asserts that the ruling decomposition, the weave decomposition, the Deodhar decomposition, and the sheaf decomposition are all the same decomposition. The proof introduces a braid category B_n with moves corresponding to algebraic weaves, constructs a functor A : B_n → W_n and a functor M : B_n → C via Morse complex sequences, and proves that the trivial-monodromy varieties agree (Theorem 4.31). The key index-matching step is a claimed bijection between normal rulings of Λ(β∆) and inductive equivalence classes of right simplifying weaves β → ∆ (Lemma 4.45). The paper also gives an MCS-combinatorial algorithm for cluster variables of the maximal cluster torus and discusses cycle deletion.","tokens_in":68060,"tokens_out":12674,"duration_ms":144811,"significance":"If the main theorem is correct, it unifies four a priori different algebraic decompositions of the same underlying variety, and it gives a new combinatorial way to compute cluster variables from rulings via Morse complex sequences. The categorical framework—the braid category, the functors A and M, and the comparison M(m) ≅ X(A(m))—is a reusable contribution, and the paper contains several explicit computations (e.g., Examples 4.59, 4.65, 4.82) that illustrate the constructions well. The result is likely to be of interest to symplectic geometers and cluster algebraists. However, the central combinatorial bijection in Lemma 4.45 is not fully proved, and some of the sheaf-theoretic decomposition statements are imported with only sketches; these issues affect load-bearing steps of Theorems 4.61 and 4.89.","major_comments":[{"comment":"","section":"§4.3, Lemma 4.45"},{"comment":"","section":"§4.3, Proposition 4.43"},{"comment":"","section":"§3.5, Theorem 3.57"},{"comment":"","section":"§4.5, Theorem 4.88"}],"minor_comments":[{"comment":"The definition of ∂D^2_- repeats '{z > 0}'; it should presumably be '{z < 0}'.","section":"§2.5, Notation 2.24"},{"comment":"There is a sign inconsistency in the computation of A_2: Example 3.27 gives A_2 = z_2 z_3 − 1, while Example 4.80 gives A_2 = 1 − z_2 z_3, and the alternative computation in Example 4.65 also concludes 1 − z_2 z_3 although the displayed formula gives z_2 z_3 − 1. These should be reconciled.","section":"Examples 3.27 and 4.80"},{"comment":"The sentence 'it suffices to prove that there is an somorphism Aug(Λ(β∆)) ∼= Aug(Λpig(Λ(β∆))' contains a typo: 'somorphism' and an extra 'Λ' in the second argument.","section":"§2.7, Theorem 2.39 proof"},{"comment":"The proof of Theorem 3.67 is omitted with the explanation that it follows from Theorem 3.69, while Theorem 3.69 is later proved by induction using Lemma 3.66. This organization is acceptable, but the cross-reference should be clarified to avoid the appearance of circularity.","section":"§3.6, Theorem 3.67"}],"recommendation":"major_revision","confidential_remarks":"The paper is long and overlaps substantially with previous work by the same research groups (e.g., [CGGS24], [CL22], [CW24]), but the comparison of the ruling and weave decompositions is a genuinely new contribution, and the categorical/MCS framework is useful. The gaps I have flagged are technical rather than fatal; in particular, Lemma 4.45 is very likely repairable by an explicit inductive construction of the ruling paths. I do not see a reason to reject, but the proofs of Lemmas 4.45 and Theorems 3.57 and 4.88 need to be completed before the main comparison theorems can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: it proves that the ruling, weave, Deodhar, and sheaf decompositions of the same underlying variety coincide for every positive braid β with δ(β)=w0, not just the rainbow case β=∆γ. The new braid-category/MCS machinery is a genuinely useful way to compare weaves and Morse complex sequences, and it pays off in the explicit commutative diagrams and in the cluster-variable translation. The authors are honest about what is being imported from Henry–Rutherford and Casals–Gorsky–Gorsky–Simental, and the central agreement between the decompositions is proved in the paper, not assumed.\n\nThe main soft spot is Lemma 4.45, which is the load-bearing bijection between normal rulings and inductive equivalence classes of right simplifying weaves. The proof assigns crossing labels from a weave and then checks local normality at each crossing, but the step from 'every crossing is locally normal' to 'there is a global normal ruling' is asserted rather than justified. For these fronts I suspect it is true, and likely standard, but the authors should say so explicitly or give a reference. The inverse direction in Proposition 4.43 also involves choices of hexavalent and distant-crossing moves; the text asserts that the resulting weave represents the same inductive class. I believe that is correct because inductive equivalence ignores those moves, but the independence should be stated as a lemma, not left as an aside.\n\nThe other thing I would ask about is Theorem 3.57, the sheaf decomposition for (−1)-closures, which is adapted from STZ with a sketch. It is plausible and probably fixable, but for a paper that relies on all four decompositions agreeing, the sheaf side deserves a bit more detail than 'follows from the same argument.'\n\nNone of this feels fatal. The structure of the proof is sound, the examples are helpful, and the main theorem is exactly the kind of unification that makes people trust a subject. The paper deserves a serious referee; the right outcome is probably acceptance after the authors tighten the global-to-local argument in Lemma 4.45 and expand the sheaf-decomposition sketch.","headline":"A substantial, likely-correct unification of four decompositions of augmentation/braid varieties; the main proof structure holds up, with a few presentation gaps a referee should ask to close.","tokens_in":68622,"tokens_out":3832,"would_cite":true,"duration_ms":48942,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the ruling, weave, Deodhar, and sheaf decompositions of four isomorphic varieties coincide.","keywords":["augmentation varieties","braid varieties","Legendrian links","normal rulings","weaves","Morse complex sequences","Deodhar decomposition","microlocal sheaves"],"falsifier":"Compute, for a positive braid β with δ(β)=w0 that is not of the form Δγ, the number and dimensions of the pieces in the ruling decomposition of Aug(Λ(βΔ)) and in the weave decomposition of X(β) by right simplifying weaves; the theorem predicts matching counts with switches corresponding to trivalent vertices and returns (minus the crossings of Δ) corresponding to cups, so any disagreement in the strata or in their point counts over finite fields would falsify it.","tokens_in":67580,"feed_emoji":"🪢","tokens_out":12537,"duration_ms":121689,"temperature":0.7,"pith_summary":"The paper proves that four independently defined decompositions of the same algebraic variety agree. Starting from a positive braid β whose Demazure product is the longest permutation, one can form the augmentation variety of the Legendrian (−1)-closure of βΔ, the braid variety of β, an open Richardson-type braid-Richardson variety, and a framed moduli space of microlocal rank-1 sheaves; each carries a decomposition into pieces of the form (C*)^t × C^c. The decompositions come from normal rulings, simplifying weaves, distinguished sequences of permutations, and ruling-type data on sheaves. The paper shows all four decompositions coincide under the known isomorphisms, so point counts, dimensions, and Hodge-theoretic information extracted from any one of them are the same. The proof works by comparing weaves with Morse complex sequences through a braid category whose morphisms are sequences of braid moves.","feed_headline":"Rulings, weaves, Deodhar pieces, and sheaves give one decomposition","feed_subtitle":"Four independently built decompositions of the same variety agree, so counting points in any one counts all.","key_machinery":"The carrying mechanism is a pair of categories connected by a functor A: the braid category B_n of sequences of positive braids related by braid moves, and the weave category W_n of algebraic weaves. Another functor M sends each morphism to an algebraic correspondence built from Morse complex sequences with trivial monodromy; Theorem 4.31 proves M = X ∘ A. This identifies the trivial-monodromy equations of weaves with explicit handleslide relations in Morse complex sequences, putting the ruling decomposition and the weave decomposition on the same footing. The load-bearing bijection is Lemma 4.45, between normal rulings of Λ(βΔ) and inductive equivalence classes of right simplifying weaves β","core_discovery":"For every positive braid β with Demazure product w0, the ruling decomposition of Aug(Λ(βΔ)) coincides, under the isomorphism α, with the weave decomposition of X(β) by right simplifying weaves (Theorems 1.2 and 4.61); the same pieces are also the Deodhar decomposition of R°_{w0,β} and the sheaf decomposition of M^fr_1(Λ(βΔ)) (Theorem 1.1). The engine is a bijection matching each normal ruling ρ to an inductive equivalence class of right simplifying weaves: switches become trivalent vertices, departures cups, remaining crossings returns. Proof: verify normality in three local cases, then use trivial-monodromy Morse complex sequences to show the two injections have the same image. A byproduct","pith_inferences":["If the bijection between rulings and right simplifying weaves is canonical up to weave equivalence, as the paper expects in Remark 1.6, the common decomposition becomes a Legendrian-isotopy invariant that could distinguish Legendrian links with the same classical invariants.","The Morse-complex algorithm for cluster variables likely extends beyond the maximal cluster torus, since the handleslide relations under MCS braid moves transform variables by Laurent monomials of the same shape as cluster mutations.","The agreement of the sheaf and ruling decompositions suggests that microlocal sheaf computations for these Legendrians could be replaced by the finite combinatorics of normal rulings, making sheaf-theoretic invariants accessible for larger braids without building sheaves by hand."],"forward_implications":["Point counts over finite fields, mixed Hodge structures, and homological information extracted from the augmentation variety, braid variety, braid-Richardson variety, or sheaf moduli space are identical, so a computation can be done in whichever language is easiest.","Normal rulings of Λ(βΔ) enumerate the pieces of the Deodhar decomposition of R°_{w0,β}, giving a purely Legendrian description of those Deodhar pieces.","Cluster variables of the maximal cluster torus of the braid variety can be computed by an explicit algorithm from the formal framed SR-form Morse complex sequence of the maximally switched ruling, so cluster coordinates carry contact-geometric meaning.","The 'representations are sheaves' correspondence for these Legendrian weaves is realized by a direct combinatorial comparison, and it is compatible with both the sheaf and ruling decompositions of the augmentation variety.","For braids not of the form β = Δγ, the isomorphism between braid variety and augmentation variety now carries a matching stratification, extending results previously known only in the rainbow-closure case."],"supporting_citations":[{"why":"Supplies the ruling decomposition of the augmentation variety into (C*)^{s(ρ)} × C^{r(ρ)} pieces via SR-form Morse complex sequences; the paper's ruling-side machinery is taken from here.","marker":"[HR15b]"},{"why":"Defines the weave decomposition of the braid variety and the functor from algebraic weaves to algebraic correspondences, and proves the braid variety is the augmentation variety in the rainbow case β=Δγ.","marker":"[CGGS24]"},{"why":"Constructs cluster structures on braid varieties and defines right inductive weaves and their s-variables and cluster variables, which the paper translates into Morse complex sequence language.","marker":"[CGG+25b]"},{"why":"Proves the braid variety X(β) is isomorphic to the framed moduli space of microlocal rank-1 sheaves M^fr_1(Λ(βΔ)), one of the four varieties whose decompositions are compared.","marker":"[CL22]"},{"why":"Establishes related braid-variety/sheaf isomorphisms and studies cycle deletion, which the paper extends and contrasts with the ruling and Deodhar decompositions.","marker":"[CW24]"},{"why":"Defines the Deodhar decomposition of braid varieties in terms of distinguished sequences; Theorem 1.3 matches that decomposition to the weave decomposition.","marker":"[GLTW24]"},{"why":"Shows normal rulings give a decomposition of moduli spaces of microlocal rank-1 sheaves, the sheaf-side decomposition generalized here to (−1)-closures.","marker":"[STZ17]"},{"why":"Introduces Morse complex sequences, the combinatorial device the paper uses to put rulings and algebraic weaves on the same footing.","marker":"[Hen11]"},{"why":"Introduces Morse complex 2-families, used to prove the direct 'representations are sheaves' comparison that is compatible with the decompositions.","marker":"[RS18]"}],"fun_headline_variants":["Ruling = weave = Deodhar = sheaf: one decomposition","All four decompositions agree on braid and augmentation varieties","Weaves, rulings, Deodhar, sheaves: same decomposition","Four decompositions, one variety: weaves, rulings, Deodhar, sheaves","One decomposition from weaves, rulings, Deodhar, sheaves"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The whole comparison depends on a combinatorial dictionary that pairs every normal ruling of the Legendrian front with a class of simplifying weaves; if that dictionary ever failed, the four decompositions could describe the same underlying variety but be indexed by different pieces.","fun_headline_variants_meta":{"raw":{"variants":["Ruling = weave = Deodhar = sheaf: one decomposition","All four decompositions agree on braid and augmentation varieties","Weaves, rulings, Deodhar, sheaves: same decomposition","Four decompositions, one variety: weaves, rulings, Deodhar, sheaves","One decomposition from weaves, rulings, Deodhar, sheaves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000712,"raw_usage":{"total_tokens":2995,"prompt_tokens":656,"completion_tokens":2339,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":400,"completion_tokens_details":{"reasoning_tokens":2242}},"tokens_in":400,"tokens_out":2339,"duration_ms":16928,"temperature":1.0,"reasoning_tokens":2242,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T15:13:00.361346+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a positive braid β with δ(β)=w0 that is not of the form Δγ, the number and dimensions of the pieces in the ruling decomposition of Aug(Λ(βΔ)) and in the weave decomposition of X(β) by right simplifying weaves; the theorem predicts matching counts with switches corresponding to trivalent vertices and returns (minus the crossings of Δ) corresponding to cups, so any disagreement in the strata or in their point counts over finite fields would falsify it.","supporting_citations":[],"review_version":1}