Symplectic Configurations in Geometry

• Symplectic configurations are structured families of symplectic or Lagrangian submanifolds defined by precise intersection patterns and algebraic invariants.
• They play a crucial role in four-manifold topology and surgery, enabling constructions like rational blow-downs and smoothings of surface singularities using negative definite graphs.
• These configurations extend to linear symplectic spaces and combinatorics, linking cross-ratio invariants, friezes, and degenerate flag varieties to broader geometric and algebraic frameworks.

In current literature, the expression symplectic configurations does not denote a single universally fixed object. It refers to several families of structures defined in symplectic geometry and in adjacent subjects: connected configurations of symplectic surfaces in symplectic $4$-manifolds; disjoint or prescribed-intersection configurations of Lagrangian submanifolds; cyclic configurations of lines or points in linear symplectic spaces satisfying Lagrangian incidence conditions; and combinatorial configurations, notably symplectic Dellac configurations, attached to degenerate flag varieties. Across these settings, the common themes are intersection data, symplectic or contact boundary structures, monodromy, and algebraic invariants (Park et al., 2012, Polterovich et al., 2021, Conley et al., 2018, Bigeni, 2017).

1. Surface configurations in symplectic four-manifolds

A central usage arises in dimension four. Let $(X,\omega)$ be a closed symplectic $4$-manifold. A symplectic configuration $C=(C_1,\dots,C_m)$ consists of embedded, closed, connected symplectic surfaces $C_i\subset X$ such that $\bigcup_i C_i$ is connected, distinct components intersect $\omega$-orthogonally in at most one transverse point, and the intersection matrix $Q=(C_i\cdot C_j)$ is negative definite. The associated intersection graph $\Gamma_C$ has one vertex for each $C_i$, weighted by the self-intersection $(X,\omega)$0 and the genus $(X,\omega)$1, with an edge between $(X,\omega)$2 and $(X,\omega)$3 when $(X,\omega)$4 and $(X,\omega)$5 intersect transversely (Park et al., 2012).

This definition is closely tied to plumbing. A neighborhood of the configuration is a plumbing of disk bundles over the surfaces $(X,\omega)$6 according to $(X,\omega)$7, and its boundary is the plumbed $(X,\omega)$8-manifold $(X,\omega)$9. Negative definiteness is decisive: by Grauert’s theorem, any connected negative definite plumbing graph arises as the resolution dual graph of a normal surface singularity, while on the symplectic side Gay–Stipsicz showed that such configurations admit $4$0-convex neighborhoods with contact-type boundary (Park et al., 2012).

A related homological formulation appears in rational $4$1-manifolds $4$2. There a symplectic configuration is a union $4$3 of smoothly embedded oriented surfaces such that any two distinct components are either disjoint or intersect transversely and positively at one point, no three distinct components meet at a point, and there exists a symplectic form making each $4$4 symplectic. The configuration is encoded by a weighted dual graph, and each component class is written as

$4$5

The classes are constrained by the adjunction formula

$4$6

together with positivity of intersections and the area constraint $4$7 (Chen, 9 Sep 2025).

2. Surgery, fillings, and geography

The basic surgery theorem for symplectic surface configurations states that if $4$8 is a connected configuration with $4$9-orthogonal intersections, at most one transverse intersection per pair, and negative definite intersection matrix, and if $C=(C_1,\dots,C_m)$0 is a smoothing of a normal surface singularity with resolution graph $C=(C_1,\dots,C_m)$1, then there is an orientation-reversing diffeomorphism

$C=(C_1,\dots,C_m)$2

such that the glued manifold

$C=(C_1,\dots,C_m)$3

admits a symplectic form $C=(C_1,\dots,C_m)$4 restricting to $C=(C_1,\dots,C_m)$5 outside the surgery region. The proof matches the contact structure $C=(C_1,\dots,C_m)$6 on the boundary of a convex neighborhood of $C=(C_1,\dots,C_m)$7 with the Milnor fillable contact structure $C=(C_1,\dots,C_m)$8 on $C=(C_1,\dots,C_m)$9 via horizontal open book decompositions and then applies symplectic gluing (Park et al., 2012).

This construction generalizes rational blow-down. In the classical Fintushel–Stern setting, a linear chain of symplectic spheres with intersection form determined by the continued fraction expansion of $C_i\subset X$0 is replaced by the rational homology ball $C_i\subset X$1, and Symington proved that this preserves symplecticity. The smoothing construction extends that operation from linear chains to arbitrary connected negative definite graphs with arbitrary genera $C_i\subset X$2 and weights $C_i\subset X$3, replacing the plumbing by a Milnor fiber of a normal surface singularity with the same resolution graph (Park et al., 2012).

A related filling theory studies dually positive star-shaped plumbings of symplectic spheres. For Seifert fibered spaces over $C_i\subset X$4 with the natural contact structure $C_i\subset X$5, one obtains finiteness results for minimal strong symplectic fillings, and in several families all fillings are obtained by rational blow-downs of the original plumbing. In other families, new manifolds with convex symplectic boundary appear, yielding new cut-and-paste operations on symplectic manifolds containing such configurations (Starkston, 2013).

Configurations also drive geography results. In symplectic Lefschetz fibrations, clustering nodal singularities produces embedded symplectic sphere configurations: powers $C_i\subset X$6 give chains of $C_i\subset X$7-spheres, while lantern-type blocks produce embedded $C_i\subset X$8-spheres contained in fibers. Rational blowdowns along these configurations realize all lattice points in the region

$C_i\subset X$9

strictly below the Noether line, by minimal simply connected symplectic Lefschetz fibrations (Baykur et al., 2022). Star surgeries on star-shaped plumbings similarly produce simply connected, minimal, symplectic $\bigcup_i C_i$0-manifolds on the Noether line and between the Noether and half Noether lines, with explicit embedded configurations inside elliptic surfaces furnishing the input plumbings (Sakallı, 2019).

3. Lagrangian configurations and mapping-class phenomena

A second major usage concerns Lagrangian submanifolds. In low-dimensional Hamiltonian dynamics, a disjoint Lagrangian configuration is a finite union of Lagrangian submanifolds that are pairwise disjoint. The basic examples on $\bigcup_i C_i$1 are unions of embedded circles at specified heights, and on $\bigcup_i C_i$2 their stabilizations are products with the equator in the second factor. Using Lagrangian spectral invariants with a Hamiltonian term in symmetric product orbifolds, these configurations yield estimators $\bigcup_i C_i$3, $\bigcup_i C_i$4, and $\bigcup_i C_i$5 with Hofer–Lipschitz, Lagrangian control, and Calabi-type properties. They are used to detect infinite-dimensional flats in $\bigcup_i C_i$6, prove constraints on Lagrangian packing, establish Lagrangian Poincaré recurrence, and construct a hierarchy of normal subgroups of the area-preserving homeomorphism group of $\bigcup_i C_i$7 (Polterovich et al., 2021).

In higher-dimensional Weinstein domains, symplectic configurations can mean finite sets of exact Lagrangian spheres $\bigcup_i C_i$8 with prescribed intersection pattern, often arising from plumbings of cotangent bundles or from vanishing cycles in Lefschetz fibrations. The associated Dehn twists satisfy the expected commuting and braid relations for disjoint or once-intersecting spheres. A key stabilization theorem shows that if a configuration $\bigcup_i C_i$9 in a Weinstein domain $\omega$0 is obtained from a surface configuration $\omega$1 by Lefschetz stabilization, then any relation among the Dehn twists in the $\omega$2 implies the same relation among the twists in the $\omega$3. The converse direction does not hold in general; the paper emphasizes counterexamples from $\omega$4 and four-valent plumbing phenomena (Keating, 2017).

On symplectic $\omega$5 surfaces, a $\omega$6-configuration is a finite collection of Lagrangian $\omega$7-spheres whose intersection pattern realizes a simply laced Dynkin diagram of type $\omega$8, $\omega$9, or $Q=(C_i\cdot C_j)$0: self-intersections are $Q=(C_i\cdot C_j)$1, intersections are $Q=(C_i\cdot C_j)$2 on edges and $Q=(C_i\cdot C_j)$3 otherwise, and the span of the homology classes identifies with the ADE root lattice. For such configurations, Dehn–Seidel twists define a representation of the Artin group $Q=(C_i\cdot C_j)$4 in the symplectic mapping class group. Restricting to the pure braid group, the induced map on abelianizations is $Q=(C_i\cdot C_j)$5-equivariantly split-injective, and squared Dehn–Seidel twists on homologically distinct Lagrangian spheres are algebraically independent in the abelianization of the smoothly-trivial symplectic mapping class group. One consequence is that if $Q=(C_i\cdot C_j)$6 is infinite, then $Q=(C_i\cdot C_j)$7 is infinitely generated (Muñoz-Echániz, 20 Jul 2025).

4. Linear symplectic geometry, cross-ratios, and friezes

In linear symplectic geometry, an $Q=(C_i\cdot C_j)$8-Lagrangian configuration is a cyclic $Q=(C_i\cdot C_j)$9-tuple of lines $\Gamma_C$0 in a $\Gamma_C$1-dimensional symplectic vector space $\Gamma_C$2 such that every $\Gamma_C$3 consecutive lines span a Lagrangian subspace and every $\Gamma_C$4 consecutive lines span $\Gamma_C$5. For generic configurations, the moduli space $\Gamma_C$6 is a smooth manifold of dimension

$\Gamma_C$7

The basic invariant is the symplectic cross-ratio

$\Gamma_C$8

which is invariant under $\Gamma_C$9 and under rescaling of representatives. For $C_i$0, the moduli are parametrized by $C_i$1 diametric symplectic cross-ratios $C_i$2, subject to a single relation given by the Pfaffian of a Gram matrix; over $C_i$3, these $C_i$4 determine the equivalence class, while over $C_i$5 they determine the class up to the opposite configuration (Conley et al., 2018).

A four-dimensional refinement replaces line configurations by Legendrian $C_i$6-gons in $C_i$7, or equivalently Lagrangian configurations in $C_i$8. Here the moduli of generic Legendrian $C_i$9-gons modulo $(X,\omega)$00 have dimension $(X,\omega)$01, and they are identified with the space of tame symplectic $(X,\omega)$02-friezes of width $(X,\omega)$03. A tame symplectic $(X,\omega)$04-frieze is an array with alternating black and white entries satisfying local determinant and square relations, periodicity of period $(X,\omega)$05, and a glide symmetry. Tame symplectic $(X,\omega)$06-friezes are also in bijection with $(X,\omega)$07-superperiodic symmetric linear difference equations of order $(X,\omega)$08,

$(X,\omega)$09

and the black entries of the frieze are recovered from the symplectic pairings $(X,\omega)$10 (Morier-Genoud, 2018).

This part of the subject makes the relation between geometry and combinatorics unusually explicit. The literature repeatedly describes a triality between friezes, difference equations, and symplectic configurations, with Pfaffians, continuants, and monodromy $(X,\omega)$11 serving as the algebraic mechanism behind the geometric classification (Conley et al., 2018, Morier-Genoud, 2018).

5. Dellac configurations and degenerate flag varieties

In algebraic combinatorics, symplectic configurations often refers to symplectic Dellac configurations. A Dellac configuration of size $(X,\omega)$12 is a tableau with $(X,\omega)$13 columns and $(X,\omega)$14 rows containing $(X,\omega)$15 dots such that every row contains exactly one dot, every column contains exactly two dots, and a dot in box $(X,\omega)$16 satisfies $(X,\omega)$17. A symplectic Dellac configuration of size $(X,\omega)$18 is an element of $(X,\omega)$19 invariant under central reflection across the center of the $(X,\omega)$20 board. Fang and Fourier introduced these objects to parametrize torus fixed points of symplectic degenerate flag varieties $(X,\omega)$21, so that $(X,\omega)$22 (Bigeni, 2017).

The enumeration problem is solved by a combinatorial correspondence with surjective pistols. Randrianarivony–Zeng defined polynomials $(X,\omega)$23 by

$(X,\omega)$24

and the sequence

$(X,\omega)$25

begins

$(X,\omega)$26

The paper proves that

$(X,\omega)$27

for all $(X,\omega)$28 (Bigeni, 2017).

A broader framework uses symmetric Dellac configurations $(X,\omega)$29, invariant under central symmetry on an $(X,\omega)$30 board. Even symmetric Dellac configurations are precisely the symplectic Dellac configurations of Fang–Fourier, and they parametrize torus fixed points of $(X,\omega)$31. More generally, Poincaré polynomials of symplectic and orthogonal degenerate flag varieties are expressed as sums over $(X,\omega)$32 with inversion statistics modified by central symmetry, and the cardinalities split into the sequences

$(X,\omega)$33

where

$(X,\omega)$34

Extended Dellac configurations and the polynomials $(X,\omega)$35 furnish weighted formulas such as $(X,\omega)$36 and $(X,\omega)$37 (Bigeni et al., 2018, Bigeni et al., 2018).

6. Group-theoretic, nuclear, and dynamical extensions

The term also appears in the topology of compact Lie groups. For a topological group $(X,\omega)$38, the space of configurations of $(X,\omega)$39 commuting elements is

$(X,\omega)$40

with unordered quotient $(X,\omega)$41. For $(X,\omega)$42, one has

$(X,\omega)$43

where $(X,\omega)$44 and $(X,\omega)$45 is the hyperoctahedral Weyl group. The sequence $(X,\omega)$46 satisfies strong rational homological stability in the rank direction: $(X,\omega)$47 The paper explicitly notes, however, that configuration spaces and spaces of commuting $(X,\omega)$48-tuples do not satisfy homological stability with respect to $(X,\omega)$49; instead, they satisfy uniform representation stability in rational cohomology (Cantarero et al., 2022).

In ab initio nuclear structure, symplectic configurations are $(X,\omega)$50-irreducible families of many-body states generated by symplectic laddering from a lowest-grade bandhead

$(X,\omega)$51

The tower is

$(X,\omega)$52

and provides the building blocks of the symplectic no-core configuration interaction framework. Because the kinetic energy is a generator of $(X,\omega)$53, it preserves symplectic symmetry and strongly couples configurations differing by two oscillator quanta. In the $(X,\omega)$54 calculation discussed in the paper, low-lying states and their $(X,\omega)$55 partners are both dominated by the same symplectic irrep with bandhead $(X,\omega)$56, and the leading irrep often carries $(X,\omega)$57–$(X,\omega)$58 of the norm for low-lying states (McCoy et al., 2018).

A different extension concerns scaling symmetries on exact symplectic manifolds $(X,\omega)$59, with $(X,\omega)$60. Here conformally symplectic actions of $(X,\omega)$61 lead to a conformal momentum map

$(X,\omega)$62

a generalized Noether theorem, and a modified relative-equilibrium condition. If $(X,\omega)$63, then relative equilibria for the scaling symmetry are characterized by

$(X,\omega)$64

On cotangent bundles this yields explicit formulas for scaled cotangent lifts and conformal momentum maps, and for simple mechanical systems the central configuration equation is formulated through the augmented potential $(X,\omega)$65. Applied to the Newtonian $(X,\omega)$66-body problem, the framework recovers the classical equation

$(X,\omega)$67

for central configurations (Rastelli et al., 2024).

Taken together, these usages show that symplectic configurations functions less as a single definition than as a structural theme. In four-manifold topology it organizes plumbings, singularity smoothings, and surgery; in Lagrangian topology it organizes Dehn twists, braid-group actions, and Hofer-theoretic rigidity; in linear symplectic geometry it is encoded by cross-ratios, Pfaffians, and friezes; and in combinatorics and representation theory it controls fixed-point sets, Poincaré polynomials, commuting-element spaces, and symmetry-adapted many-body bases (Park et al., 2012, Muñoz-Echániz, 20 Jul 2025, Morier-Genoud, 2018, Cantarero et al., 2022).