[논문 리뷰] A construction of Hom-Yetter-Drinfeld category

Haiying Li, Tianshui Ma|arXiv (Cornell University)|2016. 04. 11.

Advanced Topics in Algebra참고 문헌 4인용 수 5

한 줄 요약

이 논문은 Radford 이중생성 Hom-Hopf 대수 구조를 이용하여 Hom-Yetter-Drinfeld 범주 ${}_{H}^{H}\mathbb{YD}$를 도입하며, Hom-Yetter-Drinfeld 모듈이 Hom-Yang-Baxter 방정식의 해를 제공하고 ${}_{H}^{H}\mathbb{YD}$가 사전 브레이드된 텐서 범주를 이룬다는 것을 증명한다. 주요 결과는 $(A^{{\natural}}_{\diamond}H,\alpha\otimes\beta)$가 Radford 이중생성 Hom-Hopf 대수이기 위한 필요충분조건이 $(A,\alpha)$가 ${}_{H}^{H}\mathbb{YD}$ 내의 Hom-Hopf 대수임을 보여주며, 이는 Majid의 고전적 결과를 Hom-Hopf 설정으로 일반화한다.

ABSTRACT

In continuation of our recent work about smash product Hom-Hopf algebras in \cite{MLY}, we introduce Hom-Yetter-Drinfeld category $_H^H{\mathbb{YD}}$ via Radford biproduct Hom-Hopf algebra, and prove that the Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and $_H^H{\mathbb{YD}}$ is a pre-braided tensor category, where $(H, \b, S)$ is a Hom-Hopf algebra. Furthermore, we obtain that $(A^{ atural}_{\diamond} H,\aø\b)$ is a Radford biproduct Hom-Hopf algebra if and only if $(A,\a)$ is a Hopf algebra in the category $_H^H{\mathbb{YD}}$. At last, some examples and applications are given.

연구 동기 및 목표

• Hom-Hopf 대수 설정으로 Yetter-Drinfeld 모듈 이론을 확장하기 위해 Hom-Yetter-Drinfeld 범주를 구축하는 것.
• Hom-Yetter-Drinfeld 모듈이 Hom-Yang-Baxter 방정식의 해를 제공하는 카테고리적 프레임워크를 수립하는 것.
• Majid의 Radford 이중생성 구조를 Hom-Hopf 대수의 경우로 일반화하여, 스매시 코프로덕트와 스매시 프로덕트가 Hom-Hopf 대수를 이루는 조건을 규명하는 것.
• Hom-Hopf 대수와 Hom-Yetter-Drinfeld 범주 내에서의 Radford 이중생성 Hom-Hopf 대수 간의 관계를 명확히 하는 것.
• 제안된 구조와 카테고리적 프레임워크를 통해 Hom-Hopf 대수의 새로운 예와 응용을 제공하는 것.

제안 방법

• 스매시 프로덕트 Hom-대수 $(A{\natural}H,\alpha\otimes\beta)$의 쌍대 구조로 스매시 코프로덕트 Hom-코알gebra $(A\diamond H,\alpha\otimes\beta)$를 구성하는 것.
• 스매시 프로덕트 대수와 스매시 코프로덕트 코알gebra의 병합 구조로 Radford 이중생성 Hom-반대수 $(A^{\natural}_{\diamond}H,\alpha\otimes\beta)$를 정의하는 것.
• 이전 연구들과는 다름을 고려한 새로운 정의를 통해 Hom-모듈과 Hom-코모듈의 구조와 호환 조건을 포함한 Hom-Yetter-Drinfeld 범주 ${}_{H}^{H}\mathbb{YD}$를 도입하는 것.
• Hom-Yang-Baxter 방정식에서 유도된 브레이딩을 사용하여 범주 ${}_{H}^{H}\mathbb{YD}$가 사전 브레이드된 텐서 범주임을 증명하는 것.
• 등가 조건을 확립: $(A^{\natural}_{\diamond}H,\alpha\otimes\beta)$가 Radford 이중생성 Hom-Hopf 대수이기 위한 필요충분조건은 $(A,\alpha)$가 ${}_{H}^{H}\mathbb{YD}$ 내의 Hom-Hopf 대수임을 보여주는 것.
• 쿼시트리앙귤러 구조 $R$을 사용하여 Hom-Yetter-Drinfeld 모듈로부터 Hom-Yang-Baxter 방정식의 해를 유도하는 것.

실험 결과

연구 질문

• RQ1 Yetter-Drinfeld 모듈 구조는 어떻게 Hom-Hopf 대수 설정으로 일반화되어 Hom-Yetter-Drinfeld 모듈의 범주를 형성할 수 있는가?
• RQ2 Radford 이중생성 구조가 Hom-설정에서 Hom-Hopf 대수를 유도하기 위해 필요한 조건은 무엇인가?
• RQ3 Hom-Yetter-Drinfeld 모듈은 Hom-Yang-Baxter 방정식의 해를 제공할 수 있으며, 만약 그렇다면 이러한 해는 어떻게 구성되는가?
• RQ4 Hom-Yetter-Drinfeld 범주 ${}_{H}^{H}\mathbb{YD}$는 사전 브레이드된 텐서 범주인가? 이 구조에서 브레이딩의 역할은 무엇인가?
• RQ5 Hom-Hopf 대수의 Radford 이중생성 Hom-Hopf 대수가 Hom-Yetter-Drinfeld 범주 내의 Hom-Hopf 대수로부터 유도될 때의 정확한 카테고리적 특성은 무엇인가?

주요 결과

• Hom-Yetter-Drinfeld 범주 ${}_{H}^{H}\mathbb{YD}$는 Radford 이중생성 Hom-Hopf 대수를 통해 구성되며, Hom-Hopf 대수의 새로운 카테고리적 프레임워크를 제공한다.
• Hom-Yetter-Drinfeld 모듈은 Yau의 정의에 따라 Hom-Yang-Baxter 방정식의 해를 제공하며, 이는 통합 가능한 시스템과 양자군과의 연결 고리를 확립한다.
• 범주 ${}_{H}^{H}\mathbb{YD}$는 Hom-Yang-Baxter 방정식에서 유도된 브레이딩을 갖는 사전 브레이드된 텐서 범주이다.
• Radford 이중생성 Hom-Hopf 대수 $(A^{\natural}_{\diamond}H,\alpha\otimes\beta)$가 Hom-Hopf 대수임은 $(A,\alpha)$가 범주 ${}_{H}^{H}\mathbb{YD}$ 내의 Hom-Hopf 대수임과 필요충분조건을 이룬다. 이는 Majid의 고전적 결과를 일반화한다.
• Hom-Hopf 대수 $H$가 왼쪽 코모듈 Hom-코알gebra이자 Hom-Yetter-Drinfeld 모듈이면 쿼시트리앙귤러 Hom-Hopf 대수 구조가 실현되며, 이 경우 R-행렬은 코모듈 구조에서 유도된다.
• 코브레이드된 Hom-Hopf 대수 구조는 $H$ 위에 호환되는 Hom-모듈 대수 구조가 존재함을 의미하며, 이는 이중선형 사상 $\sigma$를 통해 연결되며, Hom-설정에서의 이중성과 관련된다.