IMRN International Mathematics Research Notices No

Gil Guibert

Description

IMRN International Mathematics Research Notices 2005, No. 31 Nearby Cycles and Composition with a Nondegenerate Polynomial Gil Guibert, Franc¸ois Loeser, andMichel Merle 1 Introduction Let Xj be smooth varieties over a field k of characteristic zero, for 1 ≤ j ≤ p. Consider a family f of p functions fj : Xj ? A1k. We will denote also by fj the function on the product X = ∏ j Xj obtained by composition with the projection. We denote by X0(f) the set of common zeroes in X of the functions fj. Let P ? k[y1, . . . , yp] be a polynomial, which we assume to be nondegenerate with respect to its Newton polyhedron. In the present paper, we will compute the motivic nearby cycles SP(f) on X0(f) of the composed function P(f) on X as a sum over the set of compact faces ? of the Newton polyhedron of P. For every such ?, we denote by P? the corresponding quasihomogeneous polynomial. We associate to such a quasihomogeneous polynomial a convolution operator ?P ? , which in the special case where P? is the polynomial ? = y1 + y2 is nothing but the operator ?? considered in [9]. For such a compact face ?, one may also define generalized nearby cycles S?(?) f , constructed as the limit, as T ?∞, of certain truncated motivic zeta functions.

• gm-action


• nondegenerate polynomial


• grothendieck ring


• gsm ?


• ?? k0


• diagonal morphism


• morphism ?


• var ?


• sr ??

Sujets

• Guibert
• Excellent ring
• Diagonal functor

Informations

• Publié par: pefav
• Nombre de lectures: 16
• Langue: English

Extrait

IMRN InternationalMathematicsResearchNotices 2005 , No.31 NearbyCyclesandCompositionwith aNondegeneratePolynomial GilGuibert , Fran¸coisLoeser , andMichelMerle 1Introduction Let X j besmoothvarietiesoverafield k ofcharacteristiczero , for 1 ≤ j ≤ p .Considera family f ofpfunctionsf j : X j →A k 1 .Wewilldenotealsobyf j thefunctionontheproduct  X = j X j obtainedbycompositionwiththeprojection.WedenotebyX 0 (f) thesetof commonzeroesin X ofthefunctions f j .Let P ∈ k [ y 1 ,...,y p ] beapolynomial , whichwe assumetobenondegeneratewithrespecttoitsNewtonpolyhedron.Inthepresentpaper , wewillcomputethemotivicnearbycycles S P (f) on X 0 (f) ofthecomposedfunction P (f) on XasasumoverthesetofcompactfacesδoftheNewtonpolyhedronofP.Foreverysuch δ , wedenoteby P δ thecorrespondingquasihomogeneouspolynomial.Weassociateto suchaquasihomogeneouspolynomialaconvolutionoperator Ψ P δ , whichinthespecial casewhere P δ isthepolynomial Σ = y 1 + y 2 isnothingbuttheoperator Ψ Σ considered in [ 9 ] .Forsuchacompactface δ , onemayalsodefinegeneralizednearbycycles S f σ ( δ ) , constructedasthelimit , asT →∞, ofcertaintruncatedmotiviczetafunctions. Ourmainresult , Theorem3.2 , followsfromadditivityfromthefollowingstate- ment , Theorem3.3: ∗ 
σ ( δ ) i S P (f) ,U = Ψ P δ S f . 1.1 ) ∅ Γδ ∈ Here U denotesthecomplementofthelocuswhereatleastonefunction f j vanishes , Γ ∅ denotesthesetofcompactfacesoftheNewtonpolyhedronof P notcontainedinany  Received8February2005.Revisionreceived3June2005. (