On the Kähler metrics over Sym^d(X)

From MaRDI portal
Publication:335817



Abstract: Let X be a compact connected Riemann surface of genus g, with ggeq2. For each d<eta(X), where eta(X) is the gonality of X, the symmetric product extSymd(X) embeds into extPicd(X) by sending an effective divisor of degree d to the corresponding holomorphic line bundle. Therefore, the restriction of the flat K"ahler metric on extPicd(X) is a K"ahler metric on extSymd(X). We investigate this K"ahler metric on extSymd(X). In particular, we estimate it's Bergman kernel. We also prove that any holomorphic automorphism of extSymd(X) is an isometry.


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.











This page was built for publication: On the Kähler metrics over \(\operatorname{Sym}^d(X)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335817)