On the rigidity of invariant norms on the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> -adic Schrödinger representation

Motivated by questions about <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>ℂ</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:math> -valued Fourier transform on the locally compact group <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>(</mml:mo> <mml:msubsup> <mml:mi>ℚ</mml:mi> <mml:mi>p</mml:mi> <mml:mi>d</mml:mi> </mml:msubsup> <mml:mo>,</mml:mo> <mml:mo>+</mml:mo> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , we study invariant norms on the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> -adic Schrödinger representation of the Heisenberg group. Our main result is a minimality and rigidity property for norms in a family of invariant norms parameterized by a Grassmannian. This family is the orbit of the sup norm under the action of the symplectic group, acting via intertwining operators. We also prove general fundamental properties of quotients of the universal unitary completion of cyclic algebraic representations. Combined with the rigidity property, we are able to show that the completion of the Schrödinger representation in any of the norms in that family satisfies a strong notion of irreducibility and a version of Schur’s lemma. Norms that can be formed as the maximum of a finite number of norms from that family are also studied. We conclude this paper with a list of open questions.