Renormalization of the 2PI Hartree-Fock approximation on a de Sitter background in the broken phase

A scalar field theory with quartic self-interaction in de Sitter space is studied using the two-particle irreducible effective action formalism. This formalism partially resums infinite series of loop diagrams and enables us to circumvent the IR divergence problem for a massless minimally coupled scalar field in de Sitter space. However, due to its nonperturbative nature, the renormalization prescription is a nontrivial task. To calculate physical quantities, an appropriate renormalization prescription is required. In this paper, we will show that the minimal subtraction-like scheme is possible at the Hartree-Fock truncation of the two-particle irreducible effective action in a general curved space, and infinite series of divergent terms are needed as counterterms. The infrared effects on the physical mass and phase structure are calculated.