Let $L/K$ be a tame and Galois extension of number fields with group $G$. It is well-known that any ambiguous ideal in $L$ is locally free over $\mathcal{O}_KG$ (of rank one), and so it defines a class in the locally free class group of $\mathcal{O}_KG$, where $\mathcal{O}_K$ denotes the ring of integers of $K$. In this paper, we shall study the relationship among the classes arising from the ring of integers $\mathcal{O}_L$ of $L$, the inverse different $\mathfrak{D}_{L/K}^{-1}$ of $L/K$, and the square root of the inverse different $A_{L/K}$ of $L/K$ (if it exists), in the case that $G$ is abelian. They are naturally related because $A_{L/K}^2 = \mathfrak{D}_{L/K}^{-1} = \mathcal{O}_L^*$, and $A_{L/K}$ is special because $A_{L/K} = A_{L/K}^*$, where $*$ denotes dual with respect to the trace of $L/K$.
Let us consider an abelian variety defined over $\mathbb{Q_{\ell}}$ with good supersingular reduction. In this paper we give explicit conditions that ensure that the action of the wild inertia group on the $\ell$-torsion points of the variety is trivial. Furthermore we give a family of curves of genus 2 such that their Jacobian surfaces have good supersingular reduction and satisfy these conditions. We address this question by means of a detailed study of the formal group law attached to abelian varieties.
Given a natural number n and a number field K, we show the existence of an integer \ell_0 such that for any prime number \ell\geq \ell_0, there exists a finite extension F/K, unramified in all places above \ell, together with a principally polarized abelian variety A of dimension n over F such that the resulting \ell-torsion representation ρ_{A,\ell} from G_F to GSp(A[\ell](\bar{F})) is surjective and everywhere tamely ramified. In particular, we realize GSp_{2n}(\mathbb{F}_\ell) as the Galois group of a finite tame extension of number fields F'/F such that F is unramified above \ell.
Let p be an odd prime, and k_\infty the cyclotomic Z_p-extension of an abelian field k. For a finite set S of rational primes which does not include p, we will consider the maximal S-ramified abelian pro-p extension M_S(k_\infty) over k_\infty. We shall give a formula of the Z_p-rank of Gal(M_S(k_\infty)/k_\infty). In the proof of this formula, we also show that M_{q}(k_\infty)/L(k_\infty) is a finite extension for every real abelian field k and every rational prime q distinct from p, where L(k_\infty) is the maximal unramified abelian pro-p extension over k_\infty.
We consider a tamely ramified abelian extension of local fields of degree n, without assuming the presence of the nth roots of unity in the base field. We give an explicit formula which computes the local reciprocity map in this situation.
In this paper we obtain realizations of the 4-dimensional general symplectic group over a prime field of characteristic $\ell>3$ as the Galois group of a tamely ramified Galois extension of $\mathbb{Q}$. The strategy is to consider the Galois representation $ρ_{\ell}$ attached to the Tate module at $\ell$ of a suitable abelian surface. We need to choose the abelian varieties carefully in order to ensure that the image of $ρ_{\ell}$ is large and simultaneously maintain a control on the ramification of the corresponding Galois extension. We obtain an explicit family of curves of genus 2 such tha…
For a prime number p, we denote by K the cyclotomic Z_p-extension of a number field k. For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension of K unramified outside S. This paper treats the case where S does not contain p and k is the rational number field or an imaginary quadratic field. In this case, we prove the explicit formulae for the free ranks of the S-ramified Iwasawa modules as abelian pro-p groups, by using Brumer's p-adic version of Baker's theorem on the linear independence of logarithms of a…
The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call rt(k,G) the classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A'-groups inductively, starting by abelian groups and then considering semidirect products of A'-groups with abelian groups of relatively prime order and direc…
We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we show that if $ L/K $ is a tame Galois extension of $ p $-adic fields then each fractional ideal of $ L $ is free over its associated order in $ H $. We also show that this conclusion remains valid if $ L/K $ is merely almost classically Galois. Finally, we show that if $ L/K $ is an abelian extension of number fields then every ambiguous fractional ideal of $ L…
The tame Gras-Munnier Theorem gives a criterion for the existence of a ${\mathbb Z}/{\mathbb Z}$-extension of a number field $K$ ramified at exactly a set $S$ of places of $K$ prime to $p$ (allowing real Archimedean places when $p=2$) in terms of the existence of a dependence relation on the Frobenius elements of these places in a certain governing extension. We give a new and simpler proof of this theorem that also relates the set of such extensions of $K$ to the set of these dependence relations. After presenting this proof, we then reprove the key Proposition 3 using the more sophisticated …
Schmidt and Spieß described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology instead.
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way, we obtain a different and much simplified proof, which builds directly on a standard basic knowledge of the theory of function fields. Our methods are explicit and constructive and thus relevant for algorithmic applications. We use generalized forms of the Tate-Lichtenbaum and Ate pairings, which are well-known in cryptography, as an important tool.
Building on Bosca's method, we extend to tame ray class groups the results on capitulation of ideals of a number field by composition with abelian extensions of a subfield first studied by Gras. More precisely, for every extension of number fields K/k, where at least one infinite place splits completely, and every squarefree divisor m of K, we prove that there exist infinitely many abelian extensions F/k such that the ray class group mod m of K capitulates in KF. As a consequence we generalize to tame ray class groups the results of Kurihara on triviality of class groups for maximal abelian pr…
Let $F$ be a non-archimedean local field of residue characteristic $p\neq 2$. Let $G$ be a connected reductive group over $F$ that splits over a tamely ramified extension of $F$. Yu constructed types which are called tame supercuspidal types and conjectured that Hecke algebras associated with these types are isomorphic to Hecke algebras associated with depth-zero types of some twisted Levi subgroups of $G$. In this paper, we prove this conjecture. We also prove that the Hecke algebra associated with a regular supercuspidal type is isomorphic to the group algebra of a certain abelian group.
We prove a functional equation for two projective systems of finite abelian $p$-groups, $\{\fa_n\}$ and $\{\fb_n\}$, endowed with an action of $\ZZ_p^d$ such that $\fa_n$ can be identified with the Pontryagin dual of $\fb_n$ for all $n$. Let $K$ be a global field. Let $L$ be a $\ZZ_p^d$-extension of $K$ ($d\geq 1$), unramified outside a finite set of places. Let $A$ be an abelian variety over $K$. We prove an algebraic functional equation for the Pontryagin dual of the Selmer group of $A$.
We generalize the work of DeBacker and Reeder to the case of unitary groups split by a tame extension. The approach is broadly similar and the restrictions on the parameter the same, but many of the details of the arguments differ. Let $G$ be a unitary group defined over a local field $K$ and splitting over a tame extension $E/K$. Given a Langlands parameter $φ: \mathcal{W}_K \rightarrow {^L G}$ that is tame, discrete and regular, we give a natural construction of an $L$-packet $Π_φ$ associated to $φ$, consisting of representations of pure inner forms of $G(K)$ and parametrized by the characte…
We prove non-commutative reciprocity laws on an algebraic surface defined over a perfect field. These reciprocity laws claim the splittings of some central extensions of globally constructed groups over some subgroups constructed by points or projective curves on a surface. For a two-dimensional local field with a finite last residue field the constructed local central extension is isomorphic to a central extension which comes from the case of tame ramification of the Abelian two-dimensional local Langlands correspondence suggested by M. Kapranov.
In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous work on local duality and Grothendieck's duality conjecture. It generalizes the perfectness of the Cassels-Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin-Milne's global finite flat duality, the non-degeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organiz…
Let $K$ be a complete discrete valuation field. Let $\mathcal{O}_K$ be its ring of integers. Let $k$ be its residue field which we assume to be algebraically closed of characteristic exponent $p\geq1$. Let $G/K$ be a semi-abelian variety. Let $\mathcal{G}/\mathcal{O}_K$ be its Néron model. The special fiber $\mathcal{G}_k/k$ is an extension of the identity component $\mathcal{G}_k^0/k$ by the group of components $Φ(G)$. We say that $G/K$ has split reduction if this extension is split. Whereas $G/K$ has always split reduction if $p=1$ we prove that it is no longer the case if $p>1$ even if $G/K…
We study periodic points for endomorphisms $σ$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $ζ_σ$ of $σ$ is either rational or transcendental, the first case happening precisely when $σ^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of $σ$ on the local $p$-torsion group scheme being nilpotent. The "false" zeta function $D_σ$, in which the number of fixed points of $σ^n$ is replaced by the degree of $σ^n-1$, is always a rational funct…
