show · ag.singular_point all knowls · up · search:

Let $V$ be a variety over a perfect field $F$. A point $P$ of $V$ is non-singular if the module of differentials of $V$ is locally free at $P$. According to the Jacobian criterion, if $V$ is defined in a neighborhood of $P$ by affine polynomial equations $f_1(X_1, \ldots, X_n) = \ldots =f_r(X_1, \ldots, X_n)=0$, then $V$ is non-singular at $P$ if the Jacobian matrix $\left( \frac{\partial f_i}{\partial X_j} \right)_{ij}$ has the same rank as the codimension of $V$ in $\mathbb A^n$.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Bjorn Poonen on 2022-03-24 16:50:48
Referred to by:
History: (expand/hide all) Differences (show/hide)