关于阿贝尔群层伴随关系$i_{!}\dashv i^{-1}$的构造与参考文献咨询

嘿，看起来你已经在这个伴随关系的构造上走了大半路程啦！咱们一步步来理清楚细节，解决你的困惑：

第一个方向的候选映射：完全可行！ #

你定义的从$\operatorname{Hom}(i_{!}\mathcal F,\mathcal G)$到$\operatorname{Hom}(\mathcal F,i^{-1}\mathcal G)$的映射，是构造这个自然同构的正确起点。核心逻辑非常清晰：

• 利用$i_{!}\mathcal F$在$U$的开子集上与$\mathcal F$完全一致的性质，把$\varphi$限制到$U$内的开集$V$上；
• 结合拉回层$i^{-1}\mathcal G$的茎就是$\mathcal G$对应点的茎这一点，将$\mathcal F(V)$的截面对应到$i^{-1}\mathcal G(V)$的截面。

这个映射后续只需要验证两个点：一是它是自然变换（即与层态射的复合交换），二是它和反向映射互逆——这两步都是常规的验证，你这个候选完全没问题。

反向映射的构造：补全你的预层思路 #

你想通过预层过渡的想法非常好，咱们来补全这个构造的关键细节：

1. 先回忆$i_{!}\mathcal F$的预层$i_{!}\mathcal F^{pre}$的定义：
   • 若$W\nsubseteq U$，则$i_{!}\mathcal F^{pre}(W)=0$；
   • 若$W\subseteq U$，则$i_{!}\mathcal F^{pre}(W)=\mathcal F(W)$。
2. 对于给定的$\psi\colon \mathcal F\to i^{-1}\mathcal G$，注意一个关键性质：当$W\subseteq U$时，拉回层$i^{-1}\mathcal G(W)$恰好等于$\mathcal G(W)$（因为$i$是开嵌入，$W$作为$X$的开集，拉回层的极限就是$\mathcal G(W)$本身）。所以$\psi(W)$直接就是从$\mathcal F(W)$到$\mathcal G(W)$的态射！
3. 基于此定义预层态射$\varphi\colon i_{!}\mathcal F^{pre}\to \mathcal G$：
   • 当$W\nsubseteq U$时，因为$i_{!}\mathcal F^{pre}(W)=0$，所以$\varphi(W)$只能是零映射；
   • 当$W\subseteq U$时，令$\varphi(W)=\psi(W)$，直接把$\mathcal F(W)$的截面映射到$\mathcal G(W)$的截面。
4. 验证这是预层态射：
   • 对于开子集包含$W'\subseteq W$，若$W\subseteq U$，则$\psi$作为层态射本身就满足限制映射的交换性；若$W\nsubseteq U$，则限制映射要么两边都是零，要么一边是零映射，交换性自然成立。
5. 最后利用层化的泛性质：$i_{!}\mathcal F$是$i_{!}\mathcal F^{pre}$的层化，这个预层态射可以唯一延拓为层态射$\varphi\colon i_{!}\mathcal F\to \mathcal G$——这就是反向的映射。

参考文献推荐 #

下面这些经典教材里都有这个伴随关系的详细证明，你可以参考：

• Sheaf Theory by Bredon：专门章节讲解层的直像与拉回的伴随，对开嵌入的$i_!$（紧支撑直像的特例）有完整的构造与验证，逻辑非常清晰。
• Algebraic Geometry by Hartshorne：第二章层论部分的相关内容，虽然聚焦概形上的层，但拓扑空间层的伴随关系证明思路完全通用。
• Topology by Munkres：最后一章的层论板块，从拓扑空间的基础视角讲解这个伴随关系，适合入门阶段参考。

备注：内容来源于stack exchange，提问作者raisinsec