  The scaling dimensions of charged operators in conformal field theory were
recently computed in a large charge expansion. We verify this expansion in a
dual AdS model. Specifically, we numerically construct solitonic boson star
solutions of Einstein-Maxwell-Scalar theory in AdS$_4$ and find that its mass
at large charge reproduces the universal form of the lowest operator dimension
in the large U(1) charge sector of the dual 2+1 dimensional CFT.
