**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Zariski tangent space

Summary

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.
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). Erasing terms of higher order than 1 would produce 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.
The cotangent space of a local ring R, with maximal ideal is defined to be
where 2 is given by the product of ideals. It is a vector space over the residue field k:= R/. 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 2 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.
The tangent space and cotangent space to a scheme X at a point P is the (co)tangent space of .

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (3)

MATH-530: Introduction to general relativity

This course will serve as a basic introduction to the mathematical theory of general relativity. We will cover topics including the formalism of Lorentzian geometry, the formulation of the initial val

MATH-344: Introduction to differential geometry

This course will serve as a first introduction to the geometry of Riemannian manifolds, which form an indispensible tool in the modern fields of differential geometry, analysis and theoretical physics

MATH-479: Linear algebraic groups

The aim of the course is to give an introduction to linear algebraic groups and to give an insight into a beautiful subject that combines algebraic geometry with group theory.

Related concepts (8)

Related lectures (17)

Singular point of an algebraic variety

In the mathematical field of algebraic geometry, a singular point of an algebraic variety V is a point P that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth.

Dimension of an algebraic variety

In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways. Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding.

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. 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).

Covers the concept of local frames, their construction, and limitations.

Explores the relationships between tangent spaces, dimensions, and sub-varieties in algebraic geometry.

Explores derivations and the Zariski tangent space in algebraic geometry, emphasizing their importance and practical applications.