On automorphisms of \(n\)-dimensional Laguerre space (Q753133)

The author studies automorphisms of n-dimensional Laguerre spaces over a formally real field K. Let \(W:=K^{n-1}\), \(V:=W\oplus K{\mathfrak e}_ n\) and for \({\mathfrak x},{\mathfrak y}\in W\) let \({\mathfrak x}{\mathfrak y}=\sum^{n- 1}_{i=1}x_ iy_ i\). He considers first the Galilean space \({\mathfrak G}=(V,{\mathfrak H}_ 0,{\mathfrak P},\|)\), where \({\mathfrak H}_ 0\) denotes the set of all hyperplanes which are not parallel to K\({\mathfrak e}_ n\), \({\mathfrak P}:=\{P(a,{\mathfrak a},b)|\) \({\mathfrak a}\in W\), a,b\(\in K\), \(a\neq 0\}\) the set of paraboloids of the form P(a,\({\mathfrak a},b):=\{{\mathfrak x}+(a({\mathfrak x}-{\mathfrak a})^ 2+b){\mathfrak e}_ n| \quad {\mathfrak x}\in W\}\) and where \({\mathfrak a}+\alpha {\mathfrak e}_ n\| \quad {\mathfrak b}+\beta {\mathfrak e}_ n: \Leftrightarrow\) \({\mathfrak a}={\mathfrak b}\). Then he defines the reflections \(\Phi_ P({\mathfrak x}+\xi {\mathfrak e}_ n)={\mathfrak x}+(2(a({\mathfrak x}-{\mathfrak a})^ 2+b)-\xi){\mathfrak e}_ n\) at the paraboloid P(a,\({\mathfrak a},b)\) and \(\sigma^{{\mathfrak r}}_{{\mathfrak a}+\alpha {\mathfrak e}}({\mathfrak x}+\xi {\mathfrak e}_ n)={\mathfrak a}+\alpha {\mathfrak e}_ n+({\mathfrak r}^ 2/({\mathfrak x}-{\mathfrak a})^ 2)({\mathfrak x}- {\mathfrak a}+(\xi -\alpha){\mathfrak e}_ n)\) at the cylinder \(\{{\mathfrak x}+\xi {\mathfrak e}_ n\in V| \quad ({\mathfrak x}-{\mathfrak a})^ 2={\mathfrak r}^ 2\}.\) Then the Galilean space is extended to the Laguerre space and the connection to the cylinder model established. Finally he shows that any automorphism of the Laguerre space is the product of some of these reflections and a pseudodilatation, i.e. a map of the form \({\mathfrak x}+\xi {\mathfrak e}_ n\to {\mathfrak x}+a\xi {\mathfrak e}_ n\).