从同伦角度看的分歧理论，I
Ramification theory from homotopical point of view, I
AI总结：
本文从同伦角度研究分歧理论，证明了proper映射下 étale sheaf 的推进与特征环推进在p-torsion下的兼容性，采用∞-范畴理论实现。
摘要：
我们证明了沿proper映射的 étale 构造可构造sheaf的推进与其特征环的推进在up to p- torsion下是兼容的。这由Takeshi Saito猜想提出。为此，我们从更同伦的角度重新审视Saito和Beilinson构造特征环的方法。特别是，∞-范畴的语言对于实现这一点是不可或缺的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
