On function fields of curves over higher local fields and their division LFD-algebras

Let $K_m$ be an $m$-local field with an $m$-th residue field $K_0$, for some integer $m>0$, and let $K\mathrm{/}{K}_m$ be a field extension of transcendence degree trd$(K\mathrm{/}{K}_m)\le 1$. This paper shows that if $K_0$ is a field of finite Diophantine dimension (for example, a finitely-generated extension of a finite or a pseudo-algebraically closed perfect field $E$), then the absolute Brauer $p$-dimension abrd${}_p(K)$ of $K$ is finite, for every prime number $p$. Thus it turns out that if $R$ is an associative locally finite-dimensional (abbr., LFD) central division $K$-algebra, then it is a normally locally finite algebra over $K$, that is, every nonempty finite subset $Y$ of $R$ is contained in a finite-dimensional central $K$-subalgebra ${\mathcal{R}}_Y$ of $R$.