Weinstein Tubular Neighborhood Theorem

TheoremWeinstein Lagrangian Neighborhood Theorem

Let $L$ be a Lagrangian submanifold of a symplectic manifold $(M, \omega)$ . Then there exists a neighborhood $U$ of $L$ in $M$ and a symplectomorphism:

$\phi: (U, \omega) \to (V, \omega_{T^*L})$

where $V$ is a neighborhood of the zero section in $T^*L$ with its canonical symplectic structure, and $\phi$ maps $L$ to the zero section.

Moreover, this symplectomorphism is unique up to isotopy rel $L$ .

This remarkable theorem, proved by Alan Weinstein in 1971, asserts that every Lagrangian submanifold has a standard neighborhood model: it looks locally like the zero section of its own cotangent bundle. This is the Lagrangian analogue of the tubular neighborhood theorem in Riemannian geometry.

Geometric Interpretation: Near any Lagrangian $L$ , we can introduce "position coordinates" on $L$ and "momentum coordinates" in the normal directions, making $\omega$ take the standard cotangent bundle form.

Remark

The theorem fails for non-Lagrangian submanifolds. Symplectic submanifolds, for instance, have no universal local model: their neighborhoods depend on global topology and cannot be standardized.

DefinitionLagrangian Neighborhood Coordinates

Given the Weinstein symplectomorphism $\phi: U \to T^*L$ , we obtain Lagrangian neighborhood coordinates $(q_1, \ldots, q_n, p_1, \ldots, p_n)$ on $U$ where:

$(q_i)$ are local coordinates on $L$
$(p_i)$ are fiber coordinates in $T^*L$
$\omega = \sum_{i=1}^n dq_i \wedge dp_i$ on $U$
$L$ corresponds to $\{p_1 = \cdots = p_n = 0\}$

ExampleZero Section in Cotangent Bundle

For $L = Q$ (zero section) in $M = T^*Q$ , the Weinstein theorem is tautological: the entire cotangent bundle serves as the neighborhood, and the identity map is the required symplectomorphism.

For other Lagrangians in $T^*Q$ , the theorem provides non-trivial local models.

The proof uses Moser's deformation method: construct a path of symplectic forms connecting $\omega|_U$ to the standard form on $T^*L$ , then integrate the associated time-dependent vector field to produce the symplectomorphism.

DefinitionWeinstein's Proof Strategy

The key steps are:

Normal bundle identification: The symplectic complement $(TL)^\omega$ is naturally isomorphic to $T^*L$
Tubular neighborhood: Use the exponential map to identify a neighborhood of $L$ with a neighborhood of the zero section in $(TL)^\omega \cong T^*L$
Symplectic correction: Apply Moser's method to deform the pulled-back form to the canonical form

ExampleLagrangian Embedding of $\mathbb{R}^n$

Consider the Lagrangian embedding:

$L = \{(q, dS(q)) : q \in \mathbb{R}^n\} \subseteq T^*\mathbb{R}^n$

where $S: \mathbb{R}^n \to \mathbb{R}$ is a smooth function. The Weinstein theorem gives a symplectomorphism from a neighborhood of $L$ to a neighborhood of the zero section in $T^*\mathbb{R}^n$ .

Explicitly, one can construct $\phi$ via the generating function transformation.

Remark

The Weinstein theorem has profound implications for symplectic topology:

It reduces local questions about Lagrangians to questions about cotangent bundles
It provides the foundation for Lagrangian Floer homology
It enables the definition of "Lagrangian surgery" by cutting and pasting standard neighborhoods

DefinitionMaslov Class

The obstruction to extending the Weinstein symplectomorphism globally is measured by the Maslov class $\mu_L \in H^1(L; \mathbb{Z})$ , which captures how the Lagrangian twists as we move along loops in $L$ .

The Maslov class vanishes if and only if $L$ admits a global "phase function," making it the graph of a closed 1-form.

ExampleClifford Torus in $\mathbb{CP}^n$

The Clifford torus in $\mathbb{CP}^n$ :

$T^n = \{[z_0 : \cdots : z_n] : |z_0| = \cdots = |z_n|\} \subseteq \mathbb{CP}^n$

is a Lagrangian submanifold with non-trivial Maslov class. Its neighborhood structure is determined by this topological invariant, not just by the local geometry.