---
title: Complex Legendre Transform
url: https://www.emergentmind.com/topics/complex-legendre-transform
type: topic
---

# Complex Legendre Transform

The complex Legendre transform is a generalization of the classical Legendre transformation, extending the duality framework from real affine geometry and convex analysis to the setting of Kähler manifolds and complex differential geometry. It provides a local isometric symmetry on the space of Kähler metrics and serves as a foundational tool for understanding symplectic geometry, complex Monge–Ampère equations, and statistical manifolds with non-Euclidean or non-dually-flat structures. The complex Legendre transform is tightly connected to the theory of real-analytic Kähler potentials, the geometry of infinite-dimensional symmetric spaces, generalized divergences such as the Rényi divergence, and physical applications in quantum and statistical mechanics.

## 1. Classical Legendre Transform and Its Extension

The classical Legendre transform of a convex function $\psi : \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ is defined as
\[
\psi^*(y) = \sup_{x \in \mathbb{R}^n} \{ x \cdot y - \psi(x) \}.
\]
This involutive transformation underpins the duality structure of convex analysis, thermodynamics, and classical mechanics.

In the complex setting, particularly for Kähler manifolds, this duality is generalized by replacing the real pairing (dot product) with an appropriate polarization or kernel derived from a strictly plurisubharmonic Kähler potential. The geometrization of the Legendre transform replaces the Euclidean scalar product with a more general link function or diastasis [1608.05541][1703.01811].

## 2. Complex Legendre Transform on Kähler Manifolds

Let $M$ be a compact complex manifold of complex dimension $n$, equipped with a real-analytic Kähler form $\omega$. For each chart $U \subset M$, there exists a real-analytic, strictly plurisubharmonic potential $\phi : U \to \mathbb{R}$ such that $\omega|_U = i \partial \bar{\partial} \phi$. The diastasis function $D_\phi$ associated with $\phi$ takes the role of a canonical “distance-like” function:
\[
D_\phi(z, w) = \phi(z) + \phi(w) - 2\operatorname{Re} \phi_c(z, w),
\]
where $\phi_c(z, w)$ denotes the analytic continuation (polarization) of $\phi$ in a neighborhood of the diagonal.

The local complex Legendre transform $L_\phi$ of a function $v$ is defined as
\[
(L_\phi v)(w) = \sup_{z \, : \, (z, w) \in V} \{ 2 \operatorname{Re} \phi_c(z, w) - v(z) \},
\]
or, equivalently,
\[
(L_\phi v)(w) = \sup_{z \in U} \{ -D_\phi(z, w) - v(z) \}.
\]
When $v$ is sufficiently regular and small in the $C^2$-norm, $L_\phi$ is involutive, i.e., $L_\phi^2 = \mathrm{id}$ in a neighborhood of $0$ [1608.05541][1703.01811].

## 3. Geometric and Analytic Properties

The complex Legendre transform globally assembles a map $L_\omega$ on a compact Kähler manifold $M$, independent of the choice of chart and local potential. For $u$ a small enough element in the space $H_\omega$ of Kähler potentials,
\[
(L_\omega u)(q) = \sup_{p \in U_j, \, (p, q) \in V_j} \{ -D_{\phi_j}(p, q) - u(p) \}.
\]
Key theorems established for $L_\omega$ are:

- **Involution**: $L_\omega^2(u) = u$, and $L_\omega(0) = 0$.
- **Gradient Map and Uniqueness**: The supremum is uniquely attained at $G(u)(q)$, with $G(u) : M \to M$ a $C^1$-diffeomorphism satisfying $G(L_\omega u) = G(u)^{-1}$.
- **Complex Monge–Ampère Pullback**: $G(u)^* (\omega_{L_\omega u}) = \omega_u$.
- **Isometry for the Mabuchi Metric**: $L_\omega$ is an isometry of the infinite-dimensional Mabuchi Riemannian metric on $H_\omega$, sending geodesics to geodesics [1608.05541][1703.01811].

The analyticity of the reference Kähler potential is both necessary and sufficient for the existence of fixed points of the complex Legendre transform—a fixed point is real-analytic if and only if it is left unchanged by a local Legendre symmetry [1703.01811].

## 4. Symplectic and Complex Geometric Framework

The complex Legendre transform can be derived via symplectic geometry through the complexification of a real divergence $\mathcal{D} : M \times M \to \mathbb{R}$, which induces a non-canonical symplectic two-form $\omega_{\mathcal{D}}$:
\[
\omega_\mathcal{D} = \partial^k_{\,i'} \mathcal{D}(\xi, \eta) \, d\xi^i \wedge d\eta_k,
\]
where $(\xi, \eta)$ are dual coordinates.

A Kähler complexification requires the existence of an integrable almost-complex structure $J$ for which the cross-partial symmetry and certain curvature-type conditions are satisfied. The Kähler potential $K$ is constructed from the divergence $\mathcal{D}$, and the complex Legendre duality is recast as a pair of conjugate mappings between holomorphic potentials $\psi$ and $\phi$, interconnected via the link function $C(z,\bar{w})$ [2203.13673].

## 5. Generalized Dualities and Deformed Legendre Transforms

Beyond the classical and complex cases, the Legendre transform can be further generalized for non-additive entropies, such as Tsallis and Rényi, leading to deformed dualities applicable to systems with power-law statistics or non-dually flat information geometries.

For the Rényi divergence of order $\gamma$, the link function becomes
\[
C(\xi, \eta) = \frac{1}{\gamma}\ln(1 + \gamma\,\xi \cdot \eta),
\]
and potentials $\phi_\gamma$ and $\psi_\gamma$ are constructed using integration against power-law kernels. In this context, the (deformed) complex Legendre transform encodes the curvature of the statistical manifold, with involutivity and duality properties adapted to $s$-concave functions and corresponding non-Euclidean structures [1704.08508][2203.13673].

## 6. Examples and Illustrative Cases

- **Flat Euclidean Case**: For $M = \mathbb{C}^n$ with the flat metric $\omega = i\partial\bar{\partial}|z|^2$, the complex Legendre transform reduces to the standard real-part Legendre transform, with the fixed point at the quadratic potential $|z|^2$.
- **Fubini–Study and Spin Coherent States**: Taking $\gamma = 1$ yields the Fubini–Study metric on complex projective space, connecting to quantization and coherent state models [2203.13673].
- **$q$-Gaussian Equilibria**: In non-additive thermodynamics, minimizers of generalized free energies derived from the $q$-Legendre transform yield $q$-Gaussian distributions, consistent with systems exhibiting power-law tails [1704.08508].

## 7. Physical and Mathematical Significance

The complex Legendre transform establishes a unified language for duality in curved statistical manifolds, connecting Kähler geometry, information geometry, and physical models beyond the reach of classical Bregman or exponential-family machinery. Applications include:

- Symmetry and isometry structures in the space of Kähler potentials, vital for the study of complex Monge–Ampère equations and moduli of Kähler metrics.
- Deformed Hamiltonian and symplectic flows in phase space corresponding to non-canonical statistical and physical systems, such as those described by Rényi or Tsallis theories.
- Explicit construction of finite-dimensional quantization models and links to field theory, condensed matter physics, and anomalous transport phenomena [2203.13673][1608.05541].

The construction crucially depends on analyticity conditions, integrability requirements for complex structures, and the algebraic properties of the underlying divergence or kernel function. The framework provides a platform for further exploration of generalized dualities, non-equilibrium thermodynamics, and statistical geometry in both mathematical and physical domains.

Source: https://www.emergentmind.com/topics/complex-legendre-transform