Weil conjectures

E244835

The Weil conjectures are a set of deep statements about the zeta functions of algebraic varieties over finite fields that guided the development of modern algebraic geometry and were ultimately proved using étale cohomology.

All labels observed (9)

How this entity was disambiguated

Statements (61)

Predicate Object
instanceOf result in arithmetic geometry
set of mathematical conjectures
analogousTo Riemann hypothesis for the Riemann zeta function
linked to: Riemann hypothesis
appliesTo algebraic varieties over finite fields
smooth projective varieties over finite fields
BettiNumbersPartProvedBy Alexander Grothendieck
concerns analogy with the Riemann zeta function
cohomology of algebraic varieties
counting points on varieties over finite fields
zeta function of a variety over a finite field
field algebraic geometry
arithmetic geometry
number theory
finalProofOfRiemannHypothesisPartBy Pierre Deligne
finalProofYearOfRiemannHypothesisPart 1974
formulatedBy André Weil
formulationYear 1949
functionalEquationPartProvedBy Alexander Grothendieck
hasPart Betti numbers conjecture
linked to: Betti numbers

Riemann hypothesis over finite fields
linked to: Weil conjectures

functional equation conjecture
rationality conjecture
implies Weil bounds for curves over finite fields
linked to: Weil conjectures

estimates for number of rational points on varieties over finite fields
importance central result in arithmetic geometry
inspiredBy Hasse–Weil zeta function
Riemann hypothesis
language French
mainTopic zeta functions of algebraic varieties over finite fields
motivatedDevelopmentOf Grothendieck’s standard conjectures on algebraic cycles
modern algebraic geometry
étale cohomology
ℓ-adic cohomology
namedAfter André Weil
partialProofBy Alexander Grothendieck
Jean-Louis Verdier
Michael Artin
provedBy Alexander Grothendieck
Jean-Louis Verdier
Michael Artin
Pierre Cartier
Pierre Deligne
provedUsing Deligne’s theory of weights
Grothendieck’s theory of schemes
Grothendieck’s theory of weights
Lefschetz trace formula
étale cohomology
ℓ-adic cohomology
publishedIn Comptes Rendus de l’Académie des Sciences
rationalityPartProvedBy Alexander Grothendieck
relatedTo Hasse–Weil zeta function
Weil bounds
linked to: Weil conjectures

Weil conjectures on Tamagawa numbers
standard conjectures on algebraic cycles
RiemannHypothesisPartProvedBy Pierre Deligne
status proved
usesConcept Frobenius endomorphism
Künneth formula
Poincaré duality
cohomological dimension
eigenvalues of Frobenius

How these facts were elicited

Referenced by (19)

Full triples — surface form annotated when it differs from this entity's canonical label.

André Weil notableWork Weil conjectures
Pierre Deligne notableWork La conjecture de Weil I
linked to: Weil conjectures
Hodge Conjecture relatedTo Weil Conjectures
linked to: Weil conjectures
Hasse–Weil zeta function satisfies Weil conjectures for varieties over finite fields
linked to: Weil conjectures
Hasse–Weil zeta function relatedTo Weil conjectures
Hasse bound for elliptic curves isSpecialCaseOf Weil conjectures for curves
linked to: Weil conjectures
Diophantine geometry relatedTo Weil conjectures
André Weil notableWork Weil conjectures
subject linked to: Weil
Weil conjectures hasPart Riemann hypothesis over finite fields
linked to: Weil conjectures
Weil conjectures implies Weil bounds for curves over finite fields
linked to: Weil conjectures
Weil conjectures relatedTo Weil bounds
linked to: Weil conjectures
Sur les courbes algébriques et les variétés qui s’en déduisent relatedTo Riemann hypothesis for curves over finite fields
linked to: Weil conjectures
Weil divisor appearsIn Weil conjectures
Weil cohomology developedInContextOf Weil conjectures
étale cohomology developedInContextOf Weil conjectures