论文标题
从同位的角度来看，分支理论，我
Ramification theory from homotopical point of view, I
论文作者
论文摘要
我们证明了沿着典型的可构造捆的适当形态以及其特征周期的推动力，最高为$ p $ torsion的兼容性。这是由Takeshi Saito猜想的。为此，我们从更加同位的角度重新审视了特征周期的构建。特别是，$ \ infty $ - 类别的语言是必不可少的。
We prove the compatibility of pushforward along a proper morphism of an étale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. This was conjectured by Takeshi Saito. For this, we revisit the construction of the characteristic cycle, due to Saito and Beilinson, from more homotopical point of view. In particular, the language of $\infty$-categories is indispensable to carry this out.
