One-sided invariant manifolds, recursive folding, and curvature singularity in area-preserving nonlinear maps with nonuniform hyperbolic behavior