BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
This paper explores some first-order properties of commuting-liftable pairs in pro-ℓ abelian-by-central Galois groups of fields. The main focus of the paper is to prove that minimized inertia and decomposition groups of many valuations are first-order definable using a predicate for the collection of commuting-liftable pairs.
Let n denote either a positive integer or ∞, let ℓ be a fixed prime and let K be a field of characteristic different from ℓ. In the presence of sufficiently many roots of unity in K, we show how to recover some of the inertia/decomposition structure of valuations inside the maximal ℓn-abelian Galois group of K using the maximal ℓN-abelian-by-central Galois group of K, whenever N is sufficiently large relative to n.
In this paper, we develop the main step in the global theory for the mod-ℓ analogue of Bogomolov's program in birational anabelian geometry for higher-dimensional function fields over algebraically closed fields. More precisely, we show how to reconstruct a function field K of transcendence degree ≥5 over an algebraically closed field, up-to inseparable extensions, from the mod-ℓ abelian-by-central Galois group of K endowed with the collection of mod-ℓ rational quotients.
Let K be a field whose characteristic is prime to a fixed integer n with μn⊂K, and choose ω∈μn a primitive nth root of unity. Denote the absolute Galois group of K by Gal(K), and the mod-n central-descending series of Gal(K) by Gal(K)(i). Recall that Kummer theory, together with our choice of ω, provides a functorial isomorphism between Gal(K)/Gal(K)(2) and Hom(K×,Z/n). Analogously to Kummer theory, in this note we use the Merkurjev-Suslin theorem to construct a continuous, functorial and explicit embedding Gal(K)(2)/Gal(K)(3)↪Fun(K∖{0,1},(Z/n)2), where Fun(K∖{0,1},(Z/n)2) denotes the group of (Z/n)2-valued functions on K∖{0,1}. We explicitly determine the functions associated to the image of commutators and nth powers of elements of Gal(K) under this embedding. We then apply this theory to prove some new results concerning relations between elements in abelian-by-central Galois groups.
In this paper we use the Merkurjev-Suslin theorem to explore the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime \ell, n a positive integer, and suppose that K contains the (\ell^n)^th roots of unity. Let L be the maximal \Z/\ell^n-elementary abelian extension of K, and set G = \Gal(L|K). We consider the G-module J = L^\times/\ell^n and denote its socle series by J_m. We provide a precise condition, in terms of a map to H^3(G,\Z/\ell^n), determining which submodules of J_{m-1} embed in cyclic modules generated by elements of J_m. This generalizes a theorem of Adem, Gao, Karaguezian, and Minac which deals with the case m=\ell^n=2. This description of J_m/J_{m-1} can be viewed as an analogue of the classical Hilbert's Theorem 90 and it is helpful for understanding the G-module J.
Let K be a field and \ell be a prime such that char K \neq \ell. In the presence of sufficiently many roots of unity in K, we show how to recover some of the inertia/decomposition structure of valuations inside the maximal (\Z/\ell)-abelian resp. pro-\ell-abelian Galois group of K using its (Z/\ell)-central resp. pro-\ell-central extensions.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.