Multidimensional local skew-fields

• Main Author: Zheglov, Alexander
• Other Authors: Parshin, A. N.
• Format: Doctoral Thesis
• Language: English
• Published: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II 2002
• Subjects: n-dimensionale lokale Schiefkoerper; n-dimensionale lokale Koerper; Bewertungstheorie; Krichever Korrespondenz.; n-dimensional local skew fields; n-dimensional local fields; valuation theory; Krichever correspondence; 510 Mathematik; 27 Mathematik; SK 230; ddc:510
• Online Access: http://edoc.hu-berlin.de/18452/15418; http://nbn-resolving.de/urn:nbn:de:kobv:11-10017646; http://dx.doi.org/10.18452/14766

In der gegebenen Arbeit werden hoeherdimensionale lokale Schiefkoerper, die natuerliche Verallgemeinerung von n-dimensionalen lokalen Koerpern, untersucht. Wir untersuchen nur Schiefkoerper mit kommutativem Restschiefkoerper. Wir geben eine hinreichende Bedingung fuer die Spaltbarkeit von Schiefkoerpern. Naemlich, ein lokaler Schiefkoerper ist spaltbar, falls er einen kanonischen Automorphismus unendlicher Ordnung hat. Wir klassifizieren alle Schiefkoerper, die diese Bedingung bis auf Isomorphie erfuellen. Die Ergebnisse sind unabhaengig von der Charakteristik des Schiefkoerpers. Wir klassifizieren auch alle lokalen spaltbaren Schiefkoerper von Charakteristik 0 mit kommutativem Restschiefkoerper und mit kanonischem Automorphismus von endlicher Ordnung. Unter anderem geben wir ein Kriterium, wann zwei Elemente aus einem solchen Schiefkoerper konjugiert sind. Als Folgerung beweisen wir, dass fast alle solche Schiefkoerper unendlichdimensional ueber ihrem Zentrum sind. Ausserdem beweisen wir, dass das Skolem-Noether Theorem nur in dem Fall des klassischen Ringes der Pseudodifferentialoperatoren richtig ist. Dann erhalten wir Anwendungen dieser Theorie auf die Krichever Korrespondenz. Naemlich, wir bekommen Verallgemeinerungen von klassischen KP-Gleichungen (Hierarchie). Die Untersuchung von lokalen Schiefkoerpern fuehrte zu einigen neuen unerwarteten Ergebnissen in der Bewertungstheorie auf endlichdimensionalen Algebren. Wir bekommen den Zerlegungssatz fuer wilde Divisionalgebren ueber Laurentreihen-Koerpern mit beliebigem Restkoerper der Charakteristik groesser als zwei. Dieses Theorem ist die Verallgemeinerung des Zerlegungssatzes fuer zahme Divisionalgebren von Jacob und Wadsworth. Als Folgerung bekommen wir die positive Antwort auf die folgende Vermutung: Fuer jede Divisionalgebra A ueber den Koerper F((t)), wo F ein quasialgebraisch abgeschlossener Koerper ist, muss der Exponent von A gleich dem Index von A sein. Dann erhalten wir Anwendungen dieser Theorie auf die Krichever Korrespondenz. Naemlich, wir bekommen Verallgemeinerungen von klassischen KP-Gleichungen (Hierarchie). Anderseits, fuehrt das Problem der Klassifizierung lokaler Schiefkoerper zu dem Problem der Klassifizierung der Konjugationsklassen in der Automorphismengruppe von n-dimensionalen lokalen (kommutativen) Koerpern. Wir loesen diese Aufgabe fuer die Gruppe der stetigen Automorphismen von 1- und 2-dimensionalen lokalen Koerpern. === In this work we study local skew fields, which are natural generalization of n-dimensional local fields, and their applications to the theory of central division algebras over henselian fields. We study mostly two-dimensional local skew fields with commutative residue skew field. The sufficient condition for a skew field to be split is given. Namely, a local skew field splits if the canonical automorphism has infinite order. We classify all the skew fields which posess this condition up to isomorphism. These results don't depend on the characteristic of a skew field. We classify all local splittable skew fields of characteristic 0 with commutative residue skew field and with the canonical automorphism of finite order as well. Some other properties of local skew fields are studied. In particular, we give a criterium when two elements from such a skew field conjugate. As a corollary we prove that almost all such skew fields are infinite dimensional over their center. Also we prove that the Scolem-Noether theorem holds only in the case of the classical ring of pseudo-differential operators. Studying of local skew fields leads to some new unexpected results in the valuation theory on finite dimensional division algebras. We get a decomposition theorem for some class of wild division algebras over a Laurent series field with arbitrary residue field of characteristic greater than two. This theorem is a generalization of the decomposition theorem for tame division algebras given by B.Jacob and A.Wadsworth. As a corollary we get the positive answer on the following conjecture: the exponent of a division algebra is equal to its index if the centre of this algebra is a Laurent series field with arbitrary quasialgebraically closed residue field. Using some ideas of A.N. Parshin, who raised a problem of classifying local skew fields, we get some applications of developed theory to the Krichever correspondence. Namely, we get some generalizations of the classical KP-equations (hierarchy). The problem of classification of local skew fields leads to the problem of classification of conjugacy classes in the automorphism group of an n-dimensional local (commutative) field. We solve this problem for the group of continuous automorphisms of one- and two- dimensional local fields.