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 , to compute , where 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 , we define a *double covering* of to be an extension of degree , such that is Galois. We demonstrate that each class gives rise to a double covering of , by . When lifts a canonical basis element indexed by two odd primes, we show that this double covering can be non-abelian. *However, if* *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* *is abelian and hence* . The 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.

**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**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**- 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**

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