Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-09T09:09:11.978Z Has data issue: false hasContentIssue false

JET SCHEMES OF QUASI-ORDINARY SURFACE SINGULARITIES

Published online by Cambridge University Press:  20 September 2019

HELENA COBO
Affiliation:
Departamento de Álgebra, Universidad de Sevilla, Spain email helenacobo@gmail.com
HUSSEIN MOURTADA
Affiliation:
Institut de Mathématiques de Jussieu-Paris Rive Gauche, Université Paris 7, Bâtiment Sophie Germain, 75013 Paris, France email hussein.mourtada@imj-prg.fr
Rights & Permissions [Opens in a new window]

Abstract

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}$).

Information

Type
Article
Copyright
© 2019 Foundation Nagoya Mathematical Journal
Figure 0

Figure 1. A sketch of the different orderings ${\leqslant}_{m}$ in the case of one characteristic exponent.

Figure 1

Figure 2. The graph of the irreducible components of jets through the singular locus of a q.o. surface singularity.

Figure 2

Figure 3. The graph of the irreducible components of jets through the singular locus of a q.o. surface singularity, decorated only with the codimension.

Figure 3

Figure 4. The graph of the surface defined by $f=((z^{2}-x_{1}^{3})^{2}-x_{1}^{7}x_{2}^{3})^{2}-x_{1}^{11}x_{2}^{5}(z^{2}-x_{1}^{3})$.