On Duality, Legendre Bundles and Deformations

Abstract: We introduce the Legendre bundle, a geometric structure encoding the essential duality of dually flat (Hessian) manifolds, and demonstrate that both exponential families in information geometry and a natural class of quantum field theories -- which we term Hessian QFTs -- arise as distinct realisations of this single framework. The Legendre bundle is shown to carry a canonical para-Kähler structure.

• The paper introduces Legendre bundles to unify duality in Hessian QFTs and exponential families through a rigorous geometric framework.
• It formalizes Legendre duality using convex potential spaces, establishing a precise relationship between dually flat manifolds and their quantum deformations.
• The study provides a categorical equivalence that facilitates deformation quantization and offers new tools for analysis in statistical and quantum geometries.

Legendre Bundles: A Unified Geometric Framework for Duality, Information Geometry, and Quantum Field Theories

Introduction

The paper develops the concept of the Legendre bundle, providing a rigorous geometric framework unifying duality structures manifest in both information geometry and quantum field theories. The framework encapsulates dually flat (Hessian) manifolds—foundational in the study of exponential families—with a strict geometric object, the Legendre bundle. Furthermore, it demonstrates that a wide class of quantum field theories (“Hessian QFTs”) and exponential families are special cases within this structure. The Legendre bundle naturally carries a para-Kähler structure, systematically linking statistical and quantum geometry.

Legendre Duality in a Geometric Category

The formulation of Legendre duality is organized as a category $\mathbf{CPS}$ of convex potential spaces, with objects pairs $(\mathcal{U}, \Psi)$—open convex domains with smooth, strictly convex potentials. Legendre duality is encoded through the Legendre–Fenchel transform, with the strict convexity providing a diffeomorphism between primal and dual coordinate systems via the Legendre map.

Every such pair gives rise to a Hessian metric $g = D^2\Psi$ and to a unique affine connection, rendering the underlying domain a dually flat manifold. The discussion formalizes the relationships and morphisms between different convex structures, capturing both the analytical and topological aspects of the duality via explicit geometric data.

Dually Flat Manifolds and the Legendre Bundle

A dually flat manifold is a Riemannian manifold $(B, g)$ endowed with two flat, torsion-free connections $(\nabla^+, \nabla^-)$ related by a duality relation for the metric $g$. The key insight is that the data underlying a dually flat manifold can be recast as a Legendre bundle. Explicitly, this bundle takes the form

$$(H,\, \langle\!\langle \cdot, \cdot \rangle\!\rangle,\, \nabla^+,\, \nabla^-,\, \Psi)$$

with $H = TB \oplus T^*B$, canonical symmetric paring vanishing on pure tangent/tangent and cotangent/cotangent, flat connections, and a convex potential $\Psi$ whose Hessian gives the metric. The bundle formalism facilitates a categorical equivalence: every dually flat manifold is encoded by a corresponding Legendre bundle, and vice versa, with the equivalence manifest in global and local coordinates.

Exponential Families as Legendre Bundles

The structure of exponential families in information geometry—parametrized by a convex open set $\Theta \subset \mathbb{R}^n$ and log-partition functions—fits precisely into the Legendre bundle formalism. The Hessian metric recovers the Fisher information metric, and the dual coordinates correspond to expected values of sufficient statistics. The Legendre conjugacy reflects the entropy and cumulant generating functions fundamental to statistical inference, with the Fenchel–Young identity encoding the core duality at the heart of the exponential family structure. The flat connections $(\mathcal{U}, \Psi)$0 arise from the natural affine coordinates on parameter and expectation spaces.

Para-Kähler Structure on Legendre Bundles

A significant geometric refinement is the demonstration that Legendre bundles naturally possess a para-Kähler structure. The bundle is equipped with an endomorphism $(\mathcal{U}, \Psi)$1 with $(\mathcal{U}, \Psi)$2, splitting the bundle into equal-rank eigenbundles (tangent and cotangent), and a canonical symplectic form defined by $(\mathcal{U}, \Psi)$3. The flat connections preserve both the para-complex and symplectic structures. This directly links the information geometric viewpoint with geometric structures typically studied in differential and complex geometry, adding a new dimension to the classical Hessian framework.

Deformations: From Classical Duality to Quantum Field Theories

The main advance is the generalization of Legendre bundles to “families” parametrized by a formal variable $(\mathcal{U}, \Psi)$4, viewed as a deformation (often, but not always, corresponding physically to quantum corrections or genus expansion in QFT). Here, the class of Hessian QFTs is introduced:

• Hessian QFT: QFTs with affine coupling space and free energy $(\mathcal{U}, \Psi)$5 formally convex in $(\mathcal{U}, \Psi)$6 for each $(\mathcal{U}, \Psi)$7, endowing the coupling space with a family of dually flat metrics (including, in special cases, the Zamolodchikov metric for CFTs).
• Zero-dimensional QFTs: Reduce to exponential families, and thus classical Legendre bundles.

The family of Legendre bundles $(\mathcal{U}, \Psi)$8 is defined over a formal disk, and is shown to satisfy all requisite structure at each $(\mathcal{U}, \Psi)$9. At $g = D^2\Psi$0, it recovers the classical (statistical) case; for arbitrary $g = D^2\Psi$1 (e.g., quantized or topological regimes), it provides a unifying para-Kähler structure, incorporating quantum corrections as higher coefficients in the deformation parameter.

Theoretical and Practical Implications

The Legendre bundle construction gives a rigorous, functorial bridge between the information-theoretic geometry of statistical models and the geometric structure of quantum field theories’ coupling spaces. Any quantum deformation describable via a convex potential fits naturally into this formalism, enforcing a canonical para-Kähler geometry at each order in deformation—the parameter $g = D^2\Psi$2 may often be interpreted as Planck’s constant or a genus-expansion variable.

On the theoretical side, this raises prospects for:

• Deformation quantization of Hessian manifolds using the family of Legendre bundles as a starting point;
• Connections to $g = D^2\Psi$3-bundle structures, D-module formalism, and formal geometry in mirror symmetry and Gromov–Witten theory;
• A fully geometric interpretation of quantum geometric tensors (including Fisher, Bures, and Zamolodchikov metrics) as arising from a universal Legendre/para-Kähler framework.

In practical terms, this could yield new methods for constructing dual statistical-physical models, for quantizing statistical geometries, or analyzing quantum theoretic moduli spaces.

Conclusion

The Legendre bundle formalism rigorously elucidates the essential geometric duality present in both statistical and quantum frameworks. By demonstrating categorical and geometric equivalences, and introducing the deformation-theoretic perspective, the work provides a comprehensive toolkit for analyzing dually flat and quantum-modified geometries within a unified para-Kähler bundle picture. This approach could motivate further developments in quantization, integrability, and the cross-pollination of methods from information geometry, quantum field theory, and complex geometry.