An optimal inequality and an extremal class of graph hypersurfaces in affine geometry (Q1769604)

The author considers a locally strongly convex graph with special relative normalization and the local geometry induced from it. The integrability conditions for a relative geometry imply the relative theorema egregium [see e.g. p. 79 in: \textit{U. Simon, A. Schwenk-Schellschmidt, H. Viesel}, ``Introduction to the affine differential geometry of hypersurfaces'', Lecture Notes Science University Tokyo (SUT), Dept. of Mathematics (1992; Zbl 0780.53002)]: \[ \text{trace}_h \text{Ric} = \|K\|^2 + (n-1)\operatorname{trace} S - n^2 \|T\|^2. \] Here \(h\) denotes the relative metric, Ric its Ricci tensor, \(S\) the induced relative Weingarten operator, \(K:= \nabla - \nabla(h)\) the difference tensor between the induced connection \(\nabla\) and the Levi-Civita connection \(\nabla(h)\) of \(h\), and \(nT\) the trace of \(K\), the so called Chebyshev form. The author states the following inequality as Theorem 1: The relative geometry of a graph hypersurface with a constant normalization (\(S=0\)) satisfies \[ \text{trace}_h \text{Ric} \geq \frac{n^2 (1-n)}{n+2} \|T\|^2. \] In Theorem 2 he gives a classification of all hypersurfaces satisfying equality in Theorem 1, using some explicit coordinate representations. Reviewer's remarks. 1. One can simplify the proof of Theorem 1, inserting the traceless part \(\widetilde {K}\) of \(K\) into the theorema egregium. Equality in Theorem 1 holds if and only if \(\widetilde {K}= 0\), that means if the hypersurface is a quadric [see section 7.1 in the lecture notes cited above]. 2. Concerning the foregoing remark, the reviewer contacted the author; using \texttt{Mathematica}, the author could verify that all hypersurfaces in his classification are quadrics, and he could give coordinate representations in terms of quadratic polynomials. 3. The author pointed out typing errors. In formula type (IV), Theorem 2, \(\sin\) and \(\cos\) shall read \(\sinh \) and \(\cosh\).