{"id":"44df2265-da2d-40d7-aad0-9b1e2b98a866","arxiv_id":"2507.21282","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For small Chekanov tori in CP^n and monotone Brendel tori in C^3, displacement energy equals minimal pseudo-holomorphic disk area, both equal to the shrinking parameter a.","lead":"This math paper computes two geometric size measurements, displacement energy and minimal holomorphic disk area, for special families of exotic Lagrangian tori, and proves they are equal. It matters because it tests when a classical lower bound is sharp and provides a new way to distinguish infinitely many non-equivalent tori in C^3.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Brendel half of Theorem 1 rests on Proposition 4.2, an unproved homology/Maslov table whose displayed maps are inconsistent with the level-set relation; the table must be independently verified.","rationale":"After reading the full text, I find the Chekanov-torus half of Theorem 1 convincing: Proposition 3.2 gives e <= a, Proposition 3.4 gives hbar >= a via the Chekanov-Schlenk persistence lemma and the known disk computation for the Chekanov torus, and no step there appears to hide a serious gap. The Brendel half is less secure. The reader's weakest assumption is exactly right: Corollary 4.3's lower bound is homological and depends entirely on Proposition 4.2. The table's values are not derived in the text, and the displayed maps, as printed, have an extra a in the first coordinate; a literal reading contradicts the level-set relation proved in Appendix A. I therefore regard this as the single load-bearing concern. I do not see grounds to suspect the result is false: the corrected maps and the geometry of the reduction make the table highly plausible, and the paper cites Brendel's construction as background. The regularity caveat for the new disk-count proof of exoticity is explicitly acknowledged and is not needed for Theorem 1 or for Corollary 4.6, so I would not make it the decisive issue. The appropriate status is conditional: the computation in Proposition 4.2 should be written out (or cited precisely) and the displayed formulas corrected before the Brendel half can be considered fully verified. My proposed test would settle whether the concern lands; if the table passes, Theorem 1 stands as stated.","tokens_in":16083,"tokens_out":33295,"duration_ms":375166,"concrete_test":"Recompute Proposition 4.2 from the corrected lift in Appendix A: q^{-1}(Gamma) = {(sqrt(1 - k|z|^2) e^{i theta1}, |z| e^{i theta2}, e^{i(k theta1 - theta2)} z) : z in Gamma}. Use the long exact sequence H_2(C^3)=H_1(C^3)=0 to identify H_2(C^3, Upsilon_k) with H_1(Upsilon_k), compute the symplectic area and Maslov index of the three boundary loops (theta1-loop, theta2-loop, Gamma-loop), and check whether the six entries are a, pi, 0 and 2, 2k+2, 0. If all match, the lower bounds in Corollaries 4.3 and 4.5 stand; if any entry changes, the affected bound and Theorem 1 part 2 must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing step is the Brendel half of Theorem 1. Corollary 4.3 obtains e = hbar = pi/(k+1) for the monotone torus from the assertion in Proposition 4.2 that H_2(C^3, Upsilon_k) is spanned by classes alpha, beta1, beta2 with areas a, pi, 0 and Maslov indices 2, 2k+2, 0. This is called a straightforward computation, but no derivation is given, and the displayed representatives as printed have first coordinate a/(1 - k|w0|^2) instead of a square root; on the defining level set nu_k^{-1}(pi,0), Appendix A gives r_1^2 + k r_3^2 = 1, so the first radius should be sqrt(1 - k|z|^2), independent of a. Taken literally, the printed parametrization is not Lagrangian for a general curve Gamma. If the formula is corrected, the table is plausible, but the paper does not show the computation; Proposition 4.4 and Corollary 4.5 then use the same table for positivity-of-intersection constraints. This is a verification gap, not a demonstrated contradiction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies two invariants of a closed Lagrangian submanifold: Hofer displacement energy e(L) and the minimal symplectic area hbar(L) of a pseudo-holomorphic disk (or sphere) with boundary on L. Chekanov's theorem gives hbar(L) <= e(L), and the paper computes both invariants for two families of Lagrangian tori: small Chekanov tori T_PrCh^n(a) in CP^n with 0<a<pi/(n+1), and Brendel tori Upsilon_k(a) in C^3 for k>=2 and pi/(k+1)<=a<pi/k. The main result, Theorem 1, states that e=hbar for the small Chekanov tori and for the monotone Brendel tori Upsilon_k(pi/(k+1)); for non-monotone Brendel tori the paper computes hbar(Upsilon_k)=pi-ka and leaves e as an open question. Section 2 establishes upper semi-continuity of e and a lower semi-continuity statement for hbar, and uses these to give a new computation of hbar for the FOOO example with e>hbar. The paper also derives constraints on the relative homology classes of holomorphic disks on Brendel tori, proposes a correspondence with Auroux's tori, and gives a new proof, conditional on a regularity argument, that the monotone Brendel tori are exotic.","tokens_in":16284,"tokens_out":16014,"duration_ms":191247,"significance":"If the results are correct, the paper provides some of the first computations showing equality e=hbar for non-standard, displaceable Lagrangian knots, and it gives a clean method for computing hbar via lower semi-continuity and explicit Hamiltonian displacements. The Chekanov-torus half of Theorem 1 appears structurally sound: the upper bound comes from an explicit displacement and the lower bound from Chekanov's inequality together with a Darboux-chart persistence lemma. The Brendel-torus half is plausible but rests on an unproved homology/Maslov table whose printed parametrizations contain evident typos. The paper is careful to rely on external benchmarks (Chekanov's inequality, product-torus results, Brendel's versal deformation computations) rather than fitting parameters, and it explicitly identifies its conditional claims. The significance of the exoticity claim is reduced by the fact that it is explicitly modulo regularity of the standard almost complex structure.","major_comments":[{"comment":"Proposition 4.2 is asserted with 'The proof is a straightforward computation', but it is the only verification that H_2(C^3, Upsilon_k) is spanned by alpha, beta1, beta2 with areas a, pi, 0 and Maslov indices 2, 2k+2, 0. This table is used in Corollary 4.3 to obtain e=hbar=pi/(k+1) for monotone Brendel tori and in Corollary 4.5 to obtain hbar(Upsilon_k)=pi-ka; without it, the Brendel half of Theorem 1 is unsupported. Moreover, the displayed parametrizations are not consistent with the level set nu_k^{-1}(pi,0) used in (9) and Appendix A: the first coordinate is written as a/(1-k|w|^2) (and similarly in beta1 and beta2), but the level-set relation r_1^2+k r_3^2=1 forces the first radius to be sqrt(1-k|w|^2), independent of a. As printed, the maps do not lie on Z_k and are not Lagrangian over a general curve Gamma. This is a verification gap rather than a demonstrated contradiction, but it must be closed by a complete computation or a precise reference before the Brendel results can be accepted.","section":"Sec. 4, Prop. 4.2"},{"comment":"The abstract and the introductory summary advertise 'a new proof ... that Brendel's family of exotic tori consists of infinitely many distinct Lagrangians', but the argument in Section 4.2.3 is explicitly conditional: it assumes regularity of the standard almost complex structure J0 and that the existence of a holomorphic disk in one class beta1-k alpha+n0 beta2 persists when passing to the monotone limit. The text itself says 'modulo an argument for the regularity' and later uses the word 'Conjecturally'. The manuscript should state plainly in the abstract and introduction that this exoticity proof is conditional and not a theorem; as written, the claims exceed what is proved.","section":"Abstract; Sec. 4.2.3"},{"comment":"The proof of Proposition 2.2 fixes an arbitrary tame almost complex structure J and chooses u_n with omega(u_n)=hbar_D(L_n,J), then asserts omega(v_n)->H. However, the hypothesis is convergence of hbar(L_n), which involves a supremum over J (and a minimum with the sphere area); for a fixed J the numbers hbar_D(L_n,J) need not converge to H. The proof should either choose J_n with hbar_D(L_n,J_n)->H and justify Gromov compactness for the pulled-back sequence of almost complex structures, or be rewritten via the 'Fukaya trick' in a way that avoids this step. In addition, the sentence 'Thus v is J-holomorphic, non-constant' is not justified if v is constant but one of the bubble disks g_k is nonconstant; the correct conclusion is that some nonconstant disk has area at most H. These are local, fixable gaps, but Proposition 2.2 is used in Example 2.3 and in the upper bound for hbar(Upsilon_k) in Corollary 4.5.","section":"Sec. 2, Prop. 2.2"}],"minor_comments":[{"comment":"The expression 'epsilon P 8D' appears to be a typo for 'epsilon in partial D'; as printed it is unreadable.","section":"Sec. 4.2.1"},{"comment":"The sentence 'A class of Maslov index 2 ell is of the form' contains a stray ell; the intended phrase is 'A class of Maslov index 2 is of the form'.","section":"Cor. 4.5"},{"comment":"The table lists k=-1,0,1 even though the construction in Section 4 assumes k>=2; a sentence explaining the extended range and the meaning of Upsilon_{-1}, Upsilon_0, Upsilon_1 would help the reader.","section":"Sec. 4.2.4"},{"comment":"The paragraph after Remark 4.7 states, without proof, that no two Upsilon_k(a) with distinct parameters are symplectomorphic even in the more general two-parameter notation; since this is a stronger classification statement, the parameter domain and the argument should be spelled out.","section":"Sec. 4.2.2, Remark 4.7"}],"recommendation":"major_revision","confidential_remarks":"The main revision should focus on supplying the computation for Proposition 4.2 and on adjusting the claims about the exoticity proof. I do not see circularity: the paper uses external theorems as benchmarks, and the new computations do not assume the conclusion. Once the table in Proposition 4.2 is verified, the Brendel half of Theorem 1 is likely correct; the remaining gaps in Proposition 2.2 are local and repairable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the Chekanov-torus half of this paper is clean and complete, and the Brendel half is interesting but currently rests on an unproved and misprinted disk-class table. The conclusions are probably right, but the paper needs a real revision before I'd trust the Brendel results.\n\nFor small Chekanov tori in CP^n, Theorem 1 is solid. The upper bound e <= a comes from explicit Hamiltonian displacements of a suitably narrow lift; the lower bound hbar >= a uses Auroux's one-class computation and the Chekanov-Schlenk persistence lemma. Both steps are standard and carefully assembled. The same goes for Proposition 2.2 on lower semi-continuity of hbar; the proof via Fukaya's trick is terse but valid. And the clean computation hbar = a for the FOOO example is a genuinely useful add, since the literature only had e > hbar.\n\nThe problems are in Section 4. Proposition 4.2, which is load-bearing for everything about Brendel tori, is asserted as 'a straightforward computation' without proof. The displayed parametrizations are misprinted: the first coordinate should involve sqrt(1 - k|z|^2), not a/(1 - k|w0|^2). Taken literally, they are not Lagrangian for a general curve. The table of areas and Maslov indices is plausible once the coordinate is corrected, but the computation is not shown. Since Proposition 4.4, Corollary 4.5, and the classification all use this table, this is not a cosmetic issue.\n\nThe advertised new proof of exoticity for the monotone Brendel tori is explicitly 'modulo an argument for the regularity of the standard almost complex structure' (the author says so in the introduction). That means the paper does not actually deliver that proof as written. The evidence for the Auroux correspondence is a nice conjecture, but it is not a theorem.\n\nI want to be clear: I did not find a contradiction, and the author is honest about the gaps. The Chekanov half is worth publishing on its own. The Brendel half needs the table verified and the regularity question addressed. I would send the paper to a careful referee, asking them to check Proposition 4.2 first. The right venue would be a symplectic geometry journal, and after revision it could be a solid contribution.","headline":"A solid Chekanov-torus computation paired with a load-bearing but fixable gap in the Brendel-torus calculation; worth sending to a referee.","tokens_in":16861,"tokens_out":3899,"would_cite":true,"duration_ms":44057,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D12","53D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For small Chekanov tori in $\\mathbb{C}P^n$ and monotone Brendel tori in $\\mathbb{C}^3$, the displacement energy equals the smallest holomorphic disk area, so Chekanov's bound is tight.","keywords":["displacement energy","J-holomorphic disks","Lagrangian tori","Chekanov torus","Brendel tori","Hofer norm","Maslov index"],"falsifier":"Recompute the homology table in Proposition 4.2 with the apparent square-root typos in the disk maps for β1 and β2 corrected; if a Maslov-2 class with area strictly below π/(k+1) appears, then ℏ(Υ_k(π/(k+1)))<e(Υ_k(π/(k+1))), contradicting Theorem 1 for the monotone Brendel tori.","tokens_in":15850,"feed_emoji":"🍩","tokens_out":14362,"duration_ms":141494,"temperature":0.7,"pith_summary":"This paper examines Chekanov's lower bound on displacement energy: the displacement energy $e(L)$ of a Lagrangian submanifold is always at least $\\hbar(L)$, the smallest area of a pseudo-holomorphic disk with boundary on $L$. The paper proves that the bound is tight for two families of Lagrangian tori: small Chekanov tori $T^n_{\\mathrm{PrCh}}(a)\\subset \\mathbb{C}P^n$ with $0<a<\\pi/(n+1)$, and monotone Brendel tori $\\Upsilon_k(\\pi/(k+1))\\subset \\mathbb{C}^3$, for which $e(L)=\\hbar(L)$ holds. It also computes $\\hbar$ for every non-monotone Brendel torus and exhibits a Lagrangian with $\\hbar<e<\\infty$, settling a question posed in the literature. The equality matters because $\\hbar$ is often computable from holomorphic curve counts, while the displacement energy is notoriously hard to compute directly.","feed_headline":"Chekanov's bound is tight for two families of exotic tori","feed_subtitle":"Small Chekanov tori and monotone Brendel tori satisfy e=ℏ; a non-monotone example shows the bound can be strict.","key_machinery":"Two mechanisms carry the argument. For the upper bound on $e$, each torus is presented as a lift of a contractible curve in a two-dimensional symplectic reduction; by choosing the curve to enclose area just $a$, the lift is squeezed into a narrow polydisk (or cylinder), whose displacement energy is known exactly. For the lower bound on $\\hbar$, the paper uses a persistence lemma of Chekanov and Schlenk—holomorphic disks with boundary on a Lagrangian survive in sufficiently large Darboux charts—together with a positivity-of-intersections classification of the Maslov-2 disk classes, which for Brendel tori is carried out against carefully chosen complex hypersurfaces and yields $\\hbar(\\Upsilon_k(a))=\\pi-ka$. The opposing semi-continuity properties of $e$ (upper) and $\\hbar$ (lower) are the analytical tool that computes $\\hbar$ in the non-monotone case and separates $e$ from $\\hbar$ in the strict-inequality example.","core_discovery":"On the paper's own terms, the discovery is that Chekanov's inequality $\\hbar(L)\\le e(L)$ is not merely a formal bound: it is achieved exactly for two geometrically interesting families of exotic Lagrangian tori. For the small Chekanov tori in $\\mathbb{C}P^n$, both invariants equal the area parameter $a$; for the monotone Brendel tori $\\Upsilon_k(\\pi/(k+1))$ in $\\mathbb{C}^3$, both equal $\\pi/(k+1)$. In the same Brendel family, the non-monotone members satisfy $\\hbar(\\Upsilon_k(a))=\\pi-ka$, so the lower bound is known explicitly and is at most $a$, the upper bound on $e$ obtained by a squeezing argument. The paper further proves that no two Brendel tori with distinct parameters are symplectomorphic, and it identifies a Lagrangian $L_{\\mathrm{FOOO}}=S^1(A)\\times S^1_{\\mathrm{eq}}\\subset \\mathbb{C}\\times S^2(2a)$ for which $\\hbar(L_{\\mathrm{FOOO}})=a<e(L_{\\mathrm{FOOO}})=A<\\infty$, giving a positive answer to the question of whether Chekanov's bound can be strict for a displaceable Lagrangian.","pith_inferences":["The same reduced-curve squeezing strategy should apply to other displaceable Lagrangian tori that arise as lifts from two-dimensional symplectic reductions, for example the displaceable Chekanov tori in $S^2\\times S^2$; testing $e=\\hbar$ there would be a direct extension.","If the conjectured disk-count correspondence with Auroux's tori holds, the monotone Brendel tori and Auroux's tori would be the same Lagrangians up to Hamiltonian isotopy, unifying two a priori different constructions of exotic tori in $\\mathbb{C}^3$; the paper's count evidence supports but does not prove this.","The explicit window $\\pi-ka\\le e(\\Upsilon_k(a))\\le a$ suggests that non-monotone Brendel tori are natural candidates for additional examples of $\\hbar<e$; if any such torus has $e>\\pi-ka$, then strictness of Chekanov's bound is a phenomenon that persists away from the monotone endpoint."],"forward_implications":["For every small Chekanov torus $T^n_{\\mathrm{PrCh}}(a)$ in $\\mathbb{C}P^n$, the displacement energy is exactly $a$, so Chekanov's bound is sharp in arbitrarily high dimension.","For every monotone Brendel torus $\\Upsilon_k(\\pi/(k+1))$ in $\\mathbb{C}^3$, the displacement energy is exactly $\\pi/(k+1)$, extending the equality to an infinite family of exotic tori.","The formula $\\hbar(\\Upsilon_k(a))=\\pi-ka$ gives an exact, computable lower bound for all non-monotone Brendel tori, leaving only the question of whether $e$ attains this lower bound.","The example $L_{\\mathrm{FOOO}}$ shows that $\\hbar<e<\\infty$ can occur for a displaceable Lagrangian, so the question of whether a monotone example exists (Question 3) remains the next open step.","As a corollary, Brendel's tori $\\Upsilon_k(a)$ are pairwise non-symplectomorphic across all parameters $(k,a)$, strengthening the known exotica."],"supporting_citations":[{"why":"Establishes the fundamental inequality ℏ(L) ≤ e(L) that the paper tests, and introduces the minimal holomorphic disk area ℏ.","marker":"[Che98]"},{"why":"Supplies the (CS) criterion for standard tori and, through Lemma 2.2, the persistence of holomorphic disks in large Darboux charts used to lower-bound ℏ for Chekanov tori in CP^n.","marker":"[CS16, Proposition 2.1]"},{"why":"Constructs the Brendel tori, provides their versal deformation approximating them by product tori, and proves non-symplectomorphism for different k.","marker":"[Bre25]"},{"why":"Classifies the holomorphic disks on the Chekanov torus (quoted as Proposition 3.1), giving the exact value ℏ_D(T_Ch(a), J0)=a.","marker":"[EP97, Proposition 4.2.C]"},{"why":"Supplies the infinite family of monotone tori in R^6 and the disk-count invariant used in the correspondence and the new exoticity proof.","marker":"[Aur14]"},{"why":"Gives the Lagrangian L_FOOO and the lower bound e(L_FOOO)=A that the paper combines with its new computation ℏ(L_FOOO)=a.","marker":"[FOOO10, Example 5.6]"},{"why":"Adapts the positivity-of-intersections disk classification to the Chekanov torus; its construction inspires the hypersurface Σ_F used in Proposition 4.4.","marker":"[Aur07, Section 5]"},{"why":"Originates the positivity-of-intersections method for the Clifford torus on which the classification of Maslov-2 classes for Brendel tori is modeled.","marker":"[Cho04, Theorem 9.1]"},{"why":"Supplies the moving-boundary compactness trick used in the proof of lower semi-continuity of ℏ (Proposition 2.2).","marker":"[STV24, Section 2.1]"}],"fun_headline_variants":["Chekanov's bound tight for small Chekanov and Brendel tori","Exotic tori attain equality in Chekanov's displacement inequality","Two torus families satisfy e equals ℏ in Chekanov's bound","Non-monotone torus shows Chekanov's bound can be strict","Equality case of Chekanov's inequality for two torus families"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The Brendel-torus half of the main theorem rests on an unproved table (Proposition 4.2) listing which holomorphic disk classes bound those tori and what areas they have; the displayed formulas for two of the disk classes appear to contain typos, so a wrong table would break the equality e=ℏ for the monotone Brendel tori.","fun_headline_variants_meta":{"raw":{"variants":["Chekanov's bound tight for small Chekanov and Brendel tori","Exotic tori attain equality in Chekanov's displacement inequality","Two torus families satisfy e equals ℏ in Chekanov's bound","Non-monotone torus shows Chekanov's bound can be strict","Equality case of Chekanov's inequality for two torus families"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000681,"raw_usage":{"total_tokens":3115,"prompt_tokens":989,"completion_tokens":2126,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":605,"completion_tokens_details":{"reasoning_tokens":2026}},"tokens_in":605,"tokens_out":2126,"duration_ms":22199,"temperature":1.0,"reasoning_tokens":2026,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T12:57:51.570521+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the homology table in Proposition 4.2 with the apparent square-root typos in the disk maps for β1 and β2 corrected; if a Maslov-2 class with area strictly below π/(k+1) appears, then ℏ(Υ_k(π/(k+1)))<e(Υ_k(π/(k+1))), contradicting Theorem 1 for the monotone Brendel tori.","supporting_citations":[],"review_version":1}