Klein's fundamental 2-form of second kind for the \(C_{ab}\) curves (Q517713)

The author considers a class of curves (\(C_{ab}\) curves) in the form \[ \sum_{i,j} c_{ij}x^{i}y^{j} = 0, \eqno{(1.1)} \] where \((i,j)\) range over \(ai+bj \leq ab, 0 \leq i \leq b, 0 \leq j \leq a\) for some mutually prime integers \(a, b,\) and \(c_{ij} \) are constants such that (1.1) implies \(i,j\) \(ic_{ij}x^{i-1}y^{j}\neq 0\) or \(i,j\) \(jc_{ij}x^{i}y^{j-1}\neq 0.\) In this paper, he studies cohomologies of \(C_{ab}\) curves in terms of which the Klein-Weierstrass construction of multivariate abelian and sigma functions is made possible. Also, the author derives the exact formula of Klein's fundamental 2-form of second kind for the so-called \(C_{ab}\) curves. The problem was initially solved by Klein in the 19th century for the hyperelliptic curves, but little progress had been seen for its extension for more than 100 years. Recently, it has been addressed by several authors, and was solved for subclasses of the \(C_{ab}\) curves whereas they found a way to find its individual solution numerically. The formula gives a standard cohomological basis for the curves, and has many applications in algebraic geometry, physics, and applied mathematics, not just analyzing sigma functions in a general way.