[论文解读] Noncommutative smooth projective curves: local and global skewness

Dirk Kussin|arXiv (Cornell University)|Nov 30, 2014

Algebraic Geometry and Number Theory被引用 2

一句话总结

本文引入了 $$-乘法性 $e_{\au}(x)$ 以研究完美域上非交换光滑射影曲线的局部与全局偏斜性。它建立了关于偏斜性 $s(\mathcal{H})$ 的局部-全局原理，对非负欧拉特征的非交换 $2$-轨道丛进行了分类，并构建了一条椭圆 Witt 曲线作为实数域上克莱因瓶的非交换 Fourier-Mukai 对偶，其中包含涉及权重与 $$-乘法性的轨道丛欧拉特征的显式公式。

ABSTRACT

Let $\mathcal{H}$ be a noncommutative regular projective curve over a perfect field $k$. We study global and local properties of the Auslander-Reiten translation $ au$ and give an explicit description of the complete local rings, with the involvement of $ au$. We introduce the $ au$-multiplicity $e_{ au}(x)$, the order of $ au$ as a functor restricted to the tube concentrated in $x$. We obtain a local-global principle for the (global) skewness $s(\mathcal{H})$, defined as the square root of the dimension of the function (skew-) field over its centre. In the case of genus zero we show how the ghost group, that is, the group of automorphisms of $\mathcal{H}$ which fix all objects, is determined by the points $x$ with $e_{ au}(x)>1$. Based on work of Witt we describe the noncommutative regular (smooth) projective curves over the real numbers; those with $s(\mathcal{H})=2$ we call Witt curves. In particular, we study noncommutative elliptic curves, and present an elliptic Witt curve which is a noncommutative Fourier-Mukai partner of the Klein bottle. If $\mathcal{H}$ is weighted, our main result will be formulae for the orbifold Euler characteristic, involving the weights and the $ au$-multiplicities. As an application we will classify the noncommutative $2$-orbifolds of nonnegative Euler characteristic, that is, the real elliptic, domestic and tubular curves. Throughout, many explicit examples are discussed.

研究动机与目标

• 理解非交换正则射影曲线上 Auslander-Reiten 变换 $\au$ 的全局与局部行为。
• 定义并分析 $\au$-乘法性 $e_{\au}(x)$，作为点 $x$ 处局部偏斜性的度量。
• 建立将 $\au$-乘法性与全局偏斜性 $s(\mathcal{H})$ 联系起来的局部-全局原理。
• 对非负欧拉特征的非交换 $2$-轨道丛进行分类，包括实椭圆、本征与管状曲线。
• 构建并研究实数域上的非交换椭圆曲线，特别是满足 $s(\mathcal{H})=2$ 的 Witt 曲线。

提出的方法

• 将 $\au$-乘法性 $e_{\au}(x)$ 定义为 Auslander-Reiten 变换 $\au$ 限制在点 $x$ 处的管状结构上的阶。
• 利用 $\au$-乘法性推导出关于偏斜性 $s(\mathcal{H})$ 的局部-全局原理，其中 $s(\mathcal{H})$ 定义为函数（偏斜）域在其中心上的维数的平方根。
• 应用 Witt 关于实非交换曲线的结果，描述实数域上的正则射影曲线，特别是满足 $s(\mathcal{H})=2$ 的曲线。
• 利用权重与 $\au$-乘法性，推导出加权非交换曲线的轨道丛欧拉特征的显式公式。
• 利用幽灵群（固定所有对象的自同构群）来刻画在某些点处满足 $e_{\au}(x)>1$ 的曲线。
• 构建一条定义在实数域上的非交换椭圆 Witt 曲线，使其成为克莱因瓶的非交换 Fourier-Mukai 对偶。

实验结果

研究问题

• RQ1 Auslander-Reiten 变换 $\au$ 在非交换光滑射影曲线上如何表现其局部与全局行为？
• RQ2 精确而言，$\au$-乘法性 $e_{\au}(x)$ 与全局偏斜性 $s(\mathcal{H})$ 之间存在何种关系？
• RQ3 加权非交换曲线的轨道丛欧拉特征如何用权重与 $\au$-乘法性表示？
• RQ4 非交换曲线的幽灵群结构为何？其如何由 $e_{\au}(x)>1$ 决定？
• RQ5 能否在实数域上构造一条非交换椭圆曲线作为克莱因瓶的 Fourier-Mukai 对偶？其性质如何？

主要发现

• 定义了 $\au$-乘法性 $e_{\au}(x)$ 为 Auslander-Reiten 变换 $\au$ 限制在点 $x$ 处的管状结构上的阶，提供了偏斜性的局部不变量。
• 建立了局部-全局原理，将全局偏斜性 $s(\mathcal{H})$ 与所有点 $x$ 处的 $\au$-乘法性 $e_{\au}(x)$ 联系起来。
• 对于亏格为零的曲线，幽灵群——即固定所有对象的自同构群——完全由满足 $e_{\au}(x)>1$ 的点的集合决定。
• 推导出加权非交换曲线的轨道丛欧拉特征的显式公式，其中涉及权重与 $\au$-乘法性。
• 对非负欧拉特征的非交换 $2$-轨道丛进行了分类，分为实椭圆、本征与管状三类。
• 构造了一条定义在实数域上的椭圆 Witt 曲线，满足 $s(\mathcal{H})=2$，并作为克莱因瓶的非交换 Fourier-Mukai 对偶，展示了非交换对偶性。