We describe a general procedure of constructing non-trivial cup-products from non-trivial compositions in the derived category of a commutative ring. Using this, we show that there exist faithfully flat commutative boolean ring maps that are not descendable.
No takes yet. Share an insight, caveat, or question.
Ivan Zelich (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: