×

Index reduction formulas for twisted flag varieties. I. (English) Zbl 0874.16012

The varieties considered in this important paper are projective varieties over an arbitrary field \(F\) on which an adjoint semisimple algebraic group \(G\) acts, the action being transitive after scalar extension to a separable closure \(F_s\) of \(F\). The authors give a precise formula for the change in Schur index of arbitrary central simple \(F\)-algebras, when scalars are extended from \(F\) to the function field of such a variety. Only the case where \(G\) is of inner type is considered in detail in this paper, but the same methods also apply to groups of outer type, which the authors intend to treat in the second part.
If \(X\) is a twisted flag variety as above, then there is a parabolic subgroup \(P\) of \(G_s=G\times F_s\), uniquely determined by \(X\) up to conjugacy, such that \(X\) becomes isomorphic to \(G_s/P\) over \(F_s\). If \(G\) is of inner type, the general index reduction formula for an arbitrary central simple \(F\)-algebra \(D\) then takes the form \(\text{ind}(D\otimes F(X))=\gcd(n_\psi\text{ind}(D\otimes A(\psi)))\), where \(\psi\) runs over the characters of the center of the simply connected cover of \(G_s\), and the integers \(n_\psi\) and the central simple \(F\)-algebras \(A(\psi)\) depend only on \(\psi\). In the final sections of the paper, this formula is made explicit by a thorough description of the integers \(n_\psi\) and the algebras \(A(\psi)\) for the various types of groups \(G\) and parabolic subgroups \(P\). The authors thus recover various special cases previously obtained. The first of these special cases is due to A. Schofield and M. Van den Bergh [Trans. Am. Math. Soc. 333, No. 2, 729-739 (1992; Zbl 0778.12004)], who used Quillen’s computation of the group \(K_0\) of Brauer-Severi varieties to obtain an index reduction formula for scalar extension to the function field of a Brauer-Severi variety. The present paper uses the same technique, relying on Panin’s computation of the \(K\)-theory of twisted flag varieties. (Also submitted to MR).

MSC:

16K20 Finite-dimensional division rings
14L30 Group actions on varieties or schemes (quotients)
20G05 Representation theory for linear algebraic groups
19E08 \(K\)-theory of schemes

Citations:

Zbl 0778.12004
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Albert, A. A.: Structure of Algebras, A.M.S. Coll. Pub. 24, Amer. Math. Soc, Providence, R.I., 1961.
[2] Allen, H. P.: Hermitian forms II, J. Algebra 10 (1968), 503-515. · Zbl 0302.15031 · doi:10.1016/0021-8693(68)90076-8
[3] Amitsur, S. A.: Generic splitting fields of central simple algebras, Ann. of Math. 62 (1955), 8-43. · Zbl 0066.28604 · doi:10.2307/2007098
[4] Berele, A. and Saltman, D.: The centers of generic division algebras with involution, Israel J. Math. 63 (1988), 98-118. · Zbl 0662.16014 · doi:10.1007/BF02765023
[5] Blanchet, A.: Function fields of generalized Brauer-Severi varieties, Comm. Algebra 19 (1991), 97-118. · Zbl 0717.16014 · doi:10.1080/00927879108824131
[6] Borel, A.: Linear Algebraic Groups, 2nd edn, Springer, New York, 1991. · Zbl 0726.20030
[7] Borel, A. and Serre, J.-P.: Théorèmes de finitude en cohomologie galoisienne, Comm. Math. Helv. 39 (1964), 111-164. · Zbl 0143.05901 · doi:10.1007/BF02566948
[8] Borel, A. and Springer, T. A.: Rationality properties of linear algebraic groups II, Tôhoku Math. J. (2), 20 (1968), 443-497. · Zbl 0211.53302 · doi:10.2748/tmj/1178243073
[9] Borel, A. and Tits, J.: frGroupes réductifs, Pub. Math. I.H.E.S. 27 (1965), 55-150.
[10] Borel, A. and Tits, J.: Compléments à l’article ?Groupes réductifs?, Pub. Math. I.H.E.S. 41 (1972), 253-276. · Zbl 0254.14018
[11] Bourbaki, N.: Groupes et algèbres de Lie, Chap. 4, 5, 6, Masson, Paris, 1981. · Zbl 0483.22001
[12] Brown, K. S.: Cohomology of Groups, Springer, Berlin, 1982. · Zbl 0584.20036
[13] Bruhat, F. and Tits, J.: Groupes réductifs sur un corps local, II, Pub. Math. I.H.E.S. 60 (1984), 5-184.
[14] Bruhat, F. and Tits, J.: Groupes algébriques sur un corps local, Ch. III, J. Fac. Sci. Univ. Tokyo, Sec. IA, Math. 34 (1987), 671-698. · Zbl 0657.20040
[15] Brussel, E.: Noncrossed products and nonAbelian crossed products over ?(t) and ?((t)), Amer. J. Math. 117 (1995), 377-393. · Zbl 0822.16013 · doi:10.2307/2374919
[16] Chevalley, C: The Algebraic Theory of Spinors, Columbia Univ. Press, New York, 1954. · Zbl 0057.25901
[17] Chevalley, C: Classification des groupes de Lie algébriques, Séminaire C. Chevalley, Ecole Norm Sup., Paris, 1956-58.
[18] Demazure, M.: Automorphismes et déformations des variétés de Borel, Invent. Math. 39 (1977), 179-186. · Zbl 0406.14030 · doi:10.1007/BF01390108
[19] Demazure, M. and Gabriel, P.: Groupes algébriques, Tome 1, North-Holland, Amsterdam, 1970. · Zbl 0203.23401
[20] Demazure, M. and Grothendieck, A. (eds): Schémas en groupes III, (SGA 3, Tome III), Lecture Notes in Math. 153, Springer, Berlin, 1970. · Zbl 0212.52810
[21] Demeyer, F. and Ingraham, E.: Separable Algebras over Commutative Rings, Lecture Notes in Math. 181, Springer, Berlin, 1971. · Zbl 0215.36602
[22] Draxl, P. K.: Skew Fields, Cambridge Univ. Press, Cambridge, England, 1983. · Zbl 0498.16015
[23] Fein, B., Saltman, D. and Schacher, M.: Embedding problems for finite dimensional division algebras, J. Algebra 167 (1994), 588-626. · Zbl 0812.16024 · doi:10.1006/jabr.1994.1204
[24] Giraud, J.: Cohomologie non abélienne, Springer, Berlin, 1971. · Zbl 0226.14011
[25] Hartshorne, R.: Algebraic Geometry, Springer, New York, 1977. · Zbl 0367.14001
[26] Humphreys, J. E.: Introduction to Lie Algebras and Representation Theory, Springer, New York, 1972. · Zbl 0254.17004
[27] Humphreys, J. E.: Linear Algebraic Groups, Springer, New York, 1975. · Zbl 0325.20039
[28] Jacobson. N.: Clifford algebras for algebras with involution of type D, J. Algebra 1 (1964), 288-300. · Zbl 0135.07401 · doi:10.1016/0021-8693(64)90024-9
[29] Kapranov, M. M.: On the derived categories of coherent sheaves on some homogeneous spaces, Invent. Math. 92 (1988), 479-508. · Zbl 0651.18008 · doi:10.1007/BF01393744
[30] Kersten, I. and Rehmann, U.: Generic splitting of reductive groups, Tôhoku Math. J. (2) 46 (1994), 35-70. · Zbl 0805.20034 · doi:10.2748/tmj/1178225801
[31] Knus, M.-A.: Quadratic and Hermitian Forms over Rings, Springer, Berlin, 1991. · Zbl 0756.11008
[32] Knus, M.-A., Merkurjev, A. S., Rost, M. and Tignol, J.-P.: The Book of Involutions, in preparation.
[33] Knus, M.-A., Parimala, R. and Sridharan, R.: On the discriminant of an involution, Bull. Soc. Math. Belg., Sér. A 43 (1991), 89-98. · Zbl 0757.12002
[34] Lam, T.-Y: The Algebraic Theory of Quadratic Forms, rev. edn, Benjamin, Reading, Mass., 1981.
[35] Levine, M., Srinivas, V. and Weyman, J.: K-theory of twisted Grassmannians, K-Theory 3 (1989), 99-121. · Zbl 0705.14007 · doi:10.1007/BF00533374
[36] Merkurjev, A. S.: Simple algebras and quadratic forms, Izv. Akad. Nauk SSSR, Ser. Mat. 55 (1991), 218-224; English trans: Math. USSR Izvest. 38 (1992), 215-221.
[37] Merkurjev, A. S.: Involutions and algebraic groups, preprint, Recherches de mathématique, No. 36, Université Catholique de Louvain, Louvain-la-Neuve, Belgium, 1993.
[38] Merkurjev, A. S.: Maximal indexes of Tits algebras, preprint, 1995. · Zbl 0854.20060
[39] Merkurjev, A. S., Panin, I. A. and Wadsworth, A. R.: A list of index reduction formulas, preprint 94-079, SFB preprint series, University of Bielefeld, Bielefeld, Germany, 1994.
[40] Merkurjev, A. S., Panin, I. A. and Wadsworth, A. R.: Index reduction formulas for twisted flag varieties, II, preprint, 1996. · Zbl 0874.16012
[41] Merkurjev, A. S. and Tignol, J.-P.: The multipliers of similitudes and the Brauer group of homogeneous varieties, J. Reine Angew. Math. 461 (1995), 13-47. · Zbl 0819.16015 · doi:10.1515/crll.1995.461.13
[42] Milne, J. S.: Étale Cohomology, Princeton Univ. Press, Princeton, N.J., 1980. · Zbl 0433.14012
[43] Milnor, J.: Introduction to Algebraic K-Theory, Ann. of Math. Studies 72, Princeton Univ. Press, Princeton, N.J., 1971. · Zbl 0237.18005
[44] Miná?, J. and Wadsworth, A. R.: The u-invariant for algebraic extensions, in: B. Jacob and A. Rosenberg (ed.), K -Theory and Algebraic Geometry: Connections with Quadratic Forms and Division Algebras, Proc. Symp. Pure Math. Vol. 58, Part 2, Amer. Math. Soc., Providence, R.I., 1995, pp. 333-358. · Zbl 0824.11018
[45] Panin, I. A.: K-theory of Grassmannian fiber bundles and its twisted forms, LOMI preprints, E-5-89, 1989, 1-30.
[46] Panin, I. A.: On algebraic K-Theory of generalized flag fiber bundles and some of their twisted forms, in: A. A. Suslin (ed.), Algebraic K-Theory, Advances in Soviet Math., Vol. 4, Amer. Math. Soc, Providence, R.I., 1991, pp. 21-46. · Zbl 0744.18007
[47] Panin, I. A.: On the algebraic K-Theory of twisted flag varieties, K-Theory 8 (1994), 541-585. · Zbl 0854.19002 · doi:10.1007/BF00961020
[48] Panin, I. A.: A splitting principle, preprint 94-036, SFB preprint series, University of Bielefeld, Bielefeld, Germany, 1994.
[49] Parimala, R., Sridharan, R. and Suresh, V.: A question on the discriminants of involutions of central division algebras, Math. Ann. 297 (1993), 575-580. · Zbl 0803.16013 · doi:10.1007/BF01459519
[50] Quillen, D.: Higher algebraic K-theoty I, in: H. Bass (ed.), Algebraic K-Theory I, Higher K-Theories, Lecture Notes in Math. 341, Springer, Berlin, 1973, pp. 85-147. · Zbl 0292.18004
[51] Reiner, I.: Maximal Orders, Academic Press, London, 1975. · Zbl 0305.16001
[52] Rowen, L. H.: Identities in algebras with involution, Israel J. Math. 20 (1975), 70-95. · Zbl 0305.16012 · doi:10.1007/BF02756757
[53] Rowen, L. H.: Polynomial Identities in Ring Theory, Academic Press, New York, 1980. · Zbl 0461.16001
[54] Saltman, D.: Noncrossed products of small exponent, Proc. Amer. Math. Soc. 68 (1978), 165-168. · Zbl 0382.16010 · doi:10.1090/S0002-9939-1978-0476794-4
[55] Saltman, D.: The Schur index and Moody’s theorem, K-Theory 7 (1993), 309-332. · Zbl 0801.16014 · doi:10.1007/BF00962052
[56] Scharlau, W.: Quadratic and Hermitian Forms, Springer, Berlin, 1985. · Zbl 0584.10010
[57] Schofield, A. and van den Bergh, M.: The index of a Brauer class on a Brauer-Severi variety, Trans. Amer. Math. Soc. 333 (1992), 729-739. · Zbl 0778.12004 · doi:10.2307/2154058
[58] van den Bergh, M. and Schofield, A.: Division algebra coproducts of index n, Trans. Amer. Math. Soc. 341 (1994), 505-517. · Zbl 0813.16012 · doi:10.2307/2154570
[59] Serre, J.-P.: Cohomologie galoisienne, 3rd edn, Lecture Notes in Math. 5, Springer, Berlin, 1965. · Zbl 0136.02801
[60] Serre, J.-P.: Groupes de Grothendieck des schémas en groupes réductifs déployés, Pub. Math. I.H.E.S. 34 (1968), 37-52.
[61] Serre, J.-P.: Local Fields, Springer, New York, 1979; (English trans, of Corps Locaux).
[62] Springer, T. A.: Jordan Algebras and Algebraic Groups, Springer, New York, 1973. · Zbl 0259.17003
[63] Springer, T. A.: Reductive groups, in: A. Borel and W. Casselman (eds), Automorphic Forms, Representations, and L-Functions, Proc. Symp. Pure Math, part I, Amer. Math. Soc., Providence, R.I., 1979, pp. 3-27.
[64] Steinberg, R.: On a theorem of Pittie, Topology 14 (1975), 173-177. · Zbl 0318.22010 · doi:10.1016/0040-9383(75)90025-7
[65] Swan, R.: K-Theory of quadric hypersurfaces, Ann. of Math. 122 (1985), 113-153. · Zbl 0601.14009 · doi:10.2307/1971371
[66] Tao, D.: A variety associated to an algebra with involution, J. Algebra 168 (1994), 479-520. · Zbl 0818.16018 · doi:10.1006/jabr.1994.1241
[67] Tao, D.: The generalized even Clifford algebra, J. Algebra 172 (1995), 184-204. · Zbl 0837.16032 · doi:10.1006/jabr.1995.1058
[68] Tignol, J.-R: Algèbres indécomposables d’exposant premier, Adv. Math. 65 (1987), 205-228. · Zbl 0642.16015 · doi:10.1016/0001-8708(87)90022-3
[69] Tignol, J.-P.: Réduction de l’indice d’une algèbre simple centrale sur le corps des fonctions d’une quadrique, Bull. Soc. Math. Belg., Sér. A 42 (1990), 735-745. · Zbl 0736.12002
[70] Tignol, J.-P: Central simple algebras, involutions, and quadratic forms, Lecture notes, National Taiwan University, Taiwan, 1993.
[71] Tits, J.: Classification of algebraic semisimple groups, in: A. Borel and G. D. Mostow (ed.), Algebraic Groups and Discontinuous Subgroups, Proc. Symp. Pure Math. 9, Amer. Math. Soc, Providence, 1966, pp. 33-62. · Zbl 0238.20052
[72] Tits, J.: Formes quadratiques, groupes orthogonaux et algèbres de Clifford, Invent. Math. 5 (1968), 19-41. · Zbl 0155.05202 · doi:10.1007/BF01404536
[73] Tits, J.: Représentations linéaires irréductibles d’un groupe réductif sur un corps quelconque, J. Reine Angew. Math. 247 (1971), 196-220. · Zbl 0227.20015 · doi:10.1515/crll.1971.247.196
[74] Tits, J.: Strongly inner anisotropic forms of simple algebraic groups, J. Algebra 131 (1990), 648-677. · Zbl 0697.20029 · doi:10.1016/0021-8693(90)90201-X
[75] Tits, J.: Théorie des groupes, Résumé des cours et travaux, Ann. Collège France, 1990-1991, 125-138.
[76] Wadsworth, A. R.: The index reduction formula for generic partial splitting varieties, Comm. Algebra 21 (1993), 1063-1070. · Zbl 0788.16014 · doi:10.1080/00927879308824610
[77] Waterhouse, W. C.: Introduction to Affine Group Schemes, Springer, New York, 1979. · Zbl 0442.14017
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.