Motivic Integration


Back to index -- Back to index in Japanese. --Back to Tutorial --Back to E-mail勉強会 (Only in Japanese)
Information welcomed.


CREPANT
crepant resolution: A resolution $\varphi : Y \to X$ is {\em crepant} if $K_Y = \varphi^*K_X$.
discrepancy divisor: $K_Y - \varphi^*K_X$ for a proper birational morphism $\varphi : Y to X$. Divisor of Jacobian determinant.

DIVISOR
canonical divisor: $K_X$ of a variety $X$. $K_X$ is a divisor defined by the line bundle $\wedge^n T^*X$ of $n$-forms on $X$, $n = dim X$.

GORENSTEIN

GROTHENDIECK
completion: Let $A$ be an algebra, $ F^{-1} \supseteq F^0 \supseteq F^1 \supseteq \cdots $ a filtration. %(\supseteq is \supset & =) The completion $R$ of $A$ with respect to the filtration.

MEASURE
measure:
measurable set:
measurable function:


index
© Goo Ishikawa