Singularities at infinity and motivic integration

Michel Raibaut

Bulletin de la Société Mathématique de France (2012)

  • Volume: 140, Issue: 1, page 51-100
  • ISSN: 0037-9484

Abstract

top
Let k be a field of characteristic zero and f be a non constant function defined on a smooth variety. We construct in this article amotivic Milnor fiber at infinitywhich belongs to a Grothendieck ring of varieties. It is defined in terms of a chosen compactification, not necessary smooth, but is shown to be independent of this choice. When k is the field of complex numbers, using the Hodge realization morphism, it specializes to the spectrum at infinity of f . As an example, we compute it in the case of a Laurent polynomial non-degenerated with respect to its Newton polyhedron at infinity. For each value a , we define a complete motivic Milnor fiber S f , a . This object is an extension of the usual motivic Milnor fiber S f - a . Then we introducemotivic atypical values, a motivic bifurcation setof f and a notion ofmotivically tame function.

How to cite

top

Raibaut, Michel. "Singularités à l’infini et intégration motivique." Bulletin de la Société Mathématique de France 140.1 (2012): 51-100. <http://eudml.org/doc/272635>.

@article{Raibaut2012,
abstract = {Soit $k$ un corps de caractéristique nulle et $f$ une fonction non constante définie sur une variété lisse. Nous définissons dans cet article unefibre de Milnor motivique à l’infiniqui appartient à un anneau de Grothendieck des variétés. Elle est définie en termes d’une compactification choisie, non nécessairement lisse, mais est indépendante de ce choix. Lorsque $k$ est le corps des nombres complexes, en utilisant le morphisme de réalisation de Hodge, elle se réalise en le spectre à l’infini de $f$. Nous la calculons par exemple, dans le cas d’un polynôme non dégénéré pour son polyèdre de Newton à l’infini. Pour toute valeur $a$, nous définissons unefibre de Milnor motivique complète$S_\{f,a\}$ qui prolonge la fibre de Milnor motivique usuelle $S_\{f-a\}$. Ceci permet d’introduire desvaleurs motiviquement atypiques, un ensemble de bifurcation motiviquede $f$ et une notion defonction motiviquement modérée.},
author = {Raibaut, Michel},
journal = {Bulletin de la Société Mathématique de France},
keywords = {Grothendieck ring; motivic Milnor fiber; Newton polyhedron; motivic bifurcation set},
language = {fre},
number = {1},
pages = {51-100},
publisher = {Société mathématique de France},
title = {Singularités à l’infini et intégration motivique},
url = {http://eudml.org/doc/272635},
volume = {140},
year = {2012},
}

TY - JOUR
AU - Raibaut, Michel
TI - Singularités à l’infini et intégration motivique
JO - Bulletin de la Société Mathématique de France
PY - 2012
PB - Société mathématique de France
VL - 140
IS - 1
SP - 51
EP - 100
AB - Soit $k$ un corps de caractéristique nulle et $f$ une fonction non constante définie sur une variété lisse. Nous définissons dans cet article unefibre de Milnor motivique à l’infiniqui appartient à un anneau de Grothendieck des variétés. Elle est définie en termes d’une compactification choisie, non nécessairement lisse, mais est indépendante de ce choix. Lorsque $k$ est le corps des nombres complexes, en utilisant le morphisme de réalisation de Hodge, elle se réalise en le spectre à l’infini de $f$. Nous la calculons par exemple, dans le cas d’un polynôme non dégénéré pour son polyèdre de Newton à l’infini. Pour toute valeur $a$, nous définissons unefibre de Milnor motivique complète$S_{f,a}$ qui prolonge la fibre de Milnor motivique usuelle $S_{f-a}$. Ceci permet d’introduire desvaleurs motiviquement atypiques, un ensemble de bifurcation motiviquede $f$ et une notion defonction motiviquement modérée.
LA - fre
KW - Grothendieck ring; motivic Milnor fiber; Newton polyhedron; motivic bifurcation set
UR - http://eudml.org/doc/272635
ER -

References

top
  1. [1] F. Bittner – « On motivic zeta functions and the motivic nearby fiber », Math. Z.249 (2005), p. 63–83. Zbl1085.14020MR2106970
  2. [2] T. Brélivet – « Variance of the spectral numbers and Newton polygons », Bull. Sci. Math.126 (2002), p. 332–342. Zbl1032.32016MR1909464
  3. [3] —, « Sur les paires spectrales de polynômes à deux variables », in Singularités Franco-Japonaises, Sémin. Congr., vol. 10, Soc. Math. France, 2005, p. 39–59. Zbl1087.14009
  4. [4] S. A. Broughton – « On the topology of polynomial hypersurfaces », in Singularities, Part 1 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., vol. 40, Amer. Math. Soc., 1983, p. 167–178. Zbl0526.14010MR713056
  5. [5] —, « Milnor numbers and the topology of polynomial hypersurfaces », Invent. Math.92 (1988), p. 217–241. Zbl0658.32005MR936081
  6. [6] P. Cassou-Noguès & A. Dimca – « Topology of complex polynomials via polar curves », Kodai Math. J.22 (1999), p. 131–139. Zbl0939.32027MR1679243
  7. [7] B. Conrad – « Deligne’s notes on Nagata compactifications », J. Ramanujan Math. Soc.22 (2007), p. 205–257. Zbl1142.14001MR2356346
  8. [8] P. Deligne – « Théorie de Hodge. III », Publ. Math. I.H.É.S. 44 (1974), p. 5–77. Zbl0237.14003MR498552
  9. [9] J. Denef & F. Loeser – « Motivic Igusa zeta functions », J. Algebraic Geom.7 (1998), p. 505–537. Zbl0943.14010MR1618144
  10. [10] —, « Germs of arcs on singular algebraic varieties and motivic integration », Invent. Math.135 (1999), p. 201–232. Zbl0928.14004MR1664700
  11. [11] —, « Geometry on arc spaces of algebraic varieties », in European Congress of Mathematics, Vol. I (Barcelona, 2000), Progr. Math., vol. 201, Birkhäuser, 2001, p. 327–348. Zbl1079.14003MR1905328
  12. [12] A. Dimca – « Monodromy and Hodge theory of regular functions », in New developments in singularity theory (Cambridge, 2000), NATO Sci. Ser. II Math. Phys. Chem., vol. 21, Kluwer Acad. Publ., 2001, p. 257–278. Zbl0993.32017MR1849312
  13. [13] —, Sheaves in topology, Universitext, Springer, 2004. MR2050072
  14. [14] R. García López & A. Némethi – « On the monodromy at infinity of a polynomial map », Compositio Math.100 (1996), p. 205–231. Zbl0855.32016
  15. [15] —, « Hodge numbers attached to a polynomial map », Ann. Inst. Fourier (Grenoble) 49 (1999), p. 1547–1579. Zbl0944.32029MR1723826
  16. [16] —, « On the monodromy at infinity of a polynomial map. II », Compositio Math.115 (1999), p. 1–20. Zbl0947.32014MR1671745
  17. [17] G. Guibert – « Espaces d’arcs et invariants d’Alexander », Comment. Math. Helv.77 (2002), p. 783–820. Zbl1046.14008MR1949114
  18. [18] G. Guibert, F. Loeser & M. Merle – « Nearby cycles and composition with a nondegenerate polynomial », Int. Math. Res. Not.2005 (2005), p. 1873–1888. Zbl1093.14032MR2171196
  19. [19] —, « Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink », Duke Math. J.132 (2006), p. 409–457. Zbl1173.14301MR2219263
  20. [20] H. Hironaka – « Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II », Ann. of Math. 79 (1964), p. 109–203, 205–326. Zbl0122.38603MR199184
  21. [21] B. Iversen – « Critical points of an algebraic function », Invent. Math.12 (1971), p. 210–224. Zbl0223.14003MR342512
  22. [22] A. G. Kouchnirenko – « Polyèdres de Newton et nombres de Milnor », Invent. Math.32 (1976), p. 1–31. Zbl0328.32007MR419433
  23. [23] F. Loeser – « Seattle lectures on motivic integration », in Algebraic geometry—Seattle 2005. Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., 2009, p. 745–784. Zbl1181.14017MR2483954
  24. [24] E. Looijenga – « Motivic measures », Astérisque 276 (2002), p. 267–297, Séminaire Bourbaki, vol. 1999/2000, exp. no 874. Zbl0996.14011MR1886763
  25. [25] Y. Matsui & K. Takeuchi – « Monodromy at infinity of polynomial map and mixed hodge modules ». 
  26. [26] —, « Monodromy zeta functions at infinity, newton polyhedra and constructible sheaves », preprint arXiv :0809.3149. Zbl1264.14005
  27. [27] A. Némethi & C. Sabbah – « Semicontinuity of the spectrum at infinity », Abh. Math. Sem. Univ. Hamburg69 (1999), p. 25–35. Zbl0973.32014MR1722919
  28. [28] A. Némethi & A. Zaharia – « On the bifurcation set of a polynomial function and Newton boundary », Publ. Res. Inst. Math. Sci.26 (1990), p. 681–689. Zbl0736.32024MR1081511
  29. [29] —, « Milnor fibration at infinity », Indag. Math. (N.S.) 3 (1992), p. 323–335. Zbl0806.57021MR1186741
  30. [30] A. Parusiński – « On the bifurcation set of complex polynomial with isolated singularities at infinity », Compositio Math.97 (1995), p. 369–384. Zbl0840.32007MR1353280
  31. [31] —, « A note on singularities at infinity of complex polynomials », in Symplectic singularities and geometry of gauge fields (Warsaw, 1995), Banach Center Publ., vol. 39, Polish Acad. Sci., 1997, p. 131–141. Zbl0882.32018MR1458655
  32. [32] C. A. M. Peters & J. H. M. Steenbrink – Mixed Hodge structures, Ergebn. Math. Grenzg., vol. 52, Springer, 2008. Zbl1138.14002MR2393625
  33. [33] F. Pham – « Vanishing homologies and the n variable saddlepoint method », in Singularities, Part 2 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., vol. 40, Amer. Math. Soc., 1983, p. 319–333. Zbl0519.49026MR713258
  34. [34] M. Raibaut – « Fibre de Milnor motivique à l’infini », C. R. Math. Acad. Sci. Paris348 (2010), p. 419–422. Zbl1195.14028MR2607031
  35. [35] C. Sabbah – « Monodromy at infinity and Fourier transform », Publ. Res. Inst. Math. Sci.33 (1997), p. 643–685. Zbl0920.14003MR1489993
  36. [36] —, « Hypergeometric periods for a tame polynomial », Port. Math. (N.S.) 63 (2006), p. 173–226. Zbl1113.14011MR2229875
  37. [37] —, « Monodromy at infinity and Fourier transform. II », Publ. Res. Inst. Math. Sci.42 (2006), p. 803–835. Zbl1259.14008MR2266998
  38. [38] M. Saito – « Mixed Hodge modules », Publ. Res. Inst. Math. Sci.26 (1990), p. 221–333. Zbl0727.14004MR1047415
  39. [39] D. Siersma & M. Tibăr – « Singularities at infinity and their vanishing cycles », Duke Math. J.80 (1995), p. 771–783. Zbl0871.32024MR1370115
  40. [40] J. Steenbrink & S. Zucker – « Variation of mixed Hodge structure. I », Invent. Math.80 (1985), p. 489–542. Zbl0626.14007MR791673
  41. [41] M. Tibăr – « Asymptotic equisingularity and topology of complex hypersurfaces », Int. Math. Res. Not.1998 (1998), p. 979–990. Zbl0920.32030MR1653787
  42. [42] —, Polynomials and vanishing cycles, Cambridge Tracts in Mathematics, vol. 170, Cambridge Univ. Press, 2007. Zbl1126.32026MR2360234
  43. [43] A. N. Varčenko – « Theorems on the topological equisingularity of families of algebraic varieties and families of polynomial mappings », Izv. Akad. Nauk SSSR Ser. Mat.36 (1972), p. 957–1019. Zbl0251.14006MR337956
  44. [44] J.-L. Verdier – « Stratifications de Whitney et théorème de Bertini-Sard », Invent. Math.36 (1976), p. 295–312. Zbl0333.32010MR481096
  45. [45] H. H. Vui & L. D. Tráng – « Sur la topologie des polynômes complexes », Acta Math. Vietnam. 9 (1984), p. 21–32 (1985). Zbl0597.32005MR796894
  46. [46] A. Zaharia – « On the bifurcation set of a polynomial function and Newton boundary. II », Kodai Math. J.19 (1996), p. 218–233. Zbl0867.32013MR1397423

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.