Dévissage (αλγεβρική γεωμετρία)

Στην αλγεβρική γεωμετρία, το dévissage είναι μια τεχνική που εισήγαγε ο Αλεξάντερ Γκρότεντικ για την απόδειξη δηλώσεων σχετικά με συνεκτικά δεμάτια σε Ναιτεριανά σχήματα. Το dévissage είναι μια προσαρμογή ενός συγκεκριμένου είδους Ναιτεριανής επαγωγής. Έχει πολλές εφαρμογές, συμπεριλαμβανομένης της απόδειξης της γενικής επιπεδότητας και της απόδειξης ότι οι ανώτερες άμεσες εικόνες των συνεκτικών δεματίων κάτω από κατάλληλους μορφισμούς είναι συνεκτικές.

Οι Λοράν Γκρυσόν και Μισέλ Ρενό επέκτειναν την έννοια αυτή στη σχετική κατάσταση, δηλαδή στην περίπτωση που το υπό εξέταση σχήμα δεν είναι απαραίτητα Ναιτεριανό, αλλά αντίθετα δέχεται έναν πεπερασμένο μορφισμό προς ένα άλλο σχήμα. Το έκαναν αυτό ορίζοντας ένα αντικείμενο που ονομάζεται σχετικό dévissage και το οποίο είναι κατάλληλο για ορισμένα είδη επαγωγικών επιχειρημάτων. Χρησιμοποίησαν αυτή την τεχνική για να δώσουν ένα νέο κριτήριο για να είναι μια ενότητα επίπεδη. Κατά συνέπεια, μπόρεσαν να απλοποιήσουν και να γενικεύσουν τα αποτελέσματα της EGA IV 11 σχετικά με την κάθοδο της επιπεδότητας.

Η λέξη dévissage στα γαλλικά σημαίνει ξεβίδωμα.

θεώρημα dévissage του Γκρότεντικ

Έστω X ένα Ναιτεριανό σχήμα. Έστω C ένα υποσύνολο των αντικειμένων της κατηγορίας των συνεκτικών O_X-modules που περιέχει μηδενικό δεμάτιο και που έχει την ιδιότητα ότι, για κάθε σύντομη ακριβή ακολουθία $0\to A^{\prime }\to A\to A^{″}\to 0$ συνεκτικών δεματίων, αν δύο από τα A, A′ είναι στο C, τότε και το τρίτο είναι. Έστω X′ ένας κλειστός υποχώρος του υποκείμενου τοπολογικού χώρου του X. Ας υποθέσουμε ότι για κάθε μη αναγώγιμο κλειστό υποσύνολο Y του X′, υπάρχει ένα συνεκτικό δεμάτιο G στο C του οποίου η ίνα στο γενικό σημείο y του Y είναι ένας μονοδιάστατος διανυσματικός χώρος πάνω από το υπόλοιπο σώμα k(y). Τότε κάθε συνεκτική O_X-module της οποίας η υποστήριξη περιέχεται στο X′ περιέχεται στο C..

Στην ειδική περίπτωση που Πρότυπο:Nowrap, το θεώρημα δηλώνει ότι η C είναι η κατηγορία των συνεκτικών O_X-modules. Αυτό είναι το πλαίσιο στο οποίο το θεώρημα εφαρμόζεται συχνότερα, αλλά η παραπάνω δήλωση καθιστά δυνατή την απόδειξη του θεωρήματος με Ναιτεριανή επαγωγή.

Μια παραλλαγή του θεωρήματος είναι ότι αν κάθε άμεσος παράγοντας ενός αντικειμένου στη C είναι πάλι στη C, τότε η συνθήκη ότι η ίνα του G στο x πρέπει να είναι μονοδιάστατη μπορεί να αντικατασταθεί από τη συνθήκη ότι η ίνα είναι μη μηδενική.

Σχετικά dévissages των Γκρυσόν και Ρενό

Ας υποθέσουμε ότι Πρότυπο:Nowrap} είναι ένας πεπερασμένου τύπου μορφισμός αφινικών σχημάτων, s είναι ένα σημείο του S, και M είναι ένα πεπερασμένου τύπου O_X-module. Αν n είναι ένας φυσικός αριθμός, τότε οι Γκρυσόν και Ρενό ορίζουν ένα S-dévissage σε διάσταση n να αποτελείται από:

1. Ένα κλειστό πεπερασμένης παρουσίασης υποσύστημα X′ του X που περιέχει το κλειστό υποσύστημα που ορίζεται από τον εκμηδενιστή του M και τέτοιο ώστε η διάσταση του Πρότυπο:Nowrap} να είναι μικρότερη ή ίση με n.
2. Ένα σχήμα T και μια παραγοντοποίηση Πρότυπο:Nowrap του περιορισμού της f στο X′ έτσι ώστε Πρότυπο:Nowrap να είναι ένας πεπερασμένος μορφισμός και Πρότυπο:Nowrap να είναι ένας ομαλός αφινικός μορφισμός με γεωμετρικά ολοκληρωμένες ίνες διάστασης n. Συμβολίζουμε το γενικό σημείο του Πρότυπο:Nowrap με τ και το προωθητικό σημείο του M στο T με N.
3. Ένα ελεύθερο πεπερασμένου τύπου O_T-module L και ένας ομομορφισμός Πρότυπο:Nowrap τέτοιος ώστε Πρότυπο:Nowrap να είναι αμφιρριπτικός.

Αν n₁, n₂, ..., n_r είναι μια αυστηρά φθίνουσα ακολουθία φυσικών αριθμών, τότε ένα S-dévissage στις διαστάσεις n₁, n₂, ..., n_r ορίζεται αναδρομικά ως εξής:

1. Ένα S-dévissage στη διάσταση n₁. Συμβολίζουμε τον πυρήνα του α με P₁.
2. Ένα S-dévissage στις διαστάσεις n₂, ..., n_r of P₁.

Το dévissage λέγεται ότι βρίσκεται μεταξύ των διαστάσεων n₁ και n_r. Το r ονομάζεται μήκος του dévissage. Το τελευταίο βήμα της αναδρομής αποτελείται από ένα dévissage στη διάσταση nr που περιλαμβάνει έναν μορφισμό Πρότυπο:Nowrap. Συμβολίζουμε τον πυρήνα αυτού του μορφισμού με P_r. Το dévissage ονομάζεται ολικό αν το P_r είναι μηδέν.

Οι Γκρυσόν και Ρενό αποδεικνύουν γενικά ότι, τοπικά, υπάρχουν πάντα dévissages. Συγκεκριμένα, έστω Πρότυπο:Nowrap ένας πεπερασμένα παρουσιασμένος μορφισμός μυτερών σχημάτων και M ένα O_X-module πεπερασμένου τύπου του οποίου η ίνα στο x είναι μη μηδενική. Ορίζουμε το n ίσο με τη διάσταση του Πρότυπο:Nowrap και το r ίσο με το βάθος codepth του M στο s, δηλαδή με Πρότυπο:Nowrap.. Τότε υπάρχουν αφινικές étale γειτονιές X′ του x και S′ του s, μαζί με τα σημεία x′ και s′ που ανυψώνουν τα x και s, έτσι ώστε οι επεκτάσεις του υπολειμματικού σώματος Πρότυπο:Nowrap και Πρότυπο:Nowrap να είναι τετριμμένες, ο χάρτης Πρότυπο:Nowrap παραγοντοποιείται μέσω του S′, η παραγοντοποίηση αυτή στέλνει το x′ στο s′, και ότι η επαναφορά του M στο X′ δέχεται ένα συνολικό S′-dévissage στο x′ σε διαστάσεις μεταξύ n και Πρότυπο:Nowrap.

Δείτε επίσης

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

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

• 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
• Cyclic Cohomology at 40: Achievements and Future Prospects
• Algebraic Groups and Their Birational Invariants
• Topics in Algebraic and Topological K-Theory
• Abelian Varieties and Number Theory
• 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.
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Springer
• Πρότυπο:Citation.
• Πρότυπο:Citation
• Πρότυπο:Citation
• Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie"Πρότυπο:Dead link. Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
• 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"Πρότυπο:Dead link. Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
• Πρότυπο:Citation