On the Mumford-Tate group of an abelian variety with complex multiplication
type: Item
instance of: scholarly article
title: On the Mumford-Tate group of an abelian variety with complex multiplication
zbMATH Open document ID: 0637.14022
DOI: 10.1016/0021-8693(87)90242-0
author: B. George
published in: Journal of Algebra
publication date: 1987-01-01T00:00:00Z
review text: Let K be a CM field, and (K,\(\phi)\) a primitive CM type. Suppose \([K:{\mathbb{Q}}]=2n\), and view \(\phi\) as an element of the free \({\mathbb{Z}}\)- module on the 2n embeddings of K into \({\mathbb{C}}\). Define rank(\(\phi)\) to be the rank of the \({\mathbb{Z}}\)-module spanned by all translates of \(\phi\) under the Galois group of the Galois closure of K over \({\mathbb{Q}}\). The number rank(\(\phi)\) is of interest because it coincides with the dimension of the Mumford-Tate group of an abelian variety A of CM type \((K,\phi)\), and controls the properties of class fields constructed using A. - Now let n be fixed, let K vary over all CM fields of degree 2n, and let S(n) be the set of all numbers rank(\(\phi)\) for primitive CM types \((K,\phi)\) as above. Let \(B(n)\) be the ``sharp lower bound for the rank'' in dimension \(n,\) the least element of \(S(n)\). This paper contains many partial results describing the set S(n) and the number \(B(n)\). As might be expected, they vary strongly with the factorization of n and the types of groups which can occur as Galois groups for CM fields of degree n. - The first section is primarily concerned with B(n). The kinds of results obtained are: If \(n=2^ j\), then \(B(n)=j+2\). If n is not a power of 2, then \(\log_ 2n+2<B(n)\leq n+1\). If \(n=p\), a prime, then \(B(n)=p+1\). If \(n=p^ 2\), then \(B(n)=2p\). If \(n=2^{(p-1)/2}pt\) with t dividing (p-1)/2, then \(B(n)=p+1\). These results follow from specific examples of CM types and from a ``nondegeneracy theorem'' of Ribet. - The second section studies \(S(n)\) when n is odd, showing that many of its elements are accounted for by CM types coming from fields K whose Galois group satisfies a relative solvability criterion. These elements are called ``computable''. - The third section contains a partial classification of simple groups which have a permutation representation in degree \(n.\) - The final section treats \(n=9\) as an example, showing that \(S(9)=\{6,8,10…
Mathematics Subject Classification ID: 14K22
zbMATH DE Number: 4037997
zbMATH Keywords: complex multiplication
zbMATH Keywords: CM type
zbMATH Keywords: Mumford-Tate group
MaRDI profile type: Publication
full work available at URL: 0021-8693(87)90242-0
OpenAlex ID: W2082835911
cites work: Q5655596
cites work: Finite Permutation Groups and Finite Simple Groups
cites work: On the degrees of primitive permutation groups
cites work: Q3684278
cites work: Minimal degree for a permutation representation of a classical group
cites work: Hodge cycles, motives, and Shimura varieties
cites work: The Structure of Galois Groups of CM-Fields
cites work: Solvable and Nonsolvable CM-Fields
cites work: Q3941595
cites work: Subgroups of prime power index in a simple group
cites work: Subgroups inducing the same permutation representation. II
cites work: Primitive permutation groups of odd degree, and an application to finite projective planes
cites work: On the Field Extension by Complex Multiplication
cites work: Q3320521
cites work: Q5569508
cites work: Algebraic cycles on abelian varieties of complex multiplication type
cites work: Division fields of abelian varieties with complex multiplication
cites work: Q3318895
cites work: Zur Existenz einfacher abelscher Varietäten mit komplexer Multiplikation.
cites work: Flag-transitive subgroups of Chevalley groups
cites work: Q5580133
cites work: On canonical models of arithmetic quotients of bounded symmetric domains
cites work: On the zeta-function of an abelian variety with complex multiplication
cites work: Q4875376
cites work: Q3849064
cites work: On a class of doubly transitive groups
cites work: Q5512231
description: scientific article; zbMATH DE number 4037997