PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
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)

View style:

Other names:  non-singular variety
Also defines:  nonsingular, non-singular, singular point, nonsingular point, non-singular point
Log in to rate this entry.
(view current ratings)

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 35 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 9268 times total.

Classification:
AMS MSC14-00 (Algebraic geometry :: General reference works )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)