I am not an expert in Lie theory, but the following are some basic answers to your questions. All the material I use here comes from Humphrey's text 'Representations of semisimple Lie algebras in the BGG category $\mathcal{O}$'
First, there are two Harish-Chandra homomorphisms
- defined by restricting the canonical projection $\mathrm{pr}:U(\mathfrak{g})\to U(\mathfrak{h})$ onto $Z(\mathfrak{g})$
- 'twisted version' (which is the more useful one) which takes into account of the dot-action, and with a better range, denote $\psi:Z(\mathfrak{g})\to S(\mathfrak{h})$
Again I have to stress I am not expert in this field so in the literature, they may already assume we always talk about the twisted one; and this is the one I assume you are using here.
Harish-Chandra Theorem:
- $\psi: Z(\mathfrak{g}) \simeq S(\mathfrak{g})^W$
- For all $\lambda,\mu\in\mathfrak{h}^*$, the central characters $\chi_\lambda=\chi_\mu \Leftrightarrow \mu = w\cdot \lambda$ for some $w\in W$
- Every central character $\chi:Z(\mathfrak{g})\to \mathbb{C}$ is of the form $\chi_\lambda$ for some $\lambda$.
Just to make sure our terminology matches up. When I read highest weight module (of weight $\lambda$), I assume you mean objects of the category $\mathcal{O}$ such that we have a maximal vector with weight $\lambda$ where $\mathfrak{n}$ acts as zero.
Let suppose $V_\lambda$ be highest weight module of highest weight $\lambda$, but NOT necessarily finite dimensional, then the answer to your first question ($V_\lambda \simeq V_\mu \Leftrightarrow \chi_\lambda=\chi_\mu$) is false. Some obvious examples are the Verma modules $M(\lambda) = U(\mathfrak{g})\otimes_{U(\mathfrak{b})}\mathbb{C}_\lambda$ where $\mathbb{C}_\lambda$ is the trivial character (representation) corresponding to weight $\lambda$ of the universal enveloping algebra of Borel subalgebra $\mathfrak{b}=\mathfrak{h}\oplus \mathfrak{n}$. Each $M(\lambda)$ is highest weight module of weight $\lambda$, and we can still have $\chi_\lambda=\chi_\mu \Rightarrow M(\lambda) \not\cong M(\mu)$. (cf Jyrki Lahtonen's comment under your question)
On the other hand, if we really restricts $V_\lambda$ to be finite dimensional (this actually impose a great restriction on the choice of $\lambda$ and $\mu$), then by my discussion with Matt below, who have pointed out there is at most one finite dimensional irreducible module in each block of category $\mathcal{O}$, we have $\chi_\lambda=\chi_\mu \Leftrightarrow V_\lambda = V_\mu$ is true IF $V_\lambda$ and $V_\mu$ are irreducibles; and in this case $\lambda =\mu$. Nevertheless, if you just need condition "finite dimensional" rather than "finite dimensional irreducible", then a counterexample is $V_\lambda = L(\lambda)\oplus L(\lambda)$ and $V_\mu = L(\mu) = L(\lambda)$. Both of these modules has central characters $\chi_\lambda$, but they are obviously not isomorphic.
My answer to your main question (application of Harish-Chandra Theorem) is the following. It breaks down weights into linkage classes, the amazing effect is the linkage class coincide with what we call a "block" in representation theory; the concept of blocks is well-defined for (abelian) category as well, if you think of a category as presented to you as a graph with vertices as (indecomposable) objects and directed arrows representing (indecomposable) morphisms, you can think of a block as the connected component of this graph. So the main corollary of Harish-Chandra theorem is $ \mathcal{O}=\bigoplus_{\chi \text{ central character}}\mathcal{O}_{\chi}=\bigoplus_{\lambda \in \mathfrak{h}^\times/W\cdot}\mathcal{O}_{\lambda} $ where each indecomposable $U(\mathfrak{g})$-module lie in exactly one of $\mathcal{O}_{\lambda}$.
This really is a major reduction in studying category $\mathcal{O}$, because if we want to look at anything homological, we can concentrate back into each individual block. And we can study these blocks using finite dimensional algebras (due to the fact that each block has finitely many isomorphism classes of simple modules)! Hope this helps.