Correlation inequalities for multicomponent rotators

A recent approach to G.H.S. and Lebowitz inequalities is used to prove Griffiths' second inequality for 3 and 4 component models (e.g. Classical Heisenberg model, ||⁴ Euclidean fields). Applications include monotonicity of the mass gap in the external field, and two-sided inequalities between parallel and transverse correlations.