{"id":"arxiv/2605.12716","url":"https://arxiv.org/abs/2605.12716","tags":["math.FA","math.CA"],"score":0,"title":"Smirnov Decomposition of a Horizontal Vector Charge in the Heisenberg Group","domain":"math.FA","source":"arxiv","authors":["Zhengyao Huang","Wilhelm Klingenberg"],"reviews":0,"subject":"math.FA","summary":"A divergence-free horizontal vector current in Heisenberg space may be viewed as an element of the dual space of horizontal test vector fields. By applying a horizontal Liouville theorem in this setting, the flow lines of such a vector field generate a family of horizontal curves and an associated measure on this collection. In this paper, we provide a direct proof of the Smirnov decomposition for a Federer-Fleming current within the horizontal distribution.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}