Étale μορφισμός

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

Η λέξη étale είναι ένα γαλλικό επίθετο, το οποίο σημαίνει "χαλαρή", όπως η "χαλαρή παλίρροια"  ή, μεταφορικά, ήρεμη, ακίνητη, κάτι που αφήνεται να κατασταλάξει:fr: Trésor de la langue française informatisé, "étale" article.

 Ορισμός

Έστω  ένας ομομορφισμός δακτυλίου. Αυτό καθιστά το  μια -άλγεβρα.  Ας επιλέξουμε ένα μονικό πολυώνυμο  στο  και ένα πολυώνυμο  in  έτσι ώστε η παράγωγος  του  να είναι μονάδα στο .  Λέμε ότι το  είναι τυπικό étale αν  και  μπορούν να επιλεγούν έτσι ώστε  να είναι ισόμορφο ως ένα -άλγεβρα με την  και  είναι η κανονική απεικόνιση.

Έστω  ένας μορφισμός σχημάτων. Λέμε ότι η  είναι étale αν έχει οποιαδήποτε από τις ακόλουθες ισοδύναμες ιδιότητες:
  είναι επίπεδο και χωρίς διακλαδώσεις .EGA IV4, Corollaire 17.6.2.
  είναι λείος μορφισμός και χωρίς διακλαδώσεις.
  είναι επίπεδο, τοπικά πεπερασμένης παρουσίασης και για κάθε  στο , η ίνα  είναι η διαχωριστική ένωση σημείων, καθένα από τα οποία είναι το φάσμα μιας πεπερασμένης διαχωρίσιμης επέκτασης σώματος του υπολειμματικού σώματος .
  είναι επίπεδο, τοπικά πεπερασμένης παρουσίασης, και για κάθε  στο  και κάθε αλγεβρική κλειστότητα  του υπολειμματικού σώματος , η γεωμετρική ίνα  είναι η ασύνδετη ένωση σημείων, καθένα από τα οποία είναι ισομορφικό με το .
  είναι ένας ομαλός μορφισμός σχετικής διάστασης μηδέν.EGA IV4, Corollaire 17.10.2.
  iείναι ένας ομαλός μορφισμός και ένας τοπικά οιονεί πεπερασμένος μορφισμός.EGA IV4, Corollaire 17.6.2 and Corollaire 17.10.2.
  είναι τοπικά πεπερασμένης παρουσίασης και είναι τοπικά ένας τυπικός étale μορφισμός, δηλαδή,
Για κάθε  στο , έστω . Τότε υπάρχει μια ανοικτή αφινική γειτονιά   του  και μια ανοικτή αφινική γειτονιά  του  τέτοια ώστε η  να περιέχεται στο  και έτσι ώστε ο ομομορφισμός δακτυλίου  που επάγεται από το  να είναι τυπικά étale.Milne, Étale cohomology, Theorem 3.14.
   είναι τοπικά πεπερασμένης παρουσίασης και είναι τυπικά étale μορφισμός.
   είναι τοπικά πεπερασμένης παρουσίασης και είναι τυπικά étale για απεικονίσεις από τοπικούς δακτυλίους, δηλαδή:
Έστω  ένας τοπικός δακτύλιος και  ένα ιδεώδες του  τέτοιο ώστε  . Ορίζουμε  και , και έστω είναι η κανονική κλειστή βύθιση. Έστω  το κλειστό σημείο του .  Έστω  και  είναι μορφισμοί τέτοιοι ώστε.  Τότε υπάρχει ένας μοναδικός -μορφισμός  τέτοιος ώστε  .EGA IV4, Corollaire 17.14.1.

Ας υποθέσουμε ότι η  είναι τοπικά Ναιτερική και η f  είναι τοπικά πεπερασμένου τύπου.  Για  στο , έστω  και έστω  είναι η επαγόμενη απεικόνιση σε ολοκληρωμένους τοπικούς δακτυλίους.  Τότε τα ακόλουθα είναι ισοδύναμα:
  είναι étale.
 Για κάθε  στο , η επαγόμενη απεικόνιση σε ολοκληρωμένους τοπικούς δακτυλίους είναι τυπικά étale για την adic τοπολογία.EGA IV4, Proposition 17.6.3
 Για κάθε  το ,  είναι ένα ελεύθερο -module και η ίνα  είναι ένα σώμα το οποίο είναι μια πεπερασμένη διαχωρίσιμη επέκταση σώματος του υπολειμματικού σώματος .  (Εδώ   είναι το μέγιστο ιδεώδες του .)
  είναι τυπικά étale για απεικονίσεις τοπικών δακτυλίων με τις ακόλουθες πρόσθετες ιδιότητες.  Ο τοπικός δακτύλιος   μπορεί να θεωρηθεί Artinian. Αν  είναι το μέγιστο ιδεώδες του , τότε το μπορεί να θεωρηθεί ότι ικανοποιεί . Τέλος, ο μορφισμός στα σώματα καταλοίπων s  μπορεί να θεωρηθεί ότι είναι ισομορφισμός.EGA IV4, Proposition 17.14.2
Αν επιπλέον όλες οι απεικονίσεις στα υπολειμματικά σώματα  είναι ισομορφισμοί, ή αν το  είναι διαχωρίσιμα κλειστό, τότε το  είναι étale αν και μόνο αν για κάθε  στο , η επαγόμενη απεικόνιση στους ολοκληρωμένους τοπικούς δακτυλίους είναι ισομορφισμός.

 Παραδείγματα 

Κάθε ανοικτή εμβύθιση είναι étale επειδή είναι τοπικά ισομορφισμός.

Οι χώροι κάλυψης αποτελούν παραδείγματα étale μορφισμών. Παραδείγµατος χάριν, αν  είναι ένας ακέραιος αντιστρέψιµος στον δακτύλιο  τότε

είναι ένας etale μορφισμός βαθμού .

Κάθε διακλαδισμένη κάλυψη  έχει έναν μη διακλαδισμένο τόπο

που είναι étale.

Οι μορφισμοί

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

Κάθε ομομορφισμός δακτυλίου της μορφή , όπου όλα τα  είναι πολυώνυμα, και όπου η Ιακωβιανή ορίζουσα  είναι μονάδα στο , είναι étale. Επί παραδείγματι ο μορφισμός  είναι etale και αντιστοιχεί σε ένα χώρο κάλυψης βαθμού  του  με την ομάδα  των μετασχηματισμών κάλυψης.

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

Έστω  να είναι ένας κυρίαρχος μορφισμός πεπερασμένου τύπου με X, Y τοπικά  Ναιτεριανό, μη αναγώγιμο και Y κανονικό. Αν η f είναι αδιαμόρφωτη, τότε είναι étale.SGA1, Exposé I, 9.11

Για ένα σώμα K, κάθε K-άλγεβρα A είναι αναγκαστικά επίπεδη. Επομένως, η A είναι μια etale άλγεβρα αν και μόνο αν είναι χωρίς διακλαδώσεις , το οποίο είναι επίσης ισοδύναμο με

όπου  είναι η διαχωρίσιμη κλειστότητα του σώματος K και η δεξιά πλευρά είναι ένα πεπερασμένο άμεσο άθροισμα, του οποίου όλα τα αθροίσματα είναι . Αυτός ο χαρακτηρισμός των etale K-άλγεβρων αποτελεί εφαλτήριο για την επανερμηνεία της κλασικής θεωρίας Γκαλουά (βλ. Θεωρία Γκαλουά του Γκρότεντικ).

 Ιδιότητες 

 Οι μορφισμοί Étale διατηρούνται κάτω από σύνθεση και αλλαγή βάσης.
 Οι μορφισμοί Étale είναι τοπικοί στην πηγή και στη βάση. Με άλλα λόγια,  είναι étale αν και μόνο αν για κάθε κάλυψη του  από ανοικτά υποσχήματα ο περιορισμός του  σε κάθε ένα από τα ανοικτά υποσχήματα της κάλυψης είναι étale, και επίσης αν και μόνο αν για κάθε κάλυψη του  από ανοικτά υποσχήματα οι επαγόμενοι μορφισμοί  είναι étale για κάθε υποσύστημα  της κάλυψης. Ειδικότερα, είναι δυνατό να ελέγξουμε την ιδιότητα να είναι étale σε ανοικτές αφινικές γραμμές .
 Το γινόμενο μιας πεπερασμένης οικογένειας étale μορφισμών είναι étale.
 Δεδομένης μιας πεπερασμένης οικογένειας μορφισμών , η ασύνδετη ένωση  είναι étale αν και μόνο αν κάθε  είναι étale.
 Έστω  και , και ας υποθέσουμε ότι  είναι χωρίς διακλαδώσεις και  είναι étale.  Τότε η  είναι étale. Ειδικότερα, αν τα  και  είναι étale επί , τότε κάθε -μορφισμός μεταξύ των  και  είναι étale.
 Οι οιονεί συμπαγείς étale μορφισμοί είναι οιονεί πεπερασμένοι.
 Ένας μορφισμός  είναι μια ανοιχτή εμβύθιση αν και μόνο αν είναι étale και radicial. EGA IV4, Théorème 17.9.1.
 Αν  είναι étale και επιρριπτική, τότε  (πεπερασμένο ή όχι).

 Θεώρημα αντίστροφης συνάρτησης

Μορφισμοί Étale
f: X → Y
είναι το αλγεβρικό αντίστοιχο των τοπικών διαφορικομορφισμών. Πιο συγκεκριμένα, ένας μορφισμός μεταξύ λείων ποικιλιών είναι étale σε ένα σημείο, αν το διαφορικό μεταξύ των αντίστοιχων εφαπτόμενων χώρων είναι ισομορφισμός. Αυτή με τη σειρά της είναι ακριβώς η συνθήκη που απαιτείται για να εξασφαλιστεί ότι μία απεικόνιση μεταξύ πολλαπλοτήτων είναι ένας τοπικός διαφορμορφισμός, δηλαδή για κάθε σημείο y ∈ Y, υπάρχει μία ανοικτή γειτονιά U του x  τέτοια ώστε ο περιορισμός του f στο U να είναι ένας διαφορμορφισμός. Αυτό το συμπέρασμα δεν ισχύει στην αλγεβρική γεωμετρία, επειδή η τοπολογία είναι πολύ χονδροειδής. Παραδείγματος χάριν, ας θεωρήσουμε την προβολή f της παραβολής
y = x2
στον άξονα y. Αυτός ο μορφισμός είναι étale σε κάθε σημείο εκτός από την αρχή (0, 0), επειδή το διαφορικό δίνεται από το 2x, που δεν μηδενίζεται σε αυτά τα σημεία.

Ωστόσο, δεν υπάρχει (Ζαρίσκι) τοπικό αντίστροφο της f, ακριβώς επειδή η τετραγωνική ρίζα δεν είναι αλγεβρική απεικόνιση, αφού δεν προκύπτει από πολυώνυμα. Ωστόσο, υπάρχει μια λύση για την κατάσταση αυτή, χρησιμοποιώντας την τοπολογία étale. Η ακριβής δήλωση έχει ως εξής: Αν   είναι étale και πεπερασμένη, τότε για κάθε σημείο y που βρίσκεται στοY,  υπάρχει ένας étale μορφισμός V → Y που περιέχει το y στην εικόνα του (το V μπορεί να θεωρηθεί ως μια étale ανοικτή γειτονιά του y), έτσι ώστε όταν αλλάζουμε την f to V, τότε   (το πρώτο μέλος θα ήταν η προ-εικόνα του V από την f if V ήταν μια ανοικτή γειτονιά Ζαρίσκι) είναι μια πεπερασμένη ασύνδετη  ένωση ανοικτών υποσυνόλων ισομορφικών με το V. Με άλλα λόγια, τοπικά-étale στο  Y, ο μορφισμός f είναι ένα τοπολογικό πεπερασμένο κάλυμμα.

Για έναν ομαλό μορφισμό  σχετικής διάστασης n, étale-locally στο X και στο Y, ο f είναι μια ανοικτή εμβύθιση σε έναν αφινικό χώρο . Αυτή είναι η étale ανάλογη εκδοχή του θεωρήματος δομής για τις καταδύσεις.

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου. 
 Θεωρία Ομάδων-Πανεπιστήμιο Κρήτης
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών
 Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
 Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
 Wolfram Mathematica Online Integrator
  A Table of Integrals of the Error Functions

 Δείτε επίσης 

 Απαγορευτική αρχή του Πάουλι
 Μορφοκλασματική διάσταση
 Ομοπαραλληλική γεωμετρία
 Αλγεβρική θεωρία αριθμών
 Άρθουρ Στάνλεϋ Έντινγκτον
 Μοναδιαία βηματική συνάρτηση
 Σουμπραμανιάν Τσαντρασεκάρ
 Ευκλείδειος χώρος
 Αρχιμήδεια ιδιότητα
 Βαθμός (γραμμική άλγεβρα)
 Εφαρμοσμένα μαθηματικά
 Υπολογιστική ρευστοδυναμική
 Αβελιανή ομάδα
 Σύνθεση συνάρτησης
 Καρτεσιανό σύστημα συντεταγμένων
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Ένα προς ένα
 Συνήθης διαφορική εξίσωση
 Γραμμική απεικόνιση
 Αβελιανή ομάδα

 Βιβλιογραφία











Παραπομπές







J. S. Milne (2008). Lectures on Etale Cohomology






 Πηγές 






 Wendelin Degen, Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
 Hans Freudenthal: Mathematik als pädagogische Aufgabe. Band 1. Klett, Stuttgart 1973, ISBN 3-12-983220-3.
 Thomas W. Hungerford: Algebra (= Graduate Texts in Mathematics. Bd. 73). 5th printing. Springer, New York NY u. a. 1989, ISBN 0-387-90518-9.

Κατηγορία:Μορφισμοί
Κατηγορία:Θεωρία σωμάτων
Κατηγορία:Θεωρία ομάδων
Κατηγορία:Αλγεβρική θεωρία αριθμών
Κατηγορία:Θεωρία δακτυλίων
Κατηγορία:Αφηρημένη άλγεβρα