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

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

Τύπος Πικάρ-Λέφσετζ

Ας θεωρήσουμε ότι η f είναι ένας ολομορφικός χάρτης από μια (k+1)-διάστατη προβολική μιγαδική πολλαπλότητα στην προβολική γραμμή P¹. Ας υποθέσουμε επίσης ότι όλα τα κρίσιμα σημεία είναι μη εκφυλισμένα και βρίσκονται σε διαφορετικές ίνες και έχουν εικόνες x₁,...,x_n in P¹. Ας επιλέξουμε οποιοδήποτε άλλο σημείο x στην P¹. Η θεμελιώδης ομάδα π₁(P¹ – {x₁, ..., x_n}, x) παράγεται από βρόχους wi που πηγαίνουν γύρω από τα σημεία w_i, και σε κάθε σημείο x_i υπάρχει ένας εξαφανιζόμενος κύκλος στην ομολογία Hk(Yx) της ίνας στο  x. Να σημειωθεί ότι αυτή είναι η μέση ομολογία αφού η ίνα έχει μιγαδική διάσταση k, άρα πραγματική διάσταση 2k. Η μονοδρομική δράση της π₁(P¹ – {x₁, ..., x_n}, x) στην H_k(Y_x)περιγράφεται ως εξής από τον τύπο Πικάρ-Λέφσετζ. (Η δράση της μονοδρομίας σε άλλες ομολογικές ομάδες είναι τετριμμένη.) Η δράση της μονοδρομίας μιας γεννήτριας w_i της θεμελιώδους ομάδας επί της $\gamma$ ∈ H_k(Y_x) παρέχεται από τη σχέση

$w_i(\gamma )=\gamma +(-1{)}^{(k+1)(k+2)/2}⟨\gamma ,{\delta }_i⟩{\delta }_i$

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

Παράδειγμα

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

$y^2=(x-t)(x-a_1)\cdots (x-a_k)$

όπου $t\in {𝔸}^1$ είναι η παράμετρος και $k=2g+1$. Τότε, αυτή η οικογένεια έχει εκφυλισμούς διπλού σημείου όποτε $t=a_i$. Εφόσον η καμπύλη είναι ένα συνδεδεμένο άθροισμα από $g$ τόροι, η μορφή τομής στην $H_1$ μιας γενικής καμπύλης είναι ο πίνακας

${\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]}^{\oplus g}=\left[\begin{array}{ccccccc}0& 1& 0& 0& \cdots & 0& 0\\ 1& 0& 0& 0& \cdots & 0& 0\\ 0& 0& 0& 1& \cdots & 0& 0\\ 0& 0& 1& 0& \cdots & 0& 0\\ ⋮& ⋮& ⋮& ⋮& \cdots & ⋮& ⋮\\ 0& 0& 0& 0& \cdots & 0& 1\\ 0& 0& 0& 0& \cdots & 1& 0\end{array}\right]$

μπορούμε εύκολα να υπολογίσουμε τον τύπο Πικάρ-Λέφσετζ γύρω από έναν εκφυλισμό στο ${𝔸}_t^1$. Ας υποθέσουμε ότι $\gamma ,\delta$ είναι οι $1$-κύκλοι από τον $j$-οστό τόρο. Τότε, ο τύπος Πικάρ-Λέφσετζ έχει ως εξής

$w_j(\gamma )=\gamma -\delta$

αν ο $j$-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.
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:CitationΠρότυπο:Dead link
• Πρότυπο:Citation
• Πρότυπο:Citation