Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Artin-Verdier Duality

Number Theory

Artin-Verdier duality is a duality theorem for constructible abelian sheaves defined over the spectrum of a ring of algebraic numbers, introduced by Michael Artin and Jean-Louis Verdier in 1964. It generalizes an earlier duality theorem due to John Tate. The theorem shows that, as far as etale or flat cohomology is concerned, the ring of integers in a number field behaves like a three-dimensional mathematical object. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Statement
For the spectrum of the ring of integers in a totally imaginary number field, and a constructible etale abelian sheaf on it, a Yoneda pairing between an etale cohomology group and an extension group into the sheaf of units is a non-degenerate pairing of finite abelian groups, in every relevant degree, playing the role Poincare duality plays for a compact three dimensional manifold. 1
Proof Year
1964 1
Classification
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts
Identity, Concepts

In Branch

Source Artin-Verdier duality (Wikipedia)

Proved By

Source Artin-Verdier duality (Wikipedia)
Sources
1. Artin-Verdier duality (Wikipedia)
  • Statement
    Let X be the spectrum of the ring of integers in a totally imaginary number field K, and F a constructible étale abelian sheaf on X.
  • Lead section, attribution and year
    In mathematics, Artin-Verdier duality is a duality theorem for constructible abelian sheaves over the spectrum of a ring of algebraic numbers, introduced by Michael Artin and Jean-Louis Verdier (1964), that generalizes Tate duality.
  • In Branch: Algebraic Number Theory, Lead
    Artin-Verdier duality is a duality theorem for constructible abelian sheaves over the spectrum of a ring of algebraic numbers
  • Proved By: Emil Artin, Lead paragraph
    In mathematics, Artin-Verdier duality is a duality theorem for constructible abelian sheaves over the spectrum of a ring of algebraic numbers,
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.