Does convergence in probability imply convergence in total variation, if the sample space is countable?

This is not true. Note that, one can prove that on a countable probability space the convergence in probability is equivalent to convergence almost surely, e.g. see here.

Now regarding your first question: Your formula for the total variation distance is not right. You seem to confusing the random variables and the probability measure. Still, working with your quantities we had the following counterexample.

Let $\Omega = \Bbb N$,$\Bbb P \sim \text{Geo} (1/2)$ ($\Bbb P (\{\omega\}) = (1/2)^{\omega}$), $X = 0$, and $X_n (\omega ) = 1_{ \{n\}} (\omega)$.

Then we have

$$\frac 1 2 \sum_{\omega\in\Omega} \vert X_n ( \omega ) - X(\omega) \vert = \frac 1 2$$ for every $n\in\Bbb N$, but also for every $1 >\varepsilon > 0$ that $$\{\vert X_n - X \vert > \varepsilon \} = \{n\},$$ which implies $$\Bbb P (\vert X_n - X \vert > \varepsilon ) = \Bbb P (\{n\}) = \left(\frac 1 2 \right) ^n \to 0$$ as $n \to \infty$.

You can have the "total variation" distance between the random variables, but it is more a distance between their distributions.

The definition of the total variation would be

$$\sup_{A\in\mathcal F} \vert \Bbb P (X\in A ) - \Bbb P (X_n \in A) \vert$$

Then the negative answer to your question does not really depend on the probability space $\Omega$. Regardless of $\Omega$ any random variables with distributions $X_n \sim \delta_{1/n}$ will converge to $X=0$ in probability but not in total variation since:

$$\sup_{A\in\mathcal F} \vert \Bbb P (X\in A ) - \Bbb P (X_n \in A) \vert = \vert \Bbb P (X\in \{0\} ) - \Bbb P (X_n \in \{0\}) \vert = \vert 1 - 0\vert = 1$$


Total variation distance, $\newcommand{\dtv}{d_\text{TV}}\dtv$, is not defined between random variables, it is defined between measures on a common measure space. This is mostly a technicality, since you can simply $\dtv(X,Y)$ for random variables $X$ and $Y$ to be $\dtv(\mu_X,\mu_Y)$, where $\mu_X$ and $\mu_Y$ are the measures on the real line for $X$ and $Y$.

However, there is a bigger problem; you formula for $\dtv$ is not correct! That is, $$ \dtv(X,Y)\neq \frac12\sum_{\omega\in \Omega}|X(\omega)-Y(\omega)| $$ As a simple example, let $X$ be a die roll, and let $Y=7-X$. Note that $X$ and $Y$ are equal in distribution, so $\dtv(X,Y)$ must be zero. However, the sum above is not zero.

You might have been thinking of this formula: if $X$ and $Y$ are integer valued, then it can be proved that $$ \dtv(X,Y)=\frac12\sum_{k\in \Bbb Z}|P(X=k)-P(Y=k)| $$


Now, back to your question. It is indeed not the case that $X_n\stackrel{{P}}\to X$ implies $X_n\stackrel{TV}\to X$. For a counterexample, you can use constant random variables: $$ X_n=\frac1n,\qquad X=0 $$