Symbol calculus for Gevrey pseudodifferential operators and adiabatic projectors

We construct a parametrix of an elliptic Gevrey pseudodifferential operator, by introducing a family of norms for formal Gevrey symbols with the property of a Banach algebra under the symbol calculus. As an application, we obtain exponential estimates for adiabatic projectors in the Gevrey setting.