Related papers: Invariant types in NIP theories

We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result…

We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p…

We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…

We introduce the natural notion of (p,q)-harmonic morphisms between Riemannian manifolds. This unifies several theories that have been studied during the last decades. We then study the special case when the maps involved are…

We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

We investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique…

In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.

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.

Spaces of quasi-invariant measures supplied with different topologies are studied. Their embeddings, projective decompositions, conditions for their metrizability are investigated. Theorems about convergence of nets of quasi-invariant…

We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.

We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on…

In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple…

We express the reduction types of Picard curves in terms of tropical invariants associated to binary quintics. We also give a general framework for tropical invariants associated to group actions on arbitrary varieties. The problem of…

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

Differential $p$-forms and $q$-vector fields with constant coefficients are studied. Differential $p$-forms of degrees $p=1,2,n-1,n$ with constant coefficients on a smooth $n$-dimensional manifold $M$ are characterized. In the contravariant…

In this paper, we will use the normalized intetral Ricci curvature to investigate Liouville type property of $ p $ harmonic function on Riemannian manifold. secondly, we will use the BiRic curvature to obtian Liuville theorem for $ p $…

We introduce a notion of retraction between continuous maps of topological spaces and study the behavior of several numerical invariants under such retractions. These include (co)homological dimensions, the Lusternik-Schnirelmann category,…

We initiate a systematic study of the convolution operation on Keisler measures, generalizing the work of Newelski in the case of types. Adapting results of Glicksberg, we show that the supports of generically stable (or just definable,…

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…