2
votes
1answer
190 views

How does torsion behave under the direct image functor?

Assume we have a finite morphism $f: X\rightarrow Y$ of smooth projective varieties of degree $d$ over $k=\mathbb{C}$. Then $f_{*}$ induces an equivalence between the categoy of coherent $O_X$-modules ...
11
votes
2answers
2k views

Wikipedia's definition of 'locally free sheaf'

Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent: The module $M$ is locally free ...
2
votes
2answers
256 views

Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?

Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth ...
39
votes
7answers
2k views

What does a projective resolution mean geometrically?

For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
13
votes
9answers
1k views

What representative examples of modules should I keep in mind?

So here's my problem: I have no intuition for how a "generic" module over a commutative ring should behave. (I think I should never have been told "modules are like vector spaces.") The only ...