Ο Ντένις Πάρνελ Σάλιβαν (Dennis Parnell Sullivan, γεννηθείς στις 12 Φεβρουαρίου 1941) είναι Αμερικανός μαθηματικός, γνωστός για το έργο του στην αλγεβρική τοπολογία, τη γεωμετρική τοπολογία και τα δυναμικά συστήματα. Κατέχει την έδρα Άλμπερτ Αϊνστάιν στο Πανεπιστήμιο της Νέας Υόρκης Graduate Center και είναι διακεκριμένος καθηγητής στο Πανεπιστήμιο Stony Brook.
Ο Σάλιβαν γεννήθηκε στο Πορτ Χιούρον του Μίσιγκαν στις 12 Φεβρουαρίου 1941.[13][14] Η οικογένειά του μετακόμισε στο Χιούστον λίγο αργότερα[14].
Εισήχθη στο Πανεπιστήμιο Ράις για να σπουδάσει χημικός μηχανικός, αλλά άλλαξε κατεύθυνση και επέλεξε μαθηματικά το δεύτερο έτος σπουδών του, αφού έπεσε πάνω σε ένα ιδιαίτερα ελκυστικό μαθηματικό θεώρημα.[14][15] Το κίνητρο αυτής της αλλαγής προήλθε από μια ειδική περίπτωση του θεωρήματος της ομοιομορφίας, σύμφωνα με το οποίο πρόσθεσε:
Οποιαδήποτε επιφάνεια τοπολογικά παρόμοια με ένα μπαλόνι, και ανεξάρτητα από το σχήμα της -είτε πρόκειται για μια μπανάνα είτε για το άγαλμα του Δαβίδ του Μιχαήλ Άγγελου - θα μπορούσε να τοποθετηθεί σε μια απόλυτα στρογγυλή σφαίρα, έτσι ώστε το τέντωμα ή η απαιτούµενη πίεση σε κάθε σημείο να είναι η ίδια προς όλες τις κατευθύνσεις σε κάθε ένα από αυτά τα σημεία[16].
Πήρε το πτυχίο Bachelor of Arts από το Rice το 1963[14]. Έλαβε το διδακτορικό του από το Πανεπιστήμιο του Πρίνστον το 1966 με τη διατριβή του, Triangulating homotopy equivalences (Τριγωνικές ομοτοπικές ισοδυναμίες), υπό την επίβλεψη του Γουίλιαμ Μπράουντερ[14][17].
Ο Σάλιβαν φοίτησε με υποτροφία του ΝΑΤΟ στο Πανεπιστήμιο του Warwick από το 1966 έως το 1967[18]. Υπήρξε ερευνητής Μίλερ στο Πανεπιστήμιο της Καλιφόρνιας στο Μπέρκλεϊ από το 1967 έως το 1969 και στη συνέχεια υπότροφος Σλόαν στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης από το 1969 έως το 1973[18]. Ήταν επισκέπτης υπότροφος στο Ινστιτούτο Προηγμένων Μελετών το 1967-1968, το 1968-1970 και ξανά το 1975[19].
Ο Σάλιβαν ήταν αναπληρωτής καθηγητής στο Πανεπιστήμιο Paris-Sud από το 1973 έως το 1974 και στη συνέχεια έγινε μόνιμος καθηγητής στο Ινστιτούτο Ανώτατων Επιστημονικών Σπουδών (IHÉS) το 1974.[18][20] Το 1981, ανέλαβε την έδρα Άλμπερτ Αϊνστάιν στις Επιστήμες (Μαθηματικά) στο Graduate Center, City University της Νέας Υόρκης[21] με αποτέλεσμα να περιορίσει τα καθήκοντά του στο IHÉS[13], ενώ το 1996 εντάχθηκε στη μαθηματική σχολή του Stony Brook University[18] και αποχώρησε από το IHÉS τον επόμενο χρόνο[18][20].
Ο Σάλιβαν συμμετείχε στην ίδρυση του Κέντρου Γεωμετρίας και Φυσικής Σίμονς και είναι μέλος του διοικητικού συμβουλίου του[22].
Μαζί με τον Μπράουντερ και τους άλλους φοιτητές του, ο Σάλιβαν ήταν ένας από τους πρώτους που υιοθέτησε τη θεωρία της χειρουργικής επέμβασης, ιδιαίτερα για την ταξινόμηση πολυπλοκότητας υψηλών διαστάσεων.[14][15][13] Η διατριβή του επικεντρώθηκε στην Hauptvermutung[13].
Σε μια σειρά σημαντικών σημειώσεων που δημοσιεύτηκαν το 1970, ο Σάλιβαν διατύπωσε τη ριζοσπαστική ιδέα ότι, στο πλαίσιο της θεωρίας ομοτοπίας, οι χώροι μπορούν άμεσα να "σπάσουν σε κουτιά"[23] (ή να εντοπιστούν), μια διαδικασία που μέχρι τότε εφαρμοζόταν σε αλγεβρικές κατασκευές που γίνονταν από τέτοιους χώρους[15][24]
.
Η εικασία του Σάλιβαν, που αποδείχθηκε στην αρχική της μορφή από τον Χέινς Μίλερ, δηλώνει ότι ο ταξινομητικός χώρος BG μιας πεπερασμένης ομάδας G είναι αρκετά διαφορετικός από οποιοδήποτε πεπερασμένο σύμπλεγμα CW X, ώστε να απεικονίζεται σε ένα τέτοιο X μόνο "με δυσκολία"- σε μια πιο επίσημη δήλωση, ο χώρος όλων των απεικονίσεων BG στο X, ως αιχμηροί χώροι και δεδομένης της συμπαγούς-ανοικτής τοπολογίας, είναι ασθενώς συρρικνούμενος.[25]. Η εικασία του Σάλιβαν παρουσιάστηκε επίσης για πρώτη φορά στις σημειώσεις του 1970[15][24][25].
Ο Σάλιβαν και ο Ντάνιελ Κουίλεν (ανεξάρτητα) δημιούργησαν τη θεωρία της ορθολογικής ομοτοπίας στα τέλη της δεκαετίας του 1960 και τη δεκαετία του 1970.[26][27][15][28]Εξετάζει "εξορθολογισμούς" των απλά συνδεδεμένων τοπολογικών χώρων με ομάδες ομοτοπίας και ομάδες μοναδικής ομολογίας τεντωμένες με τους ορθολογικούς αριθμούς, αγνοώντας τα στοιχεία στρέψης και απλοποιώντας ορισμένους υπολογισμούς[28].
Οι Σάλιβαν και Γουίλιαμ Θέρστον γενίκευσαν την εικασία της πυκνότητας του Λίπμαν Μπερς από τις μόνο εκφυλισμένες επιφανειακές ομάδες Kleinian σε όλες τις πεπερασμένα παραγόμενες ομάδες Kleinian στα τέλη της δεκαετίας του 1970 και στις αρχές της δεκαετίας του 1980.[29][30] Η εικασία δηλώνει ότι κάθε πεπερασμένα παραγόμενη ομάδα Kleinian είναι ένα αλγεβρικό όριο γεωμετρικά πεπερασμένων ομάδων Kleinian και αποδείχθηκε ανεξάρτητα από τους Οχσίκα και Ναμαζί-Σούτο το 2011 και το 2012 αντίστοιχα.[29][30]
Οι Σάλιβαν και Μόιρα Τσας ξεκίνησαν το πεδίο της τοπολογίας χορδών, το οποίο εξετάζει αλγεβρικές δομές στην ομολογία των ελεύθερων χώρων βρόχων[34][35] . Ανέπτυξαν το γινόμενο Τσας-Σάλιβαν για να δώσουν ένα μερικό ανάλογο της μοναδικής ομολογίας του γινόμενου κυπέλλου από τη μοναδική κοχομολογίαv[34][35]
. Η τοπολογία χορδών έχει χρησιμοποιηθεί σε πολλές προτάσεις για την κατασκευή τοπολογικών κβαντικών θεωριών πεδίου στη μαθηματική φυσική[36].
Το 1975, οι Σάλιβαν και Μπιλ Πάρι εισήγαγαν την τοπολογική αναλλοίωτη των Πάρι-Σάλιβαν για ροές σε μονοδιάστατα δυναμικά συστήματα[37][38].
Το 1985, ο Σάλιβαν απέδειξε το θεώρημα της μη περιπλανώμενης περιοχής.[15] Αυτό το αποτέλεσμα περιγράφηκε από τον μαθηματικό Άντονι Φίλιπς ως οδηγώντας σε μια "αναβίωση της ολομορφικής δυναμικής μετά από 60 χρόνια στασιμότητας"[13].
↑ 35,035,1Cohen, Ralph Louis· Weiss, Michael. Cohen· Jones, John D. S.· Yan, Jun (2004). «The loop homology algebra of spheres and projective spaces». Στο: Arone, Gregory· Hubbuck, John· Levi, Ran. Categorical decomposition techniques in algebraic topology: International Conference in Algebraic Topology, Isle of Skye, Scotland, June 2001. Birkhäuser. σελίδες 77–92.