Λείος μορφισμός

Στην αλγεβρική γεωμετρία, ένας μορφισμός  μεταξύ σχημάτων λέγεται λείος αν
(i) είναι τοπικά πεπερασμένης παρουσίασης
(ii) είναι επίπεδος, και
(iii) για κάθε γεωμετρικό σημείο  η ίνα  είναι κανονική.
(iii) σημαίνει ότι κάθε γεωμετρική ίνα της f είναι μια μη-ιδιάζουσα ποικιλία (αν είναι διαχωρισμένη). Κατά συνέπεια,  ένας λείος μορφισμός δίνει μια επίπεδη οικογένεια μη-ιδιαζουσών ποικιλιών.

Αν S είναι το φάσμα  ενός αλγεβρικά κλειστού σώματος και f είναι πεπερασμένου τύπου, τότε προκύπτει ο ορισμός μιας μη-ιδιάζουσας ποικιλίας.

Μια ιδιάζουσα ποικιλία ονομάζεται λεία αν μπορεί να τοποθετηθεί σε μια επίπεδη οικογένεια έτσι ώστε οι κοντινές ίνες να είναι όλες λείες. Μια τέτοια οικογένεια ονομάζεται λείανση της ποικιλίας.

Ισοδύναμοι ορισμοί

Υπάρχουν πολλοί ισοδύναμοι ορισμοί για τον λείο μορφισμό. Έστω  να είναι τοπικά πεπερασμένης παρουσίασης. Τότε τα ακόλουθα είναι ισοδύναμα.
 Η f είναι λεία.
 Η f είναι τυπικά λεία (βλ. παρακάτω).
 Η f είναι επίπεδη και η δέσμη των σχετικών διαφορικών  είναι τοπικά ελεύθερη με βαθμό ίσο με τη σχετική διάσταση του .
 Για κάθε , υπάρχει μια γειτονιά  του x και μια γειτονιά  του  τέτοια ώστε  και το ιδεώδες που παράγεται από τα m-προς-m ελάσσονες του  είναι το B.
 Τοπικά, η f αποτελεί παράγοντα του  όπου η g είναι étale.

Ένας μορφισμός πεπερασμένου τύπου είναι étale αν και μόνο αν είναι λείος και οιονεί πεπερασμένος.

Ένας λείος μορφισμός είναι σταθερός κάτω από αλλαγή βάσης και σύνθεση.

Ένας λείος μορφισμός είναι καθολικά τοπικά άκυκλος.

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

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

 Λείος μορφισμός σε σημείο 

Έστω  ο μορφισμός των σχημάτων

Είναι λείο λόγω της συνθήκης Ιακωβιανού: ο Ιακωβιανός πίνακας

εκμηδενίζεται στα σημεία  τα οποία έχουν κενή τομή με το πολυώνυμο, αφού

που είναι και οι δύο μη μηδενικές.

 Τετριμμένες ίνες  

Δεδομένου ενός λείου σχήματος  ο μορφισμός προβολής

είναι λείο.

 Διανυσματικές δέσμες 

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

στέλνοντας

Ας σημειωθεί ότι οι δέσμες άμεσου αθροίσματος  μπορούν να κατασκευαστούν χρησιμοποιώντας το γινόμενο ινών

Διαχωρίσιμες επεκτάσεις σώματος

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

προκύπτει ότι . Μπορούμε να επανερμηνεύσουμε αυτόν τον ορισμό σε όρους διαφορικών Κέλερ ως εξής: η επέκταση του σώματος είναι διαχωρίσιμη αν

Ας σημειωθεί ότι αυτό περιλαμβάνει κάθε τέλειο σώμα: πεπερασμένα σώματα και σώματα χαρακτηριστικής 0.

Αντιπαραδείγματα

Ιδιάζουσες ποικιλίες

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

Τότε ο Ιακωβιανός πίνακας ορίζεται ως εξής

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

Ένα άλλο παράδειγμα ιδιάζουσας ποικιλίας είναι ο προβολικός κώνος μιας λείας ποικιλίας: δεδομένης μιας λείας προβολικής ποικιλίας  ο προβολικός κώνος της είναι η ένωση όλων των ευθειών της  που τέμνουν την . Επί παραδείγματι, ο προβολικός κώνος των σημείων

είναι το σχήμα

Αν εξετάσουμε το διάγραμμα  αυτό είναι το σχήμα

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

Εκφυλισμένες οικογένειες
Ας εξετάσουμε την επίπεδη οικογένεια

Τότε όλες οι ίνες είναι λείες εκτός από το σημείο στην αρχή. Δεδομένου ότι η λειότητα είναι σταθερή υπό αλλαγή βάσης, αυτή η οικογένεια δεν είναι λεία.

Μη διαχωρίσιμες επεκτάσεις σώματος
Παραδείγματος χάριν, το σώμα  είναι μη διαχωρίσιμο, επομένως ο σχετικός μορφισμός των σχημάτων δεν είναι λείος. Αν εξετάσουμε το ελάχιστο πολυώνυμο της επέκτασης σώματος,

τότε , επομένως οι διαφορές Κάλερ θα είναι μη μηδενικές.

 Τυπικά λείος μορφισμός 

Μπορεί κανείς να ορίσει την λείανση χωρίς αναφορά στη γεωμετρία. Λέμε ότι ένα S-σχήμα  X είναι τυπικά λείο αν για κάθε αφινικό S-σχήμα T και ένα υποσχήμα  του T που δίνεται από ένα μηδενοδύναμο ιδεώδες,  είναι επιρριπτική όπου γράψαμε . Τότε ένας μορφισμός τοπικά πεπερασμένης παρουσίασης είναι λείος αν και μόνο αν είναι τυπικά λείος.

Στον ορισμό του "τυπικά λείου", αν αντικαταστήσουμε το "επιρριπτική" με "αμφιρριπτική" (αντίστοιχα «ερριπτική»), τότε έχουμε τον ορισμό του τυπικά étale (αντίστοιχα "τυπικά μη διακλαδισμένο").

 Λεία αλλαγή βάσης 

Ας είναι S ένα σχήμα και  να δηλώνει την εικόνα της δομής απεικόνισης . Το θεώρημα της λείας αλλαγής βάσης''' δηλώνει τα εξής: ας είναι  ένας σχεδόν συμπαγής μορφισμός,  ένας λείος μορφισμός και  ένα στρώμα στρέψης στο . Αν για κάθε  στο , είναι ερριπτική, τότε ο μορφισμός αλλαγής βάσης  είναι ισομορφισμός..

 Εξωτερικοί σύνδεσμοι 
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.

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