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" selfmap 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 ?
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 offshoot off what Farmer and I did for psumming and pintegral 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 nonlinear psumming 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. 

