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

Μπορεί να αποδειχθεί ότι, σε ένα τοπικά Ναιτεριανό σχήμα, αν είναι ένα ανοικτό αφινικό υποσύνολο, τότε το A είναι ένας Ναιτεριανός δακτύλιος. Ειδικότερα, το είναι ένα Ναιτεριανό σχήμα αν και μόνο αν το A είναι ένας Ναιτεριανός δακτύλιος. Έστω X ένα τοπικά Ναιτεριανό σχήμα. Τότε οι τοπικοί δακτύλιοι είναι Ναιτεριανοί δακτύλιοι.

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

Οι ορισμοί επεκτείνονται σε τυπικά σχήματα.

Ιδιότητες και Ναιτεριανες υποθέσεις

Επεξεργασία

Η ύπαρξη μιας (τοπικά) Ναιτεριανής υπόθεσης για μια πρόταση σχετικά με τα σχήματα καθιστά πολλά προβλήματα γενικά ευκολότερα προσβάσιμα, επειδή αυστηροποιούν επαρκώς πολλές από τις ιδιότητές της.

Ξεβίδωμα

Επεξεργασία

Ένα από τα σημαντικότερα θεωρήματα δομής για τους δακτυλίους και τα Ναιτεριανά σχήματα είναι το θεώρημα ντεβισάζ (dévissage theorem). Αυτό το θεώρημα καθιστά δυνατή την αποσύνθεση επιχειρημάτων σχετικά με συνεκτικές δέσμες σε επαγωγικά επιχειρήματα. Αυτό οφείλεται στο γεγονός ότι δεδομένης μιας σύντομης ακριβούς ακολουθίας συνεκτικών δεσμών

 

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

Αριθμός μη αναγώγιμων συνιστωσών

Επεξεργασία

Κάθε Ναιτεριανό σχήμα μπορεί να έχει μόνο πεπερασμένα πολλά συστατικά.[1]

Μορφισμοί από τα Ναιτεριανά σχήματα είναι οιονεί συμπαγείς

Επεξεργασία

Κάθε μορφισμός από ένα Ναιτεριανό σχήμα   είναι οιονεί συμπαγής.[2]

Ομολογικές ιδιότητες

Επεξεργασία

Υπάρχουν πολλές ωραίες ομολογικές ιδιότητες των ναιτεριανών συστημάτων.[3]

Τσεχ και συνομολογία των δεσμών (sheaf)

Επεξεργασία

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

Συμβατότητα των ορίων με τη συνομολογία

Επεξεργασία

Δεδομένου ενός άμεσου συστήματος   των κυλίνδρων των αβελιανών ομάδων σε ένα Ναιτεριανό σχήμα, υπάρχει ένας κανονικός ισομορφισμός

 

που σημαίνει ότι οι τελεστές

 

διατηρούν τα άμεσα όρια και τα συμπαράγωγα.

Παραγόμενη άμεση εικόνα

Επεξεργασία

Δεδομένου ενός τοπικά πεπερασμένου τύπου μορφισμού   σε ένα Ναιτεριανό σχήμα   και ένα σύμπλεγμα δεσμών   με περιορισμένη συνεκτική συνομολογία τέτοια ώστε οι δέσμες   να έχουν κατάλληλη υποστήριξη πάνω στο  , τότε το παράγωγο pushforward   έχει περιορισμένη συνεκτική συνομολογία πάνω στο  , δηλαδή είναι αντικείμενο στο  .[4]

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

Επεξεργασία

Πολλά από τα σχήματα που συναντώνται στη φύση είναι Ναιτεριανά σχήματα.

Τοπικά πεπερασμένου τύπου πάνω σε μια βάση Ναιτεριανού τύπου

Επεξεργασία

Μια άλλη κατηγορία παραδειγμάτων Ναιτεριανών σχημάτων[5] είναι οικογένειες σχημάτων  όπου η βάση   είναι Ναιτεριανή και το   είναι πεπερασμένου τύπου πάνω στο  . Αυτό περιλαμβάνει πολλά παραδείγματα, όπως οι συνδεδεμένες συνιστώσες ενός σχήματος Χίλμπερτ, δηλαδή με ένα σταθερό πολυώνυμο Χίλμπερτ. Το στοιχείο αυτό είναι σημαντικό, διότι συνεπάγεται ότι πολλοί χώροι moduli που συναντάμε στη φύση είναι Ναιτεριανοί, όπως οι Moduli των αλγεβρικών καμπυλών και οι Moduli των σταθερών διανυσματικών δεσμίδων. Επίσης, αυτή η ιδιότητα μπορεί να χρησιμοποιηθεί για να δείξει ότι πολλά σχήματα που εξετάζονται στην αλγεβρική γεωμετρία είναι στην πραγματικότητα Ναιτεριανά.

Οιονεί προβολικές ποικιλίες

Επεξεργασία

Ειδικότερα, οι οιονεί προβολικές ποικιλίες είναι Ναιτεριανά σχήματα. Αυτή η κατηγορία περιλαμβάνει αλγεβρικές καμπύλες, ελλειπτικές καμπύλες, αβελιανές ποικιλίες, σχήματα Καλάμπι-Γιάου, ποικιλίες Σιμούρα, επιφάνειες Κ3 και κυβικές επιφάνειες. Ουσιαστικά όλα τα αντικείμενα της κλασικής αλγεβρικής γεωμετρίας ταιριάζουν σε αυτή την κατηγορία παραδειγμάτων.

Απειροστικές παραμορφώσεις των Ναιτεριανών σχημάτων

Επεξεργασία

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

Μη παραδείγματα

Επεξεργασία

Σχήματα πάνω σε Adelic βάσεις

Επεξεργασία

Ένας από τους φυσικούς δακτυλίους που είναι μη-Ναιτεριανοί είναι ο δακτύλιος "adeles"   για ένα αλγεβρικό αριθμητικό πεδίο  . Προκειμένου να αντιμετωπιστούν τέτοιοι δακτύλιοι, εξετάζεται μια τοπολογία, η οποία δίνει τοπολογικούς δακτυλίους. Υπάρχει μια έννοια της αλγεβρικής γεωμετρίας πάνω σε τέτοιους δακτυλίους που αναπτύχθηκε από τους Βέιλ και Αλεξάντερ Γκροτέντιεκ.

Η λέξη "adeles" σημαίνει "ιδεώδες στοιχείο"[6][7] (συντομογραφία: id.el.). Adele (γαλλικά: "adèle")

Δακτύλιοι ακεραίων αριθμών σε άπειρες επεκτάσεις

Επεξεργασία

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

Μια ειδική περίπτωση[8]pg 93 μιας τέτοιας επέκτασης είναι η λήψη της μέγιστης μη ενοποιημένης επέκτασης   και η εξέταση του δακτυλίου των ακεραίων  . Ο επαγόμενος μορφισμός

 

αποτελεί την καθολική κάλυψη του  .

Πολυωνυμικός δακτύλιος με απείρως πολλούς γεννήτορες

Επεξεργασία

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

 

Δημοσιεύσεις

Επεξεργασία

Δείτε επίσης

Επεξεργασία

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

Επεξεργασία

Παραπομπές

Επεξεργασία
  1. «Lemma 28.5.7 (0BA8)—The Stacks project». stacks.math.columbia.edu. Ανακτήθηκε στις 24 Ιουλίου 2020. 
  2. «Lemma 28.5.8 (01P0)—The Stacks project». stacks.math.columbia.edu. Ανακτήθηκε στις 24 Ιουλίου 2020. 
  3. «Cohomology of Sheaves» (PDF). 
  4. «Lemma 36.10.3 (08E2)—The Stacks project». stacks.math.columbia.edu. Ανακτήθηκε στις 24 Ιουλίου 2020. 
  5. «Lemma 29.15.6 (01T6)—The Stacks project». stacks.math.columbia.edu. Ανακτήθηκε στις 24 Ιουλίου 2020. 
  6. «What does adelic mean?». www.definitions.net. Ανακτήθηκε στις 20 Μαΐου 2024. 
  7. «adele» (στα αγγλικά). Wiktionary, the free dictionary. 2024-02-03. https://en.wiktionary.org/w/index.php?title=adele&oldid=77902004. 
  8. Neukirch, Jürgen (1999). «1.13». Algebraic Number Theory. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469. 

Σημειώσεις

Επεξεργασία