Characteristic cycle of the external product of constructible sheaves (Q2408121)

Let \(k\) be a perfect field, and let \(\Lambda\) be a finite field of characteristic invertible in \(k\). For any smooth scheme \(X\) over \(k\), the category \(D^b_c(X,\Lambda)\) is the category of bounded constructible complexes of \(\Lambda\)-modules on \(X\). For two smooth schemes \(X,Y\) over \(k\), \(\mathcal{F}\in D^b_c(X,\Lambda)\) and \(\mathcal{G}\in D^b_c(Y,\Lambda)\), using the Thom-Sebastian formula (Theorem 4.5) and a conductor formula (Corollary 5.12) for the additive convolution in [\textit{L. Illusie}, Manuscr. Math. 152, No. 1--2, 61--125 (2017; Zbl 1395.14010)], the author proves that the following equality of characteristic cycles: \[ CC(\mathcal{F}\boxtimes \mathcal{G})=CC(\mathcal{F})\boxtimes CC(\mathcal{G}) \] on the cotangent bundle \(T^*(X\times_kY)\), where \(\mathcal{F}\boxtimes \mathcal{G}=\mathrm{pr}_1^*\mathcal{F}\otimes \mathrm{pr}_2^*\mathcal{G} \in D^b_c(X\times_kY)\) is the external product, and the right hand side is the external product of cycles (see (2.1)). This result is an étale analog of the formula (9.4.1) in [\textit{M. Kashiwara} and \textit{P. Schapira}, Sheaves on manifolds. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)]. As a consequence, it implies that characteristic cycles are compatible with a smooth pullback.