On the Local Picard Group

In his book SGA 2, A. Grothendieck developed Lefschetz theorems for the Picard group, the aim being to compare the Picard group of a projective variety with the one of a hyperplane section. An intermediate object is the Picard group of the formal completion along the hyperplane section. Here we proceed similarly but in the local complex analytic context. The use of the exponential sequence leads to analytic as well as topological depth conditions.