Technical appendix to "Adaptive estimation of stationary Gaussian fields"

This is a technical appendix to "Adaptive estimation of stationary Gaussian fields". We present several proofs that have been skipped in the main paper.