A recognition principle for the existence of descent data

DOI10.1007/S40062-014-0093-4MaRDI QIDQ897103zbMATH OpenOpenAlexFDO

Authors Andrew Salch

Publication date 16 December 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.3670

zbMATH Keywords

commutative ringmodulecomonaddescent theoryexact sequence of commutative monoids

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Extension theory of commutative rings (13B02) Module categories and commutative rings (13C60)

Abstract: Suppose $RightarrowS$ is a faithfully flat ring map. The theory of twisted forms lets one compute, given an $R$-module $M$, how many isomorphism classes of $R$-modules $M^{prime}$ satisfy $Sotime{s}_{R}McongSotime{s}_R{M}^{prime}$. This is really a uniqueness problem. But this theory does not help one to solve the corresponding existence problem: given an $S$-module $N$, does there exists {em some} $R$-module $M$ such that $Sotime{s}_{R}McongN$? In this paper we work out (as a special case of a general theorem about existence of coalgebra structures over a comonad) a criterion for the existence of such an $R$-module $M$, under some reasonable hypotheses on the map $RightarrowS$.

Recommendations

• Facets of descent. III: Monadic descent for rings and algebras
• Faithfully flat descent for magmas
• Injective modules under faithfully flat ring extensions
• Direct summand conjecture and descent for flatness
• scientific article; zbMATH DE number 2248151

Cites work

• scientific article; zbMATH DE number 3689557 (Why is no real title available?)
• scientific article; zbMATH DE number 1413174 (Why is no real title available?)
• Relative homological algebra and Waldhausen \(K\)-theory

This page was built for publication: A recognition principle for the existence of descent data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897103)