English

On the cones of classical groups

Representation Theory 2025-09-04 v1 Commutative Algebra Rings and Algebras

Abstract

The cone of a classical group GG is an affine G×GG\times G-variety. The aim of this note is to initiate its combinatorial study in the cases when GG is the complex orthogonal or symplectic group. The coordinate ring of the cone of GG is a finitely generated commutative graded algebra. First the G×GG\times G-module structure of its homogeneous components is determined. This is used to compute the Hilbert series of this coordinate ring in the cases when GG is the orthogonal group O(3)\mathrm{O}(3), O(4)\mathrm{O}(4), the special orthogonal group SO(4)\mathrm{SO}(4), and when GG is the symplectic group Sp(4)\mathrm{Sp}(4). It is concluded that the coordinate ring of the cone of O(3)\mathrm{O}(3) is not Koszul, hence the vanishing ideal of this cone has no quadratic Gr\"obner basis (although it is minimally generated by quadratic elements).

Keywords

Cite

@article{arxiv.2509.03223,
  title  = {On the cones of classical groups},
  author = {Mátyás Domokos},
  journal= {arXiv preprint arXiv:2509.03223},
  year   = {2025}
}
R2 v1 2026-07-01T05:19:06.300Z