nLab Serre-Swan theorem

Contents

Context

Algebra

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Idea

The Serre-Swan theorem identifies suitable modules over an algebra 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.

Statement

There are two different original theorems of the same intuitive spirit which are usually jointly called the Serre-Swan theorem, the first one is in algebraic geometry, the second in topology:

1) Serre’s theorem (Serre 55): let RR 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 RR-modules is equivalent to the category of algebraic vector bundles (= locally free sheaves of structure sheaf-modules of constant finite rank) on SpecRSpec R.

2) Swan’s theorem (Swan 62): Given a Hausdorff compact space XX, the category of finitely generated projective modules over the continuous-function algebra C(X)C(X) is equivalent to the category of finite-rank vector bundles on XX, where the equivalence is established by sending a vector bundle to the its module of continuous sections.

But there are also various variations of these theorems, for instance to differential geometry:

3) smooth Serre-Swan theorem (Nestruev 03, 11.33) For XX a smooth manifold with \mathbb{R}-algebra of smooth functions C (X)C^\infty(X) there is an equivalence of categories between that of finite rank smooth vector bundles over XX and finitely generated projective modules over C (X)C^\infty(X).

A general statement of the Serre-Swan theorems over ringed spaces is in (Morye).

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.

Applications

To K-theory

The Serre-Swan theorem serves to relate topological K-theory with algebraic K-theory. (…)

duality between \;algebra and geometry

A\phantom{A}geometryA\phantom{A}A\phantom{A}categoryA\phantom{A}A\phantom{A}dual categoryA\phantom{A}A\phantom{A}algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand-KolmogorovAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A}A\phantom{A}comm. C-star-algebraA\phantom{A}
A\phantom{A}noncomm. topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A}A\phantom{A}general C-star-algebraA\phantom{A}
A\phantom{A}algebraic geometryA\phantom{A}A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A}A\phantom{A}almost by def.TopAlg fin op\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{fin} A\phantom{A}A\phantom{A}fin. gen.A\phantom{A}
A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}noncomm. algebraicA\phantom{A}
A\phantom{A}geometryA\phantom{A}
A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A}A\phantom{A}fin. gen.
A\phantom{A}associative algebraA\phantom{A}A\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A}A\phantom{A}Milnor's exerciseTopAlg comm op\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperSpaces Cart n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A}A\phantom{A}Milnor's exercise Alg 2AAAA op C ( n) q\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A}A\phantom{A}supercommutativeA\phantom{A}
A\phantom{A}superalgebraA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}
A\phantom{A}(super Lie theory)A\phantom{A}
ASuperL Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}AALada-MarklA sdgcAlg op CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}A\phantom{A}differential graded-commutativeA\phantom{A}
A\phantom{A}superalgebra
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}algebraA\phantom{A}A\phantom{A}geometryA\phantom{A}
A\phantom{A}Poisson algebraA\phantom{A}A\phantom{A}Poisson manifoldA\phantom{A}
A\phantom{A}deformation quantizationA\phantom{A}A\phantom{A}geometric quantizationA\phantom{A}
A\phantom{A}algebra of observablesA\phantom{A}space of statesA\phantom{A}
A\phantom{A}Heisenberg pictureA\phantom{A}Schrödinger pictureA\phantom{A}
A\phantom{A}AQFTA\phantom{A}A\phantom{A}FQFTA\phantom{A}
A\phantom{A}higher algebraA\phantom{A}A\phantom{A}higher geometryA\phantom{A}
A\phantom{A}Poisson n-algebraA\phantom{A}A\phantom{A}n-plectic manifoldA\phantom{A}
A\phantom{A}En-algebrasA\phantom{A}A\phantom{A}higher symplectic geometryA\phantom{A}
A\phantom{A}BD-BV quantizationA\phantom{A}A\phantom{A}higher geometric quantizationA\phantom{A}
A\phantom{A}factorization algebra of observablesA\phantom{A}A\phantom{A}extended quantum field theoryA\phantom{A}
A\phantom{A}factorization homologyA\phantom{A}A\phantom{A}cobordism representationA\phantom{A}

References

The two original articles:

A textbook account in the context of differential geometry:

  • Jet Nestruev, Smooth manifolds and observables, Graduate texts in mathematics, 220, Springer-Verlag, ISBN 0-387-95543-7 (2003)

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

  • Max Karoubi, KK-theory. An introduction, Grundlehren der Mathematischen Wissenschaften, Band 226, Springer 1978. xviii+308 pp.

Last revised on July 29, 2023 at 15:13:08. See the history of this page for a list of all contributions to it.