Research Interests:
Research Interests:
Research Interests:
γ = c0 + c1p + c2p + · · · = (. . . c3c2c1c0)p, with ci ∈ Z, 0 ≤ ci ≤ p− 1, called the digits of γ. This ring has a topology given by a restriction of the product topology—we will see this below. The ring Zp can be viewed as Z/pZ for an... more
γ = c0 + c1p + c2p + · · · = (. . . c3c2c1c0)p, with ci ∈ Z, 0 ≤ ci ≤ p− 1, called the digits of γ. This ring has a topology given by a restriction of the product topology—we will see this below. The ring Zp can be viewed as Z/pZ for an ‘infinitely high’ power n. This is a useful idea, for example, in the study of Diophantine equations: if such an equation has a solution in the integers, then it must have a solution modulo p for all n: to prove it does not have a solution, therefore, it suffices to show that it does not have a solution in Zp for some prime p. We can express the expansion of elements in Zp as Zp = lim ←− n Z/pZ
Research Interests:
Theorem 1.1 (Kummer theory). Let m ∈ Z>0, and suppose that the subgroup μm(K) = {ζ ∈ K∗ : ζ = 1} of K∗ has order m. Write K∗1/m for the subgroup {x ∈ K̄∗ : x ∈ K∗} of K̄∗. Then K(K∗1/m) is the maximal abelian extension of exponent... more
Theorem 1.1 (Kummer theory). Let m ∈ Z>0, and suppose that the subgroup μm(K) = {ζ ∈ K∗ : ζ = 1} of K∗ has order m. Write K∗1/m for the subgroup {x ∈ K̄∗ : x ∈ K∗} of K̄∗. Then K(K∗1/m) is the maximal abelian extension of exponent dividing m of K inside K̄, and there is an isomorphism Gal(K(K∗1/m)/K) ∼ −→ Hom(K∗, μm(K)) that sends σ to the map sending α to σ(β)/β, where β ∈ K∗1/m satisfies β = α.
We show that Chinburg's Omega(3) conjecture implies tight restrictions on the Galois module structure of oriented Arakelov class groups of number fields. We apply our findings to formulating a probabilistic model for Arakelov class... more
We show that Chinburg's Omega(3) conjecture implies tight restrictions on the Galois module structure of oriented Arakelov class groups of number fields. We apply our findings to formulating a probabilistic model for Arakelov class groups in families, offering a correction of the Cohen--Lenstra--Martinet heuristics on ideal class groups.
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
It follows from the work of Artin and Hooley that, under assumption of the generalised Riemann hypothesis, the density of the set of primes q for which a given non-zero rational number r is a primitive root modulo q can be written as an... more
It follows from the work of Artin and Hooley that, under assumption of the generalised Riemann hypothesis, the density of the set of primes q for which a given non-zero rational number r is a primitive root modulo q can be written as an infinite product ∏p δp of local factors δp reflecting the degree of the splitting field of Xp - r at the primes p, multiplied by a somewhat complicated factor that corrects for the ‘entanglement’ of these splitting fields.We show how the correction factors arising in Artin's original primitive root problem and several of its generalisations can be interpreted as character sums describing the nature of the entanglement. The resulting description in terms of local contributions is so transparent that it greatly facilitates explicit computations, and naturally leads to non-vanishing criteria for the correction factors.The method not only applies in the setting of Galois representations of the multiplicative group underlying Artin's conjecture, b...