5
$\begingroup$

I have a general-type question: Let $M$ be a countable structure that is ultrahomogeneous, i.e. every (partial) isomorphism between finitely generated substructures of $M$ extends to an automorphism of $M$. Also, let $\operatorname{Aut}(M)$ be the group of automorphisms of $M$ equipped with the pointwise convergence topology.

I want to know necessary and/or sufficient conditions under which $\operatorname{Aut}(M)$ preserves a linear ordering on $\mathbb{N}$, in the sense that $\operatorname{Aut}(M)$ preserves $(\mathbb{N},\prec)$ iff for every $n,m\in\mathbb{N}$ and for every $g\in \operatorname{Aut}(M)$, $$n\prec m\Leftrightarrow g(n)\prec g(m).$$

$\endgroup$
10
  • 3
    $\begingroup$ Conditions on $M$ or conditions on $\mathrm{Aut}(M)$? A necessary condition is that $\mathrm{Aut}(M)$ is torsion-free. $\endgroup$ Oct 31, 2011 at 17:06
  • $\begingroup$ Are you assuming that there already is a definable ordering in your setup and asking for conditions to have an infinite ascending chain, or are you asking about situations where you can prove that there is such a definable ordering? $\endgroup$ Oct 31, 2011 at 17:19
  • $\begingroup$ If you're interested in the usual ordering on $\mathbb N$, not a general one, then that happens if and only if, for each element, there is a formula that uniquely picks it out. $\endgroup$
    – Will Sawin
    Oct 31, 2011 at 18:13
  • 1
    $\begingroup$ @Will: I don’t think so. Let $M$ be $\mathbb Z$ (as a set) with all unary predicates of the form $x\equiv a\pmod b$ for natural numbers $0\le a< b$. Then every two elements of $M$ are distinguishable by an atomic formula, hence $M$ is ultrahomogeneous with a trivial automorphism group (in particular, it preserves whatever you please), but no element of $M$ is definable (because every reduct of $M$ to a finite language has a nontrivial automorphism, namely a suitable shift). $\endgroup$ Oct 31, 2011 at 18:39
  • 2
    $\begingroup$ Even more generally, if $g\in\mathrm{Aut}(M)$ and $a\in M$ are such that $g^n(a)=a$ for some $n>0$, then $g(a)=a$. If not, then WLOG $a\prec g(a)$. Since $g$ preserves $\prec$, we have $g^k(a)\prec g^{k+1}(a)$ for every $k< n$, which gives $a\prec g^n(a)=a$ by transitivity, a contradiction. $\endgroup$ Nov 2, 2011 at 10:47

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.