Related papers: A definable $(p,q)$-theorem for NIP theories
We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…
Our aim is to precisely present a tame topology counterpart to canonical stratification of a Lie groupoid. We consider a definable Lie groupoid in semialgebraic, subanalytic, o-minimal over $\mathbb{R}$, or more generally, Shiota's…
We prove an interesting symmetric $q$-series identity which generalizes a result due to Ramanujan. A proof that is analytic in nature is offered, and a bijective-type proof is also outlined.
We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field
We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot…
We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…
As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself…
We prove a normal form theorem for Poisson structures around Poisson transversals (also called cosymplectic submanifolds), which simultaneously generalizes Weinstein's symplectic neighborhood theorem from symplectic geometry and Weinstein's…
In this article we extend a theorem of Andrews, Crippa, and Simon on the asymptotic behavior of polynomials defined by a general class of recursive equations. Here the polynomials are in the variable $q$, and the recursive definition at…
We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main…
We give sufficient conditions for a predicate P in a complete theory T to be stably embedded: P with its induced 0-definable structure has "finite rank", P has NIP in T and P is 1-stably embedded. This generalizes recent work by Hasson and…
Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we…
We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…
The aim of this paper is twofold. Firstly, we chatacterize the Besov spaces $\dot{B}_{p,q}(\mathbb{R}^{n},\{t_{k}\})$ and the Triebel-Lizorkin spaces $\dot{F}_{p,q}(\mathbb{R}^{n},\{t_{k}\})$ for $q=\infty $. Secondly, under some suitable…
Recently, various extensions and variants of Bessel functions of several kinds have been presented. Among them, the $(p,q)$-confluent hypergeometric function $\Phi_{p,q}$ has been introduced and investigated. Here, we aim to introduce an…
We use representation theory of the symmetric group S_n to prove Poisson limit theorems for the distribution of fixed points for three types of non-uniform permutations. First, we give results for the commutator of g and x where g and x are…
If the conformal holonomy group $Hol(\mathcal{T})$ of a simply connected space with conformal structure of signature $(2p-1,2q-1)$ is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group…
We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.
Niven's theorem asserts that $\{\cos(r\pi) \mid r\in \mathbb{Q}\}\cap \mathbb{Q}=\{0,\pm 1,\pm 1/2\}.$ In this paper, we use elementary techniques and results from arithmetic dynamics to obtain an algorithm for classifying all values in the…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…