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:
“We have two kinds of “conference.” One is that to which the office boy refers when he tells the applicant for a job that Mr. Blevitch is “in conference.” This means that Mr. Blevitch is in good health and reading the paper, but otherwise unoccupied. The other type of “conference” is bona fide in so far as it implies that three or four men are talking together in one room, and don’t want to be disturbed.”
—Robert Benchley (1889–1945)
“Neither I nor anyone else knows what a standard is. We all recognize a dishonorable act, but have no idea what honor is.”
—Anton Pavlovich Chekhov (1860–1904)
“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)