Το μάθημα χωρίζεται σε τρία βασικά κεφάλαια. Το πρώτο αφορά στην μελέτη των p-αδικών σωμάτων,και την σχετική ανάλυση σε αυτά. Τονίζονται οι ομοιότητες αλλά και οι διαφορέ ςως προ το σώμα των πραγματικών αριθμών. Το δεύτερο κεφάλαιο αφορά στην μελέτη βασικών εννοιών της (γεωμετρικής) θεωρίας των αλγεβρικών καμπυλών. Ο κύριος στόχος είναι η διατύπωση και απόδειξη του θεωρήματος του Bezout. Το τρίτο κεφάλαιο αφορά στην μελέτη των ρητών σημείων μιας ρητής ή μιας ελλειπτικής καμπύλης. Γίνεται επίσης μικρή αναφορά σε καμπύλες γένους μεγαλύτερου του 1.
Εισαγωγή στο μάθημα. Ερωτήματα στα οποία θα δωθούν απαντήσεις. Επίληση διοφαντικών εξισώσεων στο Z και στο Q
Συνέχεια της προηγούμενης διάλεξης. Πιθαγόριες τριάδες. Η εικασία του Fermat, απόδειξη για Ν=4.
Γενικές παρατηρήσεις της επίλυσης διοφαντικών εξισώσεων και των δυσκολιών που παρουσιάζονται. Ταξινόμηση αυτών ως πρός το γένος τους. Ισοτιμίες modulo δυνάμεις πρώτων αριθμών.
Δομή του συνόλου των p-αδικών αριθμών, πράξεις και ιδιότητες αυτών. Το σώμα των p-αδικών αριθμών. Εκτιμήσεις αρχιμήδειες και μη-αρχιμήδειες.
Το σώμα των πραγματικών αριθμών R και τα p-αδικά σώματα Qp, p ∈ P, ομοιότητες και διαφορές. Το θεώρημα του Ostrowski και ο τύπος του γινομένου (The produce of formula). Το γενικό - τοπικό αξίωμα. Ιστορικά στοιχεία.
Ρίζες πολυωνύμων του Zp. Λήμμα του Hensel. Tο πολυώνυμο του Νεύτωνα. Tετραγωνικές μορφές. Θεώρημα των Hasse-Minkowski.
Επίλυση της εξίσωσης ax2+by2+cz2=0. Θεώρημα των Cheralley-Warning. Λήμμα του Hensel (ισχυρή μορφή).
Συνέχεια της μελέτης της επιλυσιμότητας εξισώσεων στα p-αδικά σώματα Qp. Παραδείγματα. Θεώρημα του Cassels
Παραδείγματα επίλυσης εξισώσεων στο Qp Στοιχεία θεωρίας τετραγωνικών μορφών. Παράσταση στοιχείων από τετραγωνική μορφή.
Εφαρμογές. Το θεώρημα του Legendre. Το θεώρημα του Gauss ("ΕΥΡΗΚΑ!"). Το θεώρημα του Lagrange. Στοιχεία αλγεβρικής γεωμετρίας. Αριθμητική στον Κ[Χ], Κ σώμα.
Η περιοχή Κ[Χ], ιδιότητες, ιδεώδη, αλγεβρικά σύνολα, ανάγωγα αλγεβρικά σύνολα, ριζικά ιδεώδη. Αντιστοιχία αλγεβρικών υποσυνόλων του Kn και ριζικών ιδεωδών του K[X1,X2,⋯,Xn]. "Think geometrically, prove algebraically! J. Silverman.
Αντιστοιχία ιδεωδών και αλγεβρικών συνόλων.
Αλγεβρικές καμπύλες και ιδιότητες αυτών.
Τομή αλγεβρικών καμπύλων. Παραδείγματα.
Παραδείγματα υπολογισμού της πολλαπλότητας τομής. Ορισμοί του προβολικού επιπέδου.
Πολλαπλότητα τομής προβολικών αλγεβρικών καμπύλων. Θεώρημα του Bezout. Εφαρμογές.
Το θεώρημα των 9 σημείων. Εφαρμογές.
Εξίσωση του Weistrass μιας κυβικής καμπύλης. Ρητά σημεία κυβικών καμπύλων. Γεωμετρική πρόσθεση σημείων. Διατύπωση του θεωρήματος Mordell.
Το σύνολο των ρητών σημείων, αποτελεί αβελιανή ομάδα. Απόδειξη των ιδιοτήτων, ιδιαίτερα του προσεταιρισμού.
Αναλυτική περιγραφή της πρόσθεσης σημείων. Παραδείγματα και μέθοδοι υπολογισμού. Αναφορά του θεωρήματος των Lutz - Nagell. Απόδειξη των σημαντικών μερών του θεωρήματος.
Παραδείγματα υπολογισμού της ομάδας των ρητών σημείων πεπερασμένης τάξης μιας ελλειπτικής καμπύλης. Το θεώρημα του Mordell, ιδέα της απόδειξης.
Παραδείγματα υπολογισμού του rank της ομάδας των ρητών σημείων μιας ελλειπτικής καμπύλης. Η μέθοδος του Tate. Ελλειπτικές καμπύλες με μεγάλο rank.
Ρητά σημεία ελλειπτικής καμπύλης ορισμένης σε πεπερασμένο σώμα. Local global principle. Το θεώρημα του Ηασσε (εικασία Riemann για ελλειπτικές καμπύλες). Εικασία των Birch - Swinnerton Dyer.