An F. and M. Riesz theorem for a system of vector fields (Q2574962): Difference between revisions

The celebrated F. and M. Riesz theorem states that any complex measure \(\mu\) on the boundary \(\partial \Delta\) of the unit disc \(\Delta \subset \mathbf{C}\) that is the weak boundary value of a holomorphic function on \(\Delta\), is also absolutely continuous w.r.t. the Lebesgue measure of \(\partial \Delta\). In this paper, the authors generalize this result for a family of measures, which are obtained as weak boundary values of solutions of a wide class of real analytic overdetermined systems of equations. More precisely, they prove the following. Let \(\mathcal M\) be a manifold of real dimension \(N = m + n\) and \(\mathcal V\) a real analytic involutive subbundle \(\mathcal V \subset T^{\mathbf{C}} \mathcal M\) of complex dimension \(n\). Let also \(\mathcal N \subset \mathcal M\) be a real analytic submanifold such that \( T_x^{\mathbf{C}} {\mathcal M} = T_x^{\mathbf{C}}{\mathcal N} + \mathcal V_x\), for all \(x \in \mathcal N\), and \(\mathcal W \subset \mathcal M\) a wedge with edge given by \(\mathcal N\). Then, for any weak boundary value \(f\) on \(\mathcal N\) given by a continuous function \(u\) on \(\mathcal W\) so that \(X(u) = 0\) for all \(X \in \mathcal V\) and with \(| u(x)| = O(\text{dist}(x, \mathcal N)^{-N})\) for some integer \(N >0\), if \(f\) is a measure, then it also absolutely continuous w.r.t. the Lebesgue measure. The proof passes through the following steps: a) the reduction of the proof to the simpler case in which \(\dim_{\mathbf{C}} \mathcal V = 1\); b) a lemma which shows that if the singular part \(\nu\) of the measure \(f\) is supported by a submanifold of dimension strictly less than \(\dim \mathcal N\), then \(\nu = 0\); c) some arguments which combine a lemma, valid when the ambient space decomposes in Sussman orbits of constant dimensions, the lemma described in b), some information on the stratificaton of semianalytic sets and a theorem by Tumanov on the extensions of CR functions at boundary points.