Κατασκευάσιμο σύνολο (τοπολογία)

Για ένα εποικοδομητικό σύνολο του Γκέντελ, δείτε Οικοδομήσιμο Σύμπαν.

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

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

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

Αντίστοιχα, τα κατασκευάσιμα υποσύνολα ενός τοπολογικού χώρου  είναι η μικρότερη συλλογή  υποσυνόλων του  που (i) περιέχει όλα τα ανοικτά αναδρομικά συμπαγή υποσύνολα και (ii) περιέχει όλα τα συμπληρώματα και τις πεπερασμένες ενώσεις (και επομένως και τις πεπερασμένες τομές) των συνόλων του. Με άλλα λόγια, τα κατασκευάσιμα σύνολα είναι ακριβώς η άλγεβρα Μπουλ που παράγεται από αναδρομικά συμπαγή ανοικτά υποσύνολα.

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

Σε κάθε τοπολογικό χώρο (όχι απαραίτητα Νέτερ), κάθε κατασκευάσιμο σύνολο περιέχει ένα πυκνό ανοικτό υποσύνολο του κλεισίματός τουJinpeng An (2012). "Rigid geometric structures, isometric actions, and algebraic quotients". Geom. Dedicata 157: 153–185..

Ορολογία: Ο ορισμός που δίνεται εδώ είναι αυτός που χρησιμοποιείται από την πρώτη έκδοση της EGA και το Stacks Project. Στη δεύτερη έκδοση της EGA τα κατασκευάσιμα σύνολα (σύμφωνα με τον παραπάνω ορισμό) ονομάζονται " συνολικά κατασκευάσιμα", ενώ η λέξη "κατασκευάσιμα" προορίζεται για αυτά που ονομάζονται τοπικά κατασκευάσιμα παραπάνω.

Θεώρημα Σεβαλέ
Ένας σημαντικός λόγος για τη σημασία των κατασκευάσιμων συνόλων στην αλγεβρική γεωμετρία είναι ότι η εικόνα ενός (τοπικά) κατασκευάσιμου συνόλου είναι επίσης (τοπικά) κατασκευάσιμη για μια μεγάλη κατηγορία χαρτών (ή "μορφισμών"). Το βασικό αποτέλεσμα είναι το εξής:

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

Ειδικότερα, η εικόνα μιας αλγεβρικής ποικιλίας δεν χρειάζεται να είναι ποικιλία, αλλά είναι (υπό τις προϋποθέσεις) πάντα ένα κατασκευάσιμο σύνολο. Παραδείγματος χάριν, ο χάρτης  που στέλνει το  στο  έχει εικόνα το σύνολο , το οποίο δεν είναι ποικιλία, αλλά είναι κατασκευάσιμο.

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

Κατασκευάσιμες ιδιότητες
Ένας μεγάλος αριθμός "τοπικών" ιδιοτήτων μορφισμών σχημάτων και οιονεί συνεκτικών δεματιών σε σχήματα ισχύουν για ένα τοπικά κατασκευάσιμο υποσύνολο. Η EGA IV § 9  καλύπτει μεγάλο αριθμό τέτοιων ιδιοτήτων. Παρακάτω παρατίθενται μερικά παραδείγματα (όπου όλες οι αναφορές παραπέμπουν στην EGA IV):
 Αν  αποτελεί έναν πεπερασμένα παρουσιαζόμενο μορφισμό σχημάτων και  είναι μια ακολουθία πεπερασμένα παρουσιασμένων οιονεί- συνεκτικών -μονάδων, τότε το σύνολο των  για το οποίο το  είναι ακριβές είναι τοπικά κατασκευάσιμο. (Πρόταση (9.4.4))
 Αν  αποτελεί έναν πεπερασμένα παρουσιαζόμενο μορφισμό σχημάτων και   είναι ένα πεπερασμένο οιονεί συνεκτικό μοντέλο. -module, τότε το σύνολο των  για τα οποία το  είναι τοπικά ελεύθερο είναι τοπικά κατασκευάσιμο. (Πρόταση (9.4.7))
Αν  αποτελεί έναν πεπερασμένα παρουσιαζόμενο μορφισμό σχημάτων και  είναι ένα τοπικά κατασκευάσιμο υποσύνολο, τότε το σύνολο  για το οποίο  είναι κλειστό (ή ανοικτό) στο  είναι τοπικά κατασκευάσιμο. (Πόρισμα (9.5.4))
Έστω  ένα σχήμα και  ένας μορφισμός των σχημάτων . Θεωρούμε το σύνολο  των  για το οποίο ο επαγόμενος μορφισμός των ινών πάνω στο  έχει κάποια ιδιότητα . Τότε η  είναι τοπικά κατασκευάσιμη αν  είναι οποιαδήποτε από τις ακόλουθες ιδιότητες: επιφανειακή, κατάλληλη, πεπερασμένη, βύθιση, κλειστή βύθιση, ανοικτή βύθιση, ισομορφισμός. (Πρόταση (9.6.1))
Έστω  αποτελεί έναν πεπερασμένα παρουσιαζόμενο μορφισμό σχημάτων και θεωρούμε το σύνολο  of  των  για το οποίο η ίνα  έχει την ιδιότητα . Τότε η  είναι τοπικά κατασκευάσιμη αν  έχει οποιαδήποτε από τις ακόλουθες ιδιότητες: γεωμετρικά μη αναγώγιμη, γεωμετρικά συνδεδεμένη, γεωμετρικά μειωμένη. (Θεώρημα (9.7.7))
Έστω  ένας τοπικά πεπερασμένα παρουσιασμένος μορφισμός σχημάτων και θεωρούμε το σύνολο  των  για το οποίο η ίνα   έχει την ιδιότητα . Τότε η  είναι τοπικά κατασκευάσιμη αν  έχει οποιαδήποτε από τις ακόλουθες ιδιότητες: γεωμετρικά κανονικό, γεωμετρικά κανονικό, γεωμετρικά μειωμένο. (Πρόταση (9.9.4))

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

Βιβλιογραφία 
 Allouche, Jean Paul. Note on the constructible sets of a topological space.

 Borel, Armand. Linear algebraic groups.
 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.
 Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28. doi:10.1007/bf02684343. MR 0217086.
 Grothendieck, Alexandre; Dieudonné, Jean (1971). Éléments de géométrie algébrique: I. Le langage des schémas. Grundlehren der Mathematischen Wissenschaften (in French). Vol. 166 (2nd ed.). Berlin; New York: Springer-Verlag. ISBN 978-3-540-05113-8.


Δείτε επίσης
Commutative algebra

Εξωτερικοί σύνδεσμοι  
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
 https://stacks.math.columbia.edu/tag/04ZC Topological definition of (local) constructibility
 https://stacks.math.columbia.edu/tag/054H Constructibility properties of morphisms of schemes (incl. Chevalley's theorem)

Παραπομπές



Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Τοπολογία