Congruences between derivatives of geometric \(L\)-functions. With an appendix by David Burns, King Fai Lai and Ki-Seng Tan (Q538405): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: David J. Burns / rank | |||
Property / review text | |||
The main theorem of this article establishes the truth of a deep conjecture concerning the leading terms of \(L\)-functions of Abelian extensions of global function fields. The conjecture, which we shall discuss in more detail below, is a refinement of a conjecture of Lichtenbaum relating the Weil-étale cohomology of curves over finite fields to the associated zeta function. It can also be seen as a function field analogue of a conjecture concerning \(L\)-functions of Galois extensions of number fields, namely the equivariant Tamagawa number conjecture of Burns-Flach in the setting of Artin \(L\)-functions at \(s= 0\). The theorem also implies the truth of a number of related conjectures, as is discussed in the article. Explicitly, all the following now hold in the function field setting: Chinburg's \(\Omega(3)\) conjecture for Abelian extensions, Chinburg's \(\Omega(1)\) conjecture for tamely ramified Abelian extensions, the congruence conjecture of [\textit{D. Burns}, Invent. Math. 169, No. 3, 451--499 (2007; Zbl 1133.11063)] (whence the title of the article), Rubin's integral refinement of Stark's conjecture, the refined class number formulas of Gross, Tate, and Aoki-Lee-Tan, and finally the refined \(p\)-adic abelian Stark conjecture of Gross. Let us now give a brief formulation of the theorem, omitting many details. We fix a finite Abelian extension \(F/k\) of global function fields with Galois group \(G\). The constructions take place in the Picard category \({\mathcal P}(R)\) of graded line bundles on \(\text{Spec}(R)\) with \(R= \mathbb Z[G]\) and \(R= \mathbb Q[G]\). The category \({\mathcal P}(R)\) has unit object \(\mathbf{1}_R\). Further, there is the determinant functor \({\mathbf d}_R\) of Grothendieck-Knudsen-Mumford which assigns to a perfect complex of \(R\)-modules an object of \({\mathcal P}(R)\). If \(C^*\) is a perfect \(\mathbb Q[G]\)-complex acyclic outside two consecutive degrees, then any isomorphism \(\lambda\) between the cohomology groups in those consecutive degrees induces a morphism \(\vartheta_\lambda:{\mathbf d}_{\mathbb Q[G]}(C^*)\to\mathbf{1}_{\mathbb Q[G]}\). In the arithmetic setting, there is a natural choice for the complex \(C^*\) and for the isomorphism \(\lambda\). Namely, \(C^*= \mathbb Q[G]\otimes^{\mathbb L}_{\mathbb Z[G]} D^*\), where \(D^*\) is the complex \[ R\,\Hom_{\mathbb Z}(R\Gamma_{\text{Wét}}(C_F,j_!\mathbb Z), \mathbb Z[-2]). \] Here, \(C_F\) is the irreducible smooth projective curve associated to \(F\), Wét denotes the Weil-étale topology of Lichtenbaum, \(j: \text{Spec}({\mathcal O}_{F,\Sigma})\to C_F\) is the natural open immersion, and \(\Sigma\) is a finite set of places of \(k\) containing the ramified ones. The natural choice for \(\lambda\) is the valuation map from \(\Sigma\)-units to the augmentation kernel in the free Abelian group on places of \(F\) above \(\Sigma\). The main theorem then says that, interpreted correctly, \[ \vartheta_\lambda({\mathbf d}_{\mathbb{Z}[G]}(D^*))= Z^*_{F/k,\Sigma}(1)\cdot\mathbf{1}_{\mathbb{Z}[G]}) \] in \({\mathcal P}(\mathbb{Z}[G])\), where \(Z^*_{F/k,\Sigma}(1)\) is the equivariant leading term element defined in terms of the Zeta functions \(Z_\Sigma(\chi, t)\) associated to the characters \(\chi\) of \(G\). The proof of the theorem makes use of a result of \textit{R. Crew} [Invent. Math. 88, 395--403 (1987; Zbl 0615.14013)] on \(L\)-functions of \(p\)-adic characters associated to a smooth curve over a finite field. Indeed, the equality in the theorem has an analogue in an Iwasawa theoretic setting, and the author shows that the analogous equality over the Iwasawa algebra can be reduced to Crew's result. In order to then apply the argument to finite extensions, the author employs descent arguments lie developed earlier with Venjakob. The paper concludes with an appendix that the author wrote with King Fai Lai and Ki-Seng Tan. The goal of the appendix is to show that the result of Crew mentioned-above, which originally was proven with recourse to crystalline cohomology, can in fact be established from work of Weil relating zeta functions in the function field situation to \(\ell\)-adic homology, with \(\ell\) different from the residue characteristic. This has the consequence that the results of the main article itself rely nowhere on crystalline cohomology. | |||
Property / review text: The main theorem of this article establishes the truth of a deep conjecture concerning the leading terms of \(L\)-functions of Abelian extensions of global function fields. The conjecture, which we shall discuss in more detail below, is a refinement of a conjecture of Lichtenbaum relating the Weil-étale cohomology of curves over finite fields to the associated zeta function. It can also be seen as a function field analogue of a conjecture concerning \(L\)-functions of Galois extensions of number fields, namely the equivariant Tamagawa number conjecture of Burns-Flach in the setting of Artin \(L\)-functions at \(s= 0\). The theorem also implies the truth of a number of related conjectures, as is discussed in the article. Explicitly, all the following now hold in the function field setting: Chinburg's \(\Omega(3)\) conjecture for Abelian extensions, Chinburg's \(\Omega(1)\) conjecture for tamely ramified Abelian extensions, the congruence conjecture of [\textit{D. Burns}, Invent. Math. 169, No. 3, 451--499 (2007; Zbl 1133.11063)] (whence the title of the article), Rubin's integral refinement of Stark's conjecture, the refined class number formulas of Gross, Tate, and Aoki-Lee-Tan, and finally the refined \(p\)-adic abelian Stark conjecture of Gross. Let us now give a brief formulation of the theorem, omitting many details. We fix a finite Abelian extension \(F/k\) of global function fields with Galois group \(G\). The constructions take place in the Picard category \({\mathcal P}(R)\) of graded line bundles on \(\text{Spec}(R)\) with \(R= \mathbb Z[G]\) and \(R= \mathbb Q[G]\). The category \({\mathcal P}(R)\) has unit object \(\mathbf{1}_R\). Further, there is the determinant functor \({\mathbf d}_R\) of Grothendieck-Knudsen-Mumford which assigns to a perfect complex of \(R\)-modules an object of \({\mathcal P}(R)\). If \(C^*\) is a perfect \(\mathbb Q[G]\)-complex acyclic outside two consecutive degrees, then any isomorphism \(\lambda\) between the cohomology groups in those consecutive degrees induces a morphism \(\vartheta_\lambda:{\mathbf d}_{\mathbb Q[G]}(C^*)\to\mathbf{1}_{\mathbb Q[G]}\). In the arithmetic setting, there is a natural choice for the complex \(C^*\) and for the isomorphism \(\lambda\). Namely, \(C^*= \mathbb Q[G]\otimes^{\mathbb L}_{\mathbb Z[G]} D^*\), where \(D^*\) is the complex \[ R\,\Hom_{\mathbb Z}(R\Gamma_{\text{Wét}}(C_F,j_!\mathbb Z), \mathbb Z[-2]). \] Here, \(C_F\) is the irreducible smooth projective curve associated to \(F\), Wét denotes the Weil-étale topology of Lichtenbaum, \(j: \text{Spec}({\mathcal O}_{F,\Sigma})\to C_F\) is the natural open immersion, and \(\Sigma\) is a finite set of places of \(k\) containing the ramified ones. The natural choice for \(\lambda\) is the valuation map from \(\Sigma\)-units to the augmentation kernel in the free Abelian group on places of \(F\) above \(\Sigma\). The main theorem then says that, interpreted correctly, \[ \vartheta_\lambda({\mathbf d}_{\mathbb{Z}[G]}(D^*))= Z^*_{F/k,\Sigma}(1)\cdot\mathbf{1}_{\mathbb{Z}[G]}) \] in \({\mathcal P}(\mathbb{Z}[G])\), where \(Z^*_{F/k,\Sigma}(1)\) is the equivariant leading term element defined in terms of the Zeta functions \(Z_\Sigma(\chi, t)\) associated to the characters \(\chi\) of \(G\). The proof of the theorem makes use of a result of \textit{R. Crew} [Invent. Math. 88, 395--403 (1987; Zbl 0615.14013)] on \(L\)-functions of \(p\)-adic characters associated to a smooth curve over a finite field. Indeed, the equality in the theorem has an analogue in an Iwasawa theoretic setting, and the author shows that the analogous equality over the Iwasawa algebra can be reduced to Crew's result. In order to then apply the argument to finite extensions, the author employs descent arguments lie developed earlier with Venjakob. The paper concludes with an appendix that the author wrote with King Fai Lai and Ki-Seng Tan. The goal of the appendix is to show that the result of Crew mentioned-above, which originally was proven with recourse to crystalline cohomology, can in fact be established from work of Weil relating zeta functions in the function field situation to \(\ell\)-adic homology, with \(\ell\) different from the residue characteristic. This has the consequence that the results of the main article itself rely nowhere on crystalline cohomology. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11R65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19A31 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19B28 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5899561 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(L\)-functions | |||
Property / zbMATH Keywords: \(L\)-functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
leading terms | |||
Property / zbMATH Keywords: leading terms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
function fields | |||
Property / zbMATH Keywords: function fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
geometric Iwasawa theory | |||
Property / zbMATH Keywords: geometric Iwasawa theory / rank | |||
Normal rank | |||
Property / author | |||
Property / author: David J. Burns / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Paul R. Buckingham / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00222-010-0286-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2027593035 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the conjecture of Lichtenbaum and of Chinburg over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4405003 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the values of equivariant zeta functions of curves over finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruences between derivatives of abelian \(L\)-functions at \(s =0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On leading terms and values of equivariant motivic \(L\)-functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tamagawa numbers for motives with (non-commutative) coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the equivariant Tamagawa number conjecture for Tate motives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit units and the equivariant Tamagawa number conjecture. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the leading terms of zeta isomorphisms and \(p\)-adic \(L\)-functions in non-commutative Iwasawa theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On descent theory and main conjectures in non-commutative Iwasawa theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3360267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Galois structure of algebraic integers and S-units / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact sequences and Galois module structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois structure of de Rham cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: L-functions of p-adic characters and geometric Iwasawa theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3639888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4729878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The refined \(\mathfrak p\)-adic abelian Stark conjecture in function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some consequences of the Riemann hypothesis for varieties over finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplicative independence in function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div". / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stickelberger elements for \(\mathbb Z^d_p\)-extensions of function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the refined class number formula for global function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Weil-étale topology on schemes over finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On higher order Stickelberger-type theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3445733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256013 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4267401 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Rubin--Stark conjecture for a special class of function field extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über die lokale Zetafunktion von Shimuravarietaeten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4431190 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Stark conjecture ``over \({\mathbb{Z}}\)'' for abelian \(L\)-functions with multiple zeros / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4698146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on Stickelberger elements for cyclic \(p\)-extensions over global function fields of characteristic \(p\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Stark formulae over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Stark conjectures on Artin \(L\)-functions at \(s=0\). Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4661785 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:56, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences between derivatives of geometric \(L\)-functions. With an appendix by David Burns, King Fai Lai and Ki-Seng Tan |
scientific article |
Statements
Congruences between derivatives of geometric \(L\)-functions. With an appendix by David Burns, King Fai Lai and Ki-Seng Tan (English)
0 references
25 May 2011
0 references
The main theorem of this article establishes the truth of a deep conjecture concerning the leading terms of \(L\)-functions of Abelian extensions of global function fields. The conjecture, which we shall discuss in more detail below, is a refinement of a conjecture of Lichtenbaum relating the Weil-étale cohomology of curves over finite fields to the associated zeta function. It can also be seen as a function field analogue of a conjecture concerning \(L\)-functions of Galois extensions of number fields, namely the equivariant Tamagawa number conjecture of Burns-Flach in the setting of Artin \(L\)-functions at \(s= 0\). The theorem also implies the truth of a number of related conjectures, as is discussed in the article. Explicitly, all the following now hold in the function field setting: Chinburg's \(\Omega(3)\) conjecture for Abelian extensions, Chinburg's \(\Omega(1)\) conjecture for tamely ramified Abelian extensions, the congruence conjecture of [\textit{D. Burns}, Invent. Math. 169, No. 3, 451--499 (2007; Zbl 1133.11063)] (whence the title of the article), Rubin's integral refinement of Stark's conjecture, the refined class number formulas of Gross, Tate, and Aoki-Lee-Tan, and finally the refined \(p\)-adic abelian Stark conjecture of Gross. Let us now give a brief formulation of the theorem, omitting many details. We fix a finite Abelian extension \(F/k\) of global function fields with Galois group \(G\). The constructions take place in the Picard category \({\mathcal P}(R)\) of graded line bundles on \(\text{Spec}(R)\) with \(R= \mathbb Z[G]\) and \(R= \mathbb Q[G]\). The category \({\mathcal P}(R)\) has unit object \(\mathbf{1}_R\). Further, there is the determinant functor \({\mathbf d}_R\) of Grothendieck-Knudsen-Mumford which assigns to a perfect complex of \(R\)-modules an object of \({\mathcal P}(R)\). If \(C^*\) is a perfect \(\mathbb Q[G]\)-complex acyclic outside two consecutive degrees, then any isomorphism \(\lambda\) between the cohomology groups in those consecutive degrees induces a morphism \(\vartheta_\lambda:{\mathbf d}_{\mathbb Q[G]}(C^*)\to\mathbf{1}_{\mathbb Q[G]}\). In the arithmetic setting, there is a natural choice for the complex \(C^*\) and for the isomorphism \(\lambda\). Namely, \(C^*= \mathbb Q[G]\otimes^{\mathbb L}_{\mathbb Z[G]} D^*\), where \(D^*\) is the complex \[ R\,\Hom_{\mathbb Z}(R\Gamma_{\text{Wét}}(C_F,j_!\mathbb Z), \mathbb Z[-2]). \] Here, \(C_F\) is the irreducible smooth projective curve associated to \(F\), Wét denotes the Weil-étale topology of Lichtenbaum, \(j: \text{Spec}({\mathcal O}_{F,\Sigma})\to C_F\) is the natural open immersion, and \(\Sigma\) is a finite set of places of \(k\) containing the ramified ones. The natural choice for \(\lambda\) is the valuation map from \(\Sigma\)-units to the augmentation kernel in the free Abelian group on places of \(F\) above \(\Sigma\). The main theorem then says that, interpreted correctly, \[ \vartheta_\lambda({\mathbf d}_{\mathbb{Z}[G]}(D^*))= Z^*_{F/k,\Sigma}(1)\cdot\mathbf{1}_{\mathbb{Z}[G]}) \] in \({\mathcal P}(\mathbb{Z}[G])\), where \(Z^*_{F/k,\Sigma}(1)\) is the equivariant leading term element defined in terms of the Zeta functions \(Z_\Sigma(\chi, t)\) associated to the characters \(\chi\) of \(G\). The proof of the theorem makes use of a result of \textit{R. Crew} [Invent. Math. 88, 395--403 (1987; Zbl 0615.14013)] on \(L\)-functions of \(p\)-adic characters associated to a smooth curve over a finite field. Indeed, the equality in the theorem has an analogue in an Iwasawa theoretic setting, and the author shows that the analogous equality over the Iwasawa algebra can be reduced to Crew's result. In order to then apply the argument to finite extensions, the author employs descent arguments lie developed earlier with Venjakob. The paper concludes with an appendix that the author wrote with King Fai Lai and Ki-Seng Tan. The goal of the appendix is to show that the result of Crew mentioned-above, which originally was proven with recourse to crystalline cohomology, can in fact be established from work of Weil relating zeta functions in the function field situation to \(\ell\)-adic homology, with \(\ell\) different from the residue characteristic. This has the consequence that the results of the main article itself rely nowhere on crystalline cohomology.
0 references
\(L\)-functions
0 references
leading terms
0 references
function fields
0 references
geometric Iwasawa theory
0 references
0 references
0 references
0 references
0 references