C² estimates for k-Hessian equations and a rigidity theorem | Synapse