[논문 리뷰] Fiber functors, monoidal sites and Tannaka duality for bialgebroids

Kornél Szlachányi|ArXiv.org|2009. 07. 09.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 논문은 비아벨적 소형 가환 모나드 카테고리로 일반화된 섬유 함자들을 사용하여, 이원형대수에 대한 Tannaka 쌍대성 정리를 수립한다. 이를 위해 모나드적 사이트와 층 이론적 구성 기법을 활용한다. 주요 결과는 재구성된 이원형대수의 코모듈 카테고리가 원래 카테고리 위의 모나드적 그로텐디크 위상에 대한 층의 카테고리와 동치임을 보여주며, 이는 이전의 결과를 아벨 설정을 초월하여 확장한다.

ABSTRACT

What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction reveals a sheaf theoretic interpretation in so far as the reconstructed bialgebroid H has comodule category equivalent to the category of T-sheaves w.r.t. a monoidal Grothendieck topology on C. We also prove an existence theorem for fiber functors on small additive monoidal categories with bounded fusion and weak kernels. For certain autonomous categories a generalized Ulbrich Theorem can be formulated which relates fiber functors to Hopf algebroid Galois extensions.

연구 동기 및 목표

• 비아벨적일 수 있는 소형 가환 모나드 카테고리로의 Tannaka 쌍대성 확장을 위해, 기존의 섬유 함자들이 근본적인 구조(핵과 여핵)가 없어 실패할 수 있는 상황에서의 적용 가능성을 확장한다.
• Deligne, Hai, Ulbrich의 고전적 프레임워크를 일반화하여 비아벨적 카테고리에 적합한 새로운 섬유 함자 클래스를 정의한다.
• 모나드적 그로텐디크 위상 위의 층을 이용한 재구성 정리를 통해 이원형대수에 대한 이론을 수립함으로써, 카테고리적 쌍대성과 층 이론의 연결 고리를 마련한다.
• 제한된 융합과 약한 핵 조건 하에서 섬유 함자의 존재를 증명하여, 아벨 카테고리 외의 범위로의 적용 가능성을 넓힌다.

제안 방법

• 섬유 함자 $F$ 에서 시작하여, 페르시프레시프 카테고리로의 모나드적 확장 함자 $\mathcal{F}$ 를 구성하며, 이는 텐서 구조를 유지한다.
• 원래 카테고리와 페르시프레시프 카테고리 사이의 모나드적 수반 관계 $\mathcal{F} \dashv \mathcal{G}$ 를 도입한다.
• 모나드적 그로텐디크 위상에 대한 층과 대응하는 모나드적 등복 기반 모나드 $\mathsf{T}$ 를 정의한다.
• 비교 함자를 사용하여 재구성된 이원형대수의 코모듈 카테고리와 $\mathsf{T}$-층의 카테고리 간의 관계를 규명한다.
• 통합 정리를 적용하여 $\mathsf{T}$-층의 카테고리가 이원형대수 위의 모듈의 전형 부분카테고리로 표현됨을 보인다.
• 자기 동치적 설정에서 섬유 함자와 호프 이원형대수 갈로와 확장 간의 관계를 연결하는 일반화된 Ulbrich 정리를 도출한다.

실험 결과

연구 질문

• RQ1 소형 가환 모나드 카테고리 $\mathcal{C}$ 가 아벨이 아닐 경우, 섬유 함자가 존재하기 위한 조건은 무엇인가?
• RQ2 원래 카테고리가 아벨이 아니라는 조건 하에서 이원형대수에 대한 Tannaka 쌍대성을 어떻게 재구성할 수 있는가?
• RQ3 재구성된 이원형대수의 코모듈 카테고리에 대한 층 이론적 해석은 무엇인가?
• RQ4 모나드적 그로텐디크 위상은 섬유 함자와 Tannaka 재구성의 구조와 어떻게 관련되는가?
• RQ5 자기 동치적 설정에서 섬유 함자와 갈로와 확장을 이용해 호프 이원형대수에 대한 일반화된 Ulbrich 정리를 어떻게 구성할 수 있는가?

주요 결과

• 재구성된 이원형대수 $H$ 의 코모듈 카테고리가 원래 카테고리 위의 모나드적 그로텐디크 위상에 대한 $\mathcal{T}$-층의 카테고리와 동치임을 보여, Tannaka 쌍대성에 대한 층 이론적 해석을 제공한다.
• 제한된 융합과 약한 핵 조건을 만족하는 소형 가환 모나드 카테고리에서는 섬유 함자가 존재함을 증명하여, 아벨 카테고리 외의 범위로 Tannaka 쌍대성의 적용 가능성을 넓힌다.
• 재구성 정리는 $\mathcal{C} \simeq \mathcal{M}^Q_{\mathrm{fgp}}$ 의 모나드적 동치를 수립하며, 여기서 $\mathcal{M}^Q_{\mathrm{fgp}}$ 는 유한 생성 프로젝티브 기저를 가진 코모듈의 전형 부분카테고리이다.
• 자기 동치적 카테고리에서는 일반화된 Ulbrich 정리를 증명하여, 섬유 함자와 호프 이원형대수 갈로와 확장을 갈로와 대상 $G$ 를 통해 연결한다.
• 재구성된 이원형대수의 항성은 호프 이원형대수의 공리를 만족하며, 카테고리 $\mathcal{C}$ 가 펄서널일 경우 항성은 자기 반복적이다.
• 논문은 Deligne와 Hai의 결과를 비가환 기저환으로까지 확장하는 $k$-선형 재구성 정리의 버전을 제공한다.