Curves that are cyclic twists of and the relative Brauer groups

Authors:
Darrell E. Haile, Ilseop Han and Adrian R. Wadsworth

Journal:
Trans. Amer. Math. Soc. **364** (2012), 4875-4908

MSC (2010):
Primary 16K50

DOI:
https://doi.org/10.1090/S0002-9947-2012-05526-7

Published electronically:
April 25, 2012

MathSciNet review:
2922613

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a field with . Let be the projective curve of a binary cubic form , and the function field of . In this paper we explicitly describe the relative Brauer group of over . When is diagonalizable we show that every algebra in is a cyclic algebra obtainable using the -coordinate of a -rational point on the Jacobian of . But when is not diagonalizable, the algebras in are presented as cup products of cohomology classes, but not as cyclic algebras. In particular, we provide several specific examples of relative Brauer groups for , the rationals, and for , where is a primitive third root of unity. The approach is to realize as a cyclic twist of its Jacobian , an elliptic curve, and then apply a recent theorem of Ciperiani and Krashen.

**[A]**A. Adrian Albert,*On normal Kummer fields over a non-modular field*, Trans. Amer. Math. Soc.**36**(1934), no. 4, 885–892. MR**1501774**, https://doi.org/10.1090/S0002-9947-1934-1501774-2**[An]**Sang Yook An, Seog Young Kim, David C. Marshall, Susan H. Marshall, William G. McCallum, and Alexander R. Perlis,*Jacobians of genus one curves*, J. Number Theory**90**(2001), no. 2, 304–315. MR**1858080**, https://doi.org/10.1006/jnth.2000.2632**[Ca]**J. W. S. Cassels,*Lectures on elliptic curves*, London Mathematical Society Student Texts, vol. 24, Cambridge University Press, Cambridge, 1991. MR**1144763****[CK]**M. Ciperiani and D. Krashen, Relative Brauer groups of genus 1 curves, to appear in*Israel J. Math.*, preprint, arXiv:math/0701614v2.**[D]**L. E. Dickson,*Algebraic Invariants*, J. Wiley, New York, 1914.**[Gr]**Benedict H. Gross,*Arithmetic on elliptic curves with complex multiplication*, Lecture Notes in Mathematics, vol. 776, Springer, Berlin, 1980. With an appendix by B. Mazur. MR**563921****[H]**Darrell E. Haile,*On the Clifford algebra of a binary cubic form*, Amer. J. Math.**106**(1984), no. 6, 1269–1280. MR**765580**, https://doi.org/10.2307/2374394**[H]**Darrell Haile,*On Clifford algebras, conjugate splittings, and function fields of curves*, Ring theory 1989 (Ramat Gan and Jerusalem, 1988/1989) Israel Math. Conf. Proc., vol. 1, Weizmann, Jerusalem, 1989, pp. 356–361. MR**1029325****[H]**Darrell E. Haile,*When is the Clifford algebra of a binary cubic form split?*, J. Algebra**146**(1992), no. 2, 514–520. MR**1152918**, https://doi.org/10.1016/0021-8693(92)90081-V**[HH]**Darrell Haile and Ilseop Han,*On an algebra determined by a quartic curve of genus one*, J. Algebra**313**(2007), no. 2, 811–823. MR**2329571**, https://doi.org/10.1016/j.jalgebra.2006.10.024**[HKRT]**Darrell E. Haile, Max-Albert Knus, Markus Rost, and Jean-Pierre Tignol,*Algebras of odd degree with involution, trace forms and dihedral extensions*. part B, Israel J. Math.**96**(1996), no. part B, 299–340. MR**1433693**, https://doi.org/10.1007/BF02937309**[Hu]**Dale Husemoller,*Elliptic curves*, Graduate Texts in Mathematics, vol. 111, Springer-Verlag, New York, 1987. With an appendix by Ruth Lawrence. MR**868861****[J]**Nathan Jacobson,*Finite-dimensional division algebras over fields*, Springer-Verlag, Berlin, 1996. MR**1439248****[KMRT]**Max-Albert Knus, Alexander Merkurjev, Markus Rost, and Jean-Pierre Tignol,*The book of involutions*, American Mathematical Society Colloquium Publications, vol. 44, American Mathematical Society, Providence, RI, 1998. With a preface in French by J. Tits. MR**1632779****[L]**Stephen Lichtenbaum,*The period-index problem for elliptic curves*, Amer. J. Math.**90**(1968), 1209–1223. MR**0237506**, https://doi.org/10.2307/2373297**[L]**Stephen Lichtenbaum,*Duality theorems for curves over 𝑝-adic fields*, Invent. Math.**7**(1969), 120–136. MR**0242831**, https://doi.org/10.1007/BF01389795**[Mi]**J. S. Milne,*Class Field Theory*, http://www.jmilne.org/math/CourseNotes/CFT400.pdf.**[SAGE]***SAGE Mathematical Software*, Version 2.6, http://www.sagemath.org.**[Se]**Jean-Pierre Serre,*Local fields*, Graduate Texts in Mathematics, vol. 67, Springer-Verlag, New York-Berlin, 1979. Translated from the French by Marvin Jay Greenberg. MR**554237****[Si]**Joseph H. Silverman,*The arithmetic of elliptic curves*, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR**817210****[Sk]**Alexei Skorobogatov,*Torsors and rational points*, Cambridge Tracts in Mathematics, vol. 144, Cambridge University Press, Cambridge, 2001. MR**1845760****[V]**J. Vélu, Isogénies entre courbes elliptiques,*C. R. Acad. Sci. Paris, Sér. A-B*,**273**(1971), A238-A241.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
16K50

Retrieve articles in all journals with MSC (2010): 16K50

Additional Information

**Darrell E. Haile**

Affiliation:
Department of Mathematics, Indiana University, Bloomington, Indiana 47405

Email:
haile@indiana.edu

**Ilseop Han**

Affiliation:
Department of Mathematics, California State University, San Bernardino, California 92407

Email:
ihan@csusb.edu

**Adrian R. Wadsworth**

Affiliation:
Department of Mathematics, University of California, San Diego, La Jolla, California 92093-0112

Email:
arwadsworth@ucsd.edu

DOI:
https://doi.org/10.1090/S0002-9947-2012-05526-7

Received by editor(s):
April 5, 2010

Received by editor(s) in revised form:
December 1, 2010

Published electronically:
April 25, 2012

Additional Notes:
We would like to thank D. Krashen for some useful conversations, and in particular for his assistance with the proof of Theorem 6.1.

Article copyright:
© Copyright 2012
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.