Difference between revisions of "Scale calculus problems"
(→scale smoothness of the shift map) |
m (→scale-smooth structure on \mathcal{B}) |
||
Line 99: | Line 99: | ||
− | Now use the charts and transition maps discussed above to equip <math>\mathcal{B}</math> with the structure of a scale-manifold (i.e. | + | Now use the charts and transition maps discussed above to equip <math>\mathcal{B}</math> with the structure of a scale-manifold (i.e. modeled on a scale-Banach space, with scale-smooth transition maps). |
'''YOUR SOLUTION WANTS TO BE HERE''' | '''YOUR SOLUTION WANTS TO BE HERE''' |
Latest revision as of 10:41, 26 May 2017
Scale calculus was developed to make reparametrization actions on function spaces smooth. All the key issues and ideas can already be seen at the example of acting on a space of nonconstant functions on , for example the shift action
The purpose of the following exercises is to give the quotient of S^1-valued functions homotopic to the identity, modulo reparametrization by shifts, the structure of a scale-smooth manifold ... and to see that classical Banach space topologies fail at giving it a differentiable Banach manifold structure.
Contents
differentiability of shift map
Compute the directional derivatives of the shift map , first at , then at .
Next, understand how to identify , and write down a conjectural formula for the differential .
Then recall the definition of differentiability in terms of uniform linear approximation and see whether it can be satisfied at any base point .
YOUR SOLUTION WANTS TO BE HERE
local charts
Verify that has local Banach manifold charts modeled on . To set up a chart near a given point, pick a representative with and consider the map
YOUR SOLUTION WANTS TO BE HERE
transition maps
For with representatives but determine the transition map .
Then find an example of a point and direction in which this transition map is not differentiable.
YOUR SOLUTION WANTS TO BE HERE
alternative Banach norms
Explain why working with , H\"older, or Sobolev spaces does not resolve these differentiabliity issues. Possibly come up with other ideas for a Banach manifold structure on .
YOUR SOLUTION WANTS TO BE HERE
reparametrization on Riemann surfaces
Explore the same questions for a space of nonconstant functions on a Riemann surface modulo the reparametrization action of a nontrivial automorphism group (e.g. ).
YOUR SOLUTION WANTS TO BE HERE
scale smoothness of the shift map
Show that the shift action is a scale-smooth map by the following steps:
a) Find a scale-Banach space with .
b) Show that is and calculate the linearization .
c) Iteratively show that is for all k.
Note: The actual map above is a restriction of the map to the subset , where we view .
YOUR SOLUTION WANTS TO BE HERE
scale-smooth structure on
Now use the charts and transition maps discussed above to equip with the structure of a scale-manifold (i.e. modeled on a scale-Banach space, with scale-smooth transition maps).
YOUR SOLUTION WANTS TO BE HERE