We formulate part VI of a rigorous theory of ground states for classical, finite, Heisenberg spin systems. After recapitulating the central results of the parts I -V previously published we consider a magnetic field and analytically calculate the susceptibility at the saturation point. To this end we have to distinguish between parabolic and non-parabolic systems, and for the latter ones between two-and three-dimensional ground states. These results are checked for a couple of examples.
I. INTRODUCTIONThe ground state of a spin system and its energy represent valuable information, e. g., about its low temperature behaviour. Most research approaches deal with quantum systems, but also the classical limit has found some interest and applications, see, e. g., [1] -[16]. For classical Heisenberg systems, including Hamiltonians with a Zeeman term due to an external magnetic field, a rigorous theory has been recently established [17] -[22] that yields, in principle, all ground states. However, two restrictions must be made: (1) the dimension m of the ground states found by the theory is per se not confined to the physical case of m ≤ 3, and (2) analytical solutions will only be possible for special couplings or small numbers N of spins. A first application of this theory to frustrated systems with wheel geometry has been given in [23] and [24].The purpose of the present paper is to give a concise review of the central results of [17] -[22] and to apply the methods outlined there to describe the magnetic behaviour of a spin system subject to a magnetic field close to the saturation point. For each field larger than the saturation field B sat all spins will point into the direction of the field (or opposite the direction, depending on the sign of the Zeeman term), but for values of B slightly below B sat the spins will form an "umbrella" with infinitesimal spread, see, e. g., Figure 9. It is an obvious goal to calculate that umbrella in lowest order w. r. t. some sensible expansion parameter t. Another physically interesting property in this connection would be the saturation susceptibility χ 0 , that is the limit of the susceptibility for B ↑ B sat . Note that numerical calculations close to the saturation point are difficult and do not yield precise estimates for the spin system's behaviour in lowest order.In order to investigate the reaction of the spin system to magnetic fields near the saturation point, some case distinctions prove to be necessary. According to the general theory outlined in [17] -[22] the various ground states can be obtained by means of linear combinations of eigenvectors of a so-called dressed J-matrix corresponding to its minimal eigenvalue. The first case distinction refers to whether the ground state at the saturation point is essentially unique (non-parabolic case) or not (parabolic case). In the parabolic case the minimal energy E will be a quadratic function of the magnetization M (hence the name) and consequently the susceptibility will be constant for a certain domain. In the non-parabo...