[논문 리뷰] On the structure of (co-Frobenius) Hopf algebras

Nicolás Andruskiewitsch, Juan Cuadra|arXiv (Cornell University)|2010. 11. 15.

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

한 줄 요약

이 논문은 항등형 반대자(antipode)를 가진 호프 대수에 대해 표준 필터링(standard filtration)을 도입한다. 이는 코라디칼 필터링의 일반화로, 이러한 호프 대수의 구조 정리를 가능하게 하며, 호프 코라디칼의 보소니제이션(bosonization)에 의해 연결된 등급 다이어그램(connected graded diagram)으로의 변형(deformation)을 제공한다. 주요 기여는 다음과 같다: 호프 대수는 여부모피안(co-Frobenius)이 될 조건을 특성화한 것으로, 그 조건은 호프 코라디칼이 여부모피안이면서 다이어그램이 유한 차원일 때이다. 이 경우 표준 필터링은 유한하다.

ABSTRACT

We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra is co-Frobenius if and only if its Hopf coradical is so and the diagram is finite dimensional. We also prove that the standard filtration of such Hopf algebras is finite. Finally, we show that extensions of co-Frobenius (resp. cosemisimple) Hopf algebras are co-Frobenius (resp. cosemisimple).

연구 동기 및 목표

• 항등형 반대자를 가진 호프 대수에 적용 가능한 새로운 필터링—표준 필터링—을 정의함으로써 코라디칼 필터링을 일반화하기.
• 이러한 호프 대수의 구조적 분해를 제공함: 호프 코라디칼의 보소니제이션에 의해 연결된 등급 다이어그램으로의 변형(deformation)으로서의 표현.
• 관련된 예터-드린펠트(Yetter-Drinfeld) 카테고리 내에서 여부모피안 호프 대수의 분류 문제를 여부모피안 호프 코라디칼과 유한 차원 연결 등급 호프 대수의 분류 문제로 환원함.
• 여부모피안 또는 코세미단순(cosemsimple) 호프 대수의 확장이 여전히 여부모피안 또는 코세미단순일 조건을 설정함.
• 여부모피안 호프 대수에 대해 코라디칼 필터링의 유한성에 대한 추측을 해결함: 이 경우 표준 필터링이 유한함을 증명함.

제안 방법

• 코라디칼에서 출발하여 호프 코라디칼—코라디칼에 의해 생성되는 부분대수—에서 시작해 반복적인 와이드 연산(wedge operations)을 사용하여 표준 필터링을 정의함.
• 반대자가 단사일 경우 표준 필터링이 호프 대수 필터링임을 보임으로써, 관련된 등급 호프 대수 $\operatorname{gr}H$ 를 구성할 수 있음.
• 표준 필터링을 통해 $\operatorname{gr}H$ 가 호프 코라디칼 $H_{[0]}$ 과의 보소니제이션에서, 예터-드린펠트 $H_{[0]}$-모듈의 연결 등급 호프 대수 $R$ (즉, $H$ 의 다이어그램)에 의한 보소니제이션임을 식별함.
• 이 구조를 활용해 $H$ 를 적절한 코homological 프레임워크 내에서 $\operatorname{gr}H$ 의 변형으로 해석함.
• 여기서 구조 정리를 여부모피안 호프 대수의 클래스에 적용함: 단순 코모듈의 유한 차원 단일화(injective hull)를 포함한 표현론적 특성화를 활용함.
• 특히 몰입된 코플랫성(faithful coflatness) 조건 하에서, 확장 이론을 통해 여부모피안과 코세미단순 성질 간의 이중성(duality)을 수립함.

실험 결과

연구 질문

• RQ1 항등형 반대자를 가진 호프 대수가, 그 호프 코라디칼의 보소니제이션과 연결된 등급 다이어그램으로의 변형으로 분해될 수 있는 조건은 무엇인가?
• RQ2 호프 대수가 여부모피안일 조건은 무엇이며, 이 성질은 그 호프 코라디칼과 다이어그램과 어떻게 관련되는가?
• RQ3 여부모피안 호프 대수의 표준 필터링은 유한한가? 이는 코라디칼 필터링의 유한성과 어떤 관련이 있는가?
• RQ4 여부모피안(또는 코세미단순) 호프 대수의 확장이 여전히 여부모피안(또는 코세미단순)일 조건은 무엇인가?
• RQ5 호프 대수의 확장에서, 비영인 적분의 존재성과 코모듈의 유한 차원 단일화의 존재성 간의 상호작용은 어떻게 나타나는가?

주요 결과

• 항등형 반대자를 가진 호프 대수는 그 다이어그램—호프 코라디칼 위의 예터-드린펠트 모듈에서의 연결 등급 호프 대수—에 의한 호프 코라디칼의 보소니제이션의 변형과 동형임을 보장함.
• 호프 대수는 여부모피안일 조건이 그 호프 코라디칼이 여부모피안이면서 다이어그램이 유한 차원일 때이다.
• 여부모피안 호프 대수의 표준 필터링은 유한하며, 이는 이 클래스에서 코라디칼 필터링의 유한성에 대한 추측을 확인함.
• 확장 $1 \to A \to B \to C \to 1$ 에서 $B$ 가 $C$-코모듈로서 충실하게 코플랫(faithfully coflat)일 경우, $B$ 가 여부모피안일 조건은 $A$ 와 $C$ 가 모두 여부모피안일 때이다.
• 호프 대수의 확장에서 $B$ 가 $C$-코모듈로서 충실하게 코플랫일 경우, $B$ 가 코세미단순일 조건은 $A$ 와 $C$ 가 모두 코세미단순일 때이다.
• 호프 대수의 사상 $g: K \to H$ 에서 $H$ 가 오른쪽 $K$-모듈로서 유한 생성일 경우, $H^0$ 이 여부모피안일 조건은 $K^0$ 이 여부모피안일 때이며, $H$ 가 $K$ 에 대해 평탄할 경우 역도 성립함.