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

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

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

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

## θεώρημα dévissage του Γκρότεντικ
Έστω *X* ένα Ναιτεριανό σχήμα. Έστω *C* ένα υποσύνολο των αντικειμένων της κατηγορίας των συνεκτικών *O**X*-modules που περιέχει μηδενικό δεμάτιο  και που έχει την ιδιότητα ότι, για κάθε σύντομη ακριβή ακολουθία 0 \to A' \to A \to A* \to 0</math> συνεκτικών δεματίων, αν δύο από τα  *A*, *A*&prime; είναι στο *'C**, τότε και το τρίτο είναι. Έστω ''X''&prime; ένας κλειστός υποχώρος του υποκείμενου τοπολογικού χώρου του ''X''. Ας υποθέσουμε ότι για κάθε μη αναγώγιμο κλειστό υποσύνολο ''Y'' του ''X''&prime;, υπάρχει ένα συνεκτικό δεμάτιο ''G'' στο **C** του οποίου η ίνα στο γενικό σημείο ''y'' του ''Y'' είναι ένας μονοδιάστατος [[διανυσματικός χώρος]] πάνω από το υπόλοιπο σώμα ''k''(''y''). Τότε κάθε συνεκτική ''O''<sub>''X''</sub>-module της οποίας η υποστήριξη περιέχεται στο ''X''&prime; περιέχεται στο **C**..

Στην ειδική περίπτωση που , το θεώρημα δηλώνει ότι η **C** είναι η κατηγορία των συνεκτικών ''O''<sub>''X''</sub>-modules. Αυτό είναι το πλαίσιο στο οποίο το θεώρημα εφαρμόζεται συχνότερα, αλλά η παραπάνω δήλωση καθιστά δυνατή την απόδειξη του θεωρήματος με Ναιτεριανή επαγωγή.

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

==Σχετικά dévissages των Γκρυσόν και Ρενό==
Ας υποθέσουμε ότι } είναι ένας πεπερασμένου τύπου μορφισμός αφινικών σχημάτων, ''s'' είναι ένα σημείο του ''S'', και ''M'' είναι ένα πεπερασμένου τύπου ''O''<sub>''X''</sub>-module.  Αν ''n'' είναι ένας [[φυσικός αριθμός]], τότε οι Γκρυσόν και Ρενό ορίζουν ένα ***S*-dévissage σε διάσταση *n*** να αποτελείται από:
# Ένα κλειστό πεπερασμένης παρουσίασης υποσύστημα ''X''&prime; του ''X'' που περιέχει το κλειστό υποσύστημα που ορίζεται από τον εκμηδενιστή του ''M'' και τέτοιο ώστε η διάσταση του } να είναι μικρότερη ή ίση με ''n''.
# Ένα σχήμα ''T'' και μια παραγοντοποίηση  του περιορισμού της ''f'' στο ''X''&prime; έτσι ώστε  να είναι ένας πεπερασμένος μορφισμός και  να είναι ένας ομαλός αφινικός μορφισμός με γεωμετρικά ολοκληρωμένες ίνες διάστασης n. Συμβολίζουμε το γενικό σημείο του    με τ και το προωθητικό σημείο του ''M'' στο ''T'' με ''N''.
# Ένα ελεύθερο πεπερασμένου τύπου ''O''<sub>''T''</sub>-module ''L'' και ένας ομομορφισμός  τέτοιος ώστε  να είναι αμφιρριπτικός.
Αν ''n''<sub>1</sub>, ''n''<sub>2</sub>, ..., ''n''<sub>''r''</sub> είναι μια αυστηρά φθίνουσα ακολουθία φυσικών αριθμών, τότε ένα ''S''-dévissage στις διαστάσεις ''n''<sub>1</sub>, ''n''<sub>2</sub>, ..., ''n''<sub>''r''</sub> ορίζεται αναδρομικά ως εξής:
# Ένα ''S''-dévissage στη διάσταση ''n''<sub>1</sub>. Συμβολίζουμε τον πυρήνα του α με ''P''<sub>1</sub>.
# Ένα ''S''-dévissage στις διαστάσεις ''n''<sub>2</sub>, ..., ''n''<sub>''r''</sub> of ''P''<sub>1</sub>.

Το dévissage λέγεται ότι βρίσκεται μεταξύ των διαστάσεων ''n''<sub>1</sub> και ''n''<sub>''r''</sub>. Το ''r'' ονομάζεται μήκος του dévissage. Το τελευταίο βήμα της αναδρομής αποτελείται από ένα dévissage στη διάσταση nr που περιλαμβάνει έναν μορφισμό . Συμβολίζουμε τον πυρήνα αυτού του μορφισμού με ''P''<sub>''r''</sub>. Το dévissage ονομάζεται **ολικό*' αν το *P*<sub>*r*</sub> είναι μηδέν.

Οι Γκρυσόν και Ρενό αποδεικνύουν γενικά ότι, τοπικά, υπάρχουν πάντα dévissages. Συγκεκριμένα, έστω  ένας πεπερασμένα παρουσιασμένος μορφισμός μυτερών σχημάτων και *M* ένα *O*<sub>*X*</sub>-module πεπερασμένου τύπου του οποίου η ίνα στο *x* είναι μη μηδενική. Ορίζουμε το n ίσο με τη διάσταση του  και το *r* ίσο με το βάθος codepth του *M* στο *s*, δηλαδή με .. Τότε υπάρχουν αφινικές étale γειτονιές *X*&prime; του *x* και *S*&prime; του *s*, μαζί με τα σημεία *x*&prime; και *s*&prime; που ανυψώνουν τα *x* και *s*, έτσι ώστε οι επεκτάσεις του υπολειμματικού σώματος  και  να είναι τετριμμένες, ο χάρτης  παραγοντοποιείται μέσω του *S*&prime;, η παραγοντοποίηση αυτή στέλνει το *x*&prime; στο *s*&prime;, και ότι η επαναφορά του *M* στο *X*&prime; δέχεται ένα συνολικό *S*&prime;-dévissage στο *x*&prime; σε διαστάσεις μεταξύ *n'' και .

## Δείτε επίσης

* 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.
* 
* 
*
*.
*
*
* Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". 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". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
* 

## Παραπομπές

 

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