So once more for the people at the back:
Public sector pensions are based on defined benefits, so your pension statement never shows you what has been put in; it shows you what, on the basis of the contributions which have been made, what your annual pension payment would be as of now. Talking about a total value of the pot is meaningless as those apply to defined contribution schemes.
You will also have the option of taking a lump sum, which is tax free up to a certain percentage.
Your statement no longer includes a projection of what your pension might be worth when you retire, but if in the PCSPS, you can do this calculation on the website (whatever the new one under Capita is called, used to be MyCPS until just now).
On the basis of what the OP says about her length of contributions into Alpha (presumably Nuvos before the introduction of Alpha) the £9k annually sounds about right.
OP - there will be guidance with your statement - all the stuff on the reverse of the main pages - explaining exactly what the statement does and doesn’t mean.
You can also find loads of info of the scheme website, which has useful videos etc explaining how it all works.