[논문 리뷰] Integral theory for Hopf (co)quasigroups

J. Klim|arXiv (Cornell University)|2010. 04. 22.

Mathematics and Applications참고 문헌 4인용 수 8

한 줄 요약

이 논문은 비결합적 히프 대수의 일반화인 히프 (코)구사군에 대해 적분 이론을 정립한다. 좌우 적분, 푸리에 변환을 정의하고 이들의 쌍대성을 확립한다. 유한차원 히프 (코)구사군은 스케일을 제외하고 유일한 적분을 가지며, 역전치가 존재함을 증명하며, 프로베누스, 분리 가능, 단순 구조에의 응용을 포함한다.

ABSTRACT

We recall the notion of a Hopf (co)quasigroup defined in \cite{Kl09} and define integration and Fourier Transforms on these objects analogous to those in the theory of Hopf algebras. Using the general Hopf module theory for Hopf (co)quasigroups from \cite{Br09} we show that a finite dimensional Hopf (co)quasigroup has a unique integration up to scale and an invertible antipode. We also supply the inverse Fourier transformation and show that it maps the convolution product on $H$ to the product in its dual $H^*$. Finally, we further develop the theory to consider Frobenius Hopf (co)quasigroups, separability and semisimplicity.

연구 동기 및 목표

• 히프 대수에서의 적분 및 푸리에 변환 이론을 비결합적 히프 (코)구사군으로 확장한다.
• 히프 모듈 이론을 사용하여 유한차원 히프 (코)구사군에서 적분의 존재성과 고유성을 확립한다.
• 히프 (코)구사군의 맥락에서 프로베누스, 분리 가능, 단순 구조를 특성화한다.
• 마시케의 정리를 일반화하고 비퇴화적 적분을 통한 단순성 기준을 증명한다.

제안 방법

• 우변 A-히프 모듈에 대해 $ M \cong M^{\widehat{coA}} \otimes A $ 인 이sovorphism를 사용하여 히프 구사군에서 좌우 적분을 정의한다.
• H에서 H*로 가는 푸리에 변환 $ F: H \to H^* $ 를 정의하여 H에서의 콘볼루션 곱을 H*에서의 점별 곱으로 매핑한다.
• [1]의 히프 모듈 보조정리를 사용하여, 유한차원 설정에서 적분이 존재하고 스케일을 제외하고 유일함을 증명한다.
• 유한차원 히프 코구사군이 비퇴화적 좌측 적분을 가질 필요와 충분조건은 $ \varepsilon(\Lambda) \neq 0 $ 임을 증명하며, 마시케의 정리를 일반화한다.
• 분리 가능성을 분리 가능 원소 $ \omega = \Lambda_{(1)} \otimes S\Lambda_{(2)} $ 를 통해 정의하여, 적분이 분리 가능성을 암시함을 보인다.
• 코결합적이고 탄성 있는 히프 구사군에서 $ S^2 = \mathrm{id} $ 를 만족함을 증명하며, 대칭적인 푸리에 쌍대성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한차원 히프 (코)구사군은 스케일을 제외하고 고유한 적분을 갖는가?
• RQ2 히프 (코)구사군에서 푸리에 변환은 콘볼루션 곱을 쌍대 대수에서의 점별 곱으로 매핑할 수 있는가?
• RQ3 히프 (코)구사군이 분리 가능하거나 단순한 조건은 무엇인가?
• RQ4 적분의 존재성은 프로베누스 및 단순성 성질과 어떻게 관련되는가?
• RQ5 히프 (코)구사군에 대해 마시케의 정리의 어떤 일반화가 성립하는가?

주요 결과

• 모든 유한차원 히프 (코)구사군은 스칼라 배수를 제외하고 고유한 좌측 적분을 가지며, $ \varepsilon(\Lambda) = 1 $ 이 가능하다.
• 푸리에 변환 $ F: H \to H^* $ 는 H에서의 콘볼루션 곱을 H*에서의 점별 곱으로 매핑하며, 그 역은 명시적으로 구성된다.
• 유한차원 히프 코구사군은 좌측 적분 $ \Lambda $ 가 $ \varepsilon(\Lambda) = 1 $ 를 만족할 때에만 분리 가능하며, 분리 가능 원소는 $ \omega = \Lambda_{(1)} \otimes S\Lambda_{(2)} $ 로 주어진다.
• 유한차원, 코결합적, 탄성 있는 히프 구사군은 좌측 적분의 존재로 인해 분리 가능하다.
• 유한차원 히프 코구사군은 비특이적 좌측 적분 $ \Lambda $ 가 존재하고 $ \varepsilon(\Lambda) \neq 0 $ 를 만족할 때에만 단순하다.
• 비퇴화적 적분의 존재는 모든 좌측 모듈의 완전 가역성을 암시하며, 이는 마시케의 정리를 비결합적 설정으로 일반화한다.