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 (16)

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 (36)

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 ⓘ
Chevalley–Warning theorem → relatedTo → Weil conjectures ⓘ
Bombieri–Lang conjecture → influencedBy → Weil conjectures on curves ⓘ
linked to: Weil conjectures
Gauss sum → usedIn → Weil conjectures ⓘ
Gauss sum → relatedTo → Weil bound ⓘ
linked to: Weil conjectures
Tate Conjecture → isRelatedTo → Weil Conjectures ⓘ
linked to: Weil conjectures
Tamagawa numbers → usedIn → Weil conjectures for algebraic groups ⓘ
linked to: Weil conjectures
Jacobi sums → usedIn → Weil conjectures over finite fields ⓘ
linked to: Weil conjectures
Hasse–Weil bound for abelian varieties → usesConcept → Riemann hypothesis for varieties over finite fields ⓘ
linked to: Weil conjectures
Frobenius element → usedIn → Weil conjectures ⓘ
Frobenius endomorphism → centralRoleIn → Weil conjectures ⓘ
SGA 4½ → relatedTo → Weil conjectures ⓘ
Nick Katz → researchInterest → Weil conjectures ⓘ
SGA 7 → focusesOn → Weil conjectures (cohomological aspects) ⓘ
linked to: Weil conjectures
Grothendieck–Lefschetz trace formula → relatedTo → Weil conjectures on zeta functions of varieties ⓘ
linked to: Weil conjectures