- Standard conjectures on algebraic cycles
mathematics, the standard conjectures about algebraic cycles is a package of several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. The original application envisaged by Grothendieck was to prove that his construction of pure motives give an abelian category, that is semisimple. Moreover, as he pointed out, the standard conjectures also imply all Weil conjectures, including 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 Kleiman (1968).
The classical formulations of the standard conjectures involve a fixed Weil cohomology theory "H". All of the conjectures deal with "algebraic" cohomology classes, which means a morphism on cohomology
:H*(X) → H*(X)
induced by an algebraic cycle on the product "X" × "X" via the "cycle class map "(which is part of the structure of a Weil cohomology theory).
Lefschetz type standard conjecture
"Lefschetz type standard conjecture", also called conjecture B: One of the axioms of a Weil theory is the so-called "hard Lefschetz theorem" (or axiom): for a fixed smooth
:"W" = "H" ∩ "X",
for "H" some hyperplane in the ambient projective space ℙN containing the given smooth projective variety "X", the Lefschetz operator
:"L" : "Hi"("X") → "H""i"+2,
which is defined by intersecting cohomology classes with "W" gives an isomorphism
:"Ln-i: Hi(X) → H2n-i(X)" ("i" ≦ "n = dim X").
:"Λ : Hi(X)" → "Hi-2(X)" for 'i" ≦ "n"
be the composition
:"Λ : H2n-i+2(X)" → "H2n-i(X)"
:"(Ln-i) (Ln-i+2)-1 -1".
The Lefschetz conjecture states that the "Lefschetz operator" "Λ" is induced by an algebraic cycle.
Künneth type standard conjecture
The Lefschetz conjecture implies the "Künneth type standard conjecture", also called conjecture C: It is conjectured that the projectors "H"∗("X") ↠ "H"i("X") ↣ "H"∗("X") are algebraic, i.e. induced by a cycle "πi" ⊂ "X × X" with rational coefficients. This implies that every pure motive "M" decomposes in graded pieces of pure weights (see motives). The conjecture is known to hold for curves, surfaces and abelian varieties.
Conjecture "D" (numerical equivalence vs. homological equivalence)
"Conjecture D" states that numerical equivalence and homological equivalence agree. (In particular the latter does not depend on the choice of the Weil cohomology theory). This conjecture implies the Lefschetz conjecture.
Hodge conjecture" is modelled on the Hodge index theoremstates the positive definiteness of the cup product pairing on primitive algebraic cohomology classes or, equivalently, that every Hodge class is algebraic. If it holds, then the Lefschetz conjecture implies Conjecture "D". If the base field is of characteristic zero then the Hodge conjecture implies all the other standard conjectures (for a classical Weil cohomology theory, i.e. Betti, ℓ-adic, de Rham or crystalline cohomology).
*A. Grothendieck, [http://www.math.jussieu.fr/~leila/grothendieckcircle/StandardConjs.pdf "Standard Conjectures on Algebraic Cycles"] , Algebraic Geometry, Bombay Colloquium 1968, (OUP 1969) pp.193-199
* | year=1968 | chapter=Algebraic cycles and the Weil conjectures | pages=359–386
*S. L. Kleiman, "The standard conjectures". Motives (1994), pp. 3-20, Proc. Sympos. Pure Math., 55, Part 1, Amer. Math. Soc.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Algebraic cycle — In mathematics, an algebraic cycle on an algebraic variety V is, roughly speaking, a homology class on V that is represented by a linear combination of subvarieties of V . Therefore the algebraic cycles on V are the part of the algebraic topology … Wikipedia
Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… … Wikipedia
Weil conjectures — In mathematics, the Weil conjectures, which had become theorems by 1974, were some highly influential proposals from the late 1940s by André Weil on the generating functions (known as local zeta functions) derived from counting the number of… … Wikipedia
Motivic cohomology — is a cohomological theory in mathematics, the existence of which was first conjectured by Alexander Grothendieck during the 1960s. At that time, it was conceived as a theory constructed on the basis of the so called standard conjectures on… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5. This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium