一般基上的对偶性与邻近循环

本文研究切片邻近循环函子及其与对偶性的交换性。在 Henselian 离散赋值环上，我们证明了该交换性成立，证实了 Deligne 的预言。作为应用，我们给出了 Beilinson 定理的新证明：消失循环函子在对偶下直至扭动是交换的。在优良基概型上，我们证明了切片邻近循环函子直至基的修饰与对偶性交换。我们推得，在优良正则基上，对偶性保持泛局部无循环性。我们还给出了 Gabber 的定理：在 Noether 基上，局部无循环性蕴含泛局部无循环性。