Liouville polarizations and the rigidity of their Lagrangian skeleta in dimension $4$

Imagine you have a giant, magical, four-dimensional balloon (a symplectic manifold). Inside this balloon, you want to fit a smaller, perfectly round ball of water. Usually, in the world of symplectic geometry (the math of fluid-like shapes), you can't just squash the water ball into a thin, long tube if it's too wide. This is a famous rule called the "Non-Squeezing Theorem."

However, this paper asks a tricky question: What if we poke a few holes in the water ball? If we remove just the right amount of "stuff" from the ball, can we then squeeze the rest into that thin tube?

The authors, Emmanuel Opshtein and Felix Schlenk, say: "Yes, but only if the holes we remove are shaped like specific, rigid skeletons."

Here is a breakdown of their discoveries using everyday analogies:

1. The "Lagrangian Skeleton" (The Invisible Cage)

Imagine you have a 4D ball of jelly. The authors introduce a concept called a Liouville Polarisation. Think of this as placing a specific, invisible wireframe cage inside the jelly.

The Cage: This cage isn't just random wire; it's a "Lagrangian skeleton." It looks like a grid of intersecting sheets or a network of roads.
The Magic: If you remove this cage (the jelly that touches the wire), the remaining jelly becomes incredibly flexible. It can stretch and shrink in ways that normal jelly cannot.
The Result: They prove that if you remove a specific grid-like skeleton from a 4D ball, the remaining jelly can be squeezed into a very thin cylinder (a "tube") that was previously impossible to fit into.

2. The "Grid" Analogy

To make this concrete, imagine a 2D pizza (a disc).

The Grid: Draw a grid of lines on the pizza that cuts it into many small, equal slices (like a pizza cut into 100 tiny triangles).
The 4D Version: Now, imagine doing this in 4 dimensions. You have a "grid" made of intersecting planes.
The Discovery: The authors show that if you remove these grid lines (the Lagrangian skeleton) from a 4D ball, the leftover space is so "loose" that it can be squashed into a cylinder that is only half the size of the original ball's width.

3. "Rigidity" vs. "Flexibility"

This is the core conflict of the paper:

Flexibility: Usually, if you remove a tiny speck from a shape, it doesn't change much. But if you remove a specific grid-like structure, the shape becomes super-flexible.
Rigidity: Conversely, if you have a solid object (like a Lagrangian torus, which is like a donut shape) that is "stiff" (has a certain minimum size), it cannot be moved out of the way of this grid.
The Metaphor: Imagine the grid is a trap. If you have a heavy, stiff rock (the Lagrangian object), you can't slide it through the grid without it getting stuck. The grid acts as a "barrier" that the rock cannot bypass, no matter how you push it.

4. The "Legendrian Barrier" (The Sound Barrier)

The paper also talks about "Legendrian barriers." This is a bit like a sound barrier for waves.

Imagine you are a surfer (a "Legendrian knot") riding on the surface of a wave (the boundary of your shape).
The authors show that if you place this specific grid on the surface, it acts like a wall. No matter how you surf, you are guaranteed to hit the wall (or a "chord" connecting to it) within a very short distance.
Why it matters: This proves that even if you try to wiggle your way around the grid, the geometry of the universe forces you to collide with it quickly. It's a "no escape" zone.

5. The Big Picture: "Filling Anything"

The most exciting part of their work is a general rule they found:

The Rule: If you have a 4D ball and you remove a specific number of these grid-like skeletons, you can fit the remaining space into any other 4D shape that is big enough.
The Analogy: It's like saying, "If you cut a specific pattern of holes in a block of cheese, the remaining cheese can be molded to fit perfectly inside a teapot, a shoe, or a car engine, as long as the container is big enough."
This solves a long-standing puzzle about how much you need to remove from a ball to make it "fillable" into other shapes.

Summary

In simple terms, this paper discovers a new set of "keys" (the Liouville polarisations and their skeletons) that unlock the rigidity of 4D shapes.

Remove the right skeleton: You can squeeze a 4D ball into a tiny tube.
Keep the skeleton: It acts as an unmovable wall that blocks other shapes from passing through.
The Result: We now understand much better how 4D shapes can be stretched, squeezed, and blocked, revealing a hidden structure where "holes" are just as important as the "stuff" itself.

The authors have essentially drawn a new map of the 4D universe, showing us exactly where the "walls" are and how to build "tunnels" through them.

Here is a detailed technical summary of the paper "Liouville Polarizations and the Rigidity of Their Lagrangian Skeleta in Dimension 4" by Emmanuel Opshtein and Felix Schlenk.

1. Problem Statement and Context

The paper addresses fundamental questions in symplectic geometry regarding symplectic embeddings and Lagrangian rigidity. Specifically, it investigates the size and structure of the complement of certain Lagrangian subsets within symplectic manifolds.

Background: In 2000, Paul Biran introduced the concept of polarizations for closed symplectic manifolds. A polarization is a decomposition of the symplectic class into positive multiples of Poincaré-dual classes of symplectic submanifolds. The complement of the "skeleton" (a Lagrangian CW-complex) of such a polarization exhibits remarkable rigidity: it cannot contain large symplectic balls or displace certain Lagrangian submanifolds.
The Gap: While Biran's results apply to closed manifolds and smooth polarizations, the behavior of open symplectic manifolds and singular polarizations (where the skeleton is a non-smooth Lagrangian complex) was less understood.
Key Questions:
1. How large can a set be removed from a symplectic ball $B^4(a)$ such that the complement embeds into a standard cylinder $Z^4(1)$ ? (Refining Gromov's non-squeezing theorem).
2. What are the rigidity properties of Lagrangian skeleta associated with singular polarizations?
3. Can these phenomena be extended to open manifolds and lead to new results in contact dynamics (Legendrian barriers)?

2. Methodology

The authors develop a framework for Liouville Polarizations on open symplectic manifolds, extending Biran's closed-manifold theory.

Liouville Polarizations: They define a Liouville polarization $(\Sigma, \lambda)$ $(Σ, λ)$ for an exact symplectic manifold $(\Omega, \omega = d\alpha)$ $(Ω, ω = d α)$ . Here, $\Sigma$ $Σ$ is a symplectic divisor (a union of symplectic curves) and $\lambda$ $λ$ is a Liouville form on $\Omega \setminus \Sigma$ $Ω ∖ Σ$ that is "tame" near $\Sigma$ $Σ$ .
- Tameness: Near the components of $\Sigma$ , the form $\lambda$ behaves like a multiple of the angular form $d\theta$ plus a bounded term. The residues of $\lambda$ at the components determine the "weights" of the polarization.
- Skeleta: The skeleton of the polarization is the set of points in $\Omega$ whose Liouville flow lines never hit $\Sigma$ (i.e., they are defined for all time). The complement of the skeleton is the "basin of attraction" of $\Sigma$ .
Symplectic Morphisms and Embeddings: The core technical tool is Theorem 2.20. It states that if there exists a symplectic morphism between the divisors of two Liouville polarizations that preserves the action (is exact), then there exists an exact symplectic embedding between the basins of attraction (the complements of the skeleta).
Explicit Constructions: The authors explicitly construct these polarizations using regular grids in 2-dimensional discs.
- A regular grid $\Gamma$ in a disc $D(A)$ is a graph that decomposes the disc into topological discs of specific areas.
- They construct Liouville forms on bidiscs $D(A) \times D(B)$ whose skeleta are products of these grids, $\Gamma_1 \times \Gamma_2$ .
Surgery and Smoothing: They utilize "surgery" techniques (Proposition 3.8) to glue components of singular polarizations to create smoother structures or to adjust weights, allowing them to map complex singular skeletons to simpler ones.

3. Key Contributions and Results

A. Symplectic Embedding Results

The paper provides explicit constructions showing that removing specific Lagrangian complexes allows for embeddings into cylinders that would otherwise be impossible due to Gromov's non-squeezing theorem.

Theorem 1 (Answering Question 1.1): For any $a$ , there exists an exact symplectic embedding:
$C^4(1) \setminus \Delta_k \hookrightarrow Z^4(2/k)$
where $\Delta_k$ is a union of $k^2$ Lagrangian half-planes (a grid product). This implies that removing a 2-dimensional Lagrangian set allows the complement of a ball of capacity $a$ to embed into a cylinder of capacity $2/k$ (depending on the grid density). This answers a question by Sackel–Song–Varolgunes–Zhu and Brendel.
Theorem 2 (Unbounded Domains): The complement of the product of two square grids in $\mathbb{R}^4$ (a lattice of Lagrangian planes) symplectically embeds into $Z^4(1)$ . This resolves a question by Viterbo regarding the Gromov width of $\mathbb{R}^4 \setminus (\Gamma \times \Gamma)$ .
Theorem 3 (Universality): Given any connected symplectic 4-manifold $(M, \omega)$ of finite volume and a ball $B^4(a)$ of smaller volume, one can remove a finite union of Lagrangian discs from the ball such that the remainder embeds into $(M, \omega)$ .

B. Lagrangian Rigidity

The embedding results translate into non-removable intersection theorems.

Theorem 4 (Non-Displaceability): Let $L$ $L$ be a closed Lagrangian submanifold in $D(A) \times D(B)$ $D (A) \times D (B)$ with minimal symplectic area $A_{\min}(L) \ge a + b$ $A_{m i n} (L) \geq a + b$ . Then $L$ $L$ cannot be displaced from the product of two grids $\Gamma_{\le a} \times \Gamma_{\le b}$ $Γ_{\leq a} \times Γ_{\leq b}$ by a Hamiltonian diffeomorphism.
- Significance: This extends rigidity results to non-smooth, non-closed, and non-monotone Lagrangian skeleta, suggesting that rigidity at small scales is not intrinsically tied to monotonicity.

C. Legendrian Barriers

The authors discover a new phenomenon in contact dynamics.

Theorem 5 (Legendrian Barriers): Let $\Lambda_\delta$ $Λ_{δ}$ be the intersection of a radial grid product with the boundary of a star-shaped domain. For any Legendrian knot $\Lambda$ $Λ$ in the boundary, there exists a Reeb chord from $\Lambda$ $Λ$ to $\Lambda \cup \Lambda_\delta$ $Λ \cup Λ_{δ}$ of length $\le \delta_1 + \delta_2$ $\leq δ_{1} + δ_{2}$ .
- Significance: This is a relative version of the Arnold chord conjecture. The grid acts as a "barrier" preventing long Reeb chords from existing in the complement.

4. Significance and Impact

Extension of Biran's Theory: The paper successfully generalizes Biran's theory of polarizations from closed manifolds to open ones and from smooth divisors to singular ones (Lagrangian CW-complexes).
Sharpness of Embeddings: The results provide sharp bounds (up to a factor of 2) for the cylindrical capacity of complements of Lagrangian sets, refining the understanding of symplectic flexibility vs. rigidity.
New Phenomena: The introduction of Legendrian barriers connects Lagrangian rigidity directly to contact dynamics, showing that the presence of a Lagrangian skeleton forces the existence of short Reeb chords.
Methodological Innovation: The use of Liouville polarizations and the reduction of embedding problems to finding symplectic morphisms between divisors (Theorem 2.20) provides a powerful new toolkit for constructing symplectic embeddings in dimension 4.
Resolution of Open Problems: The paper settles specific questions posed by Viterbo, Sackel et al., and Brendel regarding the size of sets removable from balls to allow embeddings into cylinders.

In summary, Opshtein and Schlenk demonstrate that by carefully removing singular Lagrangian structures (skeleta of Liouville polarizations), one can drastically increase the symplectic flexibility of a domain, yet these structures simultaneously enforce strong rigidity constraints on any Lagrangian or Legendrian submanifolds attempting to avoid them.