Θεμελιώδης ομάδα Étale

Η θεμελιώδης ομάδα Étale είναι ένα ανάλογο στην αλγεβρική γεωμετρία, για τα σχήματα, της συνήθους θεμελιώδους ομάδας των τοπολογικών χώρων.

Τοπολογικό ανάλογο/άτυπη συζήτηση
Στην αλγεβρική τοπολογία, η θεμελιώδης ομάδα  ενός σημειακού τοπολογικού χώρου  ορίζεται ως η ομάδα των κλάσεων ομοτοπίας των βρόχων με βάση το .  Αυτός ο ορισμός λειτουργεί καλά για χώρους όπως οι πραγματικές και μιγαδικές πολλαπλότητες, αλλά δίνει ανεπιθύμητα αποτελέσματα για μια αλγεβρική ποικιλία με την τοπολογία Ζαρίσκι.

Στην ταξινόμηση των χώρων κάλυψης, αποδεικνύεται ότι η θεμελιώδης ομάδα είναι ακριβώς η ομάδα των μετασχηματισμών κάλυψης του καθολικού χώρου κάλυψης. Αυτό είναι πιο ελπιδοφόρο: οι πεπερασμένοι étaleη λέξη «étale» είναι επίθετο (στα γαλλικά) και αναφέρεται στη θάλασσα όταν αυτή είναι ήρεμη μεταξύ των δύο σταδίων του φαινομένου της παλίρροιας (πλημμυρίδας και άμπωτης). Η ελληνική λέξη γι' αυτό το φαινόμενο είναι παλιρροιοστάσιο, ωστόσο δεν υπάρχει κάποιο επίθετο στα ελληνικά που να χαρακτηρίζει κατά αντίστοιχο τρόπο τη θάλασσα, έτσι χρησιμοποιούμε τη γαλλική λέξη αυτούσια ως επιθετικό προσδιορισμό.  μορφισμοί των αλγεβρικών ποικιλιών είναι το κατάλληλο ανάλογο των χώρων κάλυψης των τοπολογικών χώρων. Δυστυχώς, μια αλγεβρική ποικιλία  συχνά αποτυγχάνει να έχει ένα "καθολικό κάλυμμα" που να είναι πεπερασμένο πάνω στο , οπότε πρέπει να εξετάσουμε ολόκληρη την κατηγορία των πεπερασμένων étale καλυμμάτων του .  Στη συνέχεια, μπορεί κανείς να ορίσει την étale θεμελιώδη ομάδα ως αντίστροφο όριο των πεπερασμένων ομάδων αυτομορφισμού.

Τυπικός ορισμός
Έστω  ένα συνδεδεμένο και τοπικά Ναιτεριανό σχήμα, έστω  ένα γεωμετρικό σημείο του  και έστω  η κατηγορία των ζευγών  έτσι ώστε  να είναι ένας πεπερασμένος étale μορφισμός από ένα σχήμα  Οι μορφισμοί  σε αυτή την κατηγορία είναι μορφισμοί  ως σχήματα πάνω στο  Αυτή η κατηγορία έχει έναν φυσικό συναρτητή προς την κατηγορία των συνόλων, δηλαδή τον συναρτητή:

γεωμετρικά αυτή είναι η ίνα του  πάνω από το  και αφηρημένα είναι ο συναρτητής Γιονέντα που αντιπροσωπεύεται από το  στην κατηγορία των σχημάτων πάνω από το . Ο συναρτητής  τυπικά δεν είναι αναπαραστάσιμος στο , ωστόσο είναι προ-αναπαραστάσιμος στο , και μάλιστα από καλύψεις Γκαλουά του . Αυτό σημαίνει ότι έχουμε ένα προβολικό σύστημα  στο , με δείκτη ένα κατευθυνόμενο σύνολο  όπου τα  είναι καλύψεις Γκαλουά  του , δηλαδή πεπερασμένα étale σχήματα πάνω στο  τέτοια ώστε .J. S. Milne, Lectures on Étale Cohomology, version 2.21: 26-27 Σημαίνει επίσης ότι έχουμε δώσει έναν ισομορφισμό συναρτητών: 

.

Συγκεκριμένα, έχουμε ένα σημειωμένο σημείο  του προβολικού συστήματος.

Για δύο τέτοια  ο χάρτης  επάγει έναν ομοιομορφισμό ομάδας

ο οποίος παράγει ένα προβολικό σύστημα ομάδων αυτομορφισμού από το προβολικό σύστημα .  Στη συνέχεια διατυπώνουμε τον ακόλουθο ορισμό: η étale θεμελιώδης ομάδα  της  στο  είναι το αντίστροφο όριο:

με την αντίστροφη οριακή τοπολογία.

Ο τελεστής  είναι τώρα ένας τελεστής από το  στην κατηγορία των πεπερασμένων και συνεχών συνόλων  και καθιερώνει μια ισοδυναμία κατηγοριών μεταξύ του  και της κατηγορίας των πεπερασμένων και συνεχών συνόλων .

Παραδείγματα και θεωρήματα

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

Γενικότερα, για κάθε γεωμετρικά συνδεδεμένη ποικιλία  πάνω από ένα πεδίο  (δηλαδή,  είναι τέτοια ώστε  να είναι συνδεδεμένη) υπάρχει μια ακριβής ακολουθία προπεπεπερασμένων ομάδων:

Σχήματα πάνω σε σώμα χαρακτηριστικού μηδενός
Για ένα σχήμα  που είναι πεπερασμένου τύπου πάνω από το , τους μιγαδικούς αριθμούς, υπάρχει στενή σχέση μεταξύ της étale θεμελιώδους ομάδας του  και της συνήθους, τοπολογικής, θεμελιώδους ομάδας του , του μιγαδικού αναλυτικού χώρου που συνδέεται με το . Η αλγεβρική θεμελιώδης ομάδα, όπως συνήθως ονομάζεται σε αυτή την περίπτωση, είναι η προ-πεπερασμένη ολοκλήρωση του . Αυτό είναι συνέπεια του θεωρήματος ύπαρξης Ρίμαν, το οποίο αναφέρει ότι όλες οι πεπερασμένες étale καλύψεις της  προέρχονται από αυτές της . Ειδικότερα, καθώς η θεμελιώδης ομάδα των λείων καμπυλών πάνω από το ''' (δηλ. ανοικτές επιφάνειες Ρίμαν) είναι καλά κατανοητή- αυτό καθορίζει την αλγεβρική θεμελιώδη ομάδα. Γενικότερα, η θεμελιώδης ομάδα ενός κατάλληλου σχήματος πάνω σε οποιοδήποτε αλγεβρικά κλειστό σώμα χαρακτηριστικού μηδέν είναι γνωστή, επειδή μια επέκταση αλγεβρικά κλειστών σωμάτων επάγει ισόμορφες θεμελιώδεις ομάδες.

Σχήματα πάνω από ένα σώμα θετικής χαρακτηριστικής και η εξημερωμένη θεμελιώδης ομάδα
Για ένα αλγεβρικά κλειστό σώμα  θετικής χαρακτηριστικής, τα αποτελέσματα είναι διαφορετικά, καθώς υπάρχουν καλύψεις Αρτίν-Σρέιερ σε αυτή την περίπτωση. Παραδείγματος χάριν, η θεμελιώδης ομάδα της αφινικής γραμμής  δεν είναι τοπολογικά πεπερασμένης παραγωγής. Η  εξημερωμένη θεμελιώδης ομάδα κάποιου σχήματος U είναι ένα πηλίκο της συνήθους θεμελιώδους ομάδας του  που λαμβάνει υπόψη μόνο τις καλύψεις που είναι εξημερωμένα διακλαδισμένες κατά μήκος του , όπου  είναι κάποια συμπύκνωση και  είναι το συμπλήρωμα της  στο . Παραδείγματος χάριν, η εξημερωμένη θεμελιώδης ομάδα της αφινικής γραμμής είναι μηδέν.

 Αφινικά σχήματα σε σώμα χαρακτηριστικού p 
Αποδεικνύεται ότι κάθε αφινικό σχήμα  είναι ένας -χώρος, με την έννοια ότι ο etale τύπος ομοτοπίας του  καθορίζεται εξ ολοκλήρου από την etale ομάδα ομοτοπίας του. Ας σημειωθεί ότι  όπου  είναι ένα γεωμετρικό σημείο.

Περαιτέρω θέματα
Από κατηγοριοθεωρητική άποψη, η θεμελιώδης ομάδα είναι ένας συναρτησιακός:
{Σημειακές αλγεβρικές ποικιλίες} → {Pro πεπερασμένες ομάδες''}.
Το αντίστροφο πρόβλημα Γκαλουά αναρωτιέται ποιες ομάδες μπορούν να προκύψουν ως θεμελιώδεις ομάδες (ή ομάδες Γκαλουά επεκτάσεων σωμάτων). Η αναμπελιανή γεωμετρία, για παράδειγμα η εικασία της τομής του Γκρότεντικ, προσπαθεί να προσδιορίσει κλάσεις ποικιλιών που καθορίζονται από τις θεμελιώδεις ομάδες τους.

Ο Φρίντλαντερ () μελετά τις ανώτερες ομάδες ομοτοπίας étale μέσω του τύπου ομοτοπίας étale ενός σχήματος.

Η pro-étale θεμελιώδης ομάδα
Οι Μπάτ & Σόλζε () εισήγαγαν μια παραλλαγή της étale θεμελιώδους ομάδας που ονομάζεται pro-étale θεμελιώδης ομάδα. Κατασκευάζεται θεωρώντας, αντί για πεπερασμένα étale κάλυψεις, χάρτες οι οποίοι είναι και étale και ικανοποιούν το αξιολογικό κριτήριο της ορθότητας. Για γεωμετρικά μονοδιάστατα σχήματα (π.χ. κανονικά σχήματα), οι δύο προσεγγίσεις συμφωνούν, αλλά γενικά η pro-étale θεμελιώδης ομάδα είναι μια πιο λεπτή αναλλοίωτη: η pro-πεπεπερασμένη συμπλήρωσή της είναι η étale θεμελιώδης ομάδα.

Δείτε επίσης

 Field Arithmetic
 Θεώρημα δείκτη Ατίγια-Σίνγκερ
Τοπολογία
 Πιερ Ντελίν
 Ελλειπτική συνάρτηση Βάιερστρας
 Τοπολογία Ζαρίσκι
 Τοπολογία Étale

Εξωτερικοί σύνδεσμοι  

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Andreas Gathmann - Algebraic Geometry (SS 2014)
 Galois Groups and Fundamental Groups
 Noether-Lefschetz Theory and the Picard Group of Projective Surfaces
 The Arithmetic of Fundamental Groups: PIA 2010
 Rational Points and Arithmetic of Fundamental Groups: Evidence for the ...
 Arithmetic Fundamental Groups and Noncommutative Algebra: 1999 Von Neumann ...
 p-Adic Automorphic Forms on Shimura Varieties

Δημοσιεύσεις 
Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32. doi:10.1007/bf02732123. MR 0238860.






 This article incorporates material from étale fundamental group on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

Παραπομπές



Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Αλγεβρική τοπολογία
Κατηγορία:Αντιμεταθετική άλγεβρα