Εικασία Σάτο-Τέιτ

Στα μαθηματικά, η εικασία Σάτο-Τέιτ είναι μια στατιστική δήλωση σχετικά με την οικογένεια ελλειπτικών καμπυλών Ep που προκύπτει από μια ελλειπτική καμπύλη E πάνω από τους ρητούς αριθμούς με αναγωγή σε όλους σχεδόν τους πρώτους αριθμούς p. Ο Μίκιο Σάτο και ο Τζον Τέιτ έθεσαν ανεξάρτητα την εικασία γύρω στο 1960.

Αν το Np δηλώνει τον αριθμό των σημείων της ελλειπτικής καμπύλης Ep που ορίζεται πάνω στο πεπερασμένο σώμα με p στοιχεία, η εικασία δίνει μια απάντηση στην κατανομή του όρου δεύτερης τάξης για το Np. Σύμφωνα με το θεώρημα του Χάσε για τις ελλειπτικές καμπύλες,

ως , και το νόημα της εικασίας είναι να προβλεφθεί πώς μεταβάλλεται ο συμβολισμός big-O.

Η αρχική εικασία και η γενίκευσή της σε όλα τα εντελώς πραγματικά σώματα αποδείχθηκε από τους Λοράν Κλοζέλ, Μάικλ Χάρις, Νίκολας Σέπερντ-Μπάρον και Ρίτσαρντ Τέιλορ υπό ήπιες υποθέσεις το 2008 και ολοκληρώθηκε από τους Τόμας Μπάρνετ-Λαμπ, Ντέιβιντ Γκέραχτι, Χάρις και Τέιλορ το 2011. Αρκετές γενικεύσεις σε άλλες αλγεβρικές ποικιλίες και σώματα είναι ανοικτές.

Δήλωση

Έστω E μια ελλειπτική καμπύλη που ορίζεται πάνω στους ρητούς αριθμούς χωρίς μιγαδικό πολλαπλασιασμό. Για έναν πρώτο αριθμό p, ορίστεθp ως τη λύση της εξίσωσης 

Τότε, για κάθε δύο πραγματικούς αριθμούς  and  for which 

Λεπτομέρειες

Σύμφωνα με το θεώρημα του Χάσε για τις ελλειπτικές καμπύλες, ο λόγος

είναι μεταξύ -1 και 1. Έτσι, μπορεί να εκφραστεί ως cos θ για γωνία θ. Με γεωμετρικούς όρους υπάρχουν δύο ιδιοτιμές που αντιπροσωπεύουν το υπόλοιπο και με τον παρονομαστή ως δεδομένο είναι μιγαδικές συζυγείς και έχουν απόλυτη τιμή 1. Η εικασία Σάτο-Τέιτ, όταν το E δεν έχει μιγαδικό πολλαπλασιασμό,In the case of an elliptic curve with complex multiplication, the Hasse–Weil L-function is expressed in terms of a Hecke L-function (a result of Max Deuring). The known analytic results on these answer even more precise questions. δηλώνει ότι το μέτρο πιθανότητας του θ είναι ανάλογο προς

To normalise, put 2/π in front.

Αυτό οφείλεται στους Μίκιο Σάτο και Τζον Τέιτ (ανεξάρτητα, και γύρω στο 1960, δημοσιεύτηκε κάπως αργότερα).It is mentioned in J. Tate, Algebraic cycles and poles of zeta functions in the volume (O. F. G. Schilling, editor), Arithmetical Algebraic Geometry, pages 93–110 (1965).

Απόδειξη

Το 2008, οι Κλόζελ, Χάρις, Σέπερντ-Μπάρον και Τέιλορ δημοσίευσαν μια απόδειξη της εικασίας Σάτο-Τέιτ για ελλειπτικές καμπύλες πάνω σε εντελώς πραγματικά σώματα που ικανοποιούν μια συγκεκριμένη συνθήκη: να έχουν πολλαπλασιαστική αναγωγή σε κάποιο πρώτο αριθμό,That is, for some p where E has bad reduction (and at least for elliptic curves over the rational numbers there are some such p), the type in the singular fibre of the Néron model is multiplicative, rather than additive. In practice this is the typical case, so the condition can be thought of as mild. In more classical terms, the result applies where the j-invariant is not integral. σε μια σειρά τριών κοινών εργασιών.

Περαιτέρω αποτελέσματα εξαρτώνται από βελτιωμένες μορφές του τύπου ίχνους Άρθουρ-Σέλμπεργκ. Ο Χάρις έχει μια υπό όρους απόδειξη ενός αποτελέσματος για το γινόμενο δύο ελλειπτικών καμπυλών (όχι ισογενών) που προκύπτει από έναν τέτοιο υποθετικό τύπο ίχνους.See Carayol's Bourbaki seminar of 17 June 2007 for details. Το 2011, οι Μπαρνέτ-Λαμπ, Γκέραγκτι, Χάρις και Τέιλορ απέδειξαν μια γενικευμένη εκδοχή της εικασίας Σάτο-Τέιτ για μια αυθαίρετη μη-CM ολομορφική σπονδυλωτή μορφή βάρους μεγαλύτερου ή ίσου με δύο,βελτιώνοντας τα αποτελέσματα δυνητικής σπονδυλωτής μορφής προηγούμενων εργασιώνTheorem B of  Τα προηγούμενα ζητήματα που σχετίζονται με τον τύπο ίχνους λύθηκαν από τους Μάικλ Χάρις, και Σουγκ Γου Σιν.See p. 71 and Corollary 8.9 of 

Το 2015, ο Ρίτσαρντ Τέιλορ τιμήθηκε με το Βραβείο Διάνοιας στα Μαθηματικά για τα πολυάριθμα πρωτοποριακά αποτελέσματα στην εικασία Σάτο-Τέιτ.

Γενικεύσεις

Υπάρχουν γενικεύσεις, που αφορούν την κατανομή των στοιχείων Φρομπένιους στις ομάδες Γκαλουά που εμπλέκονται στις αναπαραστάσεις Γκαλουά στην εστιακή συνομολογία. Ειδικότερα, υπάρχει μια εικαστική θεωρία για καμπύλες γένους n > 1.

Σύμφωνα με το μοντέλο των τυχαίων πινάκων που αναπτύχθηκε από τους Νικ Κατζ και Πίτερ Σάρνακ, υπάρχει μια υποθετική αντιστοιχία μεταξύ των (μοναδιαίων) χαρακτηριστικών πολυωνύμων των στοιχείων Φρομπένιους και των κλάσεων συζυγίας στη συμπαγή ομάδα Λι USp2n) = Sp(n). Το μέτρο Χάαρ στην USp(2n) δίνει τότε την εικαζόμενη κατανομή και η κλασική περίπτωση είναι USp(2) = SU(2).

Προσαρμογές

Υπάρχουν επίσης πιο εκλεπτυσμένες δηλώσεις. Η εικασία Λανγκ-Τρόττερ (Lang-Trotter conjecture, 1976) των Σερζ Λανγκ και Χέιλ Τρόττερ δηλώνει τον ασυμπτωτικό αριθμό των πρώτων αριθμών p με δεδομένη τιμή του ap, το ίχνος του Φρομπένιους που εμφανίζεται στον τύπο. Για την τυπική περίπτωση (κανένας μιγαδικός πολλαπλασιασμός, ίχνος ≠ 0) ο τύπος τους δηλώνει ότι ο αριθμός των p μέχρι το X είναι ασυμπτωτικά 

με μια συγκεκριμένη σταθερά c. Ο Νιλ Κόμπλιτζ (1988) παρείχε λεπτομερείς εικασίες για την περίπτωση ενός πρώτου αριθμού q σημείων στο Ep, με κίνητρο την κρυπτογραφία ελλειπτικών καμπυλών.. Το 1999, οι Σαντάλ Νταβίντ και Φραντσέσκο Παπαλάρντι απέδειξαν μια μέση εκδοχή της εικασίας των Λανγκ-Τρότερ.

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών

 Δείτε επίσης 
 Θεωρία αριθμών
 Αλγεβρική θεωρία αριθμών
 Συζυγής μιγαδικός αριθμός
 Δεύτερη Εικασία Χάρντι-Λίτλγουντ
 Ελλειπτική καμπύλη
 e (μαθηματική σταθερά)
 Πυθαγόρεια τετράδα
 Άρτιοι και περιττοί αριθμοί
 Τετραγωνικός αριθμός
 Κρυπτογραφία ελλειπτικών καμπυλών
 Προβλήματα του Λαντάου
 Κύβος (άλγεβρα)
 Εικασία του Γκόλντμπαχ
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Υπόθεση H του Σίνζελ
 Κλάση συζυγίας
 Ευκλείδειος χώρος

 Βιβλιογραφία












 Παραπομπές 

Report on Barry Mazur giving context 
Michael Harris notes, with statement (PDF)
La Conjecture de Sato–Tate [d'après Clozel, Harris, Shepherd-Barron, Taylor], Bourbaki seminar June 2007 by Henri Carayol (PDF)
 Video introducing Elliptic curves and its relation to Sato-Tate conjecture, Imperial College London, 2014  (Last 15 minutes)
Danilov, L.V., "The Diophantine equation   'x3   -  y2 '  ' =  k  ' and Hall's conjecture", 'Math.  Notes Acad. Sci. USSR' 32(1982), 617-618.
Gebel, J., Pethö, A., and Zimmer, H.G.: "On Mordell's equation", 'Compositio Math.' 110(1998), 335-367.
I. Jiménez Calvo, J. Herranz and G. Sáez Moreno, "A new algorithm to search for small nonzero |'x3 - y2'| values", 'Math. Comp.' 78 (2009), pp. 2435-2444.
S. Aanderaa, L. Kristiansen and H. K. Ruud, "Search for good examples of Hall's conjecture", 'Math. Comp.' 87 (2018), 2903-2914.

 Πηγές 








Κατηγορία:Διοφαντικές εξισώσεις
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Θεωρία αριθμών
Κατηγορία:Εικασίες
Κατηγορία:Θεωρία σωμάτων
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά