Pith. sign in

REVIEW 2 major objections 5 minor 27 references

Splicing braid varieties

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every positive braid variety has an open cover by products of two braid varieties.

desk verdict Theorem 1.1 is a genuinely new structural result, but the canonicality of the splicing map (Remark 5.4) is asserted rather than proved and needs to be fixed before publication. read the letter →

arxiv 2505.08211 v1 pith:KB3NRWJO submitted 2025-05-13 math.AG math.CO

Eugene Gorsky , Soyeon Kim , Tonie Scroggin , José Simental This is my paper · ORCID
classification math.AGmath.CO MSC 14M1513F6020F36
keywords braidvarietiessplicingmapsopenRichardsondoubleBott-SamelsonclusteralgebrasDemazureproductflagquasi-clusterisomorphisms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper studies braid varieties $X(\beta)$, affine varieties built from chains of flags whose successive relative positions are prescribed by a positive braid $\beta$. For any factorization $\beta=\beta_1\beta_2$ and any permutation $w$, it defines an open set $U_{r_1,w}\subseteq X(\beta)$ by requiring the $r_1$-th flag to be transverse to a certain coordinate flag, and proves that $U_{r_1,w}$ is isomorphic as an algebraic variety to the product $X(w^{-1}w_0\beta_1)\times X(\beta_2 w)$. For a fixed cutting point $r_1$ these open sets cover $X(\beta)$, so every braid variety can be assembled from simpler pieces. The paper conjectures that the splicing map is compatible with the cluster algebra structure on $X(\beta)$ up to a quasi-cluster isomorphism, and proves the conjecture for double Bott-Samelson varieties. A direct corollary is the frozen-variable inequality $f_1+f_2\geq f$.

What carries the argument

The load-bearing object is the splicing map $\Psi_{r_1,w}$ and its inverse $\Phi_{r_1,w}$, built from a matrix decomposition: a flag transverse to $F(w_0w)$ admits a unique decomposition $M=w_0w L U$ with $L$ lower-unitriangular and $U$ upper-triangular. Sliding $U$ past the remaining braid factors via the braid-matrix commutation rewrites the two halves of the chain in the coordinates of $X(w^{-1}w_0\beta_1)$ and $X(\beta_2 w)$. The Demazure product $\delta$, the permutation obtained by greedily taking longest reduced subwords, controls nonemptiness. The left-to-right inductive Deodhar torus supplies the cluster variables whose freezing defines the spliced open charts in the double Bott-Samelson case.

What would settle it

Compute the two splicing maps for a small braid in $S_4$ with $w=s_1s_2$ using two different reduced expressions for $w_0$ with the same prefix, and check whether the resulting isomorphisms to $X(w^{-1}w_0\beta_1)\times X(\beta_2 w)$ coincide; a mismatch, or a point where the inverse is not defined, would break the canonical statement of Theorem 1.1.

Watch

Extended reading notes

Core claim

The central result, Theorem 1.1, asserts that for every positive braid $\beta$ with a decomposition $\beta=\beta_1\beta_2$ and every $w\in S_k$, the open set $U_{r_1,w}(\beta)\subseteq X(\beta)$ is isomorphic as an algebraic variety to $X(w^{-1}w_0\beta_1)\times X(\beta_2 w)$. The isomorphism is realized by an explicit splicing map: split the flag chain at position $r_1$, translate the two halves by elements that straighten the transverse pair, and insert coordinate flags along a reduced expression for $w_0$ that begins with a reduced expression for $w$. The nonemptiness of $U_{r_1,w}$ is characterized by the Demazure product conditions $\delta(w^{-1}w_0\beta_1)=w_0=\delta(\beta_2 w)$. Specializing to open Richardson varieties yields $U_{u,v,w}\cong R(u,v)\times R(v,w)$, and for double Bott-Samelson varieties the paper proves the full cluster-theoretic version of the conjecture.

Load-bearing premise

The theorem's canonical form depends on the assertion, checked only in principle in Remark 5.4, that the splicing isomorphism is independent of the chosen reduced expression for $w_0$ that starts with a reduced word for $w$; the well-definedness of the inverse is likewise left partly to the reader in Step 3 of Theorem 5.2.

Editorial extensions

If this is right

  • Every braid variety $X(\beta)$ is covered by the open sets $U_{r_1,w}$, each isomorphic to a product of two braid varieties from shorter braids; this yields a recursive way to compute invariants such as the number of frozen cluster variables.
  • The frozen-variable inequality $f_1+f_2\geq f$ follows from Theorem 1.1 together with the fact that invertible functions on a cluster variety are monomials in frozen variables.
  • In the open Richardson case, splicing gives $U_{u,v,w}\cong R(u,v)\times R(v,w)$, and iterating along a maximal chain embeds $(\mathbb{C}^\times)^\ell$ into $R(u,w)$.
  • For double Bott-Samelson varieties $BS(\beta_1\beta_2)$, the paper proves the spliced and product cluster structures are quasi-cluster equivalent, making the splicing map a bona fide cluster quasi-isomorphism in this case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A direct extension: if the independence claim in Remark 5.4 is verified, the splicing construction becomes canonical on the braid monoid rather than on a chosen word, and the same flag-position proof should carry Theorem 1.1 to other Weyl groups.
  • An unstated consequence: because the braid factors on the two sides of (1.1) splice to a braid conjugate to $\beta_1\beta_2$, the isomorphism suggests a geometric realization of the multiplication maps on Khovanov-Rozansky homology, a connection the paper raises as motivation but does not prove.
  • A testable computational extension: in examples such as the braid of Example 5.11, check Conjecture 5.6(1) by factoring the minors that define $U_{r_1,w}$ and testing whether their irreducible factors form a cluster; the example already shows the quasi-isomorphism need not preserve the mutable variables, so the conjecture leaves room for multiple maps.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies braid varieties X(β) for positive braids β in type A. For a decomposition β = β1β2 and a permutation w, it defines an open subset U_{r1,w} of X(β) by the condition that the r1-th flag is transverse to the coordinate flag F(w0w). The central result, Theorem 1.1 (restated as Theorem 5.2), claims an isomorphism Ψ_{r1,w} : X((w^{-1}w0)β1) × X(β2w) → U_{r1,w}, with an explicit coordinate construction of the map and its inverse. For fixed r1, the sets U_{r1,w} cover X(β), and a Demazure-product criterion for nonemptiness is given. The paper then conjectures that this splicing map is compatible with the cluster structures on braid varieties and proves the conjecture in the special cases w = e, w = w0, and for double Bott–Samelson varieties. Applications to open Richardson varieties include an open embedding R(u,v) × R(v,w) → R(u,w) and a formula for the number of frozen variables.

Significance. If the central isomorphism is fully established, it gives a systematic splicing decomposition of braid varieties that unifies earlier positroid and Richardson constructions, yields a cover of X(β) by products of braid varieties, and implies the frozen-variable inequality f1 + f2 ≥ f. The explicit coordinate form of the map is a strength, as is the complete cluster quasi-isomorphism proof in the double Bott–Samelson case. The paper is honest about what is conjectural, and the special cases proved are nontrivial. However, the main theorem currently rests on an unproved independence claim and an inverse construction that is partly deferred, so the central statement is not yet fully documented.

major comments (2)
  1. [Remark 5.4] The claim that Ψ_{r1,w} is independent of the reduced expression (5.2) is asserted with the phrase 'one can check' and no verification is given. The construction in Steps 1–2 of Theorem 5.2 uses the specific suffix a_{ℓ(w)+1},…,a_{ℓ(w0)} of the reduced expression for w0 to define the functions y_L via Lemma 4.9 and the intermediate coordinate flags eF_i of diagram (5.5). If different reduced expressions for w0, or different reduced words for w, produce different maps, then Theorem 1.1 does not define a single map Ψ_{r1,w} but rather a family of maps depending on an auxiliary choice. This is load-bearing for the well-definedness of the main isomorphism. Please provide a complete proof of the claimed independence, or reformulate Theorem 1.1 and Theorem 5.2 so that the chosen reduced expression is part of the data.
  2. [Theorem 5.2, Step 3] The construction of the inverse map is incomplete. After specifying matrices M1 and M2 and the decomposition M2^{-1}M1 = U' w0 V', the proof stops with 'We leave details to the reader.' A complete proof must show that the resulting element g is independent of the auxiliary choices, that translating the flags in diagram (5.14) by g produces coordinate flags of the required form, and that the two resulting tuples lie in X(β2w) and X((w^{-1}w0)β1) respectively. Without this, the well-definedness of Φ_{r1,w}^{-1} is not established, and the two-sided inverse claim in Theorem 5.2 is only partially verified.
minor comments (5)
  1. [Remark 1.2] The assertion that Theorem 1.1 holds in arbitrary type is not proved and is not immediate from the given type-A proof, which uses type-A-specific facts such as Lemma 2.4, Lemma 4.8, and the explicit coordinate flags F(w). Please either add a proof or clearly label this as a conjecture.
  2. [Section 5.1, equations (5.3)–(5.4)] The target of Φ1 is written X(w^{-1}w0β1) in the introduction and X((w^{-1}w0)β1) in Theorem 5.2; please make the parenthesization and order of factors consistent throughout.
  3. [Corollary 5.5] The translation from the Demazure-product condition δ((w^{-1}w0)β1)=w0 to the inequality δ(β1) ≥ w0ww0 is not shown. Since this is a useful nonemptiness criterion, a one-line derivation from Lemma 2.1 would improve readability.
  4. [Remark 5.3] The remark refers to unpublished work [1] for a weighted-flag realization; if this is not available, please either include the needed definitions or state the remark as a sketch.
  5. [Section 6.3] The notation S^{◦,1}_{λ/μ} is used without definition before it is introduced; please define or give a precise reference at first use.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the splicing isomorphism is constructed from flag-variety data and prior published cluster-structure results, not from its own conclusion.

full rationale

The paper's central claim, Theorem 1.1, is a self-contained construction: the open set U_{r1,w} is defined by a transversality condition on the r1-th flag, and the isomorphism with X(w^{-1}w0 beta1) x X(beta2 w) is built explicitly in Steps 1-3 of Theorem 5.2 using flag configurations, braid matrices, and the functions y of Lemma 4.9. No parameter is fitted to the claimed product variety, and the target variety is not used to define the source. The cluster-theoretic conjectures are honestly labeled conjectures; the proven special cases rely on the published cluster structure from [2,12,13,26], which is independent prior support rather than a restatement of this paper's results. The self-citations to [2,12,13,17,26] are load-bearing only in the sense of using established background, and they do not reduce the present claims to their own inputs. Two passages do contain unverified well-definedness statements: Remark 5.4 says 'one can check' that different reduced expressions give essentially the same map, and Step 3 of Theorem 5.2 ends with 'We leave details to the reader' for the inverse map. These are proof-completeness gaps about canonicity, not circularity: they do not assume the theorem being proved, and they could be repaired by explicit verification without changing the construction. The paper also explicitly disclaims identification with the unrelated map of [6] in Remark 5.13. Overall, the derivation chain does not contain a step where a prediction or first-principles result is equivalent by construction to an input.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No fitted numbers or new postulated objects support the central claim. The main external input is the cluster structure on braid varieties from published work [2,12,13] of largely the same author group; this is a domain assumption rather than a free parameter. Standard flag-variety machinery is the other main input.

assumptions (3)
  • domain assumption The Demazure product criterion delta(beta) = w0 can be assumed without loss of generality, by [2, Lemma 3.4].
    Used throughout to ensure X(beta) is nonempty and has the expected dimension; the paper cites the prior result rather than proving it.
  • domain assumption The cluster structure on C[X(beta)] from [2, 12, 13] exists with the stated variables, quiver, local acyclicity, and really-full-rank property.
    Conjecture 5.6 and Lemma 5.7 (implication (3) to (2)) depend on these properties, especially [2, Theorem 7.13] and [2, Corollary 8.5].
  • standard math Standard flag-variety facts: Bruhat decomposition, relative position of flags, and uniqueness of intermediate flags in Lemma 2.2.
    These are invoked in the proof of Theorem 5.2 and in the matrix computations, and are stated with proofs or standard references.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Splicing braid varieties." pith.science (2026). https://pith.science/paper/KB3NRWJO

@misc{pith2026250508211,
  author       = {Pith},
  title        = {Pith review of: Splicing braid varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KB3NRWJO}},
  note         = {Machine review of arXiv:2505.08211}
}
abstract

For a positive braid $\beta \in \mathrm{Br}^{+}_{k}$, we consider the braid variety $X(\beta)$. We define a family of open sets $\mathcal{U}_{r, w}$ in $X(\beta)$, where $w \in S_k$ is a permutation and $r$ is a positive integer no greater than the length of $\beta$. For fixed $r$, the sets $\mathcal{U}_{r, w}$ form an open cover of $X(\beta)$. We conjecture that $\mathcal{U}_{r,w}$ is given by the nonvanishing of some cluster variables in a single cluster for the cluster structure on $\mathbb{C}[X(\beta)]$ and that $\mathcal{U}_{r,w}$ admits a cluster structure given by freezing these variables. Moreover, we show that $\mathcal{U}_{r, w}$ is always isomorphic to the product of two braid varieties, and we conjecture that this isomorphism is quasi-cluster. In some important special cases, we are able to prove our conjectures.

Figures

Figures reproduced from arXiv: 2505.08211 by the authors.

Figure 1
Figure 1. The left-to-right inductive weave for the braid β = σ2σ1σ3σ2σ2σ3σ1σ2σ2σ1σ3σ2. Taking r1 = 9, the part of the weave above the dotted line is an inductive weave for β 1 , while the part of the weave below the dotted line is an inductive weave for w0β 2 , and the braid vari￾eties X(w0β 2 ) and X(β 2w0) are cluster quasi-isomorphic. Now let us take r = 11. The flag F 11 is associated to the matrix Bβ11 (z1, . . . , z11)… view at source ↗
Figure 2
Figure 2. The monomial mr1+6 equals  u (1) 3 u (1) 5 u (1) 1 −1 [PITH_FULL_IMAGE:figures/full_fig_p038_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 17 canonical work pages

  1. [1]

    Comparing braid variety cluster structures, In preparation

    Roger Casals, Pavel Galashin, Mikhail Gorsky, Linhui Shen, Melissa Sherman-Bennett, and Jos´ e Simental. Comparing braid variety cluster structures, In preparation

  2. [2]

    Cluster structures on braid varieties

    Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos´ e Simental. Cluster structures on braid varieties. J. Amer. Math. Soc. , 38(2):369–479, 2025

    2025

  3. [3]

    Positroid links and braid varieties

    Roger Casals, Eugene Gorsky, Mikhail Gorsky, and Jos´ e Simental. Positroid links and braid varieties. arXiv preprint arXiv:2105.13948 , 2021

    arXiv 2021

  4. [4]

    Algebraic weaves and braid varieties

    Roger Casals, Eugene Gorsky, Mikhail Gorsky, and Jos´ e Simental. Algebraic weaves and braid varieties. Amer. J. Math. , 146(6):1469–1576, 2024

    work page 2024

  5. [5]

    Cluster deep loci and mirror symmetry

    Marco Castronovo, Mikhail Gorsky, Jos´ e Simental, and David E Speyer. Cluster deep loci and mirror symmetry. arXiv preprint arXiv:2402.16970 , 2024

    arXiv 2024

  6. [6]

    Standard Extension Algebras I: Perverse Sheaves and Fukaya Calculus

    Jens Niklas Eberhardt and Catharina Stroppel. Standard Extension Algebras I: Perverse Sheaves and Fukaya Calculus. arXiv preprint arXiv:2310.09206 , 2023

    arXiv 2023

  7. [7]

    Bott-Samelson varieties and Poisson Ore extensions

    Bal´ azs Elek and Jiang-Hua Lu. Bott-Samelson varieties and Poisson Ore extensions. Int. Math. Res. Not. IMRN , (14):10745–10797, 2021

    work page 2021

  8. [8]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I. Foundations. J. Amer. Math. Soc. , 15(2):497–529, 2002

    work page 2002

Show all 27 references
  1. [9]

    Quasi-homomorphisms of cluster algebras

    Chris Fraser. Quasi-homomorphisms of cluster algebras. Adv. in Appl. Math. , 81:40–77, 2016

    2016

  2. [10]

    Positroid cluster structures from relabeled plabic graphs

    Chris Fraser and Melissa Sherman-Bennett. Positroid cluster structures from relabeled plabic graphs. Algebraic Combinatorics, 5(3):469–513, 2022

    2022

  3. [11]

    Positroids, knots, andq,t -Catalan numbers

    Pavel Galashin and Thomas Lam. Positroids, knots, andq,t -Catalan numbers. Duke Mathematical Journal, 173(11):2117–2195, 2024

    2024

  4. [12]

    Braid variety cluster structures,II: general type

    Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett. Braid variety cluster structures,II: general type. arXiv preprint arXiv:2301.07268 , 2023

    2023

  5. [13]

    Braid variety cluster structures, I: 3D plabic graphs

    Pavel Galashin, Thomas Lam, Melissa Sherman-Bennett, and David Speyer. Braid variety cluster structures, I: 3D plabic graphs. arXiv preprint arXiv:2210.04778 , 2022

    2022 arXiv

  6. [14]

    Factorial cluster algebras

    Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer. Factorial cluster algebras. Doc. Math., 18:249– 274, 2013

    2013

  7. [15]

    K. R. Goodearl and M. T. Yakimov. Cluster algebra structures on Poisson nilpotent algebras. Mem. Amer. Math. Soc. , 290(1445):v+100, 2023

    2023

  8. [16]

    Hilbert schemes andy–ification of Khovanov–Rozansky homology

    Eugene Gorsky and Matthew Hogancamp. Hilbert schemes andy–ification of Khovanov–Rozansky homology. Geometry & Topology, 26(2):587–678, 2022

    2022

  9. [17]

    Splicing skew shaped positroids

    Eugene Gorsky, Soyeon Kim, Tonie Scroggin, and Jos´ e Simental. Splicing skew shaped positroids. arXiv preprint arXiv:2503.04923 , 2025. 44 E. GORSKY, S. KIM, T. SCROGGIN, AND J. SIMENTAL

    2025 arXiv

  10. [18]

    Splicing positroid varieties

    Eugene Gorsky and Tonie Scroggin. Splicing positroid varieties. arXiv preprint arXiv:2405.15112 , 2024

    2024 arXiv

  11. [19]

    Cluster Algebras of Open Richardson Varieties

    Grace Ingermanson. Cluster Algebras of Open Richardson Varieties . ProQuest LLC, Ann Arbor, MI, 2019. Thesis (Ph.D.)–University of Michigan

    2019

  12. [20]

    Soyeon Kim, In preparation

  13. [21]

    Thomas Lam and David E. Speyer. Cohomology of cluster varieties I: Locally acyclic case. Algebra Number Theory, 16(1):179–230, 2022

    2022

  14. [22]

    Dimer face polynomials in knot theory and cluster algebras

    Karola M´ esz´ aros, Gregg Musiker, Melissa Sherman-Bennett, and Alexander Vidinas. Dimer face polynomials in knot theory and cluster algebras. arXiv preprint arXiv:2408.11156 , 2024

    2024 arXiv

  15. [23]

    Locally acyclic cluster algebras

    Greg Muller. Locally acyclic cluster algebras. Adv. Math., 233:207–247, 2013

    2013

  16. [24]

    A combinatorial formula for the coefficient ofq in Kazhdan-Lusztig polynomials

    Leonardo Patimo. A combinatorial formula for the coefficient ofq in Kazhdan-Lusztig polynomials. Int. Math. Res. Not. IMRN , (5):3203–3223, 2021

    2021

  17. [25]

    On the cohomology of two stranded braid varieties

    Tonie Scroggin. On the cohomology of two stranded braid varieties. arXiv preprint arXiv:2312.03283, 2023

    2023 arXiv

  18. [26]

    Cluster structures on double Bott-Samelson cells

    Linhui Shen and Daping Weng. Cluster structures on double Bott-Samelson cells. Forum Math. Sigma, 9:Paper No. e66, 89, 2021

    2021

  19. [27]

    From the Hecke category to the unipotent locus, 2021

    Minh-Tˆ am Quang Trinh. From the Hecke category to the unipotent locus, 2021. Department of Mathematics, University of California Davis, One Shields Avenue, Davis CA 95616 Email address : egorskiy@ucdavis.edu Department of Mathematics, University of California Davis, One Shiel...

    2021

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.