Bicyclic algebras of prime exponent over function fields

Kunyavskiĭ, Boris; Rowen, Louis; Tikhonov, Sergey; Yanchevskiĭ, Vyacheslav

doi:10.1090/S0002-9947-05-03772-4

Bicyclic algebras of prime exponent over function fields
HTML articles powered by AMS MathViewer

by Boris È. Kunyavskiĭ, Louis H. Rowen, Sergey V. Tikhonov and Vyacheslav I. Yanchevskiĭ PDF

Trans. Amer. Math. Soc. 358 (2006), 2579-2610 Request permission

Abstract:

We examine some properties of bicyclic algebras, i.e. the tensor product of two cyclic algebras, defined over a purely transcendental function field in one variable. We focus on the following problem: When does the set of local invariants of such an algebra coincide with the set of local invariants of some cyclic algebra? Although we show this is not always the case, we determine when it happens for the case where all degeneration points are defined over the ground field. Our main tool is Faddeev’s theory. We also study a geometric counterpart of this problem (pencils of Severi–Brauer varieties with prescribed degeneration data).

References

A. A. Albert, On the Wedderburn norm condition for cyclic algebras, Bull. Amer. Math. Soc. 37 (1931), 301–312.
J. W. S. Cassels and A. Fröhlich (eds.), Algebraic number theory, Academic Press, London; Thompson Book Co., Inc., Washington, D.C., 1967. MR 0215665
M. Artin, Left ideals in maximal orders, Brauer groups in ring theory and algebraic geometry (Wilrijk, 1981), Lecture Notes in Math., vol. 917, Springer, Berlin-New York, 1982, pp. 182–193. MR 657429
Maurice Auslander and Armand Brumer, Brauer groups of discrete valuation rings, Nederl. Akad. Wetensch. Proc. Ser. A 71=Indag. Math. 30 (1968), 286–296. MR 0228471
S. Bloch, Torsion algebraic cycles, $K_{2}$, and Brauer groups of function fields, The Brauer group (Sem., Les Plans-sur-Bex, 1980) Lecture Notes in Math., vol. 844, Springer, Berlin, 1981, pp. 75–102. MR 611866
Eric S. Brussel, An arithmetic obstruction to division algebra decomposability, Proc. Amer. Math. Soc. 128 (2000), no. 8, 2281–2285. MR 1662237, DOI 10.1090/S0002-9939-00-05296-5
Jean-Louis Colliot-Thélène, Exposant et indice d’algèbres simples centrales non ramifiées, Enseign. Math. (2) 48 (2002), no. 1-2, 127–146 (French). With an appendix by Ofer Gabber. MR 1923420
Jean-Louis Colliot-Thélène and Jean-Jacques Sansuc, On the Chow groups of certain rational surfaces: a sequel to a paper of S. Bloch, Duke Math. J. 48 (1981), no. 2, 421–447. MR 620258
Jean-Louis Colliot-Thélène and Peter Swinnerton-Dyer, Hasse principle and weak approximation for pencils of Severi-Brauer and similar varieties, J. Reine Angew. Math. 453 (1994), 49–112. MR 1285781, DOI 10.1515/crll.1994.453.49
Richard Elman and T. Y. Lam, Quadratic forms and the $u$-invariant. II, Invent. Math. 21 (1973), 125–137. MR 417053, DOI 10.1007/BF01389692
D. K. Faddeev, Simple algebras over a field of algebraic functions of one variable, Amer. Math. Soc. Transl. (2) 3 (1956), 15–38. MR 0077505, DOI 10.1090/trans2/003/02
Burton Fein and Murray Schacher, Ulm invariants of the Brauer group of a field, Math. Z. 154 (1977), no. 1, 41–50. MR 457410, DOI 10.1007/BF01215111
Burton Fein and Murray Schacher, Brauer groups and character groups of function fields, J. Algebra 61 (1979), no. 1, 249–255. MR 554861, DOI 10.1016/0021-8693(79)90315-6
T. J. Ford, Division algebras that ramify only along a singular plane cubic curve, New York J. Math. 1 (1994/95), 178–183, electronic. MR 1348596
Emmanuelle Frossard, Fibres dégénérées des schémas de Severi-Brauer d’ordres, J. Algebra 198 (1997), no. 2, 362–387 (French). MR 1489903, DOI 10.1006/jabr.1997.7141
V. A. Iskovskih, Rational surfaces with a pencil of rational curves, Mat. Sb. (N.S.) 74 (116) (1967), 608–638 (Russian). MR 0220734
V. A. Iskovskih, Minimal models of rational surfaces over arbitrary fields, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 19–43, 237 (Russian). MR 525940
Bill Jacob, Division algebras which only ramify along a hyperelliptic curve in $\mathbf P^2$, J. Algebra 242 (2001), no. 2, 720–728. MR 1848967, DOI 10.1006/jabr.2001.8843
Bill Jacob and Adrian Wadsworth, Division algebras over Henselian fields, J. Algebra 128 (1990), no. 1, 126–179. MR 1031915, DOI 10.1016/0021-8693(90)90047-R
Andrew Kresch, Hodge-theoretic obstruction to the existence of quaternion algebras, Bull. London Math. Soc. 35 (2003), no. 1, 109–116. MR 1934439, DOI 10.1112/S0024609302001546
B. È. Kunyavskiĭ, A. N. Skorobogatov, and M. A. Tsfasman, del Pezzo surfaces of degree four, Mém. Soc. Math. France (N.S.) 37 (1989), 113 (English, with French summary). MR 1016354
B. È. Kunyavskiĭ and M. A. Tsfasman, Zero-cycles on rational surfaces and Néron-Severi tori, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 3, 631–654 (Russian). MR 747255
T. Y. Lam, The algebraic theory of quadratic forms, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1973. MR 0396410
Serge Lang and André Weil, Number of points of varieties in finite fields, Amer. J. Math. 76 (1954), 819–827. MR 65218, DOI 10.2307/2372655
Yu. I. Manin, Cubic forms, 2nd ed., North-Holland Mathematical Library, vol. 4, North-Holland Publishing Co., Amsterdam, 1986. Algebra, geometry, arithmetic; Translated from the Russian by M. Hazewinkel. MR 833513
Pat Morandi, The Henselization of a valued division algebra, J. Algebra 122 (1989), no. 1, 232–243. MR 994945, DOI 10.1016/0021-8693(89)90247-0
U. Rehmann, S. V. Tikhonov, and V. I. Yanchevskii, Two-torsion of the Brauer groups of hyperelliptic curves and unramified algebras over their function fields, Comm. Algebra 29 (2001), no. 9, 3971–3987. Special issue dedicated to Alexei Ivanovich Kostrikin. MR 1857024, DOI 10.1081/AGB-100105985
Shmuel Rosset and John Tate, A reciprocity law for $K_{2}$-traces, Comment. Math. Helv. 58 (1983), no. 1, 38–47. MR 699005, DOI 10.1007/BF02564623
David J. Saltman, Division algebras over $p$-adic curves, J. Ramanujan Math. Soc. 12 (1997), no. 1, 25–47. MR 1462850
Jean-Pierre Serre, Corps locaux, Publications de l’Université de Nancago, No. VIII, Hermann, Paris, 1968 (French). Deuxième édition. MR 0354618
Jean-Pierre Serre, Cohomologie galoisienne, 5th ed., Lecture Notes in Mathematics, vol. 5, Springer-Verlag, Berlin, 1994 (French). MR 1324577, DOI 10.1007/BFb0108758
S. V. Tikhonov and V. I. Yanchevskiĭ, Unramified algebras of exponent two over fields of functions of decomposable hyperelliptic curves, Dokl. Nats. Akad. Nauk Belarusi 45 (2001), no. 1, 42–44, 137 (Russian, with English and Russian summaries). MR 1850029
S. V. Tikhonov and V. I. Yanchevskiĭ, Two-torsion of unramified Brauer groups of function fields of split hyperelliptic curves, Dokl. Nats. Akad. Nauk Belarusi 45 (2001), no. 3, 5–6, 123 (Russian, with English and Russian summaries). MR 1890418
Michel Van den Bergh, Division algebras on $\textbf {P}^2$ of odd index, ramified along a smooth elliptic curve are cyclic, Algèbre non commutative, groupes quantiques et invariants (Reims, 1995) Sémin. Congr., vol. 2, Soc. Math. France, Paris, 1997, pp. 43–53 (English, with English and French summaries). MR 1601190
E. Witt, Schiefkörper über diskret bewerteten Körpern, J. Reine Angew. Math. 176 (1936), 153–156.
V. I. Yanchevskiĭ and G. L. Margolin, Brauer groups of local hyperelliptic curves with good reduction, Algebra i Analiz 7 (1995), no. 6, 227–249 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 7 (1996), no. 6, 1033–1048. MR 1381984