{"id":"f95bdb33-7e79-4b9b-b80b-858cebee00a8","arxiv_id":"2505.17901","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors construct cluster structures on sheaf moduli of twist-spun Legendrian surfaces and use them to produce new exact Lagrangian fillings and obstructions in contact R^5.","lead":"This mathematics paper studies surfaces called Legendrians in five-dimensional contact space, built from simpler Legendrian knots by two constructions: doubling and twist spinning. It shows that cluster theory, a branch of algebra, can count and distinguish exact Lagrangian fillings of these surfaces, and it gives new examples of surfaces with infinitely many fillings and others with none.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 6.3 identifies the twist-spun sheaf moduli with M1(λ)^G × C*, but its proof assumes sheaves propagate in the S1 direction without checking the front variation; every twist-spun cluster result in Theorem 1.13 inherits this unverified identification.","rationale":"The paper's strongest claim, Theorem 1.13, is conditional on a globally foldable cluster structure and a φ-fixed filling, but its conclusion concerns the sheaf moduli of the twist-spun. Proposition 6.3 is the exact point where the twist-spun moduli is related to the original link moduli; without it, the folding construction has no target space. The reader's weakest assumption identifies precisely this step, and I agree. What makes the concern load-bearing is that the proof's local-model claim ('propagate in the S1 direction') is not justified for nonconstant loops, where the front family varies. This is a correctness risk in the transfer of the cluster ensemble, not merely a stylistic gap. The global foldability hypothesis is also nontrivial and not verified fully in the applications, but it is part of the theorem's explicit hypothesis; the more fundamental geometric identification in Proposition 6.3 is what the theorem and its applications both presuppose. The proposed finite-field computation would settle whether the identification holds in a nontrivial case without relying on the same front-projection argument. The paper is otherwise substantial and the conditional framework is plausible; the reader's CONDITIONAL verdict remains appropriate pending this check.","tokens_in":40960,"tokens_out":18831,"duration_ms":173261,"concrete_test":"Compute both sides of Proposition 6.3 for a concrete nontrivial example, e.g. λ = λ(2,5) with the Kálmán loop ρ: the right-hand side is the cyclic-shift fixed locus of the top positroid cell of Gr(2,5) times C*, whose point count over F_q can be computed from Karp's fixed-point formula; the left-hand side can be computed directly from the front projection of the twist-spun using the microlocal rank-one flag conditions, and the counts compared for q = 2, 3, 5, 7. If the counts differ by more than the predicted (q−1) factor, Proposition 6.3 fails; if they match, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central transfer step is Proposition 6.3: M1(Σφ(λ),τ) ≅ M1(λ,T)^G × C*. The proof in §6.1 claims that a sheaf F on R^2 × S^1 with SS(F) ⊆ Σφ(λ) 'needs to propagate in the S1 (co)direction', giving F_{x,t−ε} ≅ F_{x,t}, and that locally the front is Π(λ) × [−ε,ε]. But for a genuine Legendrian loop φ the front slices λ_θ move as θ varies, so the singular support can contain nonzero p_θ components along the moving front; the sheaf is not obviously locally constant in θ. The argument as written therefore only covers the product case φ = id. If the fixed-locus/C* splitting is instead correct in general, an independent proof is needed, because the cluster structures of §6.3 are built by folding the G-action on M(λ,T) and then identifying the resulting folded tori with the fixed locus via the homology computation of §6.3.1. An extra twist or a non-split extension in Proposition 6.3 would place those folded charts on the wrong moduli space. The paper offers no independent check of this identification through a different invariant.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Legendrian surfaces in standard contact R^5 obtained from a Legendrian link λ in R^3 by two constructions: the Legendrian double Λ(L1,L2) of two exact Lagrangian fillings of λ, and the twist-spun Σ_φ(λ) associated to a Legendrian loop φ of λ. For doubles, it proves an obstruction to exact fillability when the two fillings induce distinct toric charts in the sheaf moduli M1(λ) (Theorem 1.1), an isotopy classification of symmetric doubles as connected sums of standard tori (Theorem 1.3), and a decomposition criterion for doubles obtained by mutating simultaneously simplifiable cycles (Theorem 1.4). For twist-spuns, the paper proposes a cluster ensemble structure on the sheaf moduli M(Σ_φ(λ)) and M1(Σ_φ(λ)) by folding a globally foldable cluster structure on M(λ) under the finite group G generated by φ (Theorem 1.13), and derives applications: infinite families of exact fillings of certain twist-spuns (Theorem 1.11), lower bounds on filling counts for λ(2,n) (Theorem 1.12), and non-fillability obstructions based on absence of rational points (Theorem 1.17).","tokens_in":41217,"tokens_out":17038,"duration_ms":134697,"significance":"If the central cluster-structure result is valid, it would provide the first cluster structures on sheaf moduli of Legendrian surfaces in dimension five with every seed induced by an embedded exact filling, and it would give new constructions and obstructions for twist-spun Legendrians. The paper also introduces useful notions such as mutation distance and solid mutation configurations, and it contains substantial combinatorial analysis of doubles of torus-link fillings, including potential counterexamples to the Treumann–Zaslow chromatic-polynomial conjecture. However, the proof of the key transfer step for twist-spuns, Proposition 6.3, is not carried out in the stated generality, and the applications inherit this gap; a rigorous proof of that identification, or an independent check, is needed for the main theorem to stand.","major_comments":[{"comment":"The proof claims that a sheaf with singular support in Σ_φ(λ) must propagate in the S^1 direction, i.e. that stalks at (x,t−ε) and (x,t) are isomorphic, because the front is locally Π(λ)×[−ε,ε]. For a genuine Legendrian loop φ, the front slices λ_θ move as θ varies, so the trace front is not locally a product and the conormal to the moving front can have a nonzero p_θ component. The argument as written therefore establishes the identification M1(Σ_φ(λ),τ) ≅ M1(λ,T)^G × C* only in the product case φ = id. Since Proposition 6.3 is used to transfer cluster structures to twist-spuns in the proof of Theorem 6.16 and in Theorems 6.17 and 6.22, this is a load-bearing gap. A proof via sheaf quantization of the Legendrian isotopy (GKS) or an independent verification of the fixed-locus/C*-splitting is required.","section":"6.1, Proposition 6.3"},{"comment":"Even assuming Proposition 6.3, the proof does not show that the folded cluster variables arising from the weighted quiver Q^G_L generate the full coordinate ring C[M(Σ_φ(λ),τ)]. The map Φ is described as 'taking G-invariance', but no argument is given that the invariant subring of the Casals–Weng cluster algebra on M(λ,T) is precisely the folded cluster algebra, nor that the latter is exactly the ring of regular functions on the G-fixed locus. Without such a generation statement, Theorem 1.13 does not establish a cluster ensemble structure on the moduli of the twist-spun; the paper would need to prove that the folded seeds cover the fixed locus and that the resulting cluster algebra coincides with the coordinate ring.","section":"6.3.3, proof of Theorem 6.16"},{"comment":"The rational-point obstruction is not justified in the text. The proof only computes Plücker ratios for the real fixed points of the cyclic shift action (ζ_2 = ζ_1^{-1} for k = 2 and ζ_3 = 1 for k = 3), not for all fixed points appearing in Karp's classification in Theorem 6.20. Moreover, an exact Lagrangian filling would yield a complex point of the complex moduli space; to obstruct fillings by absence of rational points one must specify a Q-structure on the moduli space and show that no Q-point exists, not merely that a particular real fixed point has irrational coordinate ratios. As written, the argument does not rule out other fixed points over Q or other complex points, so Theorem 1.17 is not established.","section":"6.4.2, Theorem 6.22"}],"minor_comments":[{"comment":"The sentence 'after choosing the right D^2 ⊂ R^5' should be clarified (likely D^4 or the symplectic ball); the satellite construction is described informally.","section":"2.2, Proposition 2.7 proof"},{"comment":"The notation τ = {t_1 ×_φ S^1, ...} is used before the fiberwise construction for marked circles is defined; please define this explicitly.","section":"6.1, first paragraph"},{"comment":"The application of Lemma 4.4 is terse: it should be stated explicitly that the embedding (C*)^{b1(L)} → M1(Λ(L1,L2)) composed with the inclusion C1∩C2 → C1 is an open embedding of a torus into a torus, so that the lemma applies.","section":"4.1, proof of Theorem 4.3"},{"comment":"The column H/⟨φ⟩H contains entries such as 'Mod(S2,4) ⋊ Z2'; please define the notation and provide a reference for these group descriptions.","section":"Table 1"},{"comment":"The paper cites [STT88] for the statement that for n ≥ 9 there are fillings with n < d_μ(L1,L2) ≤ 2n−6; please state the precise rotation-distance theorem being used.","section":"5.2, use of [STT88]"},{"comment":"There are several typos and notation inconsistencies, e.g. 'Grassmanians' in the abstract, nonstandard accents in 'Kálmán', and the phrase 'the Demazure product of β = ∆' in §4.2 is ambiguous.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the first author's earlier work [Hug23, Hug24] for symmetric weaves, group actions, and cluster modular groups; I did not verify those citations in detail. The central gap in Proposition 6.3 is concerning because the statement is plausible but the supplied proof is a front-projection heuristic that appears to fail for non-product loops. If the authors can supply a rigorous sheaf-quantization proof of Proposition 6.3 and a generation statement for the folded cluster algebra, the main theorems would be significant. The rational-point argument in Theorem 6.22 also needs substantial revision. I recommend major revision rather than rejection, as the gaps seem potentially fixable within the paper's framework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read of 2505.17901. It's a very interesting paper that introduces two genuinely new mechanisms — mutation distance for distinguishing Legendrian doubles, and folding of cluster structures for twist-spuns — but as it stands, both central arguments have a gap. I don't think the main theorems are proved yet, but the paper deserves a serious referee and, if the authors close the gaps, it will be an important contribution.\n\nThe good parts: the combinatorial work is solid and well motivated. The notion of mutation distance (Definition 5.7) and the criterion in Theorem 5.12 giving a lower bound for non-decomposability of doubles are clean and useful. The chromatic polynomial computations for cubic planar doubles are nice, and they lead to a genuinely interesting question about the Treumann–Zaslow conjecture. The Karp fixed-point analysis in Section 6.4.2 is a good idea and correctly obstructs fillability in the stated numerical cases. The writing is clear, and the authors are transparent about what is new and what is cited.\n\nNow the soft spots, both of which are load-bearing. First, Theorem 4.3. The proof uses Lemma 4.4 to claim that an embedding of a torus of the same rank into each toric chart must be an isomorphism. But the induced map from (C*)^r into C1 is only known to be injective and same-dimensional; that does not make it an open embedding. Distinct cluster charts can intersect in a full-dimensional torus without being equal. So the argument does not rule out an exact filling of an asymmetric double. The result might be true, but it needs a different proof.\n\nSecond, Proposition 6.3. The proof that M1(Σφ(λ)) ≅ M1(λ)^G × C* assumes the front of the twist-spun is locally Π(λ) × [−ε, ε], which only holds for the identity loop. For a genuine Legendrian loop, the front slices move, and the sheaf need not be locally constant in the S1 direction. The identification is the foundation for Theorem 1.13 and all the twist-spun cluster results (Theorems 1.11, 1.12, and the obstruction in 6.22). Without an independent check, those results currently rest on an unverified step.\n\nThis paper is for people working in microlocal sheaf theory and cluster algebras, and it raises questions that will interest the wider symplectic topology community. Send it to peer review: a good referee can help pin down what is needed to fill the gaps. But I would not cite the main theorems as proved until those gaps are addressed.","headline":"Two genuinely promising constructions, but both central proofs have gaps that need closing before the main theorems can be taken as proved.","tokens_in":41765,"tokens_out":3357,"would_cite":false,"duration_ms":40087,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D12","53D10","13F60","14M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Twist-spun Legendrians from braid-positive links carry cluster ensembles whose seeds are all geometric.","keywords":["Legendrian surfaces","exact Lagrangian fillings","cluster algebras","sheaf moduli","twist spuns","Legendrian doubles","microlocal sheaves","Grassmannian fixed points"],"falsifier":"Independently compute the microlocal rank-one sheaf moduli of a small twist-spun, such as $\\Sigma_\\rho(\\lambda(2,3))$, by enumerating the constructible sheaves on its front stratification and compare the result with the $G$-invariant locus of $\\mathcal{M}_1(\\lambda(2,3))\\times\\mathbb{C}^*$; any mismatch in the fixed points, in the rank of the $\\mathbb{C}^*$ factor, or in the singular-support conditions would falsify the identification and hence the folded cluster structure.","tokens_in":40745,"feed_emoji":"🌀","tokens_out":7307,"duration_ms":53910,"temperature":0.7,"pith_summary":"The paper establishes that cluster-algebra techniques, previously successful for Legendrian links in $\\mathbb{R}^3$, lift to Legendrian surfaces in $\\mathbb{R}^5$ built by doubling fillings or twist-spinning along Legendrian loops. For doubles, it shows the sheaf moduli is the intersection of the two toric charts carried by the constituent fillings, so an asymmetric double cannot be exactly filled whenever the two charts are distinct. For twist-spuns, it shows that under a global foldability condition the sheaf moduli of the surface forms a skew-symmetrizable cluster ensemble, and every cluster seed is induced by an embedded exact Lagrangian filling. This gives infinite families of exact fillings of certain twist-spun tori, exact counts for the $(2,n)$ family, and fillability obstructions from rational fixed points.","feed_headline":"Twist-spun Legendrian surfaces get cluster structures","feed_subtitle":"For braid-positive links, every cluster seed on the twist-spun comes from an embedded exact filling.","key_machinery":"The central object is the moduli space $\\mathcal{M}_1(\\Lambda)$ of microlocal rank-one sheaves with singular support on a Legendrian $\\Lambda$, a constructible-sheaf invariant that carries cluster coordinates for braid-positive links. The transfer to twist-spuns is carried by three mechanisms: the identification of the twist-spun moduli with the $G$-invariant locus times $\\mathbb{C}^*$, the folding construction that quotients a cluster algebra by a finite group of cluster automorphisms, and solid mutation configurations in the $3$-manifold filling $L\\times_\\varphi S^1$, which turn each folded mutation into an explicit Lagrangian surgery.","core_discovery":"The central claim is Theorem 1.13: if $\\lambda$ is a braid-positive Legendrian link whose decorated sheaf moduli $\\mathcal{M}(\\lambda,T)$ is a globally foldable cluster algebra with respect to the finite group $G$ generated by a Legendrian loop $\\varphi$, and if $L$ is a $\\varphi$-fixed exact filling carrying a maximal collection of $L$-compressing cycles, then the moduli stacks $\\mathcal{M}(\\Sigma_\\varphi(\\lambda,T))$ and $\\mathcal{M}_1(\\Sigma_\\varphi(\\lambda,T))$ of the twist-spun surface form a cluster ensemble in which every cluster chart comes from an embedded exact Lagrangian filling. The transfer rests on identifying the twist-spun's sheaf moduli with the $G$-invariant part of the link's sheaf moduli up to a $\\mathbb{C}^*$ factor, and on a higher-dimensional Lagrangian surgery that realizes folded mutations geometrically. For doubles, the parallel result is that $\\mathcal{M}_1(\\Lambda(L_1,L_2))$ equals the intersection $C_{L_1}\\cap C_{L_2}$ of the two filling charts, which obstructs exact fillability when the charts are distinct and characterizes the symmetric double as a connect sum of standard tori.","pith_inferences":["One can use the folding mechanism as a classification tool: finiteness or infiniteness of the folded cluster algebra should predict whether the corresponding twist-spun has finitely or infinitely many embedded exact fillings, extending the paper's ADE-style conjecture beyond the $(2,n)$ family.","The four-color-theorem reformulation in the paper suggests a concrete finite-field test: checking that any two toric charts on $\\mathcal{M}_1(\\lambda(2,n))$ intersect over $\\mathbb{F}_3$ for larger $n$ would confirm the cluster-geometric picture and connect it to planar graph coloring.","The mutation-distance obstruction for doubles leaves open a sharper statement: if mutation distance is not a complete isotopy invariant, different minimal mutation sequences between the same two fillings might produce non-isotopic doubles, which could be tested by comparing chromatic polynomials of the corresponding cubic planar graphs."],"forward_implications":["If the twist-spun cluster ensemble exists as stated, then $\\Sigma_{\\rho^3}(\\lambda(3,6))$ and $\\Sigma_{\\rho^4}(\\lambda(4,4))$ admit infinitely many embedded exact Lagrangian fillings.","For $\\Sigma_{\\rho^k}(\\lambda(2,n))$, there are at least $f(k)$ fillings, matching the number of seeds in the folded cluster algebra, and the paper conjectures this count is exact.","A double $\\Lambda(L_1,L_2)$ built from fillings inducing distinct toric charts admits no embedded exact Lagrangian filling, though the double is non-loose.","When two trivalent-graph fillings of $\\lambda(2,n)$ have algebraic mutation distance at least $n$, their double is not a connect sum of standard and Clifford tori.","Certain twist-spuns $\\Sigma_{\\rho^\\ell}(\\lambda(2,n-2))$ and $\\Sigma_{\\rho^\\ell}(\\lambda(3,n-3))$ have no exact Lagrangian fillings, because their sheaf moduli have no rational points."],"supporting_citations":[{"why":"Establishes the cluster $A$ structure on decorated sheaf moduli of grid-plabic (braid-positive) Legendrian links, the input used for folding.","marker":"[CW24]"},{"why":"Shows every cluster seed in the link's cluster algebra is realized by an embedded exact Lagrangian filling, used to conclude all twist-spun seeds are geometric.","marker":"[CG24]"},{"why":"Provides the theorem that exact Lagrangian fillings induce embedded algebraic tori in sheaf moduli, the basis for filling obstructions and toric chart embeddings.","marker":"[JT24]"},{"why":"Computes the sheaf category of a Legendrian double as a homotopy pullback, yielding the intersection-of-charts formula for doubles.","marker":"[Li23]"},{"why":"Supplies the Legendrian weave calculus, $N$-graph moves, and surgery descriptions used to manipulate doubles and fillings.","marker":"[CZ22]"},{"why":"Gives the loop actions, cluster modular groups, and foldability data for the specific torus-link families.","marker":"[Hug24]"},{"why":"Classifies fixed points of the cyclic shift on Grassmannians, which the paper uses to obstruct fillability of twist-spuns.","marker":"[Kar19]"},{"why":"Relates the sheaf moduli of cubic planar Legendrians to chromatic polynomials, the invariant used for double classification.","marker":"[TZ18]"}],"fun_headline_variants":["Twist-spun Legendrians: cluster seeds from fillings","Cluster charts of twist-spuns come from exact fillings","Doubles obstruct fillings when charts differ","Folding builds cluster structures on twist-spuns"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The twist-spun story stands on the claim that sheaves on the twist-spun are exactly sheaves on the link fixed by the loop, with one extra circle-valued degree of freedom; if that identification is off, the folded cluster structure describes the wrong moduli space.","fun_headline_variants_meta":{"raw":{"variants":["Twist-spun Legendrians: cluster seeds from fillings","Cluster charts of twist-spuns come from exact fillings","Doubles obstruct fillings when charts differ","Folding builds cluster structures on twist-spuns"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1462,"prompt_tokens":1050,"completion_tokens":412,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":666,"completion_tokens_details":{"reasoning_tokens":349}},"tokens_in":666,"tokens_out":412,"duration_ms":3342,"temperature":1.0,"reasoning_tokens":349,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:39:24.574701+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently compute the microlocal rank-one sheaf moduli of a small twist-spun, such as $\\Sigma_\\rho(\\lambda(2,3))$, by enumerating the constructible sheaves on its front stratification and compare the result with the $G$-invariant locus of $\\mathcal{M}_1(\\lambda(2,3))\\times\\mathbb{C}^*$; any mismatch in the fixed points, in the rank of the $\\mathbb{C}^*$ factor, or in the singular-support conditions would falsify the identification and hence the folded cluster structure.","supporting_citations":[],"review_version":1}