|
Equivalence Relation Of Algebraic Cycles
In algebraic geometry, a branch of mathematics, an adequate equivalence relation is an equivalence relation on algebraic cycles of smooth projective varieties used to obtain a well-working theory of such cycles, and in particular, well-defined intersection products. Pierre Samuel formalized the concept of an adequate equivalence relation in 1958. Since then it has become central to theory of motives. For every adequate equivalence relation, one may define the category of pure motives with respect to that relation. Possible (and useful) adequate equivalence relations include ''rational'', ''algebraic'', ''homological'' and ''numerical equivalence''. They are called "adequate" because dividing out by the equivalence relation is functorial, i.e. push-forward (with change of codimension) and pull-back of cycles is well-defined. Codimension 1 cycles modulo rational equivalence form the classical group of divisors modulo linear equivalence. All cycles modulo rational equivalence form the ... [...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] |
Chow's Moving Lemma
In algebraic geometry, Chow's moving lemma, proved by , states: given algebraic cycles ''Y'', ''Z'' on a nonsingular quasi-projective variety ''X'', there is another algebraic cycle ''Z' '' on ''X'' such that ''Z' '' is rationally equivalent to ''Z'' and ''Y'' and ''Z' '' intersect properly. The lemma is one of key ingredients in developing the intersection theory In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem o ..., as it is used to show the uniqueness of the theory. Even if ''Z'' is an effective cycle, it is not, in general, possible to choose the cycle ''Z' '' to be effective. References * * Theorems in algebraic geometry Zhou, Weiliang {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Conjectures On Algebraic Cycles
In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. One of the original applications of these conjectures, envisaged by Alexander Grothendieck, was to prove that his construction of pure motives gave an abelian category that is semisimple. Moreover, as he pointed out, the standard conjectures also imply the hardest part of the Weil conjectures, namely the "Riemann hypothesis" conjecture that remained open at the end of the 1960s and was proved later by Pierre Deligne; for details on the link between Weil and standard conjectures, see . The standard conjectures remain open problems, so that their application gives only conditional proofs of results. In quite a few cases, including that of the Weil conjectures, other methods have been found to prove such results unconditionally. The classical formulations of the standard conjectures involve a fixed Weil cohomology theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weil Cohomology Theory
In algebraic geometry, a Weil cohomology or Weil cohomology theory is a cohomology satisfying certain axioms concerning the interplay of algebraic cycles and cohomology groups. The name is in honor of André Weil. Any Weil cohomology theory factors uniquely through the category of Chow motives, but the category of Chow motives itself is not a Weil cohomology theory, since it is not an abelian category. Definition Fix a base field ''k'' of arbitrary characteristic and a "coefficient field" ''K'' of characteristic zero. A ''Weil cohomology theory'' is a contravariant functor :H^*: \ \longrightarrow \ satisfying the axioms below. For each smooth projective algebraic variety ''X'' of dimension ''n'' over ''k'', then the graded ''K''-algebra :H^*(X) = \bigoplus\nolimits_i H^i(X) is required to satisfy the following: * H^i(X) is a finite-dimensional ''K''-vector space for each integer ''i''. * H^i(X) = 0 for each ''i'' 2''n''. * H^(X) is isomorphic to ''K'' (the so-called or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Néron–Severi Group
In algebraic geometry, the Néron–Severi group of a variety is the group of divisors modulo algebraic equivalence; in other words it is the group of components of the Picard scheme of a variety. Its rank is called the Picard number. It is named after Francesco Severi and André Néron. Definition In the cases of most importance to classical algebraic geometry, for a complete variety ''V'' that is non-singular, the connected component of the Picard scheme is an abelian variety written :Pic0(''V''). The quotient :Pic(''V'')/Pic0(''V'') is an abelian group NS(''V''), called the Néron–Severi group of ''V''. This is a finitely-generated abelian group by the Néron–Severi theorem, which was proved by Severi over the complex numbers and by Néron over more general fields. In other words, the Picard group fits into an exact sequence :1\to \mathrm^0(V)\to\mathrm(V)\to \mathrm(V)\to 0 The fact that the rank is finite is Francesco Severi's theorem of the base; the rank is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Griffiths Group
In mathematics, more specifically in algebraic geometry, the Griffiths group of a projective complex manifold ''X'' measures the difference between homological equivalence and algebraic equivalence, which are two important equivalence relations of algebraic cycles. More precisely, it is defined as :\operatorname^k(X) := Z^k(X)_\mathrm / Z^k(X)_\mathrm where Z^k(X) denotes the group of algebraic cycles of some fixed codimension ''k'' and the subscripts indicate the groups that are homologically trivial, respectively algebraically equivalent to zero.Voisin, C., ''Hodge Theory and Complex Algebraic Geometry II'', Cambridge University Press, 2003. See Chapter 8 This group was introduced by Phillip Griffiths who showed that for a general quintic In algebra, a quintic function is a function of the form :g(x)=ax^5+bx^4+cx^3+dx^2+ex+f,\, where , , , , and are members of a field, typically the rational numbers, the real numbers or the complex numbers, and is nonzero. In other word ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight. Intuitively, a curve may be thought of as the trace left by a moving point (geometry), point. This is the definition that appeared more than 2000 years ago in Euclid's Elements, Euclid's ''Elements'': "The [curved] line is […] the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which […] will leave from its imaginary moving some vestige in length, exempt of any width." This definition of a curve has been formalized in modern mathematics as: ''A curve is the image (mathematics), image of an interval (mathematics), interval to a topological space by a continuous function''. In some contexts, the function that defines the curve is called a ''parametrization'', and the curve is a parametric curve. In this artic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Morphism
In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism ''f'' from a scheme ''X'' to a scheme ''Y'' is a morphism such that the induced map on every stalk is a flat map of rings, i.e., :f_P\colon \mathcal_ \to \mathcal_ is a flat map for all ''P'' in ''X''. A map of rings A\to B is called flat if it is a homomorphism that makes ''B'' a flat ''A''-module. A morphism of schemes is called faithfully flat if it is both surjective and flat. Two basic intuitions regarding flat morphisms are: *flatness is a generic property; and *the failure of flatness occurs on the jumping set of the morphism. The first of these comes from commutative algebra: subject to some finiteness conditions on ''f'', it can be shown that there is a non-empty open subscheme Y' of ''Y'', such that ''f'' restricted to ''Y''′ is a flat morphism (generic flatness). Here 'restriction' is interpreted by means of the fiber product of schemes, applied to ''f'' and the inclusio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Correspondence (algebraic Geometry)
In algebraic geometry, a correspondence between algebraic varieties ''V'' and ''W'' is a subset ''R'' of ''V''×''W'', that is closed in the Zariski topology. In set theory, a subset of a Cartesian product of two sets is called a binary relation or correspondence; thus, a correspondence here is a relation that is defined by algebraic equations. There are some important examples, even when ''V'' and ''W'' are algebraic curves: for example the Hecke operators of modular form theory may be considered as correspondences of modular curves. However, the definition of a correspondence in algebraic geometry is not completely standard. For instance, Fulton, in his book on intersection theory, uses the definition above. In literature, however, a correspondence from a variety ''X'' to a variety ''Y'' is often taken to be a subset ''Z'' of ''X''×''Y'' such that ''Z'' is finite and surjective over each component of ''X''. Note the asymmetry in this latter definition; which talks about a correspo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function (mathematics)
In mathematics, a function from a set to a set assigns to each element of exactly one element of .; the words map, mapping, transformation, correspondence, and operator are often used synonymously. The set is called the domain of the function and the set is called the codomain of the function.Codomain ''Encyclopedia of Mathematics'Codomain. ''Encyclopedia of Mathematics''/ref> The earliest known approach to the notion of function can be traced back to works of Persian mathematicians Al-Biruni and Sharaf al-Din al-Tusi. Functions were originally the idealization of how a varying quantity depends on another quantity. For example, the position of a planet is a ''function'' of time. Historically, the concept was elaborated with the infinitesimal calculus at the end of the 17th century, and, until the 19th century, the functions that were considered were differentiable (that is, they had a high degree of regularity). The concept of a function was formalized at the end of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Of A Function
In mathematics, the graph of a function f is the set of ordered pairs (x, y), where f(x) = y. In the common case where x and f(x) are real numbers, these pairs are Cartesian coordinates of points in two-dimensional space and thus form a subset of this plane. In the case of functions of two variables, that is functions whose domain consists of pairs (x, y), the graph usually refers to the set of ordered triples (x, y, z) where f(x,y) = z, instead of the pairs ((x, y), z) as in the definition above. This set is a subset of three-dimensional space; for a continuous real-valued function of two real variables, it is a surface. In science, engineering, technology, finance, and other areas, graphs are tools used for many purposes. In the simplest case one variable is plotted as a function of another, typically using rectangular axes; see '' Plot (graphics)'' for details. A graph of a function is a special case of a relation. In the modern foundations of mathematics, and, typicall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
