The orthogonal group of a form Hilbert space. (English) Zbl 1134.46048

Summary: Form Hilbert spaces are constructed over fields that are complete in a non-Archimedean valuation. They share with classical Hilbert spaces the basic property expressed by the projection theorem. However, there appear some remarkable geometric features which are unknown in Euclidean geometry. In fact, due to the so-called type condition there are only a few orthogonal straight lines containing vectors of the same length, so these non-Archimedean spaces are highly inhomogeneous.
In the paper, we consider a typical form Hilbert space \((E,\langle\;,\;\rangle)\) and we show that this geometric feature has a strong impact on the group \({\mathcal O}(E)\) of all isometries \(T:E\to E\) and on the lattice \({\mathcal L}\) of all normal subgroups of \({\mathcal O}\). In particular, we describe some remarkable sublattices of \({\mathcal L}\) which have no analogue in the classical orthogonal groups.


46S10 Functional analysis over fields other than \(\mathbb{R}\) or \(\mathbb{C}\) or the quaternions; non-Archimedean functional analysis
46C99 Inner product spaces and their generalizations, Hilbert spaces
Full Text: Euclid