Note on moduli stabilization, supersymmetry breaking, and axiverse

We study properties of moduli stabilization in the four dimensional N=1 supergravity theory with heavy moduli and would-be saxion-axion multiplets, including light string-theoretic axions. We give general formulation for the scenario that heavy moduli and saxions are stabilized while axions remain light, assuming that moduli are stabilized near the supersymmetric solution. One can find stable vacuum, i.e. nontachyonic saxions, in the nonsupersymmetric Minkowski vacua. We also discuss the cases where the moduli are coupled to the supersymmetry breaking sector and/or moduli have contributions to supersymmetry breaking. Futhermore, we study the models with axions originating from matterlike fields. Our analysis on moduli stabilization is applicable even if there are not light axion multiplets.