Picard–Lefschetz theory explained

In mathematics, Picard–Lefschetz theory studies the topology of a complex manifold by looking at the critical points of a holomorphic function on the manifold. It was introduced by Émile Picard for complex surfaces in his book, and extended to higher dimensions by . It is a complex analog of Morse theory that studies the topology of a real manifold by looking at the critical points of a real function. extended Picard–Lefschetz theory to varieties over more general fields, and Deligne used this generalization in his proof of the Weil conjectures.

Picard–Lefschetz formula

The Picard–Lefschetz formula describes the monodromy at a critical point.

Suppose that f is a holomorphic map from an (k+1)-dimensional projective complex manifold to the projective line P¹. Also suppose that all critical points are non-degenerate and lie in different fibers, and have images x₁,...,x_n in P¹. Pick any other point x in P¹. The fundamental group π₁(P¹ – , x) is generated by loops w_i going around the points x_i, and to each point x_i there is a vanishing cycle in the homology H_k(Y_x) of the fiber at x. Note that this is the middle homology since the fibre has complex dimension k, hence real dimension 2k.The monodromy action of π₁(P¹ – , x) on H_k(Y_x) is described as follows by the Picard–Lefschetz formula. (The action of monodromy on other homology groups is trivial.) The monodromy action of a generator w_i of the fundamental group on

\gamma  ∈ Hk(Yx) is given byw _{i(\gamma)} = \gamma + ( -1 ) ^{(k+1)(k+2)/2} \langle \gamma,\delta _{i\rangle} \delta _{i}

where δ_i is the vanishing cycle of x_i. This formula appears implicitly for k = 2 (without the explicit coefficients of the vanishing cycles δ_i) in . gave the explicit formula in all dimensions.

Example

Consider the projective family of hyperelliptic curves of genus

g defined byy ^{2} = (x - t)(x - a _{1) … (x-a} _{k)} where t \in A ^{1} is the parameter and k =2 g +1 . Then, this family has double-point degenerations whenever t = a _{i} . Since the curve is a connected sum of g tori, the intersection form on H _{1} of a generic curve is the matrix\begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} ^{⊕} = \begin{bmatrix} 0 & 1 & 0 & 0 & … & 0 & 0 \\ 1 & 0 & 0 & 0 & … & 0 & 0 \\ 0 & 0 & 0 & 1 & … & 0 & 0 \\ 0 & 0 & 1 & 0 & … & 0 & 0 \\ \vdots & \vdots & \vdots & \vdots & … & \vdots & \vdots \\ 0 & 0 & 0 & 0 & … & 0 & 1 \\ 0 & 0 & 0 & 0 & … & 1 & 0 \end{bmatrix} we can easily compute the Picard-Lefschetz formula around a degeneration on A ^{1} _{t} . Suppose that \gamma, \delta are the 1 -cycles from the j -th torus. Then, the Picard-Lefschetz formula readsw _{j(\gamma)} = \gamma - \delta if the j -th torus contains the vanishing cycle. Otherwise it is the identity map.

See also

• Lefschetz pencil