We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let X be a smooth projective curve. We consider the dual reductive pair , over X, where H splits on an étale two-sheeted covering . Let BunG (respectively, BunH) be the stack of G-torsors (respectively, H-torsors) on X. We study the functors FG and FH between the derived categories D(BunG) and D(BunH), which are analogs of the classical theta-lifting operators in the framework of the geometric Langlands program. Assume n=m=1 and H nonsplit, that is, with connected. We establish the geometric Langlands functoriality for this pair. Namely, we show that FG :D(BunH)→D(BunG)commutes with Hecke operators with respect to the corresponding map of Langlands L-groups LH→LG. As an application, we calculate Waldspurger periods of cuspidal automorphic sheaves on BunGL2 and Bessel periods of theta-lifts from to . Based on these calculations, we give three conjectural constructions of certain automorphic sheaves on (one of them makes sense for -modules only).
Sikora has given results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora’s formulas which leads us to clarify and to extend the dictionary of arithmetic topology.
We study Rubin’s variant of the p-adic Birch and Swinnerton-Dyer conjecture for CM elliptic curves concerning certain special values of the Katz two-variable p-adic L-function that lie outside the range of p-adic interpolation.
We formulate an explicit conjecture for the leading term at s=1 of the equivariant Dedekind zeta-function that is associated to a Galois extension of number fields. We show that this conjecture refines well-known conjectures of Stark and Chinburg, and we use the functional equation of the zeta-function to compare it to a natural conjecture for the leading term at s=0.
We assume the validity of the equivariant Tamagawa number conjecture for a certain motive attached to an abelian extension K/k of number fields, and we calculate the Fitting ideal of the dual of clK− as a Galois module, under mild extra hypotheses on K/k. This builds on concepts and results of Tate, Burns, Ritter and Weiss. If k is the field of rational numbers, our results are unconditional.
Let E be a CM number field and let S be a finite set of primes of E containing the primes dividing a given prime number l and another prime u split above the maximal totally real subfield of E. If ES denotes a maximal algebraic extension of E which is unramified outside S, we show that the natural maps are injective. We discuss generalizations of this result.
We prove that the p-adic zeta-function constructed by Kubota and Leopoldt has the Dirichlet series expansion Where the convergence of the first summation is for the p-adic topology. The proof of this formula relates the values of p(–s, ω1+σ) for s ∈ Zp, with a branch of the ‘sth-fractional derivative’, of a suitable generating function.
In this paper we compute and continue meromorphically to the whole complex plane the zeta function for twisted modular curves. The twist of the modular curve is done by a mod p representation of the absolute Galois group.
This is a study of relations between pure cubic fields and their normal closures. Explicit formula shows how the discriminant, regulator and class number of the normal closure can be expressed in terms of the cubic field.
In this paper, we generalize the Kučera's group-determinant formulae to obtain the real and relative class number formulae of any subfield of cyclotomic function fields with arbitrary conductor in the form of a product of determinants. From these formulae, we generalize the relative class number formula of Rosen and Bae-Kang and obtain analogous results of Tsumura and Hirabayashi for an intermediate field in the tower of cyclotomic function fields with prime power conductor.
The set ℳ* of numbers which occur as Mahler measures of integer polynomials and the subset ℳ of Mahler measures of algebraic numbers (that is, of irreducible integer polynomials) are investigated. It is proved that every number α of degree d in ℳ* is the Mahler measure of a separable integer polynomial of degree at most with all its roots lying in the Galois closure F of ℚ(α), and every unit in ℳ is the Mahler measure of a unit in F of degree at most over ℚ This is used to show that some numbers considered earlier by Boyd are not Mahler measures. The set of numbers which occur as Mahler measures of both reciprocal and nonreciprocal algebraic numbers is also investigated. In particular, all cubic units in this set are described and it is shown that the smallest Pisot number is not the measure of a reciprocal number.
Let L/K be an extension of number fields and let be the subgroup of the unit group consisting of the elements that are roots of units of . Denote by (L/K, B) the number of points in with relative height in the sense of Bergé-Martinet at most B. Here ℙ1(L) stands for the one-dimensional projective space over L. In this paper is proved the formula (L/K, B) = CB2 + O(B2−1/[L:Q]), where C is a constant given in terms of invariants of L/K such as the regulators, class number and discriminant.
Let L be a Galois extension of the number field K. Set n = nK = deg K/ℚ, nL = deg L/ℚ and nL/K = deg L/K. Let I = IL/K denote the group of fractional ideals of K whose prime decomposition contains no prime ideals that ramify in L, and let P = {(α)ΣI: αΣK*, α>0}. Following Hecke [9}, let (λ1, λ2, …, λn − 1) be a basis for the torsion-free characters on P that satisfy λi(α) = 1 (1≤i≤n − 1) for all units α>0 in , the ring of integers of K. Fixing an extension of each λi to a character on I, then λi,(α) (1 ≤i≤n − 1) are defined for all ideals α of K that do not ramify in L. So, for such ideals, we can define . Then the small region of K referred to above is
for 0<l<½ and with the notation that, for any α ∈ ℝ, we set β. where β is the unique real satisyfing .
By a fundamental theorem of Brauer every irreducible character of a finite group G can be written in the field Q(εm) of mth roots of unity where m is the exponent of G. Is it always possible to find a matrix representation over its ring Z[εm] of integers? In the present paper it is shown that this holds true provided it is valid for the quasisimple groups. The reduction to such groups relies on a useful extension theorem for integral representations. Iwasawa theory on class groups of cyclotomic fields gives evidence that the answer is at least affirmative when the exponent is replaced by the order, and provides for a general qualitative result.
Let K be a number field of degree nK = r1 + 2r2, a fixed integral ideal and the group of fractional ideals of K whose prime decomposition contains no prime factors of . Let
and be an arbitrary Groessencharaktere mod f as defined in [15]. Then and, for
where {λi} forms a basis for the torsion–free characters on whose value on any depends only on the that exists such that a = (α). Note that because of the choice in such an α we have that 1 for all units ε in K satisfying (mod ), ε>0. Also, x is a narrow ideal class character mod , that is, a character on