The Picard groups

Let be a commutative ring. From we can construct the category $R\text{-Mod}$ of -modules, which becomes a symmetric monoidal category when equipped with the tensor product of -modules. Now, whenever we have a monoidal operation (for example, the multiplication on a ring), it’s interesting to look at the invertible things with respect to that operation (for example, the group of units of a ring). This suggests the following definition.

Definition: The Picard group $\text{Pic}(R)$ of is the group of isomorphism classes of -modules which are invertible with respect to the tensor product.

By invertible we mean the following: for $L \in \text{Pic}(R)$ there exists some $L^{-1}$ such that the tensor product $L \otimes_R L^{-1}$ is isomorphic to the identity for the tensor product, namely .

In this post we’ll meander through some facts about this Picard group as well as several variants, all of which capture various notions of line bundle on various kinds of spaces (where the above definition captures the notion of a line bundle on the affine scheme $\text{Spec } R$ ).

Some propositions

Proposition: An invertible module is finitely presented and projective.

Proof. If is invertible, then the functor $L \otimes_R (-) : R\text{-Mod} \to R\text{-Mod}$ is an autoequivalence of categories with inverse $L^{-1} \otimes_R (-)$ , and consequently it preserves all categorical properties; in addition, it sends to , so it follows that any categorical property of is also a categorical property of . In particular, since being projective is a categorical property (namely the property that $\text{Hom}(L, -)$ is exact) and is projective, is also projective.

Less obviously, being finitely presented is also a categorical property: an -module is finitely presented iff $\text{Hom}(M, -)$ preserves filtered colimits (that is, is a compact object).

We can avoid appealing to this fact with the following more hands-on argument. By assumption, $L \otimes_R L^{-1} \cong R$ . Let

$\displaystyle \sum_{i=1}^n a_i \otimes b_i, a_i \in L, b_i \in L^{-1}$

be the element of $L \otimes_R L^{-1}$ representing $1 \in R$ . Then the map

$\displaystyle R^n \otimes_R L^{-n} \ni (r_1, \dots r_n) \otimes (\ell_1, \dots \ell_n) \mapsto \sum_{i, j} r_i a_i \otimes \ell_j \in L \otimes_R L^{-1} \cong R$

is surjective, where $L^{-n}$ denotes $(L^{-1})^n$ , as can be seen by setting $r_1 = \dots = r_n, \ell_i = b_i$ . Surjective morphisms of -modules are precisely the epimorphisms, and this is a categorical property, so tensoring with we get an epimorphism $R^{n^2} \to L$ , from which it follows that is finitely generated (by the elements a_i ), and for a projective module this is equivalent to being finitely presented. $\Box$

Proposition: Being invertible is preserved under extension of scalars. More precisely, if $f : R \to S$ is a morphism of commutative rings, then the extension of scalars functor

$\displaystyle f_{\ast} : R\text{-Mod} \ni M \mapsto M \otimes_R S \in S\text{-Mod}$

sends invertible modules to invertible modules, and in fact induces a homomorphism $\text{Pic}(R) \to \text{Pic}(S)$ .

Proof. It suffices to show that extension of scalars is a monoidal functor. More or less this boils down to having a natural isomorphism

$\displaystyle (M \otimes_R N) \otimes_R S \cong (M \otimes_R S) \otimes_S (S \otimes_R N)$ .

But by the associativity of the tensor product, the RHS is just

$M \otimes_R (S \otimes_S S) \otimes_R N$

and $S \otimes_S S \cong S$ , so the conclusion follows using the commutativity of the tensor product of modules over commutative rings. $\Box$

Theorem: The following conditions on an -module are equivalent.

is invertible.
is locally free of rank : that is, for every prime ideal of , the localization $L_P \cong L \otimes_R R_P$ is a free -module of rank .
The natural map $L \otimes_R L^{\ast} \to R$ is an isomorphism, where $L^{\ast} = \text{Hom}_R(L, R)$ is the dual module. In this case $L^{\ast} \cong L^{-1}$ .

Proof. 1) $\Rightarrow$ 2): Since localization is a special case of extension by scalars, L_P remains invertible, hence is in particular finitely presented projective. We can give an independent argument that this is true as follows: since localization is exact, it preserves finite presentations, so L_P is finitely presented. Since we have a tensor-hom adjunction

$\text{Hom}_{R_P}(L_P, M) \cong \text{Hom}_R(L, M)$

it follows that if $\text{Hom}_R(L, -)$ is exact then so is $\text{Hom}_{R_P}(L_P, -)$ , hence localization preserves projectivity.

But since R_P is a local ring, it follows that L_P must be free, and since rank is multiplicative under tensor product, L_P must be free of rank : that is, we must have $L_P \cong R_P$ .

2) $\Rightarrow$ 3): being an isomorphism is a local property, so the natural map $L \otimes_R L^{\ast} \to R$ is an isomorphism iff its localizations $L_P \otimes_{R_P} L^{\ast}_P \to R_P$ are. But if is locally free of rank then $L_P \cong L_P^{\ast} \cong R_P$ for all .

3) $\Rightarrow$ 1): by definition. $\Box$

The proposition shows in particular that invertibility is a local condition: is invertible iff L_P is invertible for all . We still haven’t given any interesting examples of invertible modules, though.

The ideal class group

Proposition: Let be an integral domain with fraction field . Then every invertible module over is isomorphic to a fractional ideal of .

Proof. is projective, hence in particular torsion-free, so the natural inclusion $L \to L \otimes_R K \cong K$ is an embedding. Since is finitely generated, we can multiply the image of this embedding by the product of the denominators of the images of its generators in , and we conclude that an -multiple of the image of lands in $R \subseteq K$ as desired. $\Box$

Proposition: Let be a Dedekind domain. Then a finitely generated module over is projective iff it is torsion-free.

Proof. Projectivity is a local property, so is projective iff M_P is projective for all . If is torsion-free, then so is M_P . Since the localizations R_P are all DVRs, hence in particular PIDs, it follows by the structure theorem for finitely generated modules over a PID that each M_P is free, hence in particular projective. $\Box$

Proposition: Let I, J be two fractional ideals of a Dedekind domain . Then $IJ \cong I \otimes_R J$ .

Proof. WLOG I, J are ideals. We want to show that the natural surjection

$I \otimes_R J \ni i \otimes j \mapsto ij \in IJ \subseteq R$

is an isomorphism. Since I, J are fractional ideals, they are torsion-free, hence projective, hence flat, so $I \otimes_R J$ embeds into $R \otimes_R R$ . Any element in the kernel of the natural surjection above must therefore also be in the kernel of the natural map $R \otimes_R R \to R$ , but this natural map is an isomorphism. $\Box$

Theorem: The Picard group $\text{Pic}(R)$ of a Dedekind domain is canonically isomorphic to its ideal class group $\text{Cl}(R)$ of invertible fractional ideals modulo principal invertible fractional ideals. In particular, $\text{Pic}(R)$ is nontrivial iff is not a UFD.

Proof. By the above proposition, any invertible fractional ideal gives rise to an invertible module, and moreover multiplication of fractional ideals corresponds to tensor product of ideals. The kernel of this map consists of invertible fractional ideals which are isomorphic to the trivial module, which is precisely the principal invertible fractional ideals; hence we get an injection from the ideal class group to $\text{Pic}(R)$ . We also showed that every invertible module comes from a fractional ideal, necessarily also invertible, so this injection is a surjection and hence a bijection. $\Box$

Example. Let $R = \mathbb{Z}[\sqrt{-5}]$ be the ring of integers of the number field $K = \mathbb{Q}(\sqrt{-5})$ . This is a Dedekind domain which is not a UFD because of the non-unique factorization

$\displaystyle 6 = (1 + \sqrt{-5})(1 - \sqrt{-5}) = 2 \cdot 3$ .

Here $1 + \sqrt{-5}, 1 - \sqrt{-5}, 2, 3$ have norms 6, 6, 4, 9 respectively. An examination of the norm form $N(a + b \sqrt{-5}) = a^2 + 5b^2$ reveals that $\mathbb{Z}[\sqrt{-5}]$ has no elements of norm or , hence all four of these elements are irreducible. The factorization above refines to unique prime ideal factorizations

$2 = (2, 1 + \sqrt{-5})(2, 1 - \sqrt{-5}) = P^2$

$3 = (3, 1 + \sqrt{-5})(3, 1 - \sqrt{-5}) = Q \overline{Q}$

$1 + \sqrt{-5} = (2, 1 + \sqrt{-5})(3, 1 + \sqrt{-5}) = PQ$

$1 - \sqrt{-5} = (2, 1 - \sqrt{-5})(3, 1 - \sqrt{-5}) = P \overline{Q}$

which gives $[P] = [Q] = [\overline{Q}]$ and [P]^2 = [1] in the ideal class group. Because has norm and there exist no elements of $\mathbb{Z}[\sqrt{-5}]$ of norm , we also know that $[P] \neq [1]$ in the ideal class group.

By the Minkowski bound, the ideal class group is generated by ideals of norm at most

$\displaystyle \sqrt{|-20|} \left( \frac{4}{\pi} \right) \frac{2!}{2^2} \approx 2.85$

and since is the only prime ideal lying over (2) , the ideal class group must be generated by . Hence we compute the Picard group to be

$\displaystyle \text{Pic}(\mathbb{Z}[\sqrt{-5}]) \cong \text{Cl}(\mathbb{Z}[\sqrt{-5}]) \cong \mathbb{Z}_2$ .

This example turns out to be minimal in the sense that $\mathbb{Q}(\sqrt{-5})$ is the number field of smallest discriminant (in absolute value) whose ideal class group is nontrivial.

Example. Let $R = \mathbb{C}[x, y]/f(x, y)$ be the ring of functions on a smooth affine curve

$C \cong \text{Spec } R \cong \{ (x, y) \in \mathbb{C}^2 \mid f(x, y) = 0 \}$

in the complex plane, and let $\overline{C} \subseteq \mathbb{CP}^2$ denote its projective closure in the complex projective plane. Then ideals of can be identified with effective divisors $D = \sum n_p p, n_p \ge 0$ on , and principal ideals of can be identified with effective principal divisors. Since meromorphic functions on are quotients of functions in , it follows that $\text{Pic}(R)$ is canonically isomorphic to the divisor class group $\text{Cl}(C)$ of , which is closely related to the divisor class group of $\overline{C}$ , which is in turn very well-understood and which we will turn to later. The relationship is the following: restriction of divisors gives a surjection

$\displaystyle \text{Cl}(\overline{C}) \to \text{Cl}(C)$

(a priori it only gives a surjection on divisors, but since and $\overline{C}$ have the same meromorphic functions, the natural map on divisors respects the quotient by principal divisors). The kernel of this map clearly contains the subgroup of $\text{Cl}(\overline{C})$ generated by the points in $\overline{C} \setminus C$ , and in fact it must be precisely this subgroup: if $\sum n_p p$ is a divisor in the kernel, then $\sum_{p \not \in C} n_p p$ is the divisor of some function on (that is, some element of ), but extends to a meromorphic function on $\overline{C}$ and hence has a principal divisor whose restriction to is precisely $\sum_{p \not \in C} n_p p$ . If there are points in $\overline{C} \setminus C$ , then we have an exact sequence

$\displaystyle \mathbb{Z}^k \to \text{Cl}(\overline{C}) \to \text{Cl}(C) \to 0$ .

As we’ll see later, if $\overline{C}$ has genus then

$\displaystyle \text{Cl}(\overline{C}) \cong \mathbb{Z} \times J(\overline{C}) \cong \mathbb{Z} \times T^{2g}$

where $J(\overline{C})$ denotes the Jacobian and $T^{2g}$ denotes a torus of (real) dimension . In particular, $\text{Cl}(\overline{C})$ is uncountable as soon as $g \ge 1$ , and hence its quotient $\text{Cl}(C)$ by the image of $\mathbb{Z}^k$ is nontrivial as soon as $g \ge 1$ .

The topological Picard groups

The characterization of invertible modules as locally free modules of rank suggests that invertible modules over a commutative ring should be thought of as (modules of sections of) line bundles on $\text{Spec } R$ . This idea is strongly supported by variants of the Serre-Swan theorem, such as the following.

Theorem: Let be a compact Hausdorff space and let $C(X, \mathbb{R})$ resp. $C(X, \mathbb{C})$ be the ring of continuous real-valued resp. complex-valued functions on . Assigning a real resp. complex vector bundle on its module of continuous sections gives an equivalence of monoidal categories between real resp. complex vector bundles on and finitely presented projective modules over $C(X, \mathbb{R})$ resp. $C(X, \mathbb{C})$ .

Corollary: $\text{Pic}(C(X, \mathbb{R}))$ resp. $\text{Pic}(C(X, \mathbb{C}))$ is canonically isomorphic to the abelian group of topological real resp. complex line bundles on , which is in turn canonically isomorphic to $H^1(X, \mathbb{Z}_2)$ resp. $H^2(X, \mathbb{Z})$ .

This theorem suggests a natural definition of the real resp. complex Picard groups of an arbitrary space , not necessarily compact Hausdorff, namely the group of isomorphism classes of real resp. complex line bundles on .

Example. Let X = S^1 ; this is arguably the simplest example of a space with a nontrivial real line bundle over it. Since $H^1(S^1, \mathbb{Z}_2) \cong \mathbb{Z}_2$ , there are exactly two (isomorphism classes of) real line bundles over S^1 , one trivial and one nontrivial. The nontrivial line bundle is the Möbius bundle. Its $C(S^1, \mathbb{R})$ -module of continuous sections can be identified with the function space

$\{ f : \mathbb{R} \to \mathbb{R} \mid f(x + 1) = - f(x) \}$

where $C(S^1, \mathbb{R})$ itself is thought of as the function space

$\displaystyle \{ f : \mathbb{R} \to \mathbb{R} \mid f(x + 1) = f(x) \}$

and the module structure is given by pointwise multiplication. (So here we are thinking of S^1 as the quotient $\mathbb{R}/\mathbb{Z}$ .)

Example. Let X = S^2 ; this is arguably the simplest space with a nontrivial complex line bundle over it. Since $H^2(S^2, \mathbb{Z}) \cong \mathbb{Z}$ , there are countably many (isomorphism classes of) complex line bundles over S^2 , all of which are powers of a single generator.

Thinking of S^2 as the complex projective line $\mathbb{CP}^1$ , there are two choices for such a generator, one given by the tautological bundle $\mathcal{O}(-1)$ which assigns to a point in $\mathbb{CP}^1$ the complex line in $\mathbb{C}^2$ it represents, and the other given by its dual $\mathcal{O}(1)$ ; the other line bundles are given by $\mathcal{O}(n) \cong \mathcal{O}(1)^n$ , where if is negative then $\mathcal{O}(1)^n \cong \mathcal{O}(-1)^{-n}$ as expected.

The bundles $\mathcal{O}(n), n \ge 1$ are important in algebraic geometry because their spaces of algebraic (or equivalently, holomorphic) sections are precisely the homogeneous polynomials of degree . Their $C(S^2, \mathbb{C})$ -modules of continuous sections can be identified with the function spaces

$\displaystyle \{ f : \mathbb{C}^2 \setminus \{ (0, 0) \} \to \mathbb{C} \mid f(\lambda x, \lambda y) = \lambda^n f(x, y), \lambda \in \mathbb{C}^{\times} \}$

where $C(S^2, \mathbb{C})$ itself is thought of as the function space

$\displaystyle \{ f : \mathbb{C}^2 \setminus \{ (0, 0) \} \to \mathbb{C} \mid f(\lambda x, \lambda y) = f(x, y), \lambda \in \mathbb{C}^{\times} \}$

and, as above, the module structure is given by pointwise multiplication. (So here we are thinking of $S^2 \cong \mathbb{CP}^1$ as the quotient $(\mathbb{C}^2 \setminus \{ (0, 0) \}) / \mathbb{C}^{\times}$ .)

We can make the construction for S^1 look more like the construction for S^2 by thinking of S^1 as the real projective line $\mathbb{RP}^1$ and exhibiting it as the quotient of $\mathbb{R}^2 \setminus \{ (0, 0) \}$ by the action of $\mathbb{R}^{\times}$ .

The algebraic and analytic Picard groups

The discussion of $\mathbb{CP}^1$ above blurred the distinction between topological, holomorphic, and algebraic line bundles, so it’s worth making the distinction in general.

To talk about topological vector bundles on a space only requires that it be equipped with a topology. To talk about holomorphic vector bundles requires that be equipped with the structure of a complex manifold. Finally, to talk about algebraic vector bundles requires that be equipped with the structure of a scheme, e.g. might be a complex variety. We can talk about all three on a smooth complex variety. On $\mathbb{CP}^1$ all three notions coincide, but in general they all differ.

The GAGA principle implies that the classifications of holomorphic and algebraic vector bundles on a smooth projective complex variety coincide; in particular, the classifications of holomorphic and algebraic line bundles on $\mathbb{CP}^1$ coincide. However, it is not true in general that these classifications also coincide with the classification of topological line bundles, although it is true for the complex projective spaces $\mathbb{CP}^n$ . In general, if is a complex manifold, then the exponential sheaf sequence

$\displaystyle 0 \to \mathbb{Z} \to \mathcal{O}_X \xrightarrow{\exp(2\pi i(-))} \mathcal{O}_X^{\times} \to 0$

gives rise to a long exact sequence in sheaf cohomology

$\displaystyle \cdots \to H^1(X, \mathcal{O}_X) \to H^1(X, \mathcal{O}_X^{\times}) \to H^2(X, \mathbb{Z}) \to H^2(X, \mathcal{O}_X) \to \cdots$

where $H^1(X, \mathcal{O}_X^{\times})$ turns out to be the Picard group $\text{Pic}(X)$ of holomorphic line bundles on and the connecting homomorphism to $H^2(X, \mathbb{Z})$ sends such a line bundle to its first Chern class c_1 , which completely determines the underlying topological line bundle but not its holomorphic structure.

The classifications of holomorphic and topological line bundles on coincide iff this connecting homomorphism $L \mapsto c_1(L)$ is an isomorphism. By exactness, this is guaranteed if $H^1(X, \mathcal{O}_X) \cong H^2(X, \mathcal{O}_X) \cong 0$ , which in particular holds if is a Stein manifold (e.g. a smooth affine variety) by Cartan’s theorem B. More generally, the Oka-Grauert principle asserts that the classifications of holomorphic and topological vector bundles on a Stein manifold coincide.

But $H^1(X, \mathcal{O}_X)$ and $H^2(X, \mathcal{O}_X)$ are both nontrivial in general, so we can’t expect the holomorphic and topological classifications to agree in general. And because the holomorphic and topological classifications agree on smooth affine varieties, a smooth affine variety on which the algebraic and topological classifications disagree also shows that the algebraic and holomorphic classifications disagree in general.

Example. On a smooth projective curve $X = \Sigma_g$ of genus $g \ge 1$ , the divisor class group $\text{Cl}(X)$ turns out to be naturally isomorphic to the Picard group, with the first Chern class map $H^1(X, \mathcal{O}_X^{\times}) \to H^2(X, \mathbb{Z})$ corresponding to the degree map

$\displaystyle \deg : \text{Cl}(X) \ni \sum n_p p \mapsto \sum n_p \in \mathbb{Z}$

under the isomorphism $H^2(X, \mathbb{Z}) \cong \mathbb{Z}$ given by pairing with the fundamental class. Hence the degree zero divisor class group $\text{Cl}^0(X)$ is naturally isomorphic to the Picard group $\text{Pic}^0(X)$ of line bundles with vanishing first Chern class. This group measures the difference between the holomorphic / algebraic and the topological classifications of line bundles on .

An inspection of the long exact sequence associated to the exponential sequence shows that this group is in turn isomorphic to the quotient

$\displaystyle J(X) \cong H^1(X, \mathcal{O}_X) / H^1(X, \mathbb{Z})$

which is one description of the Jacobian. As we saw previously, $H^1(X, \mathcal{O}_X) \cong \mathbb{C}^g$ , and we know that $H^1(X, \mathbb{Z}) \cong \mathbb{Z}^{2g}$ . This exhibits J(X) as a complex torus $\mathbb{C}^g / \mathbb{Z}^{2g}$ (at least provided that we show that the image of $H^1(X, \mathbb{Z})$ in $H^1(X, \mathcal{O}_X)$ is a lattice). In particular, once $g \ge 1$ , the holomorphic / algebraic and topological classifications of line bundles on disagree.

Example. As when we were discussing Dedekind domains, let be an elliptic curve minus a point. Then is a smooth affine variety, hence in particular a Stein manifold, so the classifications of holomorphic and topological line bundles agree: both Picard groups are isomorphic to $H^2(X, \mathbb{Z})$ , which vanishes since , being topologically a torus minus a point, deformation retracts onto its -skeleton. But the classification of algebraic line bundles is given by the divisor class group, which we saw earlier was uncountable. In particular, the holomorphic and algebraic classifications of line bundles on disagree.

The Picard groups

Trending Articles

Practice Sheet of Right form of verbs for HSC Students

Download: FK ft Shenky – Nakuyewa ”Prod by: Shenky”

How to win at Markstrat (Markstrat Tips and Tricks) – Vodites

Ominde Commission Report and Recommendations – Ominde Report of 1964

Bureau of Internal Revenue: Regional Offices (Directory)

GO 53 on Enhancement of Ex-gratia upto 5 Lakhs Toddy Tappers in Telangana

Cakewalk CA-2A Leveling Amplifier v2.0.1.97 WiN, v2.0.1.96 OSX Incl Keygen

Mp3 Download: Mdu - Kunjenjenjena

How the kill the job , when DTP request running for long hours.

Microsoft Intune から展開しているアプリのアップデートについて

18-year-old girl was beaten for half an hour by two Northampton men in 'an...

Car crash in Dunton Bassett leaves driver in critical condition

Macky 2, Two Others In Road Accident

Application log 00000000000000089514: Could not convert queue DLVST90CLNT

Detroit mafia: D’Anna Brothers agree to plea deal

Delivery block field greyed out using VA02

Muloraki Au

【個人撮影】スマホのプライベート映像♪「中に出さないで///」カラオケ屋での生ハメ撮りが流出ｗ【リベンジポルノ】＠PornHub

BREAKING NEWS: Diamond Platnumz Is Reported Dead After Ghastly Car Accident

FIAT 500 B0111 B0112