[논문 리뷰] Descent Data and Absolute Kan Extensions

Fernando Lucatelli Nunes|arXiv (Cornell University)|2019. 06. 03.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 립스 다운 데이터를 忽略하는 함자들이 임의의 립스 다운 객체를 갖는 2-범주에서 절대 칸 확장들을 생성한다는 것을 증명하여, 내림내림 이론과 단순성 이론 사이의 연결 고리를 확립한다. 핵심 결과는 이러한 忽略 함자들이 왼쪽 수반을 갖는다면 단순성임을 보여주며, 이는 베누-루바르 정리의 한 방향이 베크-셰발리 조건을 요구하지 않아도 된다는 것을 증명한다. 이는 특히 그 성질이 없는 색인 범주에서도 성립한다.

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-범주적 프레임워크를 수립하는 것.
• 립스 다운 객체를 갖는 2-범주에서 립스 다운 데이터를 忽略하는 함자들이 절대 칸 확장을 생성한다는 것을 보여주는 것.
• 베크-셰발리 조건을 요구하지 않는, 내림내림 데이터를 忽略하는 함자들에 대한 단순성 정리 증명하기.
• 베크-셰발리 조건이 성립하지 않는 색인 범주에서도 효과적인 내림내림 사상이 단순성 함자들을 유도한다는 것을 보여주는 것.
• 베크-셰발리 조건을 독립적으로 내림내림 이론과 단순성 이론의 관계를 명확히 하여, 내림내림이 단순성임을 보여주는 것.

제안 방법

• 등차수를 2차원적으로 일반화한 립스 다운 범주를 사용하여 2세포의 일관성 데이터를 표현한다.
• 2-범주에서 절대 칸 확장을 다루는 이론을 적용하여, 립스 다운 범주에서의 忽略 함자들이 이러한 확장을 생성한다는 것을 보여준다.
• 범주 Cat에서 내림내림 데이터를 忽略하는 함자들이 왼쪽 수반을 갖는 경우에만 단순성임을 이용한다.
• 색인 범주의 일반적 프레임워크를 구성하고, 범주에서 Cat로의 편의 함수를 통한 내부 작용을 정의한다.
• 색인 범주에서의 효과적인 내림내림 사상은 당김 함자들의 동치성으로 특성화된다는 것을 이용한다.
• 정리 2.7을 적용하여, 효과적인 내림내림 사상이 당김 함자가 왼쪽 수반을 갖는다면 단순성 함자들을 유도한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 립스 다운 객체를 갖는 2-범주에서 내림내림 데이터를 忽略하는 함자들이 절대 칸 확장을 생성하는가?
• RQ2 베크-셰발리 조건을 가정하지 않고도 내림내림 데이터를 忽略하는 함자의 단순성은 입증될 수 있는가?
• RQ3 베크-셰발리 조건을 만족하지 않는 색인 범주에서도 효과적인 내림내림에서 단순성으로의 함의는 성립하는가?
• RQ4 자연 동치로 내림내림 데이터의 忽略 함자와 동치인 오른쪽 수반 함자가 단순성임을 만족하는 조건은 무엇인가?
• RQ5 베누-루바르 정리의 단순성 결론은 베크-셰발리 조건에 의존하는가?

주요 결과

• 임의의 립스 다운 객체를 갖는 2-범주에서 립스 다운 범주에서의 忽略 함자들은 모든 절대 칸 확장을 생성한다.
• 범주 Cat에서 오른쪽 수반 함자는 오직 그것이 내림내림 데이터를 忽略하는 함자와 자연 동치일 때에만 단순성임이 보장된다.
• 섬애너리 범주에서 내부 작용 간의 忽略 함자의 단순성은 오직 그것이 왼쪽 수반을 갖는 경우에만 성립한다.
• 색인 범주에서 효과적인 내림내림에서 단순성으로의 함의는 베크-셰발리 조건을 요구하지 않는다.
• 예를 들어 cat^op 위에서 정의된 편의 함수 E에 대해, 베크-셰발리 조건을 만족하지 않는 효과적인 내림내림 사상이 존재하나, 여전히 단순성 함자들을 유도한다.
• cat^op에서의 사상 h:1⊔1→2의 예시는, 베크-셰발리 조건이 성립하지 않더라도 단순성은 유지될 수 있음을 보여주며, 이 조건의 독립성을 확인한다.