|
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. Motivation 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' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Residue Field
In mathematics, the residue field is a basic construction in commutative algebra. If ''R'' is a commutative ring and ''m'' is a maximal ideal, then the residue field is the quotient ring ''k'' = ''R''/''m'', which is a field. Frequently, ''R'' is a local ring and ''m'' is then its unique maximal ideal. This construction is applied in algebraic geometry, where to every point ''x'' of a scheme ''X'' one associates its residue field ''k''(''x''). One can say a little loosely that the residue field of a point of an abstract algebraic variety is the 'natural domain' for the coordinates of the point. Definition Suppose that ''R'' is a commutative local ring, with maximal ideal ''m''. Then the residue field is the quotient ring ''R''/''m''. Now suppose that ''X'' is a scheme and ''x'' is a point of ''X''. By the definition of scheme, we may find an affine neighbourhood ''U'' = Spec(''A''), with ''A'' some commutative ring. Considered in the neighbourhood ''U'', the point ''x'' correspond ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Definitions in nonlinear analysis In nonlinear analysis, there are many definitions for a tangent cone, including the adjacent cone, Bouligand's contingent cone, and the Clarke tangent cone. These three cones coincide for a convex set, but they can differ on more general sets. Clarke tangent cone Let A be a nonempty closed subset of the Banach space X. The Clarke's tangent cone to A at x_0\in A, denoted by \widehat_A(x_0) consists of all vectors v\in X, such that for any sequence \_\subset\mathbb tending to zero, and any sequence \_\subset A tending to x_0, there exists a sequence \_\subset X tending to v, such that for all n\ge 1 holds x_n+t_nv_n\in A Clarke's tangent cone is always subset of the corresponding contingent cone (and coincides with it, when the set in question is convex). It has the important property of being a c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space To A Functor
In algebraic geometry, the tangent space to a functor generalizes the classical construction of a tangent space such as the Zariski tangent space. The construction is based on the following observation. Let ''X'' be a scheme over a field ''k''. :To give a kepsilon(\epsilon)^2-point of ''X'' is the same thing as to give a ''k''-rational point ''p'' of ''X'' (i.e., the residue field of ''p'' is ''k'') together with an element of (\mathfrak_/\mathfrak_^2)^*; i.e., a tangent vector at ''p''. (To see this, use the fact that any local homomorphism \mathcal_p \to kepsilon(\epsilon)^2 must be of the form :\delta_p^v: u \mapsto u(p) + \epsilon v(u), \quad v \in \mathcal_p^*.) Let ''F'' be a functor from the category of ''k''-algebras to the category of sets. Then, for any ''k''-point p \in F(k), the fiber of \pi: F(kepsilon(\epsilon)^2) \to F(k) over ''p'' is called the tangent space to ''F'' at ''p''. If the functor ''F'' preserves fibered products (e.g. if it is a scheme), the tangent sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Point
In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point. Understanding rational points is a central goal of number theory and Diophantine geometry. For example, Fermat's Last Theorem may be restated as: for , the Fermat curve of equation x^n+y^n=1 has no other rational points than , , and, if is even, and . Definition Given a field ''k'', and an algebraically closed extension ''K'' of ''k'', an affine variety ''X'' over ''k'' is the set of common zeros in K^n of a collection of polynomials with coefficients in ''k'': :f_1(x_1,\ldots,x_n)=0,\ldots, f_r(x_1,\dots,x_n)=0. These common zeros are called the ''points'' of ''X''. A ''k''-rational point (or ''k''-point) of ''X'' is a point of ''X'' that belongs to ''k''''n'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphism, an endomorphism, an automorphism, etc. (see below). Each of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Numbers
In algebra, the dual numbers are a hypercomplex number system first introduced in the 19th century. They are expressions of the form , where and are real numbers, and is a symbol taken to satisfy \varepsilon^2 = 0 with \varepsilon\neq 0. Dual numbers can be added component-wise, and multiplied by the formula : (a+b\varepsilon)(c+d\varepsilon) = ac + (ad+bc)\varepsilon, which follows from the property and the fact that multiplication is a bilinear operation. The dual numbers form a commutative algebra of dimension two over the reals, and also an Artinian local ring. They are one of the simplest examples of a ring that has nonzero nilpotent elements. History Dual numbers were introduced in 1873 by William Clifford, and were used at the beginning of the twentieth century by the German mathematician Eduard Study, who used them to represent the dual angle which measures the relative position of two skew lines in space. Study defined a dual angle as , where is the angle be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Local Ring
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ideal m, and suppose ''a''1, ..., ''a''''n'' is a minimal set of generators of m. Then by Krull's principal ideal theorem ''n'' ≥ dim ''A'', and ''A'' is defined to be regular if ''n'' = dim ''A''. The appellation ''regular'' is justified by the geometric meaning. A point ''x'' on an algebraic variety ''X'' is nonsingular if and only if the local ring \mathcal_ of germs at ''x'' is regular. (See also: regular scheme.) Regular local rings are ''not'' related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions: Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if A is a Noetherian local ring with maximal idea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Dimension
In commutative algebra, the Krull dimension of a commutative ring ''R'', named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules. The Krull dimension was introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal ''I'' in a polynomial ring ''R'' is the Krull dimension of ''R''/''I''. A field ''k'' has Krull dimension 0; more generally, ''k'' 'x''1, ..., ''x''''n''has Krull dimension ''n''. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent. There are several other ways that have been used to define the dimension of a ring. Most of them coinci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an such that: I_=I_=\cdots. Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on Noetherian property (for example, the Laskerâ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Space
In differential geometry, the cotangent space is a vector space associated with a point x on a smooth (or differentiable) manifold \mathcal M; one can define a cotangent space for every point on a smooth manifold. Typically, the cotangent space, T^*_x\!\mathcal M is defined as the dual space of the tangent space at ''x'', T_x\mathcal M, although there are more direct definitions (see below). The elements of the cotangent space are called cotangent vectors or tangent covectors. Properties All cotangent spaces at points on a connected manifold have the same dimension, equal to the dimension of the manifold. All the cotangent spaces of a manifold can be "glued together" (i.e. unioned and endowed with a topology) to form a new differentiable manifold of twice the dimension, the cotangent bundle of the manifold. The tangent space and the cotangent space at a point are both real vector spaces of the same dimension and therefore isomorphic to each other via many possible isomorphisms. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Tangent Cone")
