No label defined (Q4701064)

With each point \(p\) of a hypersurface \(X\) in an \(n\)-dimensional centroaffine space \(E_n\) the authors associate an \(n\)-dimensional algebra \(A\) in the following way. Let \(e\) be the radius vector of \(p\) and \(e_i\) be a frame of the tangent space \(T_p X\). Then they set \(e * e = e\), \(e * e_i = e_i * e = e_i\), \(e_i * e_j = B^k_{ij}e_k - g_{ij}e\), where \(g_{ij}\), \(B^k_{ij}\) are defined via the derivation equations of \(X\): \(\nabla_i {\vec r}_j = B^k_{ij}{\vec r}_k - g_{ij}\vec r\) [\textit{A. P. Shirokov} and \textit{P. A. Shirokov} [``Affine differential geometry'' (Russian) (Gosudarstv. Izd. Fiz.-Mat. Lit., Moscow) (1959; Zbl 0085.36701)]. This algebra is commutative, but is not, in general, associative, and it is proved here that the associator of \(A\) is equal to the curvature tensor of \(\nabla\). The authors also consider the general situation, i.e., a vector bundle \(E \to B\) such that each fibre \(E_b\), \(b \in B\), is endowed with the structure of a unital algebra which depends on \(b\), and linear connections \(\nabla\) in the bundle \(E\).