Skip to main navigation menu Skip to main content Skip to site footer

On the cones of classical groups

Abstract

The cone of a classical group \(G\) is an affine \(G\times G\)-variety. The aim of this note is to initiate its combinatorial study in the cases when \(G\) is the complex orthogonal or symplectic group (the case of the general linear group being well documented in the literature). The coordinate ring of the cone of G is a finitely generated commutative graded algebra. First the \(G\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 G is the orthogonal group \(\mathrm{O}(3)\), \(\mathrm{O}(4)\), the special orthogonal group \(\mathrm{SO}(4)\), and when \(G\) is the symplectic group \(\mathrm{Sp}(4)\). It is concluded that the coordinate ring of the cone of \(\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).

2020 Mathematics Subject Classification:

13A50, 13P10, 14L35, 20G05, 20G42

Keywords

orthogonal group, symplectic group, Hilbert series, ideal of relations, quantum groups, Gröbner basis

Full text

Author Details

Mátyás Domokos

HUN-REN Alfréd Rényi Institute of Mathematics
Reáltanoda utca 13-15
1053 Budapest, Hungary
e-mail: domokos.matyas@renyi.hu


References

  1. D. J. Anick. On the homology of associative algebras. Trans. Amer. Math. Soc. 296, 2 (1986), 641–659.
  2. K. A. Brown, K. R. Goodearl. Lectures on Algebraic Quantum Groups. Adv. Courses Math. CRM Barcelona. Basel, Birkhäuser Verlag, 2002.
  3. G. Cliff. A basis of bideterminants for the coordinate ring of the orthogonal group. Comm. Algebra 36, 7 (2008), 2719–2749.
  4. C. De Concini. Characteristic free “decomposition” of the coordinate ring of the symplectic group. Quad. “Ricerca Sci.” [Publications of “Scientific Research”], vol. 109. Consiglio Nazionale delle Ricerche (CNR), 1981, 121–128.
  5. C. De Concini, D. Eisenbud, C. Procesi. Young diagrams and determinantal varieties. Invent. Math. 56, 2 (1980), 129–165.
  6. M. Domokos, T. H. Lenagan. Representation rings of quantum groups. J. Algebra 282, 1 (2004), 103–128.
  7. P. Doubilet, G.-C. Rota, J. Stein. On the foundations of combinatorial theory. IX: Combinatorial methods in invariant theory. Studies in Appl. Math. 53 (1974), 185–216.
  8. R. Fröberg. Koszul algebras. Advances in commutative ring theory (Fez, 1997), 337–350, Lecture Notes in Pure and Appl. Math., vol. 205, New York, Marcel Dekker, Inc., 1999.
  9. K. R. Goodearl. Commutation relations for arbitrary quantum minors. Pacific J. Math. 228, 1 (2006), 63–102.
  10. K. R. Goodearl, T. H. Lenagan. Quantum determinantal ideals, Duke Math. J. 103, 1 (2000), 165–190.
  11. R. Goodman, N. R. Wallach. Representations and Invariants of the Classical Groups. Encyclopedia Math. Appl., vol. 68, Cambridge, Cambridge University Press, 1998.
  12. C. Löfwall. On the subalgebra generated by the one-dimensional elements in the Yoneda ext-algebra. In: Algebra, Algebraic Topology and their Interactions (Ed. J.-E. Roos). Lecture Notes in Mathematics, vol. 1183. Berlin, Heidelberg, Springer, https://doi.org/10.1007/BFb0075468.
  13. Yu. I. Manin. Some remarks on Koszul algebras and quantum groups. Ann. Inst. Fourier (Grenoble) 37, 4 (1987), 191–205.
  14. Yu. I. Manin. Quantum groups and non-commutative geometry. Université de Montreal, Centre de Recherches Mathématiques, Montreal, QC, 1988.
  15. B. Parshall, J. P. Wang. Quantum linear groups. Mem. Amer. Math. Soc. 89, 439 (1991), vi+157 pp.
  16. C. Procesi. Lie Groups (An approach through invariants and representations). Universitext. New York, Springer, 2007.
  17. N. Yu. Reshetikhin, L. A. Takhtadzhyan, L. D. Faddeev. Quantization of Lie groups and Lie algebras. Algebra i Analiz 1, 1 (1989), 178–206 (inRussian); English translation in: Leningrad Math. J. 1, 1 (1990), 193–225.
  18. Sagemath, Inc., CoCalc – Collaborative Calculation and Data Science, 2020, https://cocalc.com.
  19. N. El Samra, R. C. King. Dimensions of irreducible representations of the classical Lie groups. J. Phys. A 12, 12 (1979), 2317–2328.
  20. H. Weyl. The Classical Groups, Second edition with supplement. Princeton, Princeton University Press, 1953.