474 research outputs found
On a Refined Stark Conjecture for Function Fields
We prove that a refinement of Stark's Conjecture formulated by Rubin is true
up to primes dividing the order of the Galois group, for finite, abelian
extensions of function fields over finite fields. We also show that in the case
of constant field extensions a statement stronger than Rubin's holds true
Hecke characters and the -theory of totally real and CM number fields
Let be an abelian extension of number fields with either CM or
totally real and totally real. If is CM and the Brumer-Stark conjecture
holds for , we construct a family of --equivariant Hecke
characters for with infinite type equal to a special value of certain
--equivariant -functions. Using results of Greither-Popescu on the
Brumer-Stark conjecture we construct -adic imprimitive versions of these
characters, for primes . Further, the special values of these -adic
Hecke characters are used to construct -equivariant
Stickelberger-splitting maps in the -primary Quillen localization sequence
for , extending the results obtained in 1990 by Banaszak for .
We also apply the Stickelberger-splitting maps to construct special elements in
the -primary piece of and analyze the Galois
module structure of the group of divisible elements in ,
for all . If is odd and coprime to and is a fairly general
totally real number field, we study the cyclicity of in relation to
the classical conjecture of Iwasawa on class groups of cyclotomic fields and
its potential generalization to a wider class of number fields. Finally, if
is CM, special values of our -adic Hecke characters are used to construct
Euler systems in the odd -groups with coefficients , for all . These are vast generalizations of Kolyvagin's Euler
system of Gauss sums and of the -theoretic Euler systems constructed in
Banaszak-Gajda when .Comment: 38 page
An Equivariant Main Conjecture in Iwasawa Theory and Applications
We construct a new class of Iwasawa modules, which are the number field
analogues of the p-adic realizations of the Picard 1-motives constructed by
Deligne in the 1970s and studied extensively from a Galois module structure
point of view in our recent work. We prove that the new Iwasawa modules are of
projective dimension 1 over the appropriate profinite group rings. In the
abelian case, we prove an Equivariant Main Conjecture, identifying the first
Fitting ideal of the Iwasawa module in question over the appropriate profinite
group ring with the principal ideal generated by a certain equivariant p-adic
L-function. This is an integral, equivariant refinement of the classical Main
Conjecture over totally real number fields proved by Wiles in 1990. Finally, we
use these results and Iwasawa co-descent to prove refinements of the
(imprimitive) Brumer-Stark Conjecture and the Coates-Sinnott Conjecture, away
from their 2-primary components, in the most general number field setting. All
of the above is achieved under the assumption that the relevant prime p is odd
and that the appropriate classical Iwasawa mu-invariants vanish (as conjectured
by Iwasawa.)Comment: 52 page
An Equivariant Tamagawa Number Formula for Drinfeld Modules and Applications
We fix data consisting of a Galois extension of
characteristic global fields with arbitrary abelian Galois group and a
Drinfeld module defined over a certain Dedekind subring of . For this
data, we define a -equivariant -function and prove an
equivariant Tamagawa number formula for certain Euler-completed versions of its
special value . This generalizes Taelman's class number
formula for the value of the Goss zeta function
associated to the pair . Taelman's result is obtained from our result
by setting . As a consequence, we prove a perfect Drinfeld module analogue
of the classical (number field) refined Brumer--Stark conjecture, relating a
certain -Fitting ideal of Taelman's class group to the special
value in question
An unconditional main conjecture in Iwasawa theory and applications
We improve upon the recent keystone result of Dasgupta-Kakde on the -Fitting ideals of certain Selmer modules associated
to an abelian, CM extension of a totally real number field and use
this to compute the -Fitting ideal of the Iwasawa
module analogues of these Selmer modules, where
is the cyclotomic -extension of , for an odd prime .
Our main Iwasawa theoretic result states that the -module is of projective
dimension , is quadratically presented, and that its Fitting ideal is
principal, generated by an equivariant -adic -function
. Further, we establish a perfect duality pairing
between and a certain -module , essentially
introduced earlier by Greither-Popescu. As a consequence, we recover the
Equivariant Main Conjecture for the Tate module , proved by Greither-Popescu under the hypothesis that the
classical Iwasawa -invariant associated to and vanishes. As a
further consequence, we give an unconditional proof of the refined
Coates-Sinnott Conjecture, proved by Greither-Popescu under the same
hypothesis, and also recently proved unconditionally but with different methods
by Johnston-Nickel, regarding the -Fitting ideals of the higher
Quillen -groups , for all . Finally, we
combine the techniques developed in the process with the method of
''Taylor-Wiles primes'' to strengthen further the keystone result of
Dasgupta-Kakde and prove, as a consequence, a conjecture of Burns-Kurihara-Sano
on Fitting ideals of Selmer groups of CM number fields
- …