We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated with a formal scheme. There is a well-behaved theory of compactifications and it turns out that the classical specialization morphism is proper in this setup. As an application, we show that the nearby cycles functor commutes with lower shriek in great generality.

中文翻译：

---

特化态射

我们定义了从局部诺特分析 adic 空间到方案的专业化态射的概念。这捕获了与正式方案相关的（经典）专业化态射。有一个良好的紧化理论，结果证明经典的特化态射在这个设置中是合适的。作为一个应用程序，我们展示了附近的循环函子在一般情况下以较低的尖叫声通勤。