Homology of the family of hyperelliptic curves (Q2414520)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Homology of the family of hyperelliptic curves
scientific article

    Statements

    Homology of the family of hyperelliptic curves (English)
    0 references
    0 references
    0 references
    17 May 2019
    0 references
    The authors study in this paper the homology of a family of hyperelliptic curves. Let $D$ be the open disk in $\mathbb{C}$, $C_n$ the configuration space of $n$ distinct points in $D$, and $P = \{x_1, \dots, x_n\} \in C_n$. Then, consider \[ E_n = \{(P,z,y) \in C_n \times D \times \mathbb{C}\mid y^2 = (z-x_1) \cdots (z-x_n)\}. \] For a given $P$, the set \[ \Sigma_n = \{(z,y) \in D \times \mathbb{C}\mid y^2 = (z-x_1) \cdots (z-x_n)\} \] is a connected oriented surface with $1$ or $2$ boundary components according to $n$ be odd or even, and with genus $g = \frac{n-1}{2}$ or $\frac{n-2}{2}$ respectively. The goal of the paper is to obtain the integral homology of the space $E_n$. In order to get it, the authors use that $C_n$ is a classifying space for the braid group Br$_n$. The braid group embeds into the mapping class group of a surface of genus $g$ via Dehn twists. Then, the homology of that symplectic representation of the braid group is computed in the paper, and since the homology of the braid groups is known, a description is obtained of the homology of $E_n$. It is worth to note that the integral homology groups result to have only $2$-torsion if $n$ is odd.
    0 references
    hyperelliptic curves
    0 references
    integral homology
    0 references
    braid groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references