Some retraction problems
Contents
[hide]A useful toy retraction
Fix a non-negative function for which
.
We consider the sc-Banach space
with
.
Define a family of linear projections
for
by
-projection onto the subspace spanned by
for
respectively
for
.
The corresponding retraction
is sc (see Lemma 1.23 in the HWZ sc-smoothness paper)) and a retraction (in fact, a splicing).
Question: What is the sc-retract of this sc-smooth retraction? Describe this space (somewhat) geometrically.
Question: Find a subset of homeomorphic to this sc-retract. Hint: It will contain the line
.
Question: Which paths of the form are contained in the sc-retract and are sc-smooth? Can these paths be described via the above homeomorphism of the retract to
?
Question: What is the tangent fiber of the sc-retract at the point ? Can all points in this fiber be achieved as tangent vectors to paths in the retract passing through
? Is the tangent vector at
of a path in the sc-retract always contained in the tangent fiber of the retract at
?
Independence of choice of retraction
Let be some sc-Banach space, and suppose
is an sc-smooth retraction, with
.
The model lemmas
Retractions instead of sc-Banach manifolds
1. Transversal constraint construction as retraction
2. Target manifold as
3. Retractions on retracts
4. Does smoothness depend on choice of retraction?