The Faddeev–Popov trick in the presence of boundaries

We formulate criteria of applicability of the Faddeev–Popov trick to gauge theories on manifolds with boundaries. With the example of Euclidean Maxwell theory we demonstrate that the path integral is indeed gauge independent when these criteria are satisfied, and depends on a gauge choice whenever these criteria are violated.