Related papers: Canonical Cohen rings for norm fields
Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. For $\alpha \in K$, let $K_\infty$ be the extension obtained by adjoining all iterated preimages of $\alpha$ under a unicritical polynomial…
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of…
Iwasawa theory of modular forms over anticyclotomic $\mathbb{Z}_p$-extensions of imaginary quadratic fields has been studied by several authors, starting from the works of Bertolini-Darmon and Iovita-Spiess, under the crucial assumption…
For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$…
Let $K/\mathbb{Q}$ be a real cyclic extension of degree divisible by $p$. We analyze the {\it statement} of the "Real Abelian Main Conjecture", for the $p$-class group $\mathcal{H}_K$ of $K$, in this non semi-simple case. The classical {\it…
Working over a field $k$ of characteristic zero, this paper studies algebraic actions of $SL_2(k)$ on affine $k$-domains by defining and investigating fundamental pairs of derivations. There are three main results: (1) The Structure Theorem…
Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…
Let $K=k((t))$ be a local field of characteristic $p>0$, with perfect residue field $k$. Let $\vec{a}=(a_0,a_1,\dots,a_{n-1})\in W_n(K)$ be a Witt vector of length $n$. Artin-Schreier-Witt theory associates to $\vec{a}$ a cyclic extension…
For a finite extension $K/\mathbb{Q}_p$ and a split reductive group $G$ over $\mathcal{O}_K$, let $\overline{\rho} \colon \mathrm{Gal}_K \to G(\overline{\mathbb{F}}_p)$ be a continuous quasi-semisimple mod $p$ $G$-valued representation of…
Let $L/K$ be a Galois extension of number fields and let $G=\mathrm{Gal}(L/K)$. We show that under certain hypotheses on $G$, for a fixed prime number $p$, Leopoldt's conjecture at $p$ for certain proper intermediate fields of $L/K$ implies…
Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…
Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…
Let $L/K$ be an extension of complete discrete valuation fields of positive characteristic, and assume that the residue field of $K$ is perfect. The residue field of $L$ is not assumed to be perfect. In this paper, we show that the…
The properties of continued fractions whose partial quotients belong to a quadratic number field K are distinct from those of classical continued fractions. Unlike classical continued fractions, it is currently impossible to identify…
Let $G$ be a finite group and $K$ a number field. We construct a $G$-extension $E/F$, with $F$ of transcendence degree $2$ over $K$, that specializes to all $G$-extensions of $K_\mathfrak{p}$, where $\mathfrak{p}$ runs over all but finitely…
This paper extends an algorithm and canonical embedding by Cauchon to a large class of quantum algebras. It applies to iterated Ore extensions over a field satisfying some suitable assumptions which cover those of Cauchon's original setting…
Let $K$ be a local field of characteristic 0 with residue characteristic $p$. Let $G$ be an extraspecial $p$-group and let $L/K$ be a totally ramified $G$-extension. In this paper we find sufficient conditions for $L/K$ to admit a Galois…
Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. For $\overline{\rho}$ any reducible two-dimensional representation of $\operatorname{Gal}(\overline{K}/K)$…
Let $(L, v_L) / (K, v_K)$ be a finite or purely transcendental extension of real valued fields. We construct the associated integral cotangent and log cotangent complexes in terms of a MacLane-Vaqui\'e chain approximating $v_L$. This leads…
In this paper we prove the following theorem. Let L/\Q_p be a finite extension with ring of integers O_L and maximal ideal lambda. Theorem 1. Suppose that p >= 5. Suppose also that \rho:G_\Q -> GL_2(O_L) is a continuous representation…