The pointed harmonic volumes of hyperelliptic curves with Weierstrass base point (Q2472549): Difference between revisions

Let \(X\) be a compact Riemann surface of genus \(g > 1\) and \(p\) a point on \(X.\) \textit{M. Pulte} [Duke Math. J. 57, No. 3, 721--760 (1988; Zbl 0678.14005)] defined the pointed harmonic volume of \((X,p)\) to be homomorphism \(I_{p}: K \bigotimes H \rightarrow {\mathbb R}/{\mathbb Z},\) using Harris' method for the harmonic volume of \(X.\) Here \(H = H^{1}(X; {\mathbb Z})\) the first cohomology group of \(X\) and \(K\) the kernel of the intersection pairing \(H \bigotimes H \rightarrow {\mathbb Z}.\) In this paper author computes the pointed harmonic volume of special hyperelliptic curves \(C_{0}\) with any Weierstrass point \(p.\) Also, he can compute the pointed harmonic volume of all the hyperelliptic curves \(C\) with Weierstrass point. These results are paraphrased from a combinatorial viewpoint as follows. Let \(\{P_{j}\}_{j=0,1,\dots,2g+1}\) denote the set of Weierstrass points on \(C,\) and fix a Weierstrass point \(P_{\nu},\) \(0 \leq \nu \leq 2g + 1.\) A certain homomorphism \(k_{\nu} : K \bigotimes H \rightarrow \frac{1}{2}{\mathbb Z}/{\mathbb Z} = \{0,1,2\},\) which depends on the choice of \(P_{\nu}.\) Theorem 6.2. For any hyperelliptic curve \(C\) and \(A \in K \bigotimes H,\) we have \[ I_{P_{\nu}}(A) \equiv k_{\nu}(A) \mod {\mathbb Z}. \]