Categorification of cohomological Donaldson--Thomas invariants

今年度は三次元カラビヤウ多様体のコホモロジー的Donaldson-Thomas不変量の積構造の構成に関する研究を行った。このような積構造が構成されると、Donaldson-Thomas理論における壁越え公式の圏化が可能になり、またDonaldson-Thomas理論と表現論の関係が明らかにされると期待されている。本年度はまず、このような積構造が代数曲面の標準束の全空間の場合に構成できることを証明した。この構成のためにはAdeel Khan氏と現在研究を進めている超局所層理論の導来代数幾何的な一般化を用いる。この一般化された超局所層理論では導来スタックの間の任意の射に対して特殊化関手や超局所化関手が定義できるようになり、層理論における様々な操作の精密化や導来幾何化が可能になると期待される。これらの研究は現在論文にまとめている段階である。また、一般化Donaldson-Thomas不変量のJoyceによる構成を、良モジュライを持つような一般のスタックに対して一般化する研究を開始した。こうして得られる不変量は位相的オイラー数のスタックへの一般化と解釈されるものである。この不変量の構成は現段階では特別な場合に限られているが、分類スタックなどの様々な場合にこの不変量の構成がwell-defineになっていることを確認した。また、分類スタックの場合に明示的な公式を得ることに成功し、古典群の場合には簡潔な表示を与えた。これらの結果は現在論文にまとめている段階である。

今年度は三次元カラビヤウ多様体のコホモロジー的Donaldson-Thomas不変量の積構造の構成に関する研究を行った。このような積構造が構成されると、Donaldson-Thomas理論における壁越え公式の圏化が可能になり、またDonaldson-Thomas理論と表現論の関係が明らかにされると期待されている。本年度はまず、このような積構造が代数曲面の標準束の全空間の場合に構成できることを証明した。この構成のためにはAdeel Khan氏と現在研究を進めている超局所層理論の導来代数幾何的な一般化を用いる。この一般化された超局所層理論では導来スタックの間の任意の射に対して特殊化関手や超局所化関手が定義できるようになり、層理論における様々な操作の精密化や導来幾何化が可能になると期待される。これらの研究は現在論文にまとめている段階である。また、一般化Donaldson-Thomas不変量のJoyceによる構成を、良モジュライを持つような一般のスタックに対して一般化する研究を開始した。こうして得られる不変量は位相的オイラー数のスタックへの一般化と解釈されるものである。この不変量の構成は現段階では特別な場合に限られているが、分類スタックなどの様々な場合にこの不変量の構成がwell-defineになっていることを確認した。また、分類スタックの場合に明示的な公式を得ることに成功し、古典群の場合には簡潔な表示を与えた。これらの結果は現在論文にまとめている段階である。