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

Στα μαθηματικά, και ειδικότερα στη διαφορική γεωμετρία και τη μιγαδική γεωμετρία, μια μιγαδική αναλυτική ποικιλία [note 1] [1]ή ένας μιγαδικός αναλυτικός χώρος είναι η γενίκευση μιας μιγαδικής πολλαπλότητας που επιτρέπει ιδιομορφίες[2]. Οι σύνθετες αναλυτικές ποικιλίες είναι τοπικά ανελλιπείς χώροι που είναι τοπικά ισομορφικοί με τοπικούς χώρους μοντέλων, όπου ένας τοπικός χώρος μοντέλων είναι ένα ανοικτό υποσύνολο του τόπου φυγής ενός πεπερασμένου συνόλου ολομορφικών συναρτήσεων.

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

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

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

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

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

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

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

Επεξεργασία

Δείτε επίσης

Επεξεργασία

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

Επεξεργασία

Παραπομπές

Επεξεργασία
  1. Gunning, Robert C. (8 Μαρτίου 2015). Lectures on Complex Analytic Varieties (MN-14), Volume 14: Finite Analytic Mappings. (MN-14). Princeton University Press. ISBN 978-1-4008-6929-9. 
  2. «6: Complex Analytic Varieties». Mathematics LibreTexts (στα Αγγλικά). 6 Ιουλίου 2021. Ανακτήθηκε στις 25 Μαΐου 2024. 
  3. «normal complex analytic variety». planetmath.org. Ανακτήθηκε στις 25 Μαΐου 2024. 
  4. Internet Archive, Gerd (1976). Complex analytic geometry. Berlin ; New York : Springer-Verlag. ISBN 978-0-387-07857-1. 
  5. 5,0 5,1 Hartshorne 1977, σελ. 439.
  6. Grothendieck & Raynaud (2002) (SGA 1 §XII. Proposition 2.1.)

Σημειώσεις

Επεξεργασία
  1. Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced