|
|
|
|
nonsingular variety
|
(Definition)
|
|
|
A variety over an algebraically closed field $k$ is nonsingular at a point $x$ if the local ring $\mathcal{O}_x$ is a regular local ring. Equivalently, if around the point one has an open affine neighborhood wherein the variety is cut out by certain polynomials $F_1, \ldots, F_n$ of $m$ variables $x_1, \ldots, x_m$ then it is nonsingular at $x$ if the Jacobian has maximal rank at that point. Otherwise, $x$ is a singular point.
A variety is nonsingular if it is nonsingular at each point.
Over the real or complex numbers, nonsingularity corresponds to ``smoothness'': at nonsingular points, varieties are locally real or complex manifolds (this is simply the implicit function theorem). Singular points generally have ``corners'' or self intersections. Typical examples are the curves $x^2=y^3$ which has a cusp at $(0,0)$ and is nonsingular everywhere else, and $x^2(x+1)=y^2$ which has a self-intersection at $(0,0)$ and is nonsingular everywhere else.
|
"nonsingular variety" is owned by CWoo. [ full author list (3) | owner history (3) ]
|
|
(view preamble | get metadata)
| Other names: |
non-singular variety |
| Also defines: |
nonsingular, non-singular, singular point, nonsingular point, non-singular point |
|
|
Cross-references: cusp, curves, intersections, implicit function theorem, complex manifolds, complex numbers, real, rank, Jacobian, variables, polynomials, cut, neighborhood, open, regular local ring, local ring, point, field, algebraically closed, variety
There are 40 references to this entry.
This is version 6 of nonsingular variety, born on 2001-12-21, modified 2007-08-04.
Object id is 1117, canonical name is NonsingularVariety.
Accessed 12999 times total.
Classification:
| AMS MSC: | 14-00 (Algebraic geometry :: General reference works ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|