On the Rank and the Span Rank of Modules
1 [TODO] Refactor Plan
To understand this diagram:
2 Rank
We work over a commutative ring \(R\) with unity. The rank \(\operatorname{rank}_R M\) of a module \(R\)-module \(M\) is defined as the maximal cardinality of a \(R\)-linearly independent subset of \(M\). A homologist might write this as an exact sequence \[ 0 \longrightarrow R^{\oplus n} \longrightarrow M \] where \(n\) is as large as possible.
It’s also tempting to define the rank in other ways. For example, if \(R\) is an integral domain with field of fractions \(k\), one might define the rank of an \(R\)-module \(M\) as the dimension of the \(k\)-vector space \(k \otimes_R M\). Are these two definitions equivalent?
Proof. To see this, consider the following commutative diagram, where downward arrows are given by tensoring with \(k\):
It suffices to show that the top arrow is injective if and only if the bottom arrow is injective.
For the downward direction, note that \(k\) is a flat \(R\)-module, so tensoring with \(k\) preserves injections.
For the upward direction, suppose the bottom arrow is injective. Consider an element \((a_i)_{i=1}^n \in R^{\oplus n}\) that maps to zero in \(M\). Its image in \(k^{\oplus n}\) also maps to zero in \(k \otimes_R M\). Since the bottom arrow is injective, the image in \(k^{\oplus n}\) must be zero, which means each \(a_i\) is zero in \(k\). Since \(R\) is an integral domain, the localization \(R \to k\) is injective, hence each \(a_i\) is zero in \(R\), indicating that the the top arrow is injective.
Remark (Generalizing to localizations). Note that we have only used the flatness of \(k\) and that \(R\) is an integral domain. Since every localization of a ring is flat, the same proof shows that as long as \(R\) is an integral domain, localzation does not change the rank of a module.
Indeed, \(\operatorname{rank}\), as a function over \(\operatorname{Spec}R\), is locally constant. [TODO]
3 Span Rank vs. Rank
Another possible definition of rank is the minimal number of generators of a module. We call this the span rank \(\operatorname{spanrank}_R M\) of an \(R\)-module \(M\). A homologist might write this as an exact sequence \[ R^{\oplus m} \longrightarrow M \longrightarrow 0 \] where \(m\) is as small as possible.
Clearly, \(\operatorname{rank}\) and \(\operatorname{spanrank}\) are equal for free modules, since the definition of a basis requires both linear independence and spanning. For finitely generated modules over a PID, having the structure theorem in hand, the \(\operatorname{rank}\) is exactly the free rank, while the \(\operatorname{spanrank}\) is the number of the direct summands in the decomposition. We see that \(\operatorname{spanrank}M \geq \operatorname{rank}M\) in this case. This is in general true:
Proof. Consider the following commutative diagram with exact rows:
where \(R^n \to R^m\) is constructed by the projective nature of \(R^n\). \(R^n \to M\) is injective, hence so do \(R^n \to R^m \to M\) and in turn \(R^n \to R^m\). Thus, we have an injection \(R^n \to R^m\).
It remains to show that this implies \(n \leq m\). This is called the strong rank condition for \(R\). It is known that any nonzero commutative ring satisfies the strong rank condition, but proving this requires a lot of machinery. Proving the case when \(R\) is an integral domain is much easier. Some discussions are provided here.
4 Span Rank vs. Module Rank of Fibers
Regarding Proposition 1, one might wonder if there is an analogous result for \(\operatorname{spanrank}\). Let’s say \(\mathfrak m\) is a maximal ideal of \(R\) and the residue field \(k(\mathfrak m) := R/\mathfrak m\). Tensoring the exact sequence \[ R^{\oplus m} \longrightarrow M \longrightarrow 0 \] with \(k(\mathfrak m)\), we get an exact sequence \[ k(\mathfrak m)^{\oplus m} \longrightarrow k(\mathfrak m) \otimes_R M \longrightarrow 0 \]
Above derivation of exact sequence shows that \(\operatorname{spanrank}_R M \geq \dim_{k(\mathfrak m)} (k(\mathfrak m) \otimes_R M)\). Sadly, the reversed inequality is not true in general. We shall provide some examples to illustrate this irregularity. Before that, let’s briefly discuss the geometric intuition behind this construction.
4.1 Examples
Consider the ring homomorphism \(A \to B\), we view \(B\) as a \(A\)-module via this homomorphism. Fix a maximal ideal \(\mathfrak m\) of \(A\), the tensor product of \(A\)-algebras \(k(\mathfrak m) \otimes_A B\) corresponds to looking at the fiber of this homomorphism over the point \(\mathfrak m\): precisely speaking, \(\operatorname{Spec}\left( k(\mathfrak m) \otimes_A B \right)\) is cannonically isomorphic to \((\operatorname{Spec}f)^{-1}(\mathfrak m)\) [1, exercise 3.21]. \(\dim_k \left( k(\mathfrak m) \otimes_A B \right)\) thus measures the “size” of the fiber.
Remark. Not to be confused with the fiber dimension, which is in the sense of Krull dimension. The module rank of fibers is more like the “number of points” in the fiber counted with multiplicity, while the fiber dimension is more like the space dimension of the fiber.
\(\operatorname{spanrank}_{\mathbb Z} M = 1\).
Take \(\mathfrak m = 2 \mathbb Z\), \(\mathbb Z/2\mathbb Z \otimes_{\mathbb Z} \mathbb Z/3\mathbb Z \cong 0\) has dimension \(0\) over the residue field \(\mathbb Z/2\mathbb Z\).
\(\operatorname{spanrank}_R M = 1\).
Take \(\mathfrak m = (x - a)\) for some \(a \neq 0\), then \(\mathbb C[x] / (x) \otimes_{\mathbb C[x]} \mathbb C[x] / (x - a) \cong 0\) has dimension \(0\) over the residue field \(\mathbb C[x] / (x - a)\).
As an \(A\)-module, \(B\) is generated by \(1\), \(y\), hence \(\operatorname{spanrank}_A B = 2\).
Let’s compute the fibers of \(\operatorname{Spec}\varphi\) over different maximal ideals of \(A\). Pick a maximal ideal \(\mathfrak m := (x - x_0)\) of \(A\), then the residue field \(k(\mathfrak m) = k[x] / (x - x_0)\). The fiber over \(\mathfrak m\) corresponds to the \(A\)-algebra \[ \begin{aligned} k(\mathfrak m) \otimes_A B &= k[x] / (x - x_0) \otimes_{k[x]} k[x,y] / (x^2 - y^2) \\ &\cong k[x,y] / (x^2 - y^2, x - x_0) \end{aligned} \] We may view the latter as \(k[y] / (y^2 - x_0^2)\): its \(k[x]\)- or \(k(\mathfrak m)\)-module structure is reinterpreted by letting \(x\) act on \(k[y] / (y^2 - x_0^2)\) via scalar multiplication by \(x_0\). So that in effect, tensoring \(k(\mathfrak m) = k[x] / (x - x_0)\) is the same as substituting \(x\) with \(x_0\). Moreover, since \(k(\mathfrak m)\) is of \(k\)-dimension \(1\), we have \[ \dim_{k(\mathfrak m)} \left( k(\mathfrak m) \otimes_A B \right) = \dim_{k(\mathfrak m)} k[y] / (y^2 - x_0^2) = \dim_k k[y] / (y^2 - x_0^2) \] Hence, with basis \(1, y\), the dimension is \(2\) constantly for all maximal ideals \(\mathfrak m\) of \(A\).
Geometrically, this corresponds to the fact that any fiber of this projection consist of \(2\) points (counted with multiplicity).
Remark. If \(k\) is not algebraically closed, will this still hold? Let’s try an example. If \(k = \mathbb R\) and we pick \(\mathfrak m = (x^2 + 1)\) with residue field \(k(\mathfrak m) = \mathbb R[x] / (x^2 + 1)\), then the fiber over \(\mathfrak m\) corresponds to the \(A\)-algebra \[ \begin{aligned} k(\mathfrak m) \otimes_A B &= \mathbb R[x] / (x^2 + 1) \otimes_A \mathbb R[x,y] / (x^2 - y^2) \\ &\cong \mathbb R[x,y] / (x^2 - y^2, x^2 + 1) \\ &= \mathbb R[x,y] / (x^2 + 1, y^2 + 1) \end{aligned} \] Note that it’s of \(k\)-dimension \(4\), and \(k(\mathfrak m)\) is of \(k\)-dimension \(2\). Hence \(\dim_{k(\mathfrak m)} \left( k(\mathfrak m) \otimes_A B \right) = 2\) still holds.
So its tempting to conjecture that in this example, \(\operatorname{spanrank}_A B = \dim_{k(\mathfrak m)} \left( k(\mathfrak m) \otimes_A B \right)\) for any maximal ideal \(\mathfrak m\) of \(A\). This is indeed true: clever readers might have already noticed that \(B\) is a free \(A\)-module with basis \(\{x+y, x-y\}\). As \(k\)-algebra, \(k[x,y] / (x^2-y^2) \cong k[x,y] / (x-y) \times k[x,y] / (x+y)\).
As an \(A\)-module, \(B\) is generated by \(1\), \(y\), \(y^2\), \(\ldots\), hence \(\operatorname{spanrank}_A B = +\infty\).
Let’s compute the fibers of \(\operatorname{Spec}\varphi\) over different maximal ideals of \(A\). For the maximal ideal \(\mathfrak m := (x - x_0)\) of \(A\), then the fiber over \(\mathfrak m\) is given by \[ k(\mathfrak m) \otimes_A B = k[x] / (x - x_0) \otimes_{k[x]} k[x,y] / (xy) \] Note that we are again tensoring with \(k(\mathfrak m) = k[x] / (x - x_0)\). As we have discussed in Example 3, this is the same as substituting \(x\) with \(x_0\). Hence, the above is isomorphic to \(k[y] / (x_0 y)\), whose \(k[x]\)- or \(k(\mathfrak m)\)-module structure is given by letting \(x\) act on \(k[y] / (x_0 y)\) via scalar multiplication by \(x_0\). Furthermore, it suffices to compute the dimension of \(k[y] / (x_0 y)\) over \(k\).
Now when \(x_0 = 0\), \(k[y] / (x_0 y)\) has \(k\)-dimension \(+\infty\). When \(x_0 \neq 0\), \(k[y] / (x_0 y)\) has \(k\)-dimension \(1\). Hence, \(\dim_{k(\mathfrak m)} \left( k(\mathfrak m) \otimes_A B \right)\) varies over different maximal ideals \(\mathfrak m\) of \(A\). Geometrically, this validates that the fiber over the origin \((0,0)\) is the entire \(y\)-axis, while fibers over other points are singletons.
Geometrically, picking \(\mathfrak m = (x)\) corresponds to looking at the fibers around \(x=0\). This jump of dimension is reflected algebraically by the non-flatness of \(B\) as an \(A\)-module.
Remark. Note that \(B\) is not a flat \(A\)-module. This is because, if we pick \(\mathfrak m := (x)\) an maximal ideal of \(A\), then \(y\) is a \(x\)-torsion element in \(B\) (by \(xy = 0\)). That is, \(x \otimes_A y\) is a nonzero element in the kernel of the multiplication map \(\mathfrak m \otimes_A B \to B\).
\(B\) is generated by \(1\), \(t\) as an \(A\)-module, hence \(\operatorname{spanrank}_A B = 2\).
Pick the maximal ideal \(\mathfrak m := (x,y)\) of \(A\), then the fiber over \(\mathfrak m\) corresponds to the \(A\)-algebra \[ k(\mathfrak m) \otimes_A B \cong k[x,y] / (x, y) \otimes_{A} k[t] \cong k[t] / (t^2, t^3) = k[t] / (t^2) \] As \(k(\mathfrak m)\) is of \(k\)-dimension \(1\), it suffices to compute the dimension of \(k[t] / (t^2)\) over \(k\). With basis \(1, t\), it has \(k\)-dimension \(2\).
On the other hand, for the maximal ideal \(\mathfrak m := (x - 1, y - 1)\) of \(A\), the fiber over \(\mathfrak m\) corresponds to the \(A\)-algebra \[ k(\mathfrak m) \otimes_A B \cong k[x,y] / (x - 1, y - 1) \otimes_{A} k[t] \cong k[t] / (t^2 - 1, t^3 - 1) = k[t] / (t - 1) \] which has \(k\)-dimension \(1\).
Hence, the module rank of fibers varies over different maximal ideals of \(A\). Geometrically, picking \(\mathfrak m = (x,y)\) corresponds to looking at the fibers of this map around the origin. [TODO] Understand this thoroughly.
Remark. Note that \(B\) is not a flat \(A\)-module. This is because, if we pick \(\mathfrak m := (x,y)\) an ideal of \(A\), then \(x \cdot t = y \cdot 1_B\) becomes a nontrivial \(\mathfrak m\)-relation in \(B\), i.e. \(x \otimes_A t - y \otimes_A 1_B\) is a nonzero element in the kernel of the multiplication map \(\mathfrak m \otimes_A B \to B\).
4.2 The local case
From the above examples, one might notice that this irregularity is mostly constituted from the choice of residue fields, i.e. the choice of fibers over different maximal ideals. Luckily, it turns out that this is almost the only obstruction. Once we restrict ourselves to a local ring, the world becomes much nicer:
Proof. Lifting the exact sequence \[ k^{\oplus m} \longrightarrow k \otimes_R M \longrightarrow 0 \] to \[ R^{\oplus m} \longrightarrow M \longrightarrow 0 \] is a direct consequence of Nakayama’s lemma. cf. [1, theorem 2.8] for example.
Remark (Necessity of finite generation). Consider the following example:
Let \(M = k[[x]]\) be the formal power series ring over a field \(k\), regarded as a module over \(R = k[x]\). Then as \(k[x]\)-modules, \[ k[x] / (x) \otimes_{k[x]} k[[x]] \cong k[[x]] / x k[[x]] \] has dimension \(1\) over \(k\), while \(\operatorname{spanrank}_{k[x]} k[[x]]\) is infinite.
Localizing \(R = k[x]\) at the maximal ideal \((x)\) does not change any statements above, providing an counterexample over a local ring.