[Math] Picard group, Fundamental group, and deformation

ag.algebraic-geometryat.algebraic-topologypicard-group

One of the most elementary theorems about Picard group is probably $\mathrm{Pic} (X \times \mathbb{A}^n) \cong \mathrm{Pic} X$ and $\mathrm{Pic} (X \times \mathbb{P}^n) \cong \mathrm{Pic} X \times \mathbb{Z}$ (we probably need some restriction for $X$ but let's forget about it for now). This looks very similar to the formulas for $\pi_1$ (the fundamental group). So, my question is whether the who has any relationship and whether one can prove those formulas of the Picard groups using some kind of deformation (as in Topology).

Best Answer

If your question concerns - as mentioned in one of your comments - if there is any relationship between them, then a very beautiful connection exists in what is called geometric class field theory:

namely classical number theoretic class field theory concentrates around what is called Artin Reciprocity, which establishes an isomorphism for a number field $K$ and its ring of integers $\mathcal{O}_{K}$ an isomorphism $Pic(Spec(\mathcal{O}_{K})) \cong \pi_{1}^{ab}(Spec(\mathcal{O}_{K}))$ between the Picard group and the abelianized etale fundamental group (it is a geometric reformulation of classical Artin reciprocity). We can see it as a special case of one-dimensional class field theory and the question arises naturally if we can extend somehow this correspondence for higher dimensions (and also for other one dimensional schemes). There are different approaches (K-theory, cycle theory, geometric Langlands) but the main cornerstones are the following:

Bloch-Kaito-Saito Theorem: Let $X$ be a regular, connected, projective scheme over $Spec(\mathbb{Z})$, then there exists also a reciprocity map $Pic(X) \rightarrow \pi_{1}^{ab}(X)$ which is an isomorphism if in addition $X$ is flat over $Spec(\mathbb{Z})$. If $X$ factors through a finite field $k=\mathbb{F}_{q}$ then the reciprocity map is injective and with cokernel $\widehat{\mathbb{Z}}/\mathbb{Z}$.

Also for curves over finite fields there exists a correspondence, namely if $C$ is a smooth, projective, geometrically irreducible curve over a finite field $k$, then there exists a reciprocity homomorphism $Pic_{C}(k) \rightarrow \pi_{1}^{ab}(C)$ which induces an isomorphism on the degree zero parts $Pic_{C}^{0}(k) \rightarrow \pi_{1}^{ab}(C)^{0}$, where the degree maps are the obvious maps to $\mathbb{Z}$ and $\widehat{\mathbb{Z}}$ resp.

Also if $S \subset C$ is a finite set of points of a smooth, projective, geom. irreducible curve $C$ over a finite field, then there is a ramified version of the previous reciprocity, namely between $Pic_{C,S}$ (which is isomorphism classes of line bundles together with fixed isomorphisms of the stalks at every point in $S$) and the abelianization of the tame fundamental group of $U:=C \setminus S$.

Some reference: http://epub.uni-regensburg.de/13979/1/MP92.pdf

and then it gives many other references and so on...

Related Question