• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2012 年度 実績報告書

ホップ・モナドの理論と応用

研究課題

研究課題/領域番号 22740015
研究機関九州大学

研究代表者

PASTRO Craig  九州大学, 国際教育センター, 准教授 (50532561)

研究期間 (年度) 2010-04-01 – 2014-03-31
キーワードホップ代数 / ホップモナド / モノイダル圏 / *-自律な圏 / 淡中の再構成
研究概要

ここ数年で Robin Cockett 氏(University of Calgary)と共同で「補コモナド」という構造を提唱した。これは *-自立コモナド([Craig Pastro and Ross Street, Closed categories, star-autonomy, and monoidal comonads, Journal of Algebra 321 no. 11 (2009) 3494-3520])の一般化にあたる。今年は同じく共同でこの理論の拡張と応用を研究した。特に補コモナドは "message passing logic"(Robin Cockett and Craig Pastro, The logic of message-passing, Science of Computer Programming Volume 74 (2009) 498-533)と呼ばれるメッセージを伝達する機能を持った「良い」並行プロセスを与えるシステムを与えることが分かった。これに関する論文は現在執筆中である。
以上に加えて、Akira Masuoka 氏(筑波大学)と共同で、超可換なホップ超代数の積分について研究を始めた。通常のホップ代数の積分はよく研究されているが、超代数の場合はほとんど知られていない。これについても良い進展が得られており、この論文も執筆中である。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本年度は、補コモナドに関する理論の拡張を引き続き行った([R. Cockett and C. Pastro, Complementing comonads, In progress])。これにより、これらの補コモナドが、検証可能かつ良い動作を見せるような並行システムを記述するためのモデルを提供することを示した([R. Cockett and C. Pastro, Complement comonads and message passing, In progress])。後半の研究も現在進めているが、まだ完全ではなく、解決出来ていない疑問点も数点残っている。特に次のような問題が挙げられる:「どのような補コモナドの既知のバリエーションが、並行プロセスのモデルに対応しているか?」
次に増岡氏との共同研究に関しては、超可換なホップ超代数の積分に関する研究に引き続き取り組んでいる。積分に関する部分は、ホップ代数の様々な概念を超代数のそれへと拡張するための第一ステップとなる。積分に関してはホップ代数の場合には(その類似も含めて)よく研究されており、ほとんどの場合は非零積分が存在しないということが知られている。これに対し、我々は超代数の積分の場合において、このような積分が存在するという証拠を掴んだ。この事実は超代数とそうでない代数との間の大きな違いを見いだすことが出来る。この方向の研究により、ホップ超代数に関する実り多い理解が深まることが大いに期待される。ホップ超代数の圏は Harish-Chandra pairs の双対圏と同値であることが示されており、また代数的アファイン超群スキーム(algebraic affine supergroup schemes)であることを補足しておく。よって、この問題に対しては色々な観点から取り組むことが出来る。

今後の研究の推進方策

補コモナドは message passing logic の一例を与えることがこれまでの研究により分かった。この logic とは「良いふるまいが保証された」メッセージ伝達並行システムを記述するものである。今後もっと多くの機能を追加していくために解決すべき問題は:「補コモナド上でどのような効果が得られるのか?」「新しい、かつ興味深い構造が生成されるのか?」などであろう。その一方で、幾つかの公理が追加で補コモナドへ適用出来る。「これが message passing logic にどのような興味深い影響をもたらすか?」という非常に面白い問題も考えられる。
増岡氏との仕事は、ホップ代数のうち超代数とそうでない代数との違いを考察するための第一歩である。まずは積分に関する部分から始め、他のたくさんの側面、例えば antipode の順序や構造定理などを考察していきたいと願っている。

  • 研究成果

    (1件)

すべて その他

すべて 備考 (1件)

  • [備考] ホームページ

    • URL

      http://artsci.kyushu-u.ac.jp/~craig/

URL: 

公開日: 2014-07-24  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi