Théorie de Picard-Lefschetz

La formule de Picard-Lefschetz décrit la monodromie autour d'un point critique.

Soit f une fonction holomorphe définie sur une variété projective complexe de dimension (k+1) et à valeurs dans la droite projective P¹. On suppose que tous ses points critiques, d'images x₁,...,x_n dans P¹, sont non dégénérés et sont dans des fibres distinctes. Si x est un point de P¹ distinct des x_i, le groupe fondamental π₁(P¹ – {x₁, ..., x_n}, x) est engendré par des lacets w_i autour des points x_i, et pour chaque point x_i il y a un cycle évanouissant (en) dans le groupe d'homologie H_k(Y_x) de la fibre en x (il s'agit du groupe médian, puisque la fibre est de dimension complexe k, donc de dimension réelle 2k). L'action de la monodromie de π₁(P¹ – {x₁, ..., x_n}, x) sur H_k(Y_x) est alors décrite par la formule de Picard–Lefschetz (les actions sur les autres groupes d'homologie sont triviales) ; plus précisément, l'action d'un générateur w_i du groupe fondamental sur ${\displaystyle \gamma }$ ∈ H_k(Y_x) est donnée par

${\displaystyle w_{i}(\gamma )=\gamma +(-1)^{(k+1)(k+2)/2}\langle \gamma ,\delta _{i}\rangle \delta _{i}}$,

où δ_i est le cycle évanouissant correspondant à x_i[4].

Soit la famille projective de courbes hyperelliptiques de genre ${\displaystyle g}$ définies par

${\displaystyle y^{2}=(x-t)(x-a_{1})\cdots (x-a_{k})}$,

où ${\displaystyle t\in \mathbb {A} ^{1}}$ est le paramètre et ${\displaystyle k=2g+1}$. Ces courbes sont dégénérées pour ${\displaystyle t=a_{i}}$. La courbe étant (topologiquement) une somme connexe de ${\displaystyle g}$ tores, la forme d'intersection sur ${\displaystyle H_{1}}$ d'une courbe générique est donnée par la matrice

${\displaystyle {\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}}}$

la formule de Picard-Lefschetz formula autour d'une dégénérescence de ${\displaystyle \mathbb {A} _{t}^{1}}$ se calcule aisément : si ${\displaystyle \gamma ,\delta }$ sont les ${\displaystyle 1}$-cycles du ${\displaystyle j}$-ème tore, la formule devient ${\displaystyle w_{j}(\gamma )=\gamma -\delta }$ si le ${\displaystyle j}$-ème tore contient le cycle évanouissant ; sinon, ${\displaystyle w_{j}(\gamma )}$ est l'application identité.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Picard–Lefschetz theory » (voir la liste des auteurs).

• (en) Klaus Lamotke, « The topology of complex projective varieties after S. Lefschetz », Topology, vol. 20, n^o 1,‎ 1981, p. 15–51 (ISSN 0040-9383, DOI 10.1016/0040-9383(81)90013-6 , MR 592569)
• (en) Solomon Lefschetz, Applications of algebraic topology. Graphs and networks, the Picard-Lefschetz theory and Feynman integrals, vol. 16, Berlin, New York, Springer-Verlag, coll. « Applied Mathematical Sciences », 1975 (ISBN 978-0-387-90137-4, MR 0494126, lire en ligne)
• (en) Viktor Vassiliev, Applied Picard–Lefschetz theory, vol. 97, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys and Monographs », 2002 (ISBN 978-0-8218-2948-6, DOI 10.1090/surv/097, MR 1930577)