All Questions
Tagged with descent ag.algebraic-geometry
6 questions
65
votes
2
answers
14k
views
What is descent theory?
I read the article in wikipedia, but I didn't find it totally illuminating. As far as I've understood, essentially you have a morphism (in some probably geometrical category) $Y \rightarrow X$, where ...
11
votes
2
answers
2k
views
What is descent data (of higher categories), conceptually?
First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a quasi-...
20
votes
1
answer
2k
views
How is a descent datum the same as a comodule structure?
For a homomorphism of commutative rings $f:R\to S$, there are at least two notions of a descent datum for this map. One of these is to be an $S$-module $M$, with an isomorphism $M\otimes_R S\cong S\...
13
votes
1
answer
1k
views
Counter-example to faithfully flat descent
I am looking for a counter example to the fact that a faithfully flat morphism is
an effective descent morphism for the category of quasi-coherent sheaves
when one forgets the quasi-compact hypothesis....
8
votes
2
answers
2k
views
Pure morphisms which are not faithfully flat
Joyal and Tierney proved that morphisms of rings which are of effective descent are exactly those morphisms $\phi:R\to S$ such that $\phi$ presents $S$ as a pure $R$-module. Grothendieck had ...
4
votes
2
answers
904
views
Twisted forms and $\check{H}^1$
I am reading Milne's Étale cohomology, III.4.
A twisted form of an object $Y$ (a scheme, a sheaf of modules, of algebras...) over a scheme $X$ is an object $Y'$ such that there exists a covering in ...