Showing 1–47 of 47 results for author: Nicaise, J

Base change conductors through intersection theory and quotient singularities

Authors: Dennis Eriksson, Lars Halvard Halle, Johannes Nicaise

Abstract: We perform a systematic study of the base change conductor for Jacobians. Through the lens of intersection theory and Deligne's Riemann-Roch theorem, we present novel computational approaches for both the tame and wild parts of the base change conductor. Our key results include a general formula of the tame part, as well as a computation of the wild part in terms of Galois quotients of semistable… ▽ More We perform a systematic study of the base change conductor for Jacobians. Through the lens of intersection theory and Deligne's Riemann-Roch theorem, we present novel computational approaches for both the tame and wild parts of the base change conductor. Our key results include a general formula of the tame part, as well as a computation of the wild part in terms of Galois quotients of semistable models of the curves. We treat in detail the case of potential good reduction when the quotient only has weak wild quotient singularities, relying on recent advances by Obus and Wewers. △ Less

Submitted 3 December, 2024; v1 submitted 20 October, 2024; originally announced October 2024.

Comments: 45 pages. Added section 6.4, and corrected typos

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets

Authors: Johannes Nicaise

Abstract: Let $Γ$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $Γ$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Z})$ is equivalent to the classification up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Q})$. We prove this by giving an explicit… ▽ More Let $Γ$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $Γ$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Z})$ is equivalent to the classification up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Q})$. We prove this by giving an explicit description of these Grothendieck groups. This yields, in particular, a positive answer to the basic case of a question by Hrushovski and Kazhdan; all other cases are still open. As a second application, we give a simple description of the kernel of the motivic volume for non-archimedean semi-algebraic sets, which is a key ingredient of Hrushovski and Kazhdan's theory of motivic integration. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Birational invariance of motivic zeta functions of $K$-trivial varieties, and obstructions to smooth fillings

Authors: Luigi Lunardon, Johannes Nicaise

Abstract: The motivic zeta function of a smooth and proper $\mathbb{C}((t))$-variety $X$ with trivial canonical bundle is a rational function with coefficients in an appropriate Grothendieck ring of complex varieties, which measures how $X$ degenerates at $t=0$. In analogy with Igusa's monodromy conjecture for $p$-adic zeta functions of hypersurface singularities, we expect that the poles of the motivic zet… ▽ More The motivic zeta function of a smooth and proper $\mathbb{C}((t))$-variety $X$ with trivial canonical bundle is a rational function with coefficients in an appropriate Grothendieck ring of complex varieties, which measures how $X$ degenerates at $t=0$. In analogy with Igusa's monodromy conjecture for $p$-adic zeta functions of hypersurface singularities, we expect that the poles of the motivic zeta function of $X$ correspond to monodromy eigenvalues on the cohomology of $X$. In this paper, we prove that the motivic zeta function and the monodromy conjecture are preserved under birational equivalence, which extends the range of known cases. As a further application, we explain how the motivic zeta function acts as an obstruction to the existence of a smooth filling for $X$ at $t=0$. △ Less

Submitted 31 January, 2024; originally announced January 2024.

MSC Class: 14D06; 14E18; 14J32

The dlt motivic zeta function is not well-defined

Authors: Johannes Nicaise, Naud Potemans, Willem Veys

Abstract: In arXiv:1408.4708, Xu defines the dlt motivic zeta function associated to a regular function $f$ on a smooth variety $X$ over a field of characteristic zero. This is an adaptation of the classical motivic zeta function that was introduced by Denef and Loeser. The dlt motivic zeta function is defined on a dlt modification via a Denef-Loeser-type formula, replacing classes of strata in the Grothend… ▽ More In arXiv:1408.4708, Xu defines the dlt motivic zeta function associated to a regular function $f$ on a smooth variety $X$ over a field of characteristic zero. This is an adaptation of the classical motivic zeta function that was introduced by Denef and Loeser. The dlt motivic zeta function is defined on a dlt modification via a Denef-Loeser-type formula, replacing classes of strata in the Grothendieck ring of varieties by stringy motives. We provide explicit examples that show that the dlt motivic zeta function depends on the choice of dlt modification, contrary to what is claimed in arXiv:1408.4708, and that it is therefore not well-defined. △ Less

Submitted 1 December, 2021; originally announced December 2021.

A refinement of the motivic volume, and specialization of birational types

Authors: Johannes Nicaise, John Christian Ottem

Abstract: We construct an upgrade of the motivic volume by keeping track of dimensions in the Grothendieck ring of varieties. This produces a uniform refinement of the motivic volume and its birational version introduced by Kontsevich and Tschinkel to prove the specialization of birational types. We also provide several explicit examples of obstructions to stable rationality arising from this technique. We construct an upgrade of the motivic volume by keeping track of dimensions in the Grothendieck ring of varieties. This produces a uniform refinement of the motivic volume and its birational version introduced by Kontsevich and Tschinkel to prove the specialization of birational types. We also provide several explicit examples of obstructions to stable rationality arising from this technique. △ Less

Submitted 8 July, 2021; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: Final version, to appear in "Rationality of varieties", volume 342 of Progress in Mathematics, Birkhäuser

Tropical degenerations and stable rationality

Authors: Johannes Nicaise, John Christian Ottem

Abstract: We use the motivic obstruction to stable rationality introduced by Shinder and the first-named author to establish several new classes of stably irrational hypersurfaces and complete intersections. In particular, we show that very general quartic fivefolds and complete intersections of a quadric and a cubic in $\mathbb P^6$ are stably irrational. An important new ingredient is the use of tropical… ▽ More We use the motivic obstruction to stable rationality introduced by Shinder and the first-named author to establish several new classes of stably irrational hypersurfaces and complete intersections. In particular, we show that very general quartic fivefolds and complete intersections of a quadric and a cubic in $\mathbb P^6$ are stably irrational. An important new ingredient is the use of tropical degeneration techniques. △ Less

Submitted 31 January, 2022; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: v4: accepted version, to appear in Duke Mathematical Journal

Convergence of p-adic pluricanonical measures to Lebesgue measures on skeleta in Berkovich spaces

Authors: Mattias Jonsson, Johannes Nicaise

Abstract: Let $K$ be a non-archimedean local field, $X$ a smooth and proper $K$-scheme, and fix a pluricanonical form on $X$. For every finite extension $K'$ of $K$, the pluricanonical form induces a measure on the $K'$-analytic manifold $X(K')$. We prove that, when $K'$ runs through all finite tame extensions of $K$, suitable normalizations of the pushforwards of these measures to the Berkovich analytifica… ▽ More Let $K$ be a non-archimedean local field, $X$ a smooth and proper $K$-scheme, and fix a pluricanonical form on $X$. For every finite extension $K'$ of $K$, the pluricanonical form induces a measure on the $K'$-analytic manifold $X(K')$. We prove that, when $K'$ runs through all finite tame extensions of $K$, suitable normalizations of the pushforwards of these measures to the Berkovich analytification of $X$ converge to a Lebesgue-type measure on the temperate part of the Kontsevich--Soibelman skeleton, assuming the existence of a strict normal crossings model for $X$. We also prove a similar result for all finite extensions $K'$ under the assumption that $X$ has a log smooth model. This is a non-archimedean counterpart of analogous results for volume forms on degenerating complex Calabi--Yau manifolds by Boucksom and the first-named author. Along the way, we develop a general theory of Lebesgue measures on Berkovich skeleta over discretely valued fields. △ Less

Submitted 7 May, 2019; originally announced May 2019.

The non-archimedean SYZ fibration

Authors: Johannes Nicaise, Chenyang Xu, Tony Yue Yu

Abstract: We construct non-archimedean SYZ fibrations for maximally degenerate Calabi-Yau varieties, and we show that they are affinoid torus fibrations away from a codimension two subset of the base. This confirms a prediction by Kontsevich and Soibelman. We also give an explicit description of the induced integral affine structure on the base of the SYZ fibration. Our main technical tool is a study of the… ▽ More We construct non-archimedean SYZ fibrations for maximally degenerate Calabi-Yau varieties, and we show that they are affinoid torus fibrations away from a codimension two subset of the base. This confirms a prediction by Kontsevich and Soibelman. We also give an explicit description of the induced integral affine structure on the base of the SYZ fibration. Our main technical tool is a study of the structure of minimal dlt-models along one-dimensional strata. △ Less

Submitted 15 February, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: Final version, to appear in Compositio Mathematica

Journal ref: Compositio Math. 155 (2019) 953-972

Igusa zeta functions and the non-archimedean SYZ fibration

Authors: Johannes Nicaise

Abstract: We explain the proof, obtained in collaboration with Chenyang Xu, of a 1999 conjecture of Veys about poles of maximal order of Igusa zeta functions. The proof technique is based on the Minimal Model Program in birational geometry, but the proof was heavily inspired by ideas coming from non-archimedean geometry and mirror symmetry; we will outline these relations at the end of the paper. This text… ▽ More We explain the proof, obtained in collaboration with Chenyang Xu, of a 1999 conjecture of Veys about poles of maximal order of Igusa zeta functions. The proof technique is based on the Minimal Model Program in birational geometry, but the proof was heavily inspired by ideas coming from non-archimedean geometry and mirror symmetry; we will outline these relations at the end of the paper. This text is intended to be a low-tech introduction to these topics; we only assume that the reader has a basic knowledge of algebraic geometry. △ Less

Submitted 31 August, 2017; originally announced August 2017.

Comments: Written for the proceedings of the 2017 Annual Meeting at the Vietnamese Institute for Advanced Study in Mathematics (VIASM)

The motivic nearby fiber and degeneration of stable rationality

Authors: Johannes Nicaise, Evgeny Shinder

Abstract: We prove that stable rationality specializes in regular families whose fibers are integral and have at most ordinary double points as singularities. Our proof is based on motivic specialization techniques and the criterion of Larsen and Lunts for stable rationality in the Grothendieck ring of varieties. We prove that stable rationality specializes in regular families whose fibers are integral and have at most ordinary double points as singularities. Our proof is based on motivic specialization techniques and the criterion of Larsen and Lunts for stable rationality in the Grothendieck ring of varieties. △ Less

Submitted 13 March, 2019; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: Improved presentation; appendix added with a self-contained construction of the motivic volume based on logarithmic geometry and weak factorization. To appear in Inventiones Mathematicae

A tropical motivic Fubini theorem with applications to Donaldson-Thomas theory

Authors: Johannes Nicaise, Sam Payne

Abstract: We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and… ▽ More We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and conceptual new proof of the integral identity conjecture of Kontsevich and Soibelman, first proved by Lê Quy Thuong. Both of these conjectures emerged in the context of motivic Donaldson-Thomas theory. △ Less

Submitted 18 February, 2018; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: Grant information completed, no changes to the body of the paper

Journal ref: Duke Math. J. 168, no. 10 (2019), 1843-1886

Motivic zeta functions of degenerating Calabi-Yau varieties

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: We study motivic zeta functions of degenerating families of Calabi-Yau varieties. Our main result says that they satisfy an analog of Igusa's monodromy conjecture if the family has a so-called Galois-equivariant Kulikov model; we provide several classes of examples where this condition is verified. We also establish a close relation between the zeta function and the skeleton that appeared in Konts… ▽ More We study motivic zeta functions of degenerating families of Calabi-Yau varieties. Our main result says that they satisfy an analog of Igusa's monodromy conjecture if the family has a so-called Galois-equivariant Kulikov model; we provide several classes of examples where this condition is verified. We also establish a close relation between the zeta function and the skeleton that appeared in Kontsevich and Soibelman's non-archimedean interpretation of the SYZ conjecture in mirror symmetry. △ Less

Submitted 20 June, 2017; v1 submitted 31 January, 2017; originally announced January 2017.

Comments: New result on existence of Kulikov models for abelian varieties added in section 5.1

Computing motivic zeta functions on log smooth models

Authors: Emmanuel Bultot, Johannes Nicaise

Abstract: We give an explicit formula for the motivic zeta function in terms of a log smooth model. It generalizes the classical formulas for snc-models, but it gives rise to much fewer candidate poles, in general. As an illustration, we explain how the formula for Newton non-degenerate polynomials can be viewed as a special case of our results. We give an explicit formula for the motivic zeta function in terms of a log smooth model. It generalizes the classical formulas for snc-models, but it gives rise to much fewer candidate poles, in general. As an illustration, we explain how the formula for Newton non-degenerate polynomials can be viewed as a special case of our results. △ Less

Submitted 12 February, 2019; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: v3: Section 3 with background material on regular log schemes expanded, minor changes to the remainder of the paper

Geometric invariants for non-archimedean semialgebraic sets

Authors: Johannes Nicaise

Abstract: This survey paper explains how one can attach geometric invariants to semialgebraic sets defined over non-archimedean fields, using the theory of motivic integration of Hrushovski and Kazhdan. It also discusses tropical methods to compute these invariants in concrete cases, as well as an application to refined curve counting, developed in collaboration with Sam Payne and Franziska Schroeter. This survey paper explains how one can attach geometric invariants to semialgebraic sets defined over non-archimedean fields, using the theory of motivic integration of Hrushovski and Kazhdan. It also discusses tropical methods to compute these invariants in concrete cases, as well as an application to refined curve counting, developed in collaboration with Sam Payne and Franziska Schroeter. △ Less

Submitted 18 February, 2018; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: Final version, to appear in the Proceedings of the AMS Summer Institute (Salt Lake City, 2015)

Tropical refined curve counting via motivic integration

Authors: Johannes Nicaise, Sam Payne, Franziska Schroeter

Abstract: We propose a geometric interpretation of Block and Göttsche's refined tropical curve counting invariants in terms of virtual $χ_{-y}$-specializations of motivic measures of semialgebraic sets in relative Hilbert schemes. We prove that this interpretation is correct for linear series of genus 1, and in arbitrary genus after specializing from $χ_{-y}$ to Euler characteristic. We propose a geometric interpretation of Block and Göttsche's refined tropical curve counting invariants in terms of virtual $χ_{-y}$-specializations of motivic measures of semialgebraic sets in relative Hilbert schemes. We prove that this interpretation is correct for linear series of genus 1, and in arbitrary genus after specializing from $χ_{-y}$ to Euler characteristic. △ Less

Submitted 18 February, 2018; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: 44 pages; 2 figures. v2: minor errors and typos corrected; Section 6 added (proof of the δ=1 case)

Journal ref: Geom. Topol. 22 (2018) 3175-3234

Semi-stable extensions over 1-dimensional bases

Authors: János Kollár, Johannes Nicaise, Chenyang Xu

Abstract: Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agre… ▽ More Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agree for smooth varieties over ${\mathbb C}((t))$ with semi-ample canonical class. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Weight functions on Berkovich curves

Authors: Matthew Baker, Johannes Nicaise

Abstract: Let $C$ be a curve over a complete discretely valued field $K$. We give tropical descriptions of the weight function attached to a pluricanonical form on $C$ and the essential skeleton of $C$. We show that the Laplacian of the weight function equals the pluricanonical divisor on Berkovich skeleta, and we describe the essential skeleton of $C$ as a combinatorial skeleton of the Berkovich skeleton o… ▽ More Let $C$ be a curve over a complete discretely valued field $K$. We give tropical descriptions of the weight function attached to a pluricanonical form on $C$ and the essential skeleton of $C$. We show that the Laplacian of the weight function equals the pluricanonical divisor on Berkovich skeleta, and we describe the essential skeleton of $C$ as a combinatorial skeleton of the Berkovich skeleton of the minimal $snc$-model. In particular, if $C$ has semi-stable reduction, then the essential skeleton coincides with the minimal skeleton. As an intermediate step, we describe the base loci of logarithmic pluricanonical line bundles on minimal $snc$-models. △ Less

Submitted 28 October, 2015; v1 submitted 3 June, 2015; originally announced June 2015.

The specialization index of a variety over a discretely valued field

Authors: Lore Kesteloot, Johannes Nicaise

Abstract: Let $X$ be a proper variety over a henselian discretely valued field. An important obstruction to the existence of a rational point on $X$ is the index, the minimal positive degree of a zero cycle on $X$. This paper introduces a new invariant, the specialization index, which is a closer approximation of the existence of a rational point. We provide an explicit formula for the specialization index… ▽ More Let $X$ be a proper variety over a henselian discretely valued field. An important obstruction to the existence of a rational point on $X$ is the index, the minimal positive degree of a zero cycle on $X$. This paper introduces a new invariant, the specialization index, which is a closer approximation of the existence of a rational point. We provide an explicit formula for the specialization index in terms of an $snc$-model, and we give examples of curves where the index equals one but the specialization index is different from one, and thus explains the absence of a rational point. Our main result states that the specialization index of a smooth, proper, geometrically connected $\mathbb{C}((t))$-variety with trivial coherent cohomology is equal to one. △ Less

Submitted 23 June, 2015; v1 submitted 29 May, 2015; originally announced May 2015.

Motivic Zeta Functions of the Quartic and its Mirror Dual

Authors: Johannes Nicaise, D. Peter Overholser, Helge Ruddat

Abstract: We use a formula of Bultot to compute the motivic zeta function for the toric degeneration of the quartic K3 and its Gross-Siebert mirror dual degeneration. We check for this explicit example that the identification of the logarithm of the monodromy and the mirror dual Lefschetz operator works at an integral level. We use a formula of Bultot to compute the motivic zeta function for the toric degeneration of the quartic K3 and its Gross-Siebert mirror dual degeneration. We check for this explicit example that the identification of the logarithm of the monodromy and the mirror dual Lefschetz operator works at an integral level. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Comments: 12 pages, 6 figures

MSC Class: 11G42; 14M25; 14D05; 14E18; 14G10

Berkovich skeleta and birational geometry

Authors: Johannes Nicaise

Abstract: We give a survey of joint work with Mircea Mustaţă and Chenyang Xu on the connections between the geometry of Berkovich spaces over the field of Laurent series and the birational geometry of one-parameter degenerations of smooth projective varieties. The central objects in our theory are the weight function and the essential skeleton of the degeneration. We tried to keep the text self-contained, s… ▽ More We give a survey of joint work with Mircea Mustaţă and Chenyang Xu on the connections between the geometry of Berkovich spaces over the field of Laurent series and the birational geometry of one-parameter degenerations of smooth projective varieties. The central objects in our theory are the weight function and the essential skeleton of the degeneration. We tried to keep the text self-contained, so that it can serve as an introduction to Berkovich geometry for birational geometers. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: These are expanded lecture notes of a talk at the Simons Symposium on Non-Archimedean Geometry and Tropical Geometry (March 31-April 6, 2013). They have been submitted to the conference proceedings

Poles of maximal order of motivic zeta functions

Authors: Johannes Nicaise, Chenyang Xu

Abstract: We prove a 1999 conjecture of Veys, which says that the opposite of the log canonical threshold is the only possible pole of maximal order of Denef and Loeser's motivic zeta function associated with a germ of a regular function on a smooth variety over a field of characteristic zero. We apply similar methods to study the weight function on the Berkovich skeleton associated with a degeneration of C… ▽ More We prove a 1999 conjecture of Veys, which says that the opposite of the log canonical threshold is the only possible pole of maximal order of Denef and Loeser's motivic zeta function associated with a germ of a regular function on a smooth variety over a field of characteristic zero. We apply similar methods to study the weight function on the Berkovich skeleton associated with a degeneration of Calabi-Yau varieties. Our results suggest that the weight function induces a flow on the non-archimedean analytification of the degeneration towards the Kontsevich-Soibelman skeleton. △ Less

Submitted 13 February, 2015; v1 submitted 26 March, 2014; originally announced March 2014.

Comments: to appear in Duke Mathematical Journal

Journal ref: Duke Math. J. 165, no. 2 (2016), 217-243

A logarithmic interpretation of Edixhoven's jumps for Jacobians

Authors: Dennis Eriksson, Lars Halvard Halle, Johannes Nicaise

Abstract: Let $A$ be an abelian variety over a discretely valued field. Edixhoven has defined a filtration on the special fiber of the Néron model of $A$ that measures the behaviour of the Néron model under tame base change. We interpret the jumps in this filtration in terms of lattices of logarithmic differential forms in the case where $A$ is the Jacobian of a curve $C$, and we give a compact explicit for… ▽ More Let $A$ be an abelian variety over a discretely valued field. Edixhoven has defined a filtration on the special fiber of the Néron model of $A$ that measures the behaviour of the Néron model under tame base change. We interpret the jumps in this filtration in terms of lattices of logarithmic differential forms in the case where $A$ is the Jacobian of a curve $C$, and we give a compact explicit formula for the jumps in terms of the combinatorial reduction data of $C$. △ Less

Submitted 21 March, 2014; originally announced March 2014.

The essential skeleton of a degeneration of algebraic varieties

Authors: Johannes Nicaise, Chenyang Xu

Abstract: In this paper, we explore the connections between the Minimal Model Program and the theory of Berkovich spaces. Let $k$ be a field of characteristic zero and let $X$ be a smooth and proper $k((t))$-variety with semi-ample canonical divisor. We prove that the essential skeleton of $X$ coincides with the skeleton of any minimal $dlt$-model and that it is a strong deformation retract of the Berkovich… ▽ More In this paper, we explore the connections between the Minimal Model Program and the theory of Berkovich spaces. Let $k$ be a field of characteristic zero and let $X$ be a smooth and proper $k((t))$-variety with semi-ample canonical divisor. We prove that the essential skeleton of $X$ coincides with the skeleton of any minimal $dlt$-model and that it is a strong deformation retract of the Berkovich analytification of $X$. As an application, we show that the essential skeleton of a Calabi-Yau variety over $k((t))$ is a pseudo-manifold. △ Less

Submitted 31 March, 2016; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: To appear in American Journal of Mathematics

Weight functions on non-archimedean analytic spaces and the Kontsevich-Soibelman skeleton

Authors: Mircea Mustata, Johannes Nicaise

Abstract: We associate a weight function to pairs consisting of a smooth and proper variety X over a complete discretely valued field and a differential form on X of maximal degree. This weight function is a real-valued function on the non-archimedean analytification of X. It is piecewise affine on the skeleton of any regular model with strict normal crossings of X, and strictly ascending as one moves away… ▽ More We associate a weight function to pairs consisting of a smooth and proper variety X over a complete discretely valued field and a differential form on X of maximal degree. This weight function is a real-valued function on the non-archimedean analytification of X. It is piecewise affine on the skeleton of any regular model with strict normal crossings of X, and strictly ascending as one moves away from the skeleton. We apply these properties to the study of the Kontsevich-Soibelman skeleton of such a pair, and we prove that this skeleton is connected when X has geometric genus one. This result can be viewed as an analog of the Shokurov-Kollar connectedness theorem in birational geometry. △ Less

Submitted 27 June, 2013; v1 submitted 27 December, 2012; originally announced December 2012.

Comments: Latex, 39 pages. Changes w.r.t. v2: construction of the weight function and the skeleton extended to pluricanonical forms

MSC Class: 14G22 (Primary) 13A18; 14F17 (Secondary)

Néron models and base change

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: We study various aspects of the behaviour of Néron models of semi-abelian varieties under finite extensions of the base field, with a special emphasis on wildly ramified Jacobians. In Part 1, we analyze the behaviour of the component groups of the Néron models, and we prove rationality results for a certain generating series encoding their orders. In Part 2, we discuss Chai's base change conductor… ▽ More We study various aspects of the behaviour of Néron models of semi-abelian varieties under finite extensions of the base field, with a special emphasis on wildly ramified Jacobians. In Part 1, we analyze the behaviour of the component groups of the Néron models, and we prove rationality results for a certain generating series encoding their orders. In Part 2, we discuss Chai's base change conductor and Edixhoven's filtration, and their relation to the Artin conductor. All of these results are applied in Part 3 to the study of motivic zeta functions of semi-abelian varieties. Part 4 contains some intriguing open problems and directions for further research. The main tools in this work are non-archimedean uniformization and a detailed analysis of the behaviour of regular models of curves under base change. △ Less

Submitted 25 September, 2012; originally announced September 2012.

MSC Class: 14K15; 14H40; 14G22; 14E18

Chai's Conjecture and Fubini properties of dimensional motivic integration

Authors: R. Cluckers, F. Loeser, J. Nicaise

Abstract: We prove that a conjecture of Chai on the additivity of the base change conductor for semi-abelian varieties over a discretely valued field is equivalent to a Fubini property for the dimensions of certain motivic integrals. We prove this Fubini property when the valued field has characteristic zero. We prove that a conjecture of Chai on the additivity of the base change conductor for semi-abelian varieties over a discretely valued field is equivalent to a Fubini property for the dimensions of certain motivic integrals. We prove this Fubini property when the valued field has characteristic zero. △ Less

Submitted 9 January, 2013; v1 submitted 28 February, 2011; originally announced February 2011.

Comments: 22 pages

MSC Class: 03C95; 11G25; 14K15 (Primary) 03C10; 14K05 (Secondary)

Journal ref: Algebra Number Theory 7 (2013) 893-915

Motivic zeta functions for degenerations of abelian varieties and Calabi-Yau varieties

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: This is a survey on motivic zeta functions associated to abelian varieties and Calabi-Yau varieties over a discretely valued field. We explain how they are related to Denef and Loeser's motivic zeta function associated to a complex hypersurface singularity and we investigate the relation between the poles of the zeta function and the eigenvalues of the monodromy action on the tame $\ell$-adic coho… ▽ More This is a survey on motivic zeta functions associated to abelian varieties and Calabi-Yau varieties over a discretely valued field. We explain how they are related to Denef and Loeser's motivic zeta function associated to a complex hypersurface singularity and we investigate the relation between the poles of the zeta function and the eigenvalues of the monodromy action on the tame $\ell$-adic cohomology of the variety. The motivic zeta function allows to generalize many interesting arithmetic invariants from abelian varieties to Calabi-Yau varieties and to compute them explicitly on a model with strict normal crossings. △ Less

Submitted 27 September, 2012; v1 submitted 22 December, 2010; originally announced December 2010.

Jumps and monodromy of abelian varieties

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof. We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof. △ Less

Submitted 8 September, 2011; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: Section 5 rewritten, Section 6 expanded

Finite group actions, rational fixed points and weak Néron models

Authors: Hélène Esnault, Johannes Nicaise

Abstract: If $G$ is a finite $\ell$-group acting on an affine space $\mathbb{A}^n$ over a finite field $K$ of cardinality prime to $\ell$, Serre has shown that there exists a rational fixed point. We generalize this to the case where $K$ is a henselian discretely valued field of characteristic zero with algebraically closed residue field and with residue characteristic different from $\ell$. We also treat t… ▽ More If $G$ is a finite $\ell$-group acting on an affine space $\mathbb{A}^n$ over a finite field $K$ of cardinality prime to $\ell$, Serre has shown that there exists a rational fixed point. We generalize this to the case where $K$ is a henselian discretely valued field of characteristic zero with algebraically closed residue field and with residue characteristic different from $\ell$. We also treat the case where the residue field is finite of cardinality $q$ such that $\ell$ divides $q-1$. To this aim, we study group actions on weak Néron models. △ Less

Submitted 1 February, 2011; v1 submitted 7 September, 2010; originally announced September 2010.

Comments: Proposition 4.2 added and results in Section 4 generalized

A note on motivic integration in mixed characteristic

Authors: Johannes Nicaise, Julien Sebag

Abstract: We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed sur… ▽ More We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008). △ Less

Submitted 24 December, 2009; originally announced December 2009.

Geometric criteria for tame ramification

Authors: Johannes Nicaise

Abstract: We prove an A'Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field $K$. As a first application, we relate the orders of the tame monodromy eigenvalues on the $\ell$-adic cohomology of a $K$-curve to the geometry of a relatively minimal $sncd$-model, and we show that the semi-stable reduction theorem and Saito's criterion for cohomolo… ▽ More We prove an A'Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field $K$. As a first application, we relate the orders of the tame monodromy eigenvalues on the $\ell$-adic cohomology of a $K$-curve to the geometry of a relatively minimal $sncd$-model, and we show that the semi-stable reduction theorem and Saito's criterion for cohomological tameness are immediate consequences of this result. As a second application, we compute the error term in the trace formula for smooth and proper $K$-varieties. We see that the validity of the trace formula would imply a partial generalization of Saito's criterion to arbitrary dimension. △ Less

Submitted 1 February, 2011; v1 submitted 20 October, 2009; originally announced October 2009.

Comments: Section 2 has been written down in more detail

The Néron component series of an abelian variety

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: We introduce the Néron component series of an abelian variety $A$ over a complete discretely valued field. This is a power series in $\Z[[T]]$, which measures the behaviour of the number of components of the Néron model of $A$ under tame ramification of the base field. If $A$ is tamely ramified, then we prove that the Néron component series is rational. It has a pole at T=1, whose order equals o… ▽ More We introduce the Néron component series of an abelian variety $A$ over a complete discretely valued field. This is a power series in $\Z[[T]]$, which measures the behaviour of the number of components of the Néron model of $A$ under tame ramification of the base field. If $A$ is tamely ramified, then we prove that the Néron component series is rational. It has a pole at T=1, whose order equals one plus the potential toric rank of $A$. This result is a crucial ingredient of our proof of the motivic monodromy conjecture for abelian varieties. We expect that it extends to the wildly ramified case; we prove this if $A$ is an elliptic curve, and if $A$ has potential purely multiplicative reduction. △ Less

Submitted 9 October, 2009; originally announced October 2009.

Motivic zeta functions of abelian varieties, and the monodromy conjecture

Authors: Lars Halvard Halle, Johannes Nicaise

Abstract: We prove for abelian varieties a global form of Denef and Loeser's motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety $A$ over a complete discretely valued field, its motivic zeta function has a unique pole at Chai's base change conductor $c(A)$ of $A$, and that the order of this pole equals one plus the potential to… ▽ More We prove for abelian varieties a global form of Denef and Loeser's motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety $A$ over a complete discretely valued field, its motivic zeta function has a unique pole at Chai's base change conductor $c(A)$ of $A$, and that the order of this pole equals one plus the potential toric rank of $A$. Moreover, we show that for every embedding of $\Q_\ell$ in $\C$, the value $\exp(2πi c(A))$ is an $\ell$-adic tame monodromy eigenvalue of $A$. The main tool in the paper is Edixhoven's filtration on the special fiber of the Néron model of $A$, which measures the behaviour of the Néron model under tame base change. △ Less

Submitted 16 October, 2009; v1 submitted 21 February, 2009; originally announced February 2009.

Comments: The proof of the monodromy conjecture is generalized to all tamely ramified abelian varieties, in arbitrary characteristic, using our results on the rationality of the Néron component series in arXiv:0910.1816. The results on motivic invariants of degenerating CY-varieties will appear in a separate paper

An introduction to $p$-adic and motivic zeta functions and the monodromy conjecture

Authors: Johannes Nicaise

Abstract: These notes give a basic introduction to the theory of $p$-adic and motivic zeta functions, motivic integration, and the monodromy conjecture. These notes give a basic introduction to the theory of $p$-adic and motivic zeta functions, motivic integration, and the monodromy conjecture. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Comments: Notes of a lecture at the French-Japanese Winter School on Zeta and L-functions (Miura, January 2008); to appear in the conference proceedings (Memoirs of the Mathematical Society of Japan)

Trace formula for component groups of Néron models

Authors: Johannes Nicaise

Abstract: We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components o… ▽ More We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model. △ Less

Submitted 22 May, 2009; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: Main result (Conjecture 1.1) proven unconditionally; Conjecture 1.2 in version 1 was recently proven by Liu and Lorenzini (see [10])

Greenberg approximation and the geometry of arc spaces

Authors: Johannes Nicaise, Julien Sebag

Abstract: We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves. We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves. △ Less

Submitted 13 January, 2009; originally announced January 2009.

Gauss-Manin connection and t-adic geometry

Authors: Johannes Nicaise

Abstract: We show that the de Rham cohomology of any separated and smooth rigid variety over a field of Laurent series of characteristic zero carries a natural formal meromorphic connection, which we call the Gauss-Manin connection. We compare it with the Gauss-Manin connection of a proper and smooth variety over a curve, and with the Gauss-Manin connection of the Milnor fibration at an isolated complex h… ▽ More We show that the de Rham cohomology of any separated and smooth rigid variety over a field of Laurent series of characteristic zero carries a natural formal meromorphic connection, which we call the Gauss-Manin connection. We compare it with the Gauss-Manin connection of a proper and smooth variety over a curve, and with the Gauss-Manin connection of the Milnor fibration at an isolated complex hypersurface singularity. △ Less

Submitted 10 June, 2008; originally announced June 2008.

Comments: 11 pages

A trace formula for varieties over a discretely valued field

Authors: Johannes Nicaise

Abstract: We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary $K$-varieties using Bittner's presentation of the Grothendieck ring and a process of Néron smoothening of pairs of varieties. The motivic Serre invariant can be… ▽ More We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary $K$-varieties using Bittner's presentation of the Grothendieck ring and a process of Néron smoothening of pairs of varieties. The motivic Serre invariant can be considered as a measure for the set of unramified points on $X$. Under certain tameness conditions, it admits a cohomological interpretation by means of a trace formula. In the curve case, we use T. Saito's geometric criterion for cohomological tameness to obtain more detailed results. We discuss some applications to Weil-Châtelet groups, Chow motives, and the structure of the Grothendieck ring. △ Less

Submitted 26 September, 2008; v1 submitted 9 May, 2008; originally announced May 2008.

Comments: Presentation reorganized; minor errors corrected

Singular cohomology of the analytic Milnor fiber, and mixed Hodge structure on the nearby cohomology

Authors: Johannes Nicaise

Abstract: We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression… ▽ More We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model. △ Less

Submitted 26 September, 2008; v1 submitted 1 October, 2007; originally announced October 2007.

Comments: Slightly rewritten; appendix omitted; section added on the computation of motivic nearby cycles in terms of semi-stable models

Motivic Serre invariants, ramification, and the analytic Milnor fiber

Authors: Johannes Nicaise, Julien Sebag

Abstract: We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to the germ of a morphism f from a smooth complex algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over the field of L… ▽ More We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to the germ of a morphism f from a smooth complex algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over the field of Laurent series C((t)). Its etale cohomology coincides with the singular cohomology of the classical topological Milnor fiber of f; the monodromy transformation is given by the Galois action. Moreover, the points on the analytic Milnor fiber are closely related to the motivic zeta function of f, and the arc space of X. We show how the motivic zeta function can be recovered as some kind of Weil zeta function of the formal completion of X along the special fiber of f, and we establish a corresponding Grothendieck trace formula, which relates, in particular, the rational points on the analytic Milnor fiber over finite extensions of C((t)), to the Galois action on its etale cohomology. The general observation is that the arithmetic properties of the analytic Milnor fiber reflect the structure of the singularity of the germ f. △ Less

Submitted 26 September, 2008; v1 submitted 8 March, 2007; originally announced March 2007.

Comments: Some minor errors corrected. The original publication is available at http://www.springerlink.com

MSC Class: 14G22; 14B05; 32S55

Journal ref: Invent. Math. 168(1), 2007, 133-173

A trace formula for rigid varieties, and motivic Weil generating series for formal schemes

Authors: Johannes Nicaise

Abstract: We establish a trace formula for rigid varieties $X$ over a complete discretely valued field, which relates the set of unramified points on $X$ to the Galois action on its étale cohomology. We develop a theory of motivic integration for formal schemes of pseudo-finite type over a complete discrete valuation ring $R$, and we introduce the Weil generating series of a regular formal $R$-scheme… ▽ More We establish a trace formula for rigid varieties $X$ over a complete discretely valued field, which relates the set of unramified points on $X$ to the Galois action on its étale cohomology. We develop a theory of motivic integration for formal schemes of pseudo-finite type over a complete discrete valuation ring $R$, and we introduce the Weil generating series of a regular formal $R$-scheme $\mathfrak{X}$ of pseudo-finite type, via the construction of a Gelfand-Leray form on its generic fiber. Our trace formula yields a cohomological interpretation of this Weil generating series. When $\mathfrak{X}$ is the formal completion of a morphism $f$ from a smooth irreducible variety to the affine line, then its Weil generating series coincides (modulo normalization) with the motivic zeta function of $f$. When $\mathfrak{X}$ is the formal completion of $f$ at a closed point $x$ of the special fiber $f^{-1}(0)$, we obtain the local motivic zeta function of $f$ at $x$. In the latter case, the generic fiber of $\mathfrak{X}$ is the so-called analytic Milnor fiber of $f$ at $x$; we show that it completely determines the formal germ of $f$ at $x$. △ Less

Submitted 26 September, 2008; v1 submitted 1 March, 2007; originally announced March 2007.

Comments: To appear in Math. Ann. The original publication is available at http://www.springerlink.com

MSC Class: 14G22; 14B05; 32S55

Formal and rigid geometry: an intuitive introduction, and some applications

Authors: Johannes Nicaise

Abstract: We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author. We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author. △ Less

Submitted 25 March, 2009; v1 submitted 19 January, 2007; originally announced January 2007.

Comments: Minor errors corrected. For the final version, please consult the published article

MSC Class: 14G22; 14D15; 14B05

Journal ref: L'Enseignement Mathematique (2) 54 (2008), pages 1-37

Oscillating integrals and Newton polyhedra

Authors: Jan Denef, Johannes Nicaise, Patrick Sargos

Abstract: We establish a principal value integral formula, for the residue of the largest non-trivial candidate pole of the real or complex local zeta function associated to an analytic germ f, which is non-degenerate with respect to its Newton polyhedron. In particular, up to an easy non-zero factor, this residue only depends on the (tau_0)-principal part of f, where tau_0 is the smallest face of the New… ▽ More We establish a principal value integral formula, for the residue of the largest non-trivial candidate pole of the real or complex local zeta function associated to an analytic germ f, which is non-degenerate with respect to its Newton polyhedron. In particular, up to an easy non-zero factor, this residue only depends on the (tau_0)-principal part of f, where tau_0 is the smallest face of the Newton polyhedron intersecting the diagonal. This formula allows us to prove some vanishing results for the residue. More precisely, we prove that the residue vanishes when tau_0 is unstable, and we give a partial proof of the reverse implication in the complex case. We also deduce an explicit formula for the residue, in the case where tau_0 is a simplex of codimension 1, and the only points of the support of f on tau_0 are its vertices. △ Less

Submitted 17 May, 2004; originally announced May 2004.

Comments: 21 pages

Zeta functions and Alexander modules

Authors: Johannes Nicaise

Abstract: We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F… ▽ More We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multivariate p-adic zeta functions, and prove them in the case where dim(X)=2, generalizing results from the univariate case. Furthermore, we prove a comparison theorem with the transcendent case, we study a formula of Denef's for the zeta function in terms of a simultaneous embedded resolution, and we generalize a result concerning the degree of the zeta function to our setting. △ Less

Submitted 10 April, 2004; originally announced April 2004.

Comments: 21 pages

Relative motives and the theory of pseudo-finite fields

Authors: Johannes Nicaise

Abstract: We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields,… ▽ More We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields, and we construct a morphism from the Grothendieck ring of the theory of pseudo-finite fields over S, to the tensor product of Q with the Grothendieck ring of constructible effective Chow motives. This morphism yields a motivic realization for the parametrized arithmetic motivic integrals of Cluckers-Loeser. Finally, we define relative arc and jet spaces, and the three relative motivic generating series. △ Less

Submitted 6 October, 2006; v1 submitted 9 March, 2004; originally announced March 2004.

Comments: 48 pages; thoroughly corrected, rewritten and detailed

Motivic generating series for toric surface singularities

Authors: Johannes Nicaise

Abstract: Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric… ▽ More Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric surface singularities, using the change of variables formula for motivic integrals, thus answering a second question of Lejeune-Jalabert and Reguera's. The series Q_{geom}(T) contains more information than the geometric series, since it determines the multiplicity of the singularity. In some sense, this is the only difference between Q_{geom}(T) and P_{geom}(T). △ Less

Submitted 12 February, 2004; originally announced February 2004.

Comments: 18 pages

Arcs and resolution of singularities

Authors: Johannes Nicaise

Abstract: For a certain class of varieties X, we derive a formula for the valuation d_{X} on the arc space L(Y) of a smooth ambient space Y, in terms of an embedded resolution of singularities. A simple transformation rule yields a formula for the geometric Poincare series. Furthermore, we prove that for this class of varieties, the arithmetic and the geometric Poincare series coincide. We also study the… ▽ More For a certain class of varieties X, we derive a formula for the valuation d_{X} on the arc space L(Y) of a smooth ambient space Y, in terms of an embedded resolution of singularities. A simple transformation rule yields a formula for the geometric Poincare series. Furthermore, we prove that for this class of varieties, the arithmetic and the geometric Poincare series coincide. We also study the geometric valuation for plane curves. △ Less

Submitted 6 February, 2004; originally announced February 2004.

Comments: 19 pages