Related papers: The model theory of separably tame valued fields
A theorem of Kaplansky asserts that a semigroup of matrices with entries from a field whose members all have singleton spectra is triangularizable. Indeed, Kaplansky's Theorem unifies well-known theorems of Kolchin and Levitzki on…
We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the…
In this note we are concerned with the notion of amenable representation type as defined in a recent paper by G\'abor Elek. Roughly speaking, an algebra is of amenable type if for all $\varepsilon > 0$, every finite-dimensional module has a…
In this paper we illustrate certain criteria which are sufficient for a henselian valued field to admit non-isomorphic maximal purely wild extensions.
Let $K$ be a complete discretely valued field. An extension $L/K$ is "weakly totally ramified" if the residue extension is purely inseparable. We sharpen a result of Ax by showing that any Galois-invariant disk in the algebraic closure of…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
We introduce the notion of interlaced weak ditalgebras and apply reduction procedures to their module categories to prove a tame-wild dichotomy for the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules for an arbitrary finite…
Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…
Given a natural number n and a number field K, we show the existence of an integer \ell_0 such that for any prime number \ell\geq \ell_0, there exists a finite extension F/K, unramified in all places above \ell, together with a principally…
We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. The proof is based on the technique of matrix problems (boxes and reduction algorithm). It implies, in particular,…
We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…
T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure…
Let K be an algebraically closed field of characteristic zero. We study the tame isotropy group Tame_D(K[X,Y]) of locally finite derivations of the polynomial ring K[X,Y], using Van den Essen's classification up to conjugation. For each…
This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the…
The notion of a Kummer-faithful field, defined by Mochizuki, is expected as one of suitable base fields for anabelian geometry. In this paper, we study Kummer-faithfulness for algebraic extension fields of $p$-adic fields. We show that…
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed…
We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular…
We prove non-commutative reciprocity laws on an algebraic surface defined over a perfect field. These reciprocity laws claim the splittings of some central extensions of globally constructed groups over some subgroups constructed by points…
We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…
Let (K,v) be a valued field, Y a K-variety, G an algebraic group over K (not necessarily smooth), and f: X->Y a G-torsor over Y. We consider the induced map X(K)-->Y(K), which is continuous for the topologies deduced from the valuation. Let…