Related papers: Large implies henselian

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the…

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on…

Given a field $k$ and a finite group $G$, the Beckmann--Black problem asks whether every Galois field extension $F/k$ with group $G$ is the specialization at some $t_0 \in k$ of some Galois field extension $E/k(T)$ with group $G$ and $E…

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

Roughly speaking, let us say that a map between metric spaces is large scale conformal if it maps packings by large balls to large quasi-balls with limited overlaps. This quasi-isometry invariant notion makes sense for finitely generated…

Let K be a field not of characteristic 2 such that every finite separable extension of K is cyclic. Let A be an abelian variety over K. If K is infinite, then A(K) is Zariski-dense in A. If K is not locally finite, the rank of A over K is…

We prove that, for all $\ell$ and $s$, every graph of sufficiently large tree-width contains either a complete bipartite graph $K_{s,s}$ or a chordless cycle of length greater than $\ell$.

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

Let $G$ be an algebraic group, $X$ a generically free $G$-variety, and $K=k(X)^G$. A field extension $L$ of $K$ is called a splitting field of $X$ if the image of the class of $X$ under the natural map $H^1(K, G) \mapsto H^1(L, G)$ is…

We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…

We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite…

We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…

Let $G$ be the fundamental group of a finite graph of groups with Noetherian edges and locally tame vertices. We prove that $G$ is locally tame. It follows that if a finitely presented group $H$ has a non-trivial $JSJ$-decomposition over…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Let $K$ be a Birch field, that is, a field for which every diagonal form of odd degree in sufficiently many variables admits a non-zero solution; for example, $K$ could be the field of rational numbers. Let $f_1, \ldots, f_r$ be homogeneous…

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…

We introduce the notion of the $k$-closure of a group of automorphisms of a locally finite tree, and give several examples of the construction. We show that the $k$-closure satisfies a new property of automorphism groups of trees that…

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…