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 hyperplane section
- W = H ∩ X,
for H some hyperplane in the ambient projective space PN containing the given smooth projective variety X, the Lefschetz operator
- L : Hi(X) → Hi+2,
which is defined by intersecting cohomology classes with W gives an isomorphism
- Ln-i: Hi(X) → H2n-i(X) (i ≦ n = dim X).
Define
- Λ : Hi(X) → Hi-2(X) for 'i ≦ n
be the composition
- (Ln-i+2)-1 (Ln-i)
and
- Λ : H2n-i+2(X) → H2n-i(X)
by
- (Ln-i) (Ln-i+2)-1.
The Lefschetz conjecture states that the Lefschetz operator Λ is induced by an algebraic cycle.
Read more about this topic: Standard Conjectures On Algebraic Cycles
Famous quotes containing the words type, standard and/or conjecture:
“It used to be said that you had to know what was happening in America because it gave us a glimpse of our future. Today, the rest of America, and after that Europe, had better heed what happens in California, for it already reveals the type of civilisation that is in store for all of us.”
—Alistair Cooke (b. 1908)
“A dwarf who brings a standard along with him to measure his own size—take my word, is a dwarf in more articles than one.”
—Laurence Sterne (1713–1768)
“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a trifling investment of fact.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)