Dimension free estimates for the vector-valued Hardy--Littlewood maximal function on the Heisenberg group

In this article, we establish dimension-free Fefferman-Stein inequalities for the Hardy-Littlewood maximal function associated with averages over Korányi balls in the Heisenberg group. We also generalize the result to more general UMD lattices. As a key stepping stone, we establish the $L^p$- boundedness of the vector-valued Nevo-Thangavelu spherical maximal function, which plays a crucial role in our proofs of the main theorems.