Antichains and measure-preserving actions on Boolean algebras - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:23:22Z http://mathoverflow.net/feeds/question/76422 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/76422/antichains-and-measure-preserving-actions-on-boolean-algebras Antichains and measure-preserving actions on Boolean algebras Colin Reid 2011-09-26T13:27:41Z 2011-10-19T21:51:55Z <p>Let $G$ be a group of automorphisms of the countable atomless Boolean algebra $B$. Suppose that every orbit of $G$ on $B$ is an antichain. Does it follow that $G$ preserves a non-zero (probability) measure on $B$?</p> <p>Does the answer change if we extend $B$ to some complete or $\sigma$-complete algebra, and the action of $G$ extends to one in which orbits are still antichains?</p> <p>I'm also interested in group actions that satisfy a very different condition: $G$ is a group such that for some (all) $a \in B \setminus {0,1}$ and for all $b \in B \setminus {0,1}$ there is some $g \in G$ such that $ga &lt; b$. Do such actions have a name and has anything been proved about them (or about groups that have such actions)?</p> <p>Edit: To clarify, by 'antichain' I just mean a set of pairwise incomparable elements. I didn't know about the stronger meaning used by set theorists. For what it's worth I am mainly interested in using actions to understand algebraic properties of the group $G$, so I probably don't need to consider any exotic algebras of the kind set theorists would find interesting; the most obvious examples, such as the countable atomless Boolean algebra or the standard Borel $\sigma$-algebra, are probably good enough. I definitely do not want to assume that $G$ is the whole automorphism group, however.</p> http://mathoverflow.net/questions/76422/antichains-and-measure-preserving-actions-on-boolean-algebras/76427#76427 Answer by Joel David Hamkins for Antichains and measure-preserving actions on Boolean algebras Joel David Hamkins 2011-09-26T15:03:09Z 2011-09-26T15:03:09Z <p>Regarding the question is your last paragraph, there is the following often-studied but not-quite-equivalent-to-your property:</p> <ul> <li>A Boolean algebra $\mathbb{B}$ is <em>almost homogeneous</em> if for every nonzero $a,b\in\mathbb{B}$ there is an automorphism $\pi$ with $0\lt \pi(a)\wedge b$. Similarly, a group $G$ acts almost homogeneously if such $\pi$ can be found in $G$. This concept is also applied to partial orders in the natural way.</li> </ul> <p>This is a weakening of your property, but it turns out to be critically important in the forcing context, since the theory forced by an almost homogeneous Boolean algebra does not depend on the generic filter. </p> http://mathoverflow.net/questions/76422/antichains-and-measure-preserving-actions-on-boolean-algebras/76433#76433 Answer by Juris Steprans for Antichains and measure-preserving actions on Boolean algebras Juris Steprans 2011-09-26T16:56:03Z 2011-09-26T16:56:03Z <p>I think the answer to first part of your question is affirmative. Begin by noting that the requirement on the automorphism $\Phi$ that all orbits are antichains implies that $\Phi^2$ is the identity. To see this suppose $\Phi$ is an automorphism acting on $B$ and let $a\in B$ be such that $\Phi(a) \neq a$. Since every orbit is an antichain, it must be that $a\cap \Phi(a) = \emptyset$. But now $\Phi(a\cup \Phi(a)) = \Phi(a)\cup \Phi(\Phi(a))$ and hence the orbit of $a\cup \Phi(a)$ is not an antichain unless $\Phi^2(a) = a$.</p> <p>Now construct the probability measure $\mu$ by choosing $a_0\in B$ such that $\Phi(a_0)\neq a_0$ (and hence $\Phi(a_0)\cap a_0 = \emptyset$). It follows that if $b_0$ is the complement of $a_0\cup\Phi(a_0)$ then $\Phi(b_0) = b_0$ because $$\emptyset = \Phi(b_0\cap (a_0\cup\Phi(a_0))) = \Phi(b_0)\cap (\Phi(a_0)\cup\Phi^2(a_0)) = \Phi(b_0)\cap (\Phi(a_0)\cup a_0)$$ and hence $\Phi(b_0)\cap b_0\neq \emptyset$ --- so the antichain property yields that $\Phi(b_0) = b_0$. Let $\mu(a_0) = \mu(\Phi(a_0)) = 1/2$. So $\mu(b_0) = 0$ and this much of $\mu$ is preserved by $\Phi$. </p> <p>Next choose a partition of $a_0$ into disjoint sets $a_{0,0}$ and $a_{0,1}$ and let $\mu(a_{0,i} )= \mu(\Phi(a_{0,i})) = 1/4$ Continuing in this spirit will define a probability measure on $B$ that is $\Phi$ invariant. </p> http://mathoverflow.net/questions/76422/antichains-and-measure-preserving-actions-on-boolean-algebras/76437#76437 Answer by Emil Jeřábek for Antichains and measure-preserving actions on Boolean algebras Emil Jeřábek 2011-09-26T17:30:23Z 2011-09-26T17:30:23Z <p>This is a follow-up to Juris’ answer, but it is a bit too long for a comment.</p> <p>There is in fact no nontrivial group $G$ of automorphisms of $B$ such that all orbits are antichains, where $B$ is any Boolean algebra with more than $4$ elements.</p> <p>Assume for contradiction that $f\in G$ is not the identity. If $a$ is any element of $B$ such that $f(a)\ne a$, then $a\land f(a)=0$ as the orbit of $a$ is an antichain; the orbit of $-a$ is also an antichain, hence $-a\land-f(a)=0$, which together imply $f(a)=-a$. Assume there is $b\in B$ such that $f(b)=b$ and $b\ne0,1$. Then $f(a\lor b)=-a\lor b$, but on the other hand we already know $f(a\lor b)\in\{a\lor b,-(a\lor b)\}$, which is easily seen to imply $b=1$ or $b=0$, a contradiction. Thus, $f(b)=-b$ for every $b\ne0,1$. However, this means that $f$ is order-reversing on $B\smallsetminus\{0,1\}$, whereas being an isomorphism, it is also order-preversing. This is a contradiction as long as we can find $0&lt; a&lt; b&lt; 1$ in $B$, which we always can if $|B|>4$.</p> http://mathoverflow.net/questions/76422/antichains-and-measure-preserving-actions-on-boolean-algebras/78616#78616 Answer by Ramiro de la Vega for Antichains and measure-preserving actions on Boolean algebras Ramiro de la Vega 2011-10-19T21:29:39Z 2011-10-19T21:51:55Z <p>I think the answer to your question is <em>yes</em> when $G$ is finite, but I guess this is way too restrictive (since the condition on the orbits would be automatically true in that case).</p> <p>This doesn´t answer your question either, but since you are "mainly interested in using actions to understand algebraic properties of the group $G$", you might want to take a look at the paper "<em>Free continuous actions on zero-dimensional spaces</em>" which you can find at one of the authors´ <a href="http://www.math.ucla.edu/~greg/" rel="nofollow">webpage</a>. Among other things it is shown that <strong>any</strong> countable group acts freely on a Cantor space (and hence on the countable atomless Boolean algebra $B$) with an action that admits an invariant probability measure.</p>