arXiv 0812.16742008-12-09math.CT

Monadic approach to Galois descent and cohomology

F. Borceux, S. Caenepeel, G. Janelidze

备注：: 25 pages

英文摘要：

We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois descent makes no reference to Grothendieck descent theory at all. In order to make Galois descent constructions perfectly clear, we also describe their connections with some other related constructions of categorical algebra, and make various explicit calculations, especially with 1-cocycles and 1-dimensional non-abelian cohomology, usually omitted in the literature.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Tannakization of quasi-categories and monadic descent

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$ of monoidal automorphisms of this functor. The left adjoint fiber functor also induces a monad on $\mathcal{C}$. Under some finiteness hypothesis on the fiber functor, we show there is a comparison functor from the category of representations of $G$ to the descent category of the induced monad on $\mathcal{C}$.

2017-08-30math.CT

严格单子拓扑 II：闭包空间的下降

Strict monadic topology II: descent for closure spaces

本文开创闭包空间的下降理论，主要贡献是刻画了下降态射，并证明了有限闭包空间范畴中下降态射均为有效下降态射，且满射闭映射与满射开映射均为有效下降态射。

2023-10-25math.CT

Descent Data and Absolute Kan Extensions

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms create all Kan extensions that are preserved by certain morphisms. As a consequence, in the case $\mathfrak{A} = \mathsf{Cat} $, we get a monadicity theorem which says that a right adjoint functor is monadic if and only if it is, up to the composition with an equivalence, (naturally isomorphic to) a functor that forgets descent data. In particular, within the cla…

2021-05-15math.CT

$\infty$-categorical monadicity and descent

Riehl and Verity have introduced an "$\infty$-cosmic" framework in which they redevelop the category theory of $\infty$-categories using 2-categorical arguments. In this paper, we begin with a self-contained review of the parts of their theory needed to discuss adjunctions and monadicity. This is applied in order to extend to the $\infty$-categorical context the classical criterion for fully faithfulness of the comparison functor induced by an adjunction. We discuss the relation with previous work in the literature---which primarily uses model-categorical techniques---and indicate applications…

2016-09-19math.ATmath.CT

通过弦图证明Bénabou-Roubaud定理

The Bénabou-Roubaud theorem via string diagrams

本文通过弦图证明了Bénabou-Roubaud定理，将单子与Grothendieck的降观点联系起来，等价于Janelidze和Tholen的特征化。

2026-01-12math.CT

语义分解与下降（Descent）

Semantic Factorization and Descent

本文在具有合适opcomma对象与推出的2-范畴中，证明态射的高阶余核松弛下降分解与语义分解同构且存在性等价，导出单子性的下降刻画，指出有左伴随时单子性是二维正合条件。

2022-09-02math.CT

更多相关论文收起更多论文

Descent and Galois theory for Hopf categories

Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal category, if some flatness assumptions are satisfied. Then Hopf-Galois descent theory for linear Hopf categories, the Hopf algebra version of a linear category, is developed. This leads to the notion of Hopf-Galois category extension. We have a dual theory, where actions by dual linear Hopf categories on linear categories are considered. Hopf-Galois category…

2017-02-04math.CTmath.RA

广义作用单子与下降理论

Generalized action monads and descent

Stellenbosch University（斯泰伦博斯大学）；National Institute for Theoretical and Computational Sciences, South Africa（南非理论与计算科学国家研究所）；University of Minho（米尼奥大学）

研究内部范畴作用的单子方法，构造相关单子并刻画为广义作用单子，还证明其能产生良好的广义下降概念。

2026-08-05math.CT

Galois descent criteria

This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the étale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois cohomological objects given by homotopy fixed point constructions, but only up to pro-equivalence. The homotopy fixed point spaces define finite Galois descent for simplicial presheaves (and their relatives) over a field, but a pro-categorical construction is a necessary second step for passage from finite descent conditions to full homotopy descent in a Galois coho…

2019-06-14math.AGmath.ATmath.CT

Galois theory in bicategories

We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois theory over Hopf algebras and Hopf algebroids, Galois theory for corings and group-corings, and Morita-Takeuchi theory for corings. As an application we construct a new type of comatrix corings based on (dual) quasi bialgebras.

2007-11-22math.CTmath.RA

Higher Hopf formulae for homology via Galois Theory

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the Barr-Beck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A is the category Gp of all groups and B is the category Ab of all abelian groups, this yields a new proof for Brown and Ellis's formulae. We also give explicit formulae in the cases of groups vs. k-nilpotent groups, groups vs. k-solvabl…

2007-05-21math.ATmath.CT

保持有效下降态射的函子

Functors Preserving Effective Descent Morphisms

本研究突破传统有效下降态射研究聚焦函子反射性质的思路，建立其保持性的一般结果，证明满足温和条件的Grothendieck（余）纤维化适配该框架，扩充了此类态射的研究工具，并给出相关示例。

2024-11-04math.CT

动机理论的Galois下降

Galois descent for motivic theories

本文给出了纤维化加性范畴成为stack的条件，适用于多种motive理论，并简化证明了motivic Galois群序列的正合性及Chow-Lefschetz motives的Galois群计算。

2025-05-29math.AGmath.CT

Pseudo-Kan Extensions and Descent Theory

There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences of commuting properties of bilimits to prove classical and new theorems in the context of Janelidze-Tholen "Facets of Descent II", such as Bénabou-Roubaud Theorems, a Galois Theorem, embedding results and formal ways of getting effective descent morphisms. In order to do this, we develop the formal part of the theory on commuting bilimits via pseudomonad th…

2018-04-19math.CT

Nucleus I：推荐系统中的附加谱与下降

Nucleus I: Adjunction spectra in recommender systems and descent

University of Hawaii（夏威夷大学）；Apple Inc.（苹果公司）

本文揭示推荐系统与下降理论间自发涌现的形式化联系，通过范畴论为数据分析提供新颖解，并自上而下系统阐述这一跨领域发展。

2023-10-21cs.AIcs.IRmath.CT

The Galois group of a stable homotopy theory

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite étale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call the Galois group. We then calculate the Galois groups in several examples. For instance, we show that the Galois group of the periodic $\mathbf{E}_\infty$-algebra of topological modular forms is trivial and that the Galois group of $K(n)$-local stable homotopy theory is an extended version of the Morava stabilizer group. We also describe the Galois group of the …

2016-01-07math.ATmath.CTmath.RT

Tannaka Theory for Topos

We consider locales $B$ as algebras in the tensor category $s\ell$ of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections $sh(B) \stackrel{q}{\longrightarrow} \mathcal{E}$ in Galois theory [An extension of the Galois Theory of Grothendieck, AMS Memoirs 151] and a Tannakian recognition theorem over $s\ell$ for the $s\ell$-functor $Rel(E) \stackrel{Rel(q^*)}{\longrightarrow} Rel(sh(B)) \cong (B$-$Mod)_0$ into the $s\ell$-category of discrete $B$-modules. Thus, a new Tannaka recognition theorem is obtained, essentially different from those …

2015-10-06math.CT

从算术拓扑角度看降阶理论与等变范畴

An Arithmetic Topology viewpoint on Descent theory and Equivariant Categories

National and Kapodistrian University of Athens（雅典国立卡波蒂斯坦大学）

本文通过算术拓扑视角，统一了降阶理论与等变范畴，建立了算术与拓扑不变量的类比，并展示了其在范畴层面的应用。

2025-12-23math.AGmath.ATmath.CT