Good behaviour of Lie bracket at a superdensity point of the tangency set of a submanifold with respect to a rank 2 distribution
type: Item
instance of: scholarly article
title: Good behaviour of Lie bracket at a superdensity point of the tangency set of a submanifold with respect to a rank 2 distribution
zbMATH Open document ID: 1488.58003
author: Silvano Delladio
published in: Analysis Mathematica
publication date: 2021-06-29T00:00:00Z
review text: The paper under review points out an interesting aspect of the computation of the bracket of two vector fields \(H\) and \(K\) of class \(C^1\) on an open subset \(U\) of \(\mathbb{R}^{N+m}\). Namely, for any \(N\)-dimensional \(C^1\)-submanifold \(\mathcal{M}\) of \(U\), a superdensity point of a subset \(E\subseteq\mathcal{M}\) is a point \(z_0\in\mathcal{M}\) satisfying \(\mathcal{H}^N(B_{\mathcal{M}}(z_0,r)\setminus E)=o(r^{N+1})\) as \(r\to0+\), where \(\mathcal{H}^N\) is the \(N\)-dimensional Hausdorff measure. For instance, every interior point of \(E\) in the relative topology of \(\mathcal{M}\) is a superdensity point of \(E\), but there may be many other examples of superdensity points. With this terminology, the main result of this paper is that if \(z_0\in\mathcal{M}\) is a superdensity point of the set \(\mathcal{T}:=\{z\in \mathcal{M}\mid H(z),K(z)\in T_z\mathcal{M}\}\), then \([H,K](z_0)\in T_{z_0}\mathcal{M}\). This fact is quite interesting on its own when \(z_0\) is not an interior point of the set \(\mathcal{T}\) and moreover it allows one to recover a result from one of the author's earlier papers [Indiana Univ. Math. J. 68, No. 2, 393--412 (2019; Zbl 1427.58001)].
Mathematics Subject Classification ID: 58A30
Mathematics Subject Classification ID: 28A78
Mathematics Subject Classification ID: 58C35
Mathematics Subject Classification ID: 58A17
zbMATH DE Number: 7364758
zbMATH Keywords: tangency set of a submanifold with respect to a distribution
zbMATH Keywords: distributions
zbMATH Keywords: superdensity
zbMATH Keywords: integral manifold
zbMATH Keywords: Frobenius theorem
reviewed by: Daniel Beltiţă
MaRDI profile type: Publication
full work available at URL: s10476-020-0063-5
OpenAlex ID: W3118932364
cites work: Size of characteristic sets and functions with prescribed gradient
cites work: Size of tangencies to non-involutve distributions
cites work: Q4764184
cites work: A note on a generalization of the Schwarz theorem about the equality of mixed partial derivatives
cites work: Structure of prescribed gradient domains for non-integrable vector fields
cites work: Structure of tangencies to distributions via the implicit function theorem
cites work: The tangency of a C^1 smooth submanifold with respect to a non-involutive C^1 distribution has no superdensity points
cites work: Sur un théorème de traces. (On a trace theorem)
cites work: Q5565773
cites work: Q3706198
DOI: 10.1007/S10476-020-0063-5
Recommended article: Involutivity degree of a distribution at superdensity points of its tangencies
Recommended article: Compensation couples and isoperimetric estimates for vector fields
Recommended article: A note on the structure of prescribed gradient–like domains of non–integrable vector fields
Recommended article: Q3839768
Recommended article: A topological invariant for discontinuous vector fields
Recommended article: Step-\(s\) involutive families of vector fields, their orbits and the Poincaré inequality
Recommended article: Sets of vector fields with various shadowing properties of pseudotrajectories
Recommended article: AC 1 make or break lemma
Recommended article: On accessibility and normal accessibility: The openness of controllability in the fine \(C^ 0\) topology
Recommended article: Q4236226
description: scientific article; zbMATH DE number 7364758