Finite groups admitting Grassmannian 4-designs (Q855992): Difference between revisions

This paper is concerned with a generalization of the notion of antipodal spherical \(t\)-designs, namely the concept of Grassmannian \(t\)-designs. Let \(V= \mathbb{R}^d\) be a \(d\)-dimensional Euclidean space. It is mentioned that these designs are finite sets of \(k\)-dimensional subspaces of \(V\) on which the average of certain zonal functions vanishes. By similarity, it is said that a finite subgroup \(G< GO(V)\) admits Grassmannian 4-designs if every \(G\)-orbit on \(k\)-dimensional subspaces of \(V\) for any \(k\leq\dim(V)/2\) is a Grassmannian 4-design. If \(G\) is such a group and the representation of \(G\) on \(V\) can be realized over \(Q\) then all \(G\)-invariant lattices in \(V\) are \(k\)-extreme in the sense of Rankin for all \(k\), i.e. they realize local maxima for the \(k\)-density function that generalized the density function of the associated sphere packings to the Grassmannian space. The author classifies finite subgroups of \(GO(V)\) that admit Grassmannian 4-designs and classifies Zariski closed subgroups \(G\) of \(GO(V)\) over which \(\text{Sym}^2(V)/1_G\) is irreducible.