{"id":"3218c632-654c-41c2-a7fb-d63f7dc5fcfd","arxiv_id":"2509.05856","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Isomorphisms in the Fukaya category of a Weinstein manifold with vanishing first Chern class automatically have trivial Whitehead torsion, so isomorphic Lagrangians are simple homotopy equivalent.","lead":"This math paper builds a framework for detecting simple homotopy type inside Fukaya categories, using the fundamental group of the symplectic manifold. It proves that isomorphic Lagrangians in a Weinstein manifold with vanishing first Chern class are simple homotopy equivalent under mild conditions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.28 rests on an unproved compactly-supported Giroux–Pardon deformation; if the Weinstein deformation moves the ends, F(X)-isomorphism does not transfer to F(π), so automatic simplicity fails.","rationale":"The reader's conditional verdict identifies exactly the same load-bearing assumption: the compactly supported Giroux–Pardon deformation asserted in Section 4.3. After reading the proof of Theorem 4.28, I find no internal inconsistency in the algebraic framework (Whitehead torsion of CF^*, simple generators, automatic simplicity): those parts are coherent and the filtration arguments are reasonable provided the relevant chain complexes are finite rank. The unconditional core—defining CF^*(K,L) over Zπ1(X), invariance under compactly supported isotopies, and the simple-categorical formalism—has independent value and is not affected by the geometric transfer issue. But the bridge from F(X) to F(π) is the place where the central claim is least secure. If the Stein deformation can be made compactly supported, Theorem 4.28 follows from the rest of the paper (modulo the unpublished [BS]/[PS] citations, which the reader already notes). If it cannot, the theorem as stated is unproved: the isomorphism class of K,L in F(X) need not be preserved under a noncompact Weinstein deformation, and the simplicity conclusion for the original pair would not follow from simple generation of F(π). This is a correctness risk, not a disagreement with consensus or an artifact of presentation. I therefore do not change the verdict: CONDITIONAL remains the right assessment, because the paper has a coherent framework and a plausible but unverified geometric input. The concrete test (checking whether [GP17] can be refined to compact support) would settle the issue, or force an explicit weakening of the theorem.","tokens_in":59986,"tokens_out":10006,"duration_ms":96870,"concrete_test":"Ask the author to write out the Giroux–Pardon construction in the standard-at-infinity case and verify whether the Stein deformation and the resulting Lefschetz fibration are compactly supported with respect to a prescribed large Liouville subdomain containing K and L. Concretely, track the quantitative transversality argument in [GP17, Theorem 1.5] to see whether the plurisubharmonic function can be fixed outside that subdomain; if it cannot, Theorem 4.28 should be weakened to a statement about Weinstein homotopy-invariant versions of the Fukaya category, or the compact-support hypothesis added explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 4.28 (Section 4.3), the exact symplectomorphism φ:X→X' is asserted to be identity outside a compact set, citing [CE, Proposition 11.8] and [GP17, Theorem 1.5]. The first citation covers Liouville homotopies of Weinstein structures; the second is a claim about Lefschetz fibrations on Stein/Weinstein domains and, as stated, does not give a compactly supported Stein deformation. The sentence 'the Stein deformation can also be chosen to be compactly supported' is a new assertion with no proof. This matters because automatic simplicity (Propositions 4.19 and 4.27) is established in the admissible category F(π) of the Lefschetz fibration, not in the original compact Fukaya category F(X). If φ is not compactly supported, the image Lagrangians φ(K), φ(L) are in a different Liouville completion with a different cylindrical end, and an isomorphism in F(X) need not become an isomorphism in F(π); the simple isomorphism conclusion for K,L in F(X) therefore does not follow. The same step is used in all applications (Theorems 5.1, 5.7, 5.12), so the gap is load-bearing rather than cosmetic. A secondary point: the proof also assumes without details that F(π) is chain-level proper and that closed exact Lagrangians are admissible objects there; these points should be made explicit if the deformation claim is repaired.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a categorical framework for simple homotopy theory in Fukaya categories. It introduces the A∞-bimodule CF*(K,L) with Zπ1(X)-coefficients, defines 'simply acyclic' objects and 'simple isomorphisms' in the category Tw^Ch F, and proves an automatic simplicity lemma (Prop 4.19) under the existence of simply connected simple generators. The main theorem (Thm 4.28) asserts that for a Weinstein manifold X with c1(X)=0, any isomorphism in the compact Fukaya category F(X) between two closed exact Maslov-zero Lagrangian branes is automatically simple. The proof transfers the problem to the Fukaya category F(π) of a Lefschetz fibration obtained from a Giroux–Pardon deformation, using Prop 4.27 (simple generation by Lefschetz thimbles). The paper then derives applications to cotangent bundles of lens spaces, Weinstein 1-handle connect sums, and simple homotopy equivalence of isomorphic closed Lagrangians.","tokens_in":60314,"tokens_out":7255,"duration_ms":59824,"significance":"If the main theorem holds, the framework is a valuable contribution: it gives a categorical refinement of Whitehead torsion and extends the Abouzaid–Kragh simple-homotopy result from cotangent bundles to general Weinstein manifolds with vanishing c1. The algebraic core is well structured; the torsion lemmas 2.17–2.19 are clean and the automatic simplicity lemma 4.19 is elegant. The applications, especially the lens-space obstruction in Theorem 5.2, are concrete and falsifiable. However, the central geometric transfer (compactly-supported Giroux–Pardon deformation) is not established in the manuscript, and Prop 4.27 relies on an unpublished manuscript; these are load-bearing gaps. The paper is not yet at the standard of a definitive proof, but the framework and algebraic results are likely to be useful.","major_comments":[{"comment":"The proof asserts that the Giroux–Pardon deformation can be chosen compactly supported: specifically, the sentence 'In our case, where the Weinstein structure is standard at infinity, the Stein deformation can also be chosen to be compactly supported' is given without proof. The citations [CE, Proposition 11.8] and [GP17, Theorem 1.5] do not, as stated, establish this; the former covers Liouville homotopies of Weinstein structures and the latter constructs a Lefschetz fibration on a Weinstein domain. This is load-bearing because automatic simplicity (Propositions 4.19 and 4.27) is proved in the admissible category F(π), not in F(X); if the exact symplectomorphism φ: X → X' is not identity outside a compact set, an isomorphism in F(X) need not become an isomorphism in F(π), and the simple-isomorphism conclusion for K,L in F(X) does not follow. The same transfer is used in Theorems 5.1, 5.7 and 5.12, so the gap affects all main applications. The author should either prove the compactly supported deformation claim or supply a precise reference, and should explain how K,L are regarded as objects of F(π) (including admissibility and properness).","section":"Section 4.3, proof of Theorem 4.28"},{"comment":"The proof of simple generation of F(π) by Lefschetz thimbles adapts the unpublished manuscript [BS]. Several steps are asserted rather than proved, in particular the claim that all pseudoholomorphic curves contributing to CF*(T_S1...T_Sm N,N') are entirely supported within the first branch, used to identify this complex with CF*(T_B1...T_Bm L,L'). Since this proposition is the key generation input for automatic simplicity (Proposition 4.19), the proof as written is not self-contained. If [BS] remains unpublished, the author should either include the full argument or extract the specific statements being used and prove them here.","section":"Section 4.3, Proposition 4.27"},{"comment":"The proof of Theorem 4.28 also assumes without argument that the Fukaya category F(π) of the Lefschetz fibration is chain-level proper, so that Whitehead torsion is defined, and that closed exact Lagrangians in X' define admissible objects of F(π). These points are necessary for the isomorphism in F(X) to be transported to a simple isomorphism in F(π) and for the torsion computations to make sense; they should be stated and justified explicitly, even if the compactly supported deformation claim is repaired.","section":"Sections 4.2–4.3, transfer to F(π)"}],"minor_comments":[{"comment":"The text reads 'By Proposition 4.28, this isomorphism will be simple', but there is no Proposition 4.28; the reference should be to Theorem 4.28.","section":"Section 5.2, proof of Theorem 5.2"},{"comment":"The notation in equations (2.44)–(2.45) and in the proof of Theorem 5.1 is inconsistent: the condition should be q' ≡ ±q±1 (mod p) as stated in Theorem 2.24(2), but the proof uses r' = ±r±1 without defining the relation between r and q clearly; please align the notation.","section":"Section 2.3 and Theorem 5.1"},{"comment":"There are several typographical and citation errors: in the reference [CE] the publisher appears as 'Amre. Math. Soc.'; the author name 'Karabas–Lee' is written with inconsistent hyphenation; and the numbering 'Proposition 4.28' is used where 'Theorem 4.28' is meant. These should be corrected uniformly.","section":"References and typos"}],"recommendation":"major_revision","confidential_remarks":"Editor: The decisive issue is the compactly supported Giroux–Pardon deformation. If the author can supply a complete proof, the central theorem would be established; otherwise the main result reduces to a conditional statement. The manuscript also relies on unpublished work ([BS], [PS]) for key structural steps, which should be resolved before acceptance. The algebraic framework itself is solid and likely publishable in some form, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the paper has a genuinely new idea: define simple analogues of acyclicity, generation, and isomorphism using Whitehead torsion of the Zπ1(X)-valued bimodule CF*(K,L), and prove an automatic simplicity lemma: if the category has simply-connected simple generators, every isomorphism is simple. That is the right conceptual frame, and it is likely to be reused. Second, the main theorem (4.28) is in real doubt as written, not because the categorical machine is wrong but because the bridge from F(X) to F(π) uses an unproved geometric assertion.\n\nThe paper does several things well. The algebraic torsion lemmas (2.17–2.19) are clean and useful. The proof of simple generation in F(π) is a genuine argument, even if it leans on [BS]. The applications to Weinstein 1-handle sums are interesting and go beyond AK18; the Reidemeister torsion computations for lens spaces in the new Zπ1(X)-coefficient setting are careful.\n\nThe soft spot is load-bearing. In Theorem 4.28, the author needs an exact symplectomorphism φ:X→X' that is the identity outside a compact set, where X' admits the Giroux–Pardon Lefschetz fibration. For the first half (Weinstein to Stein), [CE, Prop 11.8] plausibly delivers compact support for a Liouville homotopy. For the second half ([GP17]), compactly-supported Stein deformation is asserted in one sentence with no proof. The cited theorem is about existence of Lefschetz fibrations on Stein/Weinstein domains; it does not state compact support. This matters because automatic simplicity is proved inside F(π) for admissible Lagrangians. If φ moves the end, an isomorphism in F(X) does not automatically become an isomorphism in F(π), and the torsion conclusion for K,L in F(X) does not follow. The same step is used in all applications. This is a gap, not a manufactured one. It might be repairable—maybe the standard-at-infinity geometry does allow it—but as written it is an assertion, not a proof. A secondary point: the proof assumes F(π) is chain-level proper and that closed exact Lagrangians are admissible objects there; that should be stated explicitly.\n\nWho is this for: symplectic topologists working on Fukaya categories and the nearby Lagrangian problem. If the deformation lemma is fixed, this will be a useful paper. As is, it deserves a serious referee, and the referee's first request should be the compact-support argument. I would send it out.","headline":"A novel categorical refinement of Fukaya-categorical isomorphism that would extend Abouzaid–Kragh to Weinstein manifolds, but the main theorem currently rests on an unproved compactly-supported deformation claim.","tokens_in":60794,"tokens_out":2386,"would_cite":true,"duration_ms":22934,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D37","53D12","57Q10","19B28"],"pacs":[],"model":"deepseek-v4-flash","headline":"In a Weinstein manifold with $c_1(X)=0$, any isomorphism in the Fukaya category between two closed exact Maslov zero Lagrangians is automatically simple, carrying trivial Whitehead torsion.","keywords":["simple homotopy theory","Fukaya category","Whitehead torsion","Reidemeister torsion","Weinstein manifold","exact Lagrangian","Lefschetz fibration","Maslov zero"],"falsifier":"Construct a Weinstein manifold $X$ with $c_1(X)=0$ and two closed exact Maslov zero Lagrangians $K,L$ that are isomorphic in the compact Fukaya category $F(X)$ but whose Reidemeister torsions, computed for some representation of $\\pi_1(X)$ to $\\mathbb{C}$, differ; this would contradict Theorem 4.28 via Proposition 4.21.","tokens_in":59793,"feed_emoji":"","tokens_out":6457,"duration_ms":49071,"temperature":0.7,"pith_summary":"The paper develops a categorical refinement of simple homotopy theory inside Fukaya categories, using the fundamental group of the ambient symplectic manifold. Its central theorem states that in a Weinstein manifold with vanishing first Chern class, any two closed exact Maslov zero Lagrangians that define isomorphic objects in the compact Fukaya category are automatically simply isomorphic: the isomorphism between them carries trivial Whitehead torsion. Because Whitehead torsion detects whether a homotopy equivalence can be upgraded to a simple one, this means categorical isomorphism forces equality of refined invariants such as Reidemeister torsion. The main applications include a proof that the cotangent bundles of lens spaces are symplectomorphic only when the lens spaces are diffeomorphic, a purely symplectic obstruction for symplectomorphisms of certain Weinstein connect sums, and a determination of the diffeomorphism type of certain Lagrangian submanifolds.","feed_headline":"Categorical isomorphism forces simple homotopy type","feed_subtitle":"In Weinstein manifolds with c1=0, isomorphic exact Lagrangians share Reidemeister torsion and simple homotopy type.","key_machinery":"The load-bearing object is the $A_\\infty$-bimodule $CF^*(K,L)$ with coefficients in the group ring $\\mathbb{Z}[\\pi_1(X)]$, built from lifts of intersection points and pseudoholomorphic strips to the universal cover of $X$. Its underlying based cochain complex has a well-defined simple homotopy type, so one can speak of simply acyclic objects, simple isomorphisms, and simple generation. The automatic simplicity lemma (Proposition 4.19) shows that if a Fukaya category has simple generators that are simply connected, every isomorphism is automatically simple. The paper proves that the Lefschetz thimbles of a Lefschetz fibration form such simple generators (Proposition 4.27), and uses the Giroux-Pardon deformation to present any Weinstein manifold as such a fibration, transferring the conclusion back to the original Fukaya category.","core_discovery":"The paper's central claim is Theorem 4.28: if $X$ is a Weinstein manifold with $c_1(X)=0$ and $K,L$ are closed exact Maslov zero Lagrangians with brane structures whose objects in the compact Fukaya category $F(X)$ are isomorphic, then the isomorphism is a simple isomorphism, i.e., its Whitehead torsion vanishes. Consequently, whenever the fundamental groups of $K$ and $L$ inject into $\\pi_1(X)$, the associated homotopy equivalence between $K$ and $L$ is a simple homotopy equivalence, and the Reidemeister torsions of their cellular cochain complexes agree for any representation of $\\pi_1(X)$. In particular, if one Lagrangian is homotopy equivalent to the ambient Weinstein manifold and the other has isomorphic fundamental group, the other Lagrangian is also homotopy equivalent to $X$, and the composed map $K \\to X \\to L$ is a simple homotopy equivalence.","pith_inferences":["The same automatic-simplicity pattern should hold in any setting where a Fukaya category is generated by simply connected objects with a geometric reason for simple generation, for example plumbings of cotangent bundles; this would let Reidemeister torsion obstruct Lagrangian embeddings more generally.","The paper implicitly separates the information carried by wrapped Fukaya categories (which cannot distinguish $L(7,1)$ from $L(7,2)$) from the compact Fukaya category, suggesting that compact Fukaya categories are finer simple-homotopy invariants than wrapped ones.","A direct testable extension would be to look for Fukaya-isomorphic Lagrangians modeled on pairs of spaces that are simple homotopy equivalent but not homeomorphic, in higher dimensions where fake lens spaces exist; the theory predicts no such pair can occur with $c_1=0$."],"forward_implications":["Isomorphic objects in the compact Fukaya category of a $c_1=0$ Weinstein manifold are simply isomorphic, so their Whitehead torsion vanishes.","When the Lagrangians' fundamental groups inject into $\\pi_1(X)$, their Reidemeister torsions agree for every representation of $\\pi_1(X)$.","The cotangent bundles $T^*L(p,q)$ and $T^*L(p,q')$ are symplectomorphic if and only if the lens spaces $L(p,q)$ and $L(p,q')$ are diffeomorphic.","The Weinstein connect sum $T^*L(7,1)\\natural T^*L(7,2)$ admits no exact symplectomorphism that swaps the two middle-dimensional homology summands, a purely symplectic obstruction.","In a simply-connected 6-dimensional Weinstein manifold with $c_1=0$, any closed exact Maslov zero Spin Lagrangian in $T^*L(p,q)\\natural X$ whose fundamental group maps isomorphically to $\\pi_1(M)$ is diffeomorphic to $L(p,q)$."],"supporting_citations":[{"why":"Supplies the $A_\\infty$-bimodule $CF^*(K,L)$ with $\\mathbb{Z}[\\pi_1(X)]$-coefficients and the Abouzaid-Kragh theorem that closed exact Lagrangians in cotangent bundles are simple homotopy equivalent to the zero section, which the paper extends.","marker":"[AK18]"},{"why":"Provides the Weinstein deformation to a Lefschetz fibration used to transfer the simplicity statement to general Weinstein manifolds.","marker":"[GP17]"},{"why":"Defines the Fukaya category of a Lefschetz fibration whose Lefschetz thimbles are shown to simply generate it.","marker":"[Sei18]"},{"why":"Gives the compactly supported Liouville deformation used to ensure the symplectomorphism to the Lefschetz fibration is the identity outside a compact set.","marker":"[CE, Proposition 11.8]"},{"why":"The branched-cover argument for simple generation by Lefschetz thimbles is adapted from this unpublished manuscript.","marker":"[BS]"},{"why":"Foundation for Whitehead torsion and its properties used to define simple homotopy invariants of based cochain complexes.","marker":"[Mil66]"},{"why":"Establishes the Reidemeister torsion classification of lens spaces used in the applications.","marker":"[Rei35]"},{"why":"Shows homeomorphisms induce simple homotopy equivalences, used to compare torsion computations and to justify CW models.","marker":"[Cha74]"}],"fun_headline_variants":["Isomorphic Lagrangians are simple homotopy equivalent","Fukaya isomorphism yields simple homotopy equivalence","c1=0: Fukaya isomorphisms are simple","Simple homotopy type from Fukaya isomorphisms","Whitehead torsion vanishes for Fukaya isomorphisms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the Giroux-Pardon Weinstein deformation of $X$ to a Lefschetz fibration can be chosen compactly supported, so that the exact symplectomorphism is the identity outside a compact set and the Lagrangians' isomorphism class and $\\mathbb{Z}[\\pi_1(X)]$-bimodule structure transfer unchanged.","fun_headline_variants_meta":{"raw":{"variants":["Isomorphic Lagrangians are simple homotopy equivalent","Fukaya isomorphism yields simple homotopy equivalence","c1=0: Fukaya isomorphisms are simple","Simple homotopy type from Fukaya isomorphisms","Whitehead torsion vanishes for Fukaya isomorphisms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000243,"raw_usage":{"total_tokens":1473,"prompt_tokens":834,"completion_tokens":639,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":559}},"tokens_in":450,"tokens_out":639,"duration_ms":5509,"temperature":1.0,"reasoning_tokens":559,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:21:12.884752+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a Weinstein manifold $X$ with $c_1(X)=0$ and two closed exact Maslov zero Lagrangians $K,L$ that are isomorphic in the compact Fukaya category $F(X)$ but whose Reidemeister torsions, computed for some representation of $\\pi_1(X)$ to $\\mathbb{C}$, differ; this would contradict Theorem 4.28 via Proposition 4.21.","supporting_citations":[],"review_version":1}