Essential connectedness and the rigidity problem for Gaussian symmetrization

Abstract

We provide a geometric characterization of rigidity of equality cases in Ehrhard's symmetrization inequality for Gaussian perimeter. This condition is formulated in terms of a new measure-theoretic notion of connectedness for Borel sets, inspired by Federer's definition of indecomposable current, and of possible broader interest.