A Gelfand-Beurling type formula for heights on endomorphism rings (Q1573780): Difference between revisions

Let \(V\) be a finite dimensional vector space over a number field \(K\). Then the spectral height \(H(T)\) of an endomorphism \(T\in\text{End}(V)\) is defined as the (suitably normalized) product of the spectral radii at all completions \(K_v\) of \(K\). It is shown that the spectral height is canonical on \(\text{End}(V)\) in the sense that we have \(H(T)=\lim_{k\to\infty}(H_{\mathcal F}^{\text{op}}(T^k))^{1/k}\) for all adelic norms \(\mathcal F\) on \(V\). Here \(H_{\mathcal F}^{\text{op}}\) is the operator norm associated to \(\mathcal F\). The proof is based on the classical Gelfand-Beurling formula for the \(K_v\)-vector spaces \(V\otimes_K K_v\) and the somewhat restrictive definition of an adelic norm on \(V\). In fact, such norms basically arise by choosing an isomorphism \(V\cong K^n\) and transporting the standard \(\ell^2\)-Northcott-Weil height on \(K^n\) to \(V\). In addition, a Northcott-type finiteness theorem for transformations in \(\mathbb{P}(\text{End}(V))\) is proved.