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

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

## Τύπος Πικάρ-Λέφσετζ
Ας θεωρήσουμε ότι η *f* είναι ένας ολομορφικός χάρτης από μια *(k+1)*-διάστατη προβολική μιγαδική πολλαπλότητα στην προβολική γραμμή **P**1. Ας υποθέσουμε επίσης ότι όλα τα κρίσιμα σημεία είναι μη εκφυλισμένα και βρίσκονται σε διαφορετικές ίνες και έχουν εικόνες *x*1,...,*x**n* in **P**1. Ας επιλέξουμε οποιοδήποτε άλλο σημείο *x* στην **P**1. Η θεμελιώδης ομάδα  π1(**P**1&nbsp;–&nbsp;{*x*1,&nbsp;...,&nbsp;*x**n*},&nbsp;*x*) παράγεται από βρόχους wi που πηγαίνουν γύρω από τα σημεία *w**i*, και σε κάθε σημείο *x**i* υπάρχει ένας εξαφανιζόμενος κύκλος στην ομολογία Hk(Yx) της ίνας στο &nbsp;*x*. Να σημειωθεί ότι αυτή είναι η μέση ομολογία αφού η ίνα έχει μιγαδική διάσταση *k*, άρα πραγματική διάσταση *2k*. Η μονοδρομική δράση της π1(**P**1&nbsp;–&nbsp;{*x*1,&nbsp;...,&nbsp;*x**n*},&nbsp;*x*) στην *H**k*(*Y**x*)περιγράφεται ως εξής από τον τύπο Πικάρ-Λέφσετζ. (Η δράση της μονοδρομίας σε άλλες ομολογικές ομάδες είναι τετριμμένη.) Η δράση της μονοδρομίας μιας γεννήτριας *w**i* της θεμελιώδους ομάδας επί της *<math>\gamma</math>*&nbsp;∈&nbsp;*H**k*(*Y**x*) παρέχεται από τη σχέση 

:w_i(\gamma) = \gamma+(-1)^{(k+1)(k+2)/2}\langle \gamma,\delta_i\rangle \delta_i

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

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

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

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

:
\begin{bmatrix}
0 & 1 \\
1 & 0
\end{bmatrix}^{\oplus g}
= \begin{bmatrix}
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\\
\vdots & \vdots & \vdots & \vdots & \cdots & \vdots & \vdots \\
0 & 0 & 0 & 0 & \cdots & 0 & 1 \\
0 & 0 & 0 & 0 & \cdots & 1 & 0
\end{bmatrix}


μπορούμε εύκολα να υπολογίσουμε τον τύπο Πικάρ-Λέφσετζ γύρω από έναν εκφυλισμό στο \mathbb{A}^1_t. Ας υποθέσουμε ότι \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.
* 
* 
*
*
*
*
*
*

## Παραπομπές

 

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