Countably tight dual ball with a nonseparable measure

We construct a compact Hausdorff space $K$ such that the space $P\left(K\right)$ of Radon probability measures on $K$ considered with the ${\text{weak}}^{\ast }$ topology (induced from the space of continuous functions $C\left(K\right)$) is countably tight that is a generalization of sequentiality (i.e., if a measure $\mu$ is in the closure of a set $M$, there is a countable $M^{\prime }\subseteq M$ such that $\mu$ is in the closure of $M^{\prime }$) but $K$ carries a Radon probability measure that has uncountable Maharam type (i.e., $L_1\left(\mu \right)$ is nonseparable). The construction uses (necessarily) an additional set-theoretic assumption (the $◇$ principle) as it was already known, by a result of Fremlin, that it is consistent that such spaces do not exist. This should be compared with the result of Plebanek and Sobota who showed that countable tightness of $P(K\times K)$ implies that all Radon measures on $K$ have countable type. So, our example shows that the tightness of $P(K\times K)$ and of $P\left(K\right)\times P\left(K\right)$ can be different as well as $P\left(K\right)$ may have Corson property (C), while $P(K\times K)$ fails to have it answering a question of Pol. Our construction is also a relevant example in the general context of injective tensor products of Banach spaces complementing recent results of Avilés, Martínez-Cervantes, Rodríguez, and Rueda Zoca.