Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2013

    I have expanded a bit at Serre-Swan theorem: gave it an actual Idea-section, mentioned more variants (over general ringed spaces, in higher geometry) and added more references.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 1st 2013

    Thanks for collecting the matrial, I was in particular not aware of the paper of Morye. On the other hand, once I have a better internet connection than at the moment, I will try to soften a bit the treatment of Serre’s part of the pair of the theorems.

    First of all, while morally it can be interpreted toward the duality, this is just a nomenclature: both sides of Serre’s theorem are about functions/algebraic/quantity side. The basic affine Serre’s theorem is the equivalence of the category of modules over global sections Γ𝒪\Gamma\mathcal{O} to the category of 𝒪\mathcal{O}-modules (all over arbitrary affine scheme, Serre has done it for affine varieties). This is easy and it is about affiness (cf. fundamental theorem on morphism of schemes!). Both sides of equivalence involve the sheaf 𝒪\mathcal{O}. The thing which enters the Serre-Swan duplex is to single out the finitely generated projectives. Now there is a theorem that finite rank locally free module over a commutative unital ring is the same as finitely generated projective. Finite rank means finite rank at every prime ideal.

    Now, higher categorical version is an analogue but not quite the generalization. Namely, most importantly, equivalence of categories at the level of a abelian category of (quasi)coherent sheaves is a stronger statement than the equivalence of stable (,1)(\infty,1)-categories of complexes of sheaves (what is on smooth quasiprojective varities the same as derived equivalence). Second, one needs to take care with finiteness conditions, typically finiteness or boundness conditions are put on cohomologies. Third, on the level of categories of complexes there are also theorems which talk precisely about the categories of complexes at the level of ordinary (not infinity) equivalence, and go beyond the affine case. The prime example is GAGA theorem between analytic and algebraic category, which needs complexes and is 1-categorical.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2013
    • (edited Apr 1st 2013)

    Hi Zoran,

    notice that the higher categorical version that you mention is not the one currently indicated in the entry. The entry presently just mentions something very simple, which isn’t even a full blown higher geometry statement yet: it just says that if you have a non-projective module and enough projectives, then you can resolve it by a complex of projective modules.

    Concerning the statement of Serre’s theorem: I didn’t touch this. But it would indeed be nice if you or somebody found the time to expand on it and state it in more detail.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 23rd 2016

    At Serre-Swan theorem there used to be a shy pointer to a version of the theorem in differential geometry. I made that more explicit in the entry, and then in fact I gave it a little minimum entry of its own

    to go along with a list of theorems that say that differential geometry is “more algebraic” than one might superficially seem to have a right to expect (notably the embedding of smooth manifolds into formal duals of R-algebras).

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 23rd 2016

    Added a link under Related Concepts to Quillen-Suslin theorem, which has just been created.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2017

    I have made the two parts of the statement at smooth Serre-Swan theorem more explicit.

    I have been just citing this from Nestruev’s book. That book never requires the base manifold to be compact, it seems. I need to think about this again. Do we need to require a compact base manifold for the second part of the statement to be true?

  1. If I recall correctly that book uses the Withney embedding theorem to show that any vector bundle can be complemented to a trivial one plus the fact that the global sections functor is additive. Looks like it doesn‘t require compactness.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2017

    Thanks!! Much appreciated.

    I have added that as a remark to the entry, here. Please feel free to expand.

    • CommentRowNumber9.
    • CommentAuthornaahivrheed
    • CommentTime1 day ago
    This is related to the above comment, but for the topological Serre-Swan - namely that compactness is also not generally needed. Instead, we need the space to be paracompact Hausdorff of finite covering dimension. (This explains why the topological or smooth manifold shouldn't need any additional hypothesis). This is nice for simple cases like open intervals, R^n, etc. I think it's worth adding here since I haven't seen it mentioned much except for in Swan's paper.