Related papers: Generalized Steinberg Relations
For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending…
Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary…
Let $X$ be a complete smooth variety defined over number field $K$ and $i$ an integer. The absolute Galois group of $K$ acts on the $i$th $l$-adic etale cohomology of $X$ for all $l$, producing a system of $l$-adic representations…
Let $F$ be a local non-Archimedean field with ring of integers $o$. Let $\bf X$ be a one-dimensional formal $o$-module of $F$-height $n$ over the algebraic closure of the residue field of $o$. By the work of Drinfeld, the universal…
Let $L/K$ be a Galois extension of local fields of characteristic $0$ with Galois group $G$. If $\mathcal{F}$ is a formal group over the ring of integers in $K$, one can associate to $\mathcal F$ and each positive integer $n$ a $G$-module…
Let $F$ be a number field, abelian over the rational field, and fix a odd prime number $p$. Consider the cyclotomic $Z_p$-extension $F_\infty/F$ and denote $F_n$ the ${n}^{\rm th}$ finite subfield and $C_n$ its group of circular units. Then…
To each Galois extension $L/K$ of number fields with Galois group $G$ and each integer $r \leq 0$ one can associate Stickelberger elements in the centre of the rational group ring $\mathbb{Q}[G]$ in terms of values of Artin $L$-series at…
Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring…
Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a…
Let $K$ be a field whose characteristic is prime to a fixed integer $n$ with $\mu_n \subset K$, and choose $\omega \in \mu_n$ a primitive $n$th root of unity. Denote the absolute Galois group of $K$ by $\operatorname{Gal}(K)$, and the…
We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem…
This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…
We construct a categorification of the modular data associated with every family of unipotent characters of the spetsial complex reflection group $G(d,1,n)$. The construction of the category follows the decomposition of the Fourier matrix…
We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term…
Let $W$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$ of any characteristic and $mW$ denote the direct sum of $m$ copies of $W$. Let $\mathbb{F}_q[mW]^{{\rm GL}(W)}$ and $\mathbb{F}_q(mW)^{{\rm GL}(W)}$ denote the…
Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the \'etale…
When $G$ is abelian and $l$ is a prime we show how elements of the relative K-group $K_{0}({\bf Z}_{l}[G], {\bf Q}_{l})$ give rise to annihilator/Fitting ideal relations of certain associated ${\bf Z}[G]$-modules. Examples of this…
If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…
We establish an analog of a theorem of Stallings which asserts the homomorphisms between the universal nilpotent quotients induced by a homomorphism $G \to H$ of groups are isomorphisms provided a pair of homological conditions are…
This paper proves local-global principles for Galois cohomology groups over function fields $F$ of curves that are defined over a complete discretely valued field. We show in particular that such principles hold for $H^n(F, Z/mZ(n-1))$, for…