---
title: Focus-Focus Singularities in Integrable Systems
url: https://www.emergentmind.com/topics/focus-focus-singularities-3d63d986-35bc-461c-bd7c-354df0106db0
type: topic
---

# Focus-Focus Singularities in Integrable Systems

A focus–focus singularity is a prototypical nondegenerate fixed point in the theory of integrable Hamiltonian systems of two degrees of freedom, and occupies a central position in symplectic topology, the geometry of torus fibrations, and the global study of Lagrangian fibrations. Such singularities exhibit characteristic local and global phenomena—topologically nontrivial vanishing cycles, affine monodromy, obstructions to global action–angle coordinates, and intricate smooth invariants—making their classification and analysis foundational for advanced research in integrable systems, symplectic geometry, and semiclassical analysis.

## 1. Local Structure and Normal Forms

Let \((M^4,\omega)\) be a symplectic 4-manifold with an integrable system 
\[
\mathcal{F} = (H, F) : M \to \R^2
\]
where \(\{H, F\} = 0\) and \(\mathrm{rank}\,d\mathcal{F} = 2\) generically. A point \(x \in M\) is a rank-0 singular point if \(dH(x) = dF(x) = 0\). The point \(x\) is a focus–focus singularity if:
- The Hessians \(d^2 H(x)\) and \(d^2 F(x)\) are linearly independent.
- Some linear combination has symplectic Hamiltonian matrix with eigenvalues \(\pm\alpha \pm i\beta\), \(\alpha,\beta \neq 0\).

The local geometric structure is governed by the Eliasson (Vey–Ito) normal form theorem: there exist canonical coordinates \((p_1, q_1, p_2, q_2)\) so that
\[
\omega = dp_1 \wedge dq_1 + dp_2 \wedge dq_2
\]
and
\[
H = H(f_1, f_2),\quad F = F(f_1, f_2)
\]
for
\[
f_1 = p_1 q_1 + p_2 q_2, \quad f_2 = p_1 q_2 - p_2 q_1.
\]
Up to local diffeomorphism of \(\R^2\), this normal form is unique and provides a symplectic model for all local considerations [1312.1708][1103.3282][1706.01093].

## 2. Global Topology and Complexity

A focus–focus fiber \(L = \mathcal{F}^{-1}(h_0, f_0)\) is defined as a connected fiber containing only rank-0 focus–focus points and no rank-1 points. The **complexity** \(n\) of such a fiber is the number of distinct focus–focus points it contains:
- **Simple** focus–focus singularity: \(n = 1\)
- **Complex** (multi-pinched) singularity: \(n > 1\)

The singular fiber is topologically a torus pinched \(n\) times, equivalently a chain of \(n\) embedded Lagrangian \(2\)-spheres, each intersecting its neighbors transversely at the focus–focus points. Cohomological obstructions dictate that:
- \(\pi_2(M) \neq 0\)
- \(\dim H^2(M) \geq n - 1\) (or \(n\) if \(M\) is compact)

Each Lagrangian sphere in the chain has self-intersection number \(+2\); their Poincaré duals are linearly independent except for one relation in the noncompact case [1312.1708].

## 3. Monodromy and Affine Structure

Focus–focus singularities are the canonical source of nontrivial monodromy in Lagrangian torus fibrations:
- In the regular region, action–angle coordinates \((I_1, I_2, \theta_1, \theta_2)\) exist.
- A small loop around the focus–focus value induces a transformation of the action cycles:
\[
\begin{pmatrix} \gamma_1 \\ \gamma_2 \end{pmatrix}
\to
\begin{pmatrix} 1 & n \\ 0 & 1 \end{pmatrix}
\begin{pmatrix} \gamma_1 \\ \gamma_2 \end{pmatrix}
\]
where \(n\) is the complexity. For the simple case (\(n=1\)), this is the classical
\[
M = \begin{pmatrix}1 & 1 \\ 0 & 1\end{pmatrix}
\]
monodromy matrix [1312.1708][1412.2414][1706.01093][1302.2260].

The nontrivial monodromy obstructs the existence of global action–angle coordinates, as the period lattice bundle over the image of the moment map is nontrivial. The singular integral affine structure on the base acquires branch cuts at the focus–focus values, and the local multi-valuedness of action variables reflects the logarithmic branch structure in their asymptotics.

## 4. Classification, Moduli, and Invariants

### Simple Focus–Focus Singularities

The saturated neighborhood of a simple focus–focus fiber is classified by the Taylor series invariant at the focus–focus point (Vu Ngọc), which, up to local symplectomorphism in the germ, uniquely distinguishes such singularities [1302.2260][1103.3282]. In the context of semitoric systems, additional global invariants come into play (see below).

### Complex (Multi-Pinched) Fibers

Multiple focus–focus points on a single fiber require refined invariants for full classification:
- The moduli space of such singularities is parameterized by collections of formal power series (action–Taylor series and transition data), up to the natural action of \(\mathbb{Z}_2 \times D_n\), where \(D_n\) is the dihedral group permuting and reflecting the \(n\) points [1803.00998].
- Smooth invariants are encoded via the Taylor expansions of gluing maps between standard normal charts; for double-pinched (\(n=2\)), a single real parameter \(\mu\) (the modulus of the first-order term) suffices for the smooth classification [1706.07456].

Notably, there exist homeomorphic but non-diffeomorphic focus–focus singularities, and product decomposition fails in the presence of nontrivial gluing invariants—this disproves Zung’s conjecture that any nondegenerate singularity is smoothly a product of elementary blocks [1706.07456].

## 5. Occurrence in Mechanical Systems and Explicit Models

A strong constraint governs the appearance of complex focus–focus singularities:
- In cotangent bundles over closed orientable surfaces of genus \(g > 0\) or on non-orientable surfaces, only simple focus–focus singularities occur for integrable systems; on \(S^2\), complexity-2 can arise if the magnetic term is exact [1312.1708].
- On \(e(3)^*\) and \(so(4)^*\) orbits, complexity is generically at most 2, with complexity-2 occurring only at special parameter values (e.g., vanishing magnetic area or symplectic areas in resonance).

Model systems exhibiting complexity-2 focus–focus fibers include:
- The singular orbit \(\mathcal{O}_{q,0} \subset e(3)^*\) with magnetic term vanishing.
- The resonant orbit \(\mathcal{O}_{c,0} \subset so(4)^*\), where the symplectic areas are equal [1312.1708].

## 6. Affine Geometry and Convexity Phenomena

The integral affine structure on the base of a Lagrangian torus fibration with focus–focus points exhibits both local convexity and, when total monodromy is large, global nonconvexity. Key features:
- Locally around a focus–focus point, “focus–boxes” are convex: for any two points in such a neighborhood, there is always a straight affine segment connecting them, for at least one branch of the multi-valued coordinate.
- Globally, when the monodromy group is nontrivial (multiple focus–focus points/curves), the local-global convexity principle can fail; for example, “integral affine black holes” can occur where geodesics are trapped and global convexity is broken [1706.01093].
- In simple semitoric systems (each focus fiber singly pinched), singular affine structures are classified up to fiber-preserving symplectomorphism by the polygon invariant and Taylor data; with multi-pinched fibers, further local invariants are essential [2401.10881].

## 7. Applications and Further Directions

Focus–focus singularities are indispensable in the symplectic classification of semitoric and almost-toric integrable systems, provide laboratory examples for quantum and semiclassical spectral analysis, and are central in understanding Lagrangian surgery theories, topological monodromy, Fukaya categories, and the SYZ mirror symmetry framework [1302.2260][2409.10377].

Multiple explicit families with two or more focus–focus points in compact and semitoric manifolds have recently provided exact models for the study of the twisting index, height invariants, and the full range of semitoric invariants [1710.05746][1911.11883][2006.15369]. Furthermore, higher index (multi-pair) focus–focus singularities arise in settings such as the Jaynes–Cummings–Gaudin model, where the topology and regularized symplectic invariants reflect subtle non-factorizable dynamical behavior [1312.6087].

**References**: [1312.1708], [1103.3282], [1706.01093], [1312.6087], [1706.07456], [1803.00998], [2401.10881], [1710.05746], [1911.11883], [2006.15369], [1412.2414], [1302.2260], [2409.10377]

Source: https://www.emergentmind.com/topics/focus-focus-singularities-3d63d986-35bc-461c-bd7c-354df0106db0