Variations on a theme of Minkowski and Serre
type: Item
instance of: scholarly article
title: Variations on a theme of Minkowski and Serre
zbMATH Open document ID: 0885.14006
DOI: 10.1016/0022-4049(95)00113-1
author: Alice Silverberg
author: Yu. G. Zarhin
published in: Journal of Pure and Applied Algebra
publication date: 1998-04-27T00:00:00Z
review text: A result of Serre says that if an automorphism of finite order of a semi-abelian variety induces the identity on the scheme-theoretic kernel of multiplication by \(n\), then it is the identity if \(n\geq 3\), and its square is the identity if \(n=2\). This result is useful in the study of moduli spaces of abelian varieties with full level \(n\geq 3\) structure. Serre's lemma relies on the fact that if \(n\geq 3\) then every root of unity which is congruent to 1 modulo \(n\) is 1. This idea dates back to Minkowski, who proved that an integral matrix of finite order, which is congruent to the identity modulo \(n\), is the identity if \(n\geq 3\). In this paper we give generalizations and variations of the Serre-Minkowski results. For example, if \(k\) and \(n\) are positive integers, \(\alpha\) is a root of unity in an integral domain \({\mathfrak O}\) of characteristic zero, \((\alpha-1)^k\) is divisible by \(n\), and no prime divisor of \(n\) is a unit in \({\mathfrak O}\), then \(\alpha=1\) if \(n\) is outside of a certain finite set of prime powers determined by \(k\). (The case \(k=1\) is the Serre-Minkowski case.) The proof relies on the arithmetic of cyclotomic integers. Although the ideas are simple, the result is useful and does not seem to have been noticed before. We give best-possible restrictions on \(\alpha\) when \(n\) is in the finite exceptional set. We have results for rings that are not necessarily integral domains (section 4), and we have applications to matrix rings, eigenvalues, projective modules, and quasi-unipotent elements (see sections 6 and 7). We provide additional information when \(n\) is in the exceptional finite set and give examples which show that our results are sharp. In section 8 we give applications to endomorphisms of semi-abelian varieties which generalize Serre's result. In section 9 we give applications to compatible systems of \(\ell\)-adic representations and the cohomology of projective varieties.
Mathematics Subject Classification ID: 14H37
Mathematics Subject Classification ID: 14K99
Mathematics Subject Classification ID: 11G10
Mathematics Subject Classification ID: 11R18
zbMATH DE Number: 920036
zbMATH Keywords: automorphism of finite order
zbMATH Keywords: cyclotomic integers
zbMATH Keywords: endomorphisms of semi-abelian varieties
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00113-1
OpenAlex ID: W1997258262
cites work: Q5580322
cites work: Q5655596
cites work: La conjecture de Weil. I
cites work: La conjecture de Weil. II
cites work: Modeles de neron et monodromie
cites work: Q4192181
cites work: Q3997322
cites work: Q4297065
cites work: Isogenies of abelian varieties
cites work: Semistable reduction and torsion subgroups of abelian varieties
cites work: Connectedness extensions for abelian varieties
cites work: Q4767466
cites work: Q5615218
cites work: Q5566639
description: scientific article; zbMATH DE number 920036