  In this paper, we would like to propose a fundamental question about a higher
dimensional analogue of Dirichlet's unit theorem. We also give a partial answer
to the question as an application of the arithmetic Hodge index theorem.
