[論文レビュー] Frobenius and Spherical Codomains and Neighbourhoods

Andreas Hochenegger, Ciaran Meachan|arXiv (Cornell University)|Jan 14, 2020

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

ひとこと要約

この論文は、両方の随伴を持つ三角関手の間の正確関手に対して、Frobeniusおよび球面的余定義域（codomain）と近傍（neighbourhood）を導入する。このような関手の余ねじれ（cotwist）を分析することで、関手がそれぞれ特にFrobenius的または球面的になる最大のフル三角関手部分カテゴリ—すなわちFrobenius余定義域または球面的余定義域—を構成する。主な結果は、これらの部分カテゴリが最大であり、随伴と自然変換の観点から関手の振る舞いを特徴づけるものである。

ABSTRACT

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.

研究の動機と目的

• 球面的定義域の概念を関手へ一般化し、先行研究の球面的対象への拡張を行う。
• 関手が両方の随伴を持つ場合、随伴の比較における同型からのずれを測ることで、それがFrobenius的または球面的になる条件を特定する。
• 関手がFrobenius的または球面的振る舞いを示す最大の三角関手部分カテゴリとしてFrobenius余定義域および球面的余定義域を定義し、それらを研究する。
• Serre双対性と随伴関手を用いて、余定義域内の対象の周囲に局所的なバージョン—Frobeniusおよび球面的近傍—を定義する。
• 射影バンドル、吹き上げ、Enriques曲面からの幾何的例を提示し、それらの構成が既知の構造（連結類や球面的定義域）を回復することを示す。

提案手法

• 両方の随伴を持つ正確関手 F: A → B に対して、随伴三角形 C → id_A → RF および FR → id_B → T を用いて、余ねじれ C とねじれ T を定義する。
• C = 0 のとき（F が例外的であるとき）、三角形 P → R → L を構成し、Frobenius余定義域を Frb(F) = ker P ⊂ B として定義する。
• C が自己同値（F が球面的類似）であるとき、三角形 Q → R → CL[1] を構成し、球面的余定義域を Sph(F) = ker Q ⊂ B として定義する。
• 局所的近傍については、Serre双対性を用いて Frb(F, A) = ⊥TSB(FA) および Sph(F, A) = ⊥QrSAA を定義する。ここで Qr は Q の右随伴である。
• Frb(F) および Sph(F) が、それぞれ F が特にFrobenius的または球面的になる最大のフル三角関手部分カテゴリであることを証明する。
• C と T の双対性を用いて構成を双対化し、共例外的および共球面的類似関手を双対的対応として提示する。

実験結果

リサーチクエスチョン

• RQ1 両方の随伴を持つ正確関手が、その余定義域の部分カテゴリ上でいつFrobenius的または球面的になるか。
• RQ2 関手がFrobenius的または球面的になる余定義域の最大のフル三角関手部分カテゴリを体系的に構成する方法は何か。
• RQ3 自然変換 ϕ: R → RFL（または CL[1] へ）が、関手が（準）Frobenius的であるかどうかを決定づける役割を果たすのはどのような場合か。
• RQ4 余定義域内の対象のFrobenius的および球面的近傍は、Serre双対性および周囲のカテゴリの構造とどのように関係するか。
• RQ5 すべての球面的類似関手は、球面的および例外的関手の合成から構成されるのか、それとも非合成の例も存在するのか。

主な発見

• Frobenius余定義域 Frb(F) は、B の最大のフル三角関手部分カテゴリであり、F|FrB(F) : A → Frb(F) が特にFrobenius的になるものである。
• 球面的余定義域 Sph(F) は、B の最大のフル三角関手部分カテゴリであり、F|Sph(F) が球面的になるものである。
• 例外的関手 F に対して、FA ∈ B のFrobenius近傍は Frb(F, A) = ⊥TSB(FA) で与えられ、FA のSerre双対を含む最大のものである。
• 球面的類似関手 F に対して、FA の球面的近傍は Sph(F, A) = ⊥QrSAA で与えられ、FA のSerre双対を含む最大のものである。
• 3次元多様体内の P1 の吹き上げ π: Bl_P1(X) → X に対して、π∗ のFrobenius集合は Db(P1) の厚い部分カテゴリの集合と同型である。
• Enriques曲面上の3次元球面的対象に付随する spherelike 関手 Fi: Db(k) → Db(X) の球面的集合は、ちょうど2つの要素からなる：球面的定義域と全カテゴリそのもの。