Question

I hope I am forgiven for my noob question. But, does it make sense to think of Julia sets using other fields? More precisely I would like to think of fields in which closed and bounded isn't necessarily a compact set. I am not sure what this will give us, but some results that we know in complex numbers wouldn't hold (e.g. will the Julia sets and the filled Julia sets still remain compact and nonempty?).

Answer 1

As noted, $\mathbb{Q}_p$ and its finite extensions are locally compact, but the Julia set is often empty. Indeed, in this case that the Fatou set is always non-empty, another difference from the compact case. However, since $\mathbb{Q}_p$ isn't algebraically closed, one might best compare dynamics over $\mathbb{Q}_p$ as being analogous in some ways to dynamics over $\mathbb{R}$. So the analogue of $\mathbb{C}$ is $\mathbb{C}_p$, the completion of the algebraic closure of $\mathbb{Q}_p$. Unfortunately, $\mathbb{C}_p$ is not locally compact (and of course, totally disconnected), so one can't use measure-theoretic arguments. For example, it's not easy to make sense of equidistribution. The modern solution is to instead look at Berkovich space. This is a locally compact and connected space that includes $\mathbb{P}^1(\mathbb{C}_p)$ as a sort of boundary. A good introduction to Berkovich spaces is listed below. And in Berkovich space over $\mathbb{C}_p$, we're back to the situation where the Julia set is always non-empty.

I'll mention one other interesting difference between the complex and $p$-adic cases. A famous theorem of Sullivan says that a rational map has no wandering domains in $\mathbb{P}^1(\mathbb{C})$. In opposition to this, Benedetto has constructed rational maps that do have wandering domains in $\mathbb{P}^1(\mathbb{C}_p)$. However, it is not known if wandering domains can exist in $\mathbb{P}^1(\mathbb{Q}_p)$.

• Baker, Matthew; Rumely, Robert, Potential theory and dynamics on the Berkovich projective line. Mathematical Surveys and Monographs, 159. American Mathematical Society, Providence, RI, 2010

Answer 2

When you say "other fields", I assume that you're thinking that $\mathbb{C}$ is where "ordinary" Julia sets live. If you're interested only in Julia sets of polynomials (over $\mathbb{C}$) then that's not a bad point of view. On the other hand, if you're interested in Julia sets of rational functions (over $\mathbb{C}$) then the ambient space that you're working with is really $\mathbb{C} \cup \{\infty\}$, the Riemann sphere. Of course, this isn't a field at all.

If you have a look at Milnor's book Dynamics in One Complex Variable, you'll see Julia sets developed not for arbitrary fields, but for arbitrary Riemann surfaces. So, the general situation is that you have a Riemann surface $X$ and a holomorphic map $f: X \to X$; any such $f$ has an associated Julia set $J(f) \subseteq X$. Taking $X$ to be the Riemann sphere, this means that $f$ is a rational function and $J(f)$ is the "ordinary" Julia set.

Answer 3

You may also construct Julia sets in the Quanternions $\mathbb{H}$. I guess that not all results about the Julia sets in $\mathbb{C}$ hold since this algebra is not kommutativ. I am sorry not to know details, but a think there are paper..