Monge-Ampère measures on contact sets
Let (X,ω) be a compact Kähler manifold of complex dimension n and θ be a smooth closed real (1,1)-form on X such that its cohomology class {θ}∈H1,1(X,R) is pseudoeffective. Let φ be a θ-psh function, and let f be a continuous function on X with bounded distributional laplacian with respect to ω such that φ≤f. Then the non-pluripolar measure θφn:=(θ+ddcφ)n satisfies the equality: 1{φ=f} θφn=1{φ=f} θfn, where, for a subset T⊆X, 1T is the characteristic function. In particular we prove that θPθ(f)n=1{Pθ(f)=f} θfnandθPθ[φ](f)n=1{Pθ[φ](f)=f} θfn.