Dynamical Objects for Cohomologically Expanding Maps
John W. Robertson
John Robertson update to 2010-01-08
https://arxiv.org/abs/0704.0069
The goal of this paper is to construct invariant dynamical objects for a (notnecessarily invertible) smooth self map of a compact manifold. We prove aresult that takes advantage of differences in rates of expansion in the termsof a sheaf cohomological long exact sequence to create unique lifts of finitedimensional invariant subspaces of one term of the sequence to invariantsubspaces of the preceding term. This allows us to take invariant cohomologicalclasses and under the right circumstances construct unique currents of a giventype, including unique measures of a given type, that represent those classesand are invariant under pullback. A dynamically interesting self map may have aplethora of invariant measures, so the uniquess of the constructed currents isimportant. It means that if local growth is not too big compared to the growthrate of the cohomological class then the expanding cohomological class givessufficient "marching orders" to the system to prohibit the formation of anyother such invariant current of the same type (say from some local dynamicalsubsystem). Because we use subsheaves of the sheaf of currents we giveconditions under which a subsheaf will have the same cohomology as the sheafcontaining it. Using a smoothing argument this allows us to show that the sheafcohomology of the currents under consideration can be canonically identifiedwith the deRham cohomology groups. Our main theorem can be applied in both thesmooth and holomorphic setting.