Unit \(L\)-functions for étale sheaves of modules over noncommutative rings (Q284477)

Given a separated scheme of finite type over a finite field of characteristic \(p\) and an adic \(\mathbb{Z}_l\)-algebra \(\Lambda\), one may attach, to any perfect complex of \(\Lambda\)-sheaves \(\mathcal{F}^{\bullet}\) on the étale site of X, \(L\)-functions \(L(\mathcal{F}^{\bullet},T),L(Rf_{!}\mathcal{F}^{\bullet},T)\in K_1(\Lambda[[T]])\). Here, \(T\) is a formal variable commuting with the elements of \(\Lambda\). When \(l\neq p\), the ratio of these \(L\)-functions is \(1\in K_1(\Lambda[[T]])\). The paper under review is concerned with the case that \(l=p\). For commutative adic \(\mathbb{Z}_p\)-algebras \(\Lambda\), the ratio was shown by Emerton and Kisin to be a unit in the Jac\((\Lambda)\)-adic completion \(\Lambda\langle T\rangle\) of the polynomial ring \(\Lambda[T]\). The unit group \(\Lambda\langle T\rangle^{\times}\) can be identified with the first completed \(K\)-group \(\hat{K}_1(\Lambda\langle T\rangle)\) and is a subgroup of \(K_1(\Lambda[[T]])\). More generally one has a canonical homomorphism from the first completed \(K\)-group to \(K_1(\Lambda[[T]])\), though when \(\Lambda\) is non-commutative it fails to be injective in general. The first theorem of this paper is the existence of a unique pre-image in \(\hat{K}_1(\Lambda\langle T\rangle)\) of the ratio \(L(\mathcal{F}^{\bullet},T)\) over \(L(Rs_{!}\mathcal{F}^{\bullet},T)\) in \(K_1(\Lambda[[T]])\), where \(s:X\rightarrow\text{Spec}(\mathbb{F})\) is a separated scheme of finite type, \(\Lambda\) is an adic \(\mathbb{Z}_p\)-algebra, and \(\mathcal{F}^{\bullet}\) is a perfect complex of \(\Lambda\)-sheaves. This pre-image is shown to be multiplicative on exact sequence of perfect complexes, depend only on the quasi-isomorphism class of \(\mathcal{F}^{\bullet}\), and be compatible with change of \(\Lambda\). The proof proceeds by reducing to the case of the group ring \(\Lambda=\mathbb{Z}_p[G]\) for a finite group \(G\). Cited work of Chinburg-Pappas-Taylor then paves the way to further reductions to the commutative case proved by Emerton-Kisin. The first theorem implies a version of the noncommutative Iwasawa main conjecture for varieties over finite fields, stated in the text as Theorem 1.2, which is a development of a similar result proved elsewhere by Burns. The paper breaks down as follows. Section 1 offers an introduction to the two main theorems of this paper. Section 2 proves preliminary statements about completed \(K\)-theory, which is followed by the specific case of \(\Lambda=\mathbb{Z}_p[G]\) in section 3. Section 4 explains the construction of \(L\)-functions associated to perfect complexes of adic sheaves. The first main theorem is proved in section 5, and the second in section 6.