1. Topology of the space of conormal distributions
- Author
-
López, Jesús A. Álvarez, Kordyukov, Yuri A., and Leichtnam, Eric
- Subjects
Mathematics - Functional Analysis ,FOS: Mathematics ,46F05, 46A13, 46M40 ,Functional Analysis (math.FA) - Abstract
Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;\Omega)'$ of the space of conormal densities. It is shown that $I$ is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and $I'$ is a complete Montel space, which is a projective limit of bornological barreled spaces. In the case of codimension one, similar properties and additional descriptions are proved for the subspace $K\subset I$ of conormal distributions supported in $L$ and for its strong dual $K'$. We construct a locally convex Hausdoff space $J$ and a continuous linear map $I\to J$ such that the sequence $0\to K\to I\to J\to 0$ as well as the transpose sequence $0\to J'\to I'\to K'\to 0$ are short exact sequences in the category of continuous linear maps between locally convex spaces. Finally, it is shown that $I\cap I'=C^\infty(M)$ in the space of distributions. These results will be applied to prove a trace formula for foliated flows, involving the reduced cohomologies of the complexes of leafwise currents that are conormal and dual-conormal at the leaves preserved by the flow., Comment: 52 pages, index of notation
- Published
- 2023