On the Kähler metrics over \(\operatorname{Sym}^d(X)\) (Q335817)

Let \(X\) be a compact connected Riemann surface of genus \(g\geq 2\). The gonality \(\eta(X)\) is defined as the smallest positive integer \(n\) so that there exists a degree \(n\) meromorphic map \(f:X \to\widehat{\mathbb C}\). By fixing a point \(p_0\in X\), there is the Abel-Jacobi map \(\phi:X\to JX=\mathrm{Pic}^d(X)\), where \(JX=\left(H^{1,0}(X)\right)^\ast/H_1(X;\mathbb Z)\) is the Jacobian variety of \(X\) (a principally polarized abelian variety), defined by \(\phi(p)=\left[\int_{p_0}^p\right]\). For each integer \(d \geq 1\), there is the space \(\mathrm{Sym}^d(X)\) of degree \(d\) effective divisors on \(X\). The Abel-Jacobi map extends to a map \(\phi_d:\mathrm{Sym}^d(X)\to JX\) by the rule \(\phi_d(p_1+\cdots+p_d):=\phi(p_1)+\cdots+\phi(p_d)\). Abel's theorem asserts that two divisors \(D_1,D_2\in\mathrm{Sym}^d(X)\) are sent to the same point by \(\phi_d\) if and only if \(D_1-D_2\) is the divisor of a degree \(d\) meromorphic map \(f:X \to\widehat{\mathbb C}\). It follows that if \(d<\eta(X)\), then \(\phi_d\) is injective. Under this assumption, \(\mathrm{Sym}^d(X)\) embeds into \(JX\). As \(JX\) can be embedded into a projective space, the flat Kähler metric on that projective space induces a Kähler metric in both \(JX\) and \(\mathrm{Sym}^d(X)\). The authors investigate this Kähler metric on \(\mathrm{Sym}^d(X)\), they estimate is Bergman kernel, and observe that any holomorphic automorphism of \(\mathrm{Sym}^d(X)\) is an isometry.