Harmonic Norms on Quiver Representations over Non-Archimedean Fields

Abstract

Let $K$ be any complete non-Archimedean field, not necessarily spherically complete. We prove that every polystable representation of a finite quiver over $K$ admits a split harmonic norm in the sense of Haiden--Katzarkov--Kontsevich--Pandit (HKKP), answering a question from their preprint \emph{Towards Categorical Kähler Geometry}. Moret-Bailly's closed-image theorem gives a uniform separation from representations with destabilizing subobjects. A finite estimate on norm weights then yields a linear coercivity bound for stable representations and hence a minimum of the extended HKKP potential on the complete CAT(0) space of all norms. A direct first-variation computation identifies split minimizers with HKKP harmonic norms. Strict supporting hinges reduce split attainment to semistable reduction for quivers with arbitrary real radius labels. Small changes of the lifted splitting make each reversed extension nonsplit; a finite slope--rank descent proves termination. Consequently, every minimum in the completed norm space is attained by a split norm with the same arrow singular profiles, without restrictions on the value group or the quiver. Nonsplit minimizers illustrate split attainment in one and two radius modifications, and a two-parameter Berkovich analytic family separates polystability, semistability, and harmonicity of a chosen split norm.