arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1602.09117math.CTmath.RT
收藏

一些新的范畴不变量

Some new categorical invariants

George Dimitrov, Ludmil Katzarkov

摘要:

我们介绍几个概念,并给出例子。证明了${\rm Stab}(D^b(K(l)))\cong {\mathbb C}\times \mathcal H$对于$l\geq 3$,其中$K(l)$是$l$-Kronecker图.这是SOD的一个示例,其中${\rm Stab}( \langle \mathcal T_1,\mathcal T_2\rangle )\not \cong{\rm Stab}(\mathcal T_1)\times {\rm Stab}(\mathcal T_2)$。这个例子提出了一个范数的新概念,严格地在$\{D^b(K(l))\}_{l\geq 2}$上增加。对于具有相隙性质的三角范畴$\mathcal T$,我们附加一个非负数$\Vert \mathcal T \Vert_{\varepsilon}$ .对SOD的自然假设意味着$ \Vert \langle \mathcal T_1,\mathcal T_2\rangle \Vert_{\varepsilon}\geq {\rm max}\{ \Vert \mathcal T_1 \Vert_{\varepsilon}, \Vert\mathcal T_2 \Vert_{\varepsilon}\}$。利用这一点,我们定义了一个拓扑上的一组等价类的三角范畴的相位差距,其中的一组离散的衍生类别是一个离散的子集和合理性的光滑表面$S$确保$[D^b(point)] \in {\rm Cl}([D^b(S)])$。将$D^b(K(l))$视为非交换曲线,我们观察到在$D^b(K(l))$的一个小邻域中计数任何类别中的非交换曲线是合理的。例子表明,这个想法(非交换曲线计数)开辟了新的范畴结构和连接数论和经典几何的方向。给出了非交换曲线计数不变量的定义。在A侧出现的一个例子中,我们将我们的定义专门化为非交换的卡-丘曲线计数,其中我们计数的实体是$D^b(K(l))$的卡-丘修改。最后,我们推测,人们可能会考虑一个全纯家庭的范畴,介绍了Kontsevich,作为一个非交换的扩展与规范发挥类似的作用,在伽罗瓦理论的经典概念的程度的扩展。

英文摘要:

We introduce several notions and give examples. We prove that ${\rm Stab}(D^b(K(l)))\cong {\mathbb C}\times \mathcal H$ for $l\geq 3$, where $K(l)$ is $l$-Kronecker quiver. This is an example of SOD, where ${\rm Stab}( \langle \mathcal T_1,\mathcal T_2\rangle )\not \cong{\rm Stab}(\mathcal T_1)\times {\rm Stab}(\mathcal T_2)$. This example suggest a new notion of a norm, strictly increasing on $\{D^b(K(l))\}_{l\geq 2}$. To a triangulated category $\mathcal T$ which has property of a phase gap we attach a non-negative number $\Vert \mathcal T \Vert_{\varepsilon}$. Natural assumptions on a SOD imply $ \Vert \langle \mathcal T_1,\mathcal T_2\rangle \Vert_{\varepsilon}\geq {\rm max}\{ \Vert \mathcal T_1 \Vert_{\varepsilon}, \Vert\mathcal T_2 \Vert_{\varepsilon}\}$. Using this we define a topology on the set of equivalence classes of triangulated categories with a phase gap, where the set of discrete derived categories is a discrete subset and the rationality of a smooth surface $S$ ensures that $[D^b(point)] \in {\rm Cl}([D^b(S)])$. Viewing $D^b(K(l))$ as a non-commutative curve, we observe that it is reasonable to count non-commutative curves in any category in a small neighborhood of $D^b(K(l))$. Examples show that this idea (non-commutative curve-counting) opens directions to new categorical structures and connections to number theory and classical geometry. We give a definition, which specializes to the non-commutative curve-counting invariants. In an example arising on the A side we specialize our definition to non-commutative Calabi-Yau curve-counting, where the entities we count are a Calabi-Yau modification of $D^b(K(l))$. Finally we speculate that one might consider a holomorphic family of categories, introduced by Kontsevich, as a non-commutative extension with the norm playing a role similar to the classical notion of degree of an extension in Galois theory.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑