---
title: Hermitian-Poisson Metrics Overview
url: https://www.emergentmind.com/topics/hermitian-poisson-metrics
type: topic
---

# Hermitian-Poisson Metrics Overview

Searching arXiv for the cited papers and closely related work on Hermitian-Poisson / Poisson metrics.
arXiv search query: "Hermitian-Poisson metrics projectively flat non-compact Gauduchon manifolds"
Looking up arXiv metadata for the main paper via the arXiv API.
```python
import urllib.request, urllib.parse, ssl, xml.etree.ElementTree as ET, textwrap, re, json, os, sys, math
url = "https://export.arxiv.org/api/query?search_query=all:Hermitian-Poisson%20metrics%20projectively%20flat%20Gauduchon&start=0&max_results=5"
ctx = ssl.create_default_context()
ctx.check_hostname = False
ctx.verify_mode = ssl.CERT_NONE
data = urllib.request.urlopen(url, context=ctx, timeout=20).read()
print(data[:500].decode("utf-8", errors="ignore"))
```
```python
import urllib.request, urllib.parse, ssl, traceback, sys
url = "https://export.arxiv.org/api/query?search_query=all:Hermitian-Poisson%20metrics%20projectively%20flat%20Gauduchon&start=0&max_results=5"
ctx = ssl.create_default_context()
ctx.check_hostname = False
ctx.verify_mode = ssl.CERT_NONE
try:
    data = urllib.request.urlopen(url, context=ctx, timeout=20).read()
    print("ok", len(data))
    print(data[:300].decode("utf-8", errors="ignore"))
except Exception as e:
    print("ERR", repr(e))
    traceback.print_exc()
```
Hermitian-Poisson metrics are Hermitian metrics on flat or projectively flat complex vector bundles for which an appropriate curvature trace is a scalar endomorphism. In the non-Kähler extension of non-abelian Hodge theory, tailored to projectively flat complex vector bundles over Gauduchon manifolds, the defining equation is expressed in terms of the “complex curvature” \(G_H=(D_H'')^2\) and its contraction \( \sqrt{-1}\Lambda_\omega G_H\) [2507.10973]. On non-compact curves, the same terminology is used for metrics satisfying an affine divergence equation \(K(H)=c\,I\), where \(K(H)=-\,\star\,\nabla\,\star\,\Psi(H)\); in that setting the equation is a deformation of Simpson’s harmonic metric equation and arises by dimension reduction of the Hermitian–Yang–Mills equation from K3 surfaces in the large complex structure limit [1403.7825].

## 1. Definitions and geometric setting

On a complex Hermitian manifold \((X,\omega)\) of complex dimension \(n\), the metric is Gauduchon if
\[
\partial\bar\partial(\omega^{n-1})=0.
\]
The non-compact framework considered for Hermitian-Poisson metrics assumes that \(\omega\) is Gauduchon and satisfies additional analytic hypotheses, including finite volume and the existence of an exhaustion function with bounded \( \sqrt{-1}\Lambda_\omega\partial\bar\partial\phi \) [2507.10973].

Let \((E,D)\) be a complex vector bundle of rank \(r\) over \(X\) equipped with a complex connection \(D\). For any Hermitian metric \(H\) on \(E\), there is a unique decomposition
\[
D=D_H+\psi_H,
\]
where \(D_H\) is unitary and \(\psi_H\in \Omega^1(\mathrm{End}(E))\) is self-adjoint with respect to \(H\). Writing the \((1,0)\) and \((0,1)\) parts of \(D_H\) as \(\partial_H\) and \(\bar\partial_H\), one defines
\[
D_H''=\bar\partial_H+\psi_H^{1,0},\qquad D_H'=\partial_H+\psi_H^{0,1},
\]
and the associated complex curvature
\[
G_H:=(D_H'')^2
=\bar\partial_H^2+\bar\partial_H\psi_H^{1,0}+\psi_H^{1,0}\wedge\psi_H^{1,0}.
\]
The contraction operator \(\Lambda_\omega\) is then used to form the Poisson trace \( \sqrt{-1}\Lambda_\omega G_H \) [2507.10973].

A connection \(D\) is projectively flat if its curvature is a scalar multiple of the identity:
\[
\sqrt{-1}\,F_D=\alpha\otimes \mathrm{Id}_E,
\]
for some real \((1,1)\)-form \(\alpha\). In terms of the decomposition \(D=D_H+\psi_H\), this implies
\[
D_H(\psi_H)=0,\qquad
\sqrt{-1}\bigl(D_H^2+\psi_H\wedge\psi_H\bigr)=\alpha\otimes \mathrm{Id}_E,
\]
together with the component relations listed in the projectively flat system [2507.10973].

In the curve case, the same geometric pattern is expressed differently. Given a flat bundle \((E,\nabla)\to M\) over a punctured Riemann surface, a Hermitian metric \(H\) determines a splitting
\[
\nabla=d+A-\Psi,
\]
where \(D_A:=d+A\) is metric-unitary and \(\Psi\) is an \(H\)-self-adjoint endomorphism-valued \(1\)-form. The dual connection is
\[
\widehat{\nabla}_H=d+A+\Psi.
\]
In a flat frame,
\[
\Psi(H)=\frac{1}{2}\,H^{-1}dH.
\]
The corresponding endomorphism
\[
K(H):=-\,\star\,\nabla\,\star\,\Psi(H)
\]
is the affine “trace of curvature” entering the curve-level Poisson metric equation [1403.7825].

## 2. Hermitian-Poisson equations and their relation to Hermitian-Einstein theory

Following Pan–Zhang–Zhang and the convention adopted in the Gauduchon-manifold setting, a Hermitian metric \(H\) on \((E,D)\) is called a Hermitian-Poisson metric if
\[
\sqrt{-1}\,\Lambda_\omega G_H=\lambda\,\mathrm{Id}_E
\]
for some real constant \(\lambda\). Equivalently, the \((0,0)\)-contraction of \(G_H\) against \(\omega\) is a scalar endomorphism of \(E\) [2507.10973].

For projectively flat bundles, the role of \(G_H\) is essential. The Hermitian-Poisson condition constrains the trace of the complex curvature \(G_H\) rather than the full Chern curvature \(F_{D_H}\). This is the principal distinction from the Hermitian-Einstein condition
\[
\sqrt{-1}\Lambda_\omega F_{D_H}=\lambda\,\mathrm{Id}_E.
\]
In the Kähler case, Donaldson’s functional and Simpson’s heat flow provide variational control for Hermitian-Einstein metrics and Higgs bundles. In Gauduchon, non-Kähler settings, Donaldson’s functional is unavailable, and the analysis is reorganized around \(G_H\), its Poisson trace, and analytic substitutes for the missing variational structure [2507.10973].

On non-compact curves, “Poisson metric” and “Hermitian–Poisson metric” are synonymous. The defining equation is
\[
K(H)=-\,\star\,\nabla\,\star\,\Psi(H)=c\,I.
\]
On curves this coincides with
\[
-2\,\star\,\nabla\,\star\,\Psi(H)=c\,I.
\]
When \(c=0\), the equation becomes Simpson’s harmonic metric equation, so the Poisson equation is a deformation by a constant Poisson term [1403.7825].

The curve equation also admits a local affine form:
\[
-\;\varphi^{ij}\,\partial_i\!\big(H^{-1}\,\partial_j H\big)=\lambda\,I.
\]
This is obtained by dimension reduction of the Hermitian–Yang–Mills trace equation on a holomorphic bundle over \(TM\), and in the large complex structure limit of an elliptic K3 surface the same reduction yields the Poisson PDE on the base curve. In that sense, the Poisson metric equation is described as the affine analogue of the Hermitian–Yang–Mills equation under SYZ-type dimension reduction [1403.7825].

A common misconception is to identify Hermitian-Poisson metrics with Hermitian-Einstein metrics. The two notions coincide neither analytically nor geometrically in general. In the Gauduchon-manifold setting, the equation is built from \(G_H=(D_H'')^2\), while in the affine curve setting it is built from the divergence of \(\Psi(H)\). This suggests that “Poisson” refers not to a single universal curvature tensor but to a family of scalar-trace conditions adapted to flat or projectively flat data outside the standard Kähler framework.

## 3. Existence correspondences and semisimplicity criteria

The principal non-compact correspondence for projectively flat bundles over Gauduchon manifolds is an existence-and-semisimplicity theorem under explicit analytic assumptions [2507.10973]. Let \((X,\omega)\) be a non-compact Gauduchon manifold satisfying:

- finite volume \(\mathrm{Vol}(X,g)<\infty\);
- existence of an exhaustion function \(\phi\ge 0\) with bounded \( \sqrt{-1}\Lambda_\omega\partial\bar\partial\phi\);
- an assumption controlling sup norms from integrated inequalities;
- \( |d\omega^{n-1}|_g\in L^2(X)\);
- a background Hermitian metric \(H_0\) with \( \sup_X |\Lambda_\omega G_{H_0}|_{H_0}<\infty\).

Under these hypotheses, if \((E,D)\) is simple and projectively flat, there exists a Hermitian metric \(H\) such that \(H\) and \(H_0\) are mutually bounded,
\[
D\bigl(\log(H_0^{-1}H)\bigr)\in L^2,
\]
and
\[
\sqrt{-1}\,\Lambda_\omega G_H=\lambda_{H_0,\omega}\,\mathrm{Id}_E.
\]
Moreover, if \(\psi_{H_0}\in L^2\), then \(\psi_H\in L^2\) [2507.10973].

The converse statement requires additional geometry. If \(\omega\) is balanced and \((E,D)\) admits a Hermitian-Poisson metric \(H\) with \(\psi_H\in L^2\), then \((E,D)\) is semi-simple. Here “simple” means that \(E\) admits no proper \(D\)-invariant subbundle, while “semi-simple” means a direct sum of simple \(D\)-invariant subbundles. Thus, under the balanced condition and \(L^2\) control, existence of a Hermitian-Poisson metric characterizes semi-simplicity [2507.10973].

The curve case gives an analogous but differently formulated correspondence. Let \(M=\overline M\setminus\{p_1,\dots,p_m\}\) be a punctured compact Riemann surface endowed with a smooth Kähler metric \(g=\varphi=e^\psi\overline g\) of finite volume. For a flat vector bundle with regular singularities and a parabolic structure \(\Pi\), the main theorem states that the bundle admits a conformally strongly tamed Poisson metric if and only if it is slope polystable. If \(e^\psi\in L^p(M,\overline g)\) for some \(p>2\), then the metric is strongly tamed. Any such metric is unique up to multiplication by a positive constant [1403.7825].

The stability mechanism on curves is encoded by a Chern–Weil formula. If \(S\subset E\) is a flat subbundle with orthogonal projection \(\pi\) and second fundamental form \(\beta\), then
\[
\frac{1}{\pi}\deg(S)=\int_M\operatorname{Tr}(\pi K(H)\pi)\,d\nu
-\frac{1}{4}\int_M |\beta|_{H\otimes\varphi}^2\,d\nu.
\]
If \(H\) is Poisson, this yields \(\mu(S)\le \mu(E)\), with equality if and only if \(\beta\equiv 0\), so existence of a Poisson metric implies slope polystability [1403.7825].

## 4. Analytic framework: heat flow, continuity method, and substitute functionals

The non-compact Gauduchon theory combines heat flow techniques and continuity methods. For \(\varepsilon\in(0,1]\), the perturbed equation is
\[
\sqrt{-1}\,\Lambda_\omega G_H-\lambda\,\mathrm{Id}_E-\varepsilon\,\log(H_0^{-1}H)=0.
\]
Its associated heat flow is
\[
H^{-1}(t)\,\frac{\partial H(t)}{\partial t}
=
4\left(\sqrt{-1}\,\Lambda_\omega G_{H(t)}-\lambda\,\mathrm{Id}_E
-\varepsilon\,\log\big(H_0^{-1}H(t)\big)\right).
\]
Writing \(h(t)=H_0^{-1}H(t)\) and \(\Phi_\varepsilon(H(t))=\sqrt{-1}\Lambda_\omega G_{H(t)}-\lambda\,\mathrm{Id}_E-\varepsilon\log h(t)\), the flow satisfies
\[
\left(\frac{\partial}{\partial t}-\widetilde{\Delta}\right)
\bigl(e^{4\varepsilon t}\,\mathrm{tr}\,\Phi_\varepsilon(H(t))\bigr)=0,
\qquad
\left(\frac{\partial}{\partial t}-\widetilde{\Delta}\right)
|\Phi_\varepsilon(H(t))|^2_{H(t)}\le 0.
\]
These monotonicity relations imply uniform bounds by the maximum principle [2507.10973].

A second fundamental tool is Donaldson’s distance
\[
\sigma(H,K):=\mathrm{tr}(H^{-1}K)+\mathrm{tr}(K^{-1}H)-2r.
\]
For two solutions with the same initial data,
\[
\left(\frac{\partial}{\partial t}-\widetilde{\Delta}\right)\sigma(H(t),K(t))\le 0,
\]
which implies uniqueness and \(C^0\) convergence. The flow also yields the estimate
\[
\big|\log(H_0^{-1}H(t))\big|_{H_0}
\le \frac{1}{\varepsilon}\,\sup_X|\Phi(H_0)|_{H_0},
\]
and local \(C^1\) bounds for \(\psi_H^{1,0}\) on compact subsets [2507.10973].

Because Donaldson’s functional is not available in the Gauduchon setting, the paper replaces it by a central integral identity. If \(s:=\log(H_0^{-1}H)\), then
\[
4 \int_X {\rm tr}\bigl(\Phi(H)\,s\bigr)\,\frac{\omega^n}{n!}
+\int_X\!\big\langle \Psi(s)(Ds),\,Ds\big\rangle_{H_0,\omega}\,\frac{\omega^n}{n!}
+4\varepsilon\,\|s\|^2_{L^2}
=
4 \int_X {\rm tr}\bigl(\Phi(H_0)\,s\bigr)\,\frac{\omega^n}{n!},
\]
where
\[
\Phi(H)=\sqrt{-1}\,\Lambda_\omega G_H-\lambda_{H_0,\omega}\,\mathrm{Id}_E-\varepsilon\,\log(H_0^{-1}H),
\]
and
\[
\Psi(x,y)=
\begin{cases}
\displaystyle \frac{e^{y-x}-1}{y-x},& x\neq y,\\[4pt]
1,& x=y.
\end{cases}
\]
This identity is crucial for global \(C^0\) and \(L^2\) estimates, and for the passage \(\varepsilon\to 0\) to an actual Hermitian-Poisson metric [2507.10973].

A related Bochner-type identity is
\[
\sqrt{-1}\,\Lambda_\omega\,\mathrm{tr}\bigl(D\zeta\wedge D_H^c\zeta\bigr)=|D\zeta|^2_{H,\omega},
\]
and it drives the evolution of \(|\Phi_\varepsilon(H(t))|^2\). On non-compact manifolds, the analysis is localized to exhausting domains \(M_\varphi=\{\phi\le \varphi\}\), with Dirichlet boundary condition \(H|_{\partial M_\varphi}=H_0\), and then passed to the limit using uniform \(C^0\) and local \(C^1\) estimates [2507.10973].

The curve theory uses a parallel, though not identical, analytic scheme. On compact submanifolds \(M_\rho\) with boundary, one solves Donaldson’s heat flow
\[
\partial_t H=-(K(H)-c\,I)\,H
\]
with prescribed boundary value \(H_0\). The curvature satisfies \((\partial_t-\Delta_t)K=0\), decays exponentially, and the flow converges to a stationary solution \(H_\rho\) with \(\det(H_0^{-1}H_\rho)=1\). If \(\sup_M \operatorname{Tr}h_\rho\) were unbounded, one constructs a weak \(L^2\)-projection onto a proper flat subbundle, contradicting stability [1403.7825].

## 5. Parabolic structures, asymptotics, and local models on non-compact curves

On a punctured Riemann surface \(M=\overline M\setminus\{p_1,\dots,p_m\}\), the curve theory incorporates regular singularities and parabolic structures. Near each puncture, after a suitable meromorphic gauge, a regular singular flat connection has local form
\[
\nabla=d-\frac{B_0}{z}\,dz,
\]
or equivalently in polar coordinates,
\[
\nabla=d+B_0\,d\theta.
\]
A parabolic structure assigns real weights \(w_\ell\) to the indecomposable summands \(V_\ell\) in the local decomposition \(E\simeq V_1\oplus\cdots\oplus V_k\) [1403.7825].

The parabolic degree is
\[
\deg(E,\Pi)=\sum_{j=1}^m\sum_{\ell=1}^{k_j} w_\ell\,\dim V_\ell,
\]
and the parabolic slope is \(\mu(E,\nabla,\Pi)=\deg(E,\Pi)/\operatorname{rk}(E)\). One says \((E,\nabla,\Pi)\) is slope stable if \(\mu(S)<\mu(E)\) for every proper flat subbundle \(S\subset E\), semistable if \(\mu(S)\le \mu(E)\), and polystable if it is a direct sum of stable flat subbundles of the same slope [1403.7825].

The asymptotic side of the theory is encoded by tame and strongly tame metrics. A metric \(H\) is tamed by \(\Pi\) if it satisfies integrability of \(K(H)\) and radial asymptotics of \(\Psi\) on local invariant flat subbundles:
\[
\operatorname{Tr}\big(\Psi_S(\partial_r)\big)
=
-\sum_\ell \frac{w_\ell\,\operatorname{rk}(S_\ell)}{r}
+o\!\left(\frac{1}{r\,|\log r|^{\varepsilon}}\right).
\]
For strong tameness, one adds precise norm growth of flat sections and a fuller asymptotic expansion of \(\Psi\), including suppressed nilpotent terms of size \(O(|\log r|^{-1})\) in the angular component [1403.7825].

The local model solutions are explicit. If near a puncture
\[
\nabla=d+\frac{a}{r}\,I\,dr+B_0\,d\theta,\qquad B_0=\kappa\,I+N,
\]
with \(N\) a single Jordan block of size \(n\), then the diagonal metric
\[
H=\mathrm{diag}(\lambda_1(r),\dots,\lambda_n(r)),\qquad
\lambda_i(r)=\frac{(n-i)!}{(i-1)!}\,|\log r|^{\,2i-(n+1)},
\]
solves \(K(H)=0\) and is strongly tame [1403.7825].

These local models are glued and then conformally corrected by solving
\[
-\frac{1}{4}\,\Delta_{\varphi}u=-\frac{1}{n}\,\operatorname{Tr}K(H)+c
\]
to obtain a strongly conformally tame metric solving \(K(H)=c\,I\) near each puncture. If \(e^\psi\in L^p\) for some \(p>2\), the metric is strongly tame without further conformal correction [1403.7825].

The constant \(c\) is determined by the parabolic degree. For any tame metric \(H\),
\[
\deg(E,\Pi)=\frac{1}{\pi}\int_M \operatorname{Tr}K(H)\,d\nu,
\]
and therefore a Poisson metric satisfies
\[
c=\frac{\deg(E,\Pi)}{\operatorname{rk}(E)\,\operatorname{Vol}(M,d\nu)}.
\]
This normalization matches the affine constant appearing in the dimension-reduced Hermitian–Yang–Mills equation [1403.7825].

## 6. Splitting phenomena, examples, non-examples, and open directions

A major structural consequence of the Gauduchon-manifold theory is that Hermitian-Poisson metrics detect semi-simplicity. One mechanism uses normalized logarithms \(u_j=s_{\varepsilon_j}/\|s_{\varepsilon_j}\|_{L^2}\), spectral analysis in the style of Simpson, and step functions \(P_\alpha\) applied to the limit \(u_\infty\). This yields self-adjoint \(L^2_1\) projections \(\pi_\alpha\) satisfying
\[
\pi_\alpha^2=\pi_\alpha,\qquad
\pi_\alpha^{*_{H_0}}=\pi_\alpha,\qquad
(\mathrm{Id}_E-\pi_\alpha)\,D\pi_\alpha=0.
\]
Each \(\pi_\alpha\) projects onto a \(D\)-invariant subbundle. In the balanced case, a block decomposition
\[
f_H^*(D)=
\begin{pmatrix}
D_S & \beta\\
0   & D_Q
\end{pmatrix},\qquad
f_H^*(H)=
\begin{pmatrix}
H_S & 0\\
0   & H_Q
\end{pmatrix}
\]
together with the Hermitian-Poisson equation implies
\[
\int_X |\beta|^2\,\frac{\omega^n}{n!}=0
\quad\Rightarrow\quad
\beta=0,
\]
so the bundle splits orthogonally into a direct sum of \(D\)-invariant subbundles [2507.10973].

Several examples and non-examples are recorded. For the trivial bundle \(E=\mathcal O_X^r\) with \(D\) unitary and projectively flat, the Hermitian-Poisson equation reduces to \( \sqrt{-1}\Lambda_\omega G_H=\lambda\,\mathrm{Id}\), and a constant metric with \(\psi_H=0\) satisfies the equation with \(\lambda=0\). If \(D\) is flat, then projectively flatness holds trivially, and under the stated assumptions one obtains Hermitian-Poisson metrics with normalization determined by \(H_0\) and \(\omega\). Semi-simple direct sums of simple projectively flat factors admit Hermitian-Poisson metrics by solving on each factor, subject to the normalization and trace constraints [2507.10973].

In the curve setting, illustrative cases include a rank-two trivial bundle over \(\mathbb C^*\) with connection
\[
\nabla=d+\begin{pmatrix}1&0\\0&0\end{pmatrix}d\theta,
\]
for which the only invariant subbundle is \(\langle e_1\rangle\), and strongly tame metrics with logarithmic growth such as
\[
H=
\begin{pmatrix}
-\log r & 0\\
0 & -\log r
\end{pmatrix}
\]
near a puncture [1403.7825].

The main non-examples are analytic rather than algebraic. If the non-compact Gauduchon manifold fails the hypotheses of finite volume, controlled exhaustion, the \(L^2\) condition \( |d\omega^{n-1}|_g\in L^2(X)\), or the integrated inequality encoded in Assumption 3, then the analytic machinery may fail. Likewise, without balanced \(\omega\) and \(L^2\) control on \(\psi_H\), the converse implication from existence of a Hermitian-Poisson metric to semi-simplicity may not hold [2507.10973].

The current literature also identifies several open directions. These include removing the balanced hypothesis in the converse, weakening the \(L^2\) assumptions, developing moduli-theoretic interpretations for Hermitian-Poisson metrics in non-Kähler settings analogous to Kobayashi–Hitchin correspondences, exploring relations with harmonic bundles on quasi-projective manifolds, and extending the affine/Hessian methods of the curve theory to higher-dimensional affine manifolds and more general non-compact settings [2507.10973] [1403.7825]. A plausible implication is that Hermitian-Poisson metrics supply a flexible replacement for Hermitian-Einstein metrics precisely in settings where projective flatness persists but standard Kähler tools do not.

Source: https://www.emergentmind.com/topics/hermitian-poisson-metrics