The coarea formula for vector functions on Carnot groups with sub-Lorentzian structure (Q2661741)

In the paper under review, the author investigates \(\mathbb{R}^n\)-valued differentiable functions on Carnot groups \(\mathbf{G}\) with sub-Lorentzian structure, continuing her works [Sib. Math. J. 61, No. 4, 648--670 (2020; Zbl 1451.53048); translation from Sib. Mat. Zh. 61, No. 4, 823--848 (2020); Izv. Math. 84, No. 1, 52--94 (2020; Zbl 1440.53038); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 84, No. 1, 60--104 (2020)]. Previously Carnot groups have been considered only with sub-Riemannian structures. The author considers a sub-Lorentzian structure on \(\mathbf{G}\), which in some sense is compatible with the stratification of \(\mathbf{G}\), and surjective \(C^1\)-mappings \( \varphi : \mathbf{G} \to\mathbb{R}^n\) whose sub-Riemannian differential \(D_H \varphi\) satisfies a point-wise regularity property, in particular, if \(D_H \varphi\) is nondegenerate on \(\tilde n\) horizontal fields then the squared length along \(n^-\) of them is negative, where \(1 \le n^- \le \tilde n\). Under these assumptions the author describes metric properties of the level surface \(\varphi^{-1}(z), z\in\mathbb{R}^n\), e.g., she proves that \(\varphi^{-1} (z)\) is space-like. Then she gives the coarea formula as expression of the measure of a subset \(S\) of \(\mathbf{G}\) and the sub-Lorentzian measure of the interesection \(S \cap \varphi^{-1}(z)\) where \( z \) runs over \(\mathbb{R}^n\). These results have been announced in her papers [``Coarea formula for functions on 2-step Carnot groups with sub-Lorentzian structure'', Dokl. Math. 101, No. 2, 129--131 (2020; \url{doi:10.1134/S1064562420020131}); ``Space-likeness of classes of level surfaces on Carnot groups and their metric properties'', Dokl. Math. 101, No. 3, 205--208 (2020; \url{doi:10.1134/S1064562420030102})].