PDA

View Full Version : Γενικό Σεμινάριο Τμήματος



roidos
19-09-2022, 16:03
Το Γενικό Σεμινάριο του Τμήματος ξεκινά την επόμενη εβδομάδα.
Τα στοιχεία της πρώτης ομιλίας έχουν ως εξής: Τετάρτη 21 Σεπτεμβρίου, ώρα 15:00-16:00, αίθουσα 342

Ομιλητής: Κώστας Τσάμης, υποψήφιος διδάκτορας του Τμήματος Μαθηματικών

Τίτλος ομιλίας: Κατηγορίες Χώρων χωρίς Σημεία πάνω από έναν Τόπο-Βάση

Περίληψη της ομιλίας:

Συνεισφέρουμε στη θεωρία των ``χώρων χωρίς σημεία'' (locales) ως θεμελιωτικού εργαλείου για την ανάπτυξη ιδεών της γενικής τοπολογίας σε περιβάλλοντα (τόπους) όπου μορφές του αξιώματος επιλογής δεν ισχύουν κι επομένως τα ``ανοικτά υποσύνολα'' του χώρου είναι διαθέσιμα (ως πλήρες δικτυωτό) ενώ τα σημεία του χώρου μπορεί να μην υπάρχουν (πρώτα ή μεγιστικά ιδεώδη) ή να οδηγούν σε μη-ισόμορφα αποτελέσματα (πραγματικοί αριθμοί). Ειδικότερα θα μας απασχολήσουν η κατηγορία των συμπαγών
Hausdorff locales CHLoc, λόγω του σημαντικού ρόλου που παίζει στη θεωρία των C*-αλγεβρών και εκείνη των συμπαγώς γεννώμενων Hausdorff locales CGHLoc, λόγω του ρόλου που παίζει στην ανάπτυξη της ομοτοπικής θεωρίας.

Γενικεύουμε το γνωστό αποτέλεσμα για κλασικούς χώρους ότι κλειστά πηλίκα συμπαγών Hausdorff locales είναι (συμπαγή) Hausdorff κι αυτό μας επιτρέπει να ορίσουμε έναν συναρτητή από μία κατηγορία που είναι προ-τόπος με κατάλληλες περαιτέρω ιδιότητες προς την CHLoc, ο οποίος έχει μία σειρά από καλές ιδιότητες στην κατεύθυνση του να χαρακτηρίσουμε στη γλώσσα της θεωρίας κατηγοριών αυτήν την κατηγορία. Μέσω αυτού ανακτούμε ένα γνωστό αποτέλεσμα χαρακτηρισμού της κατηγορίας των συμπαγών Hausdorff τοπολογικών χώρων.

Δείχνουμε ότι η κατηγορία CGHLoc, υπό την εύλογη αλλά ανοικτή ακόμα εικασία ότι είναι συν-ανακλαστική κατηγορία εντός των Hausdorff locales, είναι ομαλή κατηγορία, ανακτώντας έτσι και το αποτέλεσμα ότι η αντίστοιχη κατηγορία τοπολογικών χώρων είναι ομαλή. Η τελευταία είναι καρτεσιανά κλειστή (δηλαδή κλειστή ως προς χώρους συναρτήσεων). Σε αυτήν την κατεύθυνση, αναφορικά με τα locales, δείχνουμε την αναγκαία συνθήκη ότι ο συναρτητής του γινομένου με κάποιο αντικείμενο της CGHLoc διατηρεί συν-όρια.