[論文レビュー] Localization of $\frak{u}$-modules. I. Intersection cohomology of real arrangements

Michael Finkelberg, Vadim Schechtman|ArXiv.org|Nov 7, 1994

Advanced Combinatorial Mathematics参考文献 4被引用数 3

ひとこと要約

本稿は、複素アフィン空間内の実超平面配置の補集合上における1次元局所系のGoresky-MacPherson拡張の交線コhomologyを計算する明示的複体を構成する。組合せ的データを用いて、層の分離構造に沿った滑らかさを持つ perverse sheaf の幾何的実現を提供し、量子群の単位根におけるテンソル圏の幾何的構成の基盤を築く。

ABSTRACT

This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a root of unity. In the present paper we study perverse sheaves over a complex affine space which are smooth along the stratification determined by a finite arrangement of complex affine hyperplanes defined by real equations. In particular, we construct explicitely (in terms of combinatorial data) complexes computing cohomology of Goresky-MacPherson extensions of one-dimensional local systems over the complement of hyperplanes.

研究の動機と目的

• 量子群の単位根における出現するテンソル圏を幾何的に構成するためのフレームワークを開発すること。
• 実超平面配置によって分離される複素アフィン空間上の perverse sheaf を研究すること。
• 超平面の補集合上における局所系の交線コhomology を計算する明示的組合せ的複体の構成を提供すること。
• 超平面配置の位相と、量子群における表現論的構造との間の関係を確立すること。
• 量子群の単位根における u-加群の局在化に関する一連の論文の基盤を築くこと。

提案手法

• Goresky-MacPherson 拡張を用いて、複素アフィン空間内の実超平面配置の補集合上に perverse sheaf を定義する。
• 超平面配置に付随する組合せ的データを用いて、交線コhomology を計算する明示的複体を構成する。
• 代数的幾何および層論の技法を用い、超平面によって定まる分離構造に沿った層の滑らかさを分析する。
• 正式な記述のための amslatex を用い、代数的トポロジーおよび表現論の標準的慣習と整合性を保つ。
• 超平面配置の補集合上における1次元局所系の構造に依存する。
• 交線コhomology および perverse sheaf 理論の結果を統合し、表現論的対象の幾何的実現を達成する。

実験結果

リサーチクエスチョン

• RQ1 実超平面配置の補集合上における局所系の交線コhomology は、どのように組合せ的データを用いて明示的に計算できるか？
• RQ2 実超平面配置の分離構造に沿って滑らかである perverse sheaf は、テンソル圏の構成において果たす役割は何か？
• RQ3 実超平面分離構造を伴う複素アフィン空間の幾何は、量子群の単位根における表現とどのように関係するか？
• RQ4 交線コhomology の文脈において、u-加群の幾何的構成は局在化によって達成可能か？
• RQ5 超平面配置の組合せ的構造と、得られるテンソル圏の構造との間の正確な関係は何か？

主な発見

• 本稿は、実超平面配置の補集合上における1次元局所系の Goresky-MacPherson 拡張の交線コhomology を計算する明示的複体を構成している。
• この構成は完全に明示的であり、配置に付随する組合せ的データに基づくため、アルゴリズム的または計算的実装が可能である。
• 複素アフィン空間上における perverse sheaf が、実超平面配置によって誘導される分離構造に沿って滑らかであることが示された。
• 結果は、量子群の単位根に関連する特定のテンソル圏の幾何的実現を提供する。
• この方法により、u-加群の局在化を通じて、超平面補集合の位相と表現論の間の橋渡しがなされた。
• 改訂版（v3）では誤植が是正され、u-加群局在化に関する一連の研究の文脈において、この構成の正当性が確認された。