[논문 리뷰] Separability Idempotents and Multiplier Algebras

Alfons Van Daele|arXiv (Cornell University)|2013. 01. 18.

Advanced Operator Algebra Research참고 문헌 11인용 수 13

한 줄 요약

이 논문은 비가역 복소 대수 $B \bigotimes C$ 의 승수 대칭에서 분리 가능 성질을 지닌 아이디포텐트를 도입하고 연구한다. 이는 유한 차원 대수에서의 개념을 일반화한 것으로, 반-준동형사상 $S_B$ 와 $S_C$ 를 통한 존재 조건을 확립하고, 정규성(역대수에서의 분리 가능성으로 정의됨)이 유한 차원, 아벨, 또는 $^*$-대수의 경우에 자동으로 성립함을 증명한다. 이는 $B$ 와 $C$ 의 구조적 특성화를 이끌어낸다.

ABSTRACT

Consider two non-degenerate algebras B and C over the complex numbers. We study a certain class of idempotent elements E in the multiplier algebra of the tensor product of B with C, called separability idempotents. The conditions include the existence of non-degenerate anti-homomorphisms from B to M(C) and from C to M(B), the multiplier algebras of C and B respectively. They are called the antipodal maps. There also exist what we call distinguished linear functionals. They are unique and faithful in the regular case. The notion is more restrictive than what is generally considered in the case of (finite-dimensional) algebras with identity. The separability idempotents we consider in this paper are of a Frobenius type. It seems to be quite natural to consider this type of separability idempotents in the case of non-degenerate algebras possibly without an identity. One example is coming from a discrete quantum group A. Here we take B=C=A and E is the image under the coproduct of h, where h is the normalized cointegral. The antipodal maps coincide with the original antipode and the distinguished linear functionals are the integrals. Another example is obtained from a weak multiplier Hopf algebra A. Now B and C are the images of the source and target maps. For E we take the canonical idempotent. Again the antipodal maps come from the antipode of the weak multiplier Hopf algebra. These two examples have motivated the study of separability idempotents as used in this paper. We use the separability idempotent to study modules over the base algebras B and C. In the regular case, we obtain a structure theorem for these algebras.

연구 동기 및 목표

• 비가역 복소 대수에 대해 승수 대칭을 이용하여, 유한 차원 단위 대수에서의 분리 가능 아이디포텐트 개념을 비가역, 비단위 복소 대수로 일반화한다.
• 승수 대칭 $M(B \otimes C)$ 에서의 분리 가능 아이디포텐트 $E$ 를 정의하고, 반-준동형사상 $S_B: B \to M(C)$ 와 $S_C: C \to M(B)$ 를 포함한 왜곡된 공변 조건을 분석한다.
• 이러한 아이디포텐트의 정규성 개념을 조사한다. 정규성은 $M(B^{\text{op}} \otimes C^{\text{op}})$ 에서의 분리 가능성으로 정의되며, 정규성이 성립하는 조건을 규명한다.
• 정규인 경우 $B$ 와 $C$ 에 대한 구조적 결과를 확립하고, 약한 승수 호프 대수와 이산 양자군과의 관계를 탐색한다.
• 주요 열린 문제를 규명한다. 특히 비정규 분리 가능 아이디포텐트의 구성과 비정규 약한 승수 호프 대수에서의 예시들에 대한 문제를 제기한다.

제안 방법

• 승수 대칭 $M(B \otimes C)$ 에서의 분리 가능 아이디포텐트 $E$ 는 모든 $b \in B$, $c \in C$ 에 대해 $E(b \otimes 1) = E(1 \otimes S_B(b))$ 와 $(1 \otimes c)E = (S_C(c) \otimes 1)E$ 를 만족하는 아이디포텐트로 정의되며, $S_B$, $S_C$ 는 비가역 반-준동형사상이어야 한다.
• 선형 함수 $\varphi_B$ 와 $\varphi_C$ 를 $(\varphi_B \otimes \iota)E = 1$ 과 $(\iota \otimes \varphi_C)E = 1$ 을 통해 정의하며, 이는 행렬 대수의 추적을 일반화한다.
• 정규성은 $E$ 가 $M(B^{\text{op}} \otimes C^{\text{op}})$ 에서도 분리 가능할 때 정의되며, $E$ 가 정규임과 $S_B$ 와 $S_C$ 가 각각 $C$ 와 $B$ 에 값이 포함되는 반-동형사상임은 동치임을 증명한다.
• 정규성 조건을 이용해 구조적 결과를 도출한다. $E$ 가 정규일 경우, $B$ 와 $C$ 는 특정한 쌍대성 성질을 지닌 프로베누스 대수임을 보인다.
• 두 가지 핵심 예를 분석한다: 약한 승수 호프 대수에서의 표준 아이디포텐트와, 정규화된 코이нт라팔 $h$ 를 가진 이산 양자군에서의 $\Delta(h)$.
• 일부 경우(예: $E^2 = 0$)에서 $E^2 = E$ 가 성립하지 않는 실패 사례를 분석하고, 아이디포텐트가 아닌 경우로 이론을 일반화하는 데 미치는 영향을 논의한다.

실험 결과

연구 질문

• RQ1 대수 $B$ 와 $C$ 에 대해, 반-준동형사상 $S_B$ 와 $S_C$ 와 함께 왜곡된 공변 조건을 만족하는 분리 가능 아이디포텐트 $E \in M(B \otimes C)$ 가 존재하는 조건은 무엇인가?
• RQ2 분리 가능 아이디포텐트 $E$ 가 정규인가, 즉 $M(B^{\text{op}} \otimes C^{\text{op}})$ 에서도 분리 가능인가? 이 경우 어떤 구조적 결과가 도출되는가?
• RQ3 왜 유한 차원, 아벨, 또는 $^*$-대수의 경우에 자명하게 정규성이 성립하는가? 특히 $E$ 가 자기수반일 경우, 이는 기저 대수에 어떤 영향을 미치는가?
• RQ4 비정규 분리 가능 아이디포텐트는 어떻게 구성할 수 있으며, 비정규 약한 승수 호프 대수나 비단사성 반대칭성에서 유래된 예시는 무엇인가?
• RQ5 이산 양자군에서 $\Delta(h)$ 는 $E^2 = 0$ 가 발생할 수 있으나, 아이디포텐트가 아니므로 분리 가능 아이디포텐트 프레임워크와의 관계는 어떻게 설명할 수 있는가?

주요 결과

• 승수 대칭 $M(B \otimes C)$ 에서 분리 가능 아이디포텐트 $E$ 가 존재하는 것은, 왜곡된 공변 조건 $E(b \otimes 1) = E(1 \otimes S_B(b))$ 와 $(1 \otimes c)E = (S_C(c) \otimes 1)E$ 를 만족하는 비가역 반-준동형사상 $S_B: B \to M(C)$ 와 $S_C: C \to M(B)$ 가 존재하는 것과 동치이다.
• $(\varphi_B \otimes \iota)E = 1$ 과 $(\iota \otimes \varphi_C)E = 1$ 를 만족하는 선형 함수 $\varphi_B$ 와 $\varphi_C$ 가 존재하는 것은 분리 가능성 조건을 특징짓며, 이는 행렬 대수의 추적을 일반화한다.
• 분리 가능 아이디포텐트 $E$ 가 정규임과 $S_B$ 와 $S_C$ 가 각각 $S_B(B) \subseteq C$ 와 $S_C(C) \subseteq B$ 를 만족하는 반-동형사상임은 동치이며, 이는 $B$ 와 $C$ 가 프로베누스 대수임을 의미한다.
• 정규성은 유한 차원의 경우, 아벨의 경우($B \cong K(X)$ 를 만족하는 집합 $X$ 에 대해), 그리고 $E$ 가 자기수반인 $^*$-대수의 경우 자동으로 성립한다.
• 정규인 경우, $S_B$ 와 $S_C$ 를 통해 $B$ 와 $C$ 는 각각의 역대수와 동형이며, $E$ 의 구조는 $B$ 와 $C$ 사이의 쌍대성 관계를 결정한다.
• 논문은 비정규 분리 가능 아이디포텐트의 구성이 어렵다는 점을 규명한다. 비정규 약한 승수 호프 대수나 비단사성 반대칭성의 알려진 예가 부족하기 때문이며, 이는 현재 이론의 격차를 시사한다.