On the auto Igusa-zeta function of an algebraic curve. (March 2017)

• Record Type: Journal Article
• Authors: Stout, Andrew R.
• Is Part Of: Journal of symbolic computation. Volume 79(2017)Part 1
• Page Start: 156
• Page End: 185
• Publication Date: 2017-03
• Subjects: Computational algebraic geometry -- Jet schemes -- Hilbert schemes -- Igusa-zeta functions -- Motivic integration -- Formal schemes -- Grothendieck topologies -- Sieves; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2016.08.011
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We study endomorphisms of complete Noetherian local rings in the context of motivic integration. Using the notion of an auto-arc space, we introduce the (reduced) auto-Igusa zeta series at a point, which appears to measure the degree to which a variety is not smooth that point. We conjecture a closed formula in the case of curves with one singular point, and we provide explicit formulas for this series in the case of the cusp and the node. Using the work of Denef and Loeser, one can show that this series will often be rational. These ideas were obtained through extensive calculations in Sage. Thus, we include a Sage script which was used in these calculations. It computes the affine arc spaces ∇ n X provided that X is affine, n is a fat point, and the ground field is of characteristic zero. Finally, we show that the auto Poincaré series will often be rational as well and connect this to questions concerning new types of motivic integrals.