[论文解读] On a result of Imin Chen

Bas Edixhoven|ArXiv.org|Apr 10, 1996

Advanced Algebra and Geometry被引用 3

一句话总结

本文提供了对伊明·陈关于非分裂 Cartan 模曲线上 Jacobian 与 X_0(p^2) 的新部分的 Jacobian 之间同源性的表示论新证明。通过仅使用 Q-线性伪阿贝尔范畴中的 GL_2(Z/pZ)-表示理论，作者将陈的结果推广到更广泛的范畴框架，借助群表示方法建立了这两个 Jacobian 之间的结构性联系。

ABSTRACT

We give another proof of Imin Chen's result that the jacobian of the modular curve X(p)_{non-split}, for p a prime number, is isogeneous to the new part of the jacobian of X_0(p^2), using only the representation theory of the group GL_2(Z/pZ). In fact, we prove a generalization of Chen's result for objects with an action by GL_2(Z/pZ) in any pseudo-abelian Q-linear category.

研究动机与目标

• 通过表示论重新证明伊明·陈关于 X(p)_{non-split} 的 Jacobian 与 J_0(p^2) 的新部分之间同源性的结果。
• 将陈的结果从几何设定推广至任意带有 GL_2(Z/pZ)-作用的伪阿贝尔 Q-线性范畴。
• 通过群表示技术而非模形式或上同调方法，建立模曲线上 Jacobian 之间的结构性联系。
• 提供一个概念性的、表示论的框架，解释同源性而不依赖算术几何计算。

提出的方法

• 作者在配备有 GL_2(Z/pZ)-作用的伪阿贝尔 Q-线性范畴内工作。
• 证明利用了 GL_2(Z/pZ) 在 Q 上的表示分解，特别关注不可约分量。
• 应用阿贝尔对象上群作用的理论，将 X(p)_{non-split} 的 Jacobian 与 J_0(p^2) 的新部分联系起来。
• 该方法避免使用模形式和上同调技术，完全依赖于表示论分解。
• 关键思想是将相关同源性识别为源于两个 Jacobian 中相同不可约表示分量。
• 通过将 Jacobian 的范畴论结构抽象化为任意具有相容 GL_2(Z/pZ)-作用的此类范畴，实现推广。

实验结果

研究问题

• RQ1 陈的同源性结果能否仅通过 GL_2(Z/pZ) 的表示论重新证明？
• RQ2 X(p)_{non-split} 与 X_0(p^2) 的 Jacobian 的哪些结构性性质由 GL_2(Z/pZ)-表示捕捉？
• RQ3 这两个 Jacobian 之间的同源性是否本质上源于其在范畴论设定下的表示论结构？
• RQ4 该结果能否超越代数几何，推广到任意带有 GL_2(Z/pZ)-作用的 Q-线性伪阿贝尔范畴？
• RQ5 GL_2(Z/pZ) 的不可约表示在连接这两个 Jacobian 的新部分中起什么作用？

主要发现

• 对于素数 p，非分裂 Cartan 模曲线 X(p)_{non-split} 的 Jacobian 同源于 X_0(p^2) 的 Jacobian 的新部分。
• 同源性自然源于阿贝尔对象范畴中 GL_2(Z/pZ)-表示的分解。
• 证明完全是表示论的，避免了上同调或模形式的论证。
• 该结果可推广至任意带有相容 GL_2(Z/pZ)-作用的伪阿贝尔 Q-线性范畴。
• 同源性由两个 Jacobian 中相同的不可约表示分量诱导，建立了结构性等价。
• 该方法为通过群表示理论理解模曲线上 Jacobian 之间的同源性提供了概念性框架。