|
Homogeneous Coordinate Ring
In algebraic geometry, the homogeneous coordinate ring is a certain commutative ring assigned to any projective variety. If ''V'' is an algebraic variety given as a subvariety of projective space of a given dimension ''N'', its homogeneous coordinate ring is by definition the quotient ring :''R'' = ''K'' 'X''0, ''X''1, ''X''2, ..., ''X''''N''thinsp;/''I'' where ''I'' is the homogeneous ideal defining ''V'', ''K'' is the algebraically closed field over which ''V'' is defined, and :''K'' 'X''0, ''X''1, ''X''2, ..., ''X''''N'' is the polynomial ring in ''N'' + 1 variables ''X''''i''. The polynomial ring is therefore the homogeneous coordinate ring of the projective space itself, and the variables are the homogeneous coordinates, for a given choice of basis (in the vector space underlying the projective space). The choice of basis means this definition is not intrinsic, but it can be made so by using the symmetric algebra. The definition mimics the coordinate ring as it is introduc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Divisors Of Zero
In abstract algebra, an element of a ring is called a left zero divisor if there exists a nonzero in such that , or equivalently if the map from to that sends to is not injective. Similarly, an element of a ring is called a right zero divisor if there exists a nonzero in such that . This is a partial case of divisibility in rings. An element that is a left or a right zero divisor is simply called a zero divisor. An element that is both a left and a right zero divisor is called a two-sided zero divisor (the nonzero such that may be different from the nonzero such that ). If the ring is commutative, then the left and right zero divisors are the same. An element of a ring that is not a left zero divisor (respectively, not a right zero divisor) is called left regular or left cancellable (respectively, right regular or right cancellable). An element of a ring that is left and right cancellable, and is hence not a zero divisor, is called regular or cancellable, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Equations Defining Abelian Varieties
In mathematics, the concept of abelian variety is the higher-dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension ''d'' ≥ 2, however, it is no longer as straightforward to discuss such equations. There is a large classical literature on this question, which in a reformulation is, for complex algebraic geometry, a question of describing relations between theta functions. The modern geometric treatment now refers to some basic papers of David Mumford, from 1966 to 1967, which reformulated that theory in terms from abstract algebraic geometry valid over general fields. Complete intersections The only 'easy' cases are those for ''d'' = 1, for an elliptic curve with linear span the projective plane or projective 3-space. In the plane, every elliptic curve is given by a cubic curve. In ''P''3, an elliptic curve can be obtained as the intersection of two quadr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Canonical Curve
In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,\!\Omega^n = \omega, which is the nth exterior power of the cotangent bundle \Omega on V. Over the complex numbers, it is the determinant bundle of the holomorphic cotangent bundle T^*V. Equivalently, it is the line bundle of holomorphic n-forms on V. This is the dualising object for Serre duality on V. It may equally well be considered as an invertible sheaf. The canonical class is the divisor class of a Cartier divisor K on V giving rise to the canonical bundle — it is an equivalence class for linear equivalence on V, and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −K with K canonical. The anticanonical bundle is the corresponding inverse bundle \omega^. When the anticanonical bundle of V is ample, V is called a Fano variety. The adjunction formula Suppose that X is a smooth variety and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Complete Intersection
In mathematics, an algebraic variety ''V'' in projective space is a complete intersection if the ideal of ''V'' is generated by exactly ''codim V'' elements. That is, if ''V'' has dimension ''m'' and lies in projective space ''P''''n'', there should exist ''n'' − ''m'' homogeneous polynomials: :F_i(X_0,\cdots,X_n), 1\leq i\leq n - m, in the homogeneous coordinates ''X''''j'', which generate all other homogeneous polynomials that vanish on ''V''. Geometrically, each ''F''''i'' defines a hypersurface; the intersection of these hypersurfaces should be ''V''. The intersection of hypersurfaces will always have dimension at least ''m'', assuming that the field of scalars is an algebraically closed field such as the complex numbers. The question is essentially, can we get the dimension down to ''m'', with no extra points in the intersection? This condition is fairly hard to check as soon as the codimension . When then ''V'' is automatically a hypersurface and there is nothin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally (near every point), and sometimes globally. A hypersurface in a (Euclidean, affine, or projective) space of dimension two is a plane curve. In a space of dimension three, it is a surface. For example, the equation :x_1^2+x_2^2+\cdots+x_n^2-1=0 defines an algebraic hypersurface of dimension in the Euclidean space of dimension . This hypersurface is also a smooth manifold, and is called a hypersphere or an -sphere. Smooth hypersurface A hypersurface that is a smooth manifold is called a ''smooth hypersurface''. In , a smooth hypersurface is ori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Syzygy (mathematics)
In linear algebra, a linear relation, or simply relation, between elements of a vector space or a module is a linear equation that has these elements as a solution. More precisely, if e_1,\dots,e_n are elements of a (left) module over a ring (the case of a vector space over a field is a special case), a relation between e_1,\dots,e_n is a sequence (f_1,\dots, f_n) of elements of such that :f_1e_1+\dots+f_ne_n=0. The relations between e_1,\dots,e_n form a module. One is generally interested in the case where e_1,\dots,e_n is a generating set of a finitely generated module , in which case the module of the relations is often called a syzygy module of . The syzygy module depends on the choice of a generating set, but it is unique up to the direct sum with a free module. That is, if S_1 and S_2 are syzygy modules corresponding to two generating sets of the same module, then they are stably isomorphic, which means that there exist two free modules L_1 and L_2 such that S_1\oplus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Graded Module
Grade most commonly refers to: * Grading in education, a measurement of a student's performance by educational assessment (e.g. A, pass, etc.) * A designation for students, classes and curricula indicating the number of the year a student has reached in a given educational stage (e.g. first grade, second grade, K–12, etc.) * Grade (slope), the steepness of a slope * Graded voting Grade or grading may also refer to: Music * Grade (music), a formally assessed level of profiency in a musical instrument * Grade (band), punk rock band * Grades (producer), British electronic dance music producer and DJ Science and technology Biology and medicine * Grading (tumors), a measure of the aggressiveness of a tumor in medicine * The Grading of Recommendations Assessment, Development and Evaluation (GRADE) approach * Evolutionary grade, a paraphyletic group of organisms Geology * Graded bedding, a description of the variation in grain size through a bed in a sedimentary rock * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Free Resolution
In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of objects of an abelian category) that is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions. However, a finite resolution is one where only finitely many of the objects in the sequence are non-zero; it is usually represented by a finite exact sequence in which the leftmost object (for resolutions) or the rightmost object (for coresolutions) is the zero-object. Generally, the objects in the sequence are restricted to have some property ''P'' (for example to be free). Thus one speaks of a ''P resolution''. In particular, every module has free resolutions, projective resol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time. Hilbert discovered and developed a broad range of fundamental ideas including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory). He adopted and defended Georg Cantor's set theory and transfinite numbers. In 1900, he presented a collection of problems that set a course for mathematical research of the 20th century. Hilbert and his students contributed to establishing rigor and developed important tools used in modern mathematical physics. He was a cofounder of proof theory and mathematical logic. Life Early life and education Hilbert, the first of two children and only son of O ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other "tangible ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Projective Nullstellensatz
In mathematics, Hilbert's Nullstellensatz (German for "theorem of zeros", or more literally, "zero-locus-theorem") is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields. This relationship was discovered by David Hilbert, who proved the Nullstellensatz in his second major paper on invariant theory in 1893 (following his seminal 1890 paper in which he proved Hilbert's basis theorem). Formulation Let k be a field (such as the rational numbers) and K be an algebraically closed field extension of k (such as the complex numbers). Consider the polynomial ring k _1, \ldots, X_n/math> and let I be an ideal in this ring. The algebraic set \mathrm V(I) defined by this ideal consists of all n-tuples \mathbf x = (x_1, \dots, x_n) in K^n such that f(\mathbf x) = 0 for all f in Hilbert's Nullstellensatz states that if '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
