Moduli of connections on open varieties

This is a join work with T. Pantev. In this talk, we will discuss moduli of flat bundles on smooth algebraic varieties, with possibly irregular singularities at infinity. For this, we use the notion of ''formal boundary'', previously studied by Ben Bassat-Temkin, Efimov and Hennion-Porta-Vezzosi, as well as the moduli of flat bundles at infinity. We prove that the fibers of the restriction map to infinity are representable. We also prove that this restriction map has a canonical Lagrangian structure in the sense of shifted symplectic geometry.