Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind which - by $M$. More precisely, for a function $f$ on $X$, define
$$ Mf(x) := \sup\_{B \ni x} \frac{1}{\mu(B)} \int\_B f(y) \; dy,$$
with the supremum taken over either all balls centred at $x$ or over all balls containing $x$.


There are plenty of theorems of the form 'suppose $(X,d,\mu)$ has property A. Then $M$ is of weak-type (1,1)', (for example, property $A$ could be '$(X,d,\mu)$ is doubling') thus implying that $M$ is bounded on $L^p(X)$ for $1 < p \leq \infty$ (since $L^\infty$ boundedness of $M$ is always obvious).


I'm interested in the converse. What is an example of a space $(X,d,\mu)$ is *not* of weak-type (1,1)? And how would one go about proving such a result?


Further, if there are any spaces with $M$ not of weak-type (1,1), do we still have $L^p$ boundedness for any $p > 1$?



For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?
Such counterexamples are known. For instance, [P. Sjögren has shown](http://www.jstor.org/stable/2374340) that the associated uncentered maximal to the $2$-dimensional Gaussian measure on $\mathbb{R}^2$ isn't weak type $(1,1)$. In a later paper, [Forzani, Scotto, Sjögren and Urbina](http://www.ams.org/journals/proc/2002-130-01/S0002-9939-01-06156-1/home.html) showed that this operator is strong type $(p,p)$ for $p>1$.


A well-known problem in this area is to determine if the ball (with Lebesgue measure) in $\mathbb{R}^n$ satisfies a weak type $(1,1)$ bound with a constant independent of the dimension. Related to this, there are a number of constructions of infinite families of metric spaces with nice properties, but for which the weak type $(1,1)$ constant can't be taken independent of the space in the family. See, for instance, the section ``Lower bounds" (page 8) of this [paper of Naor and Tao](http://arxiv.org/abs/0912.1140) for some such constructions.


