The submodularity of the covolume function in global function fields

In this paper, we study the submodularity of the covolume function in global function fields. The submodular property is often needed in the study of homogeneous dynamics, especially to define a Margulis function. We proved that the covolume function is submodular when the class group of the global function field is trivial.