Wahl, Jonathan Gaussian maps and tensor products of irreducible representations. (English) Zbl 0764.20022 Manuscr. Math. 73, No. 3, 229-259 (1991). Let \(X\) be a smooth projective variety in characteristic 0; \(L\) and \(M\) line bundles over \(X\). Then a natural filtration of \(\Gamma(L)\otimes \Gamma(M)\) is provided by the \(R_ i(L,M)=\Gamma(X\times X,I^ i\otimes (L\otimes M))\), where \(I\) is the ideal sheaf of the diagonal. There are natural maps \(\Phi_ i: R_ i(L,M)\to\Gamma(S^ i \Omega_ x^ 1\otimes L\otimes M)\) (with kernel \(R_{i+1}(L,M)\)) generalising \(\Phi_ 1\), which is a sort of Gauss map. If \(M=L\), the \(R_{2i}\) induce a filtration for \(S^ 2\Gamma(L)\) and the \(R_{2i+1}\) one for \(\Lambda^ 2\Gamma(L)\). Also \(\Phi_ i\) is surjective if \(L\) and \(M\) are sufficiently ample. In the case when \(X=G/P\) with \(G\) a complex simply-connected simple Lie group and \(P\) a parabolic subgroup, \(\Gamma(L)\) is an irreducible \(G\)-module if \(L\) is effective. The author conjectures that if \(L\) and \(M\) are ample, then \(\Phi_ 1\) is surjective, and the main results are proofs of this conjecture when \(G=SL_ n\) and \(P\) a Borel subgroup or when \(P\) is a maximal parabolic corresponding to a miniscule root.Corollaries of the conjecture (both assuming \(G\neq G_ 2\)) are: 1. If \(\lambda\), \(\mu\) are regular dominant weights and \(\alpha\) a positive root, then \(V(\lambda+\mu-\alpha)\) is a summand of \(V(\lambda)\otimes V(\mu)\); 2. If each of \(L\), \(M\) is at least \(r\) times an ample line bundle then \(\Phi_ i\) is surjective for \(i\leq r\); 3. If \(\lambda,\mu\geq r\delta\) are regular dominant weights and \(\beta\) a sum of \(i\leq r\) positive roots, then \(V(\lambda+\mu-\beta)\) is a summand of \(V(\lambda)\otimes V(\mu)\). It seems that the conjecture was proved in general in a recent preprint of Kumar. The author approaches this by defining the filtration \(F_ i=\Gamma(X,m^ i L)\) of \(\Gamma(L)\) (where \(m\) is the ideal sheaf defining the identity coset), and proving that \(R_ i(L,M)=\text{Ind}_ P^ G(F_ i\otimes\Gamma(M))\). A number of standard facts about representation theory are recalled, which suffice to permit a rather complete analysis of the cases where the conjecture is proved. Such complete information is difficult to obtain in general. Reviewer: C.T.C.Wall (Liverpool) Cited in 3 ReviewsCited in 14 Documents MSC: 20G05 Representation theory for linear algebraic groups 14B20 Formal neighborhoods in algebraic geometry 14L35 Classical groups (algebro-geometric aspects) 22E10 General properties and structure of complex Lie groups 14J60 Vector bundles on surfaces and higher-dimensional varieties, and their moduli Keywords:smooth projective variety; line bundles; natural filtration; Gauss map; complex simply-connected simple Lie group; irreducible \(G\)-module; miniscule root; regular dominant weights; positive root; ample line bundle PDFBibTeX XMLCite \textit{J. Wahl}, Manuscr. Math. 73, No. 3, 229--259 (1991; Zbl 0764.20022) Full Text: DOI EuDML References: [1] [Bt] Bott, R.: Homogeneous vector bundles. Ann. of Math.66, 203–248 (1957) · Zbl 0094.35701 · doi:10.2307/1969996 [2] [B1] Bourbaki, N.:Groupes et algèbres de Lie, Chap. 4–6, Paris: Hermann, 1968 [3] [B2] Bourbaki, N.:Groupes et algèbres de Lie, Chap. 7–8, Paris: Hermann, 1975 [4] [D] Demazure, M.: Une démonstration algébrique d’un théorème de Bott. Invent. Math.5, 349–356 (1968) · Zbl 0204.54102 · doi:10.1007/BF01389781 [5] [GH] Griffiths, P. and Harris, J.: Algebraic geometry and local differential geometry. Ann. Sci. E. N. S.12, 355–432 (1979) · Zbl 0426.14019 [6] [H] Humphreys, J.:Introduction to Lie algebras and representation theory. Graduate Texts in Mathematics9, New York: Springer-Verlag, 1980 [7] [Ka] Kass, S.: Explicit decompositions of some tensor products of modules for simple complex Lie algebras. Comm. in Alg.15, 2251–2261 (1987) · Zbl 0637.17003 · doi:10.1080/00927878708823536 [8] [Ko] Kostant, B.: A formula for the multiplicity of a weight. Trans. Amer. Math. Soc.93, 53–73 (1959) · Zbl 0131.27201 · doi:10.1090/S0002-9947-1959-0109192-6 [9] [Ku1] Kumar, S.: Proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture. Invent. Math.93, 117–130 (1988) · Zbl 0668.17008 · doi:10.1007/BF01393689 [10] [Ku2] Kumar, S.: A refinement of the PRV conjecture. Invent. Math.97, 305–312 (1989) · Zbl 0691.17004 · doi:10.1007/BF01389044 [11] [LMS] Lakshmibai, V.; Musili, C.; and Seshadri, C. S.: Cohomology of line bundles on G/B. Ann. Sci. E. N. S.7, 89–137 (1974). · Zbl 0338.14017 [12] [M] Macdonald, I.G.:Symmetric functions and Hall polynomials. Oxford: Clarendon Press, 1979 · Zbl 0487.20007 [13] [MR] Mehta, V.B. and Ramanathan, A. Frobenius splitting and cohomology vanishing for Schubert varieties. Ann. Math.122, 27–40 (1985). · Zbl 0601.14043 · doi:10.2307/1971368 [14] [RR] Ramanan, S. and Ramanathan, A.: Projective normality of flag varieties and Schubert varieties. Invent. Math.79, 217–224 (1985). · Zbl 0553.14023 · doi:10.1007/BF01388970 [15] [W1] Wahl, J.: The Jacobian algebra of a graded Gorenstein singularity. Duke. Math. J.55, 843–871 (1987) · Zbl 0644.14001 · doi:10.1215/S0012-7094-87-05540-2 [16] [W2] Wahl, J.: Deformations of quasihomogeneous surface singularities. Math. Ann.280, 105–128 (1988). · Zbl 0652.14001 · doi:10.1007/BF01474184 [17] [W3] Wahl, J.: Gaussian maps on algebraic curves. J. Differ. Geom.32, 77–98 (1990). · Zbl 0724.14022 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.