Μετάβαση στο περιεχόμενο

Εξέταση μεμονωμένων αλλαγών

This page allows you to examine the variables generated by the Abuse Filter for an individual change.

Μεταβλητές παραγόμενες για αυτήν την αλλαγή

ΜεταβλητήΤιμή
Αριθμός επεξεργασιών χρήστη (user_editcount)
56706
Όνομα του λογαριασμού χρήστη (user_name)
'Projethomere'
Type of the user account ($1) (user_type)
'named'
Ηλικία του λογαριασμού χρήστη (user_age)
457880458
Ομάδες (των εν δυνάμει ομάδων συμπεριλαμβανομένων) στις οποίες ανήκει ο χρήστης (user_groups)
[ 0 => 'extendedconfirmed', 1 => '*', 2 => 'user', 3 => 'autoconfirmed' ]
Δικαιώματα που έχει ο χρήστης (user_rights)
[ 0 => 'extendedconfirmed', 1 => 'createaccount', 2 => 'read', 3 => 'edit', 4 => 'createpage', 5 => 'createtalk', 6 => 'writeapi', 7 => 'viewmyprivateinfo', 8 => 'editmyprivateinfo', 9 => 'editmyoptions', 10 => 'abusefilter-log-detail', 11 => 'urlshortener-create-url', 12 => 'centralauth-merge', 13 => 'abusefilter-view', 14 => 'abusefilter-log', 15 => 'vipsscaler-test', 16 => 'flow-hide', 17 => 'flow-edit-title', 18 => 'reupload-own', 19 => 'move-rootuserpages', 20 => 'move-categorypages', 21 => 'minoredit', 22 => 'editmyusercss', 23 => 'editmyuserjson', 24 => 'editmyuserjs', 25 => 'sendemail', 26 => 'applychangetags', 27 => 'changetags', 28 => 'viewmywatchlist', 29 => 'editmywatchlist', 30 => 'spamblacklistlog', 31 => 'flow-lock', 32 => 'mwoauthmanagemygrants', 33 => 'reupload', 34 => 'upload', 35 => 'move', 36 => 'collectionsaveasuserpage', 37 => 'collectionsaveascommunitypage', 38 => 'autoconfirmed', 39 => 'editsemiprotected', 40 => 'skipcaptcha', 41 => 'flow-edit-post', 42 => 'ipinfo', 43 => 'ipinfo-view-basic', 44 => 'transcode-reset', 45 => 'transcode-status', 46 => 'enrollasmentor' ]
Είτε ένας χρήστης επεξεργάζεται είτε όχι μέσω της διεπαφής για κινητά (user_mobile)
false
Παγκόσμιος αριθμός επεξεργασιών του χρήστη (global_user_editcount)
58647
Whether the user is editing from mobile app ($1) (user_app)
false
Ταυτότητα σελίδας (page_id)
0
Ονοματοχώρος σελίδας (page_namespace)
0
Όνομα σελίδας (χωρίς περιοχή ονόματος) (page_title)
'Εικασία του Χοτζ'
Πλἠρης τίτλος σελίδας (page_prefixedtitle)
'Εικασία του Χοτζ'
Οι δέκα τελευταίοι χρήστες που συνεισέφεραν στη σελίδα (page_recent_contributors)
[]
Ηλικία σελίδας (σε δευτερόλεπτα) (page_age)
0
Ενέργεια (action)
'edit'
Περίληψη επεξεργασίας/αιτιολογία (summary)
''
Time since last page edit in seconds ($1) (page_last_edit_age)
null
Old content model ($1) (old_content_model)
''
New content model ($1) (new_content_model)
'wikitext'
Παλιό wikitext σελίδας, πριν την επεξεργασία (old_wikitext)
''
Νέα σελίδα βικικειμένου, μετά την επεξεργασία (new_wikitext)
'[[File:Hodge conjecture.png|thumb|420x420px|Τα τοπολογικά χαρακτηριστικά ενός χώρου <math>X</math>, όπως μια τρύπα (που χαρακτηρίζεται από <math>A</math>), συνήθως ανιχνεύονται με τη χρήση της μοναδικής (συν)ομολογίας, όπου η παρουσία μιας μη μηδενικής κλάσης <math>[\alpha]\in H_\text{sing}^k(X)</math> δείχνει ότι ο χώρος <math>X</math> έχει μια (διάσταση <math>k</math>) τρύπα. Μια τέτοια κλάση αναπαρίσταται από μια (συν)αλυσίδα απλοτήτων, που απεικονίζεται με το κόκκινο πολύγωνο που είναι κατασκευασμένο από 1-απλότητες (ευθύγραμμα τμήματα) στα αριστερά. Αυτή η κλάση ανιχνεύει την τρύπα <math>A</math> κάνοντας κύκλο γύρω από αυτήν. Σε αυτή την περίπτωση, υπάρχει στην πραγματικότητα μια πολυωνυμική εξίσωση της οποίας το σύνολο μηδέν, που απεικονίζεται με πράσινο χρώμα στα δεξιά, ανιχνεύει επίσης την τρύπα κάνοντας βρόχο γύρω από αυτήν. Η '''εικασία Χοτζ''' γενικεύει αυτή τη δήλωση σε υψηλότερες διαστάσεις.]] Στα [[μαθηματικά]], η '''εικασία του Χοτζ''' είναι ένα σημαντικό άλυτο πρόβλημα της [[Αλγεβρική γεωμετρία|αλγεβρικής γεωμετρίας]] και της μιγαδικής γεωμετρίας, το οποίο σχετίζει την [[Αλγεβρική τοπολογία|αλγεβρική τοπολογία]] μιας μη-ιδιάζουσας μιγαδικής αλγεβρικής ποικιλίας με τις υποποικιλίες της. Με απλά λόγια, η εικασία Χοτζ ισχυρίζεται ότι οι βασικές τοπολογικές πληροφορίες, όπως ο αριθμός των οπών σε ορισμένους γεωμετρικούς χώρους, μιγαδικές [[Αλγεβρική ποικιλία|αλγεβρικές ποικιλίες]], μπορούν να κατανοηθούν μελετώντας τα πιθανά ωραία σχήματα που κάθονται μέσα σε αυτούς τους χώρους, τα οποία μοιάζουν με μηδενικά σύνολα πολυωνυμικών εξισώσεων. Τα τελευταία αντικείμενα μπορούν να μελετηθούν με τη χρήση της [[Άλγεβρα|άλγεβρας]] και του λογισμού των αναλυτικών συναρτήσεων, και αυτό επιτρέπει την έμμεση κατανόηση του ευρύτερου σχήματος και της δομής των συχνά υψηλότερων διαστάσεων χώρων που δεν μπορούν να απεικονιστούν εύκολα με άλλο τρόπο. Πιο συγκεκριμένα, η εικασία δηλώνει ότι ορισμένες κλάσεις συνομολογίας de Ραμ είναι αλγεβρικές, δηλαδή είναι αθροίσματα των δυϊκών του Πουανκαρέ των κλάσεων ομολογίας των υποδιαστολών. Διατυπώθηκε από τον Σκωτσέζο μαθηματικό Γουίλιαμ Βάλανς Ντάγκλας Χοτζ (William Vallance Douglas Hodge) ως αποτέλεσμα μιας εργασίας μεταξύ 1930 και 1940 για τον εμπλουτισμό της περιγραφής της συνομολογίας de Ραμ ώστε να συμπεριλάβει επιπλέον δομή που υπάρχει στην περίπτωση των σύνθετων αλγεβρικών ποικιλιών. Δεν έτυχε ιδιαίτερης προσοχής προτού ο Χοτζ την παρουσιάσει σε μια ομιλία κατά τη διάρκεια του Διεθνούς Συνεδρίου Μαθηματικών του 1950, που πραγματοποιήθηκε στο Κέιμπριτζ της Μασαχουσέτης. Η εικασία του Χοτζ είναι ένα από τα Προβλήματα του Βραβείου Χιλιετίας του Ινστιτούτου Μαθηματικών Κλέι, με βραβείο 1.000.000 δολαρίων ΗΠΑ για όποιον μπορέσει να αποδείξει ή να διαψεύσει την εικασία του Χοτζ. == Κίνητρα== Κύριο άρθρο: Hodge για σύνθετες προβολικές ποικιλίες Έστω '''X''' μια συμπαγής μιγαδική πολλαπλότητα μιγαδικής διάστασης ''n''. Τότε η ''X'' είναι μια προσανατολισμένη ομαλή πολλαπλότητα πραγματικής διάστασης <math>2n</math>, οπότε οι ομάδες συνομολογίας της βρίσκονται σε βαθμούς μηδέν έως <math>2n</math>. Ας υποθέσουμε ότι η ''X'' είναι μια πολλαπλότητα Κέλερ, έτσι ώστε να υπάρχει μια αποσύνθεση στη συνομολογία της με μιγαδικούς συντελεστές :<math>H^n(X, \Complex) = \bigoplus_{p+q=n} H^{p,q}(X),</math> όπου <math>H^{p,q}(X)</math> είναι η υποομάδα των κλάσεων συνομολογίας που αντιπροσωπεύονται από αρμονικές μορφές τύπου <math>(p,q)</math>. Με άλλα λόγια, πρόκειται για τις κλάσεις συνομολογίας που αντιπροσωπεύονται από μορφές οι οποίες, σε μια ορισμένη επιλογή τοπικών συντεταγμένων <math>z_1, \ldots, z_n</math>, μπορούν να γραφούν υπό τη μορφή συναρτήσεων αρμονικού χρόνου :<math>dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}.</math> Εφόσον η ''X'' είναι μια συμπαγής προσανατολισμένη πολλαπλότητα, η ''X'' έχει μια θεμελιώδη τάξη, και έτσι η ''X'' μπορεί να ολοκληρωθεί. Έστω ''Z'' μια σύνθετη υποπολλαπλότητα της ''X'' διάστασης ''k'', και έστω <math>i\colon Z\to X</math> ο χάρτης ενσωμάτωσης. Επιλέγουμε μια διαφορική μορφή <math>\alpha</math> τύπου <math>(p,q)</math>. Μπορούμε να ολοκληρώσουμε την <math>\alpha</math> πάνω στο ''Z'' χρησιμοποιώντας τη συνάρτηση επαναφοράς <math>i^*</math>, :<math>\int_Z i^*\alpha.</math> Για να αξιολογήσετε αυτό το ολοκλήρωμα, επιλέγουμε ένα σημείο του ''Z'' και το ονομάζουμε <math>z=(z_1, \ldots, z_k)</math>. Η συμπερίληψη του ''Z'' στο ''X'' σημαίνει ότι μπορούμε να επιλέξουμε μια τοπική βάση στο ''X'' και να έχουμε <math>z_{k+1} = \cdots = z_n = 0</math> θεώρημα κατάταξης-μηδενισμού . Αν <math>p>k</math>, τότε το <math>\alpha</math> πρέπει να περιέχει κάποιο <math>dz_i</math> όπου το <math>z_i</math> έλκει το μηδέν στο ''Z''. Το ίδιο ισχύει και για το <math>d\bar z_j</math> αν <math>q > k</math>. Συνεπώς, το ολοκλήρωμα αυτό είναι μηδέν αν <math>(p,q) \ne (k,k)</math>. Η εικασία του Χοτζ θέτει (κατά προσέγγιση) το ακόλουθο ερώτημα: Ποιες κλάσεις συνομολογίας στην <math>H^{k,k}(X)</math> προέρχονται από σύνθετες υποδιαστολές ''Z''; == Δήλωση της εικασίας Χοτζ == Έστω :<math>\operatorname{Hdg}^k(X) = H^{2k}(X, \Q) \cap H^{k,k}(X).</math> Η σύγχρονη δήλωση της εικασίας Χοτζ είναι η εξής ::''''Εικασία Χοτζ.''' Έστω ''X'' μια μη-συνεχής μιγαδική προβολική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι ένας γραμμικός συνδυασμός με ορθολογικούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''Χ''. Μια μιγαδική προβολική πολλαπλότητα είναι μια μιγαδική πολλαπλότητα που μπορεί να ενσωματωθεί σε έναν μιγαδικό προβολικό χώρο. Δεδομένου ότι ο προβολικός χώρος φέρει μια μετρική Κέλερ (Kähler), τη μετρική Fubini-Study, μια τέτοια πολλαπλότητα είναι πάντα μια πολλαπλότητα Κέλερ. Σύμφωνα με το θεώρημα του Τσάου, μια μιγαδική προβολική πολλαπλότητα είναι επίσης μια ομαλή προβολική αλγεβρική ποικιλία, δηλαδή το σύνολο μηδέν μιας συλλογής ομογενών πολυωνύμων. === Αναδιατύπωση σε όρους αλγεβρικών κύκλων === Ένας άλλος τρόπος διατύπωσης της εικασίας Χοτζ περιλαμβάνει την ιδέα ενός αλγεβρικού κύκλου. Ένας ''[[κύκλος (αλγεβρική γεωμετρία)|αλγεβρικός κύκλος]]'' στο ''X'' είναι ένας τυπικός συνδυασμός υποπολλαπλών του ''X'', δηλαδή είναι κάτι της μορφής : <math>\sum_i c_iZ_i.</math> Οι συντελεστές λαμβάνονται συνήθως ως ακέραιοι ή ρητοί. Ορίζουμε την κλάση συνομολογίας ενός αλγεβρικού κύκλου ως το άθροισμα των κλάσεων συνομολογίας των συνιστωσών του. Αυτό είναι ένα παράδειγμα του χάρτη κλάσεων κύκλου της συνομολογίας de Rham, βλέπε συνομολογία Βἐιλ. Παραδείγματος χάριν, η κλάση συνομολογίας του παραπάνω κύκλου θα ήταν :<math>\sum_i c_i[Z_i].</math> Μια τέτοια κλάση συνομολογίας ονομάζεται ''αλγεβρική''. Με αυτόν τον συμβολισμό, η εικασία Χοτζ γίνεται ::Έστω ''X'' μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι αλγεβρική. Η υπόθεση της εικασίας Χοτζ ότι η ''Χ'' είναι αλγεβρική (προβολική μιγαδική πολλαπλότητα) δεν μπορεί να αποδυναμωθεί. Το 1977, ο Στίβεν Ζάκερ έδειξε ότι είναι δυνατόν να κατασκευαστεί ένα αντιπαράδειγμα της εικασίας Χοτζ ως μιγαδικοί τόροι με αναλυτική ρητή συνομολογία τύπου <math>(p,p)</math>, η οποία δεν είναι προβολική αλγεβρική. (βλέπε παράρτημα Β του {{Harvtxt|Zucker|1977}}) == Γνωστές περιπτώσεις της εικασίας Χοτζ == === Χαμηλή διάσταση και συνδιάσταση === Το πρώτο αποτέλεσμα σχετικά με την εικασία Χοτζ οφείλεται στον {{Harvtxt|Lefschetz|1924}}. Στην πραγματικότητα, προϋπήρχε της εικασίας και παρείχε κάποια από τα κίνητρα του Χοτζ. ::''''Θεώρημα''' (Θεώρημα Λέφσετζ στις (1,1)-κλάσεις) Οποιοδήποτε στοιχείο του <math>H^2(X,\Z)\cap H^{1,1}(X)</math> είναι η κλάση συνομολογίας ενός διαιρέτη στο <math>X</math>. Ειδικότερα, η εικασία Χοτζ είναι αληθής για την <math>H^2</math>. Μια πολύ γρήγορη απόδειξη μπορεί να δοθεί χρησιμοποιώντας την συνομολογία των δεσμών και την εκθετική ακριβή ακολουθία. (Η κλάση συνομολογίας ενός διαιρέτη αποδεικνύεται ίση με την πρώτη [[κλάση Τσερν]]). Η αρχική απόδειξη του Λέφσετζ προχώρησε με κανονικές συναρτήσεις κανονικές συναρτήσεις, οι οποίες εισήχθησαν από τον [[Ανρί Πουανκαρέ]]. Ωστόσο, το θεώρημα της εγκάρσιας μεταβλητότητας του Γκρίφιτς δείχνει ότι αυτή η προσέγγιση δεν μπορεί να αποδείξει την εικασία του Χοτζ για υποδιαστολές υψηλότερων κωδικοδιαστάσεων. Με το θεώρημα Χαρντ Λέφσετζ, μπορούμε να αποδείξουμε:<ref name="Shioda">{{cite conference |url=https://projecteuclid.org/proceedings/advanced-studies-in-pure-mathematics/algebraic-varieties-and-analytic-varieties/toc/10.2969/aspm/00110000 |title=What is known about the Hodge Conjecture? |last=Shioda |first=Tetsuji |date=July 13–24, 1981 |conference=Algebraic Varieties and Analytic Varieties |editor=S. Iitaka |volume=1 |book-title=Advanced Studies in Pure Mathematics |publisher=Mathematical Society of Japan |location=Tokyo, Japan |isbn=9784864970594 |doi=10.2969/aspm/00110000 |page=58}}</ref> ::''''Θεώρημα.''' Αν για κάποιο <math>p < \frac{n}{2}</math> η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>p</math>, τότε η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>2n-p</math>. Ο συνδυασμός των δύο παραπάνω θεωρημάτων συνεπάγεται ότι η εικασία Χοτζ είναι αληθής για κλάσεις Χοτζ βαθμού <math>2n-2</math>. Αυτό αποδεικνύει την εικασία Χοτζ όταν η <math>X</math> έχει διάσταση το πολύ τρεις. Το θεώρημα Λεφσέτζ για τις (1,1)-κλάσεις συνεπάγεται επίσης ότι αν όλες οι κλάσεις Χοτζ παράγονται από τις κλάσεις Χοτζ των διαιρετών, τότε η εικασία Χοτζ είναι αληθής: ::''''Επακόλουθο.''' Αν η άλγεβρα <math>\operatorname{Hdg}^*(X) = \bigoplus\nolimits_k \operatorname{Hdg}^k(X)</math> παράγεται από την <math>\operatorname{Hdg}^1(X)</math>, τότε η εικασία Χοτζ ισχύει για την <math>X</math>. === Υπερεπιφάνειες === Σύμφωνα με το ισχυρό και ασθενές θεώρημα Λεφσέτζ, το μόνο μη τετριμμένο μέρος της εικασίας Χοτζ για τις υπερεπιφάνειες είναι το μέρος του βαθμού ''m'' (δηλαδή η μεσαία συνομολογία) μιας 2''m''-διάστατης υπερεπιφάνειας <math>X \subset \mathbf P^{2m+1}</math>. Αν ο βαθμός ''d'' είναι 2, δηλαδή το ''X'' είναι τετράγωνο, η εικασία Χοτζ ισχύει για όλα τα ''m''. Για <math>m = 2</math>, δηλαδή για τετράπτυχα, η εικασία Χοτζ είναι γνωστή για <math>d \le 5</math>.<ref>James Lewis: ''A Survey of the Hodge Conjecture'', 1991, Example 7.21</ref> === Αβελιανές ποικιλίες === Για τις περισσότερες αβελιανές ποικιλίες, η άλγεβρα Hdg*(''X'') παράγεται σε πρώτο βαθμό, οπότε ισχύει η εικασία Χοτζ. Ειδικότερα, η εικασία Χοτζ ισχύει για αρκετά γενικές αβελιανές ποικιλίες, για προϊόντα ελλειπτικών καμπυλών και για απλές αβελιανές ποικιλίες πρώτης διάστασης.<ref>{{Cite journal|title = Cycles on abelian varieties|jstor = 2033404|journal = [[:en:Proceedings of the American Mathematical Society|Proceedings of the American Mathematical Society]]|year = 1958|pages = 88–98|volume = 9|issue = 1|doi = 10.2307/2033404|first = Arthur|last = Mattuck|author-link=:en:Arthur Mattuck|doi-access = free}}</ref><ref>{{Cite web|title = Algebraic cycles and poles of zeta functions|url = https://www.researchgate.net/publication/244452499|website = ResearchGate|access-date = 2015-10-23}}</ref><ref>{{Cite journal|title =Cycles on simple abelian varieties of prime dimension over number fields |journal = Mathematics of the USSR-Izvestiya|volume = 31|issue = 3|pages = 527–540|date = 1988-01-01|doi = 10.1070/im1988v031n03abeh001088 |first = Sergei G|last = Tankeev|bibcode = 1988IzMat..31..527T}}</ref> Ωστόσο, ο Μάμφορντ {{Harvtxt|Mumford|1969}} κατασκεύασε ένα παράδειγμα αβελιανής ποικιλίας όπου η Hdg<sup>2</sup>(''X'') δεν παράγεται από γινόμενα διαιρετικών κλάσεων. Ο Weil {{Harvtxt|Weil|1977}} γενίκευσε αυτό το παράδειγμα δείχνοντας ότι όποτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό με ένα φανταστικό τετραγωνικό πεδίο, τότε η Hdg<sup>2</sup>(''X'') δεν παράγεται από προϊόντα κλάσεων διαιρέτη. Οι Μούνεν & Ζαρίν {{Harvtxt|Moonen|Zarhin|1999}} απέδειξαν ότι σε διάσταση μικρότερη από 5, είτε η Hdg*(''X'') παράγεται σε πρώτο βαθμό, είτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό από ένα φανταστικό τετραγωνικό πεδίο. Στην τελευταία περίπτωση, η εικασία Χοτζ είναι γνωστή μόνο σε ειδικές περιπτώσεις. == Γενικεύσεις == === Εικασία του ολοκληρωτικού Χοτζ === Η αρχική εικασία του Χοτζ ήταν η εξής: ::''''Εικασία του Ολοκληρωτικού Χοτζ.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι η κλάση συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}} Σήμερα είναι γνωστό ότι αυτό είναι ψευδές. Το πρώτο αντιπαράδειγμα κατασκευάστηκε από τους Ατίγια & Χίρζεμπρουχ {{Harvtxt|Atiyah|Hirzebruch|1961}}. Χρησιμοποιώντας την Κ-θεωρία, κατασκεύασαν ένα παράδειγμα μιας κλάσης συνομολογίας στρέψης -δηλαδή μια κλάση συνομολογίας {{mvar|''α''}} τέτοια ώστε {{math|''nα''&nbsp;{{=}}&nbsp;0}} για κάποιο θετικό ακέραιο {{mvar|''n''}}- η οποία δεν είναι η κλάση ενός αλγεβρικού κύκλου. Μια τέτοια κλάση είναι αναγκαστικά μια κλάση Χοτζ. {{{Harvtxt|Totaro|1997}} επανερμήνευσε το αποτέλεσμά τους στο πλαίσιο του συνομπορδισμού και βρήκε πολλά παραδείγματα τέτοιων κλάσεων. Η απλούστερη προσαρμογή της ολοκληρωτικής εικασίας Χοτζ είναι η εξής: ::''''Εικασία του ολοκληρωτικού Χοτζ modulo στρέψης.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι το άθροισμα μιας κλάσης στρέψης και της κλάσης συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}} Ισοδύναμα, μετά τη διαίρεση της <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> με κλάσεις στρέψης, κάθε κλάση είναι η εικόνα της κλάσης συνομολογίας ενός ολοκληρωτικού αλγεβρικού κύκλου. Αυτό είναι επίσης ψευδές. Ο Κόλαρ {{Harvtxt|Kollár|1992}} βρήκε ένα παράδειγμα μιας κλάσης Χοτζ {{mvar|''α''}} η οποία δεν είναι αλγεβρική, αλλά έχει ένα ολοκληρωτικό πολλαπλάσιο που είναι αλγεβρικό. Οι Ρόζενσον και Σρίνιβας {{harvtxt|Rosenschon|Srinivas|2016}} έχουν δείξει ότι για να επιτύχουμε μια σωστή ολοκληρωτική εικασία Hodge, πρέπει να αντικαταστήσουμε τις ομάδες Τσάου, οι οποίες μπορούν επίσης να εκφραστούν ως ομάδες κινητικής συνομολογίας, με μια παραλλαγή γνωστή ως ''étale'' (ή ''Lichtenbaum'') ''κινητική συνομολογία''. Δείχνουν ότι η εικασία του ρητού Χοτζ είναι ισοδύναμη με την εικασία του ολοκληρωτικού Χοτζ για αυτή την τροποποιημένη κινητική συνομολογία. ===Εικασία Χοτζ για τις ποικιλίες Κέλερ === Μια φυσική γενίκευση της εικασίας Χοτζ θα ρωτούσε: ::''''Εικασία Χοτζ για ποικιλίες Κέλερ, αφελής εκδοχή.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στην ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''X''. Αυτό είναι πολύ αισιόδοξο, διότι δεν υπάρχουν αρκετές υποποικιλίες για να λειτουργήσει αυτό. Ένα πιθανό υποκατάστατο είναι να θέσετε αντί γι' αυτό ένα από τα δύο ακόλουθα ερωτήματα: ::''''Η εικασία Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της διανυσματικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των διανυσματικών δεσμίδων στη ''X''. ::''''Εικασία του Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της συνεκτικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των συνεκτικών δεσμών στη ''X''. Ο Βουαζέν {{Harvtxt|Voisin|2002}} απέδειξε ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δίνουν αυστηρά περισσότερες κλάσεις Χοτζ από τις κλάσεις Τσερν των διανυσματικών δεσμών και ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δεν επαρκούν για να δημιουργήσουν όλες τις κλάσεις Χοτζ. Συνεπώς, οι μόνες γνωστές διατυπώσεις της εικασίας Χοτζ για ποικιλίες Κέλερ είναι ψευδείς. === Η γενικευμένη εικασία Χοτζ === Ο Χοτζ διατύπωσε μια πρόσθετη, ισχυρότερη εικασία από την ολοκληρωτική εικασία Χοτζ. Λέμε ότι μια κλάση συνομολογίας στο ''X'' είναι ''συνεπίπεδου c'' (coniveau c) αν είναι η προωθητική μιας κλάσης συνομολογίας σε ένα ''c'' -συνδιαστατική υποποικιλία του ''X''. Οι κλάσεις συνομολογίας με συν-επίπεδο τουλάχιστον ''c'' φιλτράρουν τη συνομολογία της ''X'', και είναι εύκολο να δούμε ότι το ''c'' βήμα της διήθησης <math>N^cH^k(X, \mathbf{Z})</math> ικανοποιεί την ακόλουθη συνθήκη :<math>N^cH^k(X, \mathbf{Z}) \subseteq H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math> Η αρχική δήλωση του Χοτζ ήταν: ::''''Γενικευμένη εικασία του Χοτζ, η εκδοχή του Χοτζ.''' <math>N^cH^k(X, \mathbf{Z}) = H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math> Ο Γκρότεντιεκ {{harvtxt|Grothendieck|1969}} παρατήρησε ότι αυτό δεν μπορεί να είναι αληθές, ακόμη και με ρητούς συντελεστές, επειδή η δεξιά πλευρά δεν είναι πάντα μια δομή Χοτζ. Η διορθωμένη μορφή της εικασίας Χοτζ είναι η εξής: ::'''Γενικευμένη εικασία του Χοτζ.''' <math>N^cH^k(X, \mathbf{Q})</math> είναι η μεγαλύτερη υπο-δομή Χοτζ της <math>H^k(X, \mathbf{Z})</math> που περιέχεται στην <math>H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X). </math> Αυτή η έκδοση είναι ανοικτή. ==Αλγεβρικότητα των τόπων Χοτζ== Η ισχυρότερη απόδειξη υπέρ της εικασίας Χοτζ είναι το αποτέλεσμα της αλγεβρικότητας των {{Harvtxt|Cattani|Deligne|Kaplan|1995}}. Ας υποθέσουμε ότι μεταβάλλουμε τη μιγαδική δομή του X πάνω σε μια απλά συνδεδεμένη βάση. Τότε η τοπολογική συνομολογία του X δεν αλλάζει, αλλά η αποσύνθεση Χοτζ μεταβάλλεται. Είναι γνωστό ότι αν η εικασία Χοτζ είναι αληθής, τότε ο τόπος όλων των σημείων της βάσης όπου η συνομολογία μιας ίνας είναι κλάση Χοτζ είναι στην πραγματικότητα ένα αλγεβρικό υποσύνολο, δηλαδή αποκόπτεται από πολυωνυμικές εξισώσεις. Οι Κατάνι, Ντελίν & Κάπλαν (1995) απέδειξαν ότι αυτό είναι πάντα αληθές, χωρίς να υποθέσουν την εικασία Χοτζ. ==Δημοσιεύσεις == *{{citation |last1=Atiyah |first1=M. F. |author1-link=:en:Michael Atiyah |last2=Hirzebruch |first2=F. |author2-link=:en:Friedrich Hirzebruch |year=1961 |title=Analytic cycles on complex manifolds |journal=Topology |volume=1 |pages=25–45 |doi= 10.1016/0040-9383(62)90094-0|doi-access= }} Available from the [http://hirzebruch.mpim-bonn.mpg.de/151/1/29_Analytic%20cycles%20on%20complex%20manifolds.pdf Hirzebruch collection] (pdf). *{{Citation | last1=Cattani | first1=Eduardo |author1-link=:en:Eduardo Cattani | last2=Deligne | first2=Pierre | author2-link=:en:Pierre Deligne | last3=Kaplan | first3=Aroldo |author3-link=:en:Aroldo Kaplan | title=On the locus of Hodge classes | mr=1273413 | year=1995 | journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] | volume=8 | issue=2 | pages=483–506 | doi=10.2307/2152824 | jstor=2152824 | arxiv=alg-geom/9402009 }}. *{{citation|last=Grothendieck|first=A.|author-link=:en:Alexander Grothendieck|title=Hodge's general conjecture is false for trivial reasons|journal=[[:en:Topology (journal)|Topology]]|volume=8|year=1969|pages=299–303|doi=10.1016/0040-9383(69)90016-0|issue=3|doi-access=free}}. *{{citation|last=Hodge|first=W. V. D.|author-link=:en:W. V. D. Hodge|title=The topological invariants of algebraic varieties|journal=Proceedings of the International Congress of Mathematicians|location=Cambridge, MA|year=1950|volume=1|pages=181–192}}. *{{Citation |last=Kollár |first=János |author-link=:en:János Kollár |chapter=Trento examples |title=Classification of irregular varieties |page=134 |editor1-last=Ballico |editor1-first=E. |editor2-first=F. |editor2-last=Catanese |editor3-first=C. |editor3-last=Ciliberto |series=Lecture Notes in Math. |volume=1515 |publisher=Springer |year=1992 |isbn=978-3-540-55295-6 }}. *{{Citation | last1=Lefschetz | first1=Solomon |author-link=:en:Solomon Lefschetz | title=L'Analysis situs et la géométrie algébrique | publisher=Gauthier-Villars | language=fr | series=Collection de Monographies publiée sous la Direction de M. Émile Borel | location=Paris | year=1924}} Reprinted in {{Citation | last1=Lefschetz | first1=Solomon | title=Selected papers | publisher=Chelsea Publishing Co. | location=New York | isbn=978-0-8284-0234-7 | mr=0299447 | year=1971}}. *{{citation |last1=Moonen |first1=Ben J. J. |author1-link=:en:Ben Moonen |last2=Zarhin |first2=Yuri G. |author2-link=:en:Yuri Zarhin |year=1999 |title=Hodge classes on abelian varieties of low dimension |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=315 |issue=4 |pages=711–733 |doi=10.1007/s002080050333 |arxiv=math/9901113|mr=1731466 |s2cid=119180172 }}. *{{citation |last=Mumford |first=David |author-link=:en:David Mumford |title=A Note of Shimura's paper "Discontinuous groups and abelian varieties" |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=181 |issue=4 |year=1969 |pages=345–351 |doi=10.1007/BF01350672 |s2cid=122062924 |url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612771 }}. *{{citation|first1=Andreas|last1=Rosenschon|first2=V.|last2=Srinivas|title=Étale motivic cohomology and algebraic cycles|journal=Journal of the Institute of Mathematics of Jussieu|volume=15|issue=3|pages=511–537|year=2016|doi=10.1017/S1474748014000401|zbl=1346.19004|url=https://www.mathematik.uni-muenchen.de/~axr/Lchow.pdf|mr=3505657|s2cid=55560040 }} *{{citation |last=Totaro |first=Burt |author-link=:en:Burt Totaro |title=Torsion algebraic cycles and complex cobordism |journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] |volume=10 |issue=2 |pages=467–493 |year=1997 |jstor=2152859 |arxiv=alg-geom/9609016 |doi=10.1090/S0894-0347-97-00232-4 |s2cid=16965164 }}. *{{citation |last=Voisin |first=Claire |author-link=:en:Claire Voisin |year=2002 |title=A counterexample to the Hodge conjecture extended to Kähler varieties |journal=[[:en:International Mathematics Research Notices|International Mathematics Research Notices]] |volume=2002 |issue=20 |pages=1057–1075 |doi=10.1155/S1073792802111135|mr=1902630|s2cid=55572794 |doi-access= free}}. *{{citation |last=Weil |first=André |author-link=:en:André Weil |title=Abelian varieties and the Hodge ring |work=Collected papers |year=1977 |pages=421–429 |volume=III }} *{{citation |last=Zucker |first=Steven |author-link=:en:Steven Zucker |title=The Hodge conjecture for cubic fourfolds |journal=[[:en:Compositio Mathematica|Compositio Mathematica]] |volume=34 |issue=2|pages=199–209 |year=1977|url=http://www.numdam.org/item?id=CM_1977__34_2_199_0 | mr=0453741}} ==Δείτε επίσης== * [https://books.google.gr/books?id=3rtX9t-nnvwC&pg=PA195&dq=Noetherian+scheme&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwi_4vS_65yGAxVDBdsEHT_9AA0Q6AF6BAgFEAI#v=onepage&q=Noetherian%20scheme&f=false Algebraic Geometry] * [[Ζαν-Πιερ Σερ]] ==Εξωτερικοί σύνδεσμοι == *[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο *[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου] * {{cite web|first=Pierre|last=Deligne|author-link=:en:Pierre Deligne|url=https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf|title=The Hodge Conjecture|type=The Clay Math Institute official problem description}} * Popular lecture on Hodge Conjecture by [[:en:Dan Freed|Dan Freed]] (University of Texas) [http://claymath.msri.org/hodgeconjecture.mov (Real Video)] [http://www.ma.utexas.edu/users/dafr/HodgeConjecture/netscape_noframes.html (Slides)] * {{citation|first1=Indranil|last1=Biswas|author-link1=:en:Indranil Biswas| first2=Kapil Hari|last2= Paranjape|author-link2=:en: Kapil Hari Paranjape | arxiv=math/0007192 |title= The Hodge Conjecture for general Prym varieties| journal=Journal of Algebraic Geometry| volume=11|year=2002|issue=1|pages=33–39 |doi=10.1090/S1056-3911-01-00303-4|mr=1865912|s2cid=119139470 }} * [[:en:Burt Totaro|Burt Totaro]], [http://burttotaro.wordpress.com/2012/03/18/why-believe-the-hodge-conjecture/ Why believe the Hodge Conjecture?] * [[:en:Claire Voisin|Claire Voisin]], [http://www.math.polytechnique.fr/~voisin/Articlesweb/hodgeloci.pdf Hodge loci] ==Παραπομπές== {{reflist}} ==Σημειώσεις== {{refbegin}} *H. Matsumura, ''Commutative algebra'' 1980 {{ISBN|0-8053-7026-9}}. *{{citation|mr=0078974|last=Nagata|first= Masayoshi|title=On the chain problem of prime ideals|journal=Nagoya Math. J. |volume=10 |year=1956|pages= 51–64|doi=10.1017/S0027763000000076 |s2cid=122444738 |url=http://projecteuclid.org/euclid.nmj/1118799769|doi-access=free}} *Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, [https://mathscinet.ams.org/mathscinet/relay-station?mr=0463157 MR 0463157] {{Authority control}} {{Portal bar|Μαθηματικά}} {{DEFAULTSORT:Εικασία του Χοτζ}} [[Κατηγορία:Αλγεβρική γεωμετρία]] [[Κατηγορία:Εικασίες]] [[Κατηγορία:Αλγεβρική τοπολογία]] [[Κατηγορία:Άλυτα προβλήματα στα μαθηματικά]] [[Κατηγορία:Μαθηματικά προβλήματα]]'
Ενοποιημένη διαφ αλλαγών που επέφερε η επεξεργασία (edit_diff)
'@@ -1,0 +1,179 @@ +[[File:Hodge conjecture.png|thumb|420x420px|Τα τοπολογικά χαρακτηριστικά ενός χώρου <math>X</math>, όπως μια τρύπα (που χαρακτηρίζεται από <math>A</math>), συνήθως ανιχνεύονται με τη χρήση της μοναδικής (συν)ομολογίας, όπου η παρουσία μιας μη μηδενικής κλάσης <math>[\alpha]\in H_\text{sing}^k(X)</math> δείχνει ότι ο χώρος <math>X</math> έχει μια (διάσταση <math>k</math>) τρύπα. Μια τέτοια κλάση αναπαρίσταται από μια (συν)αλυσίδα απλοτήτων, που απεικονίζεται με το κόκκινο πολύγωνο που είναι κατασκευασμένο από 1-απλότητες (ευθύγραμμα τμήματα) στα αριστερά. Αυτή η κλάση ανιχνεύει την τρύπα <math>A</math> κάνοντας κύκλο γύρω από αυτήν. Σε αυτή την περίπτωση, υπάρχει στην πραγματικότητα μια πολυωνυμική εξίσωση της οποίας το σύνολο μηδέν, που απεικονίζεται με πράσινο χρώμα στα δεξιά, ανιχνεύει επίσης την τρύπα κάνοντας βρόχο γύρω από αυτήν. Η '''εικασία Χοτζ''' γενικεύει αυτή τη δήλωση σε υψηλότερες διαστάσεις.]] + +Στα [[μαθηματικά]], η '''εικασία του Χοτζ''' είναι ένα σημαντικό άλυτο πρόβλημα της [[Αλγεβρική γεωμετρία|αλγεβρικής γεωμετρίας]] και της μιγαδικής γεωμετρίας, το οποίο σχετίζει την [[Αλγεβρική τοπολογία|αλγεβρική τοπολογία]] μιας μη-ιδιάζουσας μιγαδικής αλγεβρικής ποικιλίας με τις υποποικιλίες της. + +Με απλά λόγια, η εικασία Χοτζ ισχυρίζεται ότι οι βασικές τοπολογικές πληροφορίες, όπως ο αριθμός των οπών σε ορισμένους γεωμετρικούς χώρους, μιγαδικές [[Αλγεβρική ποικιλία|αλγεβρικές ποικιλίες]], μπορούν να κατανοηθούν μελετώντας τα πιθανά ωραία σχήματα που κάθονται μέσα σε αυτούς τους χώρους, τα οποία μοιάζουν με μηδενικά σύνολα πολυωνυμικών εξισώσεων. Τα τελευταία αντικείμενα μπορούν να μελετηθούν με τη χρήση της [[Άλγεβρα|άλγεβρας]] και του λογισμού των αναλυτικών συναρτήσεων, και αυτό επιτρέπει την έμμεση κατανόηση του ευρύτερου σχήματος και της δομής των συχνά υψηλότερων διαστάσεων χώρων που δεν μπορούν να απεικονιστούν εύκολα με άλλο τρόπο. + +Πιο συγκεκριμένα, η εικασία δηλώνει ότι ορισμένες κλάσεις συνομολογίας de Ραμ είναι αλγεβρικές, δηλαδή είναι αθροίσματα των δυϊκών του Πουανκαρέ των κλάσεων ομολογίας των υποδιαστολών. Διατυπώθηκε από τον Σκωτσέζο μαθηματικό Γουίλιαμ Βάλανς Ντάγκλας Χοτζ (William Vallance Douglas Hodge) ως αποτέλεσμα μιας εργασίας μεταξύ 1930 και 1940 για τον εμπλουτισμό της περιγραφής της συνομολογίας de Ραμ ώστε να συμπεριλάβει επιπλέον δομή που υπάρχει στην περίπτωση των σύνθετων αλγεβρικών ποικιλιών. Δεν έτυχε ιδιαίτερης προσοχής προτού ο Χοτζ την παρουσιάσει σε μια ομιλία κατά τη διάρκεια του Διεθνούς Συνεδρίου Μαθηματικών του 1950, που πραγματοποιήθηκε στο Κέιμπριτζ της Μασαχουσέτης. Η εικασία του Χοτζ είναι ένα από τα Προβλήματα του Βραβείου Χιλιετίας του Ινστιτούτου Μαθηματικών Κλέι, με βραβείο 1.000.000 δολαρίων ΗΠΑ για όποιον μπορέσει να αποδείξει ή να διαψεύσει την εικασία του Χοτζ. + +== Κίνητρα== +Κύριο άρθρο: Hodge για σύνθετες προβολικές ποικιλίες + +Έστω '''X''' μια συμπαγής μιγαδική πολλαπλότητα μιγαδικής διάστασης ''n''. Τότε η ''X'' είναι μια προσανατολισμένη ομαλή πολλαπλότητα πραγματικής διάστασης <math>2n</math>, οπότε οι ομάδες συνομολογίας της βρίσκονται σε βαθμούς μηδέν έως <math>2n</math>. Ας υποθέσουμε ότι η ''X'' είναι μια πολλαπλότητα Κέλερ, έτσι ώστε να υπάρχει μια αποσύνθεση στη συνομολογία της με μιγαδικούς συντελεστές + +:<math>H^n(X, \Complex) = \bigoplus_{p+q=n} H^{p,q}(X),</math> + +όπου <math>H^{p,q}(X)</math> είναι η υποομάδα των κλάσεων συνομολογίας που αντιπροσωπεύονται από αρμονικές μορφές τύπου <math>(p,q)</math>. Με άλλα λόγια, πρόκειται για τις κλάσεις συνομολογίας που αντιπροσωπεύονται από μορφές οι οποίες, σε μια ορισμένη επιλογή τοπικών συντεταγμένων <math>z_1, \ldots, z_n</math>, μπορούν να γραφούν υπό τη μορφή συναρτήσεων αρμονικού χρόνου + +:<math>dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}.</math> + +Εφόσον η ''X'' είναι μια συμπαγής προσανατολισμένη πολλαπλότητα, η ''X'' έχει μια θεμελιώδη τάξη, και έτσι η ''X'' μπορεί να ολοκληρωθεί. + +Έστω ''Z'' μια σύνθετη υποπολλαπλότητα της ''X'' διάστασης ''k'', και έστω <math>i\colon Z\to X</math> ο χάρτης ενσωμάτωσης. Επιλέγουμε μια διαφορική μορφή <math>\alpha</math> τύπου <math>(p,q)</math>. Μπορούμε να ολοκληρώσουμε την <math>\alpha</math> πάνω στο ''Z'' χρησιμοποιώντας τη συνάρτηση επαναφοράς <math>i^*</math>, + +:<math>\int_Z i^*\alpha.</math> + +Για να αξιολογήσετε αυτό το ολοκλήρωμα, επιλέγουμε ένα σημείο του ''Z'' και το ονομάζουμε <math>z=(z_1, \ldots, z_k)</math>. Η συμπερίληψη του ''Z'' στο ''X'' σημαίνει ότι μπορούμε να επιλέξουμε μια τοπική βάση στο ''X'' και να έχουμε <math>z_{k+1} = \cdots = z_n = 0</math> θεώρημα κατάταξης-μηδενισμού . Αν <math>p>k</math>, τότε το <math>\alpha</math> πρέπει να περιέχει κάποιο <math>dz_i</math> όπου το <math>z_i</math> έλκει το μηδέν στο ''Z''. Το ίδιο ισχύει και για το <math>d\bar z_j</math> αν <math>q > k</math>. Συνεπώς, το ολοκλήρωμα αυτό είναι μηδέν αν <math>(p,q) \ne (k,k)</math>. + +Η εικασία του Χοτζ θέτει (κατά προσέγγιση) το ακόλουθο ερώτημα: + +Ποιες κλάσεις συνομολογίας στην <math>H^{k,k}(X)</math> προέρχονται από σύνθετες υποδιαστολές ''Z''; + +== Δήλωση της εικασίας Χοτζ == +Έστω + +:<math>\operatorname{Hdg}^k(X) = H^{2k}(X, \Q) \cap H^{k,k}(X).</math> + +Η σύγχρονη δήλωση της εικασίας Χοτζ είναι η εξής + +::''''Εικασία Χοτζ.''' Έστω ''X'' μια μη-συνεχής μιγαδική προβολική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι ένας γραμμικός συνδυασμός με ορθολογικούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''Χ''. + +Μια μιγαδική προβολική πολλαπλότητα είναι μια μιγαδική πολλαπλότητα που μπορεί να ενσωματωθεί σε έναν μιγαδικό προβολικό χώρο. Δεδομένου ότι ο προβολικός χώρος φέρει μια μετρική Κέλερ (Kähler), τη μετρική Fubini-Study, μια τέτοια πολλαπλότητα είναι πάντα μια πολλαπλότητα Κέλερ. Σύμφωνα με το θεώρημα του Τσάου, μια μιγαδική προβολική πολλαπλότητα είναι επίσης μια ομαλή προβολική αλγεβρική ποικιλία, δηλαδή το σύνολο μηδέν μιας συλλογής ομογενών πολυωνύμων. + +=== Αναδιατύπωση σε όρους αλγεβρικών κύκλων === +Ένας άλλος τρόπος διατύπωσης της εικασίας Χοτζ περιλαμβάνει την ιδέα ενός αλγεβρικού κύκλου. Ένας ''[[κύκλος (αλγεβρική γεωμετρία)|αλγεβρικός κύκλος]]'' στο ''X'' είναι ένας τυπικός συνδυασμός υποπολλαπλών του ''X'', δηλαδή είναι κάτι της μορφής + +: <math>\sum_i c_iZ_i.</math> + +Οι συντελεστές λαμβάνονται συνήθως ως ακέραιοι ή ρητοί. Ορίζουμε την κλάση συνομολογίας ενός αλγεβρικού κύκλου ως το άθροισμα των κλάσεων συνομολογίας των συνιστωσών του. Αυτό είναι ένα παράδειγμα του χάρτη κλάσεων κύκλου της συνομολογίας de Rham, βλέπε συνομολογία Βἐιλ. Παραδείγματος χάριν, η κλάση συνομολογίας του παραπάνω κύκλου θα ήταν + +:<math>\sum_i c_i[Z_i].</math> + +Μια τέτοια κλάση συνομολογίας ονομάζεται ''αλγεβρική''. Με αυτόν τον συμβολισμό, η εικασία Χοτζ γίνεται + +::Έστω ''X'' μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι αλγεβρική. + +Η υπόθεση της εικασίας Χοτζ ότι η ''Χ'' είναι αλγεβρική (προβολική μιγαδική πολλαπλότητα) δεν μπορεί να αποδυναμωθεί. Το 1977, ο Στίβεν Ζάκερ έδειξε ότι είναι δυνατόν να κατασκευαστεί ένα αντιπαράδειγμα της εικασίας Χοτζ ως μιγαδικοί τόροι με αναλυτική ρητή συνομολογία τύπου <math>(p,p)</math>, η οποία δεν είναι προβολική αλγεβρική. (βλέπε παράρτημα Β του {{Harvtxt|Zucker|1977}}) + +== Γνωστές περιπτώσεις της εικασίας Χοτζ == + +=== Χαμηλή διάσταση και συνδιάσταση === +Το πρώτο αποτέλεσμα σχετικά με την εικασία Χοτζ οφείλεται στον {{Harvtxt|Lefschetz|1924}}. Στην πραγματικότητα, προϋπήρχε της εικασίας και παρείχε κάποια από τα κίνητρα του Χοτζ. + +::''''Θεώρημα''' (Θεώρημα Λέφσετζ στις (1,1)-κλάσεις) Οποιοδήποτε στοιχείο του <math>H^2(X,\Z)\cap H^{1,1}(X)</math> είναι η κλάση συνομολογίας ενός διαιρέτη στο <math>X</math>. Ειδικότερα, η εικασία Χοτζ είναι αληθής για την <math>H^2</math>. + +Μια πολύ γρήγορη απόδειξη μπορεί να δοθεί χρησιμοποιώντας την συνομολογία των δεσμών και την εκθετική ακριβή ακολουθία. (Η κλάση συνομολογίας ενός διαιρέτη αποδεικνύεται ίση με την πρώτη [[κλάση Τσερν]]). Η αρχική απόδειξη του Λέφσετζ προχώρησε με κανονικές συναρτήσεις κανονικές συναρτήσεις, οι οποίες εισήχθησαν από τον [[Ανρί Πουανκαρέ]]. Ωστόσο, το θεώρημα της εγκάρσιας μεταβλητότητας του Γκρίφιτς δείχνει ότι αυτή η προσέγγιση δεν μπορεί να αποδείξει την εικασία του Χοτζ για υποδιαστολές υψηλότερων κωδικοδιαστάσεων. + +Με το θεώρημα Χαρντ Λέφσετζ, μπορούμε να αποδείξουμε:<ref name="Shioda">{{cite conference |url=https://projecteuclid.org/proceedings/advanced-studies-in-pure-mathematics/algebraic-varieties-and-analytic-varieties/toc/10.2969/aspm/00110000 |title=What is known about the Hodge Conjecture? |last=Shioda |first=Tetsuji |date=July 13–24, 1981 |conference=Algebraic Varieties and Analytic Varieties |editor=S. Iitaka |volume=1 |book-title=Advanced Studies in Pure Mathematics |publisher=Mathematical Society of Japan |location=Tokyo, Japan |isbn=9784864970594 |doi=10.2969/aspm/00110000 |page=58}}</ref> + +::''''Θεώρημα.''' Αν για κάποιο <math>p < \frac{n}{2}</math> η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>p</math>, τότε η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>2n-p</math>. + +Ο συνδυασμός των δύο παραπάνω θεωρημάτων συνεπάγεται ότι η εικασία Χοτζ είναι αληθής για κλάσεις Χοτζ βαθμού <math>2n-2</math>. Αυτό αποδεικνύει την εικασία Χοτζ όταν η <math>X</math> έχει διάσταση το πολύ τρεις. + +Το θεώρημα Λεφσέτζ για τις (1,1)-κλάσεις συνεπάγεται επίσης ότι αν όλες οι κλάσεις Χοτζ παράγονται από τις κλάσεις Χοτζ των διαιρετών, τότε η εικασία Χοτζ είναι αληθής: + +::''''Επακόλουθο.''' Αν η άλγεβρα <math>\operatorname{Hdg}^*(X) = \bigoplus\nolimits_k \operatorname{Hdg}^k(X)</math> παράγεται από την <math>\operatorname{Hdg}^1(X)</math>, τότε η εικασία Χοτζ ισχύει για την <math>X</math>. + +=== Υπερεπιφάνειες === +Σύμφωνα με το ισχυρό και ασθενές θεώρημα Λεφσέτζ, το μόνο μη τετριμμένο μέρος της εικασίας Χοτζ για τις υπερεπιφάνειες είναι το μέρος του βαθμού ''m'' (δηλαδή η μεσαία συνομολογία) μιας 2''m''-διάστατης υπερεπιφάνειας <math>X \subset \mathbf P^{2m+1}</math>. Αν ο βαθμός ''d'' είναι 2, δηλαδή το ''X'' είναι τετράγωνο, η εικασία Χοτζ ισχύει για όλα τα ''m''. Για <math>m = 2</math>, δηλαδή για τετράπτυχα, η εικασία Χοτζ είναι γνωστή για <math>d \le 5</math>.<ref>James Lewis: ''A Survey of the Hodge Conjecture'', 1991, Example 7.21</ref> + +=== Αβελιανές ποικιλίες === +Για τις περισσότερες αβελιανές ποικιλίες, η άλγεβρα Hdg*(''X'') παράγεται σε πρώτο βαθμό, οπότε ισχύει η εικασία Χοτζ. Ειδικότερα, η εικασία Χοτζ ισχύει για αρκετά γενικές αβελιανές ποικιλίες, για προϊόντα ελλειπτικών καμπυλών και για απλές αβελιανές ποικιλίες πρώτης διάστασης.<ref>{{Cite journal|title = Cycles on abelian varieties|jstor = 2033404|journal = [[:en:Proceedings of the American Mathematical Society|Proceedings of the American Mathematical Society]]|year = 1958|pages = 88–98|volume = 9|issue = 1|doi = 10.2307/2033404|first = Arthur|last = Mattuck|author-link=:en:Arthur Mattuck|doi-access = free}}</ref><ref>{{Cite web|title = Algebraic cycles and poles of zeta functions|url = https://www.researchgate.net/publication/244452499|website = ResearchGate|access-date = 2015-10-23}}</ref><ref>{{Cite journal|title =Cycles on simple abelian varieties of prime dimension over number fields |journal = Mathematics of the USSR-Izvestiya|volume = 31|issue = 3|pages = 527–540|date = 1988-01-01|doi = 10.1070/im1988v031n03abeh001088 |first = Sergei G|last = Tankeev|bibcode = 1988IzMat..31..527T}}</ref> Ωστόσο, ο Μάμφορντ {{Harvtxt|Mumford|1969}} κατασκεύασε ένα παράδειγμα αβελιανής ποικιλίας όπου η Hdg<sup>2</sup>(''X'') δεν παράγεται από γινόμενα διαιρετικών κλάσεων. Ο Weil {{Harvtxt|Weil|1977}} γενίκευσε αυτό το παράδειγμα δείχνοντας ότι όποτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό με ένα φανταστικό τετραγωνικό πεδίο, τότε η Hdg<sup>2</sup>(''X'') δεν παράγεται από προϊόντα κλάσεων διαιρέτη. Οι Μούνεν & Ζαρίν {{Harvtxt|Moonen|Zarhin|1999}} απέδειξαν ότι σε διάσταση μικρότερη από 5, είτε η Hdg*(''X'') παράγεται σε πρώτο βαθμό, είτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό από ένα φανταστικό τετραγωνικό πεδίο. Στην τελευταία περίπτωση, η εικασία Χοτζ είναι γνωστή μόνο σε ειδικές περιπτώσεις. + +== Γενικεύσεις == + +=== Εικασία του ολοκληρωτικού Χοτζ === +Η αρχική εικασία του Χοτζ ήταν η εξής: + +::''''Εικασία του Ολοκληρωτικού Χοτζ.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι η κλάση συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}} + +Σήμερα είναι γνωστό ότι αυτό είναι ψευδές. Το πρώτο αντιπαράδειγμα κατασκευάστηκε από τους Ατίγια & Χίρζεμπρουχ {{Harvtxt|Atiyah|Hirzebruch|1961}}. Χρησιμοποιώντας την Κ-θεωρία, κατασκεύασαν ένα παράδειγμα μιας κλάσης συνομολογίας στρέψης -δηλαδή μια κλάση συνομολογίας {{mvar|''α''}} τέτοια ώστε {{math|''nα''&nbsp;{{=}}&nbsp;0}} για κάποιο θετικό ακέραιο {{mvar|''n''}}- η οποία δεν είναι η κλάση ενός αλγεβρικού κύκλου. Μια τέτοια κλάση είναι αναγκαστικά μια κλάση Χοτζ. {{{Harvtxt|Totaro|1997}} επανερμήνευσε το αποτέλεσμά τους στο πλαίσιο του συνομπορδισμού και βρήκε πολλά παραδείγματα τέτοιων κλάσεων. + +Η απλούστερη προσαρμογή της ολοκληρωτικής εικασίας Χοτζ είναι η εξής: + +::''''Εικασία του ολοκληρωτικού Χοτζ modulo στρέψης.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι το άθροισμα μιας κλάσης στρέψης και της κλάσης συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}} + +Ισοδύναμα, μετά τη διαίρεση της <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> με κλάσεις στρέψης, κάθε κλάση είναι η εικόνα της κλάσης συνομολογίας ενός ολοκληρωτικού αλγεβρικού κύκλου. Αυτό είναι επίσης ψευδές. Ο Κόλαρ {{Harvtxt|Kollár|1992}} βρήκε ένα παράδειγμα μιας κλάσης Χοτζ {{mvar|''α''}} η οποία δεν είναι αλγεβρική, αλλά έχει ένα ολοκληρωτικό πολλαπλάσιο που είναι αλγεβρικό. + +Οι Ρόζενσον και Σρίνιβας {{harvtxt|Rosenschon|Srinivas|2016}} έχουν δείξει ότι για να επιτύχουμε μια σωστή ολοκληρωτική εικασία Hodge, πρέπει να αντικαταστήσουμε τις ομάδες Τσάου, οι οποίες μπορούν επίσης να εκφραστούν ως ομάδες κινητικής συνομολογίας, με μια παραλλαγή γνωστή ως ''étale'' (ή ''Lichtenbaum'') ''κινητική συνομολογία''. Δείχνουν ότι η εικασία του ρητού Χοτζ είναι ισοδύναμη με την εικασία του ολοκληρωτικού Χοτζ για αυτή την τροποποιημένη κινητική συνομολογία. + +===Εικασία Χοτζ για τις ποικιλίες Κέλερ === +Μια φυσική γενίκευση της εικασίας Χοτζ θα ρωτούσε: + +::''''Εικασία Χοτζ για ποικιλίες Κέλερ, αφελής εκδοχή.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στην ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''X''. + +Αυτό είναι πολύ αισιόδοξο, διότι δεν υπάρχουν αρκετές υποποικιλίες για να λειτουργήσει αυτό. Ένα πιθανό υποκατάστατο είναι να θέσετε αντί γι' αυτό ένα από τα δύο ακόλουθα ερωτήματα: + +::''''Η εικασία Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της διανυσματικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των διανυσματικών δεσμίδων στη ''X''. +::''''Εικασία του Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της συνεκτικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των συνεκτικών δεσμών στη ''X''. + +Ο Βουαζέν {{Harvtxt|Voisin|2002}} απέδειξε ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δίνουν αυστηρά περισσότερες κλάσεις Χοτζ από τις κλάσεις Τσερν των διανυσματικών δεσμών και ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δεν επαρκούν για να δημιουργήσουν όλες τις κλάσεις Χοτζ. Συνεπώς, οι μόνες γνωστές διατυπώσεις της εικασίας Χοτζ για ποικιλίες Κέλερ είναι ψευδείς. + +=== Η γενικευμένη εικασία Χοτζ === +Ο Χοτζ διατύπωσε μια πρόσθετη, ισχυρότερη εικασία από την ολοκληρωτική εικασία Χοτζ. Λέμε ότι μια κλάση συνομολογίας στο ''X'' είναι ''συνεπίπεδου c'' (coniveau c) αν είναι η προωθητική μιας κλάσης συνομολογίας σε ένα ''c'' -συνδιαστατική υποποικιλία του ''X''. Οι κλάσεις συνομολογίας με συν-επίπεδο τουλάχιστον ''c'' φιλτράρουν τη συνομολογία της ''X'', και είναι εύκολο να δούμε ότι το ''c'' βήμα της διήθησης <math>N^cH^k(X, \mathbf{Z})</math> ικανοποιεί την ακόλουθη συνθήκη + +:<math>N^cH^k(X, \mathbf{Z}) \subseteq H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math> + +Η αρχική δήλωση του Χοτζ ήταν: + +::''''Γενικευμένη εικασία του Χοτζ, η εκδοχή του Χοτζ.''' <math>N^cH^k(X, \mathbf{Z}) = H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math> + +Ο Γκρότεντιεκ {{harvtxt|Grothendieck|1969}} παρατήρησε ότι αυτό δεν μπορεί να είναι αληθές, ακόμη και με ρητούς συντελεστές, επειδή η δεξιά πλευρά δεν είναι πάντα μια δομή Χοτζ. Η διορθωμένη μορφή της εικασίας Χοτζ είναι η εξής: + +::'''Γενικευμένη εικασία του Χοτζ.''' <math>N^cH^k(X, \mathbf{Q})</math> είναι η μεγαλύτερη υπο-δομή Χοτζ της <math>H^k(X, \mathbf{Z})</math> που περιέχεται στην <math>H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X). </math> +Αυτή η έκδοση είναι ανοικτή. + +==Αλγεβρικότητα των τόπων Χοτζ== +Η ισχυρότερη απόδειξη υπέρ της εικασίας Χοτζ είναι το αποτέλεσμα της αλγεβρικότητας των {{Harvtxt|Cattani|Deligne|Kaplan|1995}}. Ας υποθέσουμε ότι μεταβάλλουμε τη μιγαδική δομή του X πάνω σε μια απλά συνδεδεμένη βάση. Τότε η τοπολογική συνομολογία του X δεν αλλάζει, αλλά η αποσύνθεση Χοτζ μεταβάλλεται. Είναι γνωστό ότι αν η εικασία Χοτζ είναι αληθής, τότε ο τόπος όλων των σημείων της βάσης όπου η συνομολογία μιας ίνας είναι κλάση Χοτζ είναι στην πραγματικότητα ένα αλγεβρικό υποσύνολο, δηλαδή αποκόπτεται από πολυωνυμικές εξισώσεις. Οι Κατάνι, Ντελίν & Κάπλαν (1995) απέδειξαν ότι αυτό είναι πάντα αληθές, χωρίς να υποθέσουν την εικασία Χοτζ. + +==Δημοσιεύσεις == + +*{{citation |last1=Atiyah |first1=M. F. |author1-link=:en:Michael Atiyah |last2=Hirzebruch |first2=F. |author2-link=:en:Friedrich Hirzebruch |year=1961 |title=Analytic cycles on complex manifolds |journal=Topology |volume=1 |pages=25–45 |doi= 10.1016/0040-9383(62)90094-0|doi-access= }} Available from the [http://hirzebruch.mpim-bonn.mpg.de/151/1/29_Analytic%20cycles%20on%20complex%20manifolds.pdf Hirzebruch collection] (pdf). +*{{Citation | last1=Cattani | first1=Eduardo |author1-link=:en:Eduardo Cattani | last2=Deligne | first2=Pierre | author2-link=:en:Pierre Deligne | last3=Kaplan | first3=Aroldo |author3-link=:en:Aroldo Kaplan | title=On the locus of Hodge classes | mr=1273413 | year=1995 | journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] | volume=8 | issue=2 | pages=483–506 | doi=10.2307/2152824 | jstor=2152824 | arxiv=alg-geom/9402009 }}. +*{{citation|last=Grothendieck|first=A.|author-link=:en:Alexander Grothendieck|title=Hodge's general conjecture is false for trivial reasons|journal=[[:en:Topology (journal)|Topology]]|volume=8|year=1969|pages=299–303|doi=10.1016/0040-9383(69)90016-0|issue=3|doi-access=free}}. +*{{citation|last=Hodge|first=W. V. D.|author-link=:en:W. V. D. Hodge|title=The topological invariants of algebraic varieties|journal=Proceedings of the International Congress of Mathematicians|location=Cambridge, MA|year=1950|volume=1|pages=181–192}}. +*{{Citation |last=Kollár |first=János |author-link=:en:János Kollár |chapter=Trento examples |title=Classification of irregular varieties |page=134 |editor1-last=Ballico |editor1-first=E. |editor2-first=F. |editor2-last=Catanese |editor3-first=C. |editor3-last=Ciliberto |series=Lecture Notes in Math. |volume=1515 |publisher=Springer |year=1992 |isbn=978-3-540-55295-6 }}. +*{{Citation | last1=Lefschetz | first1=Solomon |author-link=:en:Solomon Lefschetz | title=L'Analysis situs et la géométrie algébrique | publisher=Gauthier-Villars | language=fr | series=Collection de Monographies publiée sous la Direction de M. Émile Borel | location=Paris | year=1924}} Reprinted in {{Citation | last1=Lefschetz | first1=Solomon | title=Selected papers | publisher=Chelsea Publishing Co. | location=New York | isbn=978-0-8284-0234-7 | mr=0299447 | year=1971}}. +*{{citation |last1=Moonen |first1=Ben J. J. |author1-link=:en:Ben Moonen |last2=Zarhin |first2=Yuri G. |author2-link=:en:Yuri Zarhin |year=1999 |title=Hodge classes on abelian varieties of low dimension |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=315 |issue=4 |pages=711–733 |doi=10.1007/s002080050333 |arxiv=math/9901113|mr=1731466 |s2cid=119180172 }}. +*{{citation |last=Mumford |first=David |author-link=:en:David Mumford |title=A Note of Shimura's paper "Discontinuous groups and abelian varieties" |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=181 |issue=4 |year=1969 |pages=345–351 |doi=10.1007/BF01350672 |s2cid=122062924 |url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612771 }}. +*{{citation|first1=Andreas|last1=Rosenschon|first2=V.|last2=Srinivas|title=Étale motivic cohomology and algebraic cycles|journal=Journal of the Institute of Mathematics of Jussieu|volume=15|issue=3|pages=511–537|year=2016|doi=10.1017/S1474748014000401|zbl=1346.19004|url=https://www.mathematik.uni-muenchen.de/~axr/Lchow.pdf|mr=3505657|s2cid=55560040 }} +*{{citation |last=Totaro |first=Burt |author-link=:en:Burt Totaro |title=Torsion algebraic cycles and complex cobordism |journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] |volume=10 |issue=2 |pages=467–493 |year=1997 |jstor=2152859 |arxiv=alg-geom/9609016 |doi=10.1090/S0894-0347-97-00232-4 |s2cid=16965164 }}. +*{{citation |last=Voisin |first=Claire |author-link=:en:Claire Voisin |year=2002 |title=A counterexample to the Hodge conjecture extended to Kähler varieties |journal=[[:en:International Mathematics Research Notices|International Mathematics Research Notices]] |volume=2002 |issue=20 |pages=1057–1075 |doi=10.1155/S1073792802111135|mr=1902630|s2cid=55572794 |doi-access= free}}. +*{{citation |last=Weil |first=André |author-link=:en:André Weil |title=Abelian varieties and the Hodge ring |work=Collected papers |year=1977 |pages=421–429 |volume=III }} +*{{citation |last=Zucker |first=Steven |author-link=:en:Steven Zucker |title=The Hodge conjecture for cubic fourfolds |journal=[[:en:Compositio Mathematica|Compositio Mathematica]] |volume=34 |issue=2|pages=199–209 |year=1977|url=http://www.numdam.org/item?id=CM_1977__34_2_199_0 | mr=0453741}} + +==Δείτε επίσης== + +* [https://books.google.gr/books?id=3rtX9t-nnvwC&pg=PA195&dq=Noetherian+scheme&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwi_4vS_65yGAxVDBdsEHT_9AA0Q6AF6BAgFEAI#v=onepage&q=Noetherian%20scheme&f=false Algebraic Geometry] +* [[Ζαν-Πιερ Σερ]] + +==Εξωτερικοί σύνδεσμοι == +*[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο +*[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου] +* {{cite web|first=Pierre|last=Deligne|author-link=:en:Pierre Deligne|url=https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf|title=The Hodge Conjecture|type=The Clay Math Institute official problem description}} +* Popular lecture on Hodge Conjecture by [[:en:Dan Freed|Dan Freed]] (University of Texas) [http://claymath.msri.org/hodgeconjecture.mov (Real Video)] [http://www.ma.utexas.edu/users/dafr/HodgeConjecture/netscape_noframes.html (Slides)] +* {{citation|first1=Indranil|last1=Biswas|author-link1=:en:Indranil Biswas| +first2=Kapil Hari|last2= Paranjape|author-link2=:en: Kapil Hari Paranjape | arxiv=math/0007192 |title= The Hodge Conjecture for general Prym varieties| +journal=Journal of Algebraic Geometry| volume=11|year=2002|issue=1|pages=33–39 +|doi=10.1090/S1056-3911-01-00303-4|mr=1865912|s2cid=119139470 }} +* [[:en:Burt Totaro|Burt Totaro]], [http://burttotaro.wordpress.com/2012/03/18/why-believe-the-hodge-conjecture/ Why believe the Hodge Conjecture?] +* [[:en:Claire Voisin|Claire Voisin]], [http://www.math.polytechnique.fr/~voisin/Articlesweb/hodgeloci.pdf Hodge loci] + +==Παραπομπές== +{{reflist}} + +==Σημειώσεις== +{{refbegin}} +*H. Matsumura, ''Commutative algebra'' 1980 {{ISBN|0-8053-7026-9}}. +*{{citation|mr=0078974|last=Nagata|first= Masayoshi|title=On the chain problem of prime ideals|journal=Nagoya Math. J. |volume=10 |year=1956|pages= 51–64|doi=10.1017/S0027763000000076 |s2cid=122444738 |url=http://projecteuclid.org/euclid.nmj/1118799769|doi-access=free}} +*Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, [https://mathscinet.ams.org/mathscinet/relay-station?mr=0463157 MR 0463157] + +{{Authority control}} +{{Portal bar|Μαθηματικά}} +{{DEFAULTSORT:Εικασία του Χοτζ}} + +[[Κατηγορία:Αλγεβρική γεωμετρία]] +[[Κατηγορία:Εικασίες]] +[[Κατηγορία:Αλγεβρική τοπολογία]] +[[Κατηγορία:Άλυτα προβλήματα στα μαθηματικά]] +[[Κατηγορία:Μαθηματικά προβλήματα]] '
Γραμμές που προστέθηκαν στην επεξεργασία (added_lines)
[ 0 => '[[File:Hodge conjecture.png|thumb|420x420px|Τα τοπολογικά χαρακτηριστικά ενός χώρου <math>X</math>, όπως μια τρύπα (που χαρακτηρίζεται από <math>A</math>), συνήθως ανιχνεύονται με τη χρήση της μοναδικής (συν)ομολογίας, όπου η παρουσία μιας μη μηδενικής κλάσης <math>[\alpha]\in H_\text{sing}^k(X)</math> δείχνει ότι ο χώρος <math>X</math> έχει μια (διάσταση <math>k</math>) τρύπα. Μια τέτοια κλάση αναπαρίσταται από μια (συν)αλυσίδα απλοτήτων, που απεικονίζεται με το κόκκινο πολύγωνο που είναι κατασκευασμένο από 1-απλότητες (ευθύγραμμα τμήματα) στα αριστερά. Αυτή η κλάση ανιχνεύει την τρύπα <math>A</math> κάνοντας κύκλο γύρω από αυτήν. Σε αυτή την περίπτωση, υπάρχει στην πραγματικότητα μια πολυωνυμική εξίσωση της οποίας το σύνολο μηδέν, που απεικονίζεται με πράσινο χρώμα στα δεξιά, ανιχνεύει επίσης την τρύπα κάνοντας βρόχο γύρω από αυτήν. Η '''εικασία Χοτζ''' γενικεύει αυτή τη δήλωση σε υψηλότερες διαστάσεις.]]', 1 => '', 2 => 'Στα [[μαθηματικά]], η '''εικασία του Χοτζ''' είναι ένα σημαντικό άλυτο πρόβλημα της [[Αλγεβρική γεωμετρία|αλγεβρικής γεωμετρίας]] και της μιγαδικής γεωμετρίας, το οποίο σχετίζει την [[Αλγεβρική τοπολογία|αλγεβρική τοπολογία]] μιας μη-ιδιάζουσας μιγαδικής αλγεβρικής ποικιλίας με τις υποποικιλίες της.', 3 => '', 4 => 'Με απλά λόγια, η εικασία Χοτζ ισχυρίζεται ότι οι βασικές τοπολογικές πληροφορίες, όπως ο αριθμός των οπών σε ορισμένους γεωμετρικούς χώρους, μιγαδικές [[Αλγεβρική ποικιλία|αλγεβρικές ποικιλίες]], μπορούν να κατανοηθούν μελετώντας τα πιθανά ωραία σχήματα που κάθονται μέσα σε αυτούς τους χώρους, τα οποία μοιάζουν με μηδενικά σύνολα πολυωνυμικών εξισώσεων. Τα τελευταία αντικείμενα μπορούν να μελετηθούν με τη χρήση της [[Άλγεβρα|άλγεβρας]] και του λογισμού των αναλυτικών συναρτήσεων, και αυτό επιτρέπει την έμμεση κατανόηση του ευρύτερου σχήματος και της δομής των συχνά υψηλότερων διαστάσεων χώρων που δεν μπορούν να απεικονιστούν εύκολα με άλλο τρόπο.', 5 => '', 6 => 'Πιο συγκεκριμένα, η εικασία δηλώνει ότι ορισμένες κλάσεις συνομολογίας de Ραμ είναι αλγεβρικές, δηλαδή είναι αθροίσματα των δυϊκών του Πουανκαρέ των κλάσεων ομολογίας των υποδιαστολών. Διατυπώθηκε από τον Σκωτσέζο μαθηματικό Γουίλιαμ Βάλανς Ντάγκλας Χοτζ (William Vallance Douglas Hodge) ως αποτέλεσμα μιας εργασίας μεταξύ 1930 και 1940 για τον εμπλουτισμό της περιγραφής της συνομολογίας de Ραμ ώστε να συμπεριλάβει επιπλέον δομή που υπάρχει στην περίπτωση των σύνθετων αλγεβρικών ποικιλιών. Δεν έτυχε ιδιαίτερης προσοχής προτού ο Χοτζ την παρουσιάσει σε μια ομιλία κατά τη διάρκεια του Διεθνούς Συνεδρίου Μαθηματικών του 1950, που πραγματοποιήθηκε στο Κέιμπριτζ της Μασαχουσέτης. Η εικασία του Χοτζ είναι ένα από τα Προβλήματα του Βραβείου Χιλιετίας του Ινστιτούτου Μαθηματικών Κλέι, με βραβείο 1.000.000 δολαρίων ΗΠΑ για όποιον μπορέσει να αποδείξει ή να διαψεύσει την εικασία του Χοτζ.', 7 => '', 8 => '== Κίνητρα==', 9 => 'Κύριο άρθρο: Hodge για σύνθετες προβολικές ποικιλίες', 10 => '', 11 => 'Έστω '''X''' μια συμπαγής μιγαδική πολλαπλότητα μιγαδικής διάστασης ''n''. Τότε η ''X'' είναι μια προσανατολισμένη ομαλή πολλαπλότητα πραγματικής διάστασης <math>2n</math>, οπότε οι ομάδες συνομολογίας της βρίσκονται σε βαθμούς μηδέν έως <math>2n</math>. Ας υποθέσουμε ότι η ''X'' είναι μια πολλαπλότητα Κέλερ, έτσι ώστε να υπάρχει μια αποσύνθεση στη συνομολογία της με μιγαδικούς συντελεστές ', 12 => '', 13 => ':<math>H^n(X, \Complex) = \bigoplus_{p+q=n} H^{p,q}(X),</math>', 14 => '', 15 => 'όπου <math>H^{p,q}(X)</math> είναι η υποομάδα των κλάσεων συνομολογίας που αντιπροσωπεύονται από αρμονικές μορφές τύπου <math>(p,q)</math>. Με άλλα λόγια, πρόκειται για τις κλάσεις συνομολογίας που αντιπροσωπεύονται από μορφές οι οποίες, σε μια ορισμένη επιλογή τοπικών συντεταγμένων <math>z_1, \ldots, z_n</math>, μπορούν να γραφούν υπό τη μορφή συναρτήσεων αρμονικού χρόνου', 16 => '', 17 => ':<math>dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}.</math>', 18 => '', 19 => 'Εφόσον η ''X'' είναι μια συμπαγής προσανατολισμένη πολλαπλότητα, η ''X'' έχει μια θεμελιώδη τάξη, και έτσι η ''X'' μπορεί να ολοκληρωθεί.', 20 => '', 21 => 'Έστω ''Z'' μια σύνθετη υποπολλαπλότητα της ''X'' διάστασης ''k'', και έστω <math>i\colon Z\to X</math> ο χάρτης ενσωμάτωσης. Επιλέγουμε μια διαφορική μορφή <math>\alpha</math> τύπου <math>(p,q)</math>. Μπορούμε να ολοκληρώσουμε την <math>\alpha</math> πάνω στο ''Z'' χρησιμοποιώντας τη συνάρτηση επαναφοράς <math>i^*</math>, ', 22 => '', 23 => ':<math>\int_Z i^*\alpha.</math>', 24 => '', 25 => 'Για να αξιολογήσετε αυτό το ολοκλήρωμα, επιλέγουμε ένα σημείο του ''Z'' και το ονομάζουμε <math>z=(z_1, \ldots, z_k)</math>. Η συμπερίληψη του ''Z'' στο ''X'' σημαίνει ότι μπορούμε να επιλέξουμε μια τοπική βάση στο ''X'' και να έχουμε <math>z_{k+1} = \cdots = z_n = 0</math> θεώρημα κατάταξης-μηδενισμού . Αν <math>p>k</math>, τότε το <math>\alpha</math> πρέπει να περιέχει κάποιο <math>dz_i</math> όπου το <math>z_i</math> έλκει το μηδέν στο ''Z''. Το ίδιο ισχύει και για το <math>d\bar z_j</math> αν <math>q > k</math>. Συνεπώς, το ολοκλήρωμα αυτό είναι μηδέν αν <math>(p,q) \ne (k,k)</math>.', 26 => '', 27 => 'Η εικασία του Χοτζ θέτει (κατά προσέγγιση) το ακόλουθο ερώτημα:', 28 => '', 29 => 'Ποιες κλάσεις συνομολογίας στην <math>H^{k,k}(X)</math> προέρχονται από σύνθετες υποδιαστολές ''Z'';', 30 => '', 31 => '== Δήλωση της εικασίας Χοτζ ==', 32 => 'Έστω', 33 => '', 34 => ':<math>\operatorname{Hdg}^k(X) = H^{2k}(X, \Q) \cap H^{k,k}(X).</math>', 35 => '', 36 => 'Η σύγχρονη δήλωση της εικασίας Χοτζ είναι η εξής', 37 => '', 38 => '::''''Εικασία Χοτζ.''' Έστω ''X'' μια μη-συνεχής μιγαδική προβολική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι ένας γραμμικός συνδυασμός με ορθολογικούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''Χ''.', 39 => '', 40 => 'Μια μιγαδική προβολική πολλαπλότητα είναι μια μιγαδική πολλαπλότητα που μπορεί να ενσωματωθεί σε έναν μιγαδικό προβολικό χώρο. Δεδομένου ότι ο προβολικός χώρος φέρει μια μετρική Κέλερ (Kähler), τη μετρική Fubini-Study, μια τέτοια πολλαπλότητα είναι πάντα μια πολλαπλότητα Κέλερ. Σύμφωνα με το θεώρημα του Τσάου, μια μιγαδική προβολική πολλαπλότητα είναι επίσης μια ομαλή προβολική αλγεβρική ποικιλία, δηλαδή το σύνολο μηδέν μιας συλλογής ομογενών πολυωνύμων.', 41 => '', 42 => '=== Αναδιατύπωση σε όρους αλγεβρικών κύκλων ===', 43 => 'Ένας άλλος τρόπος διατύπωσης της εικασίας Χοτζ περιλαμβάνει την ιδέα ενός αλγεβρικού κύκλου. Ένας ''[[κύκλος (αλγεβρική γεωμετρία)|αλγεβρικός κύκλος]]'' στο ''X'' είναι ένας τυπικός συνδυασμός υποπολλαπλών του ''X'', δηλαδή είναι κάτι της μορφής', 44 => '', 45 => ': <math>\sum_i c_iZ_i.</math>', 46 => '', 47 => 'Οι συντελεστές λαμβάνονται συνήθως ως ακέραιοι ή ρητοί. Ορίζουμε την κλάση συνομολογίας ενός αλγεβρικού κύκλου ως το άθροισμα των κλάσεων συνομολογίας των συνιστωσών του. Αυτό είναι ένα παράδειγμα του χάρτη κλάσεων κύκλου της συνομολογίας de Rham, βλέπε συνομολογία Βἐιλ. Παραδείγματος χάριν, η κλάση συνομολογίας του παραπάνω κύκλου θα ήταν', 48 => '', 49 => ':<math>\sum_i c_i[Z_i].</math>', 50 => '', 51 => 'Μια τέτοια κλάση συνομολογίας ονομάζεται ''αλγεβρική''. Με αυτόν τον συμβολισμό, η εικασία Χοτζ γίνεται', 52 => '', 53 => '::Έστω ''X'' μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση Χοτζ στην ''Χ'' είναι αλγεβρική.', 54 => '', 55 => 'Η υπόθεση της εικασίας Χοτζ ότι η ''Χ'' είναι αλγεβρική (προβολική μιγαδική πολλαπλότητα) δεν μπορεί να αποδυναμωθεί. Το 1977, ο Στίβεν Ζάκερ έδειξε ότι είναι δυνατόν να κατασκευαστεί ένα αντιπαράδειγμα της εικασίας Χοτζ ως μιγαδικοί τόροι με αναλυτική ρητή συνομολογία τύπου <math>(p,p)</math>, η οποία δεν είναι προβολική αλγεβρική. (βλέπε παράρτημα Β του {{Harvtxt|Zucker|1977}})', 56 => '', 57 => '== Γνωστές περιπτώσεις της εικασίας Χοτζ ==', 58 => '', 59 => '=== Χαμηλή διάσταση και συνδιάσταση ===', 60 => 'Το πρώτο αποτέλεσμα σχετικά με την εικασία Χοτζ οφείλεται στον {{Harvtxt|Lefschetz|1924}}. Στην πραγματικότητα, προϋπήρχε της εικασίας και παρείχε κάποια από τα κίνητρα του Χοτζ.', 61 => '', 62 => '::''''Θεώρημα''' (Θεώρημα Λέφσετζ στις (1,1)-κλάσεις) Οποιοδήποτε στοιχείο του <math>H^2(X,\Z)\cap H^{1,1}(X)</math> είναι η κλάση συνομολογίας ενός διαιρέτη στο <math>X</math>. Ειδικότερα, η εικασία Χοτζ είναι αληθής για την <math>H^2</math>.', 63 => '', 64 => 'Μια πολύ γρήγορη απόδειξη μπορεί να δοθεί χρησιμοποιώντας την συνομολογία των δεσμών και την εκθετική ακριβή ακολουθία. (Η κλάση συνομολογίας ενός διαιρέτη αποδεικνύεται ίση με την πρώτη [[κλάση Τσερν]]). Η αρχική απόδειξη του Λέφσετζ προχώρησε με κανονικές συναρτήσεις κανονικές συναρτήσεις, οι οποίες εισήχθησαν από τον [[Ανρί Πουανκαρέ]]. Ωστόσο, το θεώρημα της εγκάρσιας μεταβλητότητας του Γκρίφιτς δείχνει ότι αυτή η προσέγγιση δεν μπορεί να αποδείξει την εικασία του Χοτζ για υποδιαστολές υψηλότερων κωδικοδιαστάσεων.', 65 => '', 66 => 'Με το θεώρημα Χαρντ Λέφσετζ, μπορούμε να αποδείξουμε:<ref name="Shioda">{{cite conference |url=https://projecteuclid.org/proceedings/advanced-studies-in-pure-mathematics/algebraic-varieties-and-analytic-varieties/toc/10.2969/aspm/00110000 |title=What is known about the Hodge Conjecture? |last=Shioda |first=Tetsuji |date=July 13–24, 1981 |conference=Algebraic Varieties and Analytic Varieties |editor=S. Iitaka |volume=1 |book-title=Advanced Studies in Pure Mathematics |publisher=Mathematical Society of Japan |location=Tokyo, Japan |isbn=9784864970594 |doi=10.2969/aspm/00110000 |page=58}}</ref>', 67 => '', 68 => '::''''Θεώρημα.''' Αν για κάποιο <math>p < \frac{n}{2}</math> η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>p</math>, τότε η εικασία Χοτζ ισχύει για κλάσεις Χοτζ βαθμού <math>2n-p</math>.', 69 => '', 70 => 'Ο συνδυασμός των δύο παραπάνω θεωρημάτων συνεπάγεται ότι η εικασία Χοτζ είναι αληθής για κλάσεις Χοτζ βαθμού <math>2n-2</math>. Αυτό αποδεικνύει την εικασία Χοτζ όταν η <math>X</math> έχει διάσταση το πολύ τρεις.', 71 => '', 72 => 'Το θεώρημα Λεφσέτζ για τις (1,1)-κλάσεις συνεπάγεται επίσης ότι αν όλες οι κλάσεις Χοτζ παράγονται από τις κλάσεις Χοτζ των διαιρετών, τότε η εικασία Χοτζ είναι αληθής:', 73 => '', 74 => '::''''Επακόλουθο.''' Αν η άλγεβρα <math>\operatorname{Hdg}^*(X) = \bigoplus\nolimits_k \operatorname{Hdg}^k(X)</math> παράγεται από την <math>\operatorname{Hdg}^1(X)</math>, τότε η εικασία Χοτζ ισχύει για την <math>X</math>.', 75 => '', 76 => '=== Υπερεπιφάνειες ===', 77 => 'Σύμφωνα με το ισχυρό και ασθενές θεώρημα Λεφσέτζ, το μόνο μη τετριμμένο μέρος της εικασίας Χοτζ για τις υπερεπιφάνειες είναι το μέρος του βαθμού ''m'' (δηλαδή η μεσαία συνομολογία) μιας 2''m''-διάστατης υπερεπιφάνειας <math>X \subset \mathbf P^{2m+1}</math>. Αν ο βαθμός ''d'' είναι 2, δηλαδή το ''X'' είναι τετράγωνο, η εικασία Χοτζ ισχύει για όλα τα ''m''. Για <math>m = 2</math>, δηλαδή για τετράπτυχα, η εικασία Χοτζ είναι γνωστή για <math>d \le 5</math>.<ref>James Lewis: ''A Survey of the Hodge Conjecture'', 1991, Example 7.21</ref>', 78 => '', 79 => '=== Αβελιανές ποικιλίες ===', 80 => 'Για τις περισσότερες αβελιανές ποικιλίες, η άλγεβρα Hdg*(''X'') παράγεται σε πρώτο βαθμό, οπότε ισχύει η εικασία Χοτζ. Ειδικότερα, η εικασία Χοτζ ισχύει για αρκετά γενικές αβελιανές ποικιλίες, για προϊόντα ελλειπτικών καμπυλών και για απλές αβελιανές ποικιλίες πρώτης διάστασης.<ref>{{Cite journal|title = Cycles on abelian varieties|jstor = 2033404|journal = [[:en:Proceedings of the American Mathematical Society|Proceedings of the American Mathematical Society]]|year = 1958|pages = 88–98|volume = 9|issue = 1|doi = 10.2307/2033404|first = Arthur|last = Mattuck|author-link=:en:Arthur Mattuck|doi-access = free}}</ref><ref>{{Cite web|title = Algebraic cycles and poles of zeta functions|url = https://www.researchgate.net/publication/244452499|website = ResearchGate|access-date = 2015-10-23}}</ref><ref>{{Cite journal|title =Cycles on simple abelian varieties of prime dimension over number fields |journal = Mathematics of the USSR-Izvestiya|volume = 31|issue = 3|pages = 527–540|date = 1988-01-01|doi = 10.1070/im1988v031n03abeh001088 |first = Sergei G|last = Tankeev|bibcode = 1988IzMat..31..527T}}</ref> Ωστόσο, ο Μάμφορντ {{Harvtxt|Mumford|1969}} κατασκεύασε ένα παράδειγμα αβελιανής ποικιλίας όπου η Hdg<sup>2</sup>(''X'') δεν παράγεται από γινόμενα διαιρετικών κλάσεων. Ο Weil {{Harvtxt|Weil|1977}} γενίκευσε αυτό το παράδειγμα δείχνοντας ότι όποτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό με ένα φανταστικό τετραγωνικό πεδίο, τότε η Hdg<sup>2</sup>(''X'') δεν παράγεται από προϊόντα κλάσεων διαιρέτη. Οι Μούνεν & Ζαρίν {{Harvtxt|Moonen|Zarhin|1999}} απέδειξαν ότι σε διάσταση μικρότερη από 5, είτε η Hdg*(''X'') παράγεται σε πρώτο βαθμό, είτε η ποικιλία έχει μιγαδικό πολλαπλασιασμό από ένα φανταστικό τετραγωνικό πεδίο. Στην τελευταία περίπτωση, η εικασία Χοτζ είναι γνωστή μόνο σε ειδικές περιπτώσεις.', 81 => '', 82 => '== Γενικεύσεις ==', 83 => '', 84 => '=== Εικασία του ολοκληρωτικού Χοτζ ===', 85 => 'Η αρχική εικασία του Χοτζ ήταν η εξής:', 86 => '', 87 => '::''''Εικασία του Ολοκληρωτικού Χοτζ.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι η κλάση συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}}', 88 => '', 89 => 'Σήμερα είναι γνωστό ότι αυτό είναι ψευδές. Το πρώτο αντιπαράδειγμα κατασκευάστηκε από τους Ατίγια & Χίρζεμπρουχ {{Harvtxt|Atiyah|Hirzebruch|1961}}. Χρησιμοποιώντας την Κ-θεωρία, κατασκεύασαν ένα παράδειγμα μιας κλάσης συνομολογίας στρέψης -δηλαδή μια κλάση συνομολογίας {{mvar|''α''}} τέτοια ώστε {{math|''nα''&nbsp;{{=}}&nbsp;0}} για κάποιο θετικό ακέραιο {{mvar|''n''}}- η οποία δεν είναι η κλάση ενός αλγεβρικού κύκλου. Μια τέτοια κλάση είναι αναγκαστικά μια κλάση Χοτζ. {{{Harvtxt|Totaro|1997}} επανερμήνευσε το αποτέλεσμά τους στο πλαίσιο του συνομπορδισμού και βρήκε πολλά παραδείγματα τέτοιων κλάσεων.', 90 => '', 91 => 'Η απλούστερη προσαρμογή της ολοκληρωτικής εικασίας Χοτζ είναι η εξής:', 92 => '', 93 => '::''''Εικασία του ολοκληρωτικού Χοτζ modulo στρέψης.''' Έστω {{mvar|''X''}} μια προβολική μιγαδική πολλαπλότητα. Τότε κάθε κλάση συνομολογίας στην <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> είναι το άθροισμα μιας κλάσης στρέψης και της κλάσης συνομολογίας ενός αλγεβρικού κύκλου με ολοκληρωτικούς συντελεστές στην {{mvar|''X''.}}', 94 => '', 95 => 'Ισοδύναμα, μετά τη διαίρεση της <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> με κλάσεις στρέψης, κάθε κλάση είναι η εικόνα της κλάσης συνομολογίας ενός ολοκληρωτικού αλγεβρικού κύκλου. Αυτό είναι επίσης ψευδές. Ο Κόλαρ {{Harvtxt|Kollár|1992}} βρήκε ένα παράδειγμα μιας κλάσης Χοτζ {{mvar|''α''}} η οποία δεν είναι αλγεβρική, αλλά έχει ένα ολοκληρωτικό πολλαπλάσιο που είναι αλγεβρικό.', 96 => '', 97 => 'Οι Ρόζενσον και Σρίνιβας {{harvtxt|Rosenschon|Srinivas|2016}} έχουν δείξει ότι για να επιτύχουμε μια σωστή ολοκληρωτική εικασία Hodge, πρέπει να αντικαταστήσουμε τις ομάδες Τσάου, οι οποίες μπορούν επίσης να εκφραστούν ως ομάδες κινητικής συνομολογίας, με μια παραλλαγή γνωστή ως ''étale'' (ή ''Lichtenbaum'') ''κινητική συνομολογία''. Δείχνουν ότι η εικασία του ρητού Χοτζ είναι ισοδύναμη με την εικασία του ολοκληρωτικού Χοτζ για αυτή την τροποποιημένη κινητική συνομολογία.', 98 => '', 99 => '===Εικασία Χοτζ για τις ποικιλίες Κέλερ ===', 100 => 'Μια φυσική γενίκευση της εικασίας Χοτζ θα ρωτούσε:', 101 => '', 102 => '::''''Εικασία Χοτζ για ποικιλίες Κέλερ, αφελής εκδοχή.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στην ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων συνομολογίας των μιγαδικών υποποικιλιών της ''X''.', 103 => '', 104 => 'Αυτό είναι πολύ αισιόδοξο, διότι δεν υπάρχουν αρκετές υποποικιλίες για να λειτουργήσει αυτό. Ένα πιθανό υποκατάστατο είναι να θέσετε αντί γι' αυτό ένα από τα δύο ακόλουθα ερωτήματα:', 105 => '', 106 => '::''''Η εικασία Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της διανυσματικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των διανυσματικών δεσμίδων στη ''X''.', 107 => '::''''Εικασία του Χοτζ για τις ποικιλίες Κέλερ, εκδοχή της συνεκτικής δέσμης.''' Έστω ''X'' μια σύνθετη πολλαπλότητα Κέλερ. Τότε κάθε κλάση Χοτζ στη ''X'' είναι ένας γραμμικός συνδυασμός με ρητούς συντελεστές των κλάσεων Τσερν των συνεκτικών δεσμών στη ''X''.', 108 => '', 109 => 'Ο Βουαζέν {{Harvtxt|Voisin|2002}} απέδειξε ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δίνουν αυστηρά περισσότερες κλάσεις Χοτζ από τις κλάσεις Τσερν των διανυσματικών δεσμών και ότι οι κλάσεις Τσερν των συνεκτικών δεσμών δεν επαρκούν για να δημιουργήσουν όλες τις κλάσεις Χοτζ. Συνεπώς, οι μόνες γνωστές διατυπώσεις της εικασίας Χοτζ για ποικιλίες Κέλερ είναι ψευδείς.', 110 => '', 111 => '=== Η γενικευμένη εικασία Χοτζ ===', 112 => 'Ο Χοτζ διατύπωσε μια πρόσθετη, ισχυρότερη εικασία από την ολοκληρωτική εικασία Χοτζ. Λέμε ότι μια κλάση συνομολογίας στο ''X'' είναι ''συνεπίπεδου c'' (coniveau c) αν είναι η προωθητική μιας κλάσης συνομολογίας σε ένα ''c'' -συνδιαστατική υποποικιλία του ''X''. Οι κλάσεις συνομολογίας με συν-επίπεδο τουλάχιστον ''c'' φιλτράρουν τη συνομολογία της ''X'', και είναι εύκολο να δούμε ότι το ''c'' βήμα της διήθησης <math>N^cH^k(X, \mathbf{Z})</math> ικανοποιεί την ακόλουθη συνθήκη', 113 => '', 114 => ':<math>N^cH^k(X, \mathbf{Z}) \subseteq H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math>', 115 => '', 116 => 'Η αρχική δήλωση του Χοτζ ήταν:', 117 => '', 118 => '::''''Γενικευμένη εικασία του Χοτζ, η εκδοχή του Χοτζ.''' <math>N^cH^k(X, \mathbf{Z}) = H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math>', 119 => '', 120 => 'Ο Γκρότεντιεκ {{harvtxt|Grothendieck|1969}} παρατήρησε ότι αυτό δεν μπορεί να είναι αληθές, ακόμη και με ρητούς συντελεστές, επειδή η δεξιά πλευρά δεν είναι πάντα μια δομή Χοτζ. Η διορθωμένη μορφή της εικασίας Χοτζ είναι η εξής:', 121 => '', 122 => '::'''Γενικευμένη εικασία του Χοτζ.''' <math>N^cH^k(X, \mathbf{Q})</math> είναι η μεγαλύτερη υπο-δομή Χοτζ της <math>H^k(X, \mathbf{Z})</math> που περιέχεται στην <math>H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X). </math>', 123 => 'Αυτή η έκδοση είναι ανοικτή.', 124 => '', 125 => '==Αλγεβρικότητα των τόπων Χοτζ==', 126 => 'Η ισχυρότερη απόδειξη υπέρ της εικασίας Χοτζ είναι το αποτέλεσμα της αλγεβρικότητας των {{Harvtxt|Cattani|Deligne|Kaplan|1995}}. Ας υποθέσουμε ότι μεταβάλλουμε τη μιγαδική δομή του X πάνω σε μια απλά συνδεδεμένη βάση. Τότε η τοπολογική συνομολογία του X δεν αλλάζει, αλλά η αποσύνθεση Χοτζ μεταβάλλεται. Είναι γνωστό ότι αν η εικασία Χοτζ είναι αληθής, τότε ο τόπος όλων των σημείων της βάσης όπου η συνομολογία μιας ίνας είναι κλάση Χοτζ είναι στην πραγματικότητα ένα αλγεβρικό υποσύνολο, δηλαδή αποκόπτεται από πολυωνυμικές εξισώσεις. Οι Κατάνι, Ντελίν & Κάπλαν (1995) απέδειξαν ότι αυτό είναι πάντα αληθές, χωρίς να υποθέσουν την εικασία Χοτζ.', 127 => '', 128 => '==Δημοσιεύσεις ==', 129 => '', 130 => '*{{citation |last1=Atiyah |first1=M. F. |author1-link=:en:Michael Atiyah |last2=Hirzebruch |first2=F. |author2-link=:en:Friedrich Hirzebruch |year=1961 |title=Analytic cycles on complex manifolds |journal=Topology |volume=1 |pages=25–45 |doi= 10.1016/0040-9383(62)90094-0|doi-access= }} Available from the [http://hirzebruch.mpim-bonn.mpg.de/151/1/29_Analytic%20cycles%20on%20complex%20manifolds.pdf Hirzebruch collection] (pdf).', 131 => '*{{Citation | last1=Cattani | first1=Eduardo |author1-link=:en:Eduardo Cattani | last2=Deligne | first2=Pierre | author2-link=:en:Pierre Deligne | last3=Kaplan | first3=Aroldo |author3-link=:en:Aroldo Kaplan | title=On the locus of Hodge classes | mr=1273413 | year=1995 | journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] | volume=8 | issue=2 | pages=483–506 | doi=10.2307/2152824 | jstor=2152824 | arxiv=alg-geom/9402009 }}.', 132 => '*{{citation|last=Grothendieck|first=A.|author-link=:en:Alexander Grothendieck|title=Hodge's general conjecture is false for trivial reasons|journal=[[:en:Topology (journal)|Topology]]|volume=8|year=1969|pages=299–303|doi=10.1016/0040-9383(69)90016-0|issue=3|doi-access=free}}.', 133 => '*{{citation|last=Hodge|first=W. V. D.|author-link=:en:W. V. D. Hodge|title=The topological invariants of algebraic varieties|journal=Proceedings of the International Congress of Mathematicians|location=Cambridge, MA|year=1950|volume=1|pages=181–192}}.', 134 => '*{{Citation |last=Kollár |first=János |author-link=:en:János Kollár |chapter=Trento examples |title=Classification of irregular varieties |page=134 |editor1-last=Ballico |editor1-first=E. |editor2-first=F. |editor2-last=Catanese |editor3-first=C. |editor3-last=Ciliberto |series=Lecture Notes in Math. |volume=1515 |publisher=Springer |year=1992 |isbn=978-3-540-55295-6 }}.', 135 => '*{{Citation | last1=Lefschetz | first1=Solomon |author-link=:en:Solomon Lefschetz | title=L'Analysis situs et la géométrie algébrique | publisher=Gauthier-Villars | language=fr | series=Collection de Monographies publiée sous la Direction de M. Émile Borel | location=Paris | year=1924}} Reprinted in {{Citation | last1=Lefschetz | first1=Solomon | title=Selected papers | publisher=Chelsea Publishing Co. | location=New York | isbn=978-0-8284-0234-7 | mr=0299447 | year=1971}}.', 136 => '*{{citation |last1=Moonen |first1=Ben J. J. |author1-link=:en:Ben Moonen |last2=Zarhin |first2=Yuri G. |author2-link=:en:Yuri Zarhin |year=1999 |title=Hodge classes on abelian varieties of low dimension |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=315 |issue=4 |pages=711–733 |doi=10.1007/s002080050333 |arxiv=math/9901113|mr=1731466 |s2cid=119180172 }}.', 137 => '*{{citation |last=Mumford |first=David |author-link=:en:David Mumford |title=A Note of Shimura's paper "Discontinuous groups and abelian varieties" |journal=[[:en:Mathematische Annalen|Mathematische Annalen]] |volume=181 |issue=4 |year=1969 |pages=345–351 |doi=10.1007/BF01350672 |s2cid=122062924 |url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612771 }}.', 138 => '*{{citation|first1=Andreas|last1=Rosenschon|first2=V.|last2=Srinivas|title=Étale motivic cohomology and algebraic cycles|journal=Journal of the Institute of Mathematics of Jussieu|volume=15|issue=3|pages=511–537|year=2016|doi=10.1017/S1474748014000401|zbl=1346.19004|url=https://www.mathematik.uni-muenchen.de/~axr/Lchow.pdf|mr=3505657|s2cid=55560040 }}', 139 => '*{{citation |last=Totaro |first=Burt |author-link=:en:Burt Totaro |title=Torsion algebraic cycles and complex cobordism |journal=[[:en:Journal of the American Mathematical Society|Journal of the American Mathematical Society]] |volume=10 |issue=2 |pages=467–493 |year=1997 |jstor=2152859 |arxiv=alg-geom/9609016 |doi=10.1090/S0894-0347-97-00232-4 |s2cid=16965164 }}.', 140 => '*{{citation |last=Voisin |first=Claire |author-link=:en:Claire Voisin |year=2002 |title=A counterexample to the Hodge conjecture extended to Kähler varieties |journal=[[:en:International Mathematics Research Notices|International Mathematics Research Notices]] |volume=2002 |issue=20 |pages=1057–1075 |doi=10.1155/S1073792802111135|mr=1902630|s2cid=55572794 |doi-access= free}}.', 141 => '*{{citation |last=Weil |first=André |author-link=:en:André Weil |title=Abelian varieties and the Hodge ring |work=Collected papers |year=1977 |pages=421–429 |volume=III }}', 142 => '*{{citation |last=Zucker |first=Steven |author-link=:en:Steven Zucker |title=The Hodge conjecture for cubic fourfolds |journal=[[:en:Compositio Mathematica|Compositio Mathematica]] |volume=34 |issue=2|pages=199–209 |year=1977|url=http://www.numdam.org/item?id=CM_1977__34_2_199_0 | mr=0453741}}', 143 => '', 144 => '==Δείτε επίσης==', 145 => '', 146 => '* [https://books.google.gr/books?id=3rtX9t-nnvwC&pg=PA195&dq=Noetherian+scheme&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwi_4vS_65yGAxVDBdsEHT_9AA0Q6AF6BAgFEAI#v=onepage&q=Noetherian%20scheme&f=false Algebraic Geometry]', 147 => '* [[Ζαν-Πιερ Σερ]]', 148 => '', 149 => '==Εξωτερικοί σύνδεσμοι ==', 150 => '*[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο', 151 => '*[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου]', 152 => '* {{cite web|first=Pierre|last=Deligne|author-link=:en:Pierre Deligne|url=https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf|title=The Hodge Conjecture|type=The Clay Math Institute official problem description}}', 153 => '* Popular lecture on Hodge Conjecture by [[:en:Dan Freed|Dan Freed]] (University of Texas) [http://claymath.msri.org/hodgeconjecture.mov (Real Video)] [http://www.ma.utexas.edu/users/dafr/HodgeConjecture/netscape_noframes.html (Slides)]', 154 => '* {{citation|first1=Indranil|last1=Biswas|author-link1=:en:Indranil Biswas|', 155 => 'first2=Kapil Hari|last2= Paranjape|author-link2=:en: Kapil Hari Paranjape | arxiv=math/0007192 |title= The Hodge Conjecture for general Prym varieties|', 156 => 'journal=Journal of Algebraic Geometry| volume=11|year=2002|issue=1|pages=33–39', 157 => '|doi=10.1090/S1056-3911-01-00303-4|mr=1865912|s2cid=119139470 }}', 158 => '* [[:en:Burt Totaro|Burt Totaro]], [http://burttotaro.wordpress.com/2012/03/18/why-believe-the-hodge-conjecture/ Why believe the Hodge Conjecture?]', 159 => '* [[:en:Claire Voisin|Claire Voisin]], [http://www.math.polytechnique.fr/~voisin/Articlesweb/hodgeloci.pdf Hodge loci]', 160 => '', 161 => '==Παραπομπές==', 162 => '{{reflist}}', 163 => '', 164 => '==Σημειώσεις==', 165 => '{{refbegin}}', 166 => '*H. Matsumura, ''Commutative algebra'' 1980 {{ISBN|0-8053-7026-9}}.', 167 => '*{{citation|mr=0078974|last=Nagata|first= Masayoshi|title=On the chain problem of prime ideals|journal=Nagoya Math. J. |volume=10 |year=1956|pages= 51–64|doi=10.1017/S0027763000000076 |s2cid=122444738 |url=http://projecteuclid.org/euclid.nmj/1118799769|doi-access=free}}', 168 => '*Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, [https://mathscinet.ams.org/mathscinet/relay-station?mr=0463157 MR 0463157]', 169 => '', 170 => '{{Authority control}} ', 171 => '{{Portal bar|Μαθηματικά}}', 172 => '{{DEFAULTSORT:Εικασία του Χοτζ}}', 173 => '', 174 => '[[Κατηγορία:Αλγεβρική γεωμετρία]] ', 175 => '[[Κατηγορία:Εικασίες]] ', 176 => '[[Κατηγορία:Αλγεβρική τοπολογία]] ', 177 => '[[Κατηγορία:Άλυτα προβλήματα στα μαθηματικά]] ', 178 => '[[Κατηγορία:Μαθηματικά προβλήματα]]' ]
Γραμμές που αφαιρέθηκαν κατά την επεξεργασία (removed_lines)
[]
Ανεξάρτητα από το αν η αλλαγή έγινε διαμέσου ενός κόμβου εξόδου tor (tor_exit_node)
false
Χρονική σφραγίδα Unix της επεξεργασίας (timestamp)
'1716545132'
Database name of the wiki ($1) (wiki_name)
'elwiki'