|
Secant Variety
In algebraic geometry, the secant variety \operatorname(V), or the variety of chords, of a projective variety V \subset \mathbb^r is the Zariski closure of the union of all secant lines (chords) to ''V'' in \mathbb^r: :\operatorname(V) = \bigcup_ \overline (for x = y, the line \overline is the tangent line.) It is also the image under the projection p_3: (\mathbb^r)^3 \to \mathbb^r of the closure ''Z'' of the incidence variety :\. Note that ''Z'' has dimension 2 \dim V + 1 and so \operatorname(V) has dimension at most 2 \dim V + 1. More generally, the k^ secant variety is the Zariski closure of the union of the linear spaces spanned by collections of k+1 points on V. It may be denoted by \Sigma_k. The above secant variety is the first secant variety. Unless \Sigma_k=\mathbb^r, it is always singular along \Sigma_, but may have other singular points. If V has dimension ''d'', the dimension of \Sigma_k is at most kd+d+k. A useful tool for computing the dimension of a secant variety is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Projective Variety
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zariski Closure
In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Secant Line
In geometry, a secant is a line (geometry), line that intersects a curve at a minimum of two distinct Point (geometry), points.. The word ''secant'' comes from the Latin word ''secare'', meaning ''to cut''. In the case of a circle, a secant intersects the circle at exactly two points. A Chord (geometry), chord is the line segment determined by the two points, that is, the interval (mathematics), interval on the secant whose ends are the two points. Circles A straight line can intersect a circle at zero, one, or two points. A line with intersections at two points is called a ''secant line'', at one point a ''tangent line'' and at no points an ''exterior line''. A ''chord'' is the line segment that joins two distinct points of a circle. A chord is therefore contained in a unique secant line and each secant line determines a unique chord. In rigorous modern treatments of plane geometry, results that seem obvious and were assumed (without statement) by Euclid in Euclid's Elements, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Line
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is, intuitively, the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More precisely, a straight line is tangent to the curve at a point if the line passes through the point on the curve and has slope , where ''f'' is the derivative of ''f''. A similar definition applies to space curves and curves in ''n''-dimensional Euclidean space. The point where the tangent line and the curve meet or intersect is called the ''point of tangency''. The tangent line is said to be "going in the same direction" as the curve, and is thus the best straight-line approximation to the curve at that point. The tangent line to a point on a differentiable curve can also be thought of as a '' tangent line approximation'', the graph of the affine function that best approximates the original function at the given p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Incidence Variety
Incidence may refer to: Economics * Benefit incidence, the availability of a benefit * Expenditure incidence, the effect of government expenditure upon the distribution of private incomes * Fiscal incidence, the economic impact of government taxation and expenditures on the economic income of individuals * Tax incidence, analysis of the effect of a particular tax on the distribution of economic welfare Mathematics * Incidence algebra, associative algebra used in combinatorics, a branch of mathematics * Incidence geometry, the study of relations of incidence between various geometrical objects * Incidence (geometry), the binary relations describing how subsets meet * Incidence (graph), in graph theory, a quality of some vertex-edge pairs * Incidence list, a concept in graph theory * Incidence matrix, a matrix that shows the relationship between two classes of objects * Incidence structure, a feature of combinatorial mathematics * Cumulative incidence, a measure of frequency Ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Variety
In algebraic geometry, a smooth scheme over a Field (mathematics), field is a scheme (mathematics), scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no Singular point of an algebraic variety, singular points. A special case is the notion of a smooth algebraic variety, variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. Definition First, let ''X'' be an affine scheme of Glossary of scheme theory#finite, finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k''[''x''1,..., ''x''''n'']. The affine scheme ''X'' is smooth of dimension ''m'' over ''k'' if ''X'' has Dimension of an algebraic variety, dimension at least ''m'' in a neig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Curve
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying that there ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperplane
In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is one less than that of the ambient space. Two lower-dimensional examples of hyperplanes are one-dimensional lines in a plane and zero-dimensional points on a line. Most commonly, the ambient space is -dimensional Euclidean space, in which case the hyperplanes are the -dimensional "flats", each of which separates the space into two half spaces. A reflection across a hyperplane is a kind of motion ( geometric transformation preserving distance between points), and the group of all motions is generated by the reflections. A convex polytope is the intersection of half-spaces. In non-Euclidean geometry, the ambient space might be the -dimensional sphere or hyperbolic space, or more generally a pseudo-Riemannian space form, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Veronese Surface
In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space, and is realized by the Veronese embedding, the embedding of the projective plane given by the complete linear system of conics. It is named after Giuseppe Veronese (1854–1917). Its generalization to higher dimension is known as the Veronese variety. The surface admits an embedding in the four-dimensional projective space defined by the projection from a general point in the five-dimensional space. Its general projection to three-dimensional projective space is called a Steiner surface. Definition The Veronese surface is the image of the mapping :\nu:\mathbb^2\to \mathbb^5 given by :\nu: :y:z\mapsto ^2:y^2:z^2:yz:xz:xy/math> where :\cdots/math> denotes homogeneous coordinates. The map \nu is known as the Veronese embedding. Motivation The Veronese surface arises naturally in the study of conics. A conic is a degree 2 plane curve, thus defined by an equation: :Ax^2 + Bxy + Cy^2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
