Some retraction problems

From Polyfolds.org
Revision as of 10:28, 13 June 2017 by Joelwatsonfish (Talk | contribs)

Jump to: navigation, search


A useful toy retraction

Fix a non-negative function \beta \in {\mathcal  {C}}_{0}^{\infty } for which \|\beta \|_{{E_{0}}}=\|\beta \|_{{L^{2}}}=1. We consider the sc-Banach space {\mathbb  {E}}={\bigl (}H^{{k,\delta _{k}}}({\mathbb  {R}},{\mathbb  {R}}){\bigr )}_{{k\in {\mathbb  {N}}_{0}}} with \delta _{0}=0. Define a family of linear projections \pi _{t}:E_{0}\to E_{0} for t\in \mathbb{R} by L^{2}-projection onto the subspace spanned by \beta _{t}:=\beta (e^{{1/t}}+\cdot ) for t>0 respectively \beta _{t}:=0 for t\leq 0. The corresponding retraction

{\mathbb  {R}}\times {\mathbb  {E}}\to {\mathbb  {R}}\times {\mathbb  {E}},\qquad (t,e)\mapsto (t,\pi _{t}(e))={\begin{cases}{\bigl (}t,\langle f,\beta _{t}\rangle _{{L^{2}}}\beta _{t}{\bigr )}&;t>0\\(t,0)&;t\leq 0\end{cases}}

is sc^{\infty } (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 {\mathbb  {R}}^{2} homeomorphic to this sc-retract. Hint: It will contain the line {\mathbb  {R}}\times \{0\}.

Question: Which paths of the form t\mapsto (t,\gamma _{t})\in {\mathbb  {R}}\times {\mathbb  {E}} are contained in the sc-retract and are sc-smooth? Can these paths be described via the above homeomorphism of the retract to {\mathbb  {R}}^{2}?

Question: What is the tangent fiber of the sc-retract at the point (0,0)? Can all points in this fiber be achieved as tangent vectors to paths in the retract passing through (0,0)? Is the tangent vector at (0,0) of a path in the sc-retract always contained in the tangent fiber of the retract at (0,0)?

Independence of choice of retraction

Let {\mathbb  {E}} be some sc-Banach space, and suppose r:{\mathbb  {E}}\to {\mathbb  {E}} is an sc-smooth retraction, with O=r(E_{0}).

The model lemmas

Retractions instead of sc-Banach manifolds

1. Transversal constraint construction as retraction 2. Target manifold as {\mathbb  {R}}^{N} 3. Retractions on retracts 4. Does smoothness depend on choice of retraction?