[论文解读] Descent Data and Absolute Kan Extensions

Fernando Lucatelli Nunes|arXiv (Cornell University)|Jun 3, 2019

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通過證明在任意具有 lax 下降對象的 2-範疇中，遺忘 lax 下降資料的遺忘函子會創建絕對 Kan 擴張，從而建立下降理論與單子性之間的聯繫。關鍵結果顯示，若此類遺忘函子具有左伴隨，則其為單子性函子，從而證明 Bénabou-Roubaud 定理的一個方向無需 Beck-Chevalley 條件，即使在不具備此性質的索引範疇中亦成立。

ABSTRACT

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 classical context of descent theory, we show that, in a fibred category, the forgetful functor between the category of internal actions of a precategory $a$ and the category of internal actions of the underlying discrete precategory is monadic if and only if it has a left adjoint. More particularly, this shows that one of the implications of the celebrated Benabou-Roubaud theorem does not depend on the so called Beck-Chevalley condition. Namely, we prove that, in indexed categories, whenever an effective descent morphism induces a right adjoint functor, the induced functor is monadic.

研究动机与目标

• 建立一個一般性的 2-範疇框架，連結下降資料與 Kan 擴張。
• 證明在具有 lax 下降對象的 2-範疇中，遺忘 lax 下降資料的遺忘函子會創建絕對 Kan 擴張。
• 證明遺忘下降資料的遺忘函子的單子性定理，無需假設 Beck-Chevalley 條件。
• 展示即使在 Beck-Chevalley 條件不成立的情況下，有效下降態射仍會誘導單子性函子於索引範疇中。
• 透過顯示下降蘊含單子性，且此關係獨立於 Beck-Chevalley 條件，從而釐清下降理論與單子性之間的關係。

提出的方法

• 將 lax 下降範疇視為等化子的 2-維類比，以編碼 2-細胞的共軛資料。
• 應用 2-範疇中絕對 Kan 擴張的理論，以證明來自 lax 下降範疇的遺忘函子會創建此類擴張。
• 利用在範疇範疇 Cat 中，遺忘下降資料的遺忘函子為單子性函子，當且僅當其具有左伴隨的事實。
• 建構一個索引範疇的一般框架，並透過從範疇到 Cat 的偽函子定義內部作用。
• 利用透過索引範疇中拉回函子的等價性來表徵有效下降態射。
• 應用定理 2.7，以證明當對應的拉回函子具有左伴隨時，有效下降態射會誘導單子性函子。

实验结果

研究问题

• RQ1 遺忘下降資料的遺忘函子是否在具有 lax 下降對象的 2-範疇中創建絕對 Kan 擴張？
• RQ2 能否在不假設 Beck-Chevalley 條件的情況下，建立遺忘下降資料函子的單子性？
• RQ3 在不滿足 Beck-Chevalley 條件的索引範疇中，從有效下降到單子性的推論是否仍成立？
• RQ4 當右伴隨函子自然同構於下降資料的遺忘函子時，其在何種條件下為單子性函子？
• RQ5 Bénabou-Roubaud 定理的單子性結論是否依賴於 Beck-Chevalley 條件？

主要发现

• 在任何具有 lax 下降對象的 2-範疇中，來自 lax 下降範疇的遺忘函子會創建所有絕對 Kan 擴張。
• 在 2-範疇 Cat 中，右伴隨函子為單子性函子，當且僅當其自然同構於遺忘下降資料的遺忘函子。
• 在纖化範疇中，內部作用之間的遺忘函子的單子性，精確地發生於其具有左伴隨時。
• 在索引範疇中，從有效下降到單子性的推論無需 Beck-Chevalley 條件。
• 存在索引範疇中的有效下降態射（例如，定義於 cat^op 上的偽函子 E），其不滿足 Beck-Chevalley 條件，但仍會誘導單子性函子。
• 在 cat^op 中，態射 h:1⊔1→2 的例子顯示，即使 Beck-Chevalley 條件不成立，單子性仍可成立，從而確認該條件的獨立性。