Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Algebraic gamma monomials and double coverings of cyclotomic fields


Author: Pinaki Das
Journal: Trans. Amer. Math. Soc. 352 (2000), 3557-3594
MSC (1991): Primary 11R18; Secondary 11R32, 11G99
DOI: https://doi.org/10.1090/S0002-9947-00-02417-X
Published electronically: March 28, 2000
MathSciNet review: 1638625
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We investigate the properties of algebraic gamma monomials--that is, algebraic numbers which are expressible as monomials in special values of the classical gamma function. Recently Anderson has constructed a double complex ${\mathbb{SK} }$, to compute $H^*(\pm, {\mathbb{U} })$, where ${\mathbb{U} }$ is the universal ordinary distribution. We use the double complex to deduce explicit formulae for algebraic gamma monomials. We provide simple proofs of some previously known results of Deligne on algebraic gamma monomials. Deligne used the theory of Hodge cycles for his results. By contrast, our proofs are constructive and relatively elementary. Given a Galois extension $K/F$, we define a double covering of $K/F$ to be an extension $\tilde{K}/K$ of degree $\leq 2$, such that ${\tilde{K}}/F$ is Galois. We demonstrate that each class ${\mathbf{a}}\in H^2(\pm, {\mathbb{U} }) $ gives rise to a double covering of ${\mathbb{Q} }(\zeta_ \infty)/{\mathbb{Q} }$, by ${\mathbb{Q} }(\zeta_ \infty,\sqrt{\sin{\mathbf{a}}})/{\mathbb{Q} }(\zeta_ \infty)$. When ${\mathbf{a}}$ lifts a canonical basis element indexed by two odd primes, we show that this double covering can be non-abelian. However, if ${\mathbf{a}}$ represents any of the canonical basis classes indexed by an odd squarefree positive integer divisible by at least four primes, then the Galois group of ${\mathbb{Q} }(\zeta_ \infty,\sqrt{\sin{\mathbf{a}}})/{\mathbb{Q} }$ is abelian and hence $\sqrt{\sin{\mathbf{a}}} \in {\mathbb{Q} }(\zeta_ \infty)$. The $\sqrt{\sin{\mathbf{a}}}$ may very well be a new supply of abelian units. The relevance of these units to the unit index formula for cyclotomic fields calls for further investigations.


References [Enhancements On Off] (What's this?)

  • 1. G. W. Anderson, A double complex for computing the sign-cohomology of the universal ordinary distribution, Recent Progress in Algebra (Taejon/Seoul, 1997; S. G. Hahn et al., eds.), Contemp. Math., vol. 224, Amer. Math. Soc., Providence, RI, 1999, pp. 1-27. MR 99k:11169
  • 2. P. Deligne, Valeurs de fonctions L et périodes d'intégrales, Proc. Sympos. Pure Math. 33 (1979), part 2, 313-346. MR 81d:12009
  • 3. P. Deligne, J. S. Milne, A. Ogus, K.-Y. Shih, Hodge Cycles, Motives and Shimura Varieties, Lecture Notes in Math., vol. 900, Springer-Verlag, New York, 1982. MR 84m:14046
  • 4. N. Koblitz, A. Ogus, Algebraicity of some products of values of the $\Gamma$ function, Appendix: Valeurs de fonctions L et périodes d'intégrales, Proc. Sympos. Pure Math. 33 (1979), part 2, 343-346. MR 81d:12009
  • 5. D. S. Kubert, The universal ordinary distribution, Bull. Soc. Math. France, 107 (1979), 179-202. MR 81b:12004
  • 6. D. S. Kubert, The $\mathbb{Z} /2\mathbb{Z} $- cohomology of the universal ordinary distribution, Bull. Soc. Math. France, 107 (1979), 203-224. MR 81a:20062
  • 7. S. Lang, Cyclotomic Fields, I and II, Graduate Texts in Mathematics, 121, 1990, Springer-Verlag, New York. MR 91c:11001
  • 8. W. Sinnott, On the Stickelberger ideal and the circular units of a cyclotomic field, Ann. Math., 108 (1978), 107-134. MR 82i:12004
  • 9. L. W. Washington, Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83, 1996, Springer-Verlag, New York. MR 97h:11130

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 11R18, 11R32, 11G99

Retrieve articles in all journals with MSC (1991): 11R18, 11R32, 11G99


Additional Information

Pinaki Das
Affiliation: Department of Mathematics, Pennsylvania State University, McKeesport, Pennsylvania 15132
Email: pxd14@psu.edu

DOI: https://doi.org/10.1090/S0002-9947-00-02417-X
Received by editor(s): September 18, 1997
Received by editor(s) in revised form: June 29, 1998
Published electronically: March 28, 2000
Article copyright: © Copyright 2000 American Mathematical Society

American Mathematical Society