On Hyperelliptic Manifolds

Titelangaben

Demleitner, Andreas:
On Hyperelliptic Manifolds.
Bayreuth , 2020 . - III, 192 S.
( Dissertation, 2020 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)
DOI: https://doi.org/10.15495/EPub_UBT_00005068

Volltext

Link zum Volltext (externe URL):

Abstract

Hyperelliptic surfaces arise classically in the Enriques-Kodaira classification of compact complex surfaces as the surfaces S, which are uniquely determined through the invariants kod(S) = 0, p_g(S) = 1, q(S) = 0 and 12K_S \equiv 0. Due to the work of Enriques-Severi and Bagnera-de Franchis, these surfaces are very well understood and are all isomorphic to the quotient of an Abelian surface A by a non-trivial finite group G, which acts freely on A and contains no translations. They showed that A is isogenous to a product of two elliptic curves, which allows an explicit classification of hyperelliptic surfaces. In particular, hyperelliptic surfaces are always projective. In the '90s, Herbert Lange studied higher-dimensional analogues of hyperelliptic surfaces and in 1999, he published an article, which is dedicated to the classification of projective hyperelliptic threefolds. As it turns out, Lange's classification is incomplete, and in collaboration with Fabrizio Catanese, we describe the missing case(s) of Lange's classification. More precisely, we prove the existence of a unique complete $2$-dimensional hyperelliptic threefolds A/D_4, where D_4 is the dihedral group of order 8.
Motivated by the 3-dimensional case, we decided to investigate in this thesis the case of dimension 4 in more detail as well. Using group-theoretic methods, we work out the list of exactly those abstract finite groups, which admit an embedding in the group of biholomorphic self-maps of some Abelian fourfold A in such a way that the image contains no translations and acts freely on A. We will say that such a group is associated with a hyperelliptic fourfold.
The question if there exist complete families of hyperelliptic threefolds (or, more generally, hyperelliptic manifolds of arbitrary dimension), which do not contain a projective manifold, remained open in Lange's article. This is studied in more detail in this thesis: we show, together with Fabrizio Catanese and Benoît Claudon, that every hyperelliptic manifold admits arbitrarily small deformations which are projective. Furthermore, we discuss in detail a special case of this result, namely the case, in which the group action on the complex torus is rigid: in this case, we construct explicitly a polarization on the complex torus coming from a direct sum of Hodge structures on CM-fields. This is a result obtained by Torsten Ekedahl around 1999.

Abstract in weiterer Sprache

In der Enriques-Kodaira Klassifikation kompakter komplexer Flächen treten minimale hyperelliptische Flächen klassisch als diejenigen Flächen S auf, die durch die Invarianten kod(S) = 0, p_g(S) = 0, q(S) = 1 und 12K_S \equiv 0 eindeutig festgelegt sind. Durch die Arbeit von Enriques-Severi und Bagnera-de Franchis sind diese Flächen sehr gut verstanden und sind allesamt isomorph zu Quotienten einer abelschen Fläche A nach der Wirkung einer nicht-trivial endlichen Gruppe G, die frei auf A operiert und keine Translationen enthält. Es lässt sich zeigen, dass A isogen zu einem Produkt zweier elliptischer Kurven ist, was eine explizite Klassifikation hyperelliptischer Flächen ermöglicht. Insbesondere sind hyperelliptische Flächen stets projektiv. Herbert Lange untersuchte in den 90er Jahren höherdimensionale Analoga hyperelliptischer Flächen und veröffentlichte 1999 eine Arbeit, die der Klassifikation projektiver hyperelliptischer Dreifaltigkeiten gewidmet war. Wie sich später herausstellte, war Langes Klassifikation unvollständig, und in Kollaboration mit Fabrizio Catanese beschreiben wir die fehlenden Fälle in Langes Klassifikation. Genauer gesagt beweisen wir die Existenz und die Eindeutigkeit einer vollständigen 2-dimensionalen Familie hyperelliptischer Dreifaltigkeiten A/D_4.
Durch den dreidimensionalen Fall motiviert fiel der Entschluss, den vierdimensionalen Fall ebenfalls genauer in dieser Dissertation zu beleuchten. Mit gruppentheoretischen Methoden erarbeiten wir die Liste an genau denjenigen abstrakten endlichen Gruppen, für die eine Einbettung in die Biholomorphismengruppe einer vierdimensionalen abelschen Varietät A exisiert, sodass das Bild keine Translationen enthält und frei auf A operiert.
Offen blieb schon in Langes Arbeit die Frage, ob vollständige Familien dreidimensionaler hyperelliptischer Mannigfaltigkeiten (oder allgemeiner, hyperelliptischer Mannifaltigkeiten beliebiger Dimension) existieren, die keine projektive Mannigfaltigkeit enthalten. Dies wird in dieser Arbeit genauer untersucht: Zusammen mit Fabrizio Catanese und Benoît Claudon wird gezeigt, dass jede hyperelliptische Mannigfaltigkeit beliebig kleine Deformationen besitzt, die projektiv sind. Darüber hinaus diskutieren wir ausführlich den Spezialfall dieses Resultats, in dem die Gruppenwirkung auf dem komplexen Torus starr ist: In diesem Fall konstruieren wir explizit eine Polarisierung auf dem komplexen Torus, die von einer direkten Summe von Hodge-Strukturen auf CM-Körpern kommt. Dabei handelt es sich um ein Ergebnis von Torsten Ekedahl (um 1999).