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 that is . 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 H. All of the conjectures deal with "algebraic" cohomology classes, which means a morphism on the cohomology of a smooth projective variety
H ∗(X) → H ∗(X)
induced by an algebraic cycle with rational coefficients on the product X × X via the cycle class map, which is part of the structure of a Weil cohomology theory.
Conjecture A is equivalent to Conjecture B (see , p. 196), and so is not listed.
One of the axioms of a Weil theory is the so-called hard Lefschetz theorem (or axiom):
Begin with a fixed smooth hyperplane section
W = H ∩ X,
where X is a given smooth projective variety in the ambient projective space P N and H is a hyperplane. Then for i ≤ n = dim(X), the Lefschetz operator
L : H i(X) → H i+2(X),
which is defined by intersecting cohomology classes with W, gives an isomorphism
Ln−i : H i(X) → H 2n−i(X).
Now, for i ≤ n define:
Λ = (Ln−i+2)−1 ∘ L ∘ (Ln−i) : H i(X) → H i−2(X)
Λ = (Ln−i) ∘ L ∘ (Ln−i+2)−1 : H 2n−i+2(X) → H 2n−i(X)
The conjecture states that the Lefschetz operator (Λ) is induced by an algebraic cycle.
It is conjectured that the projectors
H ∗(X) ↠ Hi(X) ↣ H ∗(X)
are algebraic, i.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
This course will explain the theory of vanishing cycles and perverse sheaves. We will see how the Hard Lefschetz theorem can be proved using perverse sheaves. If we have more time we will try to see t
In this course we will describe in numerous examples how methods from l-adic cohomology as developed by Grothendieck, Deligne and Katz can interact with methods from analytic number theory (prime numb
We expect these mini-courses to equip junior researchers with new tools, techniques, and perspectives for attacking a broad range of questions in their own areas of research while also inspiring stude
Deterministic symmetric encryption is widely used in many cryptographic applications. The security of deterministic block and stream ciphers is evaluated using cryptanalysis. Cryptanalysis is divided into two main categories: statistical cryptanalysis and ...
In algebraic geometry, motives (or sometimes motifs, following French usage) is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.
In mathematics, an algebraic cycle on an algebraic variety V is a formal linear combination of subvarieties of V. These are the part of the algebraic topology of V that is directly accessible by algebraic methods. Understanding the algebraic cycles on a variety can give profound insights into the structure of the variety. The most trivial case is codimension zero cycles, which are linear combinations of the irreducible components of the variety. The first non-trivial case is of codimension one subvarieties, called divisors.
In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties. In simple terms, the Hodge conjecture asserts that the basic topological information like the number of holes in certain geometric spaces, complex algebraic varieties, can be understood by studying the possible nice shapes sitting inside those spaces, which look like zero sets of polynomial equations.
A classical theorem of Frankel for compact Kahler manifolds states that a Kahler S-1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when the Hodge theory holds on non-compact manifolds, Frankel's theorem st ...
We construct a spectral sequence converging to the homology of the ordered configuration spaces of a product of parallelizable manifolds. To identify the second page of this spectral sequence, we introduce a version of the Boardman-Vogt tensor product for ...