Is there a "right" definition of the nuclear
operator in the nonlinear framework ? Of course, such an operator
must be compact, while a linear operator should be "nonlinearly"
nuclear iff it is nuclear as usual. [These are naive conditions, of course.]
Since here the Frechet derivative is useless. For example, the "cubing"
self-map of $\ell^{2}$, i.e., $(x_{n})$ $\rightarrow\(x_{n}^{3})$
, has nuclear derivative at each point, yet it is clearly noncompact.
OTOH, it seems that a [nonlinear] Lipschitz $p$-summing operator
need not to be power compact. Some thoughts ?

1 Answer
1

Funny you should ask. My former student, Bentuo Zheng, and my visitor, Dongyang Chen, are in the process of developing this theory. The "right" definition involves the Pietsch factorization diagram, and is an off-shoot off what Farmer and I did for p-summing and p-integral operators (get the paper from my home page). Send me an email and I'll put you in contact with them.

On a related topic, my current student Alejandro ChavezDominguez is developing the operator ideal theory connected to non-linear p-summing operators and related mappings. This is something I have been interested in for a long time but did not see what to do (even the duality theory). In Javier's hands, the theory is developing very well.