Abstract:
Given a pair of submodules of a module over a discrete valuation ring, we construct a function of two integer variables. We show that this function is discretely concave and, conversely, every discretely concave function of two integer variables arises in this way.