Applications of hypocontinuous bilinear maps in infinite-dimensional differential calculus

Abstract

Paradigms of bilinear maps f between locally convex spaces (like evaluation or composition) are not continuous, but merely hypocontinuous. We describe situations where, nonetheless, compositions of f with Keller C^n_c-maps (on suitable domains) are C^n_c. Our main applications concern holomorphic families of operators, and the foundations of locally convex Poisson vector spaces.