Zur Topologie der Abbildungen von Mannigfaltigkeiten. II: Klasseninvarianten von Abbildungen. (Q1438171)

Ist \(f\) eine eindeutige stetige Abbildung einer geschlossenen orientierbaren \(n\)-dimensionalen Mannigfaltigkeit \(M\) auf eine \(n\)-dimensionale Mannigfaltigkeit \(\mu\), so zählt der \textit{Brouwer}sche Abbildungsgrad \(c\), der bekanntlich eine Invariante der Abbildungsklasse ist, die algebraische (d.~h. mit einem Vorzeichen gezählte) Anzahl der glatten Bedeckungen eines Teilgebiets von \(\mu\) durch die Bildmenge von \(M\). Die ``geometrische'' (d.~h. ohne Vorzeichen gezählte) Anzahl der glatten Bedeckungen eines Gebiets von \(\mu\) durch das Bild von \(M\) ist also mindestens gleich \(|c|\). Kann diese untere Schranke für die geometrische Anzahl der glatten Bedeckungen innerhalb der Abbildungsklasse von \(f\) erreicht werden? Diese Frage, und allgemeiner die Frage nach einer Charakterisierung der Mindestzahl der glatten Bedeckungen im geometrischen Sinne auch im Falle berandeter Mannigfaltigkeiten (für die die Theorie des Abbildungsgrades in dem ersten Teil der Arbeit (Math. Ann. 100 (1928), 579-608; F.~d.~M. 54, 611-612) vom Verf. entwickelt worden ist) sowie bei nicht orientierbarer \(M\) (wo der Abbildungsgrad nicht mehr definiert ist) bilden den Gegenstand der vorliegenden Arbeit. Dabei wird auch eine andere ähnliche Frage, nämlich die nach der in der Abbildungsklasse erreichbaren Mindestzahl der Originalpunkte eines Punktes von \(\mu\), mit erledigt. Zugleich ergeben sich neue Klasseninvarianten, deren wichtigste der ``Absolutgrad'' ist, der sich für die Mindestzahl der glatten Bedeckungen als charakteristisch erweist. -- Naturgemäß sind im Falle der berandeten Mannigfaltigkeiten die von Verf. in der oben genannten Arbeit eingeführten Begriffsbildungen von Wichtigkeit: Man untersucht die Abbildung \(f\) in der Umgebung solcher Punkte von \(\mu\), wo \(f\) kompakt ist, d.~h. in der Nähe von Punkten, die eine Umgebung besitzen, deren Originalmenge in \(M\) kompakt ist. Die für das Verhalten der Abbildung in der Nähe solcher Punkte charakteristischen Zahlen sind konstant einerseits in jedem Gebiet, in dem die Abbildung kompakt ist, anderseits bei stetiger Abänderung der Abbildung, solange die Kompaktheit in dem fraglichen Punkte gewahrt bleibt (Deformationen mit dieser Einschränkung bestimmen also hier den Begriff der Abbildungsklasse). -- Die Begriffsbildungen, die der Untersuchung der angedeuteten Frage zugrunde liegen, sind verwandt mit dem \textit{Nielsen}schen Begriff der Fixpunktklasse. Ein wichtiges Hilfsmittel bilden Sätze über die stetige Abänderung einer Abbildung in einem Element unter Festhaltung der Randabbildung. Dieses Hilfsmittel, das im allgemeinen Falle (Dimension \(n>2\)) leicht zu handhaben ist, versagt bei zu niedriger Dimensionszahl immer dann, wenn es darauf ankommt, eine Deformation unter Vermeidung eines Punktes auszuführen. Infolgedessen muß in einigen Punkten, wie noch im einzelnen ausgeführt werden wird, der zweidimensionale Fall in der Arbeit ausgeschlossen werden, während sich der Fall \(n=1\) noch in trivialer Weise erledigen läßt (für den zweidimensionalen Fall vgl. die unten genannten Arbeiten von \textit{H. Kneser}). Jede Abbildung \(f\), oder genauer jede Klasse von Abbildungen, von \(M\) auf \(\mu\) bestimmt durch die Bilder der geschlossenen Wege von \(M\) eine homomorphe Abbildung \(H\) der Fundamentalgruppe \(\mathfrak F\) von \(M\) \textit{in} die Fundamentalgruppe \(\varPhi\) von \(\mu\), d.~h. einen Homomorphismus zwischen \(\mathfrak F\) und einer Untergruppe \(H(\mathfrak F\)) von \(\varPhi\); wegen einer gewissen Willkür bei der Wahl der Wegegruppe sind dabei konjugierte Untergruppen gleichberechtigt. \(H(\mathfrak F)\) heißt die zur Abbildung \(f\) gehörige ``Bildgruppe'', ihr Index in \(\varPhi\) der ``Index'' \(j\) der Abbildung \(f\). Zu jeder Untergruppe von \(\varPhi\), insbesondere auch zu \(H(\mathfrak F)\), gehört eine Überlagerungsmannigfaltigkeit \(\mu^*\) von \(\mu\), die durch eine Überlagerungsabbildung \(\varphi\) eindeutig, stetig und im Kleinen eineindeutig so auf \(\mu\), bezogen ist, daß jedes (hinreichend kleine) Gebiet von \(\mu\) von genau \(j\) Gebieten von \(\mu^*\) glatt bedeckt wird. \(H(\mathfrak F)\) ist die Fundamentalgruppe von \(\mu^*\), und \(\mu^*\) heißt die ``zu \(f\) gehörige Überlagerungsmannigfaltigkeit'' von \(\mu\). Die Abbildung \(f\) läßt sich nun in zwei Abbildungen aufspalten: \(f=\varphi f^*(M)\). \(f^*\) ist eine Abbildung vom Index 1 von \(M\) auf \(\mu^*\) (die man aus \(f\) erhält, wenn man die Klassen von mod \(H(\mathfrak F)\) äquivalenten Wegen von \(\mu\) mit festem Anfangspunkt als Punkte von \(\mu^*\) deutet), und \(\varphi\) ist die oben erwähnte Überlagerungsabbildung von \(\mu^*\) auf \(\mu\). \(f^*\) ändert sich also stetig bei stetiger Abänderung von \(f\), während \(\varphi\) ungeändert bleibt. Zwei Originalpunkte \(x_1\), \(x_2\) (auf \(M\)) eines Punktes \(\xi\) von \(\mu\) heißen ``zur gleichen \textit{Schicht} gehörig'', wenn es einen Weg von \(x_1\) nach \(x_2\) gibt, dessen Bild bei \(f\) auf \(\mu\) zusammenziehbar ist; die Gesamtheit der zur gleichen Schicht gehörigen Originale von \(\xi\) bildet eine Schicht. Jede Schicht ist abgeschlossen, und verschiedene Schichten von Originalen von \(\xi\) können sich nicht gegen denselben Punkt von \(M\) häufen; daraus folgt, daß immer dann, wenn die Originalmenge \(X\) von \(\xi\) in \(M\) kompakt ist (also speziell bei einer in \(\xi\) kompakten Abbildung, und insbesondere bei geschlossener \(M\)), die Anzahl der Schichten endlich ist. Zwischen der Schichtdefinition und der Aufspaltung der Abbildung \(f\) besteht folgender Zusammenhang: Dann und nur dann gehören zwei Originale \(x_1\) und \(x_2\) von \(\xi\) zur gleichen Schicht, wenn \(f^*(x_1)=f^*(x_2)\) ist. Da \(\varphi\) genau \(j\) Punkte von \(\mu^*\) auf \(\mu\) abbildet, gilt also: Die Anzahl der Schichten ist höchstens gleich dem Index \(j\) von \(f\). Will man die Beiträge der einzelnen Schichten zu der Bedeckung von \(\xi\) berücksichtigen, so muß man zwischen ``orientierbaren'' und ``nicht orientierbaren'' Abbildungen unterscheiden. Eine Abbildung heißt \textit{nicht orientierbar}, wenn es einen die Orientierung umkehrenden geschlossenen Weg in \(M\) gibt, dessen Bild in \(\mu\) zusammenziehbar ist; andernfalls heißt \(f\) \textit{orientierbar}. Bei orientierbaren Abbildungen kann die Umgebung einer Schicht durch Fortsetzung einer willkürlichen Orientierung der Umgebung eines ihrer Punkte längs solcher Wege, deren Bilder zusammenziehbar sind, orientiert werden. Man kann dann solche Umgebungen der Schichten \(X_i\) finden, daß (bei willkürlich festgesetzter Orientierung) der Grad der durch \(f\) vermittelten Abbildung der Umgebung von \(X_i\) im Punkte \(\xi\) definiert ist; der (von der Orientierung unabhängige) absolute Betrag dieses Grades heißt der \textit{Beitrag} \(a_i\) der Schicht \(X\). Ist \(f\) nicht orientierbar, so tritt zur Bestimmung des Beitrages der Schicht an Stelle des (nicht mehr definierten) Abbildungsgrades die Parität. Ist \(a_i\neq 0\), so heißt die Schicht \(X_i\) ``wesentlich''. Die Summe der Schichtenbeiträge eines Punktes \(\xi\) heißt der \textit{Absolutgrad} \(a\) der Abbildung \(f\) im Punkte \(\xi\). Mit Hilfe der Zerlegung \(f=\varphi f^*\) ergibt sich, daß die Anzahl \(s\) der wesentlichen Schichten, ihre Beiträge \(a_1,a_2,\ldots,a_s\) und somit der Absolutgrad \(a\) konstant ist innerhalb eines Gebietes von \(\mu\), in dem \(f\) kompakt ist; ebenso bei stetiger Modifikation von \(f\) unter Wahrung der Kompaktheit im Punkte \(\xi\). Ist speziell \(f\) überall kompakt, so folgt (durch Anwendung dieses Ergebnisses auf \(f^*\)): Alle Schichtenbeiträge \(a_i\) sind gleich und unabhängig von der Wahl von \(\xi\); es gibt also entweder nur wesentliche oder nur unwesentliche Schichten. Wenn außerdem \(M\) und \(\mu\) orientierbar sind, so stimmt der Absolutgrad \(a\) mit dem absoluten Betrag \(|c|\) des \textit{Brouwer}schen Abbildungsgrades überein (weil \(c\) sich nach der Produktregel für den Abbildungsgrad aus dem Grad von \(f^*\), der die Beiträge der Schichten bestimmt, in der Anzahl der wesentlichen Schichten, die durch \(\varphi\) auf \(\mu\) eineindeutig abgebildet werden, zusammensetzt). Ist bei überall kompakter Abbildung der Absolutgrad von Null verschieden, so muß der Index \(j\) der Abbildung endlich sein. \(a\) ist durch \(j\) teilbar, und \(\dfrac aj\) ist der konstante Schichtenbeitrag; ist \(a\neq 0\), so ist also \(j\) die Anzahl der wesentlichen Schichten. \(\sigma_\xi\), \(\overline\sigma_\xi\) und \(\alpha_\xi\) bezeichnen jetzt die innerhalb der Abbildungsklasse erreichbaren Mindestzahlen der Originalpunkte von \(\xi\), der Komponenten der Originalmenge von \(\xi\) bzw. der (im geometrischen Sinne gezählten) glatten Bedeckungen einer Umgebung von \(\xi\). Alle diese Zahlen haben Invarianzeigenschaft innerhalb der schon mehrfach angegebenen Grenzen. Nach Definition ist \(\alpha_\xi\geqq\sigma_\xi\geqq\overline\sigma_\xi\geqq s_\xi\) wobei \(s_\xi\) die Anzahl der wesentlichen Schichten in \(\xi\) bezeichnet. Die Methode der stetigen Abänderung der Abbildung in einem Element unter Festhaltung der Randabbildung liefert zunächst \(\sigma_\xi=\overline\sigma_\xi\). Für \(n\neq 2\) gibt es in der Abbildungsklasse von \(f\) eine Abbildung, bei der jede wesentliche Schicht aus genau einem Punkt besteht und unwesentliche Schichten nicht auftreten: \(\sigma_\xi=s_\xi\). Verschärfung: man kann die genannte Eigenschaft in endlich vielen Punkten \(\xi_\nu\) gleichzeitig fordern. Ist speziell \(f\) überall kompakt (z.~B. \(M\) geschlossen), so ist dabei \(\sigma_{\xi_\nu}=j\). Ferner gilt für \(n\neq 2\): Es gibt in der Klasse von \(f\) eine Abbildung, bei der eine Umgebung von \(\xi\) genau \(a_\xi\)-mal glatt bedeckt wird: \(\alpha_\xi=a_\xi\) (\(a_\xi\) = Absolutgrad im Punkte \(\xi\)). Natürlich gilt die Verschärfung für endlich viele \(\xi_\nu\) und allgemeiner: Ist \(f\) in den Gebieten \(G_k\) von \(\mu\) kompakt mit dem Absolutgrad \(a_k\), Abbildung, bei der in jeder \(K_k\) eine dort überall dichte offene Teilmenge genau \(a_k\)-mal glatt bedeckt wird. Speziell bei geschlossener \(M\): Ist \(f\) vom Absolutgrad \(a\), so gibt es in der Klasse von \(f\) eine Abbildung, bei der eine in \(\mu\) überall dichte offene Teilmenge von \(\mu\) genau \(a\)-mal glatt bedeckt wird (für \(a=0\): von der Bildmenge frei bleibt). Über die Sonderstellung der Flächenabbildungen ist folgendes zu bemerken: Mit andern Methoden hat \textit{H. Kneser} für geschlossene Flächen die Übereinstimmung der in der Klasse erreichbaren Mindestzahl der glatten Bedeckungen mit dem Betrage des Abbildungsgrades bzw. mit dem Absolutgrad bewiesen (Math. Ann. 100 (1928), 609-617; 103 (1930), 347-358; F.~d.~M. 54, 612; 56\(_{\text{II}}\)); die Bedingung der Geschlossenheit von \(\mu\) läßt sich noch beseitigen. Verf. zeigt an Beispielen: Bei nicht geschlossener \(M\) brauchen und sind die \(K_k\) in \(G_k\) kompakte Teilmengen der \(G_k\), so gibt es in der Klasse von \(f\) eine die Gleichungen \(\sigma_\xi=s_\xi\), \(\alpha_\xi=a_\xi\) im Falle \(n=2\) nicht zu gelten. Man kann ferner zu jedem \(j>4\) eine Klasse von Abbildungen der geschlossenen orientierbaren Fläche vom Geschlecht 2 auf die geschlossene orientierbare Fläche vom Geschlecht 1 angeben, für die \(\sigma>j=s\) ist. Beim Beweis dieses letzten Satzes ergibt sich allgemein eine obere Schranke für die Anzahl derjenigen Punkte, die bei einer Abbildung der geschlossenen orientierbaren Fläche \(F_p\) vom Geschlecht \(p\) auf eine \(F_q\) mit einem Grad vom Betrage \(|c|>1\) nur je einen Originalpunkt haben, und zwar: \(2p+2-2q\). Mehrdimensionale Verallgemeinerungen dieses Satzes bringt der erste Anhang, in dem -- unter Beschränkung auf triangulierbare Mannigfaltigkeiten und simpliziale Abbildungen -- die \((n-2)\)-dimensionale \textit{Betti}sche Zahl des Komplexes, auf dem eine Abbildung eineindeutig ist, abgeschätzt wird. Der zweite Anhang enthält eine Abschätzung nach oben für die Anzahl der (mit ihrer Vielfachheit gezählten) Windungspunkte bei Abbildungen geschlossener orientierbarer Flächen; die Schranke hängt vom Geschlecht der beiden Flächen und vom Betrage des Abbildungsgrades ab.