Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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-...
Zhaoting Wei's user avatar
  • 9,009
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\...
Jonathan Beardsley's user avatar
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....
Joël's user avatar
  • 26k
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 ...
Jonathan Beardsley's user avatar
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 ...
Dima Sustretov's user avatar