[论文解读] Adeles on n-dimensional schemes and categories C_n

Денис Васильевич Осипов|arXiv (Cornell University)|Sep 8, 2005

Algebraic Geometry and Number Theory参考文献 5被引用 6

一句话总结

本文引入了一个新的范畴框架 $C_n$，用于 $n$-维概形，基于由凝聚层导出的嵌套过滤向量空间结构。证明了在 $n$-维诺戴克概形上，Parshin-Beilinson 阿代尔构成一个 $C_n$-空间，并计算了 $n$-维局部域的自同态代数，表明当 $n > 1$ 时，连续自同态严格包含于 $C_n$ 中。该框架在不进行完备化的情况下推广了 Beilinson 的 $ȑ\u0211\u0211$-函子，聚焦于过滤结构及与迭代极限相容的态射。

ABSTRACT

We consider categories C_n, which are very close to the iterated version of Ind Pro limits introduced by A.Bejlinson in his article "How to glue perverse sheaves". We prove that the adelic space on n-dimensional noetherian scheme is an object of C_n.

研究动机与目标

• 定义一个新的 $C_n$ 范畴，即带有嵌套 $C_{n-1}$-结构的过滤 $k$-向量空间，不通过完备化推广 Beilinson 的 $ȑ\u0211\u0211$-函子。
• 证明在域 $k$ 上的 $n$-维诺戴克概形上，阿代尔空间自然地成为一个 $C_n$-空间，其过滤由凝聚层给出。
• 计算 $n$-维局部域 $K = k((t_n))\cdots((t_1))$ 的自同态代数 $\mathrm{End}_K$，并将其与连续自同态代数区分开。
• 建立当 $n > 1$ 时，$\mathrm{End}_K$ 是连续自同态代数的真子代数，凸显与 $n=1$ 情况的关键差异。

提出的方法

• 通过归纳法定义 $C_n$：$C_0$ 为有限维 $k$-向量空间；$C_n$ 由满足每个商空间 $F(j)/F(i)$ 装备有 $C_{n-1}$-结构的过滤 $k$-向量空间构成。
• 通过保序映射定义 $C_n$-对象之间的过滤支配关系，要求保持子空间并覆盖目标过滤。
• 在 $C_n$ 中定义态射为保持过滤的 $k$-线性映射，并在所有商空间上诱导出 $C_{n-1}$ 中的可接受三元组。
• 通过按 $t_1, t_2, \dots, t_n$ 的幂次嵌套过滤，在 $n$-维局部域 $K = k((t_n))\cdots((t_1))$ 上构造 $C_n$-结构，且每个因子空间均带有 $C_{n-1}$-结构。
• 将 $\mathrm{End}_K$ 中的自同态表示为矩阵 $\{A_{ij}\}_{i,j \in \mathbb{Z}}$，其元素属于 $\mathrm{End}_{\bar{K}}(\bar{K})$，并满足关于指标的生长条件。
• 通过构造一个连续但非 $C_n$-态射的例子，证明当 $n=2$ 时，$\mathrm{End}_K \subset \mathrm{End}_k^c(K)$，且等式仅在 $n=1$ 时成立。

实验结果

研究问题

• RQ1 如何在不进行完备化的情况下，通过过滤结构将 Beilinson 的 $ȑ\u0211\u0211$-函子推广到高维？
• RQ2 在 $n$-维诺戴克概形上，Parshin-Beilinson 阿代尔空间是否在凝聚层过滤下自然地成为 $C_n$-空间？
• RQ3 对于 $n$-维局部域 $K = k((t_n))\cdots((t_1))$，其自同态代数 $\mathrm{End}_K$ 的结构是什么？
• RQ4 当 $n > 1$ 时，$\mathrm{End}_K$ 与连续 $k$-线性自同态代数 $\mathrm{End}_k^c(K)$ 有何比较？
• RQ5 $C_n$-态射能否嵌入到 $n$-维局部域上的 $\mathrm{End}_{\bar{K}}$ 上的矩阵代数中？

主要发现

• 在域 $k$ 上的 $n$-维诺戴克概形上，Parshin-Beilinson 阿代尔空间是 $C_n$-空间，其过滤由概形上凝聚层的偏序集给出。
• $n$-维局部域 $K = k((t_n))\cdots((t_1))$ 的自同态代数 $\mathrm{End}_K$ 由满足非递减指标增长条件的 $k$-线性映射构成：当 $j < a(i)$ 时 $A_{ij} = 0$，且当 $i \to \infty$ 时 $a(i) \to \infty$。
• 当 $n=1$ 时，$\mathrm{End}_K = \mathrm{End}_k^c(K)$；但当 $n > 1$ 时，$\mathrm{End}_K$ 是 $\mathrm{End}_k^c(K)$ 的真子代数，通过构造一个连续但非 $C_n$-态射得以证明。
• 存在嵌入 $\mathrm{End}_K^{\oplus m} \hookrightarrow \mathrm{End}_K$，因此也有 $gl(m,K) \hookrightarrow \mathrm{End}_K$，表明 $\mathrm{End}_K$ 包含 $K$ 上的矩阵代数。
• $K$ 上的 $C_n$-结构支配通过 $t_1, \dots, t_n$ 的幂次嵌套过滤构造的标准 $C_n$-结构，表明该结构是典范且极大的。
• $C_n$-范畴框架为 Beilinson 的 $ȑ\u0211\u0211$-函子提供了一个非完备化的过滤版本，适用于高维概形上的调和分析。