Related papers: Large implies henselian

In an earlier paper it was proved that if a differential field $(K,\delta)$ is algebraically closed and closed under Picard-Vessiot extensions then every differential algebraic principal homogeneous space over K for a linear differential…

Given an algebraic function field $F|K$ and a place $\wp$ on $K$, we prove that the places that are composite with extensions of $\wp$ to finite extensions of $K$ lie dense in the space of all places of $F$, in a strong sense. We apply the…

We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian…

Let K/k be purely inseparable extension of characteristic p \textgreater{} 0. By invariants, we characterize the measure of the size of K/k. In particular, we give a necessary and sufficient condition that K/k is of bounded size.…

We show that, on a complete and possibly non-compact Riemannian manifold of dimension at least 2 without close conjugate points at infinity, the existence of a closed geodesic with local homology in maximal degree and maximal index growth…

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…

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

We study properties of the Golomb topology on polynomial rings over fields, in particular trying to determine conditions under which two such spaces are not homeomorphic. We show that if $K$ is an algebraic extension of a finite field and…

A field $K$ is $d$-local if there exist fields $K=k_d,...,k_0$ with $k_{i+1}$ complete discrete valuation with residue field $k_i$, and $k_0$ finite of characteristic $p$. By work of Deninger and Wingberg, the Galois cohomology of such…

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

A field $K$ is called ample if for every geometrically integral $K$-variety $V$ with a smooth $K$-point, $V(K)$ is Zariski-dense in $V$. A field $K$ is virtually ample if some finite extension of $K$ is ample. We prove that there exists a…

The ad\`ele ring $\mathbb A_K$ of a global field $K$ is a locally compact, metrizable topological ring which is complete with respect to any invariant metric on $\mathbb A_K$. For a fixed global field $F$ and a possibly infinite algebraic…

Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$.…

Let $\mathbf{K}$ be an algebraically closed field of arbitrary characteristic, complete with respect to a non-archimedean absolute value $|\,|$. We establish a Second Main Theorem type estimate for analytic map $f\colon…

A henselian valued field $K$ is called separably tame if its separable-algebraic closure $K^{\operatorname{sep}}$ is a tame extension, that is, the ramification field of the normal extension $K^{\operatorname{sep}}|K$ is…

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…

We prove that for any isomorphism $h: \mathcal{K}_1 \to \mathcal{K}_2$ between pure union-closed families, there exists a hyperisomorphism $H: \bigcup \mathcal{K}_1 \to \bigcup \mathcal{K}_2$ such that $h(A) = \{ H(a) \mid a \in A \}$, for…

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct…

Let X be a complex nonsingular affine algebraic variety, K a holomorphically convex subset of X, and Y a homogeneous variety for some complex linear algebraic group. We prove that a holomorphic map f:K-->Y can be uniformly approximated on K…