Weil-étale cohomology and zeta-values of proper regular arithmetic schemes (Q1799379)

Let \(\mathcal{X}\) be a regular scheme proper over \(\mathrm{Spec}\,\mathbb{Z}\). Constructing perfect Weil-étale complexes \(R\Gamma_{W,c}(\mathcal{X},\mathbb{Z}(n))\) of abelian groups for any \(n \in \mathbb{Z}\) and Weil-Arakelov complexes in the bounded derived category of locally compact abelian groups with an exact triangle \[ R\Gamma_{\mathrm{ar},c}(\mathcal{X},\mathbb{Z}(n)) \to R\Gamma_{\mathrm{ar},c}(\mathcal{X},\tilde{\mathbb{R}}(n)) \to R\Gamma_{\mathrm{ar},c}(\mathcal{X},\tilde{\mathbb{R}}/\mathbb{Z}(n)) \to \] (without constructing a topos) under standard assumptions \(\mathbf{AV}(\overline{\mathcal{X}}_{\text{ét}},n), \mathbf{L}(\overline{\mathcal{X}}_{\text{ét}},n), \mathbf{L}(\overline{\mathcal{X}}_{\text{ét}},d-n)\) and \(\mathbf{B}(\mathcal{X},n)\), the authors give a conjectural description of the vanishing order \(\mathrm{ord}_{s=n}\zeta(\mathcal{X},s)\) and the leading Taylor coefficient \(\zeta^*(\mathcal{X},n) \in \mathbb{R}\) of the zeta function of \(\mathcal{X}\) building upon work of \textit{S. Lichtenbaum} [Compos. Math. 141, No. 3, 689--702 (2005; Zbl 1073.14024); Ann. Math. (2) 170, No. 2, 657--683 (2009; Zbl 1278.14029); in: Motives and algebraic cycles. A celebration in honour of Spencer J. Bloch. Providence, RI: American Mathematical Society (AMS); Toronto: The Fields Institute for Research in Mathematical Sciences.. 249--255 (2009; Zbl 1245.14023)], \textit{T. Geisser} [Math. Ann. 330, No. 4, 665--692 (2004; Zbl 1069.14021); Duke Math. J. 133, No. 1, 27--57 (2006; Zbl 1104.14011)] and the second author [Duke Math. J. 163, No. 7, 1263--1336 (2014; Zbl 1408.14076)]. For \(\mathcal{X}\) smooth over the spectrum of the ring of integers of a number field, the authors prove compatibility with the Tamagawa number conjecture [\textit{J.-M. Fontaine} and \textit{B. Perrin-Riou}, Proc. Symp. Pure Math. 55, 599--706 (1994; Zbl 0821.14013); \textit{S. Bloch} and \textit{K. Kato}, Prog. Math. 86, 333--400 (1990; Zbl 0768.14001)], in particular with the analytic class number formula and the conjecture of Birch-Swinnerton-Dyer.