0
$\begingroup$

Let ($A,m$) be a local, Noetherian ring. If $n$ is the minimal number of generators of the unique maximal ideal $m$, then by Krull's Hauptidealsatz and Nakayama's Lemma, we have the following inequality: $\dim(A) \leq n = \dim_{A/m}(m/m^{2})$. So, one way to determine $n$ is to compute $\dim_{A/m}(m/m^{2})$.

And this might be a trivial question, but in general how difficult is it to determine the dimension of $m/m^{2}$ as an $A/m$-vector space? Also, what other techniques can one use to determine $n$?

Also, in my notation $\dim_{A/m}(m/m^{2})$ is the dimension of a vector space, and $\dim(A)$ is the Krull dimension of the ring $A$.

  • 0
    All references to the Krull dimension are useless in this frame.2015-08-25

1 Answers 1

4

An easy case is the geometric one.
Suppose you have an algebraic variety $V$ over a field $k$ defined by the polynomials $F_1,F_2,...,F_r\in k[X_1,...,X_n]$, that is $V=V(F_1,F_2,...,F_r)\subset \mathbb A^n_k$ and the local ring you are interested in is $A=\mathcal O_{V,P}$ for some rational point $P\in V$ with coordinates $(a_1,a_2,...,a_n)\in k^n$.
You can consider the jacobian matrix $Jac(P)=(\frac {\partial F_i}{\partial X_j}(P))_{i,j} \in k^{r\times n}$
The number you are interested in is then characterized by the rank over $k$ of this matrix and given by the formula

$ dim_k (m_{V,P} / m^2_{V,P})=n-rank(Jac(P)) $

An unintuitive example If $V\subset \mathbb A^n_k$ is the curve parametrically given by $x_1=t^n,x_2=t^{n+1},...,x_n=t^{2n}$, all polynomials vanishing on the curve will have their partial derivatives zero at at the origin $O=(0,...,0)$ and so $Jac(O)$ is the zero matrix. Hence $ dim_k (m_{V,O} / m^2_{V,O})=n-rank(Jac(O)) =n $.
This reflects that the curve is very singular at the origin, which is what the invariant you are interested in is meant to detect (it would be $1$ instead of $n$ for a smooth curve).

A nice application You can prove with the above formula that in $\mathbb A^3_k$ the union of three coplanar lines through the origin is not isomorphic to the union of the three coordinate axes, not even locally at the origin: the singularities are different (which is not so easy to see with the naked eye...)

  • 0
    This is really illuminating. Thank you for taking the time to reply to my question.2011-10-04