Motivic nearby functors on perverse Nori motives

In [12], Braden proves the so-called hyperbolic localization theorem, which is later used in many places; for instance, in the proof of the geometric Satake equivalence of Mirković–Vilonen [24]. Roughly speaking, let $X$ be a scheme equipped with a sufficiently good action (to be made precise later) of the multiplicative group $\mathbb{G}_{m}$. One can then form the space of fixed points, the attractor and the repeller $X^{\circ},X^{+},X^{-}$, respectively,

	$\displaystyle X^{0}$	$\displaystyle=\left\{x\in X\mid gx=x\ \forall\ g\in\mathbb{G}_{m}\right\}$
	$\displaystyle X^{+}$	$\displaystyle=\left\{x\in X\mid\exists\lim_{g\rightarrow 0}gx\right\}$
	$\displaystyle X^{-}$	$\displaystyle=\left\{x\in X\mid\exists\lim_{g\rightarrow\infty}gx\right\}.$

There are natural morphisms: two inclusions $e^{\pm}\colon X^{\circ}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X^{\pm}$ and two limit morphisms $\pi^{\pm}\colon X^{\pm}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X^{\circ}$ (sending $x$ to $\lim_{g\rightarrow 0}gx$ and $\lim_{g\rightarrow\infty}gx$). The Braden transformation is a natural transformation

$$(\pi^{-})_{*}(e^{-})^{!}(M)\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow(\pi^{+})_{!}(e^{+})^{*}(M)$$

The Braden transformation is an isomorphism if $M$ is $\mathbb{G}_{m}$-equivariant, namely, $a^{*}(M)\simeq p^{*}(M)$, where $a,p\colon\mathbb{G}_{m}\times X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X$ is the action morphism and the projection, respectively. Several subsequent works have developed functorial approaches directly related to [12], the reader can consult [29][14][15]. The commutation between the Braden transformations and nearby functors plays an important role in different areas. In geometric representation theory, it can be viewed as a functorial enhancement of the compatibility between the Bernstein isomorphism and the constant terms maps (see [16]). On the other hand, in Donaldson-Thomas theory, this yields a motivic enhancement of the integral identity of Kontsevich-Soibelman (see [22]) thanks to the works [26] (see also [20]). Since Braden’s theorem holds whenever one has a six-functor formalism, this poses the following natural question: when do Braden transformations commute with nearby functors? As showed in [26] (see [29] for the étale setting), the answer is positive whenever the nearby functor is expressed in terms of six operations. However, the story is unclear for perverse Nori motives. Before entering the story, let us say a few words about perverse Nori motives. Let $X$ be a scheme and let $\mathbf{DA}^{\textnormal{\'{e}t}}(X)$ be the category of étale motives with rational coefficients (see [8]). Let $\mathbf{DA}^{\textnormal{\'{e}t}}_{\textnormal{ct}}(X)$ be the category of constructible étale motives. By the work [7], there is a Betti realization functor

$$\operatorname{Bti}^{*}_{X}\colon\mathbf{DA}^{\textnormal{\'{e}t}}_{\textnormal{ct}}(X)\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{D}_{\textnormal{ct}}^{b}(X)$$

where $\mathbf{D}_{\textnormal{ct}}^{b}(X)$ is the bounded derived category with algebraically constructible cohomology. In [17], Ivorra, Morel defines perverse Nori motives $\mathscr{M}\operatorname{Perv}(X)$ as the universal abelian factorization ¹¹ 1 Since the image of the Betti realization lands in complexes of geometric origin, in this definition, from now we can replace $\mathbf{D}_{\textnormal{ct}}^{b}(X),\operatorname{Perv}(X)$ by $\mathbf{D}^{b}_{\textnormal{geo}}(X),\operatorname{Perv}_{\textnormal{geo}}(X)$, those of geometric origin.

In some sense, $\mathscr{M}\operatorname{Perv}(X)$ is expected to be the heart of certain perverse motivic $t$-structure on étale motives $\mathbf{DA}^{\textnormal{\'{e}t}}_{\textnormal{ct}}(X)$. In [32], Tubach proves that this is indeed the case under the standard conjectures, namely, $\mathbf{DA}^{\textnormal{\'{e}t}}_{\textnormal{ct}}(X)\simeq\mathbf{DN}^{b}(X)$. Thus, one can imagine that there should exist a six-functor formalism, a theory of motivic nearby functors for perverse Nori motives. The six-functor formalism is realized in [17] and [31] but the developement of nearby functors is not yet established therein. Let $f\colon X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ be a morphism of $k$-varieties, let us consider the following diagram with cartesian squares

where $i\colon\operatorname{Spec}(k)\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is the zero section and $j\colon\mathbb{G}_{m,k}\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is its open complement. There is an obvious candidate for motivic (unipotent) nearby functors associated with $f$ (on perverse Nori motives)

$$\Psi_{f}^{\textnormal{univ}}[-1],\Upsilon_{f}^{\textnormal{univ}}[-1]\colon\mathscr{M}\operatorname{Perv}(X_{\eta})\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathscr{M}\operatorname{Perv}(X_{\sigma}),$$

defined in terms of the universal property since the usual (unipotent) nearby functors

$$\Psi_{f}^{\textnormal{an}}[-1],\Upsilon_{f}^{\textnormal{an}}[-1]\colon\mathbf{D}_{\textnormal{ct}}^{b}(X_{\eta})\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{D}_{\textnormal{ct}}^{b}(X_{\sigma})$$

are perverse $t$-exact. However, this definition lacks functorialities in the sense that it does not come from six operations, which is one of the key step in the proof of the motivic integral identity in [20][26] and moreover, it has poor $\infty$-categorial features since it is only defined on abelian categories. Therefore, we expect $\Psi_{f}^{\textnormal{univ}}$ admits an expression in terms of six operations. A similar problem arises for monodromy operators

$$N^{\textnormal{univ}}\colon\Upsilon_{f}^{\textnormal{univ}}[-1]\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\Upsilon_{f}^{\textnormal{univ}}[-1](-1),$$

defined by the universal property on abelian categories perverse Nori motives and it is natural to wonder whether it gives rise to a monodromy sequence on derived categories

$$i^{*}j_{*}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\Upsilon_{f}^{\textnormal{univ}}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\Upsilon_{f}^{\textnormal{univ}}(-1)\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow+1$$

In this article, we would like to provide affirmative answers to all problems addressed above. We emphasize that our approach does not rely on the standard conjectures. In the course of this work, we also develop several auxiliary results concerning nearby functors on Nori motives and constructible complexes of geometric origin.

Throughout this paper, $k$ is a subfield of $\mathbb{C}$. Let $X$ be a $k$-variety, we denote by $\mathbf{DN}^{b}(X)=\mathbf{D}^{b}(\mathscr{M}\operatorname{Perv}(X))$ the unbounded derived category of perverse Nori motives $\mathscr{M}\operatorname{Perv}(X)$ and $\mathbf{DN}(X)=\operatorname{Ind}(\mathbf{DN}^{b}(X))$ its $\infty$-ind completion. In the subsequent, functors with superscript $(-)^{\textnormal{A}}$ mean those constructed by Ayoub, functors with superscript $(-)^{\textnormal{univ}}$ mean those obtained by the universal property of perverse Nori motives and functors with superscript $(-)^{\textnormal{an}}$ mean the usual ones.

Let us unravel several hidden aspects of the theorem that cannot be overestimated. First, the Ayoub’s functors are first defined on ind-Nori motives $\mathbf{DN}(X_{\eta})=\operatorname{Ind}(\mathbf{DN}^{b}(X_{\eta}))$ and the isomorphisms $\Upsilon_{f}^{\textnormal{A}}\simeq\Upsilon_{f}^{\textnormal{univ}},\Psi_{f}^{\textnormal{A}}\simeq\Psi_{f}^{\textnormal{univ}}$ implicitly say that Ayoub’s functors preserve (bounded) Nori motives. Second, the existence of the Nori-monodromy operator does not come for free. Since one expects to define it via the universal property, one has to show that the image of the motivic monodromy sequence under the Betti realization is the constructible monodromy sequence and after that, $N^{\textnormal{Nori}}$ is only defined on abelian categories and hence computing its homotopy fiber (which is $i^{*}j_{*}$) is highly nontrivial. Third, the compatibility of monodromy sequences (and also unipotent nearby functors) under the Betti realization is a "unipotent" analogue of [7]; however, in [7], the compatibility is at the level of functors, not at the level of sequences. In order to solve these problems, here we have to compare unipotent functors with logarithmic specialization systems on constructible complexes of geometric origin (for the motivic setting, see [5][6][8]). Lastly, we deduce the Kontsevich-Soibelman integral identity on Nori motives

In addition to the results above, in the appendix, we prove a geometric version of the Beilinson equivalence (see [11]), which is implicitly used throughout the paper. Let $\mathbf{D}_{\textnormal{geo}}^{b}(X)\subset\mathbf{D}_{\textnormal{geo}}^{b}(X)$ be the full sub-$\infty$-category of complexes of geometric origin, namely, the full thick subcategory of $\mathbf{D}^{b}_{\textnormal{ct}}(X)$ generated by complexes of the form $p_{*}\mathbb{Q}_{Y}$ with $p\colon Y\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X$ a proper morphism.

The reader may realize that the second part of the theorem above can be viewed as a geometric avatar of theorem 1.1 and the first isomorphism $\Psi_{f}^{\textnormal{A}}\simeq\Psi_{f}^{\textnormal{an}}$ is more or less a consequence of the compatibility of nearby functors under the Betti realizations in [7] but this is not entirely true. The compatibility $\operatorname{Bti}^{*}\Psi_{f}^{\textnormal{A}}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\Psi_{f}^{\textnormal{an}}\operatorname{Bti}^{*}$ is constructed via a direct morphism of algebraic derivators and does not make use of any theory of perverse sheaves and unipotent nearby cycles. Meanwhile, our isomorphism $\Psi_{f}^{\textnormal{A}}\simeq\Psi_{f}^{\textnormal{an}}$ is obtained via isomorphisms on unipotent nearby functors $\Upsilon_{f}^{\textnormal{A}}\simeq\log_{f}^{\textnormal{an}}\simeq\Upsilon_{f}^{\textnormal{an}}$ and the fact that on geometric motives, full nearby functors are "logarithmic" and all of these are done by using perverse sheaves and Beilinson’s equivalence.

Let $X$ be a $k$-variety and $f\colon X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}^{1}_{k}$ be a $k$-morphism. Let $\mathbf{H}\colon(\operatorname{Var}_{k})^{\operatorname{op}}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\operatorname{CAlg}(\operatorname{Cat}_{\infty}^{\textnormal{st}})$ be a coefficient system in the sense of [13] (in the language of triangulated categories, this is called stable homotopical $2$-functor in [4, Definition 1.4.1]). Let us consider the following diagram with cartesian squares

where $i\colon\operatorname{Spec}(k)\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is the zero section and $j\colon\mathbb{G}_{m,k}\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is its open complement. A specialization system is a collection of $\infty$-functors

$$\operatorname{sp}_{f}\colon\mathbf{H}(X_{\eta})\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}(X_{\sigma})$$

together with (adjoint) transformations

	$\displaystyle\alpha_{g}\colon g_{\sigma}^{*}\operatorname{sp}_{f}$	$\displaystyle\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\operatorname{sp}_{f\circ g}g_{\eta}^{*}$
	$\displaystyle\beta_{g}\colon\operatorname{sp}_{f}g_{\eta,*}$	$\displaystyle\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow g_{\sigma,*}\operatorname{sp}_{f\circ g}$

for another $k$-morphism $g\colon Y\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X$, so that $\alpha_{g}$ is an isomorphism if $g$ is smooth and $\beta_{g}$ is an isomorphism if $g$ is proper. A morphism of specialization systems is a collection of $\infty$-functors $\operatorname{sp}_{f}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\operatorname{sp}^{\prime}_{f}$ associated with morphisms $f\colon X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ such that the diagram

is commutative. Inside $\mathbf{H}(X)$, we define the full, stable sub-$\infty$-category $\mathbf{H}_{\textnormal{geo}}(X)$ of geometric motives generated by motives of the form $p_{*}(\mathds{1}_{Y})(n)$ with $p\colon Y\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow X$ a proper morphism. Clearly, geometric motives are preserved under realization functors. Let $R\colon\mathbf{H}^{1}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}^{2}$ be a morphism of six-functor formalisms. There exists an induced morphism

$$R\colon\mathbf{H}^{1}_{\textnormal{geo}}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}^{2}_{\textnormal{geo}}.$$

We have the following observation: let $\operatorname{sp}^{i}$ be a specialization system on $\mathbf{H}^{i}$ (with $i\in\left\{1,2\right\}$) and $R\colon\mathbf{H}^{1}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}^{2}$ be a morphism of coefficient systems so that there are natural commutative squares

then if $\operatorname{sp}^{1}$ preserves geometric motives then $\operatorname{sp}^{2}$ preserves geometric motives as well. Let us consider some examples that are of our main interest:

We take the following important theorem of Ayoub (see [5][2]) for granted.

In this subsection, we study (motivic) nearby functors, following the content of [5] with a view towards applications to nearby functors on Nori motives. In [5], Ayoub defines and studies motivic (unipotent) nearby functors associated with regular functions $f\colon X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$. Let us recall the definition. Let $\mathbf{H}\colon(\operatorname{Var}_{k})^{\operatorname{op}}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\operatorname{CAlg}(\operatorname{Cat}_{\infty}^{\textnormal{st}})$ be a coefficient system in the sense of [13]. Let $f\colon X\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ be a morphism of $k$-varieties, let us consider the following diagram with cartesian squares

where $i\colon\operatorname{Spec}(k)\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is the zero section and $j\colon\mathbb{G}_{m,k}\lhook\mathrel{\mkern-3.0mu}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is its open complement. Let $\Delta$ be the category of finite ordinals $\mathbf{n}=\left\{0<1<\cdots<n\right\}$ and $\mathbb{N}^{\times}$ be the set of non-zero natural numbers viewed as a category whose objects are non-zero natural numbers and morphisms are defined via the opposite of the division relation. In [4, Definition 3.5.1], Ayoub defines a diagram of $\mathbb{G}_{m,k}$-schemes $\mathscr{R}\colon\Delta\times\mathbb{N}^{\times}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\operatorname{Var}_{\mathbb{G}_{m,k}}$ such that $\mathscr{R}(\mathbf{n},r)=\mathbb{G}_{m,k}\times_{k}(\mathbb{G}_{m,k})^{n}$. The structural morphism is given by the composition

$$\mathbb{G}_{m,k}\times_{k}(\mathbb{G}_{m,k})^{n}\overset{\operatorname{pr}_{1}}{\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow}\mathbb{G}_{m,k}\overset{e_{r}}{\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow}\mathbb{G}_{m,k},$$

in which $\operatorname{pr}_{1}$ is the projection on the first factor and the second one is the $r$-power morphism and morphisms between $\mathscr{R}(\mathbf{n}_{1},r_{1})\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathscr{R}(\mathbf{n}_{2},r_{2})$ are given simplicially in the first factor and by divisibility in the second factor. Let us assume that each $\mathbf{H}(X)$ is presentable and $f^{*}$ preserves compact objects (in particular, this implies $f_{*}$ preserves (homotopical) colimits by [4]). The motivic nearby functor and the motivic unipotent nearby functor are given by

$$\begin{split}\Psi_{f}^{\textnormal{A}}\colon\mathbf{H}(X_{\sigma})&\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}(X_{\sigma})\\ M&\longmapsto i^{*}j_{*}(M\otimes f_{\eta}^{*}(\mathscr{U}^{\textnormal{mot}})),\end{split}\ \ \ \ \ \ \begin{split}\Upsilon_{f}^{\textnormal{A}}\colon\mathbf{H}(X_{\sigma})&\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}(X_{\sigma})\\ M&\longmapsto i^{*}j_{*}(M\otimes f_{\eta}^{*}(\mathscr{U}^{\textnormal{un}})),\end{split}$$

respectively, where $\mathscr{U}^{\textnormal{mot}}=\operatorname{colim}_{\Delta\times\mathbb{N}^{\times}}\textnormal{M}(\mathscr{R}(\mathbf{n},r))$ ²² 2 For $\mathbf{H}=\mathbf{DA}^{\textnormal{\'{e}t}}$, under the Betti realization and the pullback of the unit section, one has that $\operatorname{Spec}(1^{*}\operatorname{Bti}_{k}^{*}(\mathscr{U}))\simeq\hat{\mathbb{Z}}(1)\times\mathbb{G}_{a}$ thanks to [9, Corollaire 2.19]. is the homotopy colimit of motives of schemes in the diagram $\mathscr{R}$ and $\mathscr{U}^{\textnormal{un}}=\operatorname{colim}_{\Delta}\textnormal{M}(\mathscr{R}(\mathbf{n},1))$. Alternatively, one can follow [6, Definition 4.11] and write the full nearby functor as follows: for each $n\in\mathbb{N}$, let us form the cartesian square

where $e_{n}\colon\mathbb{A}_{k}^{1}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbb{A}_{k}^{1}$ is the $n$-th power morphism. Then the motivic nearby functor can be given as

$$\Psi_{f}^{\textnormal{A}}=\operatorname{colim}_{n\in\mathbb{N}}\ \Upsilon_{f_{n}}^{\textnormal{A}}(e_{n})_{\eta}^{*},$$

where the transitions are given as in [6, Lemma 4.10]. Clearly, if $R\colon\mathbf{H}_{1}\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow\mathbf{H}_{2}$ is a morphism of coefficient systems, there are natural isomorphisms

$$R_{X_{\sigma}}\circ\Psi_{f}^{\textnormal{A}}\overset{\sim}{\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow}\Psi_{f}^{\textnormal{A}}\circ R_{X_{\eta}}\ \ \ \ \ \ R_{X_{\sigma}}\circ\Upsilon_{f}^{\textnormal{A}}\overset{\sim}{\mathrel{\mathchoice{{}\hbox{$\displaystyle{\meno}$}}{{}\hbox{$\textstyle{\meno}$}}{{}\hbox{$\scriptstyle{\meno}$}}{{}\hbox{$\scriptscriptstyle{\meno}$}}}\mathrel{\mkern-3.0mu}\rightarrow}\Upsilon_{f}^{\textnormal{A}}\circ R_{X_{\eta}}$$

Let us recollect the general properties of motivic (unipotent) nearby functors. In what follows, let us assume that $\mathbf{H}\in\left\{\mathbf{DA}^{\textnormal{\'{e}t}}(-),\mathbf{D}_{\textnormal{geo}}(-),\mathbf{DN}(-)\right\}$.

The following proposition is essentially due to Ayoub in [5][6] (see also [18][2][19] and [27]). It holds true for any $\mathbb{Q}$-linear, separated coefficient system and in fact for our later applications, it suffices to show it for étale motives and claim the result using realization functors from étale motives to other theories. We present here the complete for the convenience of the reader.