Θεωρία Πικάρ-Λέφσετζ

Στα μαθηματικά, η θεωρία Πικάρ-Λέφσετζ μελετά την τοπολογία μιας σύνθετης πολλαπλότητας εξετάζοντας τα κρίσιμα σημεία μιας ολόμορφης συνάρτησης στην πολλαπλότητα. Εισήχθη από τον Εμίλ Πικάρ για σύνθετες επιφάνειες στο βιβλίο του Πικάρ & Σιμάρ (1897) και επεκτάθηκε σε υψηλότερες διαστάσεις από τον Σόλομον Λέφσετζ (1924). Είναι ένα μιγαδικό ανάλογο της θεωρίας Μορς που μελετά την τοπολογία μιας πραγματικής πολλαπλότητας εξετάζοντας τα κρίσιμα σημεία μιας πραγματικής συνάρτησης. Οι Πιερ Ντελίν και Νίκολας Κατζ (1973) επέκτειναν τη θεωρία Πικάρ-Λέφσετζ σε ποικιλίες επί γενικότερων σωμάτων, και ο Ντελίν χρησιμοποίησε αυτή τη γενίκευση στην απόδειξη των εικασιών του Βέιλ.

Τύπος Πικάρ-Λέφσετζ
Ας θεωρήσουμε ότι η f είναι ένας ολομορφικός χάρτης από μια (k+1)-διάστατη προβολική μιγαδική πολλαπλότητα στην προβολική γραμμή P1. Ας υποθέσουμε επίσης ότι όλα τα κρίσιμα σημεία είναι μη εκφυλισμένα και βρίσκονται σε διαφορετικές ίνες και έχουν εικόνες x1,...,xn in P1. Ας επιλέξουμε οποιοδήποτε άλλο σημείο x στην P1. Η θεμελιώδης ομάδα  π1(P1 – {x1, ..., xn}, x) παράγεται από βρόχους wi που πηγαίνουν γύρω από τα σημεία wi, και σε κάθε σημείο xi υπάρχει ένας εξαφανιζόμενος κύκλος στην ομολογία Hk(Yx) της ίνας στο  x. Να σημειωθεί ότι αυτή είναι η μέση ομολογία αφού η ίνα έχει μιγαδική διάσταση k, άρα πραγματική διάσταση 2k. Η μονοδρομική δράση της π1(P1 – {x1, ..., xn}, x) στην Hk(Yx)περιγράφεται ως εξής από τον τύπο Πικάρ-Λέφσετζ. (Η δράση της μονοδρομίας σε άλλες ομολογικές ομάδες είναι τετριμμένη.) Η δράση της μονοδρομίας μιας γεννήτριας wi της θεμελιώδους ομάδας επί της  ∈ Hk(Yx) παρέχεται από τη σχέση 

όπου δi είναι ο μηδενιζόμενος κύκλος του xi. Ο τύπος αυτός εμφανίζεται σιωπηρά για k = 2 (χωρίς τους ρητούς συντελεστές των κύκλων φυγής δi) στους Πικάρ & Σιμάρ . Ο Λέφσετζ () έδωσε τον ρητό τύπο σε όλες τις διαστάσεις.

Παράδειγμα
Ας θεωρήσουμε την προβολική οικογένεια υπερελιπτικών καμπυλών γένους  που ορίζεται από

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

μπορούμε εύκολα να υπολογίσουμε τον τύπο Πικάρ-Λέφσετζ γύρω από έναν εκφυλισμό στο . Ας υποθέσουμε ότι  είναι οι -κύκλοι από τον -οστό τόρο. Τότε, ο τύπος Πικάρ-Λέφσετζ έχει ως εξής

αν ο -th τόρος περιέχει τον μηδενιζόμενο κύκλο. Διαφορετικά είναι ο χάρτης ταυτότητας.

Δείτε επίσης

 Field Arithmetic
 Θεώρημα δείκτη Ατίγια-Σίνγκερ
Τοπολογία
 Πιερ Ντελίν
 Ελλειπτική συνάρτηση Βάιερστρας
 Τοπολογία Ζαρίσκι

Εξωτερικοί σύνδεσμοι  

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Andreas Gathmann - Algebraic Geometry (SS 2014)
 Algebraic Geometry II: Cohomology of Schemes: With Examples and Exercises
 Noether-Lefschetz Theory and the Picard Group of Projective Surfaces
 O-Minimality and Diophantine Geometry
 Applied Picard-Lefschetz Theory
 p-Adic Automorphic Forms on Shimura Varieties

Δημοσιεύσεις 
Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32. doi:10.1007/bf02732123. MR 0238860.



Παραπομπές



Κατηγορία:Αλγεβρική γεωμετρία 
Κατηγορία:Μαθηματική ανάλυση 
Κατηγορία:Μιγαδική ανάλυση