In this article, we establish dimension-free Fefferman-Stein inequalities for the Hardy-Littlewood maximal function associated with averages over Kor\'anyi balls in the Heisenberg group. We also generalize the result to more general UMD lattices. As a key stepping stone, we establish the Lᵖ- boundedness of the vector-valued Nevo-Thangavelu spherical maximal function, which plays a crucial role in our proofs of the main theorems.
Ganguly et al. (Wed,) studied this question.