11
$\开始组$

我试图理解拓扑堆栈上带轮的6函子形式。如中所述这个答案,对于局部紧Hausdorff空间,有一个带轮的6函子形式,它可以扩展到堆栈(参见Scholze的笔记特别是Thm 7.4和Thm 4.20)。由于设置非常抽象(至少对我来说),我在实际计算东西时遇到了困难。

具体来说,我对如何计算感兴趣$f$对于$f\冒号BG\至*$具有G美元$a(紧)李群,特别是,我想知道什么$f!\下划线{\mathbb{Q}}$是什么时候$G=\text{SU}(2)$。查看BG美元$作为堆栈而不是分类空间$乙二醇/G$'作为$f$的不存在$f\冒号EG/G\到*$.

$\端组$

1答案1

重置为默认值
14
$\开始组$

这样的计算实际上是不正式的;如果试图直接从定义中进行计算,几乎是不可能的。

这里的出发点是$f美元$实际上是上同调光滑的。更准确地说,$g:\ast\至BG$是上同调平滑的,因为它拉回平滑映射$G\至\ast$; 因此$BG至ast$上同调平滑上同调光滑(如复合$\ast\到BG\to\ast$显然是光滑的),因此上同调光滑。

因此,$f^$$f^\ast个$直到扭转。下一个任务是识别扭曲。让我们先算出学位。请注意$g^!f^!(1)=1$$g^!f^!(1) =g^\ast f^!(1) \注意事项g^!(1)$这意味着$f^$$g^$必须取消。但是$g^$班次由$\mathrm{dim}(G)$向左,所以$f^!(1)$必须处于上同调度$\mathrm{dim}(G)$。在这个程度上,它提供了$1$-的维度表示G美元$在上$\mathbb Q美元$-向量空间,但作为G美元$已连接,无法对其进行操作,因此$f^!(1) \cong 1[-\mathrm{dim}(G)]$.

(一般来说,计算二元化复合体最好是通过退化到正常锥体,正如我从克劳森那里学到的那样。这几乎适用于所有情况。)

现在$f$是的左伴随$f^$.作为$f^!\连接f^\ast[-\mathrm{dim}(G)]$,我们了解到$f$$f_自然[\mathrm{dim}(G)]$哪里$f_自然$表示的左伴随$f^\上次$在古典语言中,$f_自然$计算组同源性。因此,$f!\mathbb Q型$是的组同源性G美元$移动了$\mathrm{dim}(G)$在左边。

$\端组$
2
  • $\开始组$ 我只知道那群人有限公司SU(2)的同源性为$f_*Q=H^*(BSU(2),Q)=\bigoplus_{n\ge0}Q[-4n]$。可以说$f_吗!Q=Hom(f!Q,Q)^\vee=Hom 3]美元?我不确定这些对偶是否适用于无限维向量空间。另外,$f_!$看起来很奇怪在左侧产生无界的东西,这是传递到堆栈的结果吗? $\端组$ 评论 5月23日10:55
  • $\开始组$ 是的,出于形式上的原因,上同调是同调的对偶,如果它在每个程度上都是有限维的,你可以颠倒这一点,将同调计算为上同调的对偶。是的,那$f!$左侧无边界是一种堆叠现象。顺便说一句,由于$f$的对角线是正确的(如果$G$是紧李群),出于形式上的原因,我们得到了一个自然映射$f_!\至f\ast$。这恢复了等变同伦理论中使用的“范数映射”。范数映射的共纤维产生“泰特上同调”,它通常具有良好的周期性;这里可以很好地观察到这一点。 $\端组$
    – 舒尔茨
    评论 5月23日14:35

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览已标记的其他问题问你自己的问题.