Boundedness and volume of generalised pairs

In this paper we investigate boundedness and volumes of generalised pairs, and give applications to usual pairs especially to a class of pairs that we call stable log minimal models. Fixing the dimension and a DCC set controlling coefficients, we will show that the set of volumes of all projective generalised lc pairs $(X,B+M)$ under the given data, satisfies the DCC. Futhermore, we will show that in the klt case, the set of such pairs with ample $K_X+B+M$ and fixed volume, forms a bounded family. We prove a result about descent of nef divisors to bounded families. This is the key to proving the above and various other results. We will then apply the above to study projective lc pairs $(X,B)$ with abundant $K_X+B$ of arbitrary Kodaira dimension. In particular, we show that the set of Iitaka volumes of such pairs satisfies DCC under some natural boundedness assumptions on the fibres of the Iitaka fibration. We define stable log minimal models which consist of a projective lc pair $(X,B)$ with semi-ample $K_X+B$ together with a divisor $A\ge 0$ so that $K_X+B+A$ is ample and $A$ does not contain any non-klt centre of $(X,B)$. This is a generalisation of both usual stable pairs of general type and stable log Calabi-Yau pairs. Fixing appropriate invariants we show that stable log minimal models form a bounded family. Then we discuss connection with moduli spaces.