×

On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras. (English) Zbl 1213.17011

Let \(\mathfrak{g}\) be a finite dimensional simple complex Lie algebra and \(R\) be the exterior algebra of \(\mathfrak{g}\oplus\mathfrak{g}\). There are three standard copies of the adjoint representation of \(\mathfrak{g}\) in \(R^2\). Consider the algebra \(A=R/J\), where \(J\) is the ideal generated by these three copies. In this paper the author shows that the algebra \(A^{\mathfrak{g}}\) of \(\mathfrak{g}\)-invariants in \(A\) is generated by a certain element \(S\). The author also proposes a conjecture, the validity of which would imply that the \(S^h=0\), where \(h\) is the Coxeter number of \(\mathfrak{g}\). The proof is based on various results in Lie algebra cohomology.

MSC:

17B20 Simple, semisimple, reductive (super)algebras
17B56 Cohomology of Lie (super)algebras
22E67 Loop groups and related constructions, group-theoretic treatment
22E70 Applications of Lie groups to the sciences; explicit representations

References:

[1] Prakash Belkale and Shrawan Kumar, Eigenvalue problem and a new product in cohomology of flag varieties, Invent. Math. 166 (2006), no. 1, 185 – 228. · Zbl 1106.14037 · doi:10.1007/s00222-006-0516-x
[2] Raoul Bott, The space of loops on a Lie group, Michigan Math. J. 5 (1958), 35 – 61. · Zbl 0096.17701
[3] Freddy Cachazo, Michael R. Douglas, Nathan Seiberg, and Edward Witten, Chiral rings and anomalies in supersymmetric gauge theory, J. High Energy Phys. 12 (2002), 071, 56. · doi:10.1088/1126-6708/2002/12/071
[4] Shiing Shen Chern and James Simons, Characteristic forms and geometric invariants, Ann. of Math. (2) 99 (1974), 48 – 69. · Zbl 0283.53036 · doi:10.2307/1971013
[5] P. Etingof, On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras, II, Preprint (2004).
[6] P. Etingof and V. Kac, On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras, Preprint (2003).
[7] Howard Garland and M. S. Raghunathan, A Bruhat decomposition for the loop space of a compact group: a new approach to results of Bott, Proc. Nat. Acad. Sci. U.S.A. 72 (1975), no. 12, 4716 – 4717. · Zbl 0344.55009
[8] Bertram Kostant, Eigenvalues of the Laplacian and commutative Lie subalgebras, Topology 3 (1965), no. suppl. 2, 147 – 159 (German). · Zbl 0134.03504 · doi:10.1016/0040-9383(65)90073-X
[9] Bertram Kostant, On \?\? for a semisimple Lie algebra \?, as an equivariant module over the symmetric algebra \?(\?), Analysis on homogeneous spaces and representation theory of Lie groups, Okayama – Kyoto (1997), Adv. Stud. Pure Math., vol. 26, Math. Soc. Japan, Tokyo, 2000, pp. 129 – 144. · Zbl 0986.17002
[10] Bertram Kostant, Powers of the Euler product and commutative subalgebras of a complex simple Lie algebra, Invent. Math. 158 (2004), no. 1, 181 – 226. · Zbl 1076.17002 · doi:10.1007/s00222-004-0370-7
[11] Shrawan Kumar, Geometry of Schubert cells and cohomology of Kac-Moody Lie-algebras, J. Differential Geom. 20 (1984), no. 2, 389 – 431.
[12] Shrawan Kumar, Rational homotopy theory of flag varieties associated to Kac-Moody groups, Infinite-dimensional groups with applications (Berkeley, Calif., 1984) Math. Sci. Res. Inst. Publ., vol. 4, Springer, New York, 1985, pp. 233 – 273. · doi:10.1007/978-1-4612-1104-4_9
[13] Shrawan Kumar, Kac-Moody groups, their flag varieties and representation theory, Progress in Mathematics, vol. 204, Birkhäuser Boston, Inc., Boston, MA, 2002. · Zbl 1026.17030
[14] Andrew Pressley and Graeme Segal, Loop groups, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1986. Oxford Science Publications. · Zbl 0618.22011
[15] Ruedi Suter, Abelian ideals in a Borel subalgebra of a complex simple Lie algebra, Invent. Math. 156 (2004), no. 1, 175 – 221. · Zbl 1112.17012 · doi:10.1007/s00222-003-0337-0
[16] E. Witten, Chiral ring of \?\?(\?) and \?\?(\?) supersymmetric gauge theory in four dimensions, Chinese Ann. Math. Ser. B 24 (2003), no. 4, 403 – 414. · Zbl 1041.22011 · doi:10.1142/S0252959903000402
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.