Constructible tori over Dedekind schemes

TL;DR

This paper develops a categorical framework for constructible tori over Dedekind schemes, establishes duality with constructible sheaves, and defines L-functions with a special value formula, extending previous results to include wild ramification.

Contribution

It introduces categories of constructible tori, proves their duality with constructible sheaves, and defines L-functions with a special value formula, removing tame ramification restrictions.

Findings

Categories of constructible tori are equivalent to categories of constructible sheaves.

L-functions for constructible tori are defined via étale realizations.

A special value formula at s=0 is proved, extending previous work.

Abstract

We introduce an exact category of torsion-free constructible tori and an abelian category of constructible tori over a Dedekind scheme with perfect residue fields. The first one has an explicit description as $2$-term complexes of smooth commutative group algebraic spaces. Using the second-named author's duality results arXiv:1806.07641, we prove that they are equivalent to the opposite of the categories of torsion-free $\mathbb{Z}$-constructible sheaves and all $\mathbb{Z}$-constructible sheaves, respectively. We then define $L$-functions for constructible tori over a Dedekind scheme proper over $\mathrm{Spec}(\mathbb{Z})$ in terms of their \'etale realizations and prove a special value formula at $s=0$ using the Weil-\'etale formalism developed by the first-named author in arXiv:2210.09102. This extends the results of the first-named author by removing the tame ramification hypothesis.