Characteristic cycle of the external product of constructible sheaves

DOI10.1007/S00229-016-0913-4MaRDI QIDQ2408121zbMATH OpenOpenAlexFDO

Authors Takeshi Saito

Publication date 10 October 2017

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.03157

zbMATH Keywords

characteristic cycleconstructible sheafexternal productlocal acyclicitysingular support

Mathematics Subject Classification ID

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Étale and other Grothendieck topologies and (co)homologies (14F20)

Abstract: We show that the characteristic cycle of the exterior product of constructible complexes is the exterior product of the characteristic cycles of factors. This implies the compatibility of characteristic cycles with smooth pull-back which is a first step in the proof of the index formula.

Review text

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.

Recommendations

• The characteristic cycle and the singular support of a constructible sheaf
• Characteristic cycle and the Euler number of a constructible sheaf on a surface
• scientific article; zbMATH DE number 1321953
• Characteristic cycles and the conductor of direct image
• scientific article; zbMATH DE number 3906868

Cites work

• Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng
• Characteristic cycle and the Euler number of a constructible sheaf on a surface
• Constructible sheaves are holonomic
• Fourier transformat, constants of the functional equations and Weil conjecture
• Geometric Eisenstein series
• scientific article; zbMATH DE number 3845735 (Why is no real title available?)
• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• Modifications et cycles proches sur une base generale
• The characteristic cycle and the singular support of a constructible sheaf
• Theoreme de finitude pour un morphisme propre ; Dimension cohomologique des schemas algebriques affines

Cited in

(8)

• Characteristic cycles of constructible sheaves
• On the relative twist formula of \(\ell\)-adic sheaves
• Duality and nearby cycles over general bases
• The characteristic cycle and the singular support of a constructible sheaf
• Quantitative sheaf theory
• Cohomological Milnor formula and Saito's conjecture on characteristic classes
• Microlocal multiplicity of matroid Schubert varieties
• On singular supports in mixed characteristic

This page was built for publication: Characteristic cycle of the external product of constructible sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2408121)