Timeline for descent problem
Current License: CC BY-SA 2.5
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 20, 2011 at 18:08 | comment | added | user6976 | @J.C.: The question is precise enough. It is about a definition of descent in any topology. I would be interested in non-technical answer as well. | |
Jan 20, 2011 at 18:05 | comment | added | Martin Brandenburg | As for your question, I think should clarify the situation ... it seems to me a little offensive to denounce proofs which you have not understood yet. | |
Jan 20, 2011 at 18:02 | comment | added | Martin Brandenburg | For a general introd. to descent theory, Vitoli's notes may be helpful homepage.sns.it/vistoli/descent.pdf | |
Jan 20, 2011 at 16:58 | comment | added | unknown | Right! The point is why nobody check that these other conditions are verified and they just limit themselves to prove something only on the various $U$'s? It is obvious that for certain structure these "cocycle agreements" are satisfied? | |
Jan 20, 2011 at 16:45 | comment | added | Mike Skirvin | It's hard to give a very specific answer to your question. But descent usually means that to do something on your space $X$, it's equivalent to pick a cover $U$ of your space in whichever topology you're using, and verify that you can do that something on your cover $U$ such that it agrees on the pullback $U \underset{X}{\times} U$ and satisfies a cocycle condition on the iterated pullback (or possibly even higher coherence relations, depending on the context you're working in). For example, the sheaf condition says exactly that sections of the sheaf can be created via descent. | |
Jan 20, 2011 at 16:44 | comment | added | J.C. Ottem | Your question is not very precice. Are you asking what etale topology is? | |
Jan 20, 2011 at 15:41 | history | asked | unknown | CC BY-SA 2.5 |