Related papers: Local character of Kim-independence

The supersingular locus in the fiber at p of a Shimura variety attached to a unitary similitude group GU(1,n-1) over Q is uniformized by a formal scheme \Cal N. In the case when p is inert, we define special cycles Z(x) in \Cal N,…

Given a continuous, odd, semi-simple $2$-dimensional representation of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$ and a prime $\ell$ not dividing $Np$, we study the relation between the universal deformation rings of…

We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP$_1$-like and non-simple, a…

Let $G$ be a torus and $M$ a compact Hamiltonian $G$-manifold with finite fixed point set $M^G$. If $T$ is a circle subgroup of $G$ with $M^G=M^T$, the $T$-moment map is a Morse function. We will show that the associated Morse…

In this paper we study possibilities of efficient reasoning in combinations of theories over possibly non-disjoint signatures. We first present a class of theory extensions (called local extensions) in which hierarchical reasoning is…

We provide a partial answer to a question asked independently by Kim and d'Elb\'ee and show that, under the assumption of the stable Kim-forking conjecture, every $\mathrm{NSOP}_1$ rosy theory must be simple. We also prove that the theory…

For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.

We construct approximately local observables, or "overlapping qubits", using non-isometric maps and show that processes in local effective theories can be spoofed with a quantum system with fewer degrees of freedom, similar to our…

The theme of the first two sections, is to prepare the framework of how from a "complicated" family of index models I in K_1 we build many and/or complicated structures in a class K_2. The index models are characteristically linear orders,…

We provide an alternative proof of a (local) T1 theorem for dual exponents in the non-homogeneous setting of upper doubling measures. This previously known theorem provides necessary and sufficient conditions for the L^p-boundedness of…

It is conjectured that if k is an algebraically closed field of characteristic p > 0, then any branched G-cover of smooth projective k-curves where the "KGB" obstruction vanishes and where a p-Sylow subgroup of G is cyclic lifts to…

Let $k$ be a $d$-local field such that the corresponding $1$-local field $k^{(d-1)}$ is a $p$-adic field and $C$ a curve over $k$. Let $K$ be the function field of $C$. We prove that for each $n,m \in \mathbf{N}$, and hypersurface $Z$ of…

The necessity of a theory of General Topology and, most of all, of Algebraic Topology on locally finite metric spaces comes from many areas of research in both Applied and Pure Mathematics: Molecular Biology, Mathematical Chemistry,…

We discuss the dynamics of $n$-expansive homeomorphisms with the shadowing property defined on compact metric spaces. For every $n\in\mathbb{N}$, we exhibit an $n$-expansive homeomorphism, which is not $(n-1)$-expansive, has the shadowing…

Let K be a knot in the 3-sphere. A slope p/q is said to be characterising for K if whenever p/q surgery on K is homeomorphic, via an orientation-preserving homeomorphism, to p/q surgery on another knot K' in the 3-sphere, then K and K' are…

For a family F (a collection of subsets of Z_+), the notion of F-independence is defined both for topological dynamics (t.d.s.) and measurable dynamics (m.d.s.). It is shown that there is no non-trivial {syndetic}-independent m.d.s.; a…

Let $S$ be a compact orientable surface, and $\Mod(S)$ its mapping class group. Then there exists a constant $M(S)$, which depends on $S$, with the following property. Suppose $a,b \in \Mod(S)$ are independent (i.e., $[a^n,b^m]\not=1$ for…

We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$…

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

We review some recently published methods to represent atomic neighbourhood environments, and analyse their relative merits in terms of their faithfulness and suitability for fitting potential energy surfaces. The crucial properties that…