Complex manifolds of Sobolev mappings and a Hartogs-type theorem in loop spaces

We recall the complex structure on the generalised loop spaces $W^{k,2}(S,X)$, where $S$ is a compact real manifold with boundary and $X$ is a complex manifold, and prove a Hartogs-type extension theorem for holomorphic maps from certain domains in generalised loop spaces.