Skip to main content
made some computations more explicit
Source Link
damiano
  • 5.1k
  • 23
  • 23

[EDIT: A previous version mistakenly argued that the fundamental group of X was responsible for torsion in the Picard group. I hope that this is correct now! Btw, there is probably a more direct way of arguing, but I cannot find one at the moment.]

The Picard group of X is torsion free if and only if the group ${\rm H_1}(X,\mathbf{Z})$ vanishes.

By the exponential sequence, the torsion in the Picard group of X comes from the torsion in ${\rm H^2}(X,\mathbf{Z})$ and from ${\rm H^1}(X,\mathbf{C})/{\rm H^1}(X,\mathbf{Z})$. Thus the vanishing of ${\rm H_1}(X,\mathbf{Z})$ is equivalent (by the Universal Coefficient Theorem) to the torsion-freeness of the Picard group of X.

ADDED (for explicitness) To make everything more explicit, assume that X is non-singular. The Picard group of X may contain torsion coming from two different sources. There might contain torsion in the connected component of the identity, and this is recorded by the torsion free part of the first homology group. Or there might be torsion in the component group of the Picard group, and this is recorded by the torsion in the first homology group. In terms of the exponential sequence, the first kind of torsion appears in the image of ${\rm H^1}(X,\mathbf{C})$, while the second one "appears" in torsion in ${\rm H^2}(X,\mathbf{Z})$. The Universal Coefficient Theorem implies that the "combination" of these two groups is the whole first integral homology group.

An example of torsion of the first kind is already present in the case of curves of genus at least one: the Jacobian of the curve contains plenty of torsion bundles. An example of torsion of the second kind is the case of Enriques surfaces: the canonical divisor on such a surface is a torsion line bundle that is non-trivial. If the characteristic of the ground-field is different from two, the corresponding cover of X is a K3 surface.

[EDIT: A previous version mistakenly argued that the fundamental group of X was responsible for torsion in the Picard group. I hope that this is correct now! Btw, there is probably a more direct way of arguing, but I cannot find one at the moment.]

The Picard group of X is torsion free if and only if the group ${\rm H_1}(X,\mathbf{Z})$ vanishes.

By the exponential sequence, the torsion in the Picard group of X comes from the torsion in ${\rm H^2}(X,\mathbf{Z})$ and from ${\rm H^1}(X,\mathbf{C})/{\rm H^1}(X,\mathbf{Z})$. Thus the vanishing of ${\rm H_1}(X,\mathbf{Z})$ is equivalent (by the Universal Coefficient Theorem) to the torsion-freeness of the Picard group of X.

[EDIT: A previous version mistakenly argued that the fundamental group of X was responsible for torsion in the Picard group. I hope that this is correct now! Btw, there is probably a more direct way of arguing, but I cannot find one at the moment.]

The Picard group of X is torsion free if and only if the group ${\rm H_1}(X,\mathbf{Z})$ vanishes.

By the exponential sequence, the torsion in the Picard group of X comes from the torsion in ${\rm H^2}(X,\mathbf{Z})$ and from ${\rm H^1}(X,\mathbf{C})/{\rm H^1}(X,\mathbf{Z})$. Thus the vanishing of ${\rm H_1}(X,\mathbf{Z})$ is equivalent (by the Universal Coefficient Theorem) to the torsion-freeness of the Picard group of X.

ADDED (for explicitness) To make everything more explicit, assume that X is non-singular. The Picard group of X may contain torsion coming from two different sources. There might contain torsion in the connected component of the identity, and this is recorded by the torsion free part of the first homology group. Or there might be torsion in the component group of the Picard group, and this is recorded by the torsion in the first homology group. In terms of the exponential sequence, the first kind of torsion appears in the image of ${\rm H^1}(X,\mathbf{C})$, while the second one "appears" in torsion in ${\rm H^2}(X,\mathbf{Z})$. The Universal Coefficient Theorem implies that the "combination" of these two groups is the whole first integral homology group.

An example of torsion of the first kind is already present in the case of curves of genus at least one: the Jacobian of the curve contains plenty of torsion bundles. An example of torsion of the second kind is the case of Enriques surfaces: the canonical divisor on such a surface is a torsion line bundle that is non-trivial. If the characteristic of the ground-field is different from two, the corresponding cover of X is a K3 surface.

corrected a mistake pointed out by Andrea
Source Link
damiano
  • 5.1k
  • 23
  • 23

The Picard[EDIT: A previous version mistakenly argued that the fundamental group is torsion free if and only if X is simply connected. Indeed, if L is a line bundle onof X representing awas responsible for torsion element in the Picard group. I hope that this is correct now! Btw, then there is an associated connected 'etale cover of Xprobably a more direct way of degreearguing, but I cannot find one at the ordermoment.]

The Picard group of LX inis torsion free if and only if the Picard group. (See e.g. Barth-Hulek-Peters-van de Ven, Compact Complex Surfaces, p. 54${\rm H_1}(X,\mathbf{Z})$ vanishes.) Conversely

By the exponential sequence, ifthe torsion in the Picard group of X is simply connected, thencomes from the fact thattorsion in ${\rm H^2}(X,\mathbf{Z})$ and from ${\rm H^1}(X,\mathbf{C})/{\rm H^1}(X,\mathbf{Z})$. Thus the Picard groupvanishing of ${\rm H_1}(X,\mathbf{Z})$ is equivalent (by the Universal Coefficient Theorem) to the torsion free follows from-freeness of the exponential sequencePicard group of X.

The Picard group is torsion free if and only if X is simply connected. Indeed, if L is a line bundle on X representing a torsion element in the Picard group, then there is an associated connected 'etale cover of X of degree the order of L in the Picard group. (See e.g. Barth-Hulek-Peters-van de Ven, Compact Complex Surfaces, p. 54.) Conversely, if X is simply connected, then the fact that the Picard group is torsion free follows from the exponential sequence.

[EDIT: A previous version mistakenly argued that the fundamental group of X was responsible for torsion in the Picard group. I hope that this is correct now! Btw, there is probably a more direct way of arguing, but I cannot find one at the moment.]

The Picard group of X is torsion free if and only if the group ${\rm H_1}(X,\mathbf{Z})$ vanishes.

By the exponential sequence, the torsion in the Picard group of X comes from the torsion in ${\rm H^2}(X,\mathbf{Z})$ and from ${\rm H^1}(X,\mathbf{C})/{\rm H^1}(X,\mathbf{Z})$. Thus the vanishing of ${\rm H_1}(X,\mathbf{Z})$ is equivalent (by the Universal Coefficient Theorem) to the torsion-freeness of the Picard group of X.

Source Link
damiano
  • 5.1k
  • 23
  • 23

The Picard group is torsion free if and only if X is simply connected. Indeed, if L is a line bundle on X representing a torsion element in the Picard group, then there is an associated connected 'etale cover of X of degree the order of L in the Picard group. (See e.g. Barth-Hulek-Peters-van de Ven, Compact Complex Surfaces, p. 54.) Conversely, if X is simply connected, then the fact that the Picard group is torsion free follows from the exponential sequence.