Mather Discrepancy as an Embedding Dimension in the Space of Arcs

• Published in: Publications of the Research Institute for Mathematical Sciences Vol. 54; no. 1; pp. 105 - 139
• Main Authors: Mourtada, Hussein, Reguera, Ana
• Format: Journal Article
• Language: English
• Published: Zuerich, Switzerland European Mathematical Society Publishing House 01.01.2018; European Mathematical Society
• Subjects: Algebraic geometry; Analysis; Arcs (Geometry); Commutative rings and algebras; Mathematics; Rings (Mathematics); United States; Space of arcs; embedding dimension; divisorial valuations; Mather discrepancy; space of arcs
• ISSN: 0034-5318; 1663-4926
• DOI: 10.4171/PRIMS/54-1-4

Let $X$ be a variety over a field $k$ and let $X_\infty$ be its space of arcs. We study the complete local ring $\widehat{A}:=\widehat{{\cal O}_{X_\infty, P_{eE}}}$, where $P_{eE}$ is the stable point defined by an integer $e \geq 1$ and a divisorial valuation $\nu_E$ on $X$. Assuming char $k =0$, we prove that embdim $\widehat{A} = e ( \widehat{k}_E + 1)$, where $\widehat{k}_E $ is the Mather discrepancy of $X$ with respect to $\nu_E$. We also obtain that dim $\widehat{A}$ has as lower bound $e ( a_{\rm {MJ}}(E;X))$, where $ a_{\rm {MJ}}(E;X)$ is the Mather–Jacobian log-discrepancy of $X$ with respect to $\nu_E$. For $X$ normal and a complete intersection, we prove as a consequence that if $P_E$ has codimension 1 in $X_\infty$ then the discrepancy $k_E \leq 0$.