Μιγαδική αναλυτική ποικιλία

Στα μαθηματικά, και ειδικότερα στη διαφορική γεωμετρία και τη μιγαδική γεωμετρία, μια μιγαδική αναλυτική ποικιλία Complex analytic variety (or just variety) is sometimes required to be irreducible 
and (or) reduced ή ένας μιγαδικός αναλυτικός χώρος είναι η γενίκευση μιας μιγαδικής πολλαπλότητας που επιτρέπει ιδιομορφίες. Οι σύνθετες αναλυτικές ποικιλίες είναι τοπικά ανελλιπείς χώροι που είναι τοπικά ισομορφικοί με τοπικούς χώρους μοντέλων, όπου ένας τοπικός χώρος μοντέλων είναι ένα ανοικτό υποσύνολο του τόπου φυγής ενός πεπερασμένου συνόλου ολομορφικών συναρτήσεων.

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

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

Μια μιγαδική αναλυτική ποικιλία είναι ένα τοπικό δακτύλιο. -space  που είναι τοπικά ισομορφικό με έναν τοπικό πρότυπο χώρο.

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

Ένας σχετιζόμενος μιγαδικός αναλυτικός χώρος (ποικιλία)  είναι τέτοιος ώστε;

Έστω X σχήματα πεπερασμένου τύπου πάνω από , και καλύψτε το X με ανοικτό αφινικό υποσύνολο  () (φάσμα ενός δακτυλίου). Τότε κάθε  είναι μια άλγεβρα πεπερασμένου τύπου πάνω στο , και . Όπου  είναι πολυώνυμα στο , το οποίο μπορεί να θεωρηθεί ως ολομορφική συνάρτηση στο . Επομένως, το κοινό τους μηδέν του συνόλου είναι ο μιγαδικός αναλυτικός υποχώρος . Εδώ, το σχήμα X λαμβάνεται με την συγκόλληση των δεδομένων του συνόλου , και στη συνέχεια τα ίδια δεδομένα μπορούν να χρησιμοποιηθούν για την συγκόλληση του μιγαδικού αναλυτικού χώρου  σε έναν μιγαδικό αναλυτικό χώρο , οπότε ονομάζουμε  έναν συσχετισμένο μιγαδικό αναλυτικό χώρο με το X. Ο μιγαδικός αναλυτικός χώρος X είναι μειωμένος αν και μόνο αν ο συσχετισμένος μιγαδικός αναλυτικός χώρος  μειωμένος. (SGA 1 §XII. Proposition 2.1.)

Δημοσιεύσεις 
Lectures on Complex Analytic Varieties (MN-14), Volume 14: Finite Analytic
Complex Analytic Geometry: From The Localization Viewpoint
Several Complex Variables and Complex Geometry, Part III

Δείτε επίσης

 Algebraic Geometry
 Αλγεβρική ποικιλία

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Kiran Kedlaya. 18.726 Algebraic Geometry (LEC # 30 - 33 GAGA)Spring 2009. Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons BY-NC-SA.
 Tasty Bits of Several Complex Variables (p. 137) open source book by Jiří Lebl BY-NC-SA.
Onishchik, A.L. (2001) [1994], "Analytic space", Encyclopedia of Mathematics, EMS Press
El'kin, A.G. (2001) [1994], "Analytic set", Encyclopedia of Mathematics, EMS Press

Παραπομπές

Σημειώσεις

 (no.10-13)






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