For an immersed Lagrangian submanifold $L$ in a Kähler manifold $(M,Ï)$, there exists a symplectic local diffeomorphism from a tubular neighborhood of the image of the zero section in the normal bundle $T^{\bot}L$ of $L$, equipped with a canonical symplectic form $\tildeÏ$, to $(M,Ï)$ whose restriction to $L$ is the identity map by Weinstein's Lagrangian tubular neighborhood theorem, where the image of the zero section in $T^{\bot}L$ is identified with $L$. In this paper, we give a lower bound for the supremum of the radii of tubular neighborhoods that have such a symplectic diffeomorphism into $(M,Ï)$ from below by a constant explicitly given in terms of up to second derivatives of the Riemannian curvature tensor of $M$ and the second fundamental form of $L$. We also give a similar lower bound in the case where $L$ is compact and embedded.
论文ID : 2511.10973标题 : A lower bound for the radius of Weinstein's Lagrangian tubular neighborhood作者 : Hikaru Yamamoto (University of Tsukuba)分类 : math.DG (Differential Geometry), math.SG (Symplectic Geometry)发表时间 : 2025年11月14日 (arXiv预印本)论文链接 : https://arxiv.org/abs/2511.10973 本文针对Kähler流形 ( M , ω ) (M,\omega) ( M , ω ) L L L M M M L L L
1971年，Alan Weinstein证明了著名的Lagrangian管状邻域定理：对于辛流形 ( M , ω ) (M,\omega) ( M , ω ) L L L L L L T ∗ L T^*L T ∗ L U U U L L L M M M V V V Θ : U → V \Theta: U \to V Θ : U → V Θ ∗ ω = ω ~ \Theta^*\omega = \tilde{\omega} Θ ∗ ω = ω ~ ω ~ \tilde{\omega} ω ~ T ∗ L T^*L T ∗ L Θ \Theta Θ L L L
然而，Weinstein定理仅保证了管状邻域的存在性，而没有给出邻域"有多大"的定量信息 。这导致在应用该定理时，必须使用模糊的限定词，如"充分 C 1 C^1 C 1 L L L L ′ L' L ′ η \eta η
Weinstein管状邻域在辛几何中有重要应用：
邻域 U U U η \eta η V V V 这种对应关系在研究Lagrangian子流形的形变理论中至关重要 缺乏定量估计使得理论结果难以在具体问题中应用 Weinstein的原始证明是存在性的，不提供任何半径估计 文献中缺乏关于管状邻域半径下界的显式、可计算的表达式 对于非紧致或仅为浸入（而非嵌入）的情况，缺乏系统研究 本文的核心动机是消除这种不令人满意的模糊性 ，通过引入量 r W ( L ) r_W(L) r W ( L ) r W imm ( L ) r_W^{\text{imm}}(L) r W imm ( L )
引入了两个新的几何量 ：r W imm ( L ) r_W^{\text{imm}}(L) r W imm ( L ) r W ( L ) r_W(L) r W ( L ) 建立了显式下界估计 （定理1.2）：
对于浸入的Lagrangian子流形，当
B : = max { sup M ∣ R M ∣ 1 / 2 , sup M ∣ ∇ R M ∣ 1 / 3 , sup M ∣ ∇ 2 R M ∣ 1 / 4 , sup L ∣ I I ∣ , sup L ∣ ∇ I I ∣ 1 / 2 , sup L ∣ ∇ 2 I I ∣ 1 / 3 } < ∞ B := \max\left\{\sup_M |R_M|^{1/2}, \sup_M |\nabla R_M|^{1/3}, \sup_M |\nabla^2 R_M|^{1/4}, \sup_L |II|, \sup_L |\nabla II|^{1/2}, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty B := max { sup M ∣ R M ∣ 1/2 , sup M ∣∇ R M ∣ 1/3 , sup M ∣ ∇ 2 R M ∣ 1/4 , sup L ∣ II ∣ , sup L ∣∇ II ∣ 1/2 , sup L ∣ ∇ 2 II ∣ 1/3 } < ∞ r W imm ( L ) ≥ 10 − 100 ⋅ 1 B r_W^{\text{imm}}(L) \geq 10^{-100} \cdot \frac{1}{B} r W imm ( L ) ≥ 1 0 − 100 ⋅ B 1 处理了嵌入情况 （定理1.3）：
对于紧致嵌入的情况，引入嵌入常数 emb ( L ) \text{emb}(L) emb ( L ) B ∗ B^* B ∗ r W ( L ) ≥ 10 − 100 ⋅ 1 B ∗ r_W(L) \geq 10^{-100} \cdot \frac{1}{B^*} r W ( L ) ≥ 1 0 − 100 ⋅ B ∗ 1 适用于非紧致情形 ：定理1.2对完备的非紧致Lagrangian子流形也成立，这是重要优势构造性证明 ：证明过程是完全构造性的，实际构造了所需的辛微分同胚输入 ：
Kähler流形 ( M , ω , g , J ) (M, \omega, g, J) ( M , ω , g , J ) Lagrangian浸入 i : L → M i: L \to M i : L → M i ∗ ω = 0 i^*\omega = 0 i ∗ ω = 0 几何量的界：∣ R M ∣ , ∣ ∇ R M ∣ , ∣ ∇ 2 R M ∣ |R_M|, |\nabla R_M|, |\nabla^2 R_M| ∣ R M ∣ , ∣∇ R M ∣ , ∣ ∇ 2 R M ∣ ∣ I I ∣ , ∣ ∇ I I ∣ , ∣ ∇ 2 I I ∣ |II|, |\nabla II|, |\nabla^2 II| ∣ II ∣ , ∣∇ II ∣ , ∣ ∇ 2 II ∣ 输出 ：
半径 r > 0 r > 0 r > 0 辛微分同胚（或浸入）Θ : U r ( T ⊥ L ) → M \Theta: U_r(T^\perp L) \to M Θ : U r ( T ⊥ L ) → M 约束条件 ：
Θ ∗ ω = ω ~ \Theta^* \omega = \tilde{\omega} Θ ∗ ω = ω ~ Θ ( p ) = p \Theta(p) = p Θ ( p ) = p p ∈ L p \in L p ∈ L 证明策略基于Moser技巧 的定量版本，分为四个主要步骤：
定义映射 F : T ⊥ L → M F: T^\perp L \to M F : T ⊥ L → M F ( v ) = exp π ( v ) v F(v) = \exp_{\pi(v)} v F ( v ) = exp π ( v ) v U 1 ⊂ T ⊥ L U_1 \subset T^\perp L U 1 ⊂ T ⊥ L F F F
创新点 ：不直接估计 U 1 U_1 U 1
构造辛形式的插值族：
ω t : = ( 1 − t ) ω ~ + t F ∗ ω , t ∈ [ 0 , 1 ] \omega_t := (1-t)\tilde{\omega} + t F^*\omega, \quad t \in [0,1] ω t := ( 1 − t ) ω ~ + t F ∗ ω , t ∈ [ 0 , 1 ]
关键估计 （命题3.5）：对于 v ∈ U r ( T ⊥ L ) v \in U_r(T^\perp L) v ∈ U r ( T ⊥ L ) λ : = ∣ v ∣ \lambda := |v| λ := ∣ v ∣ ω t ( X , J ~ X ) ≥ ( 1 − K 0 ( λ ) ) ∣ X ∣ G 2 \omega_t(X, \tilde{J}X) \geq (1 - K_0(\lambda))|X|_G^2 ω t ( X , J ~ X ) ≥ ( 1 − K 0 ( λ )) ∣ X ∣ G 2 K 0 ( λ ) : = 2 λ 2 C 0 ( 1 + λ 2 A 0 2 ) e 1 + λ 2 C 0 + λ A 0 K_0(\lambda) := 2\lambda^2 C_0(1 + \lambda^2 A_0^2)e^{1+\lambda^2 C_0} + \lambda A_0 K 0 ( λ ) := 2 λ 2 C 0 ( 1 + λ 2 A 0 2 ) e 1 + λ 2 C 0 + λ A 0
当 K 0 ( r ) < 1 K_0(r) < 1 K 0 ( r ) < 1 ω t \omega_t ω t U r ( T ⊥ L ) U_r(T^\perp L) U r ( T ⊥ L )
技术要点 ：
使用Sasaki度量 G G G T ⊥ L T^\perp L T ⊥ L 通过Jacobi场估计控制 F ∗ ω F^*\omega F ∗ ω ω ~ \tilde{\omega} ω ~ 利用Kähler条件 ∇ J = 0 \nabla J = 0 ∇ J = 0 利用同伦公式，存在1-形式 μ \mu μ F ∗ ω − ω ~ = d μ , μ ∣ L = 0 F^*\omega - \tilde{\omega} = d\mu, \quad \mu|_L = 0 F ∗ ω − ω ~ = d μ , μ ∣ L = 0
定义时间依赖向量场 X t X_t X t ω t ( X t , ⋅ ) = − μ \omega_t(X_t, \cdot) = -\mu ω t ( X t , ⋅ ) = − μ
关键估计 （命题6.2和6.5）：
∣ X t ( v ) ∣ G ≤ 10 ∣ v ∣ |X_t(v)|_G \leq 10|v| ∣ X t ( v ) ∣ G ≤ 10∣ v ∣ ∣ ∇ G X t ( v ) ∣ G ≤ 294 |\nabla^G X_t(v)|_G \leq 294 ∣ ∇ G X t ( v ) ∣ G ≤ 294
技术难点 ：需要精细估计：
∣ ∇ G ω ~ ∣ G |\nabla^G \tilde{\omega}|_G ∣ ∇ G ω ~ ∣ G ∣ ∇ G ( F ∗ ω ) ∣ G |\nabla^G(F^*\omega)|_G ∣ ∇ G ( F ∗ ω ) ∣ G F F F ∣ ∇ G μ ∣ G |\nabla^G \mu|_G ∣ ∇ G μ ∣ G 需要证明向量场 { X t } t ∈ [ 0 , 1 ] \{X_t\}_{t \in [0,1]} { X t } t ∈ [ 0 , 1 ] Φ t \Phi_t Φ t [ 0 , 1 ] [0,1] [ 0 , 1 ]
核心技巧 ：使用Lindelöf引理 （附录B）而非标准的Picard-Lindelöf定理。
标准理论给出存在时间：
t ∗ = min { 1 , dist ( p , ∂ U ) M ∗ } t^* = \min\left\{1, \frac{\text{dist}(p, \partial U)}{M^*}\right\} t ∗ = min { 1 , M ∗ dist ( p , ∂ U ) } M ∗ = sup ∣ X t ∣ M^* = \sup |X_t| M ∗ = sup ∣ X t ∣ M ∗ ∼ C r M^* \sim Cr M ∗ ∼ C r p p p L L L t ∗ = 1 t^* = 1 t ∗ = 1
Lindelöf引理 改进为：
t ∗ = min { 1 , 1 D log ( 1 + D ⋅ dist ( p , ∂ U ) M ∗ ( p ) ) } t^* = \min\left\{1, \frac{1}{D}\log\left(1 + \frac{D \cdot \text{dist}(p, \partial U)}{M^*(p)}\right)\right\} t ∗ = min { 1 , D 1 log ( 1 + M ∗ ( p ) D ⋅ dist ( p , ∂ U ) ) } D D D M ∗ ( p ) ∼ C α r M^*(p) \sim C\alpha r M ∗ ( p ) ∼ C α r α \alpha α α \alpha α t ∗ = 1 t^* = 1 t ∗ = 1
具体实现 （第7节）：
在特定坐标卡 B p ( r ) × B p ( r / 2 ) B_p(r) \times B_p(r/2) B p ( r ) × B p ( r /2 ) 通过映射 Q p ( X , Y ) = J Y ~ ( X ) Q_p(X,Y) = J\tilde{Y}(X) Q p ( X , Y ) = J Y ~ ( X ) X t X_t X t 估计拉回向量场的范数和导数（引理7.3和7.4） 应用命题B.1得到流的全局存在性 最终得到微分同胚：
Θ : = F ∘ Φ 1 : U α r / 2 ( T ⊥ L ) → M \Theta := F \circ \Phi_1: U_{\alpha r/2}(T^\perp L) \to M Θ := F ∘ Φ 1 : U α r /2 ( T ⊥ L ) → M
对于嵌入的 L L L F F F
引入嵌入常数 ：
emb ( L ) : = sup { d L ( p , q ) d M ( p , q ) ∣ p , q ∈ L , p ≠ q } \text{emb}(L) := \sup\left\{\frac{d_L(p,q)}{d_M(p,q)} \,\Big|\, p,q \in L, p \neq q\right\} emb ( L ) := sup { d M ( p , q ) d L ( p , q ) p , q ∈ L , p = q }
单射性条件 （命题9.3）：当
r ≤ 1 3 emb ( L ) min { ρ 0 , π 2 C 0 , 1 C 0 arctan ( C 0 A 0 ) } r \leq \frac{1}{3\text{emb}(L)} \min\left\{\rho_0, \frac{\pi}{2\sqrt{C_0}}, \frac{1}{\sqrt{C_0}}\arctan\left(\frac{\sqrt{C_0}}{A_0}\right)\right\} r ≤ 3 emb ( L ) 1 min { ρ 0 , 2 C 0 π , C 0 1 arctan ( A 0 C 0 ) } F : U r ( T ⊥ L ) → M F: U_r(T^\perp L) \to M F : U r ( T ⊥ L ) → M
证明思路 ：
假设 F ( v 0 ) = F ( v 1 ) F(v_0) = F(v_1) F ( v 0 ) = F ( v 1 ) v 0 ≠ v 1 v_0 \neq v_1 v 0 = v 1 构造 L L L π ( v 0 ) \pi(v_0) π ( v 0 ) π ( v 1 ) \pi(v_1) π ( v 1 ) 利用Rauch比较定理和Jacobi场估计导出矛盾 定量Moser技巧 ：将经典的Moser存在性证明转化为完全定量的版本Sasaki度量的系统使用 ：在法丛 T ⊥ L T^\perp L T ⊥ L Jacobi场的精细估计 ：命题A.1给出了带外力项的Jacobi场估计 引理4.1和命题A.2给出了指数映射导数的高阶估计 缩放技巧 ：通过缩放映射 ρ t ( v ) = t v \rho_t(v) = tv ρ t ( v ) = t v μ ∣ L = 0 \mu|_L = 0 μ ∣ L = 0 Lindelöf引理的应用 ：关键性地使用对数型存在时间估计，突破线性增长的限制常数的显式追踪 ：整个证明过程中所有常数都是显式的（虽然不是最优的）本文是纯数学理论论文，不涉及数值实验或计算实验 。所有结果都是通过严格的数学证明得到的。
构造性证明 ：实际构造了所需的辛微分同胚显式常数 ：所有估计都给出了具体的数值常数一致性检验 ：各步骤的估计相互协调，最终得到自洽的结果环境流形 ：完备Kähler流形（必须是Kähler而非一般辛流形）子流形 ：完备的Lagrangian浸入或嵌入几何量有界 ：需要曲率和第二基本形式及其导数有界定理8.4 （浸入情况）：如果
B = max { sup M ∣ R M ∣ 1 / 2 , sup M ∣ ∇ R M ∣ 1 / 3 , sup M ∣ ∇ 2 R M ∣ 1 / 4 , sup L ∣ I I ∣ , sup L ∣ ∇ I I ∣ 1 / 2 , sup L ∣ ∇ 2 I I ∣ 1 / 3 } < ∞ B = \max\left\{\sup_M |R_M|^{1/2}, \sup_M |\nabla R_M|^{1/3}, \sup_M |\nabla^2 R_M|^{1/4}, \sup_L |II|, \sup_L |\nabla II|^{1/2}, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty B = max { sup M ∣ R M ∣ 1/2 , sup M ∣∇ R M ∣ 1/3 , sup M ∣ ∇ 2 R M ∣ 1/4 , sup L ∣ II ∣ , sup L ∣∇ II ∣ 1/2 , sup L ∣ ∇ 2 II ∣ 1/3 } < ∞ r W imm ( L ) ≥ 10 − 100 ⋅ 1 B r_W^{\text{imm}}(L) \geq 10^{-100} \cdot \frac{1}{B} r W imm ( L ) ≥ 1 0 − 100 ⋅ B 1
定理9.4 （嵌入情况）：如果 L L L B ∗ = 3 emb ( L ) ⋅ max { 1 inj ( M , g ) , sup M ∣ R M ∣ 1 / 2 , … , sup L ∣ ∇ 2 I I ∣ 1 / 3 } < ∞ B^* = 3\text{emb}(L) \cdot \max\left\{\frac{1}{\text{inj}(M,g)}, \sup_M |R_M|^{1/2}, \ldots, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty B ∗ = 3 emb ( L ) ⋅ max { inj ( M , g ) 1 , sup M ∣ R M ∣ 1/2 , … , sup L ∣ ∇ 2 II ∣ 1/3 } < ∞ r W ( L ) ≥ 10 − 100 ⋅ 1 B ∗ r_W(L) \geq 10^{-100} \cdot \frac{1}{B^*} r W ( L ) ≥ 1 0 − 100 ⋅ B ∗ 1
常数 10 − 100 10^{-100} 1 0 − 100 ：
在证明过程中，需要满足两个主要条件：
r K 1 ( r ) ≤ e rK_1(r) \leq e r K 1 ( r ) ≤ e D 0 ( r ) ≤ C ˉ 0 D_0(r) \leq \bar{C}_0 D 0 ( r ) ≤ C ˉ 0 通过追踪所有中间估计，得到充分条件：
r ≤ 1 1396 min { 1 C 0 , C 0 C 1 , C 0 C 2 , 1 A 0 , A 0 A 1 , A 0 A 2 } r \leq \frac{1}{1396} \min\left\{\frac{1}{\sqrt{C_0}}, \frac{C_0}{C_1}, \frac{\sqrt{C_0}}{\sqrt{C_2}}, \frac{1}{A_0}, \frac{A_0}{A_1}, \frac{\sqrt{A_0}}{\sqrt{A_2}}\right\} r ≤ 1396 1 min { C 0 1 , C 1 C 0 , C 2 C 0 , A 0 1 , A 1 A 0 , A 2 A 0 }
进一步简化为 r ≤ 10 − 100 / B r \leq 10^{-100}/B r ≤ 1 0 − 100 / B 10 − 100 10^{-100} 1 0 − 100
注 ：作者明确指出这个常数不是最优的 ，但重要的是它是显式的和可计算的 。
注记1.4 ：常数 B B B B ∗ B^* B ∗ g g g − 1 / 2 -1/2 − 1/2 B ( λ g ) = 1 λ B ( g ) B(\lambda g) = \frac{1}{\sqrt{\lambda}} B(g) B ( λ g ) = λ 1 B ( g )
这与半径 r r r r ( λ g ) = λ r ( g ) r(\lambda g) = \sqrt{\lambda} r(g) r ( λ g ) = λ r ( g )
非退化性估计 （推论3.7）：当 K 0 ( r ) ≤ 1 − ε K_0(r) \leq 1-\varepsilon K 0 ( r ) ≤ 1 − ε ∣ ω t ( X , J ~ X ) ∣ ≥ ε ∣ X ∣ G 2 |\omega_t(X, \tilde{J}X)| \geq \varepsilon |X|_G^2 ∣ ω t ( X , J ~ X ) ∣ ≥ ε ∣ X ∣ G 2 向量场估计 ：∣ X t ( v ) ∣ G ≤ 10 ∣ v ∣ |X_t(v)|_G \leq 10|v| ∣ X t ( v ) ∣ G ≤ 10∣ v ∣ ∣ ∇ G X t ∣ G ≤ 294 |\nabla^G X_t|_G \leq 294 ∣ ∇ G X t ∣ G ≤ 294 指数映射导数 （推论A.3）：在 D 0 ( ∣ X ∣ ) ≤ C 0 D_0(|X|) \leq C_0 D 0 ( ∣ X ∣ ) ≤ C 0 ∣ Y ~ ( X ) ∣ ≤ 2 ∣ Y ∣ |\tilde{Y}(X)| \leq 2|Y| ∣ Y ~ ( X ) ∣ ≤ 2∣ Y ∣ ∣ ∇ Y 2 Y ~ 1 ( X ) ∣ ≤ 38 C 0 ∣ X ∣ ∣ Y 1 ∣ ∣ Y 2 ∣ |\nabla_{Y_2}\tilde{Y}_1(X)| \leq 38C_0|X||Y_1||Y_2| ∣ ∇ Y 2 Y ~ 1 ( X ) ∣ ≤ 38 C 0 ∣ X ∣∣ Y 1 ∣∣ Y 2 ∣ ∣ ∇ Y 3 ∇ Y 2 Y ~ 1 ( X ) ∣ ≤ 109 C 0 ∣ Y 1 ∣ ∣ Y 2 ∣ ∣ Y 3 ∣ |\nabla_{Y_3}\nabla_{Y_2}\tilde{Y}_1(X)| \leq 109C_0|Y_1||Y_2||Y_3| ∣ ∇ Y 3 ∇ Y 2 Y ~ 1 ( X ) ∣ ≤ 109 C 0 ∣ Y 1 ∣∣ Y 2 ∣∣ Y 3 ∣ Weinstein Wei71 ：原始的Lagrangian管状邻域定理，适用于Banach流形的情形Moser Mos65 ：Moser技巧，通过时间依赖向量场构造辛微分同胚Guillemin-Sternberg GS77 和 Weinstein Wei79 ：辛几何的系统阐述，包括管状邻域定理的详细证明Cannas da Silva Can01 ：现代辛几何教科书，包含兼容复结构的存在性Eichhorn Eic91 ：指数映射导数的界估计，本文命题A.2的证明基于其技术Jost Jos11 ：Rauch比较定理和Jacobi场理论，用于单射性证明Kowalski Kow71 ：切丛上Sasaki度量的曲率计算首次给出定量结果 ：虽然Weinstein定理已有50多年历史，但这是首次给出管状邻域半径的显式下界完全构造性 ：不同于存在性定理，本文的证明是完全构造性的技术综合 ：结合了辛几何、Riemannian几何和ODE理论的多种技术定量Weinstein定理 ：对于满足几何量有界条件的Lagrangian子流形，管状邻域半径有显式的下界 10 − 100 / B 10^{-100}/B 1 0 − 100 / B 非紧致情形 ：结果对完备非紧致的Lagrangian子流形也成立嵌入情形 ：通过引入嵌入常数，可以保证构造的映射是微分同胚而非仅是局部微分同胚构造性方法 ：整个证明过程是构造性的，原则上可以数值实现常数不最优 ：10 − 100 10^{-100} 1 0 − 100 Kähler假设 ：要求环境流形是Kähler而非一般辛流形，这是为了简化计算（利用 ∇ J = 0 \nabla J = 0 ∇ J = 0 高阶导数依赖 ：下界依赖于曲率和第二基本形式的二阶导数，这些量在实际中可能难以计算几何量全局有界 ：需要假设曲率等几何量在整个流形上有界，这排除了一些重要例子论文没有明确提出未来方向，但可以考虑：
改进常数 ：通过更精细的估计改进 10 − 100 10^{-100} 1 0 − 100 放宽Kähler假设 ：推广到一般辛流形或almost Kähler流形降低导数阶数 ：研究是否可以仅用一阶导数给出估计数值实现 ：将构造性证明转化为实际算法应用研究 ：将定量结果应用于Lagrangian子流形的形变理论、Floer同调等领域原创性强 ：首次给出Weinstein定理的定量版本 解决了50年来的一个自然但未被解决的问题 方法具有创新性，将多个领域的技术巧妙结合 技术深度 ：证明涉及辛几何、Riemannian几何、ODE理论的深刻结果 Jacobi场估计、Sasaki度量、Lindelöf引理的使用都很精妙 所有估计都是显式的，技术难度很高 完备性 ：论文自包含，附录提供了所需的所有技术引理 常数追踪完整，没有隐藏的"充分大/小"假设 处理了浸入和嵌入两种情况 写作质量 ：结构清晰，动机解释充分 第2节的策略概述非常有帮助 技术细节详尽但不冗余 常数过于保守 ：10 − 100 10^{-100} 1 0 − 100 作者坦承这一点，但没有给出改进的途径 某些中间估计可能可以大幅优化 假设的限制性 ：Kähler假设排除了许多重要的辛流形 几何量全局有界的假设很强 对非紧致情形，完备性假设也是必要的 缺少具体例子 ：论文没有给出任何具体的几何例子 没有讨论在标准例子（如C n \mathbb{C}^n C n 缺少与已知结果的数值比较 应用讨论不足 ：没有讨论定量结果在Lagrangian相交理论、Floer同调等方面的潜在应用 没有与物理中的应用（如镜像对称）建立联系 技术细节的可读性 ：第7节的坐标计算相当技术性，可能难以跟随 某些记号（如 ∘ \circ ∘ 理论贡献 ：为Weinstein定理提供了定量版本，填补了理论空白 证明技术可能启发其他几何定理的定量化研究 对辛几何和Riemannian几何的交叉研究有推动作用 实用价值 ：由于常数过小，直接实用价值有限 但原则上使得"充分接近"这类表述可以精确化 为数值辛几何提供了理论基础 可复现性 ：证明完全显式，原则上可复现 没有数值实验，不涉及代码实现 技术难度高，完全理解需要扎实的几何背景 后续研究 ：可能激发关于常数优化的研究 可能推动其他几何定理的定量化 为Lagrangian子流形理论提供了新工具 理论研究 ：需要精确陈述Weinstein定理应用范围的理论工作 Lagrangian子流形形变理论的严格化 辛拓扑中需要定量控制的问题 几何分析 ：研究具有有界几何的Lagrangian子流形 曲率流等演化方程中的应用 不太适用的场景 ：实际数值计算（常数太小） 无界几何的情形 非Kähler辛流形 论文引用了以下关键文献：
Wei71 Mos65 Eic91 Jos11 Can01 Lee13 这是一篇技术性很强、原创性高 的纯数学论文。它解决了Weinstein Lagrangian管状邻域定理的一个自然但长期未解决的问题：给出半径的显式下界。虽然得到的常数 10 − 100 10^{-100} 1 0 − 100 这样的显式界确实存在 ，并且是可计算的 。
论文的主要价值在于：
理论完备性 ：使Weinstein定理从存在性结果变为定量结果方法创新性 ：展示了如何系统地将存在性证明转化为定量估计技术深度 ：综合运用了多个领域的深刻技术主要限制在于：
常数不够优化，实际应用价值有限 假设条件较强（Kähler、有界几何） 缺少具体例子和应用讨论 对于辛几何和几何分析 领域的研究者，这是一篇值得仔细研读的论文，特别是其证明技术和常数追踪的方法。对于应用导向 的读者，论文的理论意义大于实用价值。
