Sketched Adaptive Federated Deep Learning: A Sharp Convergence Analysis