An alternate description of equivariant connections (Q1694869)

If \(G\) and \(K\) are arbitrary finite-dimensional Lie groups, \(M\) is a smooth finite-dimensional manifold with a \(G\)-action, then \(\text{Bun}_{G,\nabla}(M)\) is the groupoid of principal \(G\)-bundles with connection on \(M\). In this paper, the author considers a Lie group \(G\) acting on a manifold \(M\) and proves that the category of principal bundles with connection on the differential quotient stack is equivalent to the category of \(G\)-equivariant principal bundles on \(M\) with \(G\)-invariant connection. The author deals with all possible constructions \({\mathcal Q}_\nabla\) assigning to any \((P,\Theta)\in\text{Bun}_{G,\nabla}(X)\) together with a \(G\)-equivariant map \(P\overset{F} M\), a \(K\)-bundle with connection \({\mathcal Q}_\nabla(P,\Theta,F)\in\text{Bun}_{K,\nabla}(X)\). The collection of such constructions \({\mathcal Q}_\nabla\) naturally forms a category \(\text{Bun}_{K,\nabla}({\mathcal E}_\nabla G\times_GM)\) that is the groupoid of \(K\)-bundles with connection on the differential Borel quotient stack \({\mathcal E}_\nabla G\times_GM\). If \(G\text{-Bun}_{K,\nabla}(M)\) is the category of \(G\)-equivariant principal \(K\)-bundles on \(M\) with \(G\)-invariant connection, then the author shows that there is a natural equivalence of categories \(\text{Bun}_{K,\nabla}({\mathcal E}_\nabla G\times_GM)\cong G\text{-Bun}_{K,\nabla}(M)\).