[논문 리뷰] Tools for working with multiplier Hopf algebras

Alphons Van Daele|ArXiv.org|2008. 06. 12.

Algebraic structures and combinatorial models참고 문헌 6인용 수 28

한 줄 요약

이 논문은 비단위 대수의 맥락에서 다중화 훼프 대수의 모듈을 확장하기 위한 엄밀한 프레임워크를 제안한다. 이는 '완비 모듈' $\overline{X}$ 라고 불리는 완비화 과정을 사용하며, 이는 대수가 항등원을 갖지 않을 경우 모듈 확장을 일반화한다. 주요 기여는 엄밀한 위상적 특성화를 통해 이 완비화를 기술하는 것으로, 특히 스위들러 표기법과 코행동의 맥락에서 연속성과 유일성을 보장한다.

ABSTRACT

Let $(A,Δ)$ be a multiplier Hopf algebra. In general, the underlying algebra $A$ need not have an identity and the coproduct $Δ$ does not map $A$ into $A\otimes A$ but rather into its multiplier algebra $M(A\otimes A)$. In this paper, we study {\it some tools} that are frequently used when dealing with such multiplier Hopf algebras and that are typical for working with algebras without identity in this context. The {\it basic ingredient} is a unital left $A$-module $X$. And the basic construction is that of extending the module by looking at linear maps $ρ:A o X$ satisfying $ρ(aa')=aρ(a')$ where $a,a'\in A$. We write the module action as multiplication. Of course, when $x\in X$, and when $ρ(a)=ax$, we get such a linear map. And if $A$ has an identity, all linear maps $ρ$ have this form for $x=ρ(1)$. However, the point is that in the case of a non-unital algebra, the space of such maps is in general strictly bigger than $X$ itself. We get an {\it extended module}, denoted by $\bar X$ (for reasons that will be explained in the paper). We study all sorts of more complicated situations where such extended modules occur and we illustrate all of this with {\it several examples}, from very simple ones to more complex ones where iterated extensions come into play. We refer to cases that appear in the literature. We use this basic idea of extending modules to explain, in a more rigorous way, the so-called {\it covering technique}, which is needed when using {\it Sweedler notations} for coproducts and coactions. Again, we give many examples and refer to the existing literature where this technique is applied.

연구 동기 및 목표

• 다중화 훼프 대수를 다룰 때, 특히 기저 대수가 항등원을 갖지 않을 경우 발생하는 기술적 과제를 해결하기 위해.
• 스위들러 표기법에서 '커버링' 개념을 체계화하여, 비단위 설정에서 코곱과 코행동을 다루는 데 필수적인 요소를 명확히 하기 위해.
• 모듈에서 그 완비화 버전으로 선형 사상의 체계적 확장을 개발하여 연속성과 유일성을 보장하기 위해.
• 엄밀한 위상 기반을 제공하여 확장된 모듈 구조를 정당화하고, 특히 양자군 이론에서의 응용을 위해 기초를 마련하기 위해.
• 기존 문헌에서 사용된 '커버링 기법'을 일반화하고 명확히 하여, 특히 비크로스프로덕트 구성과 쌍대성 이론에서의 응용을 개선하기 위해.

제안 방법

• 모듈 $X$ 에 대해 $\overline{X}$ 를 선형 사상 $\rho: A \to X$ 의 집합으로 정의한다. 이는 모든 $a, a' \in A$ 에 대해 $\rho(aa') = a\rho(a')$ 를 만족시키며, 이는 $X$ 가 $A$ 에 작용하는 방식을 일반화한다.
• 모든 $a \in A$ 에 대해 $\|y\|_a = \|ay\|$ 로 정의되는 준노름을 통해 $\overline{X}$ 에 엄밀한 위상을 부여한다. 이는 국소 볼록 위상 공간으로서의 구조를 부여한다.
• 엄밀한 위상 하에서 $X$ 가 $\overline{X}$ 에 밀집되어 있고, $\overline{X}$ 가 완비임을 증명함으로써 '완비화'라는 용어의 정당성을 확보한다.
• 변수의 '커버링' 개념을 도입한다: 선형 사상 $F: X \to V$ 가 커버링이라면, 모든 $x \in X$ 에 대해 $F(ex) = F(x)$ 를 만족하는 $e \in A$ 가 존재한다.
• 커버링된 사상은 $\overline{X}$ 상에서 엄밀히 연속인 사상으로 유일하게 확장되며, 확장은 $F(y) = F(ey)$ 로 정의된다.
• 이 프레임워크를 오른쪽 모듈과 $A$-이중모듈로 확장한다. 엄밀한 위상은 왼쪽과 오른쪽 작용이 모두 연속이 되게 하는 가장 약한 위상으로 정의된다.

실험 결과

연구 질문

• RQ1 기저 대수가 항등원을 갖지 않는 비단위 대수 $A$ 에서 모듈 $X$ 에서의 선형 사상들을 더 큰 모듈 $\overline{X}$ 로 엄밀하게 확장하는 방법은 무엇인가?
• RQ2 확장된 모듈 $\overline{X}$ 의 완비성과 연속성을 보장하는 위상적 구조는 무엇이며, 이는 원래 모듈 $X$ 와 어떻게 관련되어 있는가?
• RQ3 비단위 설정에서 '커버링' 변수 개념은 스위들러 표기법을 어떻게 일관되게 사용할 수 있도록 하는가?
• RQ4 복잡한 구성, 특히 비크로스프로덕트에서 $\overline{X}$ 는 반복 확장 과정에서 어떻게 행동하는가?
• RQ5 확장된 모듈 $\overline{X}$ 에서의 엄밀한 위상은 이중성과 코행동 맥락에서 연속적인 확장된 선형 함수형과 어떤 관계가 있는가?

주요 결과

• 완비 모듈 $\overline{X}$ 는 엄밀한 위상 하에서 $X$ 의 완비화이며, 완비이므로 확장 과정이 잘 정의되고 안정적임을 보장한다.
• 대수가 비단위일 경우 $\overline{X}$ 는 $X$ 를 엄밀히 포함하며, 이는 원래 모듈 작용으로는 도달할 수 없는 새로운 원소들이 확장 과정에서 포괄됨을 보여준다.
• 선형 사상 $F: X \to V$ 가 엄밀히 연속임과 동시에 커버링임은 동치이다. 즉, 모든 $x \in X$ 에 대해 $F = F \circ \lambda_e$ 를 만족하는 $e \in A$ 가 존재한다. 여기서 $\lambda_e(x) = ex$ 이다.
• 확장된 사상 $F: \overline{X} \to V$ 는 임의의 $F$ 를 커버링하는 $e$ 에 대해 $F(y) = F(ey)$ 로 유일하게 특징지어지며, 이는 확장의 일관성과 유일성을 보장한다.
• $A$-이중모듈의 경우 엄밀한 위상은 왼쪽과 오른쪽 작용이 모두 연속이 되게 하는 가장 약한 위상이며, $X$ 를 이중모듈로 완비화한 결과는 그 왼쪽 완비화와 오른쪽 완비화의 교차에 포함된다.
• $\overline{X}$ 의 구성은 자기반사적이다. 즉, $\overline{X}$ 에 동일한 과정을 적용해도 새로운 원소가 추가되지 않으며, 이는 최대성과 안정성을 확인한다.