[논문 리뷰] On Tannaka Duality

M. Szyld|arXiv (Cornell University)|2011. 10. 24.

Algebraic structures and combinatorial models참고 문헌 8인용 수 3

한 줄 요약

이 논문은 벡터 공간에서 추상 텐서 범주로 Tannaka 이중성의 일반화를 따라 Joyal과 Street의 프레임워크를 따르며, 텐서 범주와 호프 대수 사이의 이중성을 수립한다. 이는 한 범주와 호프 대수의 유한차원 코모듈의 범주 사이의 리프팅-동치를 증명하고, 이 동치를 역으로 적용하면 K-선형 텐서 범주에서 Saavedra Rivano와 Deligne-Milne의 결과를 복원함을 보여준다.

ABSTRACT

The purpose of this work is twofold: to expose the existing similarities between the generalizations of the Tannaka and Galois theories, and on the other hand, to develop in detail our own treatment of part of the content of Joyal and Street [1] paper, generalizing from vector spaces to an abstract tensor category. We also develop in detail the proof of the Tannaka equivalence of categories in the case of vector spaces. Saavedra Rivano [2], Deligne and Milne [3] generalize classical Tannaka theory to the context of K-linear tensor (or monoidal) categories. They obtain a lifting-equivalence into a category of \group representations for a finite-dimensional vector space valued monoidal functor. This lifting theorem is similar to the one of Grothendieck Galois theory [4] for a finite sets valued functor. On the other hand, Joyal and Street [1] work on the algebraic side of the duality between algebra and geometry, and also obtain a lifting-equivalence, but now to the category of finite-dimensional comodules over a Hopf algebra. In this work we follow the ideas of Joyal and Street and prove their lifting-equivalence, and then we show how it corresponds, by dualizing, to the ones of Saavedra Rivano [2] and Deligne and Milne [3]. Text is in spanish, but a brief english introduction is provided.

연구 동기 및 목표

• 텐서 범주 맥락에서 일반화된 Tannaka 이중성과 갈루아 이론 간의 관계를 통합하고 명확히 하는 것.
• 추상 텐서 범주에 대해 Joyal과 Street의 리프팅-동치 정리의 상세한 발전을 제공하는 것.
• Joyal과 Street의 코모듈 기반 동치를 역으로 적용하면 Saavedra Rivano와 Deligne-Milne의 고전적 Tannaka-Kreín 결과를 어떻게 회복할 수 있는지 보여주는 것.
• 고전적 Tannaka 이중성 프레임워크를 벡터 공간에서 임의의 K-선형 텐서 범주로 일반화하는 것.
• 대수기하학, 표현 이론, 그리고 범주적 이중성 간의 개념적 다리를 세우기 위해 호프 대수의 코모듈을 통해 연결하는 것.

제안 방법

• 알gebra와 기하학 사이의 이중성에 대해 Joyal과 Street의 범주론적 프레임워크를 채택하며, 주로 모나이드 범주에 초점을 맞춘다.
• 텐서 범주에서 유한차원 호프 대수 위의 코모듈의 범주로의 리프팅-동치를 구성한다.
• 피버 함수의 구조를 이용하여 Tannakian 재구성 과정을 통해 호프 대수를 복원한다.
• 이중성 원리를 적용하여 코모듈 범주를 표현 이론적 맥락으로 다시 변환한다.
• 얻어진 동치가 K-선형 텐서 범주 맥락에서 고전적 Tannaka-Kreín 정리들과 어떻게 비교 가능한지 분석한다.
• 모나이드 함자와 자연변환의 형식을 활용하여 일반적인 경우에서의 동치를 증명한다.

실험 결과

연구 질문

• RQ1 Joyal과 Street의 호프 대수 위의 코모듈 맥락에서의 리프팅-동치는 고전적 Tannaka 이중성과 어떻게 관련되어 있는가?
• RQ2 Joyal과 Street의 코모듈 동치의 정확한 범주론적 이중은 무엇이며, 이를 통해 Saavedra Rivano와 Deligne-Milne의 결과를 어떻게 복원할 수 있는가?
• RQ3 벡터 공간에서 추상 텐서 범주로 Tannaka 이중성의 일반화가 표현 이론의 본질적 구조를 어떻게 유지하는가?
• RQ4 코모듈 맥락에서의 리프팅-동치를 체계적으로 이중화하여 고전적 Tannaka-Kreín 재구성 정리를 어떻게 회복할 수 있는가?
• RQ5 유한차원 벡터 공간으로의 모나이드 함자가 어떤 조건을 만족하면, 그 코모듈이 원래 범주를 복원하는 호프 대수를 유도하는가?

주요 결과

• 논문은 리치 텐서 범주와 호프 대수의 유한차원 코모듈의 범주 사이의 리프팅-동치를 수립하며, Joyal과 Street의 결과를 일반화한다.
• 이 동치를 이중화하면 K-선형 텐서 범주 맥락에서 Saavedra Rivano와 Deligne-Milne의 고전적 Tannaka-Kreín 재구성 정리가 복원된다.
• 재구성된 호프 대수의 코모듈 범주는 주어진 피버 함수 조건 하에서 원래 범주와 동치임을 보여준다.
• 리프팅-동치의 증명이 상세히 개발되어 있어, 추상 텐서 범주에서 Tannaka 이중성의 범주론적 기초를 제공한다.
• 이 프레임워크는 Joyal과 Street가 형식화한 대수와 기하학 사이의 이중성이 K-선형 텐서 범주 맥락으로 자연스럽게 일반화됨을 보여준다.
• 결과적으로 고전적 벡터 공간에 대한 Tannaka 이중성은 호프 대수와 코모듈을 포함하는 더 넓은 범주론적 이중성의 특수한 경우임을 확인한다.