Thue equations and CM-fields

We obtain a polynomial-type upper bounds for the size and the number of the integral solutions of Thue equations \(F(X,Y) = b\) defined over a totally real number field K, assuming that F(X, 1) has a root \(\alpha \) such that \(K(\alpha )\) is a CM-field. Furthermore, we give an algorithm for the computation of the integral solutions of such an equation.     

On the Galois module structure over CM-fields

In this paper we make a contribution to the problem of the existence of a normal integral basis. Our main result is that unramified realizations of a given finite abelian group Δ as a Galois group Gal (N/K) of an extensionN of a givenCM-fieldK are invariant under the involution on the set of all realizations of Δ overK which is induced by complex conjugation onK and by inversion on Δ. We give various implications of this result. For example, we show that the tame realizations of a finite abelian group Δ of odd order over a totally real number fieldK are completely characterized by ramification and Galois module structure.     

Computation of relative class numbers of CM-fields

It was well known that it is easy to compute relative class numbers of abelian CM-fields by using generalized Bernoulli numbers (see Theorem 4.17 in Introduction to cyclotomic fields by L. C. Washington, Grad. Texts in Math., vol. 83, Springer-Verlag, 1982). Here, we provide a technique for computing the relative class number of any CM-field.

     

CM-fields with relative class number one

We will show that the normal CM-fields with relative class number one are of degrees . Moreover, if we assume the Generalized Riemann Hypothesis, then the normal CM-fields with relative class number one are of degrees , and the CM-fields with class number one are of degrees . By many authors all normal CM-fields of degrees with class number one are known except for the possible fields of degree or . Consequently the class number one problem for normal CM-fields is solved under the Generalized Riemann Hypothesis except for these two cases.

     

Fractalized cyclotomic polynomials

For each prime power , we realize the classical cyclotomic polynomial as one of a collection of different polynomials in . We show that the new polynomials are similar to in many ways, including that their discriminants all have the form . We show also that the new polynomials are more complicated than in other ways, including that their complex roots are generally fractal in appearance.

     

Inverse cyclotomic polynomials

Let Ψn(x) be the monic polynomial having precisely all non-primitive nth roots of unity as its simple zeros. One has Ψn(x)=(xn−1)/Φn(x), with Φn(x) the nth cyclotomic polynomial. The coefficients of Ψn(x) are integers that like the coefficients of Φn(x) tend to be surprisingly small in absolute value, e.g. for n<561 all coefficients of Ψn(x) are ?1 in absolute value. We establish various properties of the coefficients of Ψn(x), especially focusing on the easiest non-trivial case where n is composed of 3 distinct odd primes.     

On some algebraic properties of CM-types of CM-fields and their reflexes

Text

The purpose of this paper is to show that the reflex fields of a given CM-field K are equipped with a certain combinatorial structure that has not been exploited yet.The first theorem is on the abelian extension generated by the moduli and the b-torsion points of abelian varieties of CM-type, for any natural number b. It is a generalization of the result by Wei on the abelian extension obtained by the moduli and all the torsion points. The second theorem gives a character identity of the Artin L-function of a CM-field K and the reflex fields of K. The character identity pointed out by Shimura (1977) in [10] follows from this.The third theorem states that some Pfister form is isomorphic to the orthogonal sum of defined on the reflex fields _⊕Φ∈ΛK^∗(Φ). This result suggests that the theory of complex multiplication on abelian varieties has a relationship with the multiplicative forms in higher dimension.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=IIwksVYV5YE.     

Quasi-reflection algebras and cyclotomic associators

We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism , where B _n ¹ is a braid group of type B. The formality isomorphism depends algebraically on a series Ψ_KZ, the “KZ pseudotwist”. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N, k), mapping to Drinfeld’s group GT(k), and whose Lie algebra is isomorphic to its associated graded (N, k). We prove that Ihara’s subgroup GTK of the Grothendieck–Teichmüller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue (N, k) of (N, k); it is a graded Lie algebra with an action of , and we give a lower bound for the character of its space of generators.      

Class number one problem for normal CM-fields

It is known that if we assume the Generalized Riemann Hypothesis, then any normal CM-field with relative class number one is of degree less than or equal to 96. All normal CM-fields of degree less than 48 with class number one are known. In addition, for normal CM-fields of degree 48 the class number one problem is partially solved. In this paper we will show that under the Generalized Riemann Hypothesis there is no more normal CM-fields with class number one except for the possible fields of degrees 64 or 96.     

Stickelberger elements,Fitting ideals of class groups of CM-fields,and dualisation

In this paper, we systematically construct abelian extensions of CM-fields over a totally real field whose Stickelberger elements are not in the Fitting ideals of the class groups. Our evidence indicates that Pontryagin duals of class groups behave better than the class groups themselves. We also explore the behaviour of Fitting ideals under projective limits and dualisation in a somewhat broader context.     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

On the cyclotomic polynomial

For a given positive integer m and an algebraic number field K necessary and sufficient conditions for the mth cyclotomic polynomial to have K-integral solutions modulo a given integer of K are given. Among applications thereof are: that the solvability of the cyclotomic polynomial mod an integer yields information about the class number of related number fields; and about representation of integers by binary quadratic forms. The latter extends previous work of the author. Moreover some information is obtained pertaining to when an integer of K is the norm of an integer in a given quadratic extension of K. Finally an explicit determination of the pqth cyclotomic polynomial for distinct primes p and q is provided, and known results in the literature as well as generalizations thereof are obtained.     

The undecidability of cyclotomic towers

Let be the field obtained by adjoining to all -power roots of unity where is a prime number. We prove that the theory of is undecidable.