[論文レビュー] Cut systems and matrix factorisations I

Daniel Murfet|arXiv (Cornell University)|Feb 19, 2014

Algebraic structures and combinatorial models参考文献 27被引用数 5

ひとこと要約

本稿では、1-射をクリフォード代数作用を備えた有限ランク行列因子分解として備えた、ランダウ＝ギンツブルグ模型の同値な2-圏を導入する。これにより、元の定式化における無限ランクの合成問題が解決される。合成データをクリフォード加群を介して符号化することにより、有限ランクの因子分解を保ちつつ、元の2-圏と同値性を保つ構成が実現される。

ABSTRACT

The bicategory of Landau-Ginzburg models has polynomials as objects and matrix factorisations as $1$-morphisms. The composition of these $1$-morphisms produces infinite rank matrix factorisations, which is a nuisance. In this paper we define an equivalent bicategory in which composition of $1$-morphisms produces finite rank matrix factorisations equipped with the action of a Clifford algebra.

研究の動機と目的

• 標準的なランダウ＝ギンツブルグ模型の2-圏における合成から生じる無限ランク行列因子分解の問題に対処すること。
• すべての1-射が有限ランク行列因子分解である同値な2-圏を構成すること。
• これらの有限ランク因子分解に、合成構造を符号化するクリフォード代数作用を導入すること。
• 計算的・構造的管理可能性を向上させつつ、元の2-圏とのカテゴリカル同値性を保つこと。

提案手法

• 元のランダウ＝ギンツブルグ2-圏と同じ対象（多項式）を持つ新しい2-圏を定義する。
• 1-射をクリフォード代数作用を備えた有限ランク行列因子分解に置き換える。
• クリフォード加群のテンソル積を用いて1-射の合成を構成し、ランクの有限性を保証する。
• クリフォード代数の代数的性質を活用して、合成が有限ランクの因子分解をもたらすことを示す。
• すべてのカテゴリカル構造を保存する厳密な2-関手を用いて、新しい2-圏が元のものと同値であることを証明する。
• クリフォード代数の表現論を用いて、因子分解のランクと適合性を制御する。

実験結果

リサーチクエスチョン

• RQ1 ランダウ＝ギンツブルグ2-圏における行列因子分解の合成を、カテゴリカル同値性を失わず、有限ランクの結果を得るように再定式化できるか？
• RQ2 クリフォード代数作用をどのように用いて、行列因子分解における合成構造を符号化できるか？
• RQ3 標準的なランダウ＝ギンツブルグ模型の2-圏の有限ランク代替は、その本質的なカテゴリカル性質を保存するか？
• RQ4 合成が有限ランクのままであるように保つために、どのような代数的構造が必要か？
• RQ5 代数的フレームワークの変更によって、合成における無限ランク問題を解決できるか？

主な発見

• 提案された2-圏は、すべての1-射に対して有限ランクの行列因子分解をもたらし、合成における無限ランク問題を解決する。
• 新しい2-圏における合成は、クリフォード加群のテンソル積として実現され、有限ランクの結果を保証する。
• 新しい2-圏は、元のランダウ＝ギンツブルグ2-圏と厳密に同値であり、すべてのカテゴリカル構造を保存する。
• クリフォード代数作用は、そうでなければ無限ランクに発散する可能性のある合成データを体系的に符号化する手段を提供する。
• 適切な代数的構造を備えた有限ランク因子分解が、元のモデルの完全なカテゴリカル内容を捉えることができることを示している。
• この方法により、有限次元表現を用いたランダウ＝ギンツブルグ模型の研究に計算的に取り扱いやすいフレームワークが提供される。