Seminarium KMMF "Teoria Dwoistości"

I give a mathematical treatment of the timelike reduction of Abeliangauge theories (considered in their manifestly duality-covariantformulation) on a three-manifold of arbitrary topology. In particular, I describe the set of gauge-equivalence classes of dual Abelian Higgspairs in the general case when the naive reduction procedure fails toproduce an equivalence due to the presence of Wilson lines of thereduced gauge field. This clarifies some subtleties involved in thegeneral construction of supergravity c-maps.