Gross–Koblitz formula

Target entity: Gross–Koblitz formula
Context triple: [Benedict Gross, notableWork, Gross–Koblitz formula]

• A. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• B. Kummer congruences
  Kummer congruences are number-theoretic relations describing how special values of Bernoulli numbers and related arithmetic functions behave modulo powers of primes, foundational in the study of p-adic L-functions and cyclotomic fields.
• C. Lubin–Tate formal groups
  Lubin–Tate formal groups are a class of one-dimensional formal group laws over local fields that play a central role in local class field theory by providing explicit descriptions of abelian extensions.
• D. Drinfeld modules
  Drinfeld modules are algebraic structures that generalize elliptic curves to the setting of function fields, playing a central role in modern arithmetic geometry and the theory of automorphic forms.
• E. Grothendieck–Lefschetz trace formula
  The Grothendieck–Lefschetz trace formula is a fundamental result in algebraic geometry that expresses the number of rational points of a variety over a finite field in terms of traces of Frobenius acting on its étale cohomology groups.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Gross–Koblitz formula
Target entity description: The Gross–Koblitz formula is a result in number theory that expresses Gauss sums in terms of the p-adic gamma function, linking exponential sums over finite fields with p-adic analysis.

• A. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• B. Kummer congruences
  Kummer congruences are number-theoretic relations describing how special values of Bernoulli numbers and related arithmetic functions behave modulo powers of primes, foundational in the study of p-adic L-functions and cyclotomic fields.
• C. Lubin–Tate formal groups
  Lubin–Tate formal groups are a class of one-dimensional formal group laws over local fields that play a central role in local class field theory by providing explicit descriptions of abelian extensions.
• D. Drinfeld modules
  Drinfeld modules are algebraic structures that generalize elliptic curves to the setting of function fields, playing a central role in modern arithmetic geometry and the theory of automorphic forms.
• E. Grothendieck–Lefschetz trace formula
  The Grothendieck–Lefschetz trace formula is a fundamental result in algebraic geometry that expresses the number of rational points of a variety over a finite field in terms of traces of Frobenius acting on its étale cohomology groups.
• F. None of above. chosen