[論文レビュー] Perverse sheaves and graphs on surfaces

Mikhail Kapranov, Vadim Schechtman|arXiv (Cornell University)|Jan 8, 2016

Advanced Combinatorial Mathematics参考文献 9被引用数 13

ひとこと要約

本稿は、特異点をもつリーマン面における perverse sheaves と、リボングラフ骨格上の図式の圏の間で、組合せ的同値性を確立する。これは古典的な円板上での結果を一般化したものであり、主な貢献は、$ \mathcal{A}_K $ がリボン構造を持つグラフ上のベクトル空間と線形写像を記述する圏であるとき、関手的同値 $ Q_K: \text{Perv}(S,N) \to \mathcal{A}_K $ を構成することである。この同値性により、図式圏における $ \mathbb{Z}/n $-作用を通じて「分数スピン」構造が明らかになる。

ABSTRACT

We give an explicit combinatorial description of the category Perv(S,N) of perverse sheaves on an oriented surface S (with boundary) with singularities at a given finite set N. The description is given in terms of any spanning graph K in S with the set of vertices N, so the category is defined entirely in terms of a ribbon graph. This description can be seen as an application, in the theory of perverse sheaves, of the idea of localization on a Lagrangian skeleton.

研究の動機と目的

• リーマン面 $ S $ における特異点集合 $ N $ を持つ perverse sheaves の圏 $ \text{Perv}(S,N) $ の組合せ的記述を提供すること。
• 特異点が 0 に一つある円板 $ D $ における perverse sheaves に関する古典的結果を一般化し、特に $ \mathcal{A}_1 $ および $ \mathcal{A}_2 $ の同値性を拡張すること。
• 「1/n スピン（パラフェルミオン的）実現」の概念を導入・形式化し、$ n $ 条の辺を持つコロラグラフに対して、$ \text{Perv}(D,0) $ を $ \mathcal{A}_n $ として実現すること。
• $ \mathbb{Z}/n $ が $ \mathcal{A}_n $ に作用する方法を、厳密なカテゴリカル作用として記述し、分数モノドロミー写像を通じてコブラディアンであることを示すこと。
• $ \mathcal{A}_n $ の構造を極化された perverse sheaves およびオイラー形式と関連づけ、脱カテゴリフィケーションされた perverse Schobers および Fukaya 圏とつなげること。

提案手法

• 著者たちは、$ S $ に含まれるスパンニングなリボングラフ $ K \subset S $ と、頂点集合 $ \operatorname{Vert}(K) = N $ を持つ圏 $ \mathcal{A}_K $ を構成する。ここで、対象は頂点 $ x $ と辺 $ e $ に対して有限次元 $ \mathbf{k} $-ベクトル空間 $ E_x $, $ E_e $ の族と、線形写像 $ \gamma_x^e: E_x \to E_e $, $ \delta_x^e: E_e \to E_x $ を含む。
• 写像 $ \gamma $, $ \delta $ は、リボングラフ構造から導かれる関係を満たす必要があり、表面の局所モノドロミーおよび位相的制約を符号化する。
• 主な構成は、包含写像 $ i_K: K \hookrightarrow S $ を通じて perverse sheaf $ \mathcal{F} $ を引き戻し、複体 $ \mathcal{R}_K(\mathcal{F}) = R i_K^! (\mathcal{F})[1] $ を形成する関手 $ Q_K: \text{Perv}(S,N) \to \mathcal{A}_K $ である。この複体は 0 次に値をとる構造的層であることが示される。
• 円板 $ D $ に対して $ N = \{0\} $ のとき、$ n $ 条の辺を持つコロラグラフ $ K_n $ に対して、圏 $ \mathcal{A}_n $ が定義され、同値 $ Q_n: \text{Perv}(D,0) \to \mathcal{A}_n $ が明示的に記述される。
• $ \mathcal{A}_n $ 上の $ \mathbb{Z}/n $-作用は、辺および写像のラベルの回転によって定義され、分数モノドロミー写像 $ T_i = \gamma_{i+1} \delta_i $ によって誘導される自然同型 $ \beta_k $ を通じて、厳密かつコブラディアンであることが示される。
• グローバルモノドロミー $ T = \beta_n $ は自然同型 $ \text{id}_{\mathcal{A}_n} \to \text{id}_{\mathcal{A}_n} $ であり、$ \mathcal{A}_n $ の中心 $ Z(\mathcal{A}_n) $ に属し、脱カテゴリフィケーションされたヘリックス構造における Serre 的なファンクターの役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 特異点をもつリーマン面上の perverse sheaves の圏 $ \text{Perv}(S,N) $ を、グラフ骨格を用いてどのように組合せ的に記述できるか？
• RQ2 単位円板における $ \text{Perv}(D,0) $ を「1/n スピン」実現とする圏 $ \mathcal{A}_n $ の正確な構造は何か？
• RQ3 $ \mathbb{Z}/n $-作用がリボングラフの幾何からどのように生じるか？ そしてそれはコブラディアンか？
• RQ4 分数モノドロミー写像 $ T_i = \gamma_{i+1} \delta_i $ は、$ \mathbb{Z}/n $-作用のコブラディアン構造を構成するためにどのように寄与するか？
• RQ5 グローバルモノドロミー $ T = \beta_n $ は $ \mathcal{A}_n $ の中心とどのように関係し、脱カテゴリフィケーションされたヘリックス構造に果たす役割は何か？

主な発見

• 本稿は、リボングラフ $ K $ 上の図式圏 $ \mathcal{A}_K $ を用いて、$ \text{Perv}(S,N) \xrightarrow{\sim} \mathcal{A}_K $ の自然な同値性を確立する。ここで $ \mathcal{A}_K $ は頂点および辺にベクトル空間と、リボングラフの関係を満たす線形写像を備えた圏である。
• 円板 $ D $ に特異点が一つある場合、$ \text{Perv}(D,0) $ は任意の $ n \geq 1 $ に対して $ \mathcal{A}_n $ に同値であり、$ \mathcal{A}_1 $ および $ \mathcal{A}_2 $ は [GGM] および [KS1] における古典的結果を回復する。
• $ \mathcal{A}_n $ は、$ \text{Perv}(D,0) $ の「1/n スピン（パラフェルミオン的）実現」として解釈され、$ \mathcal{A}_2 $ は $ \mathcal{A}_1 $ の「平方根」として機能し、ディラック作用素がシュレーディンガー作用素の平方根であるのと同様の類似性を持つ。
• $ \mathcal{A}_n $ 上の $ \mathbb{Z}/n $-作用は、ラベルの回転によって定義され、分数モノドロミー写像 $ T_i = \gamma_{i+1} \delta_i $ によって誘導される自然同型 $ \beta_k $ を通じて、厳密かつコブラディアン構造を持つことが示される。
• グローバルモノドロミー $ T = \beta_n $ は自然同型 $ \text{id}_{\mathcal{A}_n} \to \text{id}_{\mathcal{A}_n} $ であり、中心 $ Z(\mathcal{A}_n) $ に属し、繰り返しのシフト $ k_*x $ の系列にヘリックスに似た構造をもたらす。
• この構成により、オイラー形式を通じた極化された perverse sheaves $ \text{PolPerv}(S,N) $ の組合せ的モデルが得られ、Fukaya 圏とperversityの間の深いつながりが、ラグランジュ的骨格への局所化を通じて示唆される。