Related papers: Henselian discrete valued stable fields

Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$…

We construct an example of quantum hyperenveloping algebra over discretely valued field for the Lie algebra $\mathfrak{sl}_{2}$.

We define a new class of sets -- stable sets -- of primes in number fields. For example, Chebotarev sets $P_{M/K}(\sigma)$, with $M/K$ Galois and $\sigma \in \Gal(M/K)$, are very often stable. These sets have positive (but arbitrary small)…

For an arbitrary field $K$ and $K$-variety $V$, we introduce the \'etale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably…

Let K be a field and t>=0. Denote by Bm(t,K) the maximum number of non-zero roots in K, counted with multiplicities, of a non-zero polynomial in K[x] with at most t+1 monomial terms. We prove, using an unified approach based on Vandermonde…

Let $v$ be a rank-one discrete valuation of the field $k((\X))$. We know, after \cite{Bri2}, that if $n=2$ then the dimension of $v$ is 1 and if $v$ is the usual order function over $k((\X))$ its dimension is $n-1$. In this paper we prove…

We prove that the transcendental Brauer group of a K3 surface X over a finitely generated field k is finite, unless k has positive characteristic p and X is supersingular, in which case it is annihilated by p.

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…

Let $ {\mathbf k} $ be a field and $Q\in {\mathbf k}[x_1, \ldots, x_s]$ a form (homogeneous polynomial) of degree $d>1.$ The ${\mathbf k}$-Schmidt rank $rk_{\mathbf k}(Q)$ of $Q$ is the minimal $r$ such that $Q= \sum_{i=1}^r R_iS_i$ with…

Let K be a complete discrete valuation field of mixed characteristic (0,p) with algebraically closed residue field, and let f: Y --> P^1 be a three-point G-cover defined over K, where G has a cyclic p-Sylow subgroup P. We examine the stable…

Let $E$ be a field of absolute Brauer dimension abrd$(E)$, and $F/E$ a transcendental finitely-generated extension. This paper shows that the Brauer dimension Brd$(F)$ is infinite, if abrd$(E) = \infty $. When the absolute Brauer…

Let $p$ be a prime and let $\mathbb{Q}_p$ be the field of $p$-adic numbers. It is known that the finite extensions of $\mathbb{Q}_p$ of a given degree are finite up to isomorphism. Given a cubic field extension $L$ of $\mathbb{Q}_p$…

Let D be a central division algebra of degree n over a field K. One defines the genus gen(D) of D as the set of classes [D'] in the Brauer group Br(K) of K represented by central division algebras D' of degree n over K having the same…

We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn…

Let $p$ be an irregular prime and $K=\Q(\zeta)$ the $p$-cyclotomic field. Let $\sigma$ be a $\Q$-isomorphism of $K$ generating $Gal(K/\Q)$. Let $S/K$ be a cyclic unramified extension of degree $p$, defined by $S= K(A^{1/p})$ where $A\in…

This paper shows that divisible abelian torsion groups are realizable as Brauer groups of quasilocal fields. It describes the isomorphism classes of Brauer groups of primarily quasilocal fields and solves the analogous problem concerning…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

If $V$ is an irreducible algebraic variety over a number field $K$, and $L$ is a field containing $K$, we say that $V$ is diophantine-stable for $L/K$ if $V(L) = V(K)$. We prove that if $V$ is either a simple abelian variety, or a curve of…

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…