[论文解读] Semiinfinite symmetric powers

Mikhail Kapranov|arXiv (Cornell University)|Jul 12, 2001

advanced mathematical theories参考文献 10被引用 32

一句话总结

本文通过在有限维子商空间上取双重射影极限，构造光滑测度与微分形式空间，提出了一类局部线性紧致实向量空间上的半无穷对称幂理论。它在对偶空间的测度空间之间建立了傅里叶变换，并定义了一个异常结构简化的半无穷德拉姆复形，推广了非阿基米德域与半无穷楔积理论中的构造。

ABSTRACT

We develop a theory of measures, differential forms and Fourier tramsforms on some infinite-dimensional real vector spaces by generalizing the following two constructions: (a) The construction of the semiinfinite wedge power of a Tate vector space V. Recall that it is obtained as a certain double inductive limit of the exterior algebras of finite-dimensional subquotients of V. (b) The construction of the space of measures on a nonarchimedean local field K with maximal ideal M as a double projective limit of the spaces of measures (=functions) on finite subquotients M^i/M^j of K.

研究动机与目标

• 将测度与微分形式理论从非阿基米德局部域推广至更高维局部域，如 $\mathbb{R}((t))$ 和 $\mathbb{C}((t))$。
• 利用局部线性紧致向量空间为无限维分析中的半无穷结构提供框架，扩展半无穷楔幂理论。
• 通过引入哈尔理论作为gerbe，解决测度理论中投影表示问题，实现一致的傅里叶对偶性。
• 定义一个异常最小化的半无穷德拉姆复形，其异常结构可简化为由定向数据导出的 $\mathbb{Z}/2$-扩张。
• 通过将测度与形式视为 ind-pro-对象而非 pro-对象，统一表示论、代数几何与分析中的构造。

提出的方法

• 将局部线性紧致 $\mathbb{R}$-向量空间定义为基础设定，推广 Lefschetz 与 Chevalley 的框架。
• 将光滑测度空间 $M_h(V)$ 构造为在 $V$ 的开线性紧致子空间 $U \subset V$ 上取双重射影极限，引入哈尔理论 $h$ 以解决投影异常。
• 在 $M_h(V)$ 与 $M_{h^\vee}(V^\vee)$ 之间定义傅里叶变换，其中 $h^\vee$ 是 Pontryagin 对偶空间 $V^\vee$ 上的对偶哈尔理论，确保对偶性相容。
• 将半无穷德拉姆复形 $\Omega^\bullet(V)$ 定义为在子商空间 $U_1/U_2$ 上的德拉姆复形的双重射影极限，其微分次数为 $\overline{1}$。
• 使用超代数技巧，包括 $\Lambda[\epsilon]$-扩张与 Berezin 积分，证明微分在自同构下具有自然性。
• 将该框架应用于复形，为有界可接受复形定义 $M_h(V^\bullet)$，并将半无穷 Koszul 复形作为特例构造。

实验结果

研究问题

• RQ1 如何将测度与微分形式理论从一维局部域推广至二维局部域（如 $\mathbb{R}((t))$）？
• RQ2 何种无限维类比的对称幂能同时体现分析与表示论结构？
• RQ3 如何通过哈尔理论的 gerbe 解决 $GL(V)$ 在测度上的投影作用？
• RQ4 半无穷德拉姆复形中的异常结构为何种形式？其与测度空间中的异常结构相比如何？
• RQ5 半无穷 Koszul 复形能否自然定义，并与半无穷德拉姆复形建立联系？

主要发现

• 在局部线性紧致 $\mathbb{R}$-向量空间 $V$ 上，光滑测度空间 $M_h(V)$ 被构造为双重射影极限，通过哈尔理论解决了投影表示问题。
• 在 $M_h(V)$ 与 $M_{h^\vee}(V^\vee)$ 之间定义了傅里叶变换，建立了推广至无限维的对偶性，类比经典傅里叶分析。
• 半无穷德拉姆复形 $\Omega^\bullet(V)$ 的异常结构被简化为由定向数据导出的 $\mathbb{Z}/2$-中心扩张，对于 $\mathbb{C}$-空间而言完全消失。
• 在纯奇数超向量空间情形，$D_h(V)$ 与半无穷外代数 $\Lambda^{\infty/2 + \bullet}_\Delta(\overline{V})$ 一致，与已知的半无穷楔积理论保持一致。
• $D_h(V)$（即 $M_h(V)$ 的对偶）自然包含所有与 $V$ 的开线性紧致子空间相关的真空模，为半无穷对称幂提供了普遍实现。
• 复形 $V \xrightarrow{\text{id}} V$ 的半无穷 Koszul 复形 $M_h(CV)$ 同构于 $\Omega^\bullet_O(V)$（至多一个平移），并与 $V$ 上的定向 gerbe 相关联。