Abstract
In this paper the authors provide strong evidence for a conjecture of Chinburg in the context of abelian extensions N/K of quadratic imaginary fields K with group G. For abelian groups G, the conjecture specialises to the statement that Chinburg's third invariant Ω(N/K, 3)=0 ∈ Cl(Z[G]). We prove (Theorem 1) that if K has class number 1 (and some technical conditions on the conductor of N/K and its roots of unity hold) then Ω(N/K, 3) lies in the kernel group D(Z[G]). For a special class of genus extensions of prime power degree we prove (Theorem 2) the full conjecture, that Ω(N/K, 3)=0. The proof technique for Theorems 1 and 2 uses Kolyvagin's Euler systems of units applied to certain explicit groups of elliptic units, which essentially determines the difference in Galois structure between units and ideal class groups over the maximal order MG ∈ Q[G]. This is made precise by using Hecke factorisation and working in the factorisability defect class group of the category of finitely generated Z[G]-modules, which is isomorphic to Cl(MG). For Theorem 2, the fact that the class number of N is coprime to [N:K] in such genus extensions N/K allows one to lift these results to Cl(Z[G]), after using cohomological calculations to check that (essentially) an explicit representative for a Tate sequence defining Ω (N/K, 3) has the correct extension class (which is related to the fundamental class of N/K). 1991 Mathematics Subject Classification: 11R33.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.