Zariski tangent space

Zariski tangent space

In algebraic geometry, the Zariski tangent space is a construction that defines a tangent space, at a point "P" on an algebraic variety "V" (and more generally). It does not use differential calculus, being based directly on abstract algebra, and in the most concrete cases just the theory of a system of linear equations.

Example: plane curve

For example, suppose given a plane curve "C" defined by a polynomial equation

:"F(X,Y) = 0"

and take "P" to be the origin (0,0). When "F" is considered only in terms of its first-degree terms, we get a 'linearised' equation reading

:"L(X,Y) = 0"

in which all terms "XaYb" have been discarded if

:"a + b > 1".

We have two cases: "L" may be 0, or it may be the equation of a line. In the first case the (Zariski) tangent space to "C" at (0,0) is the whole plane, considered as a two-dimensional affine space. In the second case, the tangent space is that line, considered as affine space. (The question of the origin comes up, when we take "P" as a general point on "C"; it is better to say 'affine space' and then note that "P" is a natural origin, rather than insist directly that it is a vector space.)

It is easy to see that over the real field we can obtain "L" in terms of the first partial derivatives of "F". When those both are 0 at "P", we have a singular point (double point, cusp or something more complicated). The general definition is that "singular points" of "C" are the cases when the tangent space has dimension 2.

Definition

The cotangent space of a local ring "R", with maximal ideal "m" is defined to be:"m/m2"It is a vector space over the residue field "k := R/m". Its dual (as a "k"-vector space) is called tangent space of "R".

This definition is a generalization of the above example to higher dimensions: suppose given an affine algebraic variety "V" and a point "v" of "V". Morally, modding out "m2" corresponds to dropping the non-linear terms from the equations defining "V" inside some affine space, therefore giving a system of linear equations that define the tangent space.

Properties

If "R" is a noetherian local ring, the dimension of the tangent space is at least the dimension of "R"::"dim m/m2" ≧ "dim R"By definition, "R" is regular, if equality holds. In a more geometric parlance, when "R" is the local ring of a variety "V" in "v", one also says that "v" is a regular point. Otherwise it is called a singular point.

The tangent space has an interpretation in terms of homomorphisms to the dual numbers for "K",

:"K [t] / [t2] ":

in the parlance of schemes, morphisms "Spec K [t] / [t2] " to a scheme "X" over "K" correspond to a choice of a rational point "x ∈ X(k)" and an element of the tangent space. Therefore, one also talks about tangent vectors.

See also

* Tangent cone
* Jet (mathematics)

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Tangent space — In mathematics, the tangent space of a manifold is a concept which facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector pointing from… …   Wikipedia

  • Tangent cone — In geometry, the tangent cone is a generalization of the notion of the tangent space to a manifold to the case of certain spaces with singularities. Definition in convex geometry Let K be a closed convex subset of a real vector space V and part;… …   Wikipedia

  • Cotangent space — In differential geometry, one can attach to every point x of a smooth (or differentiable) manifold a vector space called the cotangent space at x. Typically, the cotangent space is defined as the dual space of the tangent space at x, although… …   Wikipedia

  • Oscar Zariski — (1899–1986) Born April 24, 1899(1 …   Wikipedia

  • Ringed space — In mathematics, a ringed space is, intuitively speaking, a space together with a collection of commutative rings, the elements of which are functions on each open set of the space. Ringed spaces appear throughout analysis and are also used to… …   Wikipedia

  • Complex projective space — The Riemann sphere, the one dimensional complex projective space, i.e. the complex projective line. In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • Singularity theory — For other mathematical uses, see Mathematical singularity. For non mathematical uses, see Gravitational singularity. In mathematics, singularity theory is the study of the failure of manifold structure. A loop of string can serve as an example of …   Wikipedia

  • List of mathematics articles (Z) — NOTOC Z Z channel (information theory) Z factor Z function Z group Z matrix (mathematics) Z notation Z order (curve) Z test Z transform Z* theorem Zadoff–Chu sequence Zahorski theorem Zakai equation Zakharov–Schulman system Zakharov system ZAMM… …   Wikipedia

  • Deformation theory — In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution P of a problem to slightly different solutions Pε, where ε is a small number, or vector of small quantities. The infinitesimal… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”