On the affine homogeneity of algebraic hypersurfaces arising from Gorenstein algebras

Group actions on affine varieties (14R20) Real submanifolds in complex manifolds (32V40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: To every Gorenstein algebra

A

of finite dimension greater than 1 over a field

B b b F

of characteristic zero, and a projection

p i

on its maximal ideal

m a t h f r a k m

with range equal to the annihilator

h b o x A n n (m a t h f r a k m)

of

m a t h f r a k m

, one can associate a certain algebraic hypersurface

S_{p i} s u b s e t m a t h f r a k m

. Such hypersurfaces possess remarkable properties. They can be used, for instance, to help decide whether two given Gorenstein algebras are isomorphic, which for

B b b F = B b b C

leads to interesting consequences in singularity theory. Also, for

B b b F = B b b R

such hypersurfaces naturally arise in CR-geometry. Applications of these hypersurfaces to problems in algebra and geometry are particularly striking when the hypersurfaces are affine homogeneous. In the present paper we establish a criterion for the affine homogeneity of

S_{p i}

. This condition requires the automorphism group

h b o x A u t (m a t h f r a k m)

of

m a t h f r a k m

to act transitively on the set of hyperplanes in

m a t h f r a k m

complementary to

h b o x A n n (m a t h f r a k m)

. As a consequence of this result we obtain the affine homogeneity of

S_{p i}

under the assumption that the algebra

A

is graded.

Recommendations

Cited in

(6)

This page was built for publication: On the affine homogeneity of algebraic hypersurfaces arising from Gorenstein algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q428185)