On the homology characters of symmetric products. (Q2612865)

Im ersten Teil wird abgeleitet, wie man bei gegebener Bewegungsgruppe endlicher Ordnung \(q\) eines Komplexes \(K\) die \textit{Betti}schen Zahlen des zugehörigen Diskontinuitätsbereiches gewinnt, und zwar mod 0 und mod \(p^u\), falls \(p\) Primzahl und kein Teiler von \(q\) ist. Ist \(K_n\) ein \(n\)-dimensionaler Komplex und sind \(a\) und \(b\) zwei beliebige Punkte von \(K_n\), so erhält man aus dem Produktkomplex \(K_{2n} = K_n \times K_n\) das zweifache symmetrische Produkt \(K_{2n}'\) durch Identifizierung aller Punktepaare \(a \times b\) und \(b \times a\). (Beispiele: \textit{Möbius}sches Band, komplexe projektive Ebene.) Entsprechend erhält man aus \((K_n)^r\) das \(r\)-fache symmetrische Produkt. Durch Anwendung der Ergebnisse des ersten Teils erhält man für die \textit{Betti}schen Zahlen von \(K_{2n}'\), wenn \(R_s(K)\) die \(s\)-te \textit{Betti}sche Zahl von \(K\) bedeutet: \[ R_m(K_{2n}') = \left\{ \begin{matrix} \l & \l \\ \frac 12 [ R_m(K_{2n}) + R_{\frac 12m}(K_n)] & \quad \text{für} \;m \equiv 0 \pmod 4, \\ \frac 12 [ R_m(K_{2n}) - R_{\frac 12m}(K_n)] & \quad \text{für} \;m \equiv 2 \pmod 4, \\ \frac 12 R_m(K_{2n}) \quad\text{für} \;m \equiv 1 & \text{oder} \;3\pmod 4. \end{matrix} \right. \] Diese Formeln gelten für die \textit{Betti}schen Zahlen mod 0 und mod \(p^u\). Der Fall \(p = 2\) erfordert dabei eine gesonderte Behandlung, die in einem dritten Teil durchgeführt wird. Auch für die Gewinnung der \textit{Betti}schen Zahlen des dreifachen symmetrischen Produkts werden die Formeln abgeleitet, und für das \(r\)-fache symmetrische Produkt wird ein allgemeines Verfahren angegeben.