{"id":"34291fa0-f9c4-4abe-9981-b989d77a5af9","arxiv_id":"2506.07525","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every symplectically aspherical filling of the unit cotangent bundle of an odd-dimensional sphere is diffeomorphic to the standard co-disc bundle.","lead":"This paper proves that every symplectically aspherical filling of the unit cotangent bundle of an odd-dimensional sphere is diffeomorphic to the standard co-disc bundle. It resolves a uniqueness question in symplectic topology that had only been partially settled before.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The N=2 exclusion relies on a maximum-principle dichotomy for u_1 whose hypotheses are not fully established in Sections 3.7–3.8.","rationale":"The reader's weakest assumption matches my main concern. The final paragraph of the proof of Theorem 1 is the only place where the N=2 bubbling configuration is excluded; without this, properness of the evaluation map and hence the diffeomorphism conclusion do not follow. The stated facts about ĥ and W' do not by themselves imply the claimed alternative. In particular, ĥ is defined only on Ẑ \\ (Ĥ ∪ Int(W')) and not on W', and the paper only says that ∂W' appears as a level set. A rigorous maximum-principle argument requires W' to be a sublevel set of ĥ and applies the subharmonic maximum principle to the open set u_1^{-1}(Ẑ \\ W'); if u_1 crosses ∂W', this set is a proper nonempty open subset of CP^1 and the standard maximum principle does not force the dichotomy without an additional argument. The construction of ĥ in Sections 3.6 and 3.7 appears sound, but the connection to W' in Section 3.8 is terse. I see no internal contradictions or parameter fitting; the issue is a missing justification in a load-bearing step. Therefore I keep the reader's CONDITIONAL verdict.","tokens_in":9183,"tokens_out":25984,"duration_ms":301182,"concrete_test":"Verify the maximum-principle step in the last paragraph of the proof of Theorem 1 by proving that W' can be chosen as a sublevel set {ĥ ≤ c} of the strictly plurisubharmonic function ĥ, with ĥ > c on Ẑ \\ W'. Then check that for any holomorphic sphere u_1 with u_1 • Ĥ = 0, the preimage u_1^{-1}(Ẑ \\ W') is either empty or all of CP^1, applying the subharmonic maximum principle to ĥ ∘ u_1 on that set. If the dichotomy instead requires ĥ to be defined on W' or a further hypothesis on ∂W', the proof of Theorem 1 is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"At the end of the proof of Theorem 1, the exclusion of the N=2 bubbling case rests on evaluating the strictly plurisubharmonic function ĥ along the holomorphic sphere u_1 and concluding that either u_1 is contained in a level set of ĥ or u_1 is contained in W'. This dichotomy is only justified if W' is a sublevel set {ĥ ≤ c} of ĥ with ĥ > c on Ẑ \\ W', and if the maximum principle can be applied to the part of u_1 outside Int(W'). The paper states only that ∂W' appears as a level set of ĥ and that ĥ is defined on Ẑ \\ (Ĥ ∪ Int(W')), not on W' itself. It is not explicitly shown that a holomorphic sphere with u_1 • Ĥ = 0 cannot cross ∂W' transversely. If u_1 intersects both W' and its complement, the pullback ĥ ∘ u_1 is not defined on all of CP^1, and the standard maximum principle does not yield the claimed dichotomy without an additional sublevel-set argument. Since this is the only step excluding the N=2 bubble configuration, a gap here would leave properness of the evaluation map, and hence the diffeomorphism conclusion, unproven.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that every symplectically aspherical filling (W,ω) of the unit cotangent bundle M=ST^*S^{2d+1}, d≥1, is diffeomorphic to the standard unit co-disc bundle DT^*S^{2d+1}. The proof follows and extends the strategy of Kwon–Zehmisch: it reduces the diffeomorphism question to properness of an evaluation map on a moduli space of holomorphic spheres in a capped manifold, then uses a newly constructed second complex hypersurface Ĥ with intersection number one with both generating sphere classes to constrain the possible bubbling configurations. The remaining N=2 configuration is to be excluded using a strictly plurisubharmonic exhaustion ĥ whose level set bounds a deformed filling W'. The paper also constructs Ĥ explicitly as a homogenized bihomogeneous zero set and builds ĥ via a Plücker–Segre–Veronese type embedding and a modification of a plurisubharmonic function on an affine quadric.","tokens_in":1299,"tokens_out":1310,"duration_ms":298689,"significance":"If the proof is completed, the theorem settles the diffeomorphism-type uniqueness question for symplectically aspherical fillings of unit cotangent bundles of odd-dimensional spheres in full generality, extending the partial results of Kwon–Zehmisch and Kwon–Oba. The paper has several commendable features: the reduction to properness of the evaluation map is elegant, the new hyperplane class Ĥ is a natural and effective device, the plurisubharmonic construction in Sections 3.1–3.7 is explicit and self-contained, and the paper is careful to use only independent intermediate results from [9] rather than assuming the desired conclusion. The main caveat is a genuine gap in the maximum-principle step excluding the N=2 bubbling case, which is load-bearing for the theorem.","major_comments":[{"comment":"The exclusion of the N=2 case rests on the assertion that evaluating ĥ along u_1 yields, by the maximum principle, either that u_1(CP^1) lies in a level set of ĥ or that u_1(CP^1) lies in W'. This assertion is not justified as written. The function ĥ is defined on Zhat minus the union of Ĥ and Int(W'), not on Int(W'), and no argument is given that u_1(CP^1) cannot intersect both Int(W') and its complement. If u_1 crosses ∂W' transversely, the pullback ĥ∘u_1 is not defined on all of CP^1, so the standard maximum principle for subharmonic functions on a closed Riemann surface cannot be applied. A valid proof would need to establish that W' is a sublevel set {ĥ ≤ c} with ĥ > c outside (or provide the appropriate analogue of the maximum principle for a convex collar), and then apply the maximum principle componentwise on the complement of Ĥ ∪ Int(W') with boundary values on ∂W'. Since this is the only step excluding the N=2 bubble configuration, the claimed properness of the evaluation map and hence the diffeomorphism conclusion are not yet established.","section":"Proof of Theorem 1, final paragraph; Sections 3.7–3.8"}],"minor_comments":[{"comment":"In the definition of κ, the phrase \"κ is 0 on {g≤g0}\" is ambiguous because the domain of κ is R while {g≤g0} is a subset of Q; it should read \"κ is 0 on (-∞,g0]\" or \"κ(t)=0 for t≤g0\", and similarly for the conditions on κ′ and κ′′.","section":"Section 3.7"},{"comment":"The sentence \"we end up with an holomorphic embedding\" contains a typo; it should be \"a holomorphic embedding\".","section":"Section 3.6"},{"comment":"The notation \"C_1 = Σ [u_j]\" and \"C_1 · Ĥ = ...\" conflates the geometric sphere C_1 with its homology class [C_1]; using [C_1] consistently would make the intersection-theoretic arguments easier to follow.","section":"Proof of Theorem 1"},{"comment":"The expression \"the -d(dĥ∘J)-energy\" is used without a definition; the paper should define this quantity, for example as the integral over the curve of u_1^*(-d(dĥ∘J)), so that the reader can verify the asserted vanishing/positivity when u_1 lies in a level set.","section":"Proof of Theorem 1"},{"comment":"The assertion that Ĥ is contained in the interior of dCap is made without justification; one should explain that the anti-Hopf sphere and its Weinstein neighbourhood D_δT^*S^{2d+1} can be chosen disjoint from Ĥ by taking δ sufficiently small.","section":"Section 3.5"}],"recommendation":"major_revision","confidential_remarks":"This is a strong and significant paper, but the proof as written has a load-bearing gap in the N=2 exclusion. I believe the gap is fixable by making the sublevel-set structure of W' and the associated maximum-principle argument explicit. If the authors provide that missing argument, the paper would be suitable for publication. The reliance on [9] for the reduction to properness is appropriate and does not raise circularity concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this paper proves the right theorem but the key step that excludes the N=2 bubbling case is underproved as written. Worth sending to a referee, but the referee should ask for a rigorous argument there.\n\nWhat's genuinely new: it removes all restrictions for the unit cotangent bundle of odd-spheres, extending partial results by Kwon–Zehmisch and Kwon–Oba. The replacement of the second hyperplane class H2 with the affine quadric hypersurface Ĥ is elegant, and the intersection-theoretic reduction to N=1 or N=2 is clean. The paper is short and well-organized, and the constructions in Section 3 are substantial.\n\nThe soft spot is the maximum-principle step. The function ĥ is defined only on the complement of Int(W′), with ∂W′ as a level set. In the N=2 case, after showing u1•Ĥ=0, the paper asserts u1 is disjoint from Ĥ (that part is fine). But then it says that evaluating ĥ along u1 yields by the maximum principle that either u1 lies in a level set or u1 lies in W′. The problem is that ĥ∘u1 is only defined where u1 avoids Int(W′). If u1 crosses ∂W′, the pullback is not defined on all of CP^1, and the maximum principle on the open preimage of the complement does not yield the claimed alternative; the maximum could sit on the boundary. The paper does not rule out such crossing. This is a genuine gap in the written proof. It may be fixable by showing W′ is a sublevel set {ĥ ≤ c} and then using a maximum principle on all of CP^1, but that argument is not present.\n\nAlso, the paper leans heavily on intermediate results from [9]. That is not circular, but it makes the present claim contingent on that prior work being correct and on the transfer of those results to this setting.\n\nWho this is for: symplectic topologists working on fillings of cotangent bundles. The theorem is likely true and important. The proof has a load-bearing gap that needs either a repair or a substantially expanded argument. I would not desk-reject; I'd send it to a careful referee with a specific request to scrutinize Section 3.7–3.8 and the N=2 exclusion. But I would not cite this as a theorem until the gap is closed.\n\nRecommendation: send to peer review, but flag the maximum-principle gap as the central issue.","headline":"A significant theorem with a real proof gap in the N=2 bubbling exclusion; deserves refereeing, but the maximum-principle step needs repair.","tokens_in":9973,"tokens_out":3278,"would_cite":false,"duration_ms":37479,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57R17","32Q65","53D35","57R80"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every symplectically aspherical filling of the unit cotangent bundle of an odd-dimensional sphere is diffeomorphic to the standard unit co-disc bundle.","keywords":["symplectic fillings","unit cotangent bundle","odd-dimensional spheres","symplectically aspherical","holomorphic curves","bubbling analysis","h-cobordism","plurisubharmonic functions"],"falsifier":"Exhibit a symplectically aspherical filling $W$ of $ST^*S^{2d+1}$, for some $d\\ge1$, whose singular homology $H_*(W)$ differs from $H_*(DT^*S^{2d+1})$; by the $h$-cobordism criterion used in Section 2.1, such a filling cannot be diffeomorphic to $W_{\\mathrm{st}}$ and would directly contradict Theorem 1.","tokens_in":8911,"feed_emoji":"📐","tokens_out":8750,"duration_ms":80565,"temperature":0.7,"pith_summary":"This paper proves a uniqueness theorem for symplectic fillings in high dimensions: every symplectically aspherical filling of the unit cotangent bundle of an odd-dimensional sphere $S^{2d+1}$ is diffeomorphic to the standard unit co-disc bundle $DT^*S^{2d+1}$. Earlier work established partial versions or relied on a 'fittings' construction; here the authors show that the fittings are unnecessary. The consequence is that, in this critical regime, the diffeomorphism type of the filling is determined entirely by the contact boundary. The proof uses holomorphic curve techniques, reducing uniqueness to properness of an evaluation map and ruling out every possible bubbling phenomenon.","feed_headline":"All symplectic fillings of odd-sphere cotangent bundles are standard","feed_subtitle":"The result removes the last restrictions from earlier partial uniqueness results for odd-dimensional spheres.","key_machinery":"The load-bearing object is the moduli space $\\mathcal M$ of $J$-holomorphic spheres $u:CP^1\\to(\\hat Z,J)$ homologous to $C_1$, with three marked points mapped to a fixed slice, together with the evaluation map $\\mathrm{bev}:\\mathcal M\\times CP^1\\to\\hat Z$. Properness of $\\mathrm{bev}$ triggers the $h$-cobordism criterion that yields $W\\cong W_{\\mathrm{st}}$. Properness is proved by Gromov compactness: any sequence of spheres in a bounded part of the moduli space converges to a stable map with $N$ non-constant components. The paper introduces the complex hypersurface $\\hat H$ as a substitute for the unavailable second hyperplane class, computes its intersection numbers with the two sphere classes, and constructs an exhausting strictly plurisubharmonic function $\\hat h$ on the complement of $\\hat H$ whose level sets include the boundary of a deformed filling $W'$. The maximum principle applied to $\\hat h$, together with the $\\mathrm{d}(\\mathrm{d}\\hat h\\circ J)$-energy and the symplectic asphericity of $W'$, forces the only potentially remaining two-component bubble configuration to consist of constant spheres, completing the proof.","core_discovery":"Theorem 1 states that the underlying smooth manifold $W$ of any symplectically aspherical filling $(W,\\omega)$ of $(M,\\xi)=(ST^*S^{2d+1},\\xi)$ is diffeomorphic to $W_{\\mathrm{st}}=DT^*S^{2d+1}$, the standard unit co-disc bundle. The proof follows a known reduction: first, the $h$-cobordism theorem reduces the diffeomorphism claim to a homological criterion; then, a moduli-space argument reduces that criterion to properness of the evaluation map from the space of holomorphic spheres. The new ingredient is a carefully chosen complex hypersurface $\\hat H\\subset CP^1\\times\\mathbb{C}^d\\times CP^d$, defined by the homogeneous equation $z_0w_0+z'_0(z_1w_1+\\dots+z_dw_d)=0$, which lies in the interior of the symplectic cap and intersects both relevant holomorphic sphere classes exactly once. Using $\\hat H$, the authors compute the full intersection pattern of any stable limiting configuration and show that the only possibility besides properness is a two-bubble case with intersection numbers $1+\\ell_1=0$ and $\\ell_2=1$. This remaining case is excluded by a maximum principle applied to an exhausting strictly plurisubharmonic function $\\hat h$ on $\\hat Z\\setminus(\\hat H\\cup\\operatorname{Int}(W'))$: any holomorphic sphere avoiding $\\hat H$ must lie in a level set of $\\hat h$ or in $W'$, and in either case the sphere is constant, a contradiction. Therefore the evaluation map is proper and the diffeomorphism conclusion follows.","pith_inferences":["Editorial inference: the construction of a second hyperplane class supported in the cap, together with a plurisubharmonic exhaustion, may adapt to other contact boundaries that admit a similar 'second class', potentially extending the uniqueness result to unit cotangent bundles of other base manifolds with vanishing Euler characteristic.","Editorial inference: the exhausting strictly plurisubharmonic function $\\hat h$ may carry additional geometric information, for instance about Stein or Weinstein structures on the complement, which could yield stronger conclusions about the filling beyond smooth diffeomorphism type.","Editorial inference: a direct low-dimensional check (such as $d=1$) of the claimed intersection numbers $C_i\\cdot\\hat H=1$ and of the maximum-principle step in the $N=2$ case would provide a quick independent verification of the new machinery."],"forward_implications":["Every symplectically aspherical filling of $ST^*S^{2d+1}$ is diffeomorphic to the standard co-disc bundle $DT^*S^{2d+1}$.","The earlier 'fittings' machinery is shown to be unnecessary: the full classification follows from holomorphic-curve arguments alone.","The result subsumes the partial uniqueness statements for odd-dimensional sphere cotangent bundles and covers all $d\\ge1$.","The properness of the evaluation map, established by ruling out all bubbling configurations, is the mechanism that yields the $h$-cobordism conclusion.","Any future symplectically aspherical filling of this boundary automatically inherits the smooth topology of the standard filling, regardless of its symplectic structure."],"supporting_citations":[{"why":"Supplies the $h$-cobordism criterion reducing diffeomorphism to homological surjectivity and the moduli-space reduction to properness of the evaluation map.","marker":"[9]"},{"why":"Provides the previous partial uniqueness result for unit cotangent bundles of spheres that the present proof generalises.","marker":"[8]"},{"why":"Establishes the base classification for the standard contact sphere, the model case that the filling uniqueness results extend.","marker":"[10]"},{"why":"Gives the fact that a convex increasing function composed with a strictly plurisubharmonic function remains strictly plurisubharmonic, used in constructing $\\hat h$.","marker":"[3]"},{"why":"Provides positivity of local intersection numbers of holomorphic curves with complex hypersurfaces, used in the intersection count with $\\hat H$.","marker":"[7]"},{"why":"Used as the source for the construction of the exhausting strictly plurisubharmonic function $h=\\chi f+C\\kappa(g)$ on the affine quadric.","marker":"[4]"}],"fun_headline_variants":["No fittings: odd-sphere cotangent fillings all standard","Fittings unnecessary: cotangent fillings of odd spheres are standard","All symplectic fillings of odd-sphere cotangent bundles are standard","Symplectic fillings of odd spheres: no fittings, all standard"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the strictly plurisubharmonic exhaustion $\\hat h$ can be extended over the cap with $\\partial W'$ as a level set, so that the maximum principle forces any holomorphic sphere with zero intersection with $\\hat H$ to be constant.","fun_headline_variants_meta":{"raw":{"variants":["No fittings: odd-sphere cotangent fillings all standard","Fittings unnecessary: cotangent fillings of odd spheres are standard","All symplectic fillings of odd-sphere cotangent bundles are standard","Symplectic fillings of odd spheres: no fittings, all standard"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000766,"raw_usage":{"total_tokens":3373,"prompt_tokens":898,"completion_tokens":2475,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":2395}},"tokens_in":514,"tokens_out":2475,"duration_ms":20053,"temperature":1.0,"reasoning_tokens":2395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:32:24.642229+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a symplectically aspherical filling $W$ of $ST^*S^{2d+1}$, for some $d\\ge1$, whose singular homology $H_*(W)$ differs from $H_*(DT^*S^{2d+1})$; by the $h$-cobordism criterion used in Section 2.1, such a filling cannot be diffeomorphic to $W_{\\mathrm{st}}$ and would directly contradict Theorem 1.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the $h$-cobordism criterion reducing diffeomorphism to homological surjectivity and the moduli-space reduction to properness of the evaluation map."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the previous partial uniqueness result for unit cotangent bundles of spheres that the present proof generalises."},{"cited_title":"McDuff , Symplectic manifolds with contact type boundaries, Invent","cited_arxiv_id":null,"evidence_quote":"Establishes the base classification for the standard contact sphere, the model case that the filling uniqueness results extend."},{"cited_title":"Cieliebak, Ya","cited_arxiv_id":null,"evidence_quote":"Gives the fact that a convex increasing function composed with a strictly plurisubharmonic function remains strictly plurisubharmonic, used in constructing $\\hat h$."},{"cited_title":"Griffiths, J","cited_arxiv_id":null,"evidence_quote":"Provides positivity of local intersection numbers of holomorphic curves with complex hypersurfaces, used in the intersection count with $\\hat H$."},{"cited_title":"Duval , Une contrainte g\\' e om\\' e trique pour certaines sous-vari\\' e t\\' e s rationnellement convexes, Math","cited_arxiv_id":null,"evidence_quote":"Used as the source for the construction of the exhausting strictly plurisubharmonic function $h=\\chi f+C\\kappa(g)$ on the affine quadric."}],"review_version":1}