1: \begin{abstract}

2: First we introduce a basic geometric-categorical notion of a smooth simplicial set. Loosely, this is to Chen/diffeological spaces of

3: Chen-Souriau as simplicial sets are to spaces.

4: Given a Frechet Lie group $G$, and a chosen

5: Grothendieck universe $\mathcal{U} $ of a certain type,

6: we give a new (as just a topological space) construction of a classifying space of $G$: $|BG ^{\mathcal{U} }|$, so that $BG ^{\mathcal{U}

7: }$ has the structure of a smooth Kan complex.   When $G$ in addition has the homotopy type of CW complex, there is a

8: homotopy equivalence $BG \simeq |BG ^{\mathcal{U} }|$,

9: where $BG$ is the usual Milnor classifying

10: space. This leads to our main application 

11: that for $G$ an infinite dimensional Lie group, having the

12: homotopy type of CW complex, there is a universal

13: Chern-Weil homomorphism:

14: \begin{equation*}

15:    \mathbb{R} [\mathfrak g] ^{G}  \to H ^{*} (BG,

16:    \mathbb{R}),

17: \end{equation*}  

18: satisfying naturality, and generalizing the 

19: classical Chern-Weil homomorphism  for finite 

20: dimensional Lie groups. As one basic example we give a full 

21: statement and proof of Reznikov's conjecture, which in particular gives an elementary 

22: proof of a theorem of Kedra-McDuff, on the  

23: topology of $BHam (\mathbb{CP} ^{n} ) $. We also 

24: give a construction of the universal coupling 

25: class for all possibly non-compact symplectic manifolds.

26: % Other 

27: % applications have to do with the action of $Ham 

28: % (M,  \omega) $ on the Fukaya category of a 

29: % symplectic manifold.     %    Another application is for the formulation of

30: % a kind of ``quantum Chern-Weil'' theory for $Ham (M,\omega)$, the group of

31: %    Hamiltonian symplectomorphisms of a symplectic

32: %    manifold.

33: \end{abstract}