Transversality of isotropic projections, unrectifiability, and Heisenberg groups (Q742880)

The author considers the space \({\mathbb R}^{2n}\) with the standard symplectic form \(\omega(x,y)\). A linear subspace \(V\subset{\mathbb R}^{2n}\) is called isotropic if \(\omega(v,w)=0\) for all \(v,w\in V\). The main result of the paper is the following {Theorem:} Let \(n\) and \(m\) be integers such that \(0<m\leq n\), let \(G_{h}(n,m)\) be the submanifold of the Grassmannian \(G(n,m)\) consisting of all isotropic subspaces of \({\mathbb R}^{2n}\), and denote by \(P_{V}: {\mathbb R}^{2n}\mapsto V\) the orthogonal projection onto the \(m-\)plane \(V\in G_{h}(n,m)\). Then the projection family \(\{P_{V}: {\mathbb R}^{2n}\mapsto V\}_{V\in G_{h}(n,m)}\) is transversal. The transversality here is understood as in the paper \textit{Y. Peres} and \textit{W. Schlag} [Duke Math. J. 102, No. 2, 193--251 (2000; Zbl 0961.42007)]