Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng

DOI10.1007/S00229-016-0852-0zbMATH Open1395.14010arXiv1604.07004OpenAlexW2512140989MaRDI QIDQ506982FDOQ506982

Authors: Luc Illusie 

Publication date: 2 February 2017

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Abstract: For germs of holomorphic functions $f:(mathbf{C}^{m+1},0)o(mathbfC,0)$, $g:(mathbf{C}^{n+1},0)o(mathbfC,0)$ having an isolated critical point at 0 with value 0, the classical Thom-Sebastiani theorem describes the vanishing cycles group $Ph{i}^{m+n+1}(foplusg)$ (and its monodromy) as a tensor product $Ph{i}^m(f)otimesPh{i}^n(g)$, where $(foplusg)(x,y)=f(x)+g(y),x=(x_0,\mathrm{...},x_m),y=(y_0,\mathrm{...},y_n)$. We prove algebraic variants and generalizations of this result in 'etale cohomology over fields of any characteristic, where the tensor product is replaced by a certain local convolution product, as suggested by Deligne. They generalize arXiv:1105.5210. The main ingredient is a K"unneth formula for $RPsi$ in the framework of Deligne's theory of nearby cycles over general bases. In the last section, we study the tame case, and the relations between tensor and convolution products, in both global and local situations.

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

Recommendations

• THOMPSON–WIELANDT-LIKE THEOREMS REVISITED
• scientific article; zbMATH DE number 1145250
• scientific article; zbMATH DE number 25933
• On a theorem of Z. Sebestyén and Zs. Tarcsay
• scientific article; zbMATH DE number 3207392
• On a conjecture of Thomassen and Toft
• scientific article; zbMATH DE number 54550
• A Thom-Sebastiani theorem for fiber-integrals
• A note on Thomassen's conjecture
• Some remarks on Thom's transversality theorem

zbMATH Keywords

convolution[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=K%EF%BF%BD%EF%BF%BDnneth+formula&go=Go K��nneth formula]nearby cycleThom-Sebastiani Theoremvanishing topos

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Exponential sums (11T23) Grothendieck topologies and Grothendieck topoi (18F10) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40) Deformations of complex singularities; vanishing cycles (32S30)

Cites Work

• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Wild ramification and the cotangent bundle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gauss Sums, Kloosterman Sums, and Monodromy Groups. (AM-116)
• Categories and Sheaves
• La conjecture de Weil. II
• Cohomologie étale. Seminaire de géométrie algébrique du Bois-Marie SGA 4 1/2 par P. Deligne, avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier
• Title not available (Why is that?)
• Fourier transformat, constants of the functional equations and Weil conjecture
• Séminaire de Géométrie Algébrique Du Bois-Marie 1967--1969. Groupes de monodromie en géométrie algébrique (SGA 7 I). Dirigé par A. Grothendieck avec la collaboration de M. Raynaud et D. S. Rim. Exposés I, II, VI, VII, VIII, IX
• Modifications et cycles proches sur une base generale
• Title not available (Why is that?)
• Local-to-global extensions of representations of fundamental groups
• Local convolution of \(\ell \)-adic sheaves on the torus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Un résultat sur la monodromie. (A result on the monodromy)
• Seminaire de géométrie algébrique du Bois-Marie 1965-66 SGA 5 dirige par A. Grothendieck avec la collaboration de I. Bucur, C. Houzel, L. Illusie, J.-P. Jouanolou et J. -P. Serre. Cohomologie \(\ell\)-adique et fonctions L
• \(\varepsilon\)-factor of a tamely ramified sheaf on a variety
• Perversity and variation
• Dynamical models for Liouville and obstructions to further progress on sign patterns
• Correction to: ``The characteristic cycle and the singular support of a constructible sheaf
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Majoration de sommes exponentielles attachées aux hypersurfaces diagonales
• A Thom-Sebastiani theorem in characteristic \(p\)

Cited In (20)

• Title not available (Why is that?)
• Fibrations of tamely composable maps
• Unipotent nearby cycles and nearby cycles over general bases
• Wild ramification, nearby cycle complexes, and characteristic cycles of \(\ell\)-adic sheaves
• Characteristic cycle of the external product of constructible sheaves
• The Sebastiani-Thom isomorphism in the derived category
• Étale cohomology of algebraizable rigid analytic varieties via nearby cycles over general bases
• Relative perversity
• The motivic Thom-Sebastiani theorem for regular and formal functions
• Trace maps in motivic homotopy and local terms
• A Tauberian theorem for \(\ell \)-adic sheaves on \(\mathbb{A} ^{1}\)
• Duality and nearby cycles over general bases
• Arthur packets for \(p\)-adic groups by way of microlocal vanishing cycles of perverse sheaves, with examples
• The characteristic cycle and the singular support of a constructible sheaf
• Thom-Sebastiani theorems for filtered \(\mathcal{D}\)-modules and for multiplier ideals
• Categorical traces and a relative Lefschetz-Verdier formula
• A Thom-Sebastiani theorem in characteristic \(p\)
• UNIFORM LOCAL CONSTANCY OF ÉTALE COHOMOLOGY OF RIGID ANALYTIC VARIETIES
• Trace and Künneth formulas for singularity categories and applications
• A Thom-Sebastiani theorem for fiber-integrals

This page was built for publication: Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng

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