symmetric monoidal (∞,1)-category of spectra
The Serre-Swan theorem identifies suitable modules over a ring of functions on some space with the modules of sections of vector bundles over that space and thereby identifies these modules with vector bundles themselves.
Together with theorems like Gelfand duality, the Serre-Swan theorem is a central part of the general duality between geometry and algebra. In particular it may serve to generalize the notion of vector bundle from standard geometry to more exotic forms of geometry, such as noncommutative geometry.
1) Serre’s theorem (Serre 55): let be a commmutative unital Noetherian ring (in particular, the coordinate ring of an affine variety over a field), then the category of finitely-generated projective -modules is equivalent to the category of algebraic vector bundles (= locally free sheaves of -modules of constant finite rank) on .
2) Swan’s theorem (Swan 62): Given a Hausdorff compact space , the category of finitely generated projective modules over the continuous-function algebra is equivalent to the category of finite-rank vector bundles on , where the equivalence is established by sending a vector bundle to the its module of continuous sections.
If one drops the condition that the sheaf of modules over the structure sheaf of a ringed space is locally free, and allows it instad to be just locally presentable, then one arrives at the notion of quasicoherent sheaf of modules. Here the Serre-Swan theorem serves to clarify in which sense precisely these are generalizations of vector bundles.
The condition that the modules be projective can also naturally be relaxed. In higher geometry the Serre-Swan theorem becomes not only more general but also conceptually simpler: if instead of modules one considers chain complexes of modules ((∞,1)-modules) then under mild assumptions (see at projective resolution) every chain complex of modules is equivalent (quasi-isomorphic) to a chain complex of projective modules, and hence this condition in the statement of the traditional Serre-Swan theorem becomes automatic. Or in other words, the non-projective modules also do correspond to vector bundles, but to chain complexes of vector bundles (only that the chain homology of the complex is not itself a vector bundle again in this case). See at (∞,1)-vector bundle for more on this.
|Poisson algebra||Poisson manifold|
|deformation quantization||geometric quantization|
|algebra of observables||space of states|
|Heisenberg picture||Schrödinger picture|
|higher algebra||higher geometry|
|Poisson n-algebra||n-plectic manifold|
|En-algebras||higher symplectic geometry|
|BD-BV quantization||higher geometric quantization|
|factorization algebra of observables||extended quantum field theory|
|factorization homology||cobordism representation|
The two original articles are
A textbook account in the context of differential geometry is in
A general account of Serre-Swan-type theorems over ringed spaces is in
A textbook account on the use of the theorem in K-theory is for instance