On the affine homogeneity of algebraic hypersurfaces arising from Gorenstein algebras (Q428185)

The authors consider a Gorenstein algebra \(A\) of finite vector space dimension greater than one over a field \(\mathbb{F}\) of characteristic zero. Let \(m\) be the maximal ideal of \(A\). A linear projection \(\pi\) on \(m\) is called admissible if its range is \(\text{Ann}(m):=\{ u\in m\,|\,u\cdot m=0\}\). Let \(K:=\text{ker}(\pi)\) and consider the exponential map \[ \text{exp}\,:\,m\rightarrow 1+m\,\,\,\,\text{exp}(u)=1+\sum_{k=1}^{\infty}\frac{1}{k!}u^k. \] By Nakayama's Lemma the maximal ideal \(m\) of \(A\) is a nilpotent algebra and hence \(\text{exp}\) is a polynomial transformation. It is bijective with inverse (polynomial as well): \[ \log(1+u)=\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k}u^k,\,\,\,u\in m \] Let \(Q'_{\pi}=\{u\in m\,|\,\pi(2u+u^2)=0\}=\{u\in m\,|\,2u+u^2\in K\}\), and set \(S_{\pi}=\log(Q'_{\pi})\subset m\). Then \(S_{\pi}\) is an algebraic hypersurface in \(m\) passing through the origin. The hypersurface \(S_{\pi}\) depends on the admissible projection \(pi\), but the affine homogeneity property of \(S_{\pi}\) does not. Since this property lies in the heart of the paper the authors fix \(\pi\) once and for all. Let \(\text{Aff}(m)\) be the group of all the bijective affine transformations of \(m\). Then for any \(S\subset m\) the authors denote \(\text{Aff}(S):=\{f\in \text{Aff}(m)\,|\,f(S)=S\}\). The hypersurface \(S_{\pi}\) is affine homogeneous if and only if the group \(\text{Aff}(S_{\pi})\) acts transitively on \(S_{\pi}\). The first main result of the paper is: {Theorem 2.2: The group \(\text{Aff}(S_{\pi})\) acts transitively on \(S_{\pi}\) if and only if the action of \(\text{Aut}(m)\) on the subset \(\mathbb{T}\) of the Grassmannian \(G\) of all the hyperplanes in \(m\) complementary to \(\text{Ann}(m)\) is a transitive action. } An algebra \(A\) for which \(\text{Aut}(m)\) acts transitively on \(\mathbb{T}\) is said to have the property (P). Then comes the second main result: { Theorem 2.4: Every graded Gorenstein algebra has the property (P).} That implies the following: { Corollary 2.5: If the Gorenstein algebra \(A\) is graded, then \(S_{\pi}\) is affine homogeneous.} Note that the paper extends some results on Gorenstein algebras over \(\mathbb{F}=\mathbb{C}\) (and sometimes \(\mathbb{R}\)) to an arbitrary field of characteristic zero.