A NNALES DE L ’ INSTITUT F OURIER
N ICOLAS H. K UIPER
J OEL W. R OBBIN
Topological classification of linear endomorphisms
Annales de l’institut Fourier, tome 23, no2 (1973), p. 93-95
<http://www.numdam.org/item?id=AIF_1973__23_2_93_0>
© Annales de l’institut Fourier, 1973, tous droits réservés.
L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Ann. Inst. Fourier, Grenoble 23,2 (1973), 93-95.
TOPOLOGICAL CLASSIFICATION OF LINEAR ENDOMORPHISMS
by N. H. KUIPER and J. W. ROBBIN
Endomorphisms f: X -> X and g : Y -> Y of topological spaces X and Y are called homeomorphic (notation : f ~ g) if there is a homeomorphism h: X ->• Y such that g=hfh~~1. When X and Y are smooth manifolds and h is a diffeo- morphism, f and g are called diffeomorphic (notation:
f ^L g). When X and Y are vector spaces and h is a linear isomorphism, f and g are called linearly isomorphic (notation : f ~ g). A general problem in the theory of dyna- mical systems is to classify large classes of endomorphisms up to the relation ^ (where ^ is say one of ~, ^, ~).
One classifies linear endomorphisms of finite dimensional (real) vector spaces up to ~ via the Jordan normal form;
-^L gives nothing 'new: if f and g are linear, then f ^ g ,<==>. f ^L g. For ^L the situation changes: for X = Y === R, f{x) == 2x, g{x) == 80; ( o ^ e R ) , we see that f and g are linearly distinct (different eigenvalues) but topo- logically the same. To check / ~ g note that g == A/7i~1 where A(a0=a?.
Our problem is to classify linear endomorphism up to homeomorphism: ~. To state our theorem we need some notation. Any linear endomorphism f can be written as a direct sum of endomorphisms :
/ ^ / L e A e / o ©/*-
where the eigenvalues X of f^ (resp. /+; fe\ /*-) satisfy
94 N. H. KUIPER AND J. W. ROB6IN
X = = 0 (resp. 0 < |X| < 1; |X| = |;1 < |x|). If f is an endo- morphism denote by dim (f) the dimension of the domain (== target) of /*; thus
dim (f) = dim (/,) + dim (/+) + dim (f,) + dim (/L).
When f is an automorphism, or (/*) denotes the sign of the determinant of f.
Conjecture,— Let f and g be linear endomorphisms of R". Then f^ g if and only if /, ^ g,, dim (^.) == dim (g,.), or(/+) == or(g+), / o ~ go, • •
dim (/•-) == dim (g-) or (/•-) == or (g-).
As a special case consider the situation when f and g have finite order (some positive power is the identity). Then all eigenvalues are roots of unity so f = f^ and g == go- Thus :
Special case. — If f and g are linear automorphisms of R" of finite order, then /*^L g if and only of /^g.
Fortunately, the special case is very difficult. It is easily seen to be equivalent to :
Special case reformulated. — If /*, g e 0{n+ 1, R) have finite order, then fjS" ^ gjS" if and only if f ^ g.
This last assertion is known to be true when the action of f on S" is free (Attiyah-Bott-Lefschetz Theorem as modified by Wall). A theorem of the Rham asserts that for /*, g e 0(n+l?
R) one has 7|S" ^L g[S71 if and only if f A. g. The proof uses a kind of Whitehead-Reidemeister torsion; this is easily seen to be a differentiable invariant; if it is a topblogical invariant, our special case is true. Finally, Sullivan claims that ourspecial case is true when the order is a prime power.
These three cases suggest strongly that the special case always obtains.
We prove that the special case implies the conjecture and that the conjecture holds when no eigenvalue X of the linear maps involved is a root of unity except possibly X == ± 1,
± t or {/— 1.
TOPOLOGICAL CLASSIFICATION OF LINEAR E N D O M O R P H I S M S 95
To illustrate our theorem consider the two linear automor- phisms of R4 given by:
/ I 1 0 0\ / I 1 0 0'
. f 0 1 0 0 \ _ f 0 1 1 0
/
~~ [ 0 0 1 1 ]
g ~ [ 0 0 1 0\0 0 0 I/ \0 0 0 1,
These two automorphisms are clearly not linearly isomorphic.
(They are in Jordan normal form). Their sole eigenvalue is one. Thus according to our theorem, they are not homeo- morphic. We invite the reader to prove this himself.
Our work will appear shortly in Inventiones Mathematicae.
N. H. KUIPER,
Institut des Hautes fitudes Scientifiques 91440 Bures-sur-Yvette
et
J. W. ROBBIN,
Department of Mathematics University of Wisconsin Madison, Wisconsin 53706 (USA).
