---
title: Focus–Focus Singularities in Hamiltonian Systems
url: https://www.emergentmind.com/topics/focus-focus-singularities
type: topic
---

# Focus–Focus Singularities in Hamiltonian Systems

A focus–focus singularity is a distinguished, non-degenerate singular point of an integrable Hamiltonian system—in simplest form, a two-degree-of-freedom symplectic manifold $(M^4,\omega)$ equipped with a Poisson-commuting pair $F=(H_1,H_2): M \to \mathbb{R}^2$. Such singularities exhibit complex dynamical and topological features, notably pinched torus fibrations, the emergence of singular integral affine structures with nontrivial monodromy, and a hierarchy of smooth, topological, and symplectic invariants. Their presence fundamentally obstructs the existence of global action–angle coordinates and underpins key phenomena in semitoric systems, singular affine geometry, and even applications in singular optics.

## 1. Local Normal Form and Geometry of Focus–Focus Singularities

Let $p\in M$ be an isolated nondegenerate “focus–focus” singular point (Williamson type $(0,0,1)$). By the Eliasson–Vey theorem, there exist local symplectic coordinates $(x_1,y_1,x_2,y_2)$ with $\omega=dx_1\wedge dy_1+dx_2\wedge dy_2$, in which the two first integrals depend only on the quadratic invariants
\[
q_1 = x_1y_2 - x_2y_1,\qquad q_2 = x_1y_1 + x_2y_2.
\]
A canonical form near $p$ is $F=(q_1, q_2)$; or $z=uv$ in complex variables $u=p_1 - i p_2$, $v=q_1 + i q_2$ [1103.3282, 1706.07456]. The map $F$ is, up to smooth change, $(q_1,q_2)$ near $p$.

The singular fiber over $F(p)$ is a pinched torus: a two-torus where one (or more, in higher “complexity” $k\geq 1$) cycles is collapsed to a point. For $k=1$ (simple focus–focus), the local topology is a single nodal torus. For $k\geq 2$ (multi-pinched), the singular fiber is a chain of Lagrangian spheres intersecting transversely. The regular nearby fibers are tori, but the fibration exhibits a vanishing cycle collapsing at the focus–focus point [1911.11883, 1312.1708, 1803.00998].

## 2. Singular Affine Structures and Monodromy

On the base $\mathscr{B}=F(M)\subset \mathbb{R}^2$, the image admits a singular integral affine structure: away from the critical value the base inherits action–angle coordinates $(F,G)$; at the singular value, the affine structure has monodromy. Explicitly, action functions near a regular value $c$ can be defined via integrals of a Liouville 1-form along a basis of $H_1(F^{-1}(c),\mathbb{Z})$, but near the focus–focus critical value $(0,0)$, one action, $G$, is multi-valued, and branches differ by the monodromy jump:
\[
G_r = G_l + k F\quad(k\in\mathbb{Z}_{>0})
\]
for $F>0$, with $k$ the number of pinches [1706.01093, 2401.10881].

Analytic continuation of the period lattice around the singular value transforms via the monodromy matrix
\[
M_{\text{mon}} = \begin{pmatrix}1 & k \\ 0 & 1\end{pmatrix}
\]
in $\mathrm{GL}(2,\mathbb{Z})$ [1706.01093, 1803.00998]. For $k=1$, this is the classical focus–focus monodromy. The base can be globally constructed by cutting out a sector $0\leq\arg(F+iG) \leq 2\pi k$ and gluing sides by $M_{\text{mon}}$; this realization, known as the developing map, encodes the singular affine structure [1706.01093, 2401.10881].

## 3. Convexity and Global Topological Phenomena

Locally, every sufficiently small “focus box”
\[
B = \{\,|F|\le \delta,\;|G_l|\le \epsilon,\;|G_r|\le \epsilon\,\}
\]
is convex in the singular affine sense: any two points in $B$ are connected by an affine geodesic in $B$ (the “focus–box convexity” theorem). Globally, the total monodromy of the system controls convexity: with one focus–focus point (or simple arrangements), the base $\mathscr{B}$ remains globally convex under reasonable topological conditions; but with multiple interacting focus–focus points, global convexity can fail even on manifolds homeomorphic to $S^2$ [1706.01093]. The most striking example is the “integral–affine black hole,” constructed by gluing an eight-petal region with eight focus–focus singularities so that no affine geodesic from the center escapes the region, illustrating drastic global effects of large monodromy.

## 4. Classification, Invariants, and Multi-Pinched Cases

### Local and Semi-Global Classification

A focus–focus singularity is completely determined up to fiberwise symplectomorphism by—
- its formal Taylor expansion invariants (“Vũ Ngọc series”) encoding the regularized action, i.e., the terms in the expansion of the action function beyond the logarithmic (singular) term [1803.00998, 1103.3282, 1911.11883],
- discrete data: number of pinches ($k$), orientation, and flatness conditions,
- and, in the case of multi-pinched (complexity $k\geq 2$), by $k$ independent invariants modulo $(\mathbb{Z}_2 \times D_k)$ symmetry, as per the solution to Vũ Ngọc's conjecture [1803.00998].

For a 2-pinched singularity (double focus–focus), the moduli space of smooth structures is one-dimensional, parameterized by a modulus $\mu\in[0,1)$, arising from the gluing of local models by smooth transition jets [1706.07456]. These smooth invariants are essential for distinguishing homeomorphic but non-diffeomorphic focus–focus singularities.

### Global Symplectic Invariants

In the context of semitoric systems, a system with $m$ focus–focus points is classified by five invariants per point:
- the number $m_f$ of focus–focus singularities,
- the semitoric polygon (with vertical cuts at focus values),
- the Taylor series invariant (symplectic),
- the height/volume invariant (vertical location of singularities in the polygon),
- and the twisting index (how local toric models are glued globally).

For simple focus–focus fibers ($k=1$), the affine structure suffices for classification. For $k>1$, the collection of $k$ Taylor series and gluing data (transition maps) is required; the same affine structure may arise from non-isomorphic systems with different gluing data [2401.10881, 1803.00998, 1706.07456].

## 5. Dynamical and Affine Features, and Applications

### Action–Angle Failure and Nontrivial Dynamics

The breakdown of the Liouville–Arnold theorem at focus–focus points manifests in the monodromic behavior of action integrals. In a neighborhood of a focus–focus point, the multi-valuedness is given by a complex logarithm:
\[
I_1(v) = S(v) - \Re[w\ln w - w],\quad I_2(v) = v_2
\]
with $w = v_1 + i v_2$, and $S$ smooth. This creates the characteristic monodromy and logarithmic singularity in the affine base [1412.2414]. The result obstructs the existence of any global action–angle system.

### Convexity Failure and Black Hole Phenomena

With large or interacting monodromy, the singular affine base can support regions from which no affine geodesic can reach the boundary—integral-affine “black holes.” Local convexity (proximal to a focus–focus point) is always maintained, but it does not extend globally when monodromy subgroups are large or noncommutative [1706.01093].

### Extensions and Physical Manifestations

Focus–focus structures have analogs beyond symplectic geometry. In optics, square-integrable paraxial fields can spontaneously form amplitude singularities in focal planes (“focus–focus singularity of the field”), with the nature of the singularity controlled by the power-law decay of the input [1512.01444].

In piecewise-smooth systems (Filippov systems in $\mathbb{R}^2$), “sewed foci” represent focus–focus-like singularities with strikingly rich dynamics, including infinite-time approaches and the possibility of uncountably many distinct local phase portraits when analyticity is lost [2306.09743].

## 6. Multi-Focus–Focus Points and Symplectic Groupoid Structures

Focus–focus singularities support a canonical addition law on the regular fibers. In a Lagrangian torus fibration, this fiberwise group structure extends across the focus–focus point only as an immersed Lagrangian correspondence, not as an embedding. The self-intersection locus coincides with the triple intersection at the singular point, reflecting the topological nontriviality imposed by monodromy and the singular affine structure [2409.10377].

The semi-global symplectic neighborhood around a focus–focus fiber is fully classified by the Taylor expansion of the regularized action function $S$ (the so-called Vũ Ngọc invariant), which encodes both monodromy and higher-order dynamical data [2409.10377].

## 7. Tabulation of Core Invariants and Classification Features

| Invariant Type           | Simple Focus–Focus ($k=1$)                     | Multi-Pinched ($k\geq2$)           |
|-------------------------|-------------------------------------------------|------------------------------------|
| Monodromy               | $M=\begin{pmatrix}1&1\\0&1\end{pmatrix}$        | $M=\begin{pmatrix}1&k\\0&1\end{pmatrix}$   |
| Taylor Series Invariant | One formal series (Vũ Ngọc) per point           | $k$ series $S_j\in\mathbb{R}[[X,Y]]$ (plus transition data)  |
| Smooth Moduli           | Discrete data (signs, flat diffeos)             | Moduli space of dimension $2k-3$ (first-order) [1706.07456] |
| Affine Polygon (Semitoric) | Marked polygon with one cut/height             | Polygon, $k$ cuts, $k$ heights, $k$ twisting indices |

## References

- [1706.01093] Systematic study of convexity and affine structures in toric-focus systems; theory of integral-affine black holes.
- [1803.00998] Complete symplectic classification of $k$-pinched focus–focus fibers up to group action; solution of Vũ Ngọc’s conjecture.
- [1103.3282], [1412.2414], [1911.11883], [1706.07456], [2401.10881] Theories of normal form, smooth invariants, and classification in semitoric and general settings.
- [2409.10377] Addition law and Lagrangian correspondence; immersion properties.
- [1512.01444], [2306.09743] Focus–focus structure in optics and non-smooth dynamics.
- [1312.1708], [1710.05746], [2006.15369] Applications and explicit models for focus–focus fibers and semitoric invariants.

Focus–focus singularities thus form the archetypal node in singular Lagrangian torus fibrations, fundamentally shaping the geometry, dynamics, and classification of integrable Hamiltonian systems and their associated integral affine structures.

Source: https://www.emergentmind.com/topics/focus-focus-singularities