Distortion of mappings and L_q,p-cohomology
The \(L_{q,p}\)-cohomology of degree \(k\) of a Riemannian manifold \(M\), denoted by \(H_{q,p}^k(M)\), is the quotient of the space of \(p\)-integrable closed differential \(k\)-forms on \(M\) over the subspace of exact forms with a \(q\)-integrable primitive; here, \(p\)-integrability of a differential form \(\omega\) means that \(|\omega|\in L^p(M)\). It has appeared as a natural generalization of \(L_p\)-cohomology, which in turn is a natural generalization of \(L_2\)-cohomology. \(L_{q,p}\)-cohomology has connections with Sobolev type inequalities and conformal geometry. The paper exhibits a class of diffeomorphisms that induce homomorphisms in \(L_{q,p}\)-cohomology, which can be understood as the kind of functoriality satisfied by this cohomology. Given a diffeomorphism between Riemannian manifolds \(f:M\to\widetilde{M}\) and \(0\leq k\leq n\), let \(\sigma_k(f)\) be the function on \(M\) defined by \(\sigma_k(f,x)=\sum_{i_1<\dots<i_k}\lambda_{i_1}(x)\cdots\lambda_{i_k}(x)\), where \(\lambda_1(x),\dots,\lambda_n(x)\) are the eigenvalues of \(\sqrt{(df_x)^*(df_x)}\). Let \(J_f\) be the function on \(M\) defined by the Jacobian of \(f\) at each point. It is said that \(f\) has bounded \((s,t)\)-distortion in degree \(k\) if \(\sigma_k(f)\,J_f^{-1}\in L^t(M)\), and the family of these functions is denoted by \(BD_{s,t}^k(M,\widetilde{M})\). In particular, \(BD_{n,\infty}^1(M,\widetilde{M})\) (\(n=\dim M\)) consists of the quasi-conformal diffeomorphisms, and \(BD_{1,\infty}^n(M,\widetilde{M})\) consists of all diffeomorphisms. It is proved in the paper that any diffeomorphism \(f\in BD_{\tilde q,u}^{n-k+1}(M,\widetilde{M})\cap BD_{\tilde p,t}^k(M,\widetilde{M})\) induces a homomorphism \(f^*:H_{\tilde q,\tilde p}^k(\widetilde{M})\to H_{q,p}^k(M)\) if \(p\leq\tilde p<\infty\), \(q\leq\tilde q\), \(t=\frac{p}{\tilde p-p}\) and \(u=\frac{q}{\tilde q-q}\). Moreover it is shown that, if there is a diffeomorphism \(f\in BD_{\tilde q',r}^{n-k+1}(M,\widetilde{M})\cap BD_{\tilde p,t}^k(M,\widetilde{M})\) with \(p\leq\tilde p<\infty\), \(q\leq\tilde q>1\), \(\tilde q'=\frac{\tilde q}{\tilde q-1}\) and \(r=\frac{q(\tilde q-1)}{q-\tilde q}\), then \([f^*\omega]=0\) in \(H_{q,p}^k(M)\) implies \([\omega]=0\) in \(H_{\tilde q,\tilde p}^k(\widetilde{M})=0\); in particular, \(H_{q,p}^k(M)=0\) implies \(H_{\tilde q,\tilde p}^k(\widetilde{M})=0\). This second result is used to prove the following vanishing result for a manifold with a cusp. Take \(M=\mathbb{R}^n\) with its standard Euclidean metric \(g\), and take \(\widetilde{M}=\mathbb{R}^n\) with a metric \(\tilde g\) such that, in polar coordinates, \(\tilde g=dr^2+e^{-2r}h\) for large enough \(r\), where \(h\) is the standard metric on \(S^{n-1}\). It is shown that the identity map \(f:M\to\widetilde{M}\) belongs to \(BD_{s,t}^m(M,\widetilde{M})\) if \(s>\frac{n-1}{m-1}\) and \(0<t\leq\infty\), obtaining that \(H_{\tilde q,\tilde p}^k(\widetilde{M})=0\) if \(\tilde q<\frac{n-1}{k-1}<\tilde p\).
- \(L _{p,q} \)-cohomology of warped cylinders
- \(L^p\)-cohomology in degree 1 of homogeneous spaces
- \(L_{p, q}\)-cohomology and normal solvability
- Homeomorphisms that induce monomorphisms of Sobolev spaces
- scientific article; zbMATH DE number 4192559 (Why is no real title available?)
- scientific article; zbMATH DE number 1795115 (Why is no real title available?)
- Mappings of finite distortion: Discreteness and openness
- Mappings of finite distortion: discreteness and openness for quasi-light mappings
- On the Hodge decomposition in R^n
- Sobolev inequalities for differential forms and \(L_{q,p}\)-cohomology
- Sobolev mappings with integrable dilatations
- Sobolev spaces and \((P,Q)\)-quasiconformal mappings of Carnot groups
- Space mappings with bounded distortion
- Transformations that preserve Sobolev spaces
- Étude d'une classe d'applications liees à des homomorphismes d'algèbres de fonctions, et généralisant les quasi conformes
- Über harmonische Kapazität und quasikonforme Abbildungen im Raum
- \(L _{p,q} \)-cohomology of warped cylinders
- Sobolev inequalities for differential forms and \(L_{q,p}\)-cohomology
- Pullback functors for reduced and unreduced \(L^{q,p}\)-cohomology
- Spaces of differential forms and maps with controlled distortion
- Linear and Nonlinear Harmonic Boundaries of Graphs; An Approach with ℓ p-Cohomology in Degree One
- L q,p -Cohomology of Riemannian Manifolds with Negative Curvature
- scientific article; zbMATH DE number 775041 (Why is no real title available?)
- The Hölder-Poincaré duality for \(L _{q,p }\)-cohomology
This page was built for publication: Distortion of mappings and \(L_{q,p}\)-cohomology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q846892)
