The motivic Igusa zeta function of a space monomial curve with a plane semigroup

In this article, we compute the motivic Igusa zeta function of a space monomial curve that appears as the special fiber of an equisingular family whose generic fiber is a complex plane branch. To this end, we determine the irreducible components of the jet schemes of such a space monomial curve. This approach does not only yield a closed formula for the motivic zeta function, but also allows to determine its poles. We show that, while the family of the jet schemes of the fibers is not flat, the number of poles of the motivic zeta function associated with the space monomial curve is equal to the number of poles of the motivic zeta function associated with a generic curve in the family.

Rational Singularities, Quiver Moment Maps, and Representations of Surface Groups

We prove using jet schemes that the zero loci of the moment maps for the quivers with one vertex and at least two loops have rational singularities. This implies that the spaces of representations of the fundamental group of a compact Riemann surface of genus at least two have rational singularities. This has consequences for the numbers of irreducible representations of the special linear groups over the integers and over the $p$-adic integers.

JET SCHEMES OF QUASI-ORDINARY SURFACE SINGULARITIES

We describe the irreducible components of the jet schemes with origin in the singular locus of a two-dimensional quasi-ordinary hypersurface singularity. A weighted graph is associated with these components and with their embedding dimensions and their codimensions in the jet schemes of the ambient space. We prove that the data of this weighted graph is equivalent to the data of the topological type of the singularity. We also determine a component of the jet schemes (equivalent to a divisorial valuation on $\mathbb{A}^{3}$ ), that computes the log-canonical threshold of the singularity embedded in $\mathbb{A}^{3}$ . This provides us with pairs $X\subset \mathbb{A}^{3}$ whose log-canonical thresholds are not computed by monomial divisorial valuations. Note that for a pair $C\subset \mathbb{A}^{2}$ , where $C$ is a plane curve, the log-canonical threshold is always computed by a monomial divisorial valuation (in suitable coordinates of $\mathbb{A}^{2}$ ).