In this talk, we propose a geometric analogue of Dirichlet's unit theorem
on arithmetic varieties, that is,
if X is a normal projective variety over a finite field and D is a pseudo-effective Q-Cartier
divisor on X, does it follow that D is Q-effective?
We also give affirmative answers on an abelian variety and a projective bundle over a curve.