The study of the center ζ(n) of the enveloping algebra U(gl(n)) of the general linear Lie algebra gl(n, C), and the study of the algebra Λ∗ (n) of shifted symmetric polynomials have noble and rather independent origins and motivations. The theme of central elements in U(gl(n)) is a standard one in the general theory of Lie algebras, see e.g. [18]. It is an old and actual one, since it is an offspring of the celebrated Capelli identity (see e.g. [11], [14], [21], [22], [36], [41], [42]), relates to its modern generalizations and applications (see e.g. [1], [24], [25], [29], [30], [31], [32], [40]) as well as to the theory of Yangians (see, e.g. [27], [28]).
Capelli bitableaux [S|T] and their variants (such as Young-Capelli bitableaux and double Young-Capelli bitableaux ) have been proved to be relevant in the study of the enveloping algebra U(gl(n)) = U(gl(n), C) of the general linear Lie algebra and of its center ζ(n). To be more specific, the superalgebraic method of virtual variables (see, e.g. [4], [5], [6], [7], [8], [9], [10]) allowed us to express remarkable classes of elements in U(gl(n)), namely, – the class of Capelli bitableaux [S|T] ∈ U(gl(n)) – the class of Young-Capelli bitableaux [S| |T| ] ∈ U(gl(n)) – the class of double Young-Capelli bitableaux [ |S| | |T| ] ∈ U(gl(n)) as the images - with respect to the Adgl(n)-adjoint equivariant Capelli devirtualization epimorphism - of simple expressions in an enveloping superalgebra U(gl(m_0|m_1 + n)).
Capelli (determinantal) bitableaux are generalizations of the famous column determinant element in U(gl(n)) introduced by Capelli in 1887 [11] (see, e.g. [9]). Young-Capelli bitableaux were introduced by the present authors several years ago [5], [6], [7] and might be regarded as generalizations of the Capelli column determinant elements in U(gl(n)) as well as of the Young symmetrizers of the classical representation theory of symmetric groups (see, e.g. [42]). Double Young-Capelli bitableaux play a crucial role in the study of the center ζ(n) of the enveloping algebra ([8], [10]).
In plain words, the Young-Capelli bitableau [S| |T| ] is obtained by adding a column symmetrization to the Capelli bitableau [S|T] and turn out to be a linear combination of Capelli bitableaux (see, e.g [10], Proposition 2.13). The double Young-Capelli bitableau [ |S| |T| ] is obtained by adding a further row skew-symmetrization to the Young-Capelli bitableau [S| |T| ] [10] turn out to be a linear combination of Young-Capelli bitableaux (see, e.g [10]) and, therefore, it is in turn a linear combination of Capelli bitableaux.
Capelli bitableaux are the preimages - with respect to the Koszul linear U(gl(n))- equivariant isomorphism K from the enveloping algebra U(gl(n)) to the polynomial algebra C[M_{n,n}] = Sym(gl(n)) ([26], [7], [9]) - of the classical determinantal bitableaux (see, e.g. [19], [17], [16], [20], [4]). Hence, they are ruled by the straightening laws and the set of standard Capelli bitableaux is a basis of U(gl(n)). The set of standard Young-Capelli bitableaux is another relavant basis of U(gl(n)) whose elements act in a nondegenerate orhogonal way on the set of standard right symmetrized bitableaux (the Gordan-Capelli basis of C[M_{n,n}]) and this fact leads to explicit complete decompositions of the semisimple U(gl(n))-module C[M_{n,n}] (see, e.g. [4], [5]). The linear combinations of double Young-Capelli bitableaux
(1) S_λ(n) = 1 H(λ) \times S [ |S| | |S| ] ∈ U(gl(n)), H(λ) the hook coefficient of the shape λ,
where the sum is extended to all row (strictly) increasing tableaux S on conjugate shape/partition of λ are central elements of U(gl(n)).
We called the elements S_λ(n) the Schur elements.
The Schur elements S_λ(n) are the preimages - with respect to the Harish-Chandra isomorphism - of the elements of the basis of shifted Schur polynomials S^∗_λ|n of the algebra Λ∗(n) of shifted symmetric polynomials [38], [33].
Hence, the Schur elements are the same [10] as the quantum immanants ([38], [31], [32], [33]) , first presented by Okounkov as traces of fusion matrices ([31], [32]) and, recently, described by the present authors as linear combinations (with explicit coefficients) of “diagonal” Capelli immanants [8]. Presentation (1) of Schur elements/quantum immanants doesn’t involve the irreducible characters of symmetric groups. Furthermore, it is better suited to the study of the eigenvalues on irreducible gl(n)−modules and of the duality in the algebra ζ(n), as well as to the study of the limit n → ∞, via the Olshanski decomposition (see, Olshanski [34], [35] and Molev [27], pp. 928 ff.)
We will consider a special class of Capelli bitableaux, namely the class of Capelli-Deruyts bitableaux.
These elements are Capelli bitableaux of the form K_λ = [Der∗ _λ |Der_λ] ∈ U(gl(n)),
where λ = (λ_1 ≥ λ_2 ≥ · · · ≥ λ_p) is a partition with λ1 ≤ n, and
– Derλ is the Deruyts tableaux of shape λ, that is the Young tableau of shape λ:
and
– Der∗ λ is the reverse Deruyts tableaux of shape λ, that is the Young tableau of shape λ.
Capelli-Deruyts bitableaux arise, in a natural way, as generalizations to arbitrary shapes
λ = (λ_1 ≥ λ_2 ≥ · · · ≥ λ_p) of the well-known Capelli column determinant elements
H(n)_ n ∈ U(gl(n)),
introduced by Alfredo Capelli [11] in the celebrated identities that bear his name (see, e.g. [11], [14], [21], [22], [36], [41], [42], [1], [24], [25], [29], [30], [31], [32], [40]).
Capelli-Deruyts bitableaux K_p n of rectangular shape λ = n p = ( p times n, n, n, · · · , n) are of particular interest since they are central elements in the enveloping algebra U(gl(n)).
The main problems we will study are the following:
- Given a gl(n, C)-highest weight vector v_µ of weight µ = (µ_1 ≥ µ_2 ≥ . . . ≥ µ_n), with µi ∈ N for every i = 1, 2, . . . , n, v_µ is an eigenvector of the action of the Capelli-Deruyts bitableau K_λ. Find an explicit form for the eigenvalues.
- Is it possible to expand the Capelli-Deruyts bitableau K_λ ∈ U(gl(n)) as a polynomial, with explicit coefficients, in the Capelli generators H_k^ (j) of the centers of the enveloping algebras U(gl(k)), k = 1, 2, . . . , n, j = 1, 2, . . . , k?
- Study further properties/applications of Capelli-Deruyts bitableaux.
REFERENCES
1] M. Atiyah, R. Bott and V. Patodi, On the heat equation and the Index Theorem, Invent. Math. 19(1973), 279-330
[2] A. Brini, Combinatorics, superalgebras, invariant theory and representation theory, S´eminaire Lotharingien de Combinatoire 55 (2007), Article B55g, 117 pp.
[3] A. Brini, Superalgebraic Methods in the Classical Theory of Representations. Capelli’s Identity, the Koszul map and the Center of the Enveloping Algebra U(gl(n)), in Topics in Mathematics, Bologna, Quaderni dell’ Unione Matematica Italiana n. 15, UMI, 2015, pp. 1 – 27
[4] A. Brini, A. Palareti, A. Teolis, Gordan–Capelli series in superalgebras, Proc. Natl. Acad. Sci. USA 85 (1988), 1330–1333
[5] A. Brini, A. Teolis, Young–Capelli symmetrizers in superalgebras, Proc. Natl. Acad. Sci. USA 86 (1989), 775–778.
[6] A. Brini, A. Teolis, Capelli bitableaux and Z-forms of general linear Lie superalgebras, Proc. Natl. Acad. Sci. USA 87 (1990), 56–60
[7] A. Brini, A. Teolis, Capelli’s theory, Koszul maps, and superalgebras, Proc. Natl. Acad. Sci. USA 90 (1993), 10245–10249
[8] A. Brini, A. Teolis, Young-Capelli bitableaux, Capelli immanants in U(gl(n)) and the Okounkov quantum immanants, Journal of Algebra and Its Applications, Vol. 20, No. 7 (2021) 2150123 (44 pages), Preprint: arXiv: 1807.10045v3, 45 pp.
[9] A. Brini, A. Teolis, On the action of the Koszul map on the enveloping algebra of the general linear Lie algebra, Communications in Algebra 48(12) (2020), 5254- 5281 Preprint, arXiv: 1906.02516v3, 33 pp.
[10] A. Brini, A. Teolis, Quantum immanants, double Young-Capelli bitableaux and Schur shifted symmetric functions, Journal of Algebra and its Applications, to appear. Preprint, arXiv:2107.10205v3, 52 pp.
[11] A. Capelli, Ueber die Zur¨uckf¨uhrung der Cayley’schen Operation Ω auf gew¨ohnliche Polar-Operationen, Math. Ann. 29 (1887), 331-338
[12] A. Capelli, Sul sistema completo delle operazioni di polare permutabili con ogni altra operazione di polare fra le stesse serie di variabili, Rend. Regia Acc. Scienze Napoli vol. VII (1893), 29 - 38
[13] A. Capelli, Dell’impossibilit`a di sizigie fra le operazioni fondamentali permutabili con ogni altra operazione di polare fra le stesse serie di variabili, Rend. Regia Acc. Scienze Napoli, vol. VII (1893), 155 - 162
[14] A. Capelli, Lezioni sulla teoria delle forme algebriche, Pellerano, Napoli, 1902
[15] S.-J. Cheng, W. Wang, Howe duality for Lie superalgebras, Compositio Math. 128 (2001), 55–94
[16] C. De Concini, D. Eisenbud, C. Procesi, Young diagrams and determinantal varieties, Invent. Math. 56 (1980), 129–165.
[17] J. D´esarm´enien, J. P. S. Kung, G.-C. Rota, Invariant theory, Young bitableaux and combinatorics, Adv. Math. 27 (1978), 63–92
[18] J. Dixmier, Enveloping algebras, Graduate Studies in Mathematics 11, American Mathematical Society, Providence, RI, 1996.
[19] P. Doubilet, G.-C. Rota, J. A. Stein, On the foundations of combinatorial theory IX. Combinatorial methods in invariant theory, Studies in Appl. Math. 53 (1974), 185–216
[20] F. D. Grosshans, G.-C. Rota and J. A. Stein, Invariant Theory and Superalgebras, AMS, 1987
[21] R. Howe, Remarks on classical invariant theory, Trans. Amer. Math. Soc. 313 (1989), 539–570
[22] R. Howe, T. Umeda, The Capelli identity, the double commutant theorem, and multiplicity-free actions, Math. Ann. 290 (1991), 565-619 51
[23] V. Kac, Lie Superalgebras, Adv. Math. 26 (1977), 8–96
[24] B Kostant and S. Sahi, The Capelli identity, Tube Domains and the Generalized Laplace Transform, Adv. Math. 87 (1991), 71–92
[25] B Kostant and S. Sahi, Jordan algebras and Capelli identities, Invent. Math. 112 (1993), 657–664
[26] J.-L. Koszul, Les alg´ebres de Lie gradu´ees de type sl(n,1) et l’op´erateur de A. Capelli, C. R. Acad. Sci. Paris Se´r. I Math. 292 (1981), no. 2, 139-141
[27] A.I. Molev, Yangians and their applications, in Handbook of Algebra, vol. 3 (M.Hazewinkel, Ed.), pp. 907 − 960, Elsevier, 2003
[28] A.I. Molev, Yangians and Classical Lie Algebras, Mathematical Surveys and Monographs, 143, Amer. Math. Soc., Providence RI, 2007
[29] A.I. Molev and M. Nazarov, Capelli identities for classical Lie algebras, Math. Ann. 313 (1999), 315-357
[30] M. Nazarov, Quantum Berezinian and the classical Capelli identity, Lett. Math. Phys. 21 (1991), 123-131
[31] A. Okounkov, Quantum immanants and higher Capelli identities, Transformation Groups 1 (1996), 99-126
[32] A. Okounkov, Young basis, Wick formula, and higher Capelli identities, Intern. Math. Res. Notices (1996), no. 17, 817–839
[33] A. Okounkov, G. I. Olshanski, Shifted Schur functions, Algebra i Analiz 9(1997), no. 2, 73–146 (Russian); English translation: St. Petersburg Math. J. 9 (1998), 239–300
[34] G. I. Olshanski, Extension of the algebra U(g) for infinite-dimensional classical Lie algebras g, and the Yangians Y (gl(m)), Soviet Math. Dokl. 36 (1988), 569–573.
[35] G. I. Olshanski, Representations of infinite-dimensional classical groups, limits of enveloping algebras, and Yangians, in Topics in Representation Theory (A. A. Kirillov, Ed.), Advances in Soviet Math. 2, AMS, Providence RI, 1991, pp. 1–66
[36] C. Procesi, Lie Groups. An approach through invariants and representations, Universitext, Springer, 2007
[37] F. Regonati, On the combinatorics of Young-Capelli symmetrizers, S´eminaire Lotharingien de Combinatoire 62 Article B62d, (2009), 36 pp.
[38] S. Sahi, The Spectrum of Certain Invariant Differential Operators Associated to a Hermitian Symmetric Space, in Lie theory and Geometry: in honor of Bertram Kostant, (J.-L. Brylinski, R.. Brylinski, V. Guillemin, V. Kac, Eds.), Progress in Mathematics, Vol. 123, pp. 569–576, Birkhauser, 1994
[39] M. Scheunert, The theory of Lie superalgebras: an introduction, Lecture Notes in Math., vol. 716, Springer Verlag, New York, 1979
[40] T. Umeda, The Capelli identity one century after, in: Selected Papers on Harmonic Analysis, Groups and Invariants, pp. 51-78, Amer. Math. Soc. Transl. Ser. 2, 183, AMS, Providence, RI, 1998
[41] T. Umeda, On the proof of the Capelli identities, Funkcialaj Ekvacioj 51 (2008), 1-15
[42] H. Weyl, The Classical Groups, 2nd ed., Princeton University Press, 1946