Green's Function Comparison Method

• Green's Function Comparison Method is a technique for comparing pluricomplex Green functions on matrix domains using holomorphic symmetrization.
• It establishes equality for cyclic matrices and strict inequality for derogatory ones through a rigorous analysis of nilpotence and Jordan decomposition.
• The method integrates pluripotential theory with spectral analysis to differentiate classical invariants like the Carathéodory distance and Green function in higher dimensions.

The Green's function comparison method is a technique for relating the pluricomplex Green functions on two distinct domains linked via a holomorphic mapping, with a particular focus on the spectral ball $\Omega_{\rm spec}$ and the symmetrized polydisk $G_n$ in several complex variables. Core results establish precise inequalities and characterizations for the Green functions on these domains, especially highlighting the distinction between cyclic (non-derogatory) and derogatory matrices and the role of nilpotence in the behavior of these functions. The method is rigorously developed in Thomas–Trao–Zwonek, "Green functions of the spectral ball and symmetrized polydisk" (Thomas et al., 2010).

1. Spectral Ball, Symmetrized Polydisk, and Symmetrization Map

Let $M_n$ denote the space of $n \times n$ complex matrices. The spectral ball is defined as

$\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$

where $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$ is the spectral radius of $A$.

Given the characteristic polynomial $$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$, the symmetrization map

$$\pi: \Omega_{\rm spec}\to\mathbb{C}^n, \qquad \pi(A) = (s_1(A),...,s_n(A))$$

maps $A$ to the vector of its elementary symmetric functions. The image $G_n$0 is called the symmetrized polydisk, which is a bounded, complete hyperbolic, and hyperconvex domain.

The pluricomplex Green function with pole at $G_n$1 is

$G_n$2

with $G_n$3 for $G_n$4 and $G_n$5 for $G_n$6 (Thomas et al., 2010).

2. Main Comparison Theorem and Inequality

For any $G_n$7, the Green's function on the spectral ball dominates the pullback via symmetrization: $G_n$8 If $G_n$9 is cyclic (non-derogatory), i.e. it has a single Jordan block per eigenvalue, then equality holds for every $M_n$0: $M_n$1 If $M_n$2 is derogatory (it has a repeated eigenvalue and more than one Jordan block per eigenvalue), the inequality is always strict. The difference

$M_n$3

is strictly positive and estimates for this gap depend on the orders of nilpotence in the Jordan decomposition of $M_n$4 (Thomas et al., 2010).

3. Role of Derogatory Poles and Nilpotence

To formalize strictness, conjugate $M_n$5 into Jordan form. For eigenvalue $M_n$6,

$M_n$7

$M_n$8 is derogatory iff for some $M_n$9 one has $n \times n$0.

For a nilpotent matrix $n \times n$1, $n \times n$2, $n \times n$3, $n \times n$4. For small perturbation $n \times n$5,

$n \times n$6

Homogeneity of the elementary symmetric polynomials yields

$n \times n$7

Therefore,

$n \times n$8

is strictly positive for small $n \times n$9 when $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$0.

For general derogatory $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$1 with repeated eigenvalue $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$2 and $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$3, one applies a Möbius-type automorphism moving $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$4 to $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$5 and repeats the estimation with the same order distinction, confirming strict inequality (Thomas et al., 2010).

4. Isospectral Fibres, Cyclicity, and the Proof Strategy

The Green function $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$6 is constant along fibers of the symmetrization map: $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$7 This invariance under the isospectral equivalence is central. The composition $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$8 is plurisubharmonic on $\Omega_{\rm spec} = \{ A \in M_n : \rho(A) < 1 \},$9, ensuring by the maximum property that it is always bounded above by $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$0, yielding the main inequality.

For $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$1 cyclic, the differential $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$2 has maximal rank and $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$3 is a submersion locally. A theorem of Jarnicki–Pflug shows that the pullback of the Green function along a submersion coincides with the Green function of the source, establishing equality for cyclic poles (Thomas et al., 2010).

In the derogatory case, one examines one-parameter families $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$4 tangent to the isospectral fiber. The spectral radius of $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$5 grows as $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$6, but under $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$7, the coordinate growth is $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$8, so the difference in exponents after taking logarithms underscores the strict gap between $$\rho(A)=\max\{|\lambda|: \lambda \in\operatorname{sp}(A)\}$$9 and $A$0.

5. Infinitesimal Estimates and Metric Separation in $A$1

For domains $A$2, the following inequalities relate the (pseudo-)Carathéodory distance $A$3, the Green function $A$4, and the Lempert function $A$5: $A$6 On the symmetrized polydisk, novel phenomena appear for $A$7. At the origin $A$8 and in the “last coordinate” direction $A$9,

$$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$0

where $$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$1 is the infinitesimal Azukawa metric and $$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$2 the Carathéodory–Reiffen metric.

For $$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$3,

$$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$4

Consequently, for small $$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$5,

$$P_A(t)=\det(tI-A)=t^n - s_1(A) t^{n-1} + \cdots + (-1)^n s_n(A)$$6

Thus, the Green function and Carathéodory distance exhibit marked differences for the symmetrized polydisk in dimensions above two. This contrasts with the classical equivalence in the bidisk or the unit ball (Thomas et al., 2010).

6. Significance and Mathematical Context

The Green's function comparison method rigorously quantifies the distinction between the spectral ball and its symmetrized image, particularly through pluripotential-theoretic invariants and their extremal properties on matrix domains. The method demonstrates the central role of cyclicity, nilpotence, and isospectral geometry in the pluricomplex Green function's behavior and exposes deeper structure in fundamental complex-analytic metrics, revealing, for higher dimensions, non-trivial separations between classical objects such as the Carathéodory distance and the pluricomplex Green function (Thomas et al., 2010).