Dual Lagrangian Products in Symplectic Geometry

• Dual Lagrangian products are defined as symplectic domains of the form K×ₗK° where a convex body and its polar dual are paired, establishing a framework for geometric duality.
• They exhibit sharp symplectic capacities and Lagrangian barriers as seen in key models like the bidisk and cube–cross-polytope product.
• These products extend to optimization, categorical, and functional duality contexts, linking dual variables through product representations and generalized convexity.

to=arxiv_search 夫妻性生活影片 төлөв 天天中彩票appion code 一本道高清无码 {"query":"Dual Lagrangian Products symplectic capacities Lagrangian products duality arXiv","max_results":10,"sort_by":"submittedDate"} Dual Lagrangian products are most explicitly realized in symplectic geometry as Lagrangian products of the form $$K\times_L K^\circ \subset \mathbb{R}^n_x\times_L \mathbb{R}^n_y$$, where $K\subset\mathbb{R}^n$ is a convex body containing the origin and $K^\circ$ is its polar dual. More generally, the same literature studies $K\times_L T$ for arbitrary convex bodies $K,T$, as well as functionally dual variants such as $K_\Phi\times_L K_{\Phi^*}$ built from Young functions and their Legendre transforms. In broader mathematical and optimization usage, closely related constructions treat “duality” as a bilinear pairing, a coupling function, a doubled relation, or a factored dual variable, all of which generate Lagrangian or dual objects by product-like operations (Vicente, 27 Jul 2025, Vicente, 12 May 2025).

1. Symplectic definition and canonical models

The ambient symplectic space is the standard vector space

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$

identified with the cotangent bundle $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$. For subsets $A\subset \mathbb{R}^n_x$ and $B\subset \mathbb{R}^n_y$, the Lagrangian product is

$K\subset\mathbb{R}^n$0

The notation emphasizes that the two factors lie in dual Lagrangian directions, namely configuration space and momentum space. A dual Lagrangian product is then a domain

$K\subset\mathbb{R}^n$1

with $K\subset\mathbb{R}^n$2 convex and $K\subset\mathbb{R}^n$3 its polar dual (Vicente, 27 Jul 2025).

Two model examples recur throughout the literature. For the Euclidean ball

$K\subset\mathbb{R}^n$4

the polar dual of $K\subset\mathbb{R}^n$5 is again $K\subset\mathbb{R}^n$6, so the Lagrangian bidisk $K\subset\mathbb{R}^n$7 is a dual Lagrangian product. For the unit cube $K\subset\mathbb{R}^n$8, the polar dual is the cross-polytope $K\subset\mathbb{R}^n$9, yielding the cube–cross-polytope product $K^\circ$0 (Vicente, 27 Jul 2025).

A related basic object is the disk cotangent bundle $K^\circ$1. This suggests that dual Lagrangian products belong to a larger class of phase-space domains whose geometry is controlled by a convex body in the base and another convex body in the fiber. In the special dual case $K^\circ$2, the interaction between the two factors is fixed by convex polarity rather than chosen independently.

2. Capacities, billiards, and Lagrangian barriers

The modern symplectic theory of dual Lagrangian products is organized around symplectic capacities. For any normalized symplectic capacity $K^\circ$3, the Lagrangian bidisk satisfies

$K^\circ$4

and the cube–cross-polytope product satisfies

$K^\circ$5

the latter because it is symplectomorphic to $K^\circ$6 (Vicente, 27 Jul 2025).

Puncturing the base factor produces a sharp capacity drop in the model cases. For the annular bidisk,

$K^\circ$7

and for the punctured cube–cross-polytope product,

$K^\circ$8

Thus the full products have capacity $K^\circ$9, while removing the Lagrangian plane over the origin halves the capacity in the punctured case. This underlies the notion of a Lagrangian barrier: the subsets $K\times_L T$0 and $K\times_L T$1 obstruct symplectic embeddings that would otherwise fit into the unpunctured domain (Vicente, 27 Jul 2025).

For a convex centrally symmetric body $K\times_L T$2, the general holed inequality is

$K\times_L T$3

For arbitrary convex $K\times_L T$4 containing the origin, with

$K\times_L T$5

normalized capacities satisfy

$K\times_L T$6

and

$K\times_L T$7

In dimension two, if $K\times_L T$8 is symmetrically convex and $K\times_L T$9-pinched with

$K,T$0

then

$K,T$1

so $K,T$2 is a Lagrangian barrier in $K,T$3 (Vicente, 27 Jul 2025).

A second major structural result identifies symplectic capacity with billiard dynamics. For arbitrary convex bodies $K,T$4, the Ekeland–Hofer–Zehnder capacity of the convex Lagrangian product $K,T$5 satisfies

$K,T$6

Here $K,T$7 is the $K,T$8-length induced by the gauge of $K,T$9, $K_\Phi\times_L K_{\Phi^*}$0 is the set of closed polygonal curves with at most $K_\Phi\times_L K_{\Phi^*}$1 vertices that cannot be translated into $K_\Phi\times_L K_{\Phi^*}$2, and $K_\Phi\times_L K_{\Phi^*}$3 is the set of closed strong $K_\Phi\times_L K_{\Phi^*}$4-Minkowski billiard trajectories with at most $K_\Phi\times_L K_{\Phi^*}$5 bouncing points. This result removes the smoothness and strict convexity assumptions that had previously been required, and it applies in particular to the dual case $K_\Phi\times_L K_{\Phi^*}$6 (Rudolf, 2022).

3. Functional duality and polar duality in Young-function products

A distinct but closely related theory compares two notions of duality for Lagrangian products generated by an $K_\Phi\times_L K_{\Phi^*}$7-tuple of Young functions $K_\Phi\times_L K_{\Phi^*}$8. The associated Luxemburg unit ball is

$K_\Phi\times_L K_{\Phi^*}$9

There are then two dual constructions. The functional-dual product is

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$0

where $$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$1 is the Legendre dual $$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$2-tuple. The polar-dual product is

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$3

where $$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$4 is the polar body of $$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$5 (Vicente, 12 May 2025).

For the functional-dual product, all normalized symplectic capacities agree exactly. Writing

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$6

one has

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$7

Since $$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$8, this yields

$$(\mathbb{R}^{2n},\omega_0),\qquad \omega_0=\sum_{i=1}^n dy_i\wedge dx_i,$$9

This is an exact strong-Viterbo-type statement for the full class of functional-dual products (Vicente, 12 May 2025).

For the polar-dual product, the general result is weaker but still explicit: $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$0 Because $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$1, this implies

$$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$2

Under the additional condition that there is an index $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$3 such that $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$4 and $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$5, the bounds match and

$$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$6

for every normalized symplectic capacity (Vicente, 12 May 2025).

Two examples illustrate the dichotomy. If $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$7 and $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$8 with $$T^*\mathbb{R}^n\cong \mathbb{R}^n_x\times \mathbb{R}^n_y$$9, then

$A\subset \mathbb{R}^n_x$0

and after the natural homothety this recovers

$A\subset \mathbb{R}^n_x$1

If $A\subset \mathbb{R}^n_x$2, then

$A\subset \mathbb{R}^n_x$3

while the polar-dual product still satisfies

$A\subset \mathbb{R}^n_x$4

because $A\subset \mathbb{R}^n_x$5 (Vicente, 12 May 2025).

4. Duality as coupling: Lagrangians, perturbations, and generalized convexity

Outside symplectic convexity, a more abstract interpretation treats the “dual product” as the pairing or coupling that links primal and dual variables inside a Lagrangian. In Rockafellarian duality, the basic objects are an optimization problem

$A\subset \mathbb{R}^n_x$6

a perturbation or Rockafellian

$A\subset \mathbb{R}^n_x$7

a perturbation function

$A\subset \mathbb{R}^n_x$8

and a coupling $A\subset \mathbb{R}^n_x$9, which reduces to the bilinear pairing $B\subset \mathbb{R}^n_y$0 in the classical Fenchel setting (Lara, 2022).

Given a Rockafellian $B\subset \mathbb{R}^n_y$1, the associated Lagrangian is

$B\subset \mathbb{R}^n_y$2

and the dual function is

$B\subset \mathbb{R}^n_y$3

Conversely, given $B\subset \mathbb{R}^n_y$4, one reconstructs a Rockafellian by

$B\subset \mathbb{R}^n_y$5

For each fixed $B\subset \mathbb{R}^n_y$6, the partial functions satisfy

$B\subset \mathbb{R}^n_y$7

and the perturbation and dual functions obey

$B\subset \mathbb{R}^n_y$8

when one starts from $B\subset \mathbb{R}^n_y$9, while in the reverse direction only

$K\subset\mathbb{R}^n$00

is guaranteed (Lara, 2022).

The paper formalizes this symmetry through Lagrangian–Rockafellian couples $K\subset\mathbb{R}^n$01, defined by the minimality of $K\subset\mathbb{R}^n$02 in

$K\subset\mathbb{R}^n$03

Its main theorem gives equivalent characterizations by mutual inf–sup formulas, by conjugacy,

$K\subset\mathbb{R}^n$04

and by generalized convexity through biconjugacy. In this language, a “dual Lagrangian product” is best understood not as a Cartesian product of bodies, but as the coupling $K\subset\mathbb{R}^n$05 or $K\subset\mathbb{R}^n$06 that generates dual Lagrangians, perturbation functions, and conjugate value functions (Lara, 2022).

5. Computational and optimization reinterpretations

In computational optimization, product-type dual Lagrangian structures appear as explicit parametrizations of dual variables. In semidefinite programming, one such representation replaces the dual positive-semidefinite variable $K\subset\mathbb{R}^n$07 by a factorization

$K\subset\mathbb{R}^n$08

which eliminates the explicit cone constraint and turns the dual augmented-Lagrangian subproblem into an unconstrained but nonconvex maximization in $K\subset\mathbb{R}^n$09. The resulting augmented Lagrangian is

$K\subset\mathbb{R}^n$10

and the stationarity condition with respect to $K\subset\mathbb{R}^n$11 is

$K\subset\mathbb{R}^n$12

This is the core “dual product” representation in that setting: the dual matrix is encoded as the product $K\subset\mathbb{R}^n$13 inside the augmented Lagrangian (Santis et al., 2017).

For multistage stochastic mixed-integer programming, Lagrangian Dual Decision Rules restrict the multiplier policies rather than the primal policies. In the stagewise dual, the multiplier–constraint product is

$K\subset\mathbb{R}^n$14

while in the nonanticipative dual it is

$K\subset\mathbb{R}^n$15

Restricting $K\subset\mathbb{R}^n$16 and $K\subset\mathbb{R}^n$17 to basis-function families yields finite-dimensional restricted duals, and the restricted nonanticipative dual can be at least as strong as the restricted stagewise dual when its basis is chosen appropriately (Daryalal et al., 2020).

Constraint programming uses essentially the same decomposition principle. Variables are duplicated per constraint, and linking equalities $K\subset\mathbb{R}^n$18 are relaxed with multipliers $K\subset\mathbb{R}^n$19, giving a dual bound

$K\subset\mathbb{R}^n$20

with

$K\subset\mathbb{R}^n$21

and

$K\subset\mathbb{R}^n$22

A self-supervised graph neural network is then trained to predict multipliers $K\subset\mathbb{R}^n$23 directly, while preserving validity of the dual bound because any multiplier vector defines a legitimate Lagrangian relaxation (Bessa et al., 2024).

Sparse linear programming yields yet another explicit dual formula. For

$K\subset\mathbb{R}^n$24

the Lagrangian dual is

$K\subset\mathbb{R}^n$25

an unconstrained piecewise-linear convex program. Its nonsmooth term is governed by the projection onto the sparse nonnegative set and therefore by a vector Ky-Fan norm structure. The paper proves strong duality and uses a semi-proximal ADMM on a split form of the dual to recover primal optimal solutions (Zhao et al., 2018).

6. Categorical, geometric, and representation-theoretic extensions

A categorical version of dual Lagrangian products appears in the theory of Lagrangian relations. Over a field $K\subset\mathbb{R}^n$26, the prop $K\subset\mathbb{R}^n$27 has objects $K\subset\mathbb{R}^n$28 with the standard symplectic form and morphisms given by Lagrangian subspaces of the corresponding input–output phase space. Its symmetric monoidal product is direct sum, and a linear relation $K\subset\mathbb{R}^n$29 generates a pure Lagrangian relation by doubling: $K\subset\mathbb{R}^n$30 The category is described as a doubled, CPM-style category of linear relations, with orthogonal complement playing the role of conjugation; for prime fields, $K\subset\mathbb{R}^n$31 is exactly a CPM construction on linear relations (Comfort et al., 2021).

Derived symplectic geometry supplies a higher product construction. If $K\subset\mathbb{R}^n$32 are Lagrangians in an $K\subset\mathbb{R}^n$33-shifted symplectic derived stack, then the $K\subset\mathbb{R}^n$34-fold fiber product

$K\subset\mathbb{R}^n$35

is itself Lagrangian in the cyclic product

$K\subset\mathbb{R}^n$36

Here the target is a product of pairwise intersections, each carrying an $K\subset\mathbb{R}^n$37-shifted symplectic structure, so the multi-intersection becomes a Lagrangian object in a product of dual pairings (Ben-Bassat, 2013).

Lie-theoretic mechanics produces another product interpretation. For a Lie group $K\subset\mathbb{R}^n$38, the iterated tangent group satisfies

$K\subset\mathbb{R}^n$39

and for a matched pair $K\subset\mathbb{R}^n$40 one has

$K\subset\mathbb{R}^n$41

This yields second-order Euler–Lagrange and matched Euler–Poincaré systems on double cross product groups, where two Lagrangian subsystems mutually act on one another rather than appearing in a one-sided semidirect product (Esen et al., 2019).

Product ambient manifolds also support rigid Lagrangian geometries. In the para-Kähler products of Lorentzian surfaces $K\subset\mathbb{R}^n$42, any Lagrangian surface with parallel mean curvature vector is, under the paper’s curvature assumptions, locally a product $K\subset\mathbb{R}^n$43 of constant-curvature curves, while in $K\subset\mathbb{R}^n$44 any $K\subset\mathbb{R}^n$45-Lagrangian with non-null parallel mean curvature is again locally such a product (Georgiou, 2014). In the Kähler product $K\subset\mathbb{R}^n$46, the key scalar invariant $K\subset\mathbb{R}^n$47 satisfies $K\subset\mathbb{R}^n$48; the case $K\subset\mathbb{R}^n$49 characterizes products of curves, and $K\subset\mathbb{R}^n$50 characterizes the diagonal immersion. Under constant curvature, parallel second fundamental form, or completeness plus a strict bound $K\subset\mathbb{R}^n$51, the only Lagrangian surfaces are products of geodesics or the diagonal (Gao et al., 2021).

Finally, derived-category theory on Lagrangian Grassmannians exhibits a representation-theoretic duality of blocks rather than a symplectic product of domains. On $K\subset\mathbb{R}^n$52, the Kuznetsov–Polishchuk exceptional blocks $K\subset\mathbb{R}^n$53 admit graded left dual exceptional collections indexed by transposed Young diagrams, and the block decomposition of $K\subset\mathbb{R}^n$54 becomes self-dual under dualization and twist. This suggests that “dual Lagrangian product” language can extend even to settings where the relevant product is combinatorial or categorical rather than geometric (Fonarev, 2023).