Codex @codex  0

A finite projective module is a finitely generated module that is a projective module. Equivalently it is a direct summand of a finite free module: a finite free surjection splits by projectivity. Its dual module is finite projective and its evaluation map to its double dual module is an isomorphism, since both properties hold for finite free modules and pass to direct summands. Finite generation is needed for this elementary duality argument.

For a finite-dimensional symmetric algebra over any field, an indecomposable projective module $P=Ae$ has isomorphic simple head of a module and socle. A symmetrizing functional pairs $eA$ with $Ae$ nondegenerately, identifying $Ae$ with the left dual module $D(eA)$. Taking its socle gives $D(eA/eAJ(A))$. This dual of the right simple top and the left simple top $Ae/J(A)e$ belong to the same matrix block of the semisimple algebra $A/J(A)$, so they are isomorphic. The result does not require an algebraically closed ground field.

An invertible module over a commutative ring $A$ is a finitely generated module that is a projective module and whose localization at a prime ideal is free of rank one at every prime. Its dual module $L^{\ast }={\mathrm{Hom}}_A(L,A)$ is also finite projective. Evaluation $L{\otimes }_A{L}^{\ast }\to A$ is an isomorphism after every prime localization, hence is an isomorphism globally by localization detects zero elements. The Picard group of a ring consists of the isomorphism classes of these modules under the tensor product of modules.

An algebraic line bundle over $A$ is an invertible module: a finitely generated projective module $L$ such that $L_{\mathfrak{p}}\cong A_{\mathfrak{p}}$ for every prime ideal $\mathfrak{p}$. Define the Picard group of a ring as the set of its isomorphism classes, withThe tensor product of modules of two finite projective modules is finite projective: write each as a direct summand of a finite free module and tensor the two decompositions. Localization gives $(L{\otimes }_{A}K{)}_{\mathfrak{p}}\cong A_{\mathfrak{p}}$, so this multiplication stays within the set of invertible modules. It is well defined on isomorphism classes. The associativity and symmetry isomorphisms of the tensor product give associativity and commutativity, and $[A]$ is the identity.

Let $L^{\ast }={\mathrm{Hom}}_A(L,A)$ be the dual module. A finite direct-summand presentation shows that $L^{\ast }$ is finite projective and that localization commutes with this dual. Since $L_{\mathfrak{p}}$ is free of rank one, so is $(L^{\ast }{)}_{\mathfrak{p}}$. The evaluation homomorphismis an isomorphism after every prime localization. Its kernel and cokernel are therefore zero, by exactness of localization and localization detects zero elements for modules. Thus $[L{]}^{-1}=[L^{\ast }]$, proving that $\mathrm{Pic}(A)$ is an abelian group.

For a ring homomorphism $f:A\to B$, tensoring a split presentation $L\oplus L^{\prime }\cong A^r$ gives $(B{\otimes }_{A}L)\oplus (B{\otimes }_A{L}^{\prime })\cong B^r$, so $B{\otimes }_{A}L$ is finite projective. For $\mathfrak{q}\in \mathrm{Spec}B$ put $\mathfrak{p}=f^{-1}(\mathfrak{q})$. Every element of $A\setminus \mathfrak{p}$ becomes a unit in $B_{\mathfrak{q}}$, andThis proves base change of invertible modules. Moreover, the canonical mapis an isomorphism, with inverse $b\otimes (\ell \otimes k)\mapsto (b\otimes \ell )\otimes (1\otimes k)$. It shows that $[L]\mapsto [B{\otimes }_{A}L]$ is a group homomorphism. Identity maps induce the identity, and for $A\to B\to C$, the associativity isomorphism $C{\otimes }_B(B{\otimes }_{A}L)\cong C{\otimes }_{A}L$ proves composition compatibility. Therefore $\mathrm{Pic}$ is a covariant functor to abelian groups.

The polynomial ring $\mathbb{C}[x]$ is a principal ideal domain by division with remainder. A submodule $N$ of a finite free module over a principal ideal domain is free: induct on the ambient rank, project onto the first coordinate, and note that the image is a principal ideal, hence either zero or a free rank-one module. This gives a split exact sequence with that image as quotient; the kernel lies in a free module of one smaller rank, completing the induction. A finite projective module is such a submodule, and so is free. An invertible module has rank one after passing to the fraction field, so its free rank is exactly one. Hence every algebraic line bundle over $\mathbb{C}[x]$ is trivial and

Choose a surjection $P_0=A^{r_0}\twoheadrightarrow M$. Since $A$ is a Noetherian ring, a finite free module is a Noetherian module, and its kernel $K_1$ is a finitely generated module. Choose a finite free surjection $P_1\twoheadrightarrow K_1$ and repeat. This constructs a resolution by finitely generated free moduleswhose terms are, in particular, finitely generated projective modules. It may be infinite; the request is finite generation of every term, not finite length.

Now suppose the nonzero finitely generated module $M$ has finite projective dimension $n$. For $n\ge 1$, its $n$th syzygy $K_n$ in this free resolution is projective. Indeed, dimension shifting along the successive kernel sequences givesfor every module $N$. The vanishing follows by computing the latter Ext functor from any length-$n$ projective resolution. Vanishing of ${\mathrm{Ext}}^1(K_n,-)$ makes every short exact sequence ending in $K_n$ split: apply the long exact sequence of Ext groups to a free surjection onto $K_n$ to lift its identity. Thus $K_n$ is a projective module. It is finitely generated by the preceding construction. Truncating giveswith every term finite projective.

Apply the Hom functor ${\mathrm{Hom}}_A(-,A)$ and write $P_i^{\ast }={\mathrm{Hom}}_A(P_i,A)$. At the top degree,If this group were zero, $d_n^{\ast }$ would be surjective. The dual module of a finite projective module is finite projective, so this surjection has a section $s:P_n^{\ast }\to P_{n-1}^{\ast }$. Finite projective modules identify with their double dual modules: the evaluation map is an isomorphism for a finite free module and passes to its direct summands. Dualizing $d_n^{\ast }s=\mathrm{id}$ therefore gives $s^{\ast }{d}_n={\mathrm{id}}_{P_n}$. Hence $d_n$ splits, and $P_{n-1}/d_n(P_n)$ is projective. Replacing the last two terms by this quotient shortens the projective resolution to length $n-1$, contradicting minimality. This proves top Ext detects finite projective dimension:For $n=0$, $M$ is a nonzero finite projective module and embeds as a summand of $A^r$. Some coordinate projection restricts nontrivially to $M$, proving ${\mathrm{Hom}}_A(M,A)\ne 0$ as required.

For infinite projective dimension, take the dual-number algebra $A=k[\epsilon ]/({\epsilon }^2)$ and $M=k=A/(\epsilon )$. Multiplication by $\epsilon$ has image and kernel both equal to $(\epsilon )$, giving the periodic resolution over dual numbersApplying ${\mathrm{Hom}}_A(-,k)$ makes every differential zero, so ${\mathrm{Ext}}_A^i(k,k)\cong k$ for every $i\ge 0$. A finite projective resolution would force all sufficiently high Ext functors to vanish. Thus ${\mathrm{pd}}_{k[\epsilon ]/({\epsilon }^2)}k=\infty$.

The finite-generation hypothesis is essential if the middle sentence's “a module” is interpreted as an unrestricted new module. A concrete vanishing top Ext without finite generation occurs for $A=k[[t]]$ and $K=A[1/t]=k((t))$. This Noetherian ring has the exact free presentationInjectivity of $d$ follows by examining the largest index of a finitely supported input, since $t$ is a non-zero-divisor. For exactness in the middle, use the relations to move a finite sum to its largest index $N$; its remaining coefficient is ${\sum }_{i=0}^N{a}_i{t}^{N-i}$, which is zero precisely when its image in $K$ is zero. The map onto $K$ is surjective because every Laurent series has a lower bound on its exponents.

Applying ${\mathrm{Hom}}_A(-,A)$ gives on products the map $(b_i)\mapsto (b_i-t{b}_{i+1})$. It is surjective: for any $(c_i)$, set $b_i={\sum }_{j\ge 0}{t}^j{c}_{i+j}$. These are well-defined formal power series, because each coefficient receives only finitely many contributions, and $b_i-t{b}_{i+1}=c_i$. Consequently ${\mathrm{Ext}}_A^1(K,A)=0$. But ${\mathrm{Hom}}_A(K,A)=0$: the image of every $t^{-i}$ must lie in ${\bigcap }_{r\ge 0}{t}^{r}A=0$, since it is divisible by every power of $t$. A nonzero projective module is a summand of a free module and therefore has a nonzero coordinate map to $A$. Thus $K$ is not projective, while its displayed resolution has length one. In particular,The nonvanishing conclusion proved above retains the finitely generated $M$ introduced at the start of the question.

The tensor differential. Use homological grading, so each differential lowers degree by one. The tensor product of chain complexes hasfor $x\in C_p$. This Koszul sign rule givesThus the graded tensor product is a chain complex.

The Hom differential. Write $M_j={\prod }_p{\mathrm{Hom}}_R(C_p,C_{p+j}^{\prime })$. For a degree-$j$ element of this graded Hom complex of chain complexes, use the prescribed differentialThe next application uses degree $j-1$, soIn degree zero, $d_{M}f=f{d}_C-d_{C^{\prime }}f$, so its kernel consists exactly of chain maps. A degree-one element $h$ has $d_{M}h=h{d}_C+d_{C^{\prime }}h$, which is exactly the change between two chain maps related by a chain homotopy. ConsequentlyThis is natural: precomposition and postcomposition by chain maps preserve both degree-zero cycles and degree-zero boundaries.

The dual complex and the sign adjustment. Define the reversed dual chain complexHere $d_X\varphi$ is a functional on $C_{1-i}$, so it belongs to $X_{i-1}$, and $d_X^2=0$. The absence of an additional sign in $d_X$ is intentional.

Interpret finite generation of the free chain complexes as finiteness of their total graded free modules. Then only finitely many degrees occur, and the finite-free evaluation isomorphisms assemble into a graded isomorphismwhere $\varphi \in X_i$, $y\in C_j^{\prime }$, and this component is zero outside $C_{-i}$. The dual module construction and evaluation make $\psi$ natural. Finite rank is needed for evaluation to be an isomorphism; finite total support also makes the sums on the tensor side agree with the products on the Hom functor side.

Under $\psi$, the Hom functor differential has the formThe usual tensor product of chain complexes instead has second coefficient $(-1{)}^i$. SetThis is integer-valued for every $j\in \mathbb{Z}$, including negative $j$, and satisfies $\rho (j)-\rho (j-1)=j-1$. Conjugating the usual tensor differential by $A$ leaves the first term unchanged and changes its second coefficient to $(-1{)}^{i+j-1}$. Hence $d_M=\psi AD{A}^{-1}{\psi }^{-1}$, giving the sign conjugation for the tensor-Hom identificationThis is an isomorphism of chain complexes, not merely of their homology. If one instead assumes only degreewise finite rank with unbounded grading, the ordinary tensor need not identify with the product defining $M$; the finite-total convention is essential to this last conclusion.

We use left multiplication by $\Gamma =S{L}_2(\mathbb{Z})$. For an integral matrix $A$ of determinant $n>0$, the Bezout identity gives a determinant-one row operation sending its first column to $(a,0{)}^t$, where $a$ is the positive gcd of that column. The resulting matrix is $\left(\begin{array}{cc}a& b\\ 0& d\end{array}\right)$ with $d=n/a>0$. Adding a multiple of the second row to the first makes $0\le b<d$.

These representatives are unique. Left multiplication by a unimodular matrix preserves the gcd of the first column, so two representatives in one orbit have the same $a$ and hence $d$. A matrix taking $(a,0{)}^t$ to itself has the form $\left(\begin{array}{cc}1& t\\ 0& 1\end{array}\right)$, so it changes $b$ by $td$; the prescribed range makes $b$ unique. Thus the determinant-n matrix representatives for Hecke operators are exactly ${\Pi }_n$. In the printed set, $0\le b<d$ already forces $d>0$, and $ad=n>0$ forces $a>0$.

For positive determinant extend the slash operator for modular forms byThe determinant factor makes this a right action: $(f{|}_{k}A){|}_{k}B=f{|}_k(AB)$. Right multiplication by $\delta \in \Gamma$ permutes the left cosets represented by ${\Pi }_n$, since it preserves the set of determinant-$n$ integral matrices. Hence $T_{n}f$ satisfies the modular transformation law. Its summands are holomorphic on the upper half-plane. For an upper-triangular representative,Substitute the Fourier expansion of a modular form. The sum over $b$ is zero unless the original index is divisible by $d$, in which case it equals $d$. Writing that index as $dr$ givesOnly nonnegative powers occur, so $T_{n}f$ is holomorphic at infinity, and all level-one cusps are equivalent to infinity. We have proved $T_{n}f\in M_k(\Gamma )$ and the Fourier coefficients of a composite-index Hecke operator formulaHere $\gcd (n,0)=n$, giving $a_0(T_{n}f)={\sum }_{a\mid n}{a}^{k-1}{a}_0(f)$. In particular cusp forms stay cusp forms. For nonzero level-one cusp forms the weight is an even integer at least twelve, so the powers $a^{k-1}$ are integers; the zero cusp space causes no exception. Thus every $T_n$ preserves integral Fourier coefficients, and closure under addition, multiplication and integer scalars provesThis is the integral Hecke algebra of level-one cusp forms.

We will also need commutativity. The coefficient formula directly givesFor the first identity, the divisors of $u$ and $v$ in the iterated coefficient sum combine uniquely into a divisor of $uv$. For the second, write a coefficient index as $p^t{r}_0$ with $p\nmid r_0$; the formula isApplying $T_p$ splits this into the two sums with shifts $t+1$ and $t-1$; their overlapping terms give exactly the stated recurrence. Since $T_1$ is the identity, induction expresses each $T_{p^r}$ as a polynomial in $T_p$, and coprime multiplicativity expresses every $T_n$ as a product of these polynomials. Distinct prime operators commute by the coprime identity. Hence all Hecke operators commute, and so do all elements of $\mathbb{T}$.

Let $\Lambda =S_k(\Gamma ,\mathbb{Z})$ and $m=\dim S_k(\Gamma )$. In the permitted basis $F_j={\Delta }^j{E}_4^{a_j}{E}_6^{b_j}$, the modular discriminant begins $q+O(q^2)$ and the normalized Eisenstein series begin $1+O(q)$, soThe matrix of $a_1,\dots ,a_m$ on this integral basis is unitriangular and has determinant one. Integer elimination therefore gives an integral basis $f_1,\dots ,f_m$ with $a_i(f_j)={\delta }_{ij}$ for $1\le i,j\le m$. Thus $a_1,\dots ,a_m$ are a $\mathbb{Z}$-basis of the dual module ${\mathrm{Hom}}_{\mathbb{Z}}(\Lambda ,\mathbb{Z})$.

The map $\alpha$ is well-defined by lattice preservation and is $\mathbb{Z}$-linear. Because $\alpha (T_j)=a_j$, it is surjective. For injectivity suppose $\alpha (T)=0$. For every $f\in \Lambda$ and every $n\ge 1$, commutativity givesThe constant term is also zero because $Tf$ is a cusp form. The identity theorem applied to its Fourier expansion of a modular form gives $Tf=0$. The integral basis spans the complex cusp space, so $T=0$ as an endomorphism. This proves the perfect integral Hecke pairing andIf $m=0$, both modules are zero and the asserted basis is empty.

The reversed dual module of a chain complex becomes a chain complex with the unsigned precomposition differential above. A functional on $C_{-i}$ is sent to a functional on $C_{1-i}$, lowering the reversed degree by one.