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.Comment: 47 pages, rewrite Subsection 1.2 and Subsection 2.1 for the
forthcoming pape