Τυπικές εικασίες για αλγεβρικούς κύκλους
Στα μαθηματικά, οι τυπικές εικασίες για τους αλγεβρικούς κύκλους[1] είναι διάφορες εικασίες που περιγράφουν τη σχέση των αλγεβρικών κύκλων και των θεωριών συνομολογίας Βέιλ. Μια από τις αρχικές εφαρμογές αυτών των εικασιών, που προβλέφθηκε από τον Αλεξάντερ Γκροτέντιεκ, ήταν να αποδειχθεί ότι η κατασκευή του για τα καθαρά μοτίβα έδινε μια αβελιανή κατηγορία που είναι ημιαπλή. Επιπλέον, όπως επεσήμανε ο ίδιος, οι πρότυπες εικασίες συνεπάγονται επίσης το δυσκολότερο μέρος των εικασιών Βέιλ, δηλαδή την εικασία της "υπόθεσης Ρίμαν", η οποία παρέμεινε ανοιχτή στα τέλη της δεκαετίας του 1960 και αποδείχθηκε αργότερα από τον Πιερ Ντελίν- για λεπτομέρειες σχετικά με τη σχέση μεταξύ των εικασιών Βέιλ και των πρότυπων εικασιών, βλέπε Κλίμαν Πρότυπο:Harvtxt. Οι πρότυπες εικασίες παραμένουν ανοιχτά προβλήματα, έτσι ώστε η εφαρμογή τους να δίνει μόνο υπό όρους αποδείξεις αποτελεσμάτων. Σε αρκετές περιπτώσεις, συμπεριλαμβανομένης αυτής των εικασιών Βέιλ, έχουν βρεθεί άλλες μέθοδοι για την άνευ όρων απόδειξη τέτοιων αποτελεσμάτων.
Οι κλασικές διατυπώσεις των τυπικών εικασιών περιλαμβάνουν μια σταθερή θεωρία συνομολογίας Βέιλ Πρότυπο:Mvar. Όλες οι εικασίες ασχολούνται με "αλγεβρικές" κλάσεις συνομολογίας, που σημαίνει ότι ένας μορφισμός στη συνομολογία μιας ομαλής προβολικής ποικιλίας
που επάγεται από έναν αλγεβρικό κύκλο με ρητούς συντελεστές στο γινόμενο Πρότυπο:Math μέσω του χάρτη κλάσης κύκλου, ο οποίος αποτελεί μέρος της δομής μιας θεωρίας συνομολογίας Βέιλ.
Η εικασία Α είναι ισοδύναμη με την εικασία Β (βλέπε Γκροτέντιεκ Πρότυπο:Harvtxt, σελ. 196), και έτσι δεν αναφέρεται.
Τυπική εικασία τύπου Λέφτσετς (Εικασία Β)
Ένα από τα αξιώματα μιας θεωρίας Βέιλ είναι το λεγόμενο σκληρό θεώρημα (ή αξίωμα) Λέφτσετς :
Ξεκινώντας με ένα σταθερό τμήμα ομαλού υπερεπιπέδου
ο οποίος ορίζεται από την τομή των κλάσεων συνομολογίας με Πρότυπο:Mvar, παρέχει έναν ισομορφισμό
Τώρα, για Πρότυπο:Math ορίζουμε:
Η εικασία δηλώνει ότι ο τελεστής Λέφσετς (Πρότυπο:Math) επάγεται από έναν αλγεβρικό κύκλο.
Τυπική εικασία τύπου Κύνεθ (Εικασία C)
Εικάζεται ότι οι προβολείς
είναι αλγεβρικοί, δηλαδή επάγονται από έναν κύκλο Πρότυπο:Math με ρητούς συντελεστές. Αυτό συνεπάγεται ότι το κίνητρο κάθε ομαλής προβολικής ποικιλίας (και γενικότερα, κάθε καθαρό κίνητρο) αναλύεται ως εξής
Τα μοτίβα και μπορούν πάντα να διαχωριστούν ως άμεσα αθροίσματα. Η εικασία επομένως ισχύει αμέσως για τις καμπύλες. Αποδείχθηκε για επιφάνειες από τον Μουρ Πρότυπο:Harvtxt. Οι Κατζ & Μέσινγκ Πρότυπο:Harvtxt χρησιμοποίησαν τις εικασίες Βέιλ για να δείξουν την εικασία για αλγεβρικές ποικιλίες που ορίζονται πάνω σε πεπερασμένα πεδία, σε αυθαίρετη διάσταση.
Ο Σέρμενεφ Πρότυπο:Harvtxt απέδειξε την αποσύνθεση Κούνεθ για αβελιανές ποικιλίες Α. Ο Μουρ Πρότυπο:Harvtxt βελτίωσε αυτό το αποτέλεσμα παρουσιάζοντας μια συναρτησιακή αποσύνθεση Κύνεθ του κινήτρου Τσάου της Α έτσι ώστε ο n-πολλαπλασιασμός στην αβελιανή ποικιλία να δρα ως στο i-th άθροισμα . Οι ντε Κατάλντο & Μιγκλιορίνι Πρότυπο:Harvtxt απέδειξαν την αποσύνθεση Κύνεθ για το σχήμα Χίλμπερτ των σημείων σε μια λεία επιφάνεια.
Εικασία "D" (αριθμητική ισοδυναμία έναντι ομολογικής ισοδυναμίας)
Η εικασία D δηλώνει ότι η αριθμητική και η ομολογική ισοδυναμία ταυτίζονται. (Συνεπάγεται ειδικότερα ότι η τελευταία δεν εξαρτάται από την επιλογή της θεωρίας συνομολογίας Βέιλ). Αυτή η εικασία συνεπάγεται την εικασία Λέφσετς. Αν ισχύει η εικασία του προτύπου Χοτζ, τότε η εικασία Λέφσετς και η εικασία D είναι ισοδύναμες.
Η εικασία αυτή αποδείχθηκε από τον Λίμπερμαν για ποικιλίες διάστασης το πολύ 4 και για αβελιανές ποικιλίες[2].
Η πρότυπη εικασία του Χοτζ
Η πρότυπη εικασία Χοτζ βασίζεται στο θεώρημα του δείκτη Χοτζ. Δηλώνει τον οριστικό χαρακτήρα (θετική ή αρνητική, ανάλογα με τη διάσταση) του ζεύγους του τεμαχιακού γινομένου σε πρωταρχικές κλάσεις αλγεβρικής συνομολογίας. Αν ισχύει, τότε η εικασία Λέφτσετς συνεπάγεται την εικασία D. Σε χαρακτηριστική μηδέν η πρότυπη εικασία Χοτζ ισχύει, ως συνέπεια της θεωρίας Χοτζ. Σε θετική χαρακτηριστική η πρότυπη εικασία Χοτζ είναι γνωστή για επιφάνειες Γκρότεντιεκ (Πρότυπο:Harvtxt) και για αβελιανές ποικιλίες διάστασης 4 Ανκόνα (Πρότυπο:Harvtxt).
Η πρότυπη εικασία του Χοτζ δεν πρέπει να συγχέεται με την εικασία του Χοτζ η οποία δηλώνει ότι για λείες προβολικές ποικιλίες πάνω από Πρότυπο:Math, κάθε ορθολογική Πρότυπο:Math-τάξη είναι αλγεβρική. Η εικασία Χοτζ συνεπάγεται τις εικασίες Λέφσετς και Κύνεθ και την εικασία D για ποικιλίες πάνω από πεδία χαρακτηριστικών μηδέν. Η εικασία Tate συνεπάγεται τις εικασίες Λέφτσετς, Κύνεθ και την εικασία D για ℓ-adic συνομολογία πάνω από όλα τα πεδία.
Ιδιότητες μονιμότητας των τυπικών εικασιών
Για δύο αλγεβρικές ποικιλίες X και Y, ο Αραπούρα [3] θέσπισε τη συνθήκη ότι η Y είναι υποκινούμενη από την X. Η ακριβής συνθήκη είναι ότι το κίνητρο του Y είναι (στην κατηγορία των κινήτρων του Αντρέ) εκφραζόμενο με βάση το κίνητρο του X μέσω αθροισμάτων, αθροισμάτων και προϊόντων. Παραδείγματος χάριν, το Y έχει κίνητρο αν υπάρχει ένας υπερθετικός μορφισμός .[4] Εάν το Υ δεν συναντάται στην κατηγορία, είναι μη παρακινούμενο σε αυτό το πλαίσιο. Για ομαλές προβολικές σύνθετες αλγεβρικές ποικιλίες X και Y, τέτοιες ώστε η Y να είναι αιτιολογημένη από την X, οι συνήθεις εικασίες D (ομολογική ισοδυναμία ισούται με αριθμητική), B (Λέφτσετς), η εικασία Χοτζ και επίσης η γενικευμένη εικασία Χοτζ ισχύουν για την Y αν ισχύουν για όλες τις δυνάμεις της X.[5] Το γεγονός αυτό μπορεί να εφαρμοστεί για να δείξει, παραδείγματος χάριν, την εικασία Λέφσετς για το σχήμα Χίλμπερτ των σημείων σε μια αλγεβρική επιφάνεια.
Σχέση με άλλες εικασίες
Ο Μπίλινσον [6] έδειξε ότι η (υποθετική) ύπαρξη της λεγόμενης motivic τ-δομής στην τριγωνική κατηγορία των μοτίβων συνεπάγεται τις πρότυπες εικασίες B και C των Λέφσετς και Κύνεθ.
Δημοσιεύσεις
Δείτε επίσης
Εξωτερικοί σύνδεσμοι
- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- Progress on the standard conjectures on algebraic cycles
- Analogues Kähleriens de certaines conjectures de Weil. J.-P Serre (extrait d'une lettre a A. Weil, 9 Nov. 1959) scan
Παραπομπές
Σημειώσεις
- H. Matsumura, Commutative algebra 1980 Πρότυπο:ISBN.
- Πρότυπο:Citation
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157