Lecture notes in loop quantum gravity. LN2: Cauchy problems and pre-quantum states

We discuss the structure of covariant equations, relating analytical properties of solutions to algebraic properties of the corresponding differential operator, specifically of its principal symbol. The principal symbol and its globality are discussed for a general quasi-linear PDE system, regardless of the algebraic structure the configuration space can have. We also discuss how the typical relativistic model can be under-determined and over-determined at the same time as well as how one can define out of it a well-posed Cauchy problem. This issue leads us to pre-quantum configurations and Cauchy bubbles as the way to set up evolution problems in a compact region of spacetime, taking into account that relativistic models are defined on bare manifolds. The typical application we shall sketch is standard GR.