For x \in X we have \dim _ x(X) = \max \dim (Z) = \min \dim (\mathcal{O}_{X, x'}) where the maximum is over irreducible components Z \subset X containing x and the minimum is over specializations x \leadsto x' with x' closed in X.
For x \in X we have \dim _ x(X) = \max \dim (Z) = \min \dim (\mathcal{O}_{X, x'}) where the maximum is over irreducible components Z \subset X containing x and the minimum is over specializations x \leadsto x' with x' closed in X.
Comments (0)