[논문 리뷰] Abstract integrals in algebra: coalgebras, Hopf algebras and compact groups

Miodrag C. Iovanov|arXiv (Cornell University)|2008. 10. 21.

Algebraic structures and combinatorial models참고 문헌 19인용 수 9

한 줄 요약

이 논문은 순수 (코)대수적 프레임워크를 사용하여, 컴act 군과 호프 대수에서의 적분의 존재성과 유일성에 대한 고전적 결과를 임의의 코대수로 일반화한다. 오른쪽 $C$-코모듈 $M$에 대해 일반화된 적분 공간 $∫_M = \mathrm{Hom}^C(C, M)$을 도입하고, 코대수 $C$가 코프로베니우스임은 모든 유한차원 코모듈에 대해 적분의 존재성과 유일성이 동시에 성립함과 동치임을 증명한다. 이는 호프 대수 이론의 고전적 결과를 확장하며, 무한차원 대수의 표현 이론에 대한 새로운 통찰을 제공한다.

ABSTRACT

We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra $C$, we introduce the generalized space of integrals $\int_M=\Hom^C(C,M)$ associated to a right $C$-comodule $M$ and study connections between "uniqueness of integrals" $\dim(\int_M)\leq \dim(M)$ and "existence of integrals" $\dim(\int_M)\geq \dim(M)$ for all $M$ and representation theoretic properties of $C$: (quasi)-co-Frobenius, semiperfect. We show that a coalgebra is co-Frobenius if and only if existence and uniqueness of integrals holds for any finite dimensional $M$. We give the interpretation for $\int_M$ for the coalgebra of representative functions of a compact group - they will be "quantum"-invariant vector integrals. As applications, new proofs of well known characterizations of co-Frobenius coalgebras and Hopf algebras are obtained, as well as the uniqueness of integrals in Hopf algebras. We also give the consequences for the representation theory of infinite dimensional algebras. We give an extensive class of examples which show that the results of the paper are the best possible. These examples are then used to give all the previously unknown connections between the various important classes of coalgebras appearing in literature.

연구 동기 및 목표

• 컴 pact 군과 호프 대수에서의 고전적 적분 이론을 임의의 코대수에 대한 순수 (코)대수적 설정으로 확장한다.
• 모든 오른쪽 $C$-코모듈 $M$에 대해 일반화된 적분 공간 $\u222b_M = \mathrm{Hom}^C(C, M)$을 정의하고 연구하며, 왼쪽 적분의 개념을 일반화한다.
• 모든 유한차원 코모듈을 통해 적분의 동시에 존재성과 유일성을 만족하는 조건을 통해 코프로베니우스 코대수를 특성화한다.
• 이 일반화된 프레임워크를 사용하여 기존의 코프로베니우스 및 세미퍼펙트 코대수에 대한 결과들을 새롭게 증명한다.
• 코대수의 구조에서 자연스럽게 유도되는 양자 불변 벡터값 적분과 대수적 적분의 개념을 연결하며, 컴 pact 군에서의 양자 불변 벡터값 적분이 코대수의 구조에서 유래됨을 보여준다.

제안 방법

• 오른쪽 $C$-코모듈 $M$에 대해 왼쪽 적분 공간 $\u222b_{l,M} = \mathrm{Hom}_{C^*}(C^C, M^C)$을 정의하여, 호프 대수에서의 적분을 $C^*$-모듈 사상으로 일반화한다.
• 적분의 존재성과 유일성의 척도로 각각 $\dim(\u222b_{l,M}) \leq \dim(M)$과 $\dim(\u222b_{l,M}) \geq \dim(M)$을 사용한다.
• 코대수 $C$가 코프로베니우스임은 모든 유한차원 오른쪽 $C$-코모듈 $M$에 대해 $\dim(\u222b_{l,M}) = \dim(M)$임과 동치임을 증명하여, 이 성질이 적분의 존재성과 유일성과 연결됨을 보인다.
• 콤팩트 군 $G$의 $C(G)$에서 하르 측도를 통해 양자 불변 적분을 명시적으로 구성하고, 표현 $\eta: G \to \mathrm{GL}(V)$에 대해 $\mathrm{Hom}^{R_c(G)}(R_c(G), V)$에 속하는 원소들과 대응됨을 보인다.
• 피터-웨일 정리를 적용하여 $C(G)$ 위의 연속적 적분이 $R_c(G)$로의 제한에 의해 결정됨을 보이고, 이를 통해 양자 불변 적분의 유일성을 증명한다.
• 정규화된 왼쪽 하르 측도의 존재를 이용하여 $H_\eta: V \to \mathrm{Int}_\eta$에 왼쪽 역함수를 구성함으로써 $\dim(\mathrm{Int}_\eta) \geq \dim(V)$임을 증명하고, 적분의 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 코대수 $C$에 대해 모든 유한차원 오른쪽 $C$-코모듈 $M$에 대해 일반화된 적분 공간 $\u222b_M = \mathrm{Hom}^C(C, M)$이 $\dim(\u222b_M) \geq \dim(M)$을 만족하는가?
• RQ2 어떤 조건에서 모든 유한차원 오른쪽 $C$-코모듈 $M$에 대해 $\dim(\u222b_M) \leq \dim(M)$이 성립하여 적분의 유일성이 보장되는가?
• RQ3 모든 유한차원 코모듈에 대해 적분의 존재성과 유일성이 동시에 성립하는 코대수 $C$의 정확한 대수적 특성은 무엇인가?
• RQ4 콤팩트 군 $G$에서의 양자 불변 벡터값 적분은 코대수 $R_c(G)$의 대수적 적분과 어떻게 관련되어 있는가?
• RQ5 하르 측도는 일반화된 프레임워크에서 명시적인 적분을 구성하는 데 어떤 역할을 하는가? 그리고 존재성을 보장하는 방식은 무엇인가?

주요 결과

• 모든 유한차원 오른쪽 $C$-코모듈 $M$에 대해 일반화된 적분 공간 $\u222b_M$가 $\dim(\u222b_M) = \dim(M)$을 만족함은 코대수 $C$가 코프로베니우스임과 동치이며, 이는 적분의 존재성과 유일성에 의한 완전한 특성화를 제공한다.
• 콤팩트 군 $G$와 표현 $\eta: G \to \mathrm{GL}(V)$에 대해, 양자 $\eta$-불변 적분 공간 $\mathrm{Int}_\eta$는 $\dim(\mathrm{Int}_\eta) \leq \dim(V)$를 만족하여 이러한 적분의 유일성을 증명한다.
• 콤팩트 군 $G$에 정규화된 왼쪽 하르 측도가 존재하면, $H_\eta: V \to \mathrm{Int}_\eta$는 선형 임베딩이면서 왼쪽 역함수를 가지며, 이로 인해 $\dim(\mathrm{Int}_\eta) \geq \dim(V)$임을 증명하고, 따라서 $\dim(\mathrm{Int}_\eta) = \dim(V)$임을 보인다.
• 유한차원 오른쪽 $C$-코모듈 $M$에 대해 일반화된 적분 공간 $\u222b_M = \mathrm{Hom}^C(C, M)$은 $\mathrm{Hom}_{C^*}(C^C, M^C)$와 동형임을 보여주며, 호프 대수의 구조가 없을 경우에도 적분의 표준적인 대수적 프레임워크를 제공한다.
• 콤팩트 군 $G$의 표현 함수 코대수 $R_c(G)$에 대해, 일반화된 적분 $\u222b_M$은 정확히 $G$의 작용에 대해 $\eta$를 통해 불변인 연속적인 벡터값 적분과 대응되며, 함수해석학과 대수학을 연결한다.
• 논문은 비영인 적분이 존재하는 조건 하에, 자명한 코모듈 $M = K$에 대해 $\dim(\u222b_M) = 1$임을 보여, 호프 대수에서의 적분의 유일성에 대한 새로운 증명을 제공한다.