Τροπική γεωμετρία

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




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

Η τροπική γεωμετρία είναι μια παραλλαγή της αλγεβρικής γεωμετρίας στην οποία οι πολυωνυμικές γραφικές παραστάσεις μοιάζουν με γραμμικά πλέγματα, και στην οποία οι αριθμοί ανήκουν στο τροπικό ημιδακτύλιο αντί για ένα πεδίο. 
Επειδή η κλασική και η τροπική γεωμετρία είναι στενά συνδεδεμένες, τα αποτελέσματα και οι μέθοδοι μπορούν να μετατραπούν μεταξύ τους. Οι αλγεβρικές ποικιλίες μπορούν να απεικονιστούν σε ένα τροπικό αντίστοιχο και, δεδομένου ότι αυτή η διαδικασία εξακολουθεί να διατηρεί κάποιες γεωμετρικές πληροφορίες σχετικά με την αρχική ποικιλία, μπορεί να χρησιμοποιηθεί για να βοηθήσει στην απόδειξη και τη γενίκευση κλασικών αποτελεσμάτων από την αλγεβρική γεωμετρία, όπως το θεώρημα Μπριλ-Νόετερ, χρησιμοποιώντας τα εργαλεία της τροπικής γεωμετρίας.

Ιστορία

Οι βασικές ιδέες της τροπικής ανάλυσης αναπτύχθηκαν ανεξάρτητα χρησιμοποιώντας τον ίδιο συμβολισμό από μαθηματικούς που εργάζονται σε διάφορους τομείςSee  and references therein.. Οι κεντρικές ιδέες της τροπικής γεωμετρίας εμφανίστηκαν με διαφορετικές μορφές σε διάφορα προηγούμενα έργα. Παραδείγματος χάριν, ο Βίκτορ Πάβλοβιτς Μάσλοφ εισήγαγε μια τροπική εκδοχή της διαδικασίας της ολοκλήρωσης. Παρατήρησε επίσης ότι ο μετασχηματισμός Legendre και οι λύσεις της εξίσωσης Χάμιλτον-Γιάκομπι είναι γραμμικές πράξεις με την τροπική έννοια. Ωστόσο, μόνο από τα τέλη της δεκαετίας του 1990 έχει γίνει προσπάθεια να παγιωθούν οι βασικοί ορισμοί της θεωρίας. Αυτό παρακινήθηκε από την εφαρμογή της στην απαριθμητική αλγεβρική γεωμετρία, με ιδέες από τον Μαξίμ Κόντσεβιτς και εργασίες του Γκριγκόρι Μιχάλκιν μεταξύ άλλων.

Το επίθετο τροπικός επινοήθηκε από Γάλλους μαθηματικούς προς τιμήν του ουγγρικής καταγωγής Βραζιλιάνου επιστήμονα υπολογιστών Imre Simon, ο οποίος έγραψε για το πεδίο. Ο Ζαν-Ερίκ Πιν αποδίδει την επινόηση στον Ντομινίκ Περρέν, ενώ ο ίδιος ο Σιμόν αποδίδει τη λέξη στον Κριστιάν Τσοφρούτ.

Bασικές αρχές
Η τροπική γεωμετρία βασίζεται στο τροπικό ημίδακτύλιο. Αυτό ορίζεται με δύο τρόπους, ανάλογα με τη σύμβαση max ή min.

Το min τροπικό ημίδακτύλιο είναι το ημίδακτύλιο , με τις πράξεις:




Οι πράξεις  και  αναφέρονται ως τροπική πρόσθεση και τροπικός πολλαπλασιασμός αντίστοιχα. Το στοιχείο ταυτότητας για την  είναι , και το στοιχείο ταυτότητας για την  είναι 0.

Αντίστοιχα, το μέγιστο τροπικό ημιδακτύλιο είναι το ημιδακτύλιο , με πράξεις:




Το στοιχείο ταυτότητας για το  είναι , και το στοιχείο ταυτότητας για το  είναι 0.

Αυτά τα ημιδακτύλια είναι ισόμορφα, υπό την άρνηση , και γενικά επιλέγεται ένα από αυτά και αναφέρεται απλά ως τροπικό ημίρρυθμο. Οι συμβάσεις διαφέρουν μεταξύ συγγραφέων και υποπεδίων: κάποιοι χρησιμοποιούν τη σύμβαση min, κάποιοι χρησιμοποιούν τη σύμβαση max.

Οι πράξεις του τροπικού ημιδακτύλιου διαμορφώνουν τον τρόπο με τον οποίο οι αποτιμήσεις συμπεριφέρονται κατά την πρόσθεση και τον πολλαπλασιασμό σε ένα πεδίο με αποτιμήσεις.

Μερικά κοινά πεδία με τιμές που συναντώνται στην τροπική γεωμετρία (με σύμβαση min) είναι:

  ή με την τετριμμένη αξιολόγηση,  for all .
  ή τις επεκτάσεις της με την p-adic αποτίμηση,  for a και b coprime to p.
 Το πεδίο των σειρών Λοράν  (ακέραιες δυνάμεις), ή το πεδίο των (μιγαδικών) σειρών Πουισιέ , με την αποτίμηση να επιστρέφει τον μικρότερο εκθέτη του t που εμφανίζεται στη σειρά.

Τροπικά πολυώνυμα
Ένα τροπικό πολυώνυμο είναι μια συνάρτηση  που μπορεί να εκφραστεί ως το τροπικό άθροισμα ενός πεπερασμένου αριθμού μονώνυμων όρων. Ένας μονώνυμος όρος είναι ένα τροπικό γινόμενο (ή/και πηλίκο) μιας σταθεράς και μεταβλητών από τα . Έτσι, ένα τροπικό πολυώνυμο F είναι το ελάχιστο μιας πεπερασμένης συλλογής αφινικών-γραμμικών συναρτήσεων στις οποίες οι μεταβλητές έχουν ακέραιους συντελεστές, οπότε είναι κοίλο, συνεχές και τμηματικά γραμμικό.

Δεδομένου ενός πολυωνύμου f στον πολυωνυμικό δακτύλιο Λοράν  όπου K είναι ένα πεδίο με τιμές, η τροπικοποίηση του f, 
που συμβολίζεται , είναι το τροπικό πολυώνυμο που προκύπτει από το f αντικαθιστώντας τον πολλαπλασιασμό και την πρόσθεση με τα τροπικά τους αντίστοιχα και κάθε σταθερά στο K με την αποτίμησή της.  Δηλαδή, αν 

τότε

Το σύνολο των σημείων όπου ένα τροπικό πολυώνυμο F είναι μη διαφορίσιμο ονομάζεται η σχετική τροπική υπερεπιφάνεια, που συμβολίζεται  (κατ' αναλογία με το σύνολο εξαφάνισης ενός πολυωνύμου).  Αντίστοιχα,  είναι το σύνολο των σημείων όπου το ελάχιστο μεταξύ των όρων του F επιτυγχάνεται τουλάχιστον δύο φορές.  Όταν  για ένα πολυώνυμο Λοράν f, αυτός ο τελευταίος χαρακτηρισμός του  αντικατοπτρίζει το γεγονός ότι σε οποιαδήποτε λύση του , η ελάχιστη αποτίμηση των όρων του f πρέπει να επιτευχθεί τουλάχιστον δύο φορές για να ακυρωθούν όλοι.

Τροπικές ποικιλίες
Ορισμοί

Για X μια αλγεβρική ποικιλία στον αλγεβρικό τόρο , η τροπική ποικιλία του X ή τροπικοποίηση του X, που συμβολίζεται Trop ( X ) , είναι ένα υποσύνολο του  που μπορεί να οριστεί με διάφορους τρόπους. Η ισοδυναμία αυτών των ορισμών αναφέρεται ως το Θεμελιώδες Θεώρημα της Τροπικής Γεωμετρίας.

 Τομή τροπικών υπερεπιφανειών 

Έστω  το ιδανικό των πολυωνύμων Λωράν που εξαφανίζονται στο X στο .  Ορίζουµε 

Όταν η X είναι μια υπερεπιφάνεια, το εξαφανιζόμενο ιδεώδες της  είναι ένα κύριο ιδεώδες που παράγεται από ένα πολυώνυμο Λωράν f, και η τροπική ποικιλία  είναι ακριβώς η τροπική υπερεπιφάνεια .

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

 Αρχικό ιδεώδες 

Επιλέγοντας ένα διάνυσμα  στο  ορίζεται ένας χάρτης από τους μονώνυμους όρους του  στο  στέλνοντας τον όρο m στο .  Για ένα πολυώνυμο Laurent , ορίζουμε την αρχική μορφή του f ως το άθροισμα των όρων  του f για τους οποίους το  είναι ελάχιστο.  Για το ιδεώδες , ορίζουμε το αρχικό ιδεώδες του ως προς το  ως εξής

Στη συνέχεια, ορίζουμε

Δεδομένου ότι χρησιμοποιούμε τον δακτύλιο Λοράν, αυτό είναι το ίδιο με το σύνολο των διανυσμάτων βάρους για τα οποία το  δεν περιέχει ένα μονώνυμο.

Όταν το K έχει τετριμμένη αποτίμηση, το  είναι ακριβώς το αρχικό ιδεώδες του 
 σε σχέση με τη μονώνυμη τάξη που δίνεται από ένα διάνυσμα βάρους 
.  Προκύπτει ότι η  είναι υποεπαρχία της ανεμιστήρα Γκρόμπνερ της .

Εικόνα του χάρτη αξιολόγησης 
Ας υποθέσουμε ότι X είναι μια ποικιλία πάνω από ένα πεδίο K με αποτίμηση v της οποίας η εικόνα είναι πυκνή στο  ( παραδείγματος χάριν ένα πεδίο σειρών του Πουισό).  Ενεργώντας συντεταγμένα, το v ορίζει έναν χάρτη από τον αλγεβρικό τόρο  στο .  Τότε ορίζουμε

όπου η γραμμή υποδεικνύει το κλείσιμο στην Ευκλείδεια τοπολογία.  Αν η αποτίμηση του K δεν είναι πυκνή στο , τότε ο παραπάνω ορισμός μπορεί να προσαρμοστεί επεκτείνοντας τα κλιμάκια σε μεγαλύτερο πεδίο που έχει πυκνή αποτίμηση.

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

Αν X είναι μια ποικιλία πάνω στο , το  μπορεί να θεωρηθεί ως το οριακό αντικείμενο της αμοιβάδας  καθώς η βάση t του λογαριθμικού χάρτη πηγαίνει στο άπειρο.

Πολυεδρικό σύμπλεγμα

Ο ακόλουθος χαρακτηρισμός περιγράφει τις τροπικές ποικιλίες εγγενώς χωρίς αναφορά στις αλγεβρικές ποικιλίες και την τροπικοποίηση.

Ένα σύνολο V στον  είναι μια μη αναγώγιμη τροπική ποικιλία αν είναι η υποστήριξη ενός σταθμισμένου πολυεδρικού συμπλέγματος καθαρής διάστασης d που ικανοποιεί τη συνθήκη μηδενικής τάσης και είναι συνδεδεμένο στην κωδικοδιάσταση ένα. Όταν το d είναι ένα, η συνθήκη μηδενικής τάσης σημαίνει ότι γύρω από κάθε κορυφή, το σταθμισμένο άθροισμα των κατευθύνσεων εξόδου των ακμών ισούται με μηδέν. Για υψηλότερη διάσταση, τα αθροίσματα λαμβάνονται αντ' αυτού γύρω από κάθε κελί διάστασης   μετά από πηλίκο του affine span του κελιού. Η ιδιότητα ότι το V είναι συνδεδεμένο στην συνδιάσταση ένα σημαίνει ότι για οποιαδήποτε δύο σημεία που βρίσκονται σε κελιά διάστασης d, υπάρχει ένα μονοπάτι που τα συνδέει και δεν περνάει από κανένα κελί διάστασης μικρότερης από .

Τροπικές καμπύλες

Η μελέτη των τροπικών καμπυλών (τροπικές ποικιλίες διάστασης ένα) είναι ιδιαίτερα ανεπτυγμένη και συνδέεται στενά με τη θεωρία γραφημάτων. Παραδείγματος χάριν, η θεωρία των διαιρετών των τροπικών καμπυλών σχετίζεται με τα παιγνίδια chip-firing σε γραφήματα που σχετίζονται με τις τροπικές καμπύλες[13].

Πολλά κλασικά θεωρήματα της αλγεβρικής γεωμετρίας έχουν αντίστοιχα στην τροπική γεωμετρία, όπως: 
 Θεώρημα εξαγώνου του Πάππου  .
 Θεώρημα του Μπεζού. 
 Τύπος βαθμού-γένος.
 Θεώρημα Ρίμαν-Ροχ 
 Ομαδικός νόμος των κυβικών.

Ο Όλεγκ Βίρο χρησιμοποίησε τις τροπικές καμπύλες για να ταξινομήσει τις πραγματικές καμπύλες βαθμού 7 στο επίπεδο μέχρι την ισοτοπία.  Η μέθοδός του patchworking δίνει μια διαδικασία για την κατασκευή μιας πραγματικής καμπύλης μιας δεδομένης κλάσης ισοτοπίας από την τροπική καμπύλη της.

Εφαρμογές

Μια τροπική γραμμή εμφανίστηκε στο σχεδιασμό του Πολ Κλεμπέρερ για τις δημοπρασίες που χρησιμοποιήθηκαν από την Τράπεζα της Αγγλίας κατά τη διάρκεια της χρηματοπιστωτικής κρίσης το 2007.Ο Γιοσινόρι Σιοζάβα όρισε την υποτροπική άλγεβρα ως ημιπερίοδο max-times ή min-times (αντί για max-plus και min-plus). Διαπίστωσε ότι η ρικαρδιανή εμπορική θεωρία (διεθνές εμπόριο χωρίς εμπόριο εισροών) μπορεί να ερμηνευθεί ως υποτροπική κυρτή άλγεβρα This is a digest of Y. Shiozawa, "Subtropical Convex Geometry as the Ricardian Theory of International Trade" draft paper.  Η τροπική γεωμετρία έχει επίσης χρησιμοποιηθεί για την ανάλυση της πολυπλοκότητας των νευρωνικών δικτύων τροφοδότησης με ενεργοποίηση ReLU.

Επιπλέον, διάφορα προβλήματα βελτιστοποίησης που προκύπτουν από τον προγραμματισμό εργασιών, την ανάλυση τοποθεσίας, τα δίκτυα μεταφορών, τη λήψη αποφάσεων και τα δυναμικά συστήματα διακριτών γεγονότων μπορούν να διατυπωθούν και να επιλυθούν στο πλαίσιο της τροπικής γεωμετρίας. Ένα τροπικό αντίστοιχο του χάρτη Άμπελ-Γιάκομπι μπορεί να εφαρμοστεί σε ένα σχεδιασμό κρυστάλλων . Τα βάρη σε έναν σταθμισμένο μετατροπέα πεπερασμένων καταστάσεων απαιτείται συχνά να είναι ένα τροπικό ημίρριζο. Η τροπική γεωμετρία μπορεί να παρουσιάσει αυτο-οργανωμένη κρισιμότητα.

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

 Maslov, Victor (1986). "New superposition principle for optimization problems", Séminaire sur les Équations aux Dérivées Partielles 1985/6, Centre de Mathématiques de l’École Polytechnique, Palaiseau, exposé 24.
 Maslov, Victor (1987). "Méthodes Opératorielles".  Moscou, Mir, 707 p. (See Chapter 8, Théorie linéaire sur semi moduli, pp. 652–701).

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

 Tropical geometry and mirror symmetry

Δείτε επίσης
 Degenerate fibres and stable reduction of curves

Εξωτερικοί σύνδεσμοι  
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο

Παραπομπές



Κατηγορία:Αλγεβρική γεωμετρία