The discriminant of an algebraic torus (Q548054): Difference between revisions

In 1977, \textit{J.-M. Shyr} [Mich. Math. J. 24, 365--377 (1977; Zbl 0433.12009)] obtained an analogue of Dirichlet's analytic class number for an arbitrary algebraic torus \(T\) over \(\mathbb Q\) (with Dirichlet's formula corresponding to the case \(T=\mathbb G_{m}\)). In this paper the author extends Shyr's formula by replacing \(\mathbb Q\) by any global field \(K\) (see Subsection 4.2.2). Further, he expresses the local factors appearing in this formula (which are originally expressed in terms of local Artin \(L\)-functions) in terms of the module of cocharacters \(X_{*}(T)\) of \(T\). To be more precise, the generalized Shyr formula obtained by the author is the following one: \[ \frac{\rho_{T}\tau_{T}w_{T}}{h_{T}R_{T}}=\text{disc}(K)^{-\text{dim}\, T/2} C_{\infty}\prod_{\mathfrak p}\mid\text{Ker}(1-\text{Frob}_{\mathfrak p}\mid X_{*}(T_{\mathfrak p})_{I_{\mathfrak p}})\mid, \] where the product extends over all finite primes of \(K\), \(C_{\infty}\) is a certain factor arising from ``primes at infinity'', \(X_{*}(T_{\mathfrak p})_{I_{\mathfrak p}}\) is the group of \(I_{\mathfrak p}\)-coinvariants of \(X_{*}(T_{\mathfrak p})\), where \(I_{\mathfrak p}\) is the inertia group at \(\mathfrak p\), and the factors on the left-hand side of the formula are as follows: \(\rho_{T}\) is the residue at \(s=1\) of the global Artin \(L\)-function of \(T\), \(\tau_{T}\) is the Tamagawa number of \(T\), \(w_{T}\) is the order of the torsion subgroup of the group of units of \(T\), \(h_{T}\) is the class number of \(T\) and \(R_{T}\) is the regulator of \(T\) (which is equal to 1 in the function field case). A significant part of the paper is taken up by the local computations which lead to the precise form of the local factors appearing in the above formula.