Definition : A Topological space $\mathcal{D}$ is called noetherian if it satisfies the descending chain condition for closed subsets. We define the dimension of $\mathcal{D}$ to be the supremum of all integers n such that there exists a chain $C_{0}\subset C_{1}\subset\dots\subset C_{n}$ of distinct irreducible closed subsets of $\mathcal{D}$. This dimension is called Krull dimension. ($Kdim\mathcal{(D)}=n$).

Definition : Let $\varphi(\bar{x})$ be a formula with parameters in the monster model. We define the Morley rank of $\varphi(\bar{x})$ by indution as follow:

$MR(\varphi)\geq0$ if $\varphi(M)$ is nonempty;

$MR(\varphi)\geq\beta+1$ if there is an infinite family $(\varphi_{i}(\bar{x}))_{i\in\mathbb{N}}$ of formulas (in the same variables $\bar{x}$) which imply $\varphi$, are pairwise inconsistent and such that $MR(\varphi_{i})\geq\beta$ for all $i$;

$MR(\varphi)\geq \lambda$ (for a limit ordinal $\lambda$) if $MR(\varphi)\geq\beta$ for all $\beta<\lambda.$

(AF) Addition formula: For any irreducible $S\subseteq_{cl}U\subseteq_{op}D^{n}$ and a projection map $\pi:M^{n}\longrightarrow M^{m}$

$dim(S)=dim(\pi(S))+min\{ dim(\pi^{-1}(a)\bigcap S): a\in \pi(S)\}$

(FC) Fiber Condition : For any irreducible $S\subseteq_{cl}U\subseteq_{op}D^{n}$ and a projection map $\pi:M^{n}\longrightarrow M^{m}$ there exists $V\subseteq_{op}\pi(S)$ (relatively open) such that

$min\{ dim(\pi^{-1}(a)\bigcap S): a\in \pi(S)\}=dim(\pi^{-1}(a)\bigcap S)$, for any $a\in V$.

Question(1) : ِDoes Krull dimension have the (AF) and (FC) properties?

Question(2) : Does Morley Rank have the (AF) and (FC) properties?

Question(3) : let D be a Zariski geometry. Are Krull dimension and Morley rank equal in D ?

  • $\begingroup$ It's "Does X have property Y?" rather than your "Has X property Y?". The latter would be OK German grammar though :) $\endgroup$ Sep 4, 2013 at 0:40
  • $\begingroup$ Dear Dima, Thank you very much for your correction. $\endgroup$ Sep 7, 2013 at 7:16


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy