Θεώρηµα των μηδενικών του Χίλμπερτ

Στα μαθηματικά, το θεώρημα των μηδενικών του Χίλμπερτ (γερμανικά: Hilbertscher Nullstellensatz ") είναι ένα θεώρημα που εγκαθιδρύει μια θεμελιώδη σχέση μεταξύ γεωμετρίας και άλγεβρας. Η σχέση αυτή αποτελεί τη βάση της αλγεβρικής γεωμετρίας. Σχετίζει τα αλγεβρικά σύνολα με τα ιδεώδη σε πολυωνυμικούς δακτυλίους πάνω σε αλγεβρικά κλειστά σώματα. Η σχέση αυτή ανακαλύφθηκε από τον Ντάβιντ Χίλμπερτ, ο οποίος απέδειξε το "θεώρημα των μηδενικών" (Nullstellensatz) στη δεύτερη σημαντική εργασία του για τη θεωρία αναλλοίωτων το 1893 (μετά τη θεμελιώδη εργασία του 1890, στην οποία απέδειξε το θεώρημα της βάσης του Χίλμπερτ).

Διατύπωση

Έστω $k$ ένα σώμα (όπως οι ρητοί αριθμοί) και $K$ μια αλγεβρικά κλειστή επέκταση σώματος του $k$ (όπως οι μιγαδικοί αριθμοί). Θεωρούμε τον πολυωνυμικό δακτύλιο $k[X_1,\dots ,X_n]$ και έστω $I$ ένα ιδεώδες σε αυτόν τον δακτύλιο. Το αλγεβρικό σύνολο $\mathrm{V}(I)$ που ορίζεται από αυτό το ιδεώδες αποτελείται από όλα τα $n$-δύο $𝐱=(x_1,\dots ,x_n)$ στο $K^n$ τέτοια ώστε $f(𝐱)=0$ για όλα τα $f$ στο $I$. Το θεώρημα των μηδενικών του Χίλμπερτ δηλώνει ότι αν p είναι κάποιο πολυώνυμο στο $k[X_1,\dots ,X_n]$ που εξαφανίζεται στο αλγεβρικό σύνολο $\mathrm{V}(I)$, i. δηλαδή $p(𝐱)=0$ για όλα τα $𝐱$ στο $\mathrm{V}(I)$, τότε υπάρχει ένας φυσικός αριθμός $r$ τέτοιος ώστε το $p^r$ να βρίσκεται στο $I$

Ένα άμεσο επακόλουθο είναι το ασθενές θεώρημα των μηδενικών: Το ιδεώδες$I\subseteq k[X_1,\dots ,X_n]$ περιέχει 1 αν και μόνο αν τα πολυώνυμα στο I δεν έχουν κοινά μηδενικά στο Kⁿ. Το ασθενές θεώρημα των μηδενικών μπορεί επίσης να διατυπωθεί ως εξής: αν το I είναι ένα κατάλληλο ιδεώδες στο $k[X_1,\dots ,X_n],$ τότε το V(I) δεν μπορεί να είναι κενό, δηλ. υπάρχει ένα κοινό μηδέν για όλα τα πολυώνυμα του ιδεώδους σε κάθε αλγεβρικά κλειστή επέκταση του k. Σε αυτό οφείλεται το όνομα του θεωρήματος, η πλήρης εκδοχή του οποίου μπορεί να αποδειχθεί εύκολα από την "ασθενή" μορφή χρησιμοποιώντας το τέχνασμα Ραμπίνοβιτς. Η υπόθεση της εξέτασης κοινών μηδενικών σε ένα αλγεβρικά κλειστό σώμα είναι απαραίτητη εδώ - παραδείγματος χάριν, τα στοιχεία του ιδεώδους (X² + 1) in $ℝ[X]$ δεν έχουν κοινό μηδέν στο $ℝ.$

Με τον συμβολισμό που συνηθίζεται στην αλγεβρική γεωμετρία, το θεώρημα των μηδενικών μπορεί επίσης να διατυπωθεί ως εξής

$\text{I}(\text{V}(J))=\sqrt{J}$

για κάθε ιδεώδη J. Εδώ, $\sqrt{J}$ δηλώνει τη ρίζα του J και I(U) είναι το ιδεώδες όλων των πολυωνύμων που εξαφανίζονται στο σύνολο U.

Με αυτόν τον τρόπο, λαμβάνοντας $k=K$ λαμβάνουμε μια αμφιμονοσήμαντη αντιστοιχία μεταξύ των αλγεβρικών συνόλων στο Kⁿ και των ριζικών ιδεωδών του $K[X_1,\dots ,X_n].$. Στην πραγματικότητα, γενικότερα, έχουμε μια σύνδεση Γαλουά μεταξύ των υποσυνόλων του χώρου και των υποσυνόλων της άλγεβρας, όπου "κλείσιμο Ζαρίσκι" και "ρίζα του παραγόμενου ιδανικού" είναι οι τελεστές κλεισίματος.

Ως συγκεκριμένο παράδειγμα, θεωρούμε ένα σημείο $P=(a_1,\dots ,a_n)\in K^n$. Τότε $I(P)=(X_1-a_1,\dots ,X_n-a_n)$. Γενικότερα,

$\sqrt{I}=\bigcap _{(a_1,\dots ,a_n)\in V(I)}(X_1-a_1,\dots ,X_n-a_n).$

Αντίστροφα, κάθε μέγιστο ιδεώδες του πολυωνυμικού δακτυλίου $K[X_1,\dots ,X_n]$ (σημειώστε ότι ο $K$ είναι αλγεβρικά κλειστός) είναι της μορφής $(X_1-a_1,\dots ,X_n-a_n)$ για κάποια $a_1,\dots ,a_n\in K$.

Ως άλλο παράδειγμα, ένα αλγεβρικό υποσύνολο W στο Kⁿ είναι μη αναγώγιμο (στην τοπολογία Ζαρίσκι) αν και μόνο αν $I(W)$ είναι ένα πρώτο ιδεώδες.

Αποδείξεις

Υπάρχουν πολλές γνωστές αποδείξεις του θεωρήματος. Ορισμένες είναι μη εποικοδομητικές, όπως η πρώτη. Άλλες είναι εποικοδομητικές, καθώς βασίζονται σε αλγορίθμους για την έκφραση του Πρότυπο:Math ή του Πρότυπο:Math ως γραμμικού συνδυασμού των γεννητόρων του ιδεώδους.

Χρησιμοποιώντας το λήμμα του Ζαρίσκι

Το λήμμα του Ζαρίσκι ισχυρίζεται ότι αν ένα σώμα παράγεται πεπερασμένα ως συσχετιστική άλγεβρα πάνω σε ένα σώμα Πρότυπο:Math, τότε είναι πεπερασμένη επέκταση σώματος του Πρότυπο:Math (δηλαδή, παράγεται επίσης πεπερασμένα ως διανυσματικός χώρος).

Ακολουθεί ένα σχεδιάγραμμα μιας απόδειξης που χρησιμοποιεί αυτό το λήμμα.

Έστω $A=k[t_1,\dots ,t_n]$ (k αλγεβρικά κλειστό σώμα), I ένα ιδεώδες του A, και V τα κοινά μηδενικά του I στο $k^n$. Προφανώς, $\sqrt{I}\subseteq I(V)$. Έστω $f\in ̸\sqrt{I}$. Τότε $f\in ̸𝔭$ για κάποιο πρώτο ιδεώδες $𝔭\supseteq I$ στο A. Έστω $R=(A/𝔭)[f^{-1}]$ και $𝔪$ ένα μέγιστο ιδεώδες στο $R$. Σύμφωνα με το λήμμα του Ζαρίσκι, το $R/𝔪$ είναι πεπερασμένη επέκταση του k, άρα είναι k αφού το k είναι αλγεβρικά κλειστό. Έστω $x_i$ οι εικόνες του $t_i$ κάτω από τον φυσικό χάρτη $A\to k$ που διέρχεται από το $R$. Προκύπτει ότι $x=(x_1,\dots ,x_n)\in V$ και $f(x)\ne 0$.

Χρησιμοποιώντας τα αποτελέσματα

Η ακόλουθη εποικοδομητική απόδειξη της ασθενούς μορφής είναι μία από τις παλαιότερες αποδείξεις (η ισχυρή μορφή προκύπτει από το τέχνασμα Ραμπίνοβιτς, το οποίο είναι επίσης εποικοδομητικό).

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

Η απόδειξη έχει ως εξής.

Αν το κύριο ιδεώδες παράγεται από ένα μη σταθερό πολυώνυμο Πρότυπο:Mvar που εξαρτάται από το Πρότυπο:Mvar, επιλέγουμε αυθαίρετες τιμές για τις άλλες μεταβλητές. Το θεμελιώδες θεώρημα της άλγεβρας υποστηρίζει ότι αυτή η επιλογή μπορεί να επεκταθεί σε ένα μηδενικό του Πρότυπο:Mvar.

Στην περίπτωση πολλών πολυωνύμων $p_1,\dots ,p_n,$ μια γραμμική αλλαγή των μεταβλητών επιτρέπει να υποθέσουμε ότι το $p_1$ είναι μονικό στην πρώτη μεταβλητή Πρότυπο:Mvar. Στη συνέχεια, εισάγουμε $n-1$ νέες μεταβλητές $u_2,\dots ,u_n,$ και θεωρούμε την προκύπτουσα

$R={\mathrm{Res}}_x(p_1,u_2{p}_2+\cdots +u_n{p}_n).$

Καθώς το Πρότυπο:Mvar βρίσκεται στο ιδεώδες που παράγεται από το $p_1,\dots ,p_n,$ το ίδιο ισχύει και για τους συντελεστές στο Πρότυπο:Mvar των μονωνύμων στο $u_2,\dots ,u_n.$ Έτσι, αν το Πρότυπο:Math βρίσκεται στο ιδεώδες που παράγεται από αυτούς τους συντελεστές, βρίσκεται επίσης στο ιδεώδες που παράγεται από το $p_1,\dots ,p_n.$ Από την άλλη πλευρά, αν αυτοί οι συντελεστές έχουν ένα κοινό μηδέν, αυτό το μηδέν μπορεί να επεκταθεί σε ένα κοινό μηδέν του $p_1,\dots ,p_n,$ από την παραπάνω ιδιότητα της προκύπτουσας.

Αυτό αποδεικνύει το ασθενές Θεώρηµα των μηδενικών του Χίλμπερτ με επαγωγή στον αριθμό των μεταβλητών.

Χρήση βάσεων Γκρόμπνερ

Η βάση Γκρέμπνερ είναι μια αλγοριθμική έννοια που εισήχθη το 1973 από τον Μπρούνο Μπούχμπεργκερ. Σήμερα είναι θεμελιώδης στην υπολογιστική γεωμετρία. Μια βάση Γκρέμπνερ είναι ένα ειδικό παραγωγικό σύνολο ενός ιδεώδους από το οποίο μπορούν εύκολα να εξαχθούν οι περισσότερες ιδιότητες του ιδεώδους. Αυτές που σχετίζονται με το Θεώρηµα των μηδενικών είναι οι ακόλουθες:

• Ένα ιδεώδες περιέχει Πρότυπο:Math αν και μόνο αν η μειωμένη βάση του Γκρέμπνερ (για οποιαδήποτε μονώνυμη διάταξη) είναι Πρότυπο:Math.
• Ο αριθμός των κοινών μηδενικών των πολυωνύμων σε μια βάση Γκρέμπνερ σχετίζεται στενά με τον αριθμό των μονώνυμων που είναι μη αναγώγιμα από τη βάση. Συγκεκριμένα, ο αριθμός των κοινών μηδενικών είναι άπειρος αν και μόνο αν το ίδιο ισχύει και για τα μη αναγώγιμα μονώνυμα- αν οι δύο αριθμοί είναι πεπερασμένοι, ο αριθμός των μη αναγώγιμων μονωνύμων ισούται με τους αριθμούς των μηδενικών (σε ένα αλγεβρικά κλειστό σώμα), μετρημένους με πολλαπλασιασμούς.
• Με μια λεξικογραφική μονωνυμική σειρά, τα κοινά μηδενικά μπορούν να υπολογιστούν επιλύοντας επαναληπτικά μονομεταβλητά πολυώνυμα (αυτό δεν χρησιμοποιείται στην πράξη, δεδομένου ότι κάποιος γνωρίζει καλύτερους αλγορίθμους).
• Ισχυρό Θεώρηµα των μηδενικών: μια δύναμη του Πρότυπο:Mvar ανήκει σε ένα ιδανικό Πρότυπο:Mvar αν και μόνο ο κορεσμός του Πρότυπο:Mvar από το Πρότυπο:Mvar παράγει τη βάση Γκρέμπνερ Πρότυπο:Math. Έτσι, το ισχυρό Θεώρηµα των μηδενικών προκύπτει σχεδόν αμέσως από τον ορισμό του κορεσμού.

Γενικεύσεις

Το Θεώρηµα των μηδενικών εντάσσεται σε μια συστηματική ανάπτυξη της θεωρίας των δακτυλίων Τζάκομπσον, οι οποίοι είναι οι δακτύλιοι στους οποίους κάθε ριζικό ιδεώδες είναι τομή μέγιστων ιδεωδών. Με δεδομένο το λήμμα του Ζαρίσκι, η απόδειξη του του Θεωρήματος των μηδενικών ισοδυναμεί με την απόδειξη ότι αν το k είναι ένα σώμα, τότε κάθε πεπερασμένα παραγόμενη k-άλγεβρα R (απαραιτήτως με τη μορφή $R=k[t_1,\cdots ,t_n]/I$) είναι Τζάκομπσον. Γενικότερα, έχουμε το ακόλουθο θεώρημα:

Έστω $R$ ένας δακτύλιος Τζάκομπσον. Αν $S$ είναι μια πεπερασμένα παραγόμενη R-άλγεβρα, τότε $S$ είναι ένας δακτύλιος Τζάκομπσον. Επιπλέον, αν $𝔫\subseteq S$ είναι ένα μέγιστο ιδεώδες, τότε $𝔪:=𝔫\cap R$ είναι ένα μέγιστο ιδεώδες του $R$, και το $S/𝔫$ είναι μια πεπερασμένη επέκταση του $R/𝔪$.

Άλλες γενικεύσεις προκύπτουν από το Θεώρηµα των μηδενικών σε σχήμα-θεωρητικούς όρους που λέει ότι για οποιοδήποτε σώμα k και μη μηδενική πεπερασμένα παραγόμενη k-άλγεβρα R, ο μορφισμός $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}R\to \mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}k$ δέχεται ένα τμήμα étale-τοπικά (ισοδύναμα, μετά από αλλαγή βάσης κατά μήκος του $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}L\to \mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}k$ για κάποια επέκταση πεπερασμένου σώματος $L/k$). Σε αυτή τη λογική, έχουμε το ακόλουθο θεώρημα:

Οποιοσδήποτε πιστά επίπεδος μορφισμός συστημάτων $f:Y\to X$ τοπικά πεπερασμένης παρουσίασης δέχεται μια οιονεί τομή, με την έννοια ότι υπάρχει ένας πιστά επίπεδος και τοπικά οιονεί πεπερασμένος μορφισμός $g:X^{\prime }\to X$ τοπικά πεπερασμένης παρουσίασης τέτοιος ώστε η αλλαγή βάσης $f^{\prime }:Y{\times }_X{X}^{\prime }\to X^{\prime }$ της $f$ κατά μήκος της $g$ δέχεται μια τομή. Επιπλέον, αν το $X$ είναι οιονεί συμπαγές (ή οιονεί συμπαγές και οιονεί διαχωρισμένο), τότε μπορούμε να θεωρήσουμε ότι το $X^{\prime }$ είναι αφινικό (ή ότι το $X^{\prime }$ είναι αφινικό (ή ότι το $X^{\prime }$ είναι αφινικό). $X^{\prime }$ αφινικό και $g$ οιονεί-περιορισμένο), και αν $f$ είναι λείο επιρριπτικό, τότε μπορούμε να θεωρήσουμε ότι $g$ είναι étale.

Ο Σερζ Λανγκ έδωσε μια επέκταση του Θεωρήματος των μηδενικών στην περίπτωση των απείρως πολλών γεννητόρων:

Έστω $\kappa$ υπερπεπερασμένος αριθμός και έστω $K$ ένα αλγεβρικά κλειστό σώμα του οποίου ο βαθμός υπερβατικότητας στο πρώτο υποσώμα του είναι αυστηρά μεγαλύτερος από $\kappa$. Τότε για κάθε σύνολο $S$ με πληθικότητα $\kappa$, ο πολυωνυμικός δακτύλιος $A=K[x_i{]}_{i\in S}$ ικανοποιεί το θεώρημα των μηδενικών, δηλ, για κάθε ιδεώδες $J\subset A$ έχουμε ότι $\sqrt{J}=\text{I}(\text{V}(J))$.

Αποτελεσματικό θεώρημα των μηδενικών

Σε όλες τις παραλλαγές του, το θεώρημα των μηδενικών του Χίλμπερτ ισχυρίζεται ότι κάποιο πολυώνυμο Πρότυπο:Mvar ανήκει ή όχι σε ένα ιδεώδες που παράγεται, ας πούμε, από τα Πρότυπο:Math- έχουμε Πρότυπο:Math στην ισχυρή εκδοχή, Πρότυπο:Math στην ασθενή μορφή. Αυτό σημαίνει την ύπαρξη ή τη μη ύπαρξη πολυωνύμων Πρότυπο:Math τέτοιων ώστε Πρότυπο:Math. Οι συνήθεις αποδείξεις του  Θεωρήματος  των μηδενικών δεν είναι εποικοδομητικές, μη αποτελεσματικές, με την έννοια ότι δεν δίνουν κανέναν τρόπο υπολογισμού του Πρότυπο:Math.

Είναι επομένως ένα μάλλον φυσικό ερώτημα να αναρωτηθούμε αν υπάρχει ένας αποτελεσματικός τρόπος να υπολογίσουμε το Πρότυπο:Math (και τον εκθέτη Πρότυπο:Mvar στην ισχυρή μορφή) ή να αποδείξουμε ότι δεν υπάρχουν. Για την επίλυση αυτού του προβλήματος, αρκεί να δοθεί ένα άνω όριο για το συνολικό βαθμό του Πρότυπο:Math: ένα τέτοιο όριο μετατρέπει το πρόβλημα σε ένα πεπερασμένο σύστημα γραμμικών εξισώσεων που μπορεί να επιλυθεί με τις συνήθεις τεχνικές γραμμικής άλγεβρας. Οποιοδήποτε τέτοιο ανώτερο όριο καλείται αποτελεσματικό θεώρημα των μηδενικών.

Ένα συναφές πρόβλημα είναι το πρόβλημα της συμμετοχής σε ένα ιδεώδες, το οποίο συνίσταται στον έλεγχο αν ένα πολυώνυμο ανήκει σε ένα ιδεώδες. Και γι' αυτό το πρόβλημα, η λύση παρέχεται από ένα ανώτερο όριο για τον βαθμό του Πρότυπο:Math. Μια γενική λύση του προβλήματος ιδανικής συμμετοχής παρέχει ένα αποτελεσματικό θεώρημα των μηδενικών, τουλάχιστον για την ασθενή μορφή.

Το 1925, η Γκρέτε Χέρμαν έδωσε ένα ανώτερο όριο για το πρόβλημα της ιδεώδους συμμετοχής που είναι διπλά εκθετικό στον αριθμό των μεταβλητών. Το 1982 οι Μάγιρ και Μάγιερ έδωσαν ένα παράδειγμα όπου οι Πρότυπο:Math έχουν βαθμό που είναι τουλάχιστον διπλά εκθετικός, δείχνοντας ότι κάθε γενικό ανώτερο όριο για το πρόβλημα της ιδεώδους συμμετοχής είναι διπλά εκθετικό ως προς τον αριθμό των μεταβλητών.

Δεδομένου ότι οι περισσότεροι μαθηματικοί εκείνη την εποχή υπέθεσαν ότι το αποτελεσματικό θεώρημα των μηδενικών ήταν τουλάχιστον εξίσου δύσκολο με την ιδεώδη ένταξη, λίγοι μαθηματικοί αναζήτησαν ένα όριο καλύτερο από το διπλά εκθετικό. Το 1987, ωστόσο, ο W. Ντέιλ Μπράουνγουελ έδωσε ένα ανώτερο όριο για τον αποτελεσματικό θεώρημα των μηδενικών που είναι απλά εκθετικό ως προς τον αριθμό των μεταβλητών. Η απόδειξη του Μπράουνγουελ βασίστηκε σε αναλυτικές τεχνικές που ισχύουν μόνο στη χαρακτηριστική 0, αλλά, ένα χρόνο αργότερα, ο Γιανός Κολάρ έδωσε μια καθαρά αλγεβρική απόδειξη, έγκυρη σε οποιαδήποτε χαρακτηριστική, ενός ελαφρώς καλύτερου ορίου.

Στην περίπτωση του αδύναμου Θεωρήματος των μηδενικών, το όριο του Κολάρ είναι το ακόλουθο:

Έστω Πρότυπο:Math πολυώνυμα σε Πρότυπο:Math μεταβλητές, συνολικού βαθμού Πρότυπο:Math. Εάν υπάρχουν πολυώνυμα Πρότυπο:Math τέτοια ώστε Πρότυπο:Math, τότε μπορούν να επιλεγούν έτσι ώστε

$\mathrm{deg}(f_i{g}_i)\le \max (d_s,3)\prod _{j=1}^{\min (n,s)-1}\max (d_j,3).$

Αυτό το όριο είναι βέλτιστο αν όλοι οι βαθμοί είναι μεγαλύτεροι από 2.

Εάν Πρότυπο:Mvar είναι το μέγιστο των βαθμών του Πρότυπο:Math, αυτό το όριο μπορεί να απλοποιηθεί ως εξής

$\max (3,d{)}^{\min (n,s)}.$

Μια βελτίωση που οφείλεται στον Μ. Σόμπρα είναι

$\mathrm{deg}(f_i{g}_i)\le 2d_s\prod _{j=1}^{\min (n,s)-1}{d}_j.$

Το όριό του βελτιώνεται σε σχέση με αυτό του Κόλαρ από τη στιγμή που τουλάχιστον δύο από τους εμπλεκόμενους βαθμούς είναι μικρότεροι από 3.

Προβολικό θεώρημα των μηδενικών

Μπορούμε να διατυπώσουμε μια ορισμένη αντιστοιχία μεταξύ ομογενών ιδεωδών πολυωνύμων και αλγεβρικών υποσυνόλων ενός προβολικού χώρου, που ονομάζεται Προβολικό θεώρημα των μηδενικών, το οποίο είναι ανάλογο του αφινικού. Για να το κάνουμε αυτό, εισάγουμε ορισμένους συμβολισμούς. Έστω $R=k[t_0,\dots ,t_n].$ Το ομογενές ιδεώδες,

$R_{+}=\underset{d⩾1}{⨁}{R}_d$

ονομάζεται μέγιστο ομογενές ιδεώδες (βλέπε επίσης άσχετο ιδεώδες). Όπως και στην περίπτωση των αφινικών, έχουμε: για ένα υποσύνολο $S\subseteq {\mathbb{P}}^n$ και ένα ομογενές ιδεώδες I του R,

$\begin{array}{cc}{\mathrm{I}}_{{\mathbb{P}}^n}(S)& =\{f\in R_{+}\mid f=0\text{ on }S\},\\ {\mathrm{V}}_{{\mathbb{P}}^n}(I)& =\{x\in {\mathbb{P}}^n\mid f(x)=0\text{ for all }f\in I\}.\end{array}$

Με $f=0\text{ on }S$ εννοούμε: για κάθε ομογενή συντεταγμένη $(a_0:\cdots :a_n)$ ενός σημείου του S έχουμε $f(a_0,\dots ,a_n)=0$. Αυτό συνεπάγεται ότι οι ομογενείς συνιστώσες της f είναι επίσης μηδέν στο S και επομένως ότι ${\mathrm{I}}_{{\mathbb{P}}^n}(S)$ είναι ένα ομογενές ιδεώδες. Ισοδύναμα, ${\mathrm{I}}_{{\mathbb{P}}^n}(S)$ είναι το ομογενές ιδεώδες που παράγεται από ομογενή πολυώνυμα f που εξαφανίζονται στο S. Τώρα, για κάθε ομογενές ιδεώδες $I\subseteq R_{+}$, με τη συνήθη του Θεωρήματος των μηδενικών, έχουμε:

$\sqrt{I}={\mathrm{I}}_{{\mathbb{P}}^n}({\mathrm{V}}_{{\mathbb{P}}^n}(I)),$

και έτσι, όπως και στην περίπτωση του αφινικού, έχουμε:

Υπάρχει μια αντιστρεπτή αντιστοιχία τάξης ένα προς ένα μεταξύ κατάλληλων ομογενών ριζικών ιδεωδών του R και υποσυνόλων του ${\mathbb{P}}^n$ της μορφής ${\mathrm{V}}_{{\mathbb{P}}^n}(I).$ Η αντιστοιχία δίνεται από τα ${\mathrm{I}}_{{\mathbb{P}}^n}$ και ${\mathrm{V}}_{{\mathbb{P}}^n}.$

Αναλυτικό θεώρημα των μηδενικών (θεώρημα των μηδενικών του Ρυκερτ)

Το θεώρημα των μηδενικών ισχύει επίσης για τα σπέρματα (germs) των ολομορφικών συναρτήσεων σε ένα σημείο του μιγαδικού n-χώρου ${ℂ}^n.$. Ακριβώς, για κάθε ανοικτό υποσύνολο $U\subseteq {ℂ}^n,$ έστω ${𝒪}_{{ℂ}^n}(U)$ συμβολίζει τον δακτύλιο των ολομορφικών συναρτήσεων στο U- τότε ${𝒪}_{{ℂ}^n}$ είναι μια δέσμη στον ${ℂ}^n.$ Το στέλεχος ${𝒪}_{{ℂ}^n,0}$ στην, ας πούμε, αρχή μπορεί να αποδειχθεί ότι είναι ένας τοπικός Ναιτεριανός δακτύλιος που είναι ένα μοναδικό σώμα παραγοντοποίησης.

Αν $f\in {𝒪}_{{ℂ}^n,0}$ είναι ένα σπέρμα (germ) που αντιπροσωπεύεται από μια ολομορφική συνάρτηση $\tilde{f}:U\to ℂ$, τότε έστω $V_0(f)$ η κλάση ισοδυναμίας του συνόλου

$\{z\in U\mid \tilde{f}(z)=0\},$

όπου δύο υποσύνολα $X,Y\subseteq {ℂ}^n$ θεωρούνται ισοδύναμα αν $X\cap U=Y\cap U$ για κάποια γειτονιά U του 0. Να σημειωθεί ότι το $V_0(f)$ είναι ανεξάρτητο από την επιλογή του αντιπροσώπου $\tilde{f}.$ Για κάθε ιδεώδες $I\subseteq {𝒪}_{{ℂ}^n,0},$ ας συμβολίσουμε $V_0(I)$ με $V_0(f_1)\cap \dots \cap V_0(f_r)$ για κάποιους γεννήτορες $f_1,\dots ,f_r$ του I. Είναι καλά ορισμένη, δηλαδή είναι ανεξάρτητη από την επιλογή των γεννητόρων.

Για κάθε υποσύνολο $X\subseteq {ℂ}^n$, έστω

$I_0(X)=\{f\in {𝒪}_{{ℂ}^n,0}\mid V_0(f)\supset X\}.$

Είναι εύκολο να δούμε ότι το $I_0(X)$ είναι ένα ιδεώδες του ${𝒪}_{{ℂ}^n,0}$ και ότι $I_0(X)=I_0(Y)$ αν $X\sim Y$ με την έννοια που συζητήθηκε παραπάνω.

Το αναλυτικό θεώρημα των μηδενικών δηλώνει τότε: για κάθε ιδεώδη $I\subseteq {𝒪}_{{ℂ}^n,0}$,

$\sqrt{I}=I_0(V_0(I))$

όπου η αριστερή πλευρά είναι η ρίζα του I.

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

• 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
• Αλγεβρική ποικιλία

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

• Πρότυπο:Cite journal
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
• Πρότυπο:Cite journal
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book

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

• 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
• Πρότυπο:Cite journal