Related papers: On canonical bases and internality criteria
In this note a natural strengthening of internality motivated by complex geometry, being "Moishezon" to a set of types, is introduced. Under the hypothesis of Pillay's canonical base property, and using results of Chatzidakis, a criterion…
We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups…
This paper studies the CBP, a model-theoretic property first discovered by Pillay and Ziegler. We first show a general decomposition result of types of canonical bases, which one can think of as a sort of primary decomposition. This…
In \cite{HPP}, Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that $T$ has the canonical base property in a strong form, " internality to" being replaced by…
In this short note, we introduce a generalization of the canonical base property, called transfer of internality on quotients. A structural study of groups definable in theories with this property yields as a consequence infinitely many new…
We introduce a generalization of CM-triviality relative to a fixed invariant collection of partial types, in analogy to the Canonical Base Property defined by Pillay, Ziegler and Chatzidakis which generalizes one-basedness. We show that,…
We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is…
We first elaborate on the theory of relative internality in stable theories, focusing on the notion of uniform relative internality (called collapse of the groupoid in an earlier work of the second author), and relating it to orthogonality,…
For each natural number $n$, let $C^{(n)}$ be the closed and unbounded proper class of ordinals $\alpha$ such that $V_\alpha$ is a $\Sigma_n$ elementary substructure of $V$. We say that $\kappa$ is a \emph{$C^{(n)}$-cardinal} if it is the…
A canonical system of basic invariants is a system of invariants satisfying a set of differential equations. The properties of a canonical system are related to the mean value property for polytopes. In this article, we naturally identify…
The work considers an equivalence relation in the set of all $n\times m$ matrices with entries in the set $[p]=\{ 0,1,\ldots , p-1 \}$. In each element of the factor-set generated by this relation, we define the concept of canonical matrix,…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
Given physical systems, counting rule for their statistical mechanical descriptions need not be unique, in general. It is shown that this nonuniqueness leads to the existence of various canonical ensemble theories which equally arise from…
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property…
We prove the stability conjecture of $\imath$canonical bases, which was raised by Huanchen Bao and Weiqiang Wang in 2016, for all locally finite types. To this end, we characterize the trivial module over the $\imath$quantum groups of such…
Given a strong limit cardinal $\lambda$ of countable cofinality, we show that if every $\lambda$-coanalytic subset of the generalised Cantor space ${}^{\lambda}2$ has the $\lambda$-$\mathsf{PSP}$, then there is an inner model with…
In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the…
We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly…
Thoma's theorem states that a group algebra $C^*(\Gamma)$ is of type I if and only if $\Gamma$ is virtually abelian. We discuss here some similar questions for the quantum groups, our main result stating that, under suitable virtually…