Globally Tight Lagrangian Submanifolds

• Globally tight Lagrangian submanifolds are defined by the property that every transverse ambient translate intersects them in exactly the sum of their Z₂-Betti numbers, achieving the Arnold–Givental lower bound.
• They are studied within homogeneous symplectic and Kähler frameworks, differentiating between global, local, and infinitesimal tightness based on Lie group actions and isometries.
• While Lie theoretic methods establish local and infinitesimal tightness with explicit examples, proving global tightness remains a challenging open question in less symmetric settings.

A globally tight Lagrangian submanifold is, in the literature considered here, a Lagrangian submanifold whose transverse intersections with all relevant ambient translates attain the sharp lower bound given by the total $\mathbb Z_2$-Betti number. In homogeneous symplectic geometry this notion is formulated relative to a Lie group action, while in homogeneous Kähler geometry it is formulated relative to isometries. The central distinction is between global tightness, local tightness, and the more recent infinitesimal tightness; much of the modern literature establishes the latter two, whereas genuinely global results are rarer (Gasparim et al., 2019, Gorodski et al., 2013).

1. Definition and intersection-theoretic meaning

Following Oh, the homogeneous-orbit framework defines a Lagrangian submanifold $\mathcal L\subset M$ to be globally tight if for all $g\in G$ such that $\mathcal L$ and $g(\mathcal L)$ intersect transversally,

$$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$

where

$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$

It is locally tight if the same equality holds for all $g$ near the identity with transverse intersection (Gasparim et al., 2019). In the irreducible compact homogeneous Kähler setting, the same formulas are used, but $g$ ranges over isometries of the ambient manifold; in that literature, “tight” means local tightness unless otherwise specified (Gorodski et al., 2013).

The point of the definition is that tightness is the sharp case of the Arnold–Givental lower bound

$$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$

when that bound applies (Gasparim et al., 2019). Global tightness therefore encodes an exact intersection count under every allowed transverse translate, not merely a lower estimate.

This notion is intrinsically relative to an ambient symmetry class. In one strand of the literature the ambient symmetries are the elements of a Lie group acting by Hamiltonian symplectomorphisms; in another they are the isometries of a homogeneous Kähler manifold. The numerical condition is the same, but the quantifier “for all $\mathcal L\subset M$0” depends on the chosen category (Gasparim et al., 2019, Gorodski et al., 2013).

2. Local and infinitesimal variants

A major refinement is the notion of infinitesimal tightness. Let $\mathcal L\subset M$1 carry a Hamiltonian $\mathcal L\subset M$2-action with $\mathcal L\subset M$3-equivariant moment map $\mathcal L\subset M$4, and let $\mathcal L\subset M$5 denote the fundamental vector field of $\mathcal L\subset M$6. An element $\mathcal L\subset M$7 is said to be transversal to $\mathcal L\subset M$8 if, whenever $\mathcal L\subset M$9, one has $g\in G$0, and if

$g\in G$1

is finite. Then $g\in G$2 is infinitesimally tight if for every transversal $g\in G$3,

$g\in G$4

This replaces actual intersection counts by zero counts of infinitesimal generators (Gasparim et al., 2019).

The crucial equivalence is that if $g\in G$5 is a homogeneous space with a $g\in G$6-invariant symplectic form, then

$g\in G$7

The proof uses Weinstein’s neighborhood theorem: locally one identifies a neighborhood of $g\in G$8 with $g\in G$9, compares the flow of $\mathcal L$0 with the vertical component of $\mathcal L$1, and shows that for small $\mathcal L$2,

$\mathcal L$3

(Gasparim et al., 2019).

What is not proved is equally important. The same paper explicitly does not claim that infinitesimal tightness implies global tightness, nor that local tightness implies global tightness. Thus infinitesimal tightness is a precise reformulation of the local problem, not a general solution of the global one (Gasparim et al., 2019).

3. Homogeneous orbit theory and explicit locally tight examples

The orbit-theoretic setting is organized by the moment map. If $\mathcal L$4 is a Lie subgroup with Lie algebra $\mathcal L$5, then for an orbit $\mathcal L$6,

$\mathcal L$7

and the isotropicity criterion is

$\mathcal L$8

where $\mathcal L$9. In the compact orthogonal setting this becomes

$g(\mathcal L)$0

A Lagrangian orbit is an isotropic orbit of half dimension (Gasparim et al., 2019).

This criterion produces several homogeneous Lagrangian orbits. In complex flag manifolds, examples include an $g(\mathcal L)$1-orbit in the full flag manifold $g(\mathcal L)$2, realized as a $g(\mathcal L)$3-orbit. In products of dual flags $g(\mathcal L)$4, the diagonal orbit

$g(\mathcal L)$5

is Lagrangian, and more generally so are the shifted graph orbits

$g(\mathcal L)$6

For these families the paper proves infinitesimal tightness, hence local tightness (Gasparim et al., 2019).

The counting mechanism is Lie-theoretic rather than Floer-theoretic. In the flag examples, one studies the critical points of the height function

$g(\mathcal L)$7

on an adjoint orbit. For regular $g(\mathcal L)$8, the singular points of the Hamiltonian vector field are counted by the Weyl-group quotient,

$g(\mathcal L)$9

and for a flag manifold this equals the sum of Betti numbers. That identity is what yields infinitesimal, hence local, tightness of the diagonal and shifted-diagonal Lagrangian orbits (Gasparim et al., 2019).

The paper also shows the limits of this method. In cotangent bundles of orthogonal Lie groups, for semisimple $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$0 the only isotropic left or right orbits are $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$1, and their global or infinitesimal tightness is not studied. More broadly, the paper provides many locally tight homogeneous examples but no theorem upgrading them to global tightness (Gasparim et al., 2019).

4. Classification of tight Lagrangian homology spheres

A separate classification theorem treats compact tight Lagrangian submanifolds with the $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$2-homology of a sphere in simply-connected irreducible compact homogeneous Kähler manifolds. Here “tight” means locally tight, not necessarily globally tight (Gorodski et al., 2013).

The theorem states that if $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$3 is a compact tight Lagrangian submanifold with the $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$4-homology of a sphere, then $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$5 is an orbit of a compact subgroup, and the ambient manifold $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$6 and $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$7 are, up to biholomorphic homothety and congruence, exactly one of the following (Gorodski et al., 2013):

Ambient manifold $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$8	Lagrangian $$\#(\mathcal L\cap g(\mathcal L))=\mathrm{SB}(\mathcal L,\mathbb Z_2),$$9	Orbit description
$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$0	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$1	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$2-orbit
$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$3	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$4	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$5-orbit
$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$6	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$7	$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$8-orbit
$$\mathrm{SB}(\mathcal L,\mathbb Z_2)=\sum_k b_k(\mathcal L;\mathbb Z_2).$$9	$g$0	$g$1-orbit
$g$2	$g$3	$g$4-orbit

Moreover, every such $g$5 coincides with a connected component of the fixed point set of an antiholomorphic isometric involution, so all classified examples are real forms in the generalized sense used there (Gorodski et al., 2013).

The proof reduces local tightness to Euclidean tautness. For $g$6, one constructs a $g$7-equivariant full embedding

$g$8

such that tightness of $g$9 implies that $g$0 is taut, and conversely, under the full-isometry-group hypothesis, tautness of $g$1 implies tightness of $g$2. Under the $g$3-homology-sphere hypothesis, Chern–Lashof theory forces $g$4 to be a codimension-one round sphere, and an Ohnita–Gotoh-type inequality then reduces the classification to a short list of homogeneous pairs (Gorodski et al., 2013).

This theorem is structurally close to the global-tightness problem but does not solve it in general. The paper explicitly distinguishes globally tight from locally tight, and the classification theorem concerns the latter. It does note that real forms of Hermitian symmetric spaces were proved by Tanaka–Tasaki to be globally tight, but it does not assert that every example in its own classification is globally tight (Gorodski et al., 2013).

5. Rigidity notions adjacent to, but distinct from, global tightness

Several neighboring literatures study Lagrangian rigidity without proving global tightness. In the twistor-space setting of hyperbolic $g$5-manifolds, Reznikov Lagrangians are shown to be monotone, to admit explicitly classified holomorphic discs, and to satisfy

$g$6

The same work explicitly states that it does not discuss tightness or global tightness; its conclusions are Floer-theoretic rigidity results, not intersection-theoretic tightness theorems (Evans, 2011).

In symplectic dynamics, invariant submanifolds can be forced to be Lagrangian or even graphs under dynamical hypotheses. For Tonelli Hamiltonian flows, one theorem states that a Lipschitz invariant $g$7-dimensional submanifold with no conjugate points and suitable forward/backward equilipschitz recurrence is Lagrangian and is the graph of a $g$8 function, while another states that a closed Lagrangian covering in a cotangent bundle is actually a diffeomorphic graph. These are strong global rigidity statements, but they are not formulated as global tightness (Arnaud, 2014).

In strict nearly Kähler $g$9-manifolds, every Lagrangian $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$0-fold is orientable, minimal, and has vanishing Maslov $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$1-form, yet the second variation formula is generally indefinite; if $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$2, there are compactly supported variations decreasing volume. This shows that automatic minimality does not imply a local or global minimizing property of the kind one might associate with tightness (Lê et al., 2014). A related extrinsic-rigidity result in the homogeneous nearly Kähler $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$3 proves

$$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$4

with equality only for the totally geodesic $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$5 or the Dillen–Verstraelen–Vrancken Berger sphere; again, no global-tightness conclusion is drawn (Hu et al., 2019).

Analytic rigidity appears in other forms. Whitney spheres in $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$6 and $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$7 are characterized by small-energy gap theorems under conditions such as $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$8 or $$\#(\mathcal L\cap g(\mathcal L))\ge \mathrm{SB}(\mathcal L,\mathbb Z_2),$$9, but these are energy-gap and classification results, not tightness theorems (Luo et al., 2021). In holomorphic symplectic geometry, a bimeromorphically contractible compact holomorphic Lagrangian submanifold must be biholomorphic to $\mathcal L\subset M$00, and a neighborhood of it is biholomorphically symplectomorphic to a neighborhood of the zero section in $\mathcal L\subset M$01; this is a neighborhood rigidity theorem rather than a global-tightness statement (Amerik et al., 2023).

Constructive and background literatures also bear on the subject without addressing tightness directly. Smooth tropical hypersurfaces in $\mathcal L\subset M$02 can be lifted to smooth embedded Lagrangian submanifolds in $\mathcal L\subset M$03, yielding many explicit examples but no tightness criteria (Matessi, 2018). The geometry of the Lagrangian Grassmannian supplies the natural target of the Lagrangian Gauss map, with

$\mathcal L\subset M$04

and furnishes a projective-incidence language for studying tangent-plane geometry, but it does not itself define global tightness (Gutt et al., 2018). Finally, the phrase “global Lagrangian” can refer, in the inverse problem of the calculus of variations, to a globally defined Lagrangian $\mathcal L\subset M$05-form for an ODE system; that is a different use of “Lagrangian” from the submanifold notion at issue here (Urban et al., 2018).

6. Conceptual status of the subject

The modern picture separates three levels. Global tightness is the strongest: the sharp Betti-number intersection count holds for every transverse ambient translate in the chosen symmetry class. Local tightness asks for the same equality only near the identity. Infinitesimal tightness reformulates the local count as a zero count for fundamental vector fields, and in homogeneous settings it is equivalent to local tightness (Gasparim et al., 2019).

What has been established most clearly is the local side. Homogeneous orbit theory provides many infinitesimally and locally tight Lagrangian orbits, and tight Lagrangian homology spheres in irreducible compact homogeneous Kähler manifolds have been classified under a strong topological hypothesis (Gasparim et al., 2019, Gorodski et al., 2013). By contrast, the transition from local or infinitesimal tightness to global tightness remains unproved in the cited works.

This suggests that global tightness is substantially stricter than several nearby rigidity phenomena that are sometimes conflated with it. Floer-theoretic nonvanishing, minimality, Hamiltonian graph rigidity, sharp extrinsic pinching, neighborhood normal forms, and energy-gap characterizations all single out distinguished Lagrangians, but none of them is equivalent in the present literature to the defining intersection formula

$\mathcal L\subset M$06

for all transverse translates. In that precise sense, the globally tight Lagrangian submanifold remains an intersection-theoretic notion whose strongest general results are still concentrated in highly symmetric settings (Gasparim et al., 2019, Gorodski et al., 2013).