Επί του συνόρου των δισδιάστατων συμπλόκων

Abstract

The present work is related to the study of the visual boundary of hyperbolic two dimensional simplicial complexes. We construct (and study) spaces by gluing hyperbolic triangles with at least two vertices at infinity. We glue the triangles by isometries along their sides and we study the derived spaces. In the first chapter it is proved that for every two points in the visual boundary of the universal covering of a two dimensional ideal polyhedron, there is an infinity of paths joining them. In the second chapter, a class of hyperbolic two dimensional complexes X is defined. It is shown that the limit set of the action of π1(X) on the universal covering of X, is equal to the visual boundary and also that the visual boundary is path connected and locally path connected. Finally, in the third chapter a kind of Sierpinski set is described which is homeomorphic to the visual boundary of certain ideal polyhedra.

Η παρούσα διατριβή αφορά στη μελέτη του συνόρου υπερβολικών δισδιάστατων πολυέδρων. Οι χώροι οι οποίοι μελετώνται κατασκευάζονται κολλώντας υπερβολικά τρίγωνα τα οποία έχουν 2 τουλάχιστον κορυφές στο άπειρο. Οι συγκολλήσεις γίνονται με ισομετρίες κατά μήκος των πλευρών των τριγώνων και οι χώροι οι οποίοι προκύπτουν εφοδιάζονται φυσιολογικά με μία γεωμετρία η οποία έχει ομοιότητες με την γεωμετρία των υπερβολικών πολλαπλοτήτων. Αρχικά μελετάμε τις βασικές ιδιότητες των δισδιάστατων ιδεωδών πολυέδρων και αποδεικνύουμε ότι: «Για κάθε δύο σημεία του συνόρου του καθολικού καλύμματος του χώρου που κατασκευάζουμε, υπάρχει άπειρο πλήθος υποχώρων του συνόρου ομοιομορφικών με το οι οποίοι περιέχουν τα σημεία αυτά». Στη συνέχεια, για μια ειδική κλάση πολυέδρων που κατασκευάζουμε κολλώντας με ισομετρίες κατά μήκος των πλευρών τους πεπερασμένα υπερβολικά τρίγωνα τα οποία έχουν δύο κορυφές στο άπειρο, αποδεικνύουμε επιπλέον ότι: «το σύνορο του καθολικού καλύμματος του χώρου που κατασκευάζουμε είναι τοπικά συνεκτικό κατά τόξα». Τέλος, στην τρίτη ενότητα δίδουμε μια τοπολογική περιγραφή του συνόρου των ιδεωδών πολυέδρων διάστασης 2.