7
$\begingroup$

This is exercise 38 from Chapter 3 (Modules and Vector Spaces) in Algebra by Adkins and Weintraub (GTM). How do you solve this problem?

Let \begin{equation*} R = \lbrace f : [0, 1] \to \Re : f \;\text{ is continuous and} \; f (0) = f (1) \rbrace \end{equation*} and let \begin{equation*} M = \lbrace f : [0, 1]\to \Re : f \;\text{is continuous and} \; f (0) = - f (1) \rbrace. \end{equation*} Then $R$ is a ring under addition and multiplication of functions, and $M$ is an $R$-module. Show that $M$ is a projective $R$-module that is not free.

  • 1
    By the way...if no hints are given, this seems like a pretty tough exercise!2011-02-16

2 Answers 2

6

I'll consider the interval $[0,2\pi]$ for notational simplicity. Consider the matrix $ A = \left( \begin{array}{cc} \sin ^2\tfrac{\theta }{2} & - \sin \tfrac{\theta }{2} \cos \tfrac{\theta }{2} \\ -\sin \tfrac{\theta }{2}\cos \tfrac{\theta }{2} & \cos ^2\tfrac{\theta }{2} \end{array} \right), $ which defines an $R$-linear map $p:R^2\to R^2$. Computing $A^2$ we see that $p^2=p$, so $p$ is idempotent, and its kernel is a projective $R$-module $P$.

Now consider the map $ \phi : f\in M \mapsto(f(\theta)\cos \tfrac{\theta }{2},f(\theta)\sin \tfrac{\theta }{2}) \in R^2. $ It is clearly an $R$-linear injective map, whose image is precisely the kernel $P$ of $p$. It follows that $M\cong P$, and this shows projectivity.

Non-freeness is more subtle...

There is a morphism of rings $\varepsilon:R\to\mathbb R$ given by evaluation at $0$. One can see that $P\otimes_R\mathbb R$ is of dimension $1$ over $\mathbb R$, so that if $P$ is free, then it is free of rank $1$. In that case, $M$ would be free of rank $1$: suppose so, and let $h\in M$ be a generator. It is immediate then that every element of $M$ has to vanish where $h$ vanishes. But one can easily find an element of $M$ whose only zero is not a zero of $h$.

  • 0
    I'm not sure about the notational simplicity :-). For notational simplicity $[0,\pi]$ would have been best.2011-02-16
3

I made a similar comment on MO where this question was first posted. Here is an elaboration:

Since the circle $S^1$ can be thought of as the unit interval $[0,1]$ with the two endpoints identified, $R$ may be viewed as the ring of all real-valued continuous functions on $S^1$.

My hint is to view $M$ as the module of global sections of the Möbius band. For this, think about building the Möbius band as an identification space of $[0,1] \times \mathbb{R}$: you glue the two ends together with a half-twist.

It is only fair to mention that I have implicitly in mind the celebrated theorem of Richard Swan which gives an equivalence between vector bundles over a compact base and modules over the ring of continuous functions on the base: see e.g. Chapter 6 of these notes. Perhaps it is possible to give a more elementary solution of this problem: I would be happy to see one myself.

  • 1
    (I also think that the name "Se$r$re-Swan Theorem" i$s$ meant to suggest that Serre -- who after all began his career as a topologist -- also had the topological case in mind but chose not to enunciate it. This may be unfair to Richard Swan...but I wouldn't feel too bad for him: there are plenty more "Swan's Theorem"s!)2011-02-16