On the values of equivariant zeta functions of curves over finite fields (Q1769045): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q803200
Property / author
 
Property / author: David J. Burns / rank
Normal rank
 

Revision as of 03:28, 21 February 2024

scientific article
Language Label Description Also known as
English
On the values of equivariant zeta functions of curves over finite fields
scientific article

    Statements

    On the values of equivariant zeta functions of curves over finite fields (English)
    0 references
    16 March 2005
    0 references
    Let \(K/k\) be a finite Galois extension of global function fields of characteristic \(p\) whith Galois group \(G\). Let \(C_K\) be the unique geometrically irreducible smooth projective curve which has function field equal to \(K\). For each finite non-empty set \(S\) of places of \(k\) that contains all places which ramify in \(K/k\), let \({\mathcal O}_{K,S}\) be the subring of \(K\) consisting of those elements that are integral at all places of \(K\) which do not lie above an element of \(S\), and let \(U_{K,S}:=\text{Spec}({\mathcal O}_{K,S})\). The author conjectures an equality between an element of the relative algebraic \(K\)-group \(K_0({\mathbb Z}[G],{\mathbb R})\) constructed from the leading term in the Taylor expansion at \(s=0\) of the \(G\)-equivariant Artin \(L\)-function of \(U_{K,S}\) and the refined Euler characteristic of a pair comprising the Weil-étale cohomology of \({\mathbb G}_m\) on \(U_{K,S}\) and a natural logarithmic regulator mapping. He proves the \(l\)-primary component of this conjecture for all primes \(l\) for which either \(l\neq p\) or \(K_0({\mathbb Z}_l[G],{\mathbb Q}_l)\) is torsion free. He shows that this result has the following consequences for \(K/k\): if \(p\) does not divide the order of \(G\), then refined versions of all of Chinburg's ``\(\Omega\)-conjectures'' in Galois module theory are valid; if the torsion subgroup of \(K^\times\) is a cohomologically-trivial \(G\)-module, then Gross's conjectural ``refined class number formula'' is valid; if \(K/k\) satisfies a certain natural class-field theoretical condition, then Tate's refinement of Gross's conjecture is valid.
    0 references
    global fields of characteristic \(p\)
    0 references
    values of \(L\)-functions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references