Related papers: Invariant types in NIP theories

We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to…

In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…

In this paper, we define the notions $q$-birational morphism and $q$-birational divisor and develop the theory about them. We state and prove versions of Kodaira-type vanishing theorem and Zariski decomposition theorem for $q$-birational…

We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination…

We describe Mui invariants in terms of Milnor operations and give a simple proof for Mui's theorem on rings of invariants of polynomial tensor exterior algebras with respect to the action of finite general linear groups. Moreover, we…

We give a survey on higher invariants in noncommutative geometry and their applications to differential geometry and topology.

Let $(M,g)$ be an incomplete Riemannian manifold of finite volume and let $2\leq p<\infty$. In the first part of this paper we prove that under certain assumptions the inclusion of the space of $L^p$-differential forms into that of…

A Liouville-type result for the p-Laplacian on complete Riemannian manifolds is proved. As an application are present some results concerning complete non-compact hypersurfaces immersed in a suitable warped product manifold.

We consider indecomposable representations of the Klein four group over a field of characteristic $2$ and of a cyclic group of order $pm$ with $p,m$ coprime over a field of characteristic $p$. For each representation we explicitly describe…

We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for $\mathrm{NIP}$…

In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of "generic stability" in arbitrary theories. Among other things, we show that the standard definition of generic…

In this paper, we introduce the concept of P-difference varieties and study the properties of toric P-difference varieties. Toric P-difference varieties are analogues of toric varieties in difference algebra geometry. The category of affine…

The notion of a $v$-palindrome is recently introduced by the author. Later, the author defined the notion of the type of a $v$-palindrome $n$ with respect to a number $m$ which can be repeatedly concatenated to form $n$. We prove that this…

We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples…

This technical report investigates Kripke-style modal type theories, both simply typed and dependently typed. We examine basic meta-theories of the type theories, develop their substitution calculi, and give normalization by evaluation…

Given a pivotal module category over a spherical fusion category, we introduce the encircling module, a module over the fusion algebra defined using the pivotal structure, and prove that it is isomorphic to the NIM-rep as a fusion algebra…

Assume a complete superstable theory is superstable, and let P be a class of regular types, typically closed under automorphisms of the monster and non-orthogonality. We define the notion of P-NDOP and prove the existence of…

We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a…

In this paper we propose a theory of contact invariants and open string invariants, which are generalizations of the relative invariants. We introduce two moduli spaces $\bar{\mathcal{M}}_{A}(M^{+},C,g,m+\nu,{\bf y},{\bf…

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…