Beiträge zur Klassifizierung der Flächenabbildungen. (Q574241)

Sind \(F_p\) bzw. \(F_q\) geschlossene orientierbare Flächen vom Geschlecht \(p \geqq 1\) bzw. \(q \geq 1\), \(\mathfrak G_p\) bzw. \(\mathfrak G_q\) ihre Fundamentalgruppen, so induziert jede Abbildungsklasse von \(F_p\) auf \(F_q\) genau eine Klasse konjugierter Homomorphismen von \(\mathfrak G_p\) auf \(\mathfrak G_q\), und umgekehrt läßt sich jede Homomorphismenklasse durch genau eine Abbildungsklasse induzieren. Ist weiter \(\mathfrak C_q\) die Kommutatorgruppe von \(\mathfrak G_q\), so bewirkt auch jede Abbildungsklasse Homomorphismen von \(\mathfrak G_p\) auf die Homologiegruppe \[ \mathfrak B_q = \mathfrak G_q/\mathfrak C_q. \] Ist weiter \(a_i, b_i\) \((i = 1, \cdots, p)\) eine Basis von \(\mathfrak G_p\) (= kanonisches Schnittsystem von \(F_p\)), sind \(\alpha_i, \beta_i\) entsprechend in \(\mathfrak B_q\) definiert, und ist \(H(x)\) ein Homomorphismus, der durch Abbildungen des Abbildungsgrades \(c\) induziert ist, so gilt: \[ H(a_i) = \prod_j \alpha_j^{r_{ij}} \prod_j \beta_j^{s_{ij}}, \qquad H(b_i) = \prod_j \alpha_j^{t_{ij}} \prod_j \beta_j^{u_{ij}} \] \[ (i = 1, \dots, p; \;j = 1, \dots, q), \] \[ c = \sum_{i=1}^p \begin{vmatrix} r_{ij} & s_{ij} \\ t_{ij} & u_{ij} \end{vmatrix} \;\text{ für jedes } \;j = 1, \dots, q. \] Die Matrix \[ \begin{pmatrix} r_{11} & \cdots & s_{1q} \\ \cdot & & \cdot \\ \cdot & & \cdot \\ \cdot & & \cdot \\ t_{p1} & \cdots & u_{pq} \end{pmatrix} \] hat den Rang \(2q\), falls \(c \neq 0\) ist, sonst einen Rang \(\leqq p\). Schließlich wird noch das Verhalten der Schnittzahlen zweier Kurven bei Abbildungen untersucht.