QED representation for the net of causal loops

The present work tackles the existence of local gauge symmetries in the setting of Algebraic Quantum Field Theory (AQFT). The net of causal loops, previously introduced by the authors, is a model independent construction of a covariant net of local C*-algebras on any 4-dimensional globally hyperbolic space-time, aimed to capture structural properties of any reasonable quantum gauge theory. Representations of this net can be described by causal and covariant connection systems, and local gauge transformations arise as maps between equivalent connection systems. The present paper completes these abstract results, realizing QED as a representation of the net of causal loops in Minkowski space-time. More precisely, we map the quantum electromagnetic field Fμν, not free in general, into a representation of the net of causal loops and show that the corresponding connection system and the local gauge transformations find a counterpart in terms of Fμν.