Foliated norms on fundamental group and homology (Q1886719)

Let \(\mathcal F\) be a codimension 1 \(C^\infty\)-foliation of a closed oriented manifold \(M\), \(\| M\| _\mathcal F\) the foliated Gromov norm and \(\| M\| \) the Gromov norm. A transversal norm \(l_\mathcal F(\gamma)\) on \(\pi(M,x_0)\) is introduced. Under a weak Kan extension assumption a bound on \(\| M\| _\mathcal F\) in terms of \(\| M\| \) and \(l_\mathcal F(\gamma)\) is given; in particular if there is \(x_0\in M\) such that \(l_\mathcal F(\gamma)=0\) for each \(\gamma\in\pi(M,x_0)\) then \(\| M\| _\mathcal F=\| M\| \). The Kan extension assumption is further analysed.