[论文解读] A general construction of partial Grothendieck transformations

Joerg Schuermann|ArXiv.org|Sep 23, 2002

Algebraic Geometry and Number Theory参考文献 30被引用 10

一句话总结

本文提出了一种在双不变理论中对部分格罗滕迪克变换的通用框架，证明了当目标空间为光滑流形或同调流形时，与外积运算可交换的协变理论之间的自然变换可唯一延拓为部分格罗滕迪克变换。其核心贡献是一条统一定理，该定理推广了已知的特征类、上同调运算及等变理论中的黎曼-罗赫定理。

ABSTRACT

Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation is only partially known: characteristic classes of singular spaces (e.g. Stiefel-Whitney or Chern classes), cohomology operations (e.g. singular Adams Riemann-Roch and Steenrod operations for Chow groups) or equivariant theories (e.g. Lefschetz Riemann-Roch). We introduce in this paper a simpler notion of partial (weak) bivariant theories and partial Grothendieck transformations, which applies to all these examples. Our main theorem shows, that a natural transformation of covariant theories, which commutes with exterior products, automatically extends (uniquely) to such a partial Grothendieck transformation of suitable partial (weak) bivariant theories ! In the above geometric situations one has for example to consider only morphisms, whose target is a smooth manifold, or more generally, a suitable homology manifold.

研究动机与目标

• 为解决许多双不变理论与格罗滕迪克变换在奇异空间、特征类及等变理论等几何背景中仅部分定义的局限性。
• 形式化部分（弱）双不变理论与部分格罗滕迪克变换的概念，以适用于这些不完备的设定。
• 建立一个通用的延拓定理：若一个协变理论之间的自然变换与外积运算可交换，则当目标空间为光滑流形或同调流形时，该变换可唯一延拓为部分格罗滕迪克变换。
• 统一并推广不同几何与上同调设定下的已知黎曼-罗赫定理，包括陈类、施蒂费尔-惠特尼类与亚当斯运算。
• 为在等变K-理论、查沃群与博雷尔-莫尔同调等情境中构建部分双不变理论提供基础框架，并应用于黎曼-罗赫公式的构造。

提出的方法

• 引入部分（弱）双不变理论的概念，将双不变态射的定义域限制在目标为光滑流形或同调流形的情形。
• 将部分格罗滕迪克变换定义为这类部分双不变理论之间的自然变换。
• 建立主要定理：若一个协变理论之间的自然变换与外积运算可交换，则其可唯一延拓为部分格罗滕迪克变换。
• 使用富尔顿与麦克Pherson的双不变形式系统，包括乘积、下推与拉回运算，并满足兼容性条件（A1–A123）。
• 将延拓定理应用于具体例子：陈类、施蒂费尔-惠特尼类、亚当斯运算与李特尔伍德-黎曼-罗赫定理，其中使用了基变换映射g为光滑的条件。
• 验证对于光滑态射f:X→Y，其典范类e_f = 1_X满足延拓定理中条件(10)与(11)的要求，依赖于韦迪埃黎曼-罗赫公式。

实验结果

研究问题

• RQ1 当目标空间被限制为光滑流形或同调流形时，是否可唯一延拓一个与外积运算可交换的协变理论之间的自然变换为部分格罗滕迪克变换？
• RQ2 双不变形式系统应如何调整以适应完整双不变理论不可用的情形，例如奇异空间的特征类？
• RQ3 在何种条件下，协变理论中的某类（如欧拉类或常数层）可提升为满足必要相容性公理的部分双不变类？
• RQ4 在哪些几何情境中——如等变K-理论、查沃群或博雷尔-莫尔同调——主延拓定理适用，且其如何恢复已知的黎曼-罗赫定理？
• RQ5 对于光滑态射的韦迪埃黎曼-罗赫公式，如何与部分双不变设定中自然变换延拓所需的条件相联系？

主要发现

• 与外积运算可交换的协变理论之间的自然变换γ_*，当限制在目标为光滑或同调流形的态射上时，可唯一延拓为部分格罗滕迪克变换。
• 对于光滑态射f:X→Y，其典范类e_f = 1_X满足延拓定理中条件(10)与(11)的要求，从而可提升为部分双不变类。
• 该延拓与双不变乘积及拉回运算相容，且所得变换满足双不变投影公式。
• 典范类e_f在γ_*下的像为c^*(T_f) ⌢ [f]，其中c^*为特征类（陈类或施蒂费尔-惠特尼类），[f]为相对定向类。
• 韦迪埃黎曼-罗赫公式对光滑态射成立，这验证了条件(10)，并确认了该延拓在已知几何设定中的一致性。
• 该框架统一并推广了已知的黎曼-罗赫定理，包括双不变陈类、亚当斯运算与李特尔伍德黎曼-罗赫定理，通过将其嵌入单一抽象构造之中。