em sede de hasta publica ocorrendo a arrematação como a mesma deve ser formalizada?

Através de leilão.

A formalização ocorre com o registro público da arrepatação, que registra a transferência do bem da expropriada-executada para o expropriante-adquirente.

Entretanto, não devemos confundir formalização com validade ou eficácia da arrematação, sendo certo que o registro público é fundamental apenas para conhecimento de terceiros de boa-fé e a eficácia em relação a eles, mas a arrematação já vale desde que realizada, sobretudo entre as partes envolvidas.