Related papers: Kummer-faithfulness for function fields

Let k be a perfect field and A a finite dimensional k-algebra of finite global dimension (e.g. the path algebra of a finite quiver without oriented cycles). Making use of the recent theory of noncommutative motives, we prove that the value…

For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although…

We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a…

This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to…

Let K/F be a cyclic field extension of odd prime degree. We consider Galois embedding problems involving Galois groups with common quotient Gal(K/F) such that corresponding normal subgroups are indecomposable Fp[Gal(K/F)]-modules. For these…

We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…

Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and…

Let $K/\mathbb{Q}$ be an algebraic extension of fields, and let $\alpha \not= 0$ be contained in an algebraic closure of $K$. If $\alpha$ can be approximated by roots of numbers in $K^{\times}$ with respect to the Weil height, we prove that…

We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower…

Let K denote a finite extension of Qp. We give necessary and sufficient conditions for an infinite totally wildly ramified extension L/K to be strictly APF in the sense of Fontaine-Wintenberger. Our conditions are phrased in terms of the…

This is the second in a series of two papers presenting a solution to Hilbert's 12th problem for real quadratic function fields in positive characteristic, in the sense of proving an analog of the Theorem of Weber-Fueter. We also offer a…

Let $K$ be a totally real field. In this article we present an asymptotic formula for the number of Hilbert modular cusp forms $f$ with given ramification at every place $v$ of $K$. When $v$ is an infinite place, this means specifying the…

Let $X$ be an integral affine or projective hypersurface over a field $F$ of characteristic $p>0$, and let $F(X)$ denote its function field. In a recent article, Dolphin and Hoffmann obtained an explicit description of the kernel of the…

For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory…

Let $K$ be an algebraically closed field, and let $F/K(x)$ be a Kummer extension of function fields of genus $g$. We provide a compact and explicit description of the gap set $G(Q)$ at any totally ramified place $Q$ of the extension…

Let $M$ be a smooth compact $CR$ manifold of $CR$ dimension $n$ and $CR$ codimension $k$, which has a certain local extension property $E$. In particular, if $M$ is pseudoconcave, it has property $E$. Then the field $\Cal K(M)$ of $CR$…

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

In this paper, let $\phi$ be the Drinfeld module over $\mathbb{F}_{q}(T)$ of prime rank $r$ defined by $$\phi_T=T+\tau^{r-1}+T^{q-1}\tau^r.$$ We prove that under certain condition on $\mathbb{F}_q$, the adelic Galois representation…

Let k be a field of characteristic zero, let X be a geometrically integral k-variety of dimension n and let K be its field of fractions. Under the assumption that K contains all r-th roots of unity for an integer r, we prove that, given an…

Let $p$ be an odd prime and $F$ be a number field whose $p$-class group is cyclic. Let $F_{\{\mathfrak{q}\}}$ be the maximal pro-$p$ extension of $F$ which is unramified outside a single non-$p$-adic prime ideal $\mathfrak{q}$ of $F$. In…