Professional Documents
Culture Documents
I. L a m e a n d S. R i c k m a n . VIII, 2 4 5 p a g e s . 1 9 8 3 . A p p l i c a t i o n s . Ill, 9 4 p a g e s . 1 9 8 3 .
1173
Hans Delfs
Manfred Knebusch
069008388822
Springer-Verlag
Berlin Heidelberg New York Tokyo
%0 £l £sro - --^-7s5
Authors
Hans Deifs
Manfred Knebusch
Fakultat fur Mathematik, Universitat Regensburg
Universitatsstr. 3 1 , 8400 Regensburg
Federal Republic of Germany
Univ.-Biblfothek
Regensburg
S
This work is subject to copyright. All rights are reserved, whether the whole or part of the material
is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting,
reproduction by photocopying machine or similar means, and storage in data banks. Under
§ 54 of the German Copyright Law where copies are made for other than private use, a fee is
payable to "Verwertungsgesellschaft Wort", Munich.
© by Springer-Verlag Berlin Heidelberg 1985
Printed in Germany
Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr.
2146/3140-543210
To C h r i s t l and Gisela
Preface
• c h a r a c t e r i s t i c zero - a t l e a s t - a r e u n a v o i d a b l e i n a l g e b r a i c geometry
I then.
; In o r d e r t o i l l u s t r a t e t h i s we g i v e a somewhat t y p i c a l example. L e t
a ot a a
v v -
Z a r i s k i neighbourhoods o f t h e g e n e r i c p o i n t ri i n W. S i m i l a r l y X i s the
t i o n h €IR(W) i s p o s i t i v e w i t h r e s p e c t t o a i f and o n l y i f h i s d e f i n e d
l i t e r a t u r e c i t e d t h e r e and, f o r an i n t r o d u c t i o n t o r e a l s p e c t r a , a l s o
as "open c o v e r i n g s " .
are semialgebraic s e t s .
group ( M , x ) i n t h e u s u a l way
Q as the s e t o f s e m i a l g e b r a i c homotopy
*)
o f TT.j ( M , x ) . But
Q a zero-dimensional s e m i a l g e b r a i c space i s n e c e s s a r i l y
*) T h i s means §6 i n C h a p t e r I I I o f t h i s book.
the category of " l o c a l l y s e m i a l g e b r a i c " spaces and maps.
A f t e r s e v e r a l y e a r s o f e x p e r i m e n t i n g w i t h l o c a l l y s e m i a l g e b r a i c spaces
t h e s e s p a c e s , c f . [D], [ D ^ , [D ].
2
example, s t u d y i n g open s u b s e t s o f q u i t e i n n o c e n t l y l o o k i n g r e a l s p e c t r a
break down.
f o r a r e a d e r o f our p r e v i o u s p a p e r s . I n a s e m i a l g e b r a i c space M i t i s
of coverings (Chapter V ) .
the l e c t u r e n o t e s w i t h a r e v i e w o f t h e r e s u l t s o f t h o s e p a p e r s . B u t
o f s e m i a l g e b r a i c geometry, a r e a l s o o f i n t e r e s t f o r t o p o l o g i s t s . The
p a t h o l o g i c a l than TOP.
PL s t r u c t u r e s on M which r e f i n e the g i v e n s e m i a l g e b r a i c s t r u c t u r e a r e
T a r s k i ' s p r i n c i p l e , we can a s s o c i a t e w i t h e v e r y l o c a l l y s e m i a l g e b r a i c
R Q o f r e a l a l g e b r a i c numbers. We b e l i e v e t h a t t h i s message i s by no
F o r example, i t i s w e l l known t h a t , i n g e n e r a l , s e m i a l g e b r a i c f u n c t i o n s
u n d e r s t o o d by the most.
Regensburg, J u l y 1985
Hans D e l f s , M a n f r e d Knebusch
TABLE OF CONTENTS
page
Chaptier I - The b a s i c d e f i n i t i o n s 1
b r a i c spaces 11
§3 - L o c a l l y semialgebraic subsets 27
4 2
§4 - R e g u l a r and paracompact spaces
§6 - P a r t i a l l y p r o p e r maps 63
§7 - L o c a l l y complete spaces 75
§1 - G l u i n g paracompact spaces 87
§2 - E x i s t e n c e o f c o m p l e t i o n s 94
§3 - A b s t r a c t s i m p l i c i a l complexes 99
6
§4 - T r i a n g u l a t i o n o f r e g u l a r paracompact spaces 1°
complexes 113
§1 - Some s t r o n g d e f o r m a t i o n r e t r a c t s 22 6
§2 - S i m p l i c i a l approximations 23 2
§4 - R e l a t i v e homotopy s e t s 24 9
§6 - Homotopy groups 26 5
References 315
L i s t o f symbols 319
Glossary 322
Chapter I . - The b a s i c d e f i n i t i o n s
i n §6.
Definition 1. A g e n e r a l i z e d t o p o l o g i c a l space *) i s a s e t M t o g e t h e r
i) 0 e 7(M) , M €tf(M).
of Cov . M
M
U := U ( U l a € I ) of t h i s f a m i l y i s an element o f jP(M) .
a
*) T h i s term s h o u l d be r e g a r d e d as ad hoc.
v) I f ( U l a e i ) i s an a d m i s s i b l e c o v e r i n g o f U € T(M)
a and i f
c o v e r i n g o f V.
f o r every a € I an a d m i s s i b l e c o v e r i n g (V pl3 £J )
a a of U i s
a
g i v e n , then (V^^I a € 1 , 3 G J ) Q i s an a d m i s s i b l e c o v e r i n g o f U.
if (Vpl3€J) € C o v ( U ) i s a r e f i n e m e n t
M of (U la€I) a {i.e. there
e x i s t s a map A : J-» I w i t h V ^ c u ^ ^ ^ o r e v e r
^ 3 € J} , then
a M
V n U € T(M)
a f o r every a€I, then V € f (M) [and t h u s , by (v) ,
(V n U loc€I) i s an a d m i s s i b l e c o v e r i n g o f V] .
Comments.
s i t u a t i o n . A p r e s h e a f ? on M i s an assignment Uv+^U) o f an a b e l i a n
usual sequence
end of t h i s s e c t i o n .
(M,# ) and
M (N,C? ) over
N R i s d e f i n e d i n the o b v i o u s way: cp i s a con-
*U,V V >! V
-<V°>
sheaf C? o f R - a l g e b r a s d e f i n e d as f o l l o w s :
M I f U € flM) , then # (U) i s M
will be i d e n t i f i e d with i t .
c o n s i s t s o f a l l V G tf(M) w i t h V c U . Cov^ c o n s i s t s o f a l l f a m i l i e s
such t h a t a l l M a r e open s e m i a l g e b r a i c s u b s e t s o f M.
Let us l o o k a t these d e f i n i t i o n s more c l o s e l y . Assume t h a t (M,C?^) i s
semialgebraic subsets of M? C l e a r l y i f U€
; f(M) i s s e m i a l g e b r a i c , then
CT(M) .
many s e t s M nu>,A€A.
Definition 4. A f a m i l y (X^|A€A) of subsets of M i s c a l l e d locally
t i o n f , s i n c e t h e c o r r e s p o n d i n g f a c t i s known t o be t r u e f o r a l l t h e
r e s t r i c t i o n s r^J (f) € ( 9 ( u n M ) o f f . We i d e n t i f y f w i t h f . Thus
p M M a
t i o n s on U" .
a morphism (f : (M,e? )
M (N,# ) i n the c a t e g o r y
N of ringed spaces
over R ( c f . D e f . 2 above).
h e e ? ( V ) we have
N
v ( h ) (x) = h ( f (x) )
for a l l x € U.
_i
proposition.
1 1 1
f- (U) nM a = f" ( N y ( a ) nu) n M a = (flM,,)- ^^ nu)
1 1
(f~ (U ) fl M IXEA) = ( (f l M ) "
x a a ( U fl N
x y ( a ) ) I AEA)
1 1
i s an a d m i s s i b l e c o v e r i n g o f f ~ (U) 0 M a = (f i M ) " (U fl Q ( q }), i . e . i t
1
possesses a finite refinement. We conclude that (f ( U ^ ) I A E A ) i s an
_i
f ۩ (U).
M
f
( <l' •••/ f ) o f l o c a l l y s e m i a l g e b r a i c
n functions f. , f on M.
Corollary 1.5, L e t (M,£> ) be a s e m i a l g e b r a i c space and (N,ct? ) a l o -
M N
N i s semialgebraic.
d e s c r i p t i o n of l o c a l l y s e m i a l g e b r a i c maps i n terms o f s e m i a l g e b r a i c
1
ment. Define 'f (M) as the s e t of a l l U c M w i t h U H W € f(M) f o r every
1
7' on the new s i t e (M, f ' (M) ,Cov^) . C l e a r l y (M,tf (M) ,Cov^,^) | w
= (M, Cf(M) ,Cov^, O ) |w f o r e v e r y W€ ^(M) , and these spaces are s e m i a l -
1
g e b r a i c . In p a r t i c u l a r (M,'J (M) , C o v ^ , ^ ) i s l o c a l l y s e m i a l g e b r a i c in
the o l d sense.
cally s e m i a l g e b r a i c spaces.
§2 - I n d u c t i v e l i m i t s ; some examples o f l o c a l l y s e m i a l g e b r a i c spaces.
able i n d u c t i v e l i m i t s o f s e m i a l g e b r a i c spaces.
category of l o c a l l y s e m i a l g e b r a i c s p a c e s . We i n t r o d u c e on M a sheaf
aGI the f u n c t i o n
0 1 1
f (cp lcp " U)
a a : cp " (U)
a -R
1
i s an element o f © a (cp~ (U) ) . I t i s easy t o check t h a t (M,(Q ) i s the i n
M
is an element o f CT^.
f*(P a
1
• (tpp l < P p ~ t p U ) 1
a is an element of ©^ ( c p ~ cp U)
&
1
a for 3€I.
diagram M
( ( * ^ ) l a € I) the t r a n s i t i o n map
a a c p ^ : M^-^M^ i s an isomor-
(M ,0
R ) f o r every p a i r (a,3) with a<3. Then the c o n d i t i o n s a ) , b ) ,
c) , d) o f t h e p r e c e d i n g lemma a r e c l e a r l y fulfilled. Replacing the M a
Lemma 2.1.
(M ,(9 ) o v e r R, and t h a t
a a f o r 3<oc t h e space (M^,0^) i s an open sub-
M i s a n
every space ( a /^ )
a open subspace o f (M,©^). Thus M i s a l o c a l l y
s e m i a l g e b r a i c space o v e r R.
( M l a € I ) be an a d m i s s i b l e c o v e r i n g o f M. Adding t o t h e f a m i l y
a (M la€I)
Q
subsets o f M.
( M x N p | ( a , 3 ) G I x j ) i s an a d m i s s i b l e c o v e r i n g o f MxN. C l e a r l y
a this
( M x N p [ ( a , 3 ) € I x j ) i s an a d m i s s i b l e c o v e r i n g o f MxN and
a ( M
a
x N
3'° 3) a
to ( M x
N,£> M x N ) . Indeed, t h e c o v e r i n g s (f " 1
(M ) I a £ I) , ( g ~ ( N ) I 3 € J)
a
1
p
L^cf" 1
(M ) fl g
a
1
(Np) then (f,g) I i s a semialgebraic map from L^ t o
coverings ( M l a € I ) and ( N ^ I 3 € J ) .
a
with II II t h e e u c l i d e a n norm on R . n
(N.B. The minimum e x i s t s , s i n c e 3M
i s complete, d i s a s e m i a l g e b r a i c f u n c t i o n on M. ) L e t k denote t h e
K € k l e t (K,0 ) denote t h e s e m i a l g e b r a i c
K subspace o f (M,(D ) M correspond-
loc
m
but that the topology of M 1 q c i s d i f f e r e n t . We c l a i m t h a t ( I O C '^M )
semialgebraic subset
M (e)
l o c
v a l e n t " t o t h e system ( (K,©__) IK G k) • Thus (M 0 ) i s a l s o the f M
K loC M
following holds:
(*) E v e r y X Q i s contained i n X and every W £ f'(M) with
0» p Y A
I f we r e p l a c e ( X l a € I ) by t h e l a r g e r
a f a m i l y o f a l l W € f(M) w i t h WcX,
(X l a € I ) . We c a l l (X,<0 ) t h e l o c a l l y
V semialgebraic space i n d u c e d on
X by t h e space (M,© ) . Of c o u r s e ,
M i f X e f (M) then t h i s space i s j u s t
o f M. L e t v : R* T be some n o n - t r i v i a l v a l u a t i o n o f R c o m p a t i b l e with
X := {x € M | v ( f ( x ) ) > A} and
Y := {x € M | v ( f ( x ) ) > A}
of a more g e n e r a l c o n s t r u c t i o n . L e t (M,© ) be a l o c a l l y s e m i a l g e b r a i c
M
s e t s X . fr(x) i s t h e s e t o f a l l U € r(M)
a which can be c o v e r e d by f i n i t e -
ing o f X. F i n a l l y © v |X = O |x f o r every a € I .
fc(X) = {U € r(M) | U c X ) .
s i d e . F o r i n s t a n c e , l e t M be a l o c a l l y complete - b u t n o t complete -
s t r u c t u r e on M.
Example 2.10 (Base f i e l d e x t e n s i o n ) . L e t R be a r e a l closed field
M c : M
by open s e m i a l g e b r a i c s u b s e t s which i s a d i r e c t e d system ( a 3 ^
( / 0 )
a £ I
a<3, c f . Example 2.3). Then we have t h e d i r e c t e d system ( M
a a l )
depend on t h e c h o i c e o f t h e c o v e r i n g (M la€I).
Q We c a l l t h i s space "the
(U (R)|A€A)
X i n Cov ^ M , but i n general Cov^ ^ a l s o contains families
tain a l o c a l l y s e m i a l g e b r a i c map
F
R :
< < >'°M(S)
M H )
^ ' V R ) '
e x t e n s i o n M ^ ( R ) o f the space M
q c 1 q c d e f i n e d i n Example 2.6 i s u s u a l l y
t h e v e r t i c e s o f a. The c l o s u r e a o f a i s d e f i n e d as t h e convex
h u l l o f e ,...,e
0 i n V. T h i s n o t i o n o f c l o s u r e i s p u r e l y combina-
algebraic s e t a i n V(a).
Definition 1. A (geometric) s i m p l i c i a l complex over R i s a p a i r
properties hold:
i) X i s the d i s j o i n t u n i o n o f a l l a € I (X) .
T h e
c l o s u r e o f t h e complex (X,Z(X)) i s t h e p a i r (X,E(X)), w i t h Z (X)
Remarks.
s i m p l i c e s as c l o s e d s i m p l i c e s . In c l a s s i c a l c o m b i n a t o r i a l topology
present terminology.
l e t t e r X.
Definition 2. A s i m p l i c i a l complex Y i s c a l l e d a subcomplex o f X i f
of X i s c a l l e d c l o s e d i n X, i f Y i s the i n t e r s e c t i o n o f t h e subcom-
hence Z = x^Y as a s e t .
o fl A * 0.
e v e r y a G Z(X) .
finition f o r l a t e r purpose.
o n l y f i n i t e l y many a G Z(X) .
X i s an i n f i n i t e c o l l e c t i o n o f a d j a c e n t c l o s e d t r i a n g l e s w i t h one
common v e r t e x p, and X = X \ { p } .
f o l l o w i n g two p r o p e r t i e s :
o t o x, which o f c o u r s e i s u n i q u e l y determined by f .
v e r t i c e s e , ..., e
Q n then
n n n
f ( Z t.e.) = Z t . e! ( t > 0,Zt
± t = 1)
1 1
i=0 i=0 i=0
with repetitions.
D e f i n i t i o n 6. A s i m p l i c i a l map f from t h e complex (X,I(X)) t o (Y,£(Y))
onto x « 2
Remark. F o r most c o n s i d e r a t i o n s c o n c e r n i n g t r i a n g u l a t i o n s o f l o c a l l y
b r a i c space.
Example 2 . 1 2 . L e t X be a l o c a l l y finite simplicial complex i n some
Prop. 7 . 5 ] . We e q u i p X w i t h t h e s t r u c t u r e o f t h e i n d u c t i v e l i m i t o f
is locally semialgebraic.
Clearly ( S t ( a ) | a € I(X))
x i s an a d m i s s i b l e c o v e r i n g o f X by open semi-
many s e n i a l g e b r a i c s u b s e t s A ,...,A
1 r of M t h e r e e x i s t s a f i n i t e sim-
We c a l l such an isomorphism cp a s i m u l t a n e o u s t r i a n g u l a t i o n o f M,
A
1''--/^ .r In the next c h a p t e r we w i l l g e n e r a l i z e t h i s theorem to a
by just the l e t t e r M.
e a
L e t M be a l o c a l l y semialgebraic space o v e r R and l e t (M^laGI) *>
by T(M) .
1) f (M) e T(M) .
2) X G r(M) M s X G T(M)
an a d m i s s i b l e c o v e r i n g o f M. F o r every 3 € J the i n t e r s e c t i o n N^ fl X
dered i n §1 .
matter t o prove
A
admissible covering (M | a € I ) o f M.
In e v e r y one o f t h e f o l l o w i n g f o u r p r o p o s i t i o n s t h e f i r s t statement
3.2 i n a p u r e l y f o r m a l way.
space s t r u c t u r e w i t h r e s p e c t to M.
diagram
algebraic spaces.
set
Xx Yg = {(x,y) e X x Y l c p ( x ) = \\)(y)}
M t o th subspace T (f) o f M x N .
r(M) an c o n t a i n s X. q.e.d.
followig three p r o p e r t i e s :
i) r(M) czt
of N.
lowing i s evident.
V n X = U.
e b r a i c
We now i n t r o d u c e the s t r o n g t o p o l o g y on a g i v e n l o c a l l y semialg
in !T(M) ) .
on M, as f o l l o w s from P r o p o s i t i o n 3 . 1 1 .
be an a ^ i s s i b l e c o v e r i n g o f M by s e t s M G f(M) . Then X O M ^ e H M ^ )
a
i n § 1 , e f i n i t i o n 1. q.e.d.
space 0, ? ( M ) , C o v ) t o ( N , J ( N ) , C o v ) . By d e f i n i t i o n
M N every locally
[DK , 7 . ]
2 w e infer
s e m i a l g b r a i c subset o f M x N .
semialgebraic.
Proposition 3,14.
D K
Proof. Statement (a) i s e v i d e n t from t h e s e m i a l g e b r a i c theory - 2'
shows..
Example 3 . 1 5 . We s t a r t w i t h t h e s e m i a l g e b r a i c space
s e m i a l g e b r a i c s u b s e t s o f M d e f i n e d as f o l l o w s :
X Q := U x , y ) € ]0,1[ x]0,1[|x 2
+ (y - ± ) 2
<j] .
The u n i o n o f these s e t s i s M. We a p p l y t h e p r o c e d u r e o f E x a m p l e 2
- 9 fc
t h i s family and o b t a i n on t h e s e t M a new s t r u c t u r e o f a l o c a l l y semi-
f
a l g e b r a i c space. We c a l l t h i s nev; space M . N o t i c e t h a t the s t r o n g t o -
1
p o l o g i e s of M and M* c o i n c i d e . The s e t X Q i s open s e m i a l g e b r a i c in M
We now s t a t e a f a c t which i s v e r y u s e f u l f o r c o n s t r u c t i n g l o c a l l y
semialgebraic sets.
Let ( X |X6A) be a f a m i l y o f c l o s e d l o c a l l y
A semialgebraic subsets of
X . Let f
A : M _>
N be a map from M t o a second l o c a l l y semialgebraic
M a i s contained i n U ( X A |XEJ).f(M nx )
a A i s a s e m i a l g e b r a i c subset o f N
t o
Example 3.17. A map f from a l o c a l l y f i n i t e simplicial comple* *
from a n X t o N.
components o f M i s l o c a l l y f i n i t e . In p a r t i c u l a r i t i s an a d m i s s i b l e
spaces .
X with q.e.d.
{x} C^U) f o r every x €M (hence {x} € f(M) ) , and i f ({x}|x €M) i s an ad-
. . .) .
continuous a t t = 0. Then f i s c o n t i n u o u s a t x.
t h a t f ;. not c o n t i n u o u s
s a t x. Then t h e r e e x i s t s a s e m i a l g e b r a i c n e i g h -
a t x. q.e.d-
is, o f c o u r s e , i m p o s s i b l e t o t e s t c o n t i n u i t y by sequences.
is called p u r e o f d i m e n s i o n n, i f dim M = n f o r e v e r y x € M.
x (Then n e c e s -
b) I f ( X | A € A ) i s a f a m i l y
X i n T(M) w i t h u n i o n M and t h e p r o p e r t y t h a t
X^ then
A
dimM = sup (dim X^ | A € A ) .
d) dim ( X - x ) < dim X f o r every X € T(M) w i t h dim X < «> and X n o t empty.
I (M) := { x € M l d i m M>n}
n x —
i s a closed l o c a l l y s e m i a l g e b r a i c s u b s e t o f M. I f t h e s e t
definitions).
and l e t f M->N be a l o c a l l y
: s e m i a l g e b r a i c map. L e t R be a r e a l closed
overfield o f R.
MxgN
M-
R. Then
PR
M(S).
g) L e t Y be a l o c a l l y s e m i a l g e b r a i c s u b s e t o f N . Then f " ( Y ) ( f )
1 =
1
f^"" (Y (R)) .
i) I f (M laGI) i s t h e f a m i l y o f connected
a components o f M, then
j) dimM = dimM(K) .
r i n g O o f a l l elements o f R whose a b s o l u t e v a l u e s a r e n o t i n f i n i t e l y
the t r \ l y u s e f u l one.
M i s a'fine.
hoods i n X.
r e g u l a r space i s r e g u l a r .
M xM .
1 2
again regular?
t o p o l o g i c a l - i n p a r t i c u l a r cohomological - p r o p e r t i e s o f such
a r i s i n g from t h e t h e o r y o f a f f i n e s e m i a l g e b r a i c spaces.
c f . Pro?. 1.1).
Example_j.4. a) Assume t h a t i n our base f i e l d R there e x i s t s a count-
M := {x €Mld(x) > t
o i
M := { x € M l e , >d(x) >e -} (n>1)
n n- I n-t-«
of M. N>tice t h a t n e a r l y a l l r e a l c l o s e d f i e l d s which o c c u r i n p r a c -
b i a l re«l c l o s e d subfields.
ring of R namely,
More g e i e r a l l y , a f i b r e product M 1 x M
N 2 i s paracompact i f both M 1 and
M 2 are laracompact.
f) Any e x t e n s i o n M(R) o f a paracompact space M over R w i t h respe-t t o
a l g e b r a i c subs<ets.
(U IX€A) .
X
in M i s again semialgebraic.
3.15 i s c e r t a i n l y n o t paracompact.
a s e t . L e t some a € I be g i v e n . We denote by 1 ( a ) t h e s e t o f a J l 3 € 1
i n our theory.
Proposcion 4 . 7 . A g a i n , l e t M be a paracompact space anid (M^laGI) a
are eqivalent:
a) M i r e g u l a r
c) Eve^ f i n i t e u n i o n of s e t s i s affine.
J c K o I such that
V z U M c U M c U M .
of theproposition.
If (M 2tei) i s a l o c a l l y
a finite covering of M f u l f i l l i n g property c)
(M (R) ei)
a a i s a locally finite covering o f M(R) w i t h the same p r o p e r -
E cp (x) = 1
A
AEA
for every x EM-
a p p l i c a t i o n o f P r o p o s i t i o n 3.16 ( g l u i n g o f l o c a l l y s e m i a l g e b r a i c maps)
a n i
we know t h a t tJhe f u n c t i o n :M [0,1] d e f i n e d by <K IU = x^
^ A A A
, l y N U = 0 i s l o c a l l
^A A Y s e m i a l g e b r a i c . S i n c e t h e c o v e r i n g (U. |XHA) i s
A
locally finite, the f u n c t i o n = E iK on M i s w e l l d e f i n e d and l o c a l l y
A
AEA ,
semialgebraic. This f u n c t i o n has no z e r o s . The f u n c t i o n s cp i- ^ ^x x
W, := U(U lyEA(A)).
A M
= U(A(y) ly€A(X) ) .
M : = U (U lp€I (X) ) .
algebr^i, s e t
V : = U (V, |X€A(u) )
Xy
. r: and t h a t i n t h i s c a s e y€I(X))
(Notice h a t xeA(y) i f and o n l y i f u£A(X), ana tnaL
For ev . x e A ( y )
Br we have
U
i c w
x c W
x c M
x
hence
\y Xy y X X
and thar.foj-e
V V
X y n M
X c W
X y =
V
Thus v c u . we c l a i m t h a t M i s c o v e r e d by the s e t s V . Indeed, l e t
J y
\ CM x = u(v X y lyei(X)).
Thus x r € f o r some y £ I ( X ) . Since V, cU , we know t h a t U x nu i s not
Xy A y M
proof.
0
For e v e r y liocally semialgebraic f u n c t i o n f :M->R the s e t ( x £ M * '
ure
i s open amdl l o c a l l y semialgebraic i n M. As u s u a l we c a l l the .o;
I cp (x) = 1
X€A A
for every :x € M.
t i t i o n o f u n i t y s u b o r d i n a t e t o the c o v e r i n g (U,IX€A).
• — ~ A
a n d
Theorem 4.13 ( " T i e t z e ' s e x t e n s i o n theorem") . L e t M be paracopa-'t
regular. L e t f : A -» K be a l o c a l l y semialgebraic f u n c t i o n on a ^ l ^ ^
e d
locally semialgebraic subset A of M with v a l u e s i n some g e n e r l i '
n
interval o f R ( i . e . some convex s e m i a l g e b r a i c subset K o f R) . r h * there
g := S <4> 9 i s a w e l l d e f i n e d l o c a l l y
r semialgebraic f u n c t i o n ^ M
a€I
which extends f and has v a l u e s i n K.
Uriiv.-Bibllothek
£c?er sburg
;
Example 4.14. I f A and B a r e two d i s j o i n t closed l o c a l l y semialgebraic
In f a c t a stronger statement i s t r u e .
M n € .
position.
r(M) .
We l e a v e t h e eas;y p r o o f t o the r e a d e r .
index y € I we d e f i n e f i n i t e subsets
J (Y)
Q cJ 1 ( r ) <= J 2 () c . . .
Y
of I i n d u c t i v e l y as f o l l o w s : J ( Y ) := ( Y > ,
Q
J
n+1 ( t ) : =
{aeilM^nM * 0 f o r some (jeJ (y)}.
n
I i s countable. q.e.d.
a n d x
e ( ) ,ne3N. Thus i n t h i s c a s e M' i s Lindelof.
U € r ( M ) h e c l o s u r e U o f U i s s e m i a l g e b r a i c . Then M i s paraiccompact.
t
that U z
11
U f o r every n € IN .
n+1
a suitaj e sequence
k
< ) < k(2) < k(3) <
gebraic s e t s W , n € 3 N , as f o l l o w s :
n
= forn 3
W
1 =V W
2 V W
n =
W 2 i'
Then (W | n € J N ) i sa locally finite c o v e r i n g o f M. Indeed, 0V m = 0
Proposi : i o n 4 # 6 .
pact.
a c e
Remark 4.20>. L e t M be an a f f i n e l o c a l l y complete s e m i a l g e b r a i c P
h e n R
over R whilc:h i s not c o m p l e t e . Assume t h a t M L Q C i s paracompact.
n e c t e d
Indeed, we may assume t h a t M i s c o n n e c t e d . Then M i s also c o
loc
i n
By Theoreim 4.17, M l o c i s L i n d e l o f . We choose an a d m i s s i b l e cove 9
m a
every n € IN . We f u r t h e r choose an embedding o f M i n t o some R a
i o n d
bounded s e i m i a l g e b r a i c s u b s e t , and we c o n s i d e r the d i s t a n c e f u n c
e m i n i
on M from t h e boundary M ^M, c f . Example 2.6. L e t e (n) denote t
n c e
mum of d o n t h e complete s e m i a l g e b r a i c subset U o f M. The seau
n
p o s i t i v e v a l i u e s on M.
§5 - Semialgebraic maps and p r o p e r maps
semialgebraic) i n M.
more d i f f i c u l t , i f no e x t r a h y p o t h e s e s a r e imposed on t h e s p a c e s .
Examples 5.1.
D e f i n i t i o n 1.
We b e g i n o u r s h o r t s t u d y o f s e m i a l g e b r a i c maps w i t h some obvious
remarks.
Remarks 5.2.
b) L e t ( N l a £ I ) be an a d m i s s i b l e c o v e r i n g o f N by open
a semialge-
n e
braic sets N . Then a map f : M-» N i s s e m i a l g e b r a i c i f and o n l y i f t
1 N
i) (f~~ ( >) l a € I) i s an a d m i s s i b l e c o v e r i n g o f M by open
a semialge-
braic sets.
1 1
f | : f " (N ) Q : f ~ (N ) -> N
a Q
1 N
i s a s e r m i a l g e b r a i c map between t h e s e m i a l g e b r a i c spaces f ( ) a
map g : N f
-> N , t h e map f ' : Mx^N' ->N* o b t a i n e d from f by base extension
s e t s i n f(M) .
algebraic.
1
Proof. L e t U € f(N) be g i v e n and l e t g : f " (U) U be t h e r e s t r i c t i o n o f
1 1
f t o f " ( U ) . Then f " (U) i s a semialgebraic space and g i s a s^mialge-
b r a i c mjp x fl f ~ (U) i s a s e m i a l g e b r a i c s u b s e t o f f
1 1
(U) , amd thus
a) a l l f i j r e s o f f are s e m i a l g e b r a i c ,
nas a . o c a l l y s e m i a l g e b r a i c image f ( A ) .
semialgBb;aic.
t i o n p r o v e s ithat i n d e e d M i s s e m i a l g e b r a i c . q.ed
: o m M
A locally?' s e j m i a l g e b r a i c space M i s c a l l e d complete i f t h e map f :
to t h e o n e p o i n t space i s p r o p e r .
Remarks 5.5.
extension i s proper.
iv) I f f : M-*N,g : M - » N1 1
a r e proper maps "over" a space- S ( i n t h e u s u a l
b b t>
Let f : M-*N and g : N -* L be l o c a l l y s e m i a l g e b r a i c maips.
proper.
s e m i a l g e b r a i c spaces, as d e f i n e d i n [DK , § 9 ] . 2
1
o n l y i f a l l the maps f ~ (U ) U , a € I , o b t a i n e d from £ by r e s t r i c t i o n
are proper.
many c o n n e c t e d components.
P r o o f . The f a m i l y ( M l a € I ) o f connected
a components o f M i s an a d m i s s i b l e
A := { x l a € l }
a
crete subspace
B : = { x l n e i ]
a(n) *
lof (e.g. M paraicompact, c f . Th. 4.17). Then every proper map f :M-*N
algebraic.
In o r d e r t o p r o v e t h a t M i s s e m i a l g e b r a i c we choose an a d m i s s i b l e cover-
ing (M ln€W)
n off M by open s e m i a l g e b r a i c s u b s e t s M n which i s p o s s i b l e
u M f o r
M n i s not c o n t a i n e d i nM^... n _ i every n> 1, and c o n s i d e r a s e t
A := {x ln€]N} n
w i t h x € M ^ (M U . . . U M ^ ) . A g a i n A i s c l o s e d and l o c a l l y
n n 1 semialge-
The s e t
L := {z € Z|d(z,8Z) > |}
neighbounood of x i n U.
N \ Y = q(Z \ Z) ,
we know t h a t ewery f i b r e o f f i s ( a f f i n e ) s e m i a l g e b r a i c . By P r o p o s i t i o n
—1
1
striction f CX) -> X o f f i s p r o p e r . We want t o see t h a t f " (X) i s
affine.
"real closed spaces" [Sen, Cor. 162]. (These are the "abstract l o c a l l y
containing R.
section.
§6 - P a r t i a l l y p>roper maps
Definition 1 .
i s proper semialgebraic.
semialgebraic space.
space i s p a r t i a l l y complete.
p a r t i a l l y complete space.
tions .
Remarks 6.2.
p l e t e space i s p a r t i a l l y proper.
then g i s p a r t i a l l y proper.
t i o n f - (X) ->x o f f i s p a r t i a l l y p r o p e r . I n p a r t i c u l a r ,
1
a l l fibres
of a p a r t i a l l y p r o p e r map a r e p a r t i a l l y complete.
Counterexamples 6.3.
a) One can c o n s t r u c t a p a r t i a l l y p r o p e r " s p i r a l map" h from IR l o c
2
into IR . ( I n f i n i t e s p i r a l with center 0 ) . h ( I R ) i s n o t even a
l o c
2
s e m i a l g e b r a i c s u b s e t o f t h e s e m i a l g e b r a i c space IR .
c o n d i t i o n on f i n a d d i t i o n t o s u r j e c t i v i t y . T h i s a l s o shows t h a t t h e
c a s e , b u t t h : i s w i l l o n l y be f e a s i b l e after some p r e p a r a t i o n .
P r o o f . C l e a r l y c o n d i t i o n s i ) and i i ) h o l d i f f i s p a r t i a l l y proper. We
q.e.d.
partially proper.
Proof. A l l f i b r e s o f f a r e p a r t i a l l y c o m p l e t e . Thus i t s u f f i c e s to v e r i f y
t h a t , f o r a g i v e n A Gf(M), t h e image f ( A ) i s c l o s e d i n H. L e t y be a
is semialgebraic.
P r o o f . Assume t h a t t h e r e e x i s t s some p o i n t p G A ^ A . L e t U be a s e m i a l -
1
g e b r a i c neighbourhood o f p. Then t h e s e m i a l g e b r a i c s u b s e t a (U) o f [0,1 [
s e t o f M which does n o t c o n t a i n p, w h i l e p i s i n t h e c l o s u r e o f
t i v e l y w i t h U n V = 0 . But a ' (U) z> ]a,1[ and a " (V) => ]b,1 [ w i t h a,b G ] 0 , 1 [ .
1 1
f = al[ ,1[.
c
P r o o f . We l o o k a t t h e c a r t e s i a n square
L := [0,1 [ X M N 2 -» M
[0,1[ ^ N
a
w i t h p , q denotiimg t h e n a t u r a l p r o j e c t i o n s . The lemma means t h a t t h e r e
an i n t e r v a l [c,1![. q.e.d.
i) f is partially proper.
MxN ' 3
^ N'
N
I
g
3 : [ c , 1 [ -+ A such t h a t q«3 = a l [ c , 1 [ . A p p l y i n g c o n d i t i o n i i ) t o t h e
extends s e m i a l g e b r a i c a l l y ( i . e . c o n t i n u o u s l y ) t o [ c , 1 ] . S i n c e a l s o q«»3
the f o l l o w i n g .
corollary.
then t h e s e t M i s closed i n N.
t h a t x = a(1) e .M. :
q.e.d.
are equivalent .
a) f i s p a r t i a l l y proper.
partially conuplete.
M x N 3 N
Theorem 6.12. L e t N ' " '
I
g
f i s semialgebraic.
sists of p a r t i a l l y p r o p e r maps.
Definition 3. /A l o c a l l y s e m i a l g e b r a i c map f : M -+ N i s c a l l e d weakly l o -
tion .
N
a
1
X 2 f" (Y)
t h e r e e x i s t s o n l y f i n i t e l y many s i m p l i c e s a € I ( X ) with f ( a ) = p f o r
every p G I (y) .
maps.
striction f | A : A-»N o f f t o e v e r y c l o s e d s e m i a l g e b r a i c s u b s e t o f M i s
finite. (Hint: lUse t h e f a c t t h a t a space which does not admit any non
C a u t i o n . A p a r r t ; i a l l y p r o p e r map w i t h f i n i t e f i b r e s i s not n e c e s s a r i l y
not true.
i) f i s i n j e c t i v e on t h e s e t E(a) o f v e r t i c e s o f e v e r y o€I(X).
P r o o f
r iii-)* f maps t h e c l o s u r e a o f e v e r y a € I ( X ) isomorphically
f i x e d r e a l c l o s e d l base f i e l d R.
s e m i a l g e b r a i c , thien M i s a f f i n e .
• complete space M.
complete.
open i n X) i s l o c a l l y complete.
locally complete.
p l e t e , i n g e n e r a l , we c o v e r V by f i n i t e l y many Z a r i s k i - o j p e n subvarieties
V
1'***' v
r ' s o R
V ( ) i s covered by t h e f i n i t e l y many open s s e m i a l g e b r a i c
Additionally, t h e i n f i n i t e c o v e r i n g s o f V ( R ) ( r e s p . W(C)) - t o be s t u d i e d
complete. The f i b r e p r o d u c t * M
N 2
o f t w o
l o c a l l y complette spaces IVL
c a l l y complete s i n c e i t i s a c l o s e d subspace o f M x M . 1 2
complete.
hood K o f x i n M i s a l s o a neighbourhood of x i n N. In p a r t i c u l a r , i f
the c l o s u r e o f M i n L, i . e . , M i s l o c a l l y c l o s e d i n L.
neighbourhood o f x i n N. Q.e.d.
L e t X be a l o c a l l l y finite simplicial complex o v e r R ( c f . § 2 ) . We look
as a s p a c e .
a) The s p a c e X i s l o c a l l y complete.
b) F o r e v e r y op»en s i m p l e x T o f X t h e s t a r s S t ( x ) and S t ( x ) a r e e q u a l .
x x
P r o o f . The e q u i v a l e n c e b) c) i s f a i r l y o b v i o u s . X i s t h e union o f
containing T . T?hus S t ( ) x T = St ( )
x T f o r every T €I(X). Conversely, i f
\ open i n X.
f o r e Y i s l o c a l l y complete. q.e.d.
We s h a l l see i n Chapter I I , §2 that e v e r y r e g u l a r paraicompact space i s
t e r . We d e f i n e a g e n e r a l i z e d t o p o l o g i c a l space ( c f . §1 , Def. 1)
© (U)
M + : = © (U). M I f U = (M \K) U{°o}, then a f u n c t i o n f: : U -*R i s an e l e -
i f f i s a l s o c o n t i n u o u s a t °° i n t h e s t r o n g t o p o l o g y o f U, i . e . for
M .
+
We c a l l M t h e o n e - p o i n t c o m p l e t i o n o f M. I f M i s a l r e a d y complete,
+
then M i s the d i r e c t sum o f M and t h e one p o i n t space {oo}. The theo-
rem i s t r i v i a l i n t h i s case.
In o r d e r t o prove? t h e theorem we s t a r t by c o n s i d e r i n g the special
n n n + 1
case M = R . L e t :S denote t h e u n i t sphere i n R , l e t e denote t h e
n n n
north pole (0,0,. ..,1) o f S , and l e t p : S ^ { e } ^ R denote t h e s t e r e o -
y ± = x (1-x i m + 1 )" 1
, 1 < i < n.
( x X }
" 1 n + 1 '
2 2 1 2 1
x n + 1 = ( r - 1 ) ( r + 1 ) ~ , x. = 2 y , ( r + 1 ) "
2 2 2 —
for 1 < i < n, whiere r = y^ +... + y^ . We extend p t o a b i s e c t i o n p
n n +
from S t o ( R ) by p(e) = °°. I t i s e a s i l y checked t h a t p i s an i s o -
n n +
morphism o f t h e s>emialgebraic space S with the ringed space (R ) «
n + n
H e n c e f o r t h we i d e m t i f y ( R ) with S u s i n g t h i s map p.
m
P r o o f . Embed M somehow i n a space R . Then M i s open i n i t s c l o s u r e M.
m 1
Now embed M i n t o R *R as t h e graph o f t h e f u n c t i o n x »-»d(x,M\M) with
venience of the r e a d e r ) .
partially proper.
1
P r o o f . We have g"" (M) = V. I f g i s a morphism, then g i s ; p a r t i a l l y
M i s n o t p a r a c o m p a c t , we do n o t know whether U i s s e m i a l g e b r a i c f o r
Every U € t (M)
Q i s contained i n t h e s e t U € r (M) . A l s o , every K € lf* (M) c
a complete subspace of M,
c
, and t h a t T (M ) =
n JT (M) .
loc c loc c
*) Every s e t o f subsets o f M w i l l be r e g a r d e d as a f a m i l y o f s u b s e t s
of M, each member of the s e t b e i n g indexed by i t s e l f .
algebraic map
^M loc
a l g e b r a i c subset X o f M i s a g a i n semialgebraic.
g e n e r a l l y , t h e f i b r e product M^x^M w i t h r e s p e c t t o a r b i t r a r y
2 locally
X M i s a s u b s a c e
s e m i a l g e b r a i c maps M^ -*N and M 2 -+N i s t a u t , s i n c e M-] N 2 P
o f M^ x M . 2
c l o s u r e U of U i s s e m i a l g e b r a i c . I t s e x t e n s i o n U(R) i s semialgebraic
b r a i c neighbourhood of x. In p a r t i c u l a r , N i s r e g u l a r .
:M > M rM a n
We come back t o t h e n a t u r a l map p ^ i o C " f° arbitrary locally
complete space o v e r R.
M,l o c
P M
N 1 *M
M T n e n A s
L e t A be a c l o s e d semialgebraic s u b s e t o f -j_oc" ^ c l o s e d i n M,
M
and are, of course, f o r c e d t o d e f i n e g :N - * l o c t o be t h e same as f
semialgebraic. q.e.d.
x r = M b e t h e fi t ) r e
complete spaces over R and l e t M^ ^ 2 p r o d u c t o f M^
M x M
W-lWloc = 1,loc N l o c 2,loc
IOC N loc
i n M, and t h e r e s t r i c t i o n f ( A ) -•A o f f
1
i s p a r t i a l l y proper. If f i s
B := D n f ( A ) i s a c l o s e d s e m i a l g e b r a i c neighbourhood o f x and t h e
1
t h a t t h i s means t o add a h y p o t h e s i s o f c o u t a b i l i t y .
P r o p o s i t i o n 7.15. F o r a space M t h e f o l l o w i n g a r e e q u i v a l e n t :
(X |n€3N)
n o f M by open s e m i a l g e b r a i c s u b s e t s X^. We then choose a
n' I T n n n- i —
V : = U V : = =
We f i n a l l y d e f i n e open s e m i a l g e b r a i c s e t s V-j :=U^, 2 2' n
U l t i m a t e l y we a r e o n l y i n t e r e s t e d i n separated spaces, o r b e t t e r , i n
This i s g u a r a n t e e d by
( M ( a € l ) be a l o c a l l y
a finite family i n T(M) w i t h M = u t M ^ l a C l ) . Assume
f i n i t e s e t and A x := u(M
(X |a€l \ I ( x ) ) i s a closed l o c a l l y semialge-
U a n B = 0 . We choose s e t s V a € f ( M ^ B) w i t h v
a
n M
a
= u
a (« € I (x) ) , cf.
by t h e subspaces i n t h e f o l l o w i n g way:
every a € I .
(U x fl M a I A € A) € C o v M f o r every a € I .
compact.
it i s t h e union o f t h e l o c a l l y f i n i t e f a m i l y ((M ^ U) n M I a € I) o f
f (M) .
Now l e t ( U ^ I X e A ) be a f a m i l y i n T(M) w i t h (U^ fl M IA € A ) € C o v
a M for
a
(M pl3€I )
a a be a l o c a l l y finite covering of by open s e m i a l g e b r a i c
placing (M la€I)
a by ( M ^ I a € 1 , 3 € I ) a we may even assume t h a t a l l spa-
of indices
W a := M \ U ( M I 3 € I N . 1 ( a ) )
0
of M-
a Since W Q i s c o v e r e d by t h e f i n i t e l y many s e m i a l g e b r a i c s e t s
family (W l<x€I) i s l o c a l l y
a finite and c o v e r s M. Thus M i s indeed
be a s e t and l e t ( M l a € I ) a be a f a m i l y o f s u b s e t s o f M w i t h
c x p o t o c O t p p p '
i) M GT(M) f o r every a G I .
a
may be d e s c r i b e d e x p l i c i t l y . We a l s o know t h a t t h i s s t r u c t u r e - i f
it e x i s t s - i s r e g u l a r and paracompact.
on t h e c a r d i n a l i t y o f I we r e t r e a t t o t h e c a s e t h a t I i s a two e l e -
t u r e on M f u l f i l l i n g ( i ) - ( i i i ) by i n j e c t i n g M s u i t a b l y i n t o some
m n
R . We choose s e m i a l g e b r a i c embeddings tp : M a <-> R (a = 1,2) o f M Q
1(a) : = { 3 € 1 1 M fl M * 0 }
a 3 fl
W := U(M I T € I I (a) )
W n M , 3 € I ( c c ) , with t h e i r given
R space s t r u c t u r e s , a r e c l o s e d semi-
a l g e b r a i c subspaces o f W a and t h a t i n t h i s structure W Q i s affine.
semialgebraic space s t r u c t u r e on t h e s e t W K := U ( W l a € K )
a such that
(W la€l)
a i s a locally finite covering o f M by open s e m i a l g e b r a i c sub-
(M la€I) i s l o c a l l y
a finite i n M. The theorem i s t h e r e f o r e proved i n
4) We f i n a l l y come t o t h e g e n e r a l c a s e . We choose f o r e v e r y a € I a
lar and paracompact (cf. the l a s t step i n the proof o f Lemma 1.2 o r
i n mind.
n-sphere over R, i . e .
s n
= {(x o x )
n e R n + 1
lx o
2
+ ... + x n
2
=1}.
n
We f u r t h e r denote the n o r t h p o l e (0,...,0,1) o f S by <».
some n € ]N , a l o c a l l y s e m i a l g e b r a i c map cp : M -* S n
such t h a t cp IU i s an
be t h e i n v e r s e o f t h e s t e r e o g r a p h i c p r o j e c t i o n w i t h c e n t e r °° ( c f . I , § 7 ) .
Then
1
fq(ijj(x) , f ( x ) " ) x € U
<P(x) :=
I oo x £ U
n +
is a s e m i a l g e b r a i c map from M into S ^ w i t h cp ^ (<») = M^U. The restric-
n + 1
tion cp|U : U -• S ^ {00} o f cp i s an embedding. q.e.d.
( M l a € I ) o f M by open s e m i a l g e b r a i c s u b s e t s
a and a locally semialgebraic
n
map cp : M-+S(a) o f M
a i n t o a standard sphere S(a) = S ^ f o r each a € I
( M
such t h a t t h e n o r t h p o l e c©^ o f S (a) has the preimage M ^ M Q and P a l a
is an embedding. F o r e v e r y a € I we i n t r o d u c e the f i n i t e s e t s o f i n d i c e s
Z := TT (S(3)*[0,1j)
361
we c o n s i d e r the f a m i l y o f subsets
N(a) : = TTN(a) (a € I) .
P
3
(S(a)x{1}) x TT , (S(3)x[0,1]j
3GI(a)
in t h e o b v i o u s way. We want t o endow t h e subset
N := U(N (a) I a € I)
this case
N(a) n N ( 3 ) = T T N (a, 3)
T
yGI
with N ( a , 3 ) Y = S ( Y ) * { 1 } f o r y = a o r T = 3, N ( a , 3 ) T = S(y)x[o,1] i f
1
y € 1(a)* n i ( 3 ) , and N(a,&) = { (~ ,0) } e l s e . We see t h a t a g i v e n N(a)
y
I f x and y b o t h l i e i n some M , a
x + t
then <P ( ) P ( y ) /
a a s i n c e cp^ [M^ i s an
both c a s e s i ( x ) * i ( y ) .
C
We have i ( M ) N « K K We may r e g a r d N R as a s e m i a l g e b r a i c s u b s e t o f t h e
ture i n t h i s f i n i t e p r o d u c t . We have
IIM k = (vVee - L
semialgebraic.
hence x6M . Q
i = i IM :M -* N(a)
a a a
space
(S(a)x{l})x TT , (S(B)x[0,1])
&GI(a)
(as above), we have
Let x € M a be g i v e n w i t h i ( x ) € i ( A ) . We have t o v e r i f y t h a t x € A. G i v e n
space R ^ ^ n + 1
0 f s(3).) We choose an index yGvJ(a) w i t h x E M ^ . Then
e) P u l l i n g back t h e subspace s t r u c t u r e o f L i n N t o M by t h e b i j e c t i v e
i n L, and (M laGI) i s l o c a l l y
a finite i n M with respect t o t h e new
t u r e on M c o i n c i d e s w i t h t h e o l d one. T h i s means t h a t i i s i n d e e d an
w h i l e i n t h e c l a s s i c a l t h e o r y they r e p r e s e n t the c l o s e d s i m p l i c e s .
s e m i a l g e b r a i c geometry, c f . t h e f i r s t remark f o l l o w i n g D e f i n i t i o n 1
i n I, §2.
f a m i l i e s o f subcomplexes o f K.
in K i f L = L fl K.
f) A subcomplex L o f K i s c a l l e d full i n K, i f
S (L) = ( s e S ( K ) l s c E(L) }
every f u l l subcomplex o f K i s c l o s e d i n K.
if K^L i s c l o s e d i n K.
a s i n g l e simplex s. We u s u a l l y i d e n t i f y s w i t h t h i s subcomplex o f K.
L a l l f a c e s o f s i n K a r e s i m p l i c e s o f L. Thus a subcomplex L o f K i s
a simplex o f L i s i t s e l f a simplex o f L.
a(K ) = 1 d e f i n e d by
S(L ) 1 = {a(s) |s € S ( K ) } .
1
1 f
The s e t E(K') may be s m a l l e r than a ~ ( E ( L ) ) . We have a ( K ) = a(K^) 1
1 1 7
but o n l y a"" (L' ) c a ~ (L *) .
as f o l l o w s : E(X) i s t h e s e t o f a l l p o i n t s i n X which a r e v e r t i c e s o f
K", f o r subcomplexes o f K a r e c o m p a t i b l e w i t h t h e d e f i n i t i o n s o f t h e s e
We complete t h i s p a t t e r n o f d e f i n i t i o n s as f o l l o w s .
l o c a l l y semialgebraic space.
the a b s t r a c t i o n s o f X and Y by r e s t r i c t i o n t o t h e s e t o f v e r t i c e s . We
o f f has as a b s t r a c t i o n t h e c l o s u r e o f K ( f ) , i . e . K ( f ) = K ( f ) .
We have e s t a b l i s h e d "the a b s t r a c t i o n f u n c t o r " K from t h e c a t e g o r y o f
i s an a b s t r a c t simplicial isomorphism a : L ^ * K ( X ) .
realization o f L i n t h e c l a s s i c a l sense.
and a 2 : L - ^ K ( X ) , then by P r o p o s i t i o n
2 3.1 t h e r e exists a unique sim-
| L l nL i 2 R = | L l i R n IL I 2 R /
ILT^ = I L I R
ILx L l | R = |L| v| R L l l R .
of I L I ^ whose s e t o f v e r t i c e s i s s.
L
Definition 4. The realization o f an abstract s i m p l i c i a l map y : •* 2
L W T 1
o v e r R i s the unique g e o m e t r i c s i m p l i c i a l map g : |L^I I R 2 ^ R ^- ^
We f i n a l l y d i s c u s s e x t e n s i o n o f t h e base f i e l d . L e t R be a r e a l closed
realization of L over R. I n s h o r t ,
(3.4) I L | ( R ) = |L|~.
R
L w e t n er e a
A l s o , f o r every a b s t r a c t s i m p l i c i a l map Y : L^ 2 ^^ain ~
between l o c a l l y s e m i a l g e b r a i c maps.
§4 - T r i a n g u l a t i o n o f r e g u l a r paracompact spaces
A^ f o r every A € A.
o f such a space.
a € I.
s e t E o f v e r t i c e s as the q u o t i e n t o f t h e d i s j o i n t u n i o n U ( E l a € I ) by a
cp (p)
Q = tpp (q) . (N.B. T h i s makes sense s i n c e every complex X Q is
c l o s e d . T r a n s i t i v i t y o f t h e r e l a t i o n i s e a s i l y checked.) F o r every
o f the s e t s {i (s)ls€S }
a a f o r a l l a E I . C l e a r l y K := (E,S) i s a c l o s e d
a b s t r a c t complex. We c l a i m t h a t K i s l o c a l l y f i n i t e . L e t p € E be g i v e n .
t h i s manner. A l s o , <P (P ) = ^ 3 ^ 3 ) w i t h
a a € u n i q u e l y determined by
p . We
Q have p^€ s^ f o r every simplex s^ as above. Thus, f o r 3 f i x e d ,
cally finite.
^ (x)
a = ipp(x) f o r every x n ^ Y ^ . Thus the ^ a glue together to a l o c a l l y
M Q f o r every a 6 I. q.e.d.
A simplicial a t l a s of a l o c a l l y s e m i a l g e b r a i c space M i s a f a m i l y of
ties :
_i
and cp (M fl M„) a r e ( c l o s e d ) f a c e s o f A , . and A . respectively
3 3 n(3)
Q / n
a n(a)
and
:
^a" 1 ( M
a n M
3 }
" ^ (M
« 0
V
is an a f f i n e isomorphism.
d) M a = M 3 a = 3.
A w e
e) F o r e v e r y a € I and every c l o s e d f a c e T o f n ( j a have ^ ( t ) =
for some Y G I .
s t r u c t u r e on t h e s e t M i s u n i q u e l y determined by a g i v e n a t l a s , and
every a G I , cp ( A ( a R a ) ) =
^ K ( a ) ( A
n ( K ( a ) ) ) ' i n
p a r t i c u l a r n(a) = n (K (a) ) ,
-1
and \b . . o cp i s an a f f i n e automorphism o f A , \ .
K (a) a * n (a)
an a f f i n e automorphism o f A , \ *
* n (a)
a n (o)
mined by t h e t r i a n g u l a t i o n cp up t o e q u i v a l e n c e , and i s c a l l e d an a t l a s
of t h e t r i a n g u l a t i o n cp.
obtain
and cp i s u n i q u e l y determined, up t o e q u i v a l e n c e , by t h e g i v e n a t l a s .
t h e s e concepts a t w i l l .
paracompact spaces.
Lemma 4. 3 ( E x t e n s i o n o f a r e f i n e m e n t o f a t r i a n g u l a t i o n ) . L e t cp : X M
be a t r i a n g u l a t i o n o f a p a r t i a l l y complete space M. F u r t h e r , l e t M q be
be a t r i a n g u l a t i o n o f M which r e f i n e s cp . Then t h e r e e x i s t s a t r i a n g u -
^ o ^o
lation \p : Y -^U M which r e f i n e s cp and i s e q u i v a l e n t t o on M . Q
id : M ^ M.
family (x l a
a € J
0 ) f o r
every e € E ( M ) ^ E ( M ).
A
a a n(a) '
x : A M
o,a n(a)+1
defined by
X , (d-t)u
a a + te n ( 0 ) + 1 ) = (1-t) X a (u) + t a .
A a s t n e A = e e
In o t h e r words, we regard n ( ) -| a + cone over n ( )
a ^ '**"' n(a
0
three f a m i l i e s (x laGJ ),
a
k
(A ^ o {6} I a G l k + 1 ), ( x a Ia G I k + 1 ,a G J k
(a) ) .
M q.e.d.
(U Inew) o f open s e m i a l g e b r a i c
3
s u b s e t s w i t h U f)U = 0 i f In-ml > 2,
n ^ n m —
V €T(M), V c U ,
n n n c f . I , Th. 4.11. We s h a l l work w i t h t h e l o c a l l y
s u c c e s s i v e l y choose f o r n = 1,2,3,... s i m u l t a n e o u s t r i a n g u l a t i o n s
cp : n — o f and t h e f i n i t e l y many s u b s e t s nM , Mn n n -| r
M
n +
M
n n A
A ( A e
^ ( n ) ) with the a d d i t i o n a l property t h a t <P n+1 r e f i n e s cp n
on M n D M , j . (Read M
n+ Q = 0) . Then u s i n g Lemma 4 .3 we r e f i n e cp t o a n
every A € A. q.e.d.
§5 - T r i a n g u l a t i o n o f weakly s i m p l i c i a l maps, maximal complexes
a) A t r i a n g u l a t i o n o f f i s a commutative square
(1)
b) A c o m p l e t i o n o f f i s a commutative square
M* - * M
(2)
cally s e m i a l g e b r a i c map.
—1 -1
j-
of f . We c o n s i d e r the n a t u r a l factorization
Hf)
g : P -* Q be the r e s t r i c t i o n o f the n a t u r a l p r o j e c t i o n p r 2 : T x Q -* Q t o
TxQ
of the p r o p o s i t i o n . q.e.d.
carried o u t i n t h e c a t e g o r y o f s t r i c t l y l o c a l l y f i n i t e complexes w i t h
our c o m b i n a t o r i a l c o n s i d e r a t i o n s s h o u l d be o f a d d i t i o n a l i n t e r e s t later
on.
c a t e g o r i e s a r e e q u i v a l e n t v i a t h e a b s t r a c t i o n and t h e r e a l i z a t i o n func-
p l e x e s X and Y.
the preimage f 1
( p ) o f any p € I(Y) i s a f i n i t e subcomplex o f X.
b) f i s c a l l e d p a r t i a l l y f i n i t e i f f i s p a r t i a l l y proper and f i s i n -
a f i n i t e complex.
many c l o s e d 1 - s i m p l i c e s x ( n € ] N ) , a l l meeting
n i n one common v e r t e x p.
But f i s n o t f i n i t e .
N o t i c e t h a t t h e s e p r o p e r t i e s o f a do not depend on t h e c h o i c e o f t h e
base f i e l d R.
u n d e r l y i n g s e t o f X t o t h e u n d e r l y i n g s e t o f Y. Then, o f c o u r s e , f i s
finite.
-1
from such maps f , as we s h a l l see l a t e r .
c a l l e d dominant i f i t s r e a l i z a t i o n la I i s dominant.
R
We s t a t e some f o r m a l p r o p e r t i e s o f t h e n o t i o n s i n t r o d u c e d i n t h e l a s t
i n Y. In t h i s case i i s f i n i t e .
a l s o t r u e . Statement i i ) i s o n l y t r u e i f f i s assumed t o be s u r j e c t i v e .
The reader s h o u l d n o t be t r o u b l e d by t h e f a c t t h a t i n t h e c a t e g o r y o f
a^ : -+ K and a 2 : K - » K be a b s t r a c t
2 simplicial maps. We look a t the
set
F := E(K-) x E ( K ) = { ( e , e ) G E ( K ) x £ ( K ) l a . (e ) = a
9 1 0
1
1
z
9
1 1
1 9 (e )},
9
l E ( K ) z
w i t h t h e n a t u r a l p r o j e c t i o n s p^ : F - » E ( K . j ) , p 2 : F - > E ( K ) . We d e f i n e a
2
(*)
c r i b e d as f o l l o w s : E ( K - x K ) 0 = E(K-) x E ( K ) . A s u b s e t s of E ( K ) x E ( K )
9 1 0
i s a simplex of x K i f and o n l y i f t h e p r o j e c t i o n s p^(s) and P ( s )
2 2
|K I .
2 R In f a c t , t h i s a l r e a d y o c c u r s i n t h e case where both and K 2
then a s t r o n g d e f o r m a t i o n r e t r a c t of |K^xK l .
2 R
h u l l s o f K are isomorphic.
P r o o f . We c o n s i d e r t h e p u l l - b a c k diagram
Q-
too. q.e.d.
We now s t a r t o u t t o prove t h e e x i s t e n c e o f t h e maximal h u l l f o r a given
there e x i s t s a f i n i t e sequence.
s = t t ,t = S
1 o' 1'*-* 2m 2
w i t h p^ G t ^ f o r i = 1,...,2m and
[s] := { [ p , s ] I p G s )
map TT = TT : E(K)
k -» E ( K ) , Tf([p,s]) = p, i s a s i m p l i c i a l map from K t o
the c a t e g o r y o f complexes.
commutes.
As s runs through S (K), Isl runs through the s e t I(X) o f open simpli-
to E ( L ) . But i f t e s ( K ) i s a f a c e o f s then a ( t ) i s a f a c e o f a ( s ) .
f (p)
t = f ( p ) . Clearly
g 3 ( [ s ] ) = [ a ( s ) ] . Thus 3 i s a s i m p l i c i a l map
the diagram
commutes. Thus i n d e e d f o p = p o f . The uniqueness statement i n t h e
A Y
Y. q.e.d.
: =
Corollary 5.7. F o r any g e o m e t r i c complex X t h e map q P£ X-* X i s a
simplicial isomorphism.
to X. We o b t a i n a s i m p l i c i a l map g from X t o X w i t h q • g = 9 • P x
=
-*-^x*
id£. q.e.d.
f $ q
~Y X
rem we deduce that g o f i d ~ and f * g id$. Thus f and g a r e s i m p l i -
cial isomorphisms. By t h e p r e c e d i n g c o r o l l a r y a l s o q i s a s i m p l i c i a l
Z f
• Y.
q.e.d.
§6 - T r i a n g u l a t i o n o f amenable p a r t i a l l y f i n i t e maps
We w i l l o n l y c o n s i d e r r e g u l a r and paracompact l o c a l l y s e m i a l g e b r a i c
locally s e m i a l g e b r a i c space.
an open simplex a o f X. A l s o , t h e c l o s u r e x n Y o f x i n Y i s
phically onto a.
s i m p l i c e s x o f X w i t h f ( x ) = a. In p a r t i c u l a r , f is trivial over
a, i . e . f ^ (a) i s i s o m o r p h i c over a t o a p r o d u c t a x F, w i t h F
a d i s c r e t e space i n our c a s e .
Z * -Y
We want t o t r i a n g u l a t e p a r t i a l l y f i n i t e maps. A c c o r d i n g t o P r o p o s i t i o n
in the f o l l o w i n g sense.
plex o e i ( x ) .
s e t s o f M t h e r e even e x i s t s a l o c a l l y f i n i t e p a r t i t i o n (N, I X € A ) of N i n t o
s e m i a l g e b r a i c s e t s such t h a t f and a l l t h e r e s t r i c t i o n s f|M^:M^-*N ( i € I )
a r e t r i v i a l o v e r each N^.
braic s p a c e s , but t h e g e n e r a l i z a t i o n t o t h e l o c a l l y s e m i a l g e b r a i c s e t -
t h e open s i m p l i c e s o f a s u i t a b l e t r i a n g u l a t i o n Y-^*N.
tends t o z e r o as t h e h e i g h t i n c r e a s e s . The p r o j e c t i o n
p : T -* [0,1 ] x [ o , 1 ] ^ { ^2. \) ) i s p a r t i a l l y
r f i n i t e b u t not amenable. Even
amenable.
the following
t h e r e e x i s t a commutative diagram
X
l o c a l l y semialgebraic isomorphism?
maps T i s o m o r p h i c a l l y onto a f l X .
particular i f TT i s a l s o f i n i t e , TT i s an isomorphism.
_i
N i s connected.
P r o o f . Suppose t h e r e e x i s t s a p a r t i t i o n N = A^ U A 2 o f N i n t o two d i s -
of f i b r e s . S i n c e f i s s u r j e c t i v e M i s t h e d i s j o i n t u n i o n o f t h e s e t s
and V 1 nV 2 = 0 . We have
TT 1
(U n S ) = [ v 1 n TT*" ( S ) ] •
1
[ v n TT"" ( S ) ] .
2
1
t h e open s i m p l i c e s o f | K ( X , f ) | .
T w n e n e v e r T w o a i r s a n d T
that (p,T>j) ~ ( P ' ^ 2 ^\ ^2' cl7
P (P^/Ti) ^P2' 2^
U Q = T ,U ,...,U
1 1 2m = T 2 i n T(M) w i t h p € fTuTT f o r 0 < i <2m and
U
o c U
1' U
1=> 2' U
U
2 c U
3 ^ m - l ^ m '
we take t h e s e t o f a l l these e q u i v a l e n c e c l a s s e s as s e t of v e r t i c e s
we d e f i n e t h e f i n i t e subset
We have a w e l l d e f i n e d map
2a i n §5) .
P r o o f . L e t [T] be a s i m p l e x o f K ( X , f ) . C l e a r l y TT i s i n j e c t i v e on [T] .
L e t us l o o k f o r c a s e s where (*) i s f u l f i l l e d .
T 1 0 f " (p) * f
1
2 n f" 1
(p) . Then [T ] * [T ] .
1 2
P r o o f . We c l a i m t h a t [ p , T ] * [ p , T ] . Otherwise t h e r e would e x i s t a
1 2
T # U = T w i t h
sequence o f s t r a t a U Q = l' **' 2m 2
[p/T-j] * [ p / T ] . S i n c e
2 TT maps both [T^ ] and [ T ] 2 bijectively onto t h e same
cases. !
i) The complex X i s c l o s e d and f i s t r i v i a l o v e r each c l o s e d simplex
a o f X.
1
Here t h e b a r y c e n t r i c subdivision Y of a geometric complex Y i s d e f i n e d
l e a d s back t o t h e c o n s i d e r a t i o n s i n §5.
stratum c U w i t h f ( T ) = a . Now
1 := [T^ ] i s a f a c e o f u w i t h
I TT ( 1 ) | = a = ( n ( t ) |. Thus
1 = t . By assumption (*) we have T^ = T.
f o r i odd. L e t f : M -» X := A ^ { e } be t h e r e s t r i c t i o n o f f t o M. T h i s
o
the diagram
isomorphism.
P r o o f . F o r any s t r a t u m T E I ( M ) , t h e map p = p - y i e l d s an a f f i n e i s o -
A ,r
gebraic isomorphism
if/ : T n X ( f )
T
1
X >- N
cp
commutes. I f N i s p a r t i a l l y complete and f i s t r i v i a l over t h e image
1
<p(o) o f each c l o s e d simplex a o f X the same i s t r u e f o r X i n s t e a d of X.
more e x p l i c i t .
tion 1 i n §5).
fibre g ^ ( e ) i s not d i s c r e t e . I t i s i n t u i t i v e l y
Q c l e a r t h a t one cannot
c i a l map g.
such t h a t t h e diagram
g f
X' = -N
commutes.
tative triangle
simplicial.
T of M v i a T = X ( ) , T
c f . Prop. 6.1, i i i and i v . (As s a i d b e f o r e , this
to the unique p o i n t q € E ( Y ) w i t h q a v e r t e x of X 1
(T) = T and g(q) = p.
T _
i 1 =>"T\ f o r i even, and a point p G E ( X ) with p € f (T ) i for 0 < i < 2m.
Each simplex := x 1 T
( ^) n a s a
unique v e r t e x q.^ w i t h g(q^) = p. We
B u t t n s s
have to v e r i f y that q Q = q^ = ... = c^m* ^ ^ obvious, since
T^ = T .
2 So, condition (*) is fulfilled. Denoting the r e a l i z a t i o n of n
n =
by h, we c l e a r l y have x ° • Multiplying by f on the l e f t we obtain
dominant. q.e.d.
§7 - S t a r s and shells
s u b s e t s A of X.
S t ( x ) o f a l l x € A.
x
St (A)
x i s an open subcomplex o f X and X^St (A)
x i s the l a r g e s t subcom-
c e n t e r perhaps m i s s i n g .
f o r e v e r y t € ] 0 , 1 [ . The s h e l l S h ( x ) o f x i s d e f i n e d
x as t h e d i f f e r e n c e
set S t ( x ) \ S t ( x ) . This
x x i s t h e s e t o f a l l p o i n t s w a r i s i n g as above.
St (x)\{x}
x i s the s e t of a l l points z = ( l - t ) x - r t w with w€Sh (x)x
by z. N o t i c e that x € S t ( x )
x i f and o n l y i f x 6 X. N o t i c e also that
Sh (x)
x i s empty i f and o n l y i f St (x)x = {x}.
tex e i n common.
Then St (e)
x = X \ [ e , e ] , and S h ( e ) = J e ^ e ^
3 4 x U [e ,e ].
3 4
S h ( x ) i s t h e u n i o n o f a l l open s i m p l i c e s
x p o f X with x C "p, and
We a r e t h e r e f o r e justified i n a l s o d e n o t i n g t h e s e subcomplexes o f X
by S h ( i )
v and S t ( x )v r e s p e c t i v e l y and c a l l i n g them t h e s h e l l and the
A A
bordered s t a r of T with r e s p e c t to X .
St (x)
x - i s S t — ( x ) . The c l o s u r e o f t h e complex S h ( x ) i s S h — ( x ) .
x
D e f i n i t i o n 3. a) A g e o m e t r i c complex Y i s c a l l e d connected i f Y i s n o t
component C ( x , X ) o f x i n X i s t h e i n t e r s e c t i o n o f a l l subcomplexes Y
C(T,X).
Definition 4. Two open s i m p l i c e s and of X are called connectable
i n X i f t h e r e e x i s t s a f i n i t e sequence
p P p =
o = <V 1 2m °2
i n I(X) w i t h
T€I(X) t h e u n i o n o f a l l s i m p l i c e s t o which T i s c o n n e c t a b l e in X is
connected component C ( x , X ) o f T.
The e q u i v a l e n c e r e l a t i o n needed i n § 5 t o d e f i n e t h e v e r t i c e s o f t h e
St (x)"
x f o r open s i m p l i c e s o f S t ( x ) , x w i t h x r u n n i n g through the v e r -
t i c e s o f X. Thus we a r r i v e a t t h e f o l l o w i n g statement.
s t a r S t ( x ) o f every v e r t e x x o f X i s connected.
x
i n X ^ X w h i c h i s n o t a v e r t e x i s not connected.
n a l c l o s e d simplex A = [ e , e ^ , e , e ] . L e t X be t h e complex X \ ] e , e ^ [ .
Q 2 3 Q
i n s t e a d o f TT (f) . q
A o f S h ( x ) t h e connected
x component B := j*(A) o f S t ( x ) x i s the set
nent D = B f l S t ( x ) o f S t ( x ) w i t h i * (D) = B i s t h e s e t o f p o i n t s
v v
A A
( 1 - t ) x + t z w i t h z € A and 0 < t < 1.
r e g a r d S t ( x ) as a s e m i a l g e b r a i c space.
x Then t h e above argument is al-
ready a p r o o f o f t h e p r o p o s i t i o n . In g e n e r a l , l e t ( X l a € l ) be t h e d i - a
_ a
(St ( x ) l a G l , a > 3 ) and ( S h ( x ) ! a € l , o c > 3 ) r e s p e c t i v e l y . We know t h a t
v v
X X
a " a
the p r o p o s i t i o n i s t r u e f o r x and e v e r y X , a a > 3 . From t h i s t h e p r o -
position follows easily f o r x and X.
any x € X, we have
f (St (x)) c S t ( f ( x ) ) , f ( S t ( x J c S t ( f ( x ) ) ,
x y x Y
as i s e a s i l y v e r i f i e d . The f o l l o w i n g f a c t s w i l l be v e r y u s e f u l f o r us
i n t h e next s e c t i o n , a l t h o u g h i t i s easy t o prove them.
1
through f ( y ) . These s t a r s a r e p a i r w i s e d i s j o i n t , open and c l o s e d
1
b) R e s t r i c t i n g f to S t ( x ) , x f o r any x € f ( y ) , we o b t a i n a p a r t i a l l y
1
f(a), and hence o c o n t a i n s some p o i n t x G f ( y ) . T h i s means t h a t
1
oc=St (x), x and we see t h a t f ( S t ( y ) ) Y i s the union of the s t a r s
1 i
S t ( x ) with x € f
x (y) . Suppose t h a t f o r two p o i n t s x and z i n f (y)
is i n j e c t i v e on a ( c f . § 5 ) . Thus x = z. A l l t h e complexes S t ( x ) , x
— 1 -1
x€f (y) , a r e open i n f ( S t ( y ) ) , hence they a r e a l s o c l o s e d i n
Y
1 1 1
f" ( S t ( y ) ) . I f y € Y , then f " (y) c X,
y s i n c e X = f " (Y) by t h e p a r t i a l
— 1
p r o p e r n e s s o f f . Thus a l l s t a r s S t ( x ) w i t h x € f (y) a r e connected.
A
v
1
I f y i s a v e r t e x o f Y, y C Y , t h e n a l l x € f (y) a r e v e r t i c e s o f X n o t
to S t ( y ) o b t a i n e d from f by r e s t r i c t i o n . T h i s map i s p a r t i a l l y
Y finite
1
since St (x) x i s c l o s e d i n f ( S t ( y ) ) . The c l o s u r e g o f g i s a p a r t i a l -
Y
] f ( z ) , y [ c z s t ( y ) , which means t h a t f ( z ) G S t ( y ) .
Y y Conversely, i f some
means t h a t z € S t ( x ) . v q.e.d.
A
3) . L e t y € Y.
1
i) By r e s t r i c t i o n , f yields, f o r every x G f ( y ) , dominant maps from
1
ii) For d i f f e r e n t points x ^ , x G f 2 ( y ) t h e complexes f ( S t ( x ^ ) ) and x
1
f(St (x )) x 2 a r e d i s j o i n t . Thus, f o r any x € f (y) t h e complexes
Sh (y)).
y
onto S t ( y ) ,
y (St (y),
y Sh (y)).
y
Sh (y)).
y
P r o o f . A s s e r t i o n i ) i s e v i d e n t from t h e p r e c e d i n g p r o p o s i t i o n as soon
as we know t h a t f i s i n j e c t i v e on S t ( x ) . L e t z^ and z x 2 be p o i n t s i n
St (x )
x 1 and S t ( x )
x 2 a r e d i s j o i n t , hence t h a t f ( S t ( x ^ ) ) and f ( S t ( x ) ) x x 2
are d i s j o i n t . To prove a s s e r t i o n iii) o b s e r v e t h a t S t ( y ) i s connected,
Y
1
hence f ( S t ( x ) ) x = S t ( y ) f o r the unique p o i n t x i n f ( y ) . S i m i l a r l y
Y
St (x), x S h ( x ) a r e c o n n e c t e d by P r o p o s i t i o n s
x 7.3 and 7.5. q.e.d.
nition .
x p € I (X) .
fLk ( )*3x
v T i f x cX,
Sh (x) =
[ [ L k ( x ) * 3 x ] ^ 3x
x if TcXs X,
w i t h L k ( x ) * 3 x d e n o t i n g the j o i n o f L k ( x )
x x and 3x, i . e . the subcom-
i s determined by L k ( x )
y and x i n both c a s e s .
§8 - Pure h u l l s o f dense p a i r s
As b e f o r e a "space" i s a r e g u l a r paracompact l o c a l l y s e m i a l g e b r a i c
f IM : M -> N.
In o r d e r t o g a i n a b e t t e r u n d e r s t a n d i g o f t h e v a r i o u s p o s s i b i l i t i e s
s u b c a t e g o r y o f t h e c a t e g o r y o f dense p a i r s c o n s i s t i n g o f completed
d e f i n e P as t h e c l o s u r e o f M i n - | Q 2 '
p X P t
^ i e
f i b r e product with r e s p e c t
p 2 1 1
f
Pi 2
(P ,M )
1 1 — *(Q,N)
semialgebraic).
t h a t f l M : M -* N i s s e m i a l g e b r a i c . Then f i s s e m i a l g e b r a i c .
—1
semialgebraic. Consider a non-empty open subset V o f f (U). Then
1
V n M c f " ( U 0 N ) DM and V n M i s n o t empty. We see t h a t f ~ (U n N) n M 1
-1 -1
i s dense i n f (U). T h e r e f o r e f (U) i s a l s o s e m i a l g e b r a i c (cf. I,
Prop. 4.6).
1
Notice that t h i s forces M=f~ (N). I f P i s p a r t i a l l y complete then
b) A l l t h e p r o p e r t i e s o f morphisms d e s c r i b e d i n D e f i n i t i o n s 2-4 a r e
finite.
commutative square
(Z,X) *(P,M)
<P
8.2.c).
of (P,M) a r e i s o m o r p h i c .
needs some p r e p a r a t i o n .
TTQ(M) x i s a one p o i n t s e t f o r x € M.
*)
(P,M) i s pure.
a t r i a n g u l a t i o n o f (P,M).
from S t ( x ) onto x nx .
1
for every y € f (x) . Then we a r e done by Lemma 8.5 above. L e t T denote
p l e x o f X which c o n t a i n s x. The b a r y c e n t e r u o f T i s a v e r t e x o f T,
s t ( x ) n v , n strr(u) = s t ( x ) n v , n s t ( u )
Y v v =st (x)nv.,
v
A 1 A A 1 A A l
q.e.d.
N
0 ( N )
x = n
o ( N )
x' w h e r e n N
§< > x
r
( «sp. T T Q ( N ) ) i s t h e s e t T T ( N )
x q x defined
T
w i t h r e s p e c t t o Q ( r e s p . T) . We know t h a t I TT (N) I = 1 and c o n c l u d e
u x
from P r o p o s i t i o n 8.4 t h a t f i s a pure h u l l o f (P,M). q.e.d.
vj x
P r o p o s i t i o n 8 . 4 , we o b t a i n t h e f o l l o w i n g c o r o l l a r y t o Theorem 8 . 7 .
for every x G P .
Definition 8. a) A l o c a l l y s e m i a l g e b r a i c s u b s e t A o f a space M i s c a l l -
b) L e t A be a t h i n s u b s e t o f M. A c u t o f M a l o n g A i s a f i n i t e morphism
y e B.
8.8) .
then h i s an isomorphism.
this i n §12.
with
f (x)y
i j - fj(x) y i = 0
r-1
for 1 <i< j<r- The p r o j e c t i o n p from Pxjp (R) to the first factor
(P,M).
We know almost n o t h i n g about s e m i a l g e b r a i c blowing up. The dimension
l o c a l l y semialgebraic functions.
In t h i s s e c t i o n we d e v e l o p a t h e o r y o f "ends" f o r r e g u l a r paracompact
complete.
an a d a p t i o n o f F r e u d e n t h a l ' s t h e o r y t o t h e s e m i a l g e b r a i c s e t t i n g . But
t h e s e a r e e q u i v a l e n t n o t i o n s . I f cp : M *+ P i s a c o m p l e t i o n then (P,cp(M))
s i o n M «-» M i s a c o m p l e t i o n .
i s P \ cp(M) .
I f cp : M «-> P-
1 and cp : M *-> P~
? a r e two c o m p l e t i o n s o f M, then t h e r e e x i s t s
T h e
a s m a l l e s t element [cp] i n D(M) w i t h [cp] > [cp^ ], [cp] > U P ] .2 comple-
T h i s i s a major d i f f i c u l t y i n u n d e r s t a n d i n g the v a r i o u s c o m p l e t i o n s o f
M.
p l e t i o n o f M t o cp i s an isomorphism. A pure h u l l o f a c o m p l e t i o n
position 8.3 i n a s p e c i a l c a s e .
p e c t t o cp) . The s e t n ( P ^ c p ( M ) )
0 o f ends o f M i n P w i l l u s u a l l y be deno-
t e d by e (M,cp) .
t h a t M i s n o t complete. L e t cp : M «-» M Q
+
be t h e one p o i n t c o m p l e t i o n o f
unique morphism f Q :Q M +
> t o cp . I f \
from \
\ Q \
> i s pure then, by Prop.
TT (P ^ cp(M) ) . We denote
0 t h i s s u r j e c t i o n by KU',CP). I f B i s an end o f M
P, 1
t h e n B = f " ( A ) and A = f ( B ) .
t h e n we o b t a i n a s u r j e c t i o n
:
K(<P<|r<P) 2 ^(M^cp^ -» e(M,tp ) 2
f
i :
^"M* iP
^ = 1 2
' ^ t o b o t n
^1 a n d
^2* T n e n
Kdj^cp^) i s a b i j e c t i o n .
We define
1
K(cp ,cp ) := K (ij^,cp ) K (ip,cp )
1 2 2 1 .
pure, then
K(CP ,(P )
1 3 = K(cp ,tp )
2 3 K(CP ,CP ).
1 2
c(M) ;= j l i m TTQ ( M S K) .
K€7 (M)
map cp from
+ T T ( M \ K ) t o TT (P \ cp (K) ) , induced by cp, i s s u r j e c t i v e . I f
q 0
A€n (MsK),
n
Proof. We assume w i t h o u t l o s s o f G e n e r a l i t y t h a t M i s a subspace o f P
the u n i o n o f t h e c l o s u r e s : = A n (PNK)
± i n PNK o f a f a m i l y o f compo-
nents ( A l i € I ) o f M^K.
i ( N . B . The f a m i l y (A^iGI) i s locally finite.)
unMcA 1 and U D M c A , a c o n t r a d i c t i o n .
2 q.e.d.
w i t h c l o s u r e M and t h a t K i s a c l o s e d subcomplex o f M c o n t a i n e d i n M.
the U . Thus
Q (u* la€I)
a i s t h e f a m i l y o f components o f t h e complex X ^ L ,
n (X\L)
Q i sbijective. q.e.d.
We v e r i f y t h a t t h e s t a r s S t ^ , ( o ^ ) and S t ^ , ( c ^ ) a r e d i s j o i n t . Assume on
open s i m p l i c e s of Y with T = ] T , t ^ , . . . , t [ ,
q r where denotes t h e
b a r y c e n t e r o f T^. Then T , T . J , . . . , T
0 a r e p r e c i s e l y a l l open s i m p l i c e s o f
tion
triangle
e(M,e)
K (CP)
€(M) K (CP , l M
K (IP)
^ e(M^)
u:e(M,cp) = TT (Pscp(M))
0 ^ l i m n ( P vtp(K)) .
Q
now explain.
are e q u i v a l e n t .
a) a i s p r o p e r .
b) a ( [ 0 , 1 [ ) i s n o t c o n t a i n e d i n any s e t KCT^in).
complete.
a) c) : S i n c e a i s p r o p e r , L := a ( [ 0 , 1 [ ) i s a closed semialgebraic
[0,1[ i s n o t complete.
(M \ K) ^ o f M s K w h i c h c o n t a i n s a ( [ c , 1 [ ) f o r some c € ] 0 , 1 [ . We c a l l X
(cf. I, C o r . 6.9).
f o l l o w i n g theorem h o l d s .
Theorem 9.11. For every end X of M there e x i s t s some p r o p e r incomplete
path a i n M w i t h e(a) = X .
q.e.d.
paths as follows.
3d ) .
[x3>tcp]/[x]>[^jf a n d
not u s i n g the n o t i o n o f an " a b s o l u t e " end. We
leave t h i s as e x e r c i s e to the r e a d e r .
f (X)
+ i s t h e unique end y o f N such t h a t , f o r every L E T (N), (N \ L)
c y
-1
t (M) >e(M,M)
K
(M,M)
(*)
e(N)- •e(N,N)
(N,N)
connected, then f * i s b i j e c t i v e .
bijective.
between completed pairs with (N,N) pure ( c f . Prop. 5.1 and Th. 8.7;
f . We a r e i n t h e s i t u a t i o n d e s c r i b e d above b e f o r e P r o p o s i t i o n 9.13.
M, cf. Definitions 7 and 8 below, and which measures "how much" the
P^ 3 P. 3 P z>
0 2 *
0
* 1 *
not empty.
M= (PNP^ 0 ( P ^ M ^ = (P^p^ u M 2 *)
Remark 9 . 1 4 . M~ => M z> M , z> ... , and z> M z> M z> . . . . Every set
0 * 2 = ^ 4 = * 1 3 =t= 5
0 Q c
2
We i n t r o d u c e the s u b s e t s
S (P,M) k := P 2 k - P 2 k + 1 (k > 0)
a n d h e n c e i s a
o f M. E v e r y S ( P , M ) i s open i n P k '
k 2 locally complete
s p a c e . We denote t h e c l o s u r e o f S (P,M) i n M by S ( P , M ) . k k
p p i s
Lemma 9.15. a) E v e r y set r ^ r + i dense i n ? « r
b) S (P,M) =
k M . 2 k
M n ?2 k = M PI M 2 k
M
= 2 k ' -*- s nce M
2 k "*" ^ - Sc o s e <
^ ^ n M # T
^ e
l a s
t assertion
s ( P P P
k 1'V = 2k l" 2k+2- +
fit together to a s t r a t i f i c a t i o n of P = M U .
every k_>0.
cp" S (P,cp(M) ) = 4 T S ( 0 , i M M ) )
1
k
1
k
for e v e r y k > 0.
P r o o f . We have a t h i r d c o m p l e t i o n x :M T
which admits morphisms
and then S ( T , x ( M ) ) = f
k S ( P , c p ( M ) ) . T a k i n g preimages under Xr
k
w e o b
~
-1 -1
tain x S ( T , x ( M ) ) = cp
k S ( P , c p ( M ) ) as d e s i r e d .
k q.e.d.
S (M)
k := cp" S (P,cp(M) ) .
1
k
(LC = " l o c a l l y complete".) We c a l l S (M) t h e k - t h LC-stratum
k o f M.
I t s c l o s u r e i n M w i l l be denoted by S ( M ) .
k
L C - s t r a t i f i c a t i o n o f M do n o t depend on t h e c h o i c e o f t h e c o m p l e t i o n
<p o f M.
c) S k + 1 (M) = S (S
Q k + 1 ( M ) ) = S ( S ( M ) ^ S (M) ) f o r every
Q k k k>0.
d) S (S^ (M) ) = S
k k + 1 ( M ) f o r every k > 0 , 1>0.
{ 2r
2r+1
i f S (M) i s p a r t i a l l y
else.
r
complete
i n particular
We a l s o f o r m u l a t e P r o p o s i t i o n 9.16 i n a b s o l u t e terms.
not i n v o l v e any c o m p l e t i o n of M.
neighbourhood i n M.
i n M. q.e.d.
P r o p o s i t i o n 9.21 ( L o c a l n a t u r e o f the L C - s t r a t i f i c a t i o n ) . L e t U be an
Thus S ( U )
1 i s open i n S ( M ) . We 1 c o n c l u d e , w i t h 9.18.C, t h a t
s 1 (u) = s (s (u))
Q 1 = s (s (M))
Q 1 ns (u)
1 =
Corollary 9.22. a) For every U6 f(M) we have c (U) < c (M) + 1 i f c (M) i s
algebraic s u b s e t s t h e n , f o r e v e r y k > 0,
S (M)
k = U ( S ( U ) |a € I ) ,
k a
and
c(M) = s u p ( c ( U ) |a € I) - 6
a
( S ( M ) | k > 0 ) on any
k locally s e m i a l g e b r a i c space M (not n e c e s s a r i l y r e -
of the c o m p l e t i o n cp o f M.
tion
A s A by restriction).
We can add t o Theorem 9.25 the f o l l o w i n g
of cpoip"" t o the s e t Q( A) \ Q( A) .
1
§10 - Some proper quotients
know t h a t s u i t a b l e q u o t i e n t s ( i n p a r t i c u l a r mapping c y l i n d e r s ) e x i s t
proposition.
ly semialgebraic.
b r a i c s u b s e t s . Then (p ( U ) l a 6 I) i s an a d m i s s i b l e
a covering of M
semialgebraic.
A s u b s e t B o f N i s c l o s e d and s e m i a l g e b r a i c i n N i f and o n l y i f p ( B ) 1
is semialgebraic. q.e.d.
U , U
1 2 i n M w i t h p ~ (x) c
1
, p"* (A) c U
1
2 and ^ nU 2 = 0 (I, 4.14) . Since
of x and A r e s p e c t i v e l y w i t h U. D p " 1
(V.), namely V i N\p(M^U ). i
Since p i s s u r j e c t i v e DV 2 = 0 . T h i s proves t h a t N i s r e g u l a r ,
N by c l o s e d s e m i a l g e b r a i c s u b s e t s . We c l a i m t h a t t h i s f a m i l y i s l o c a l l y
of a space i s a g a i n a space.
In o r d e r t o prove t h e e x i s t e n c e o f p r o p e r q u o t i e n t s the f o l l o w i n g
lemma w i l l be u s e f u l .
R denote t h e r e s t r i c t i o n o f t h e e q u i v a l e n c e r e l a t i o n t o M . Assume
a a
M
that, f o r every a € I , t h e p r o p e r quotient a / ^ a exists. Then t h e p r o p e r
q u o t i e n t M/R exists.
ing o f M/R.
^ 3 ^
: = o f N i s
M Q to N a by p . The s u b s e t N ^
a P a
M
a
n M
a l o c a l l y semial-
per q u o t i e n t o f M D M ^ by t h e e q u i v a l e n c e
Q relation R obtained from
pa
tative triangle
with an isomorphism v _,
^ A
a 3
M a s
We r e g a r d t h e spaces = a /^ a subsets o f t h e s e t N := M/R. Then
N
o = N
r, a s
s e t s , and v rt becomes t h e i d e n t i t y map. Thus t h e subspace
J
cx3 a 3
s t r u c t u r e s o f t h e spaces M . a We e q u i p N w i t h t h i s space s t r u c t u r e .
and we a r e done.
N = M n M i s e n
Assume now t h a t every i s open i n M. Then p ^ a ^' a p °P
cM a and U c M ^ o f p
2 (x) and p (y) w i t h n CJ = 0 . S i n c e t h e maps
2
and V c N ^ 2
1
o f x and y w i t h p ~ (V ) c IK. C l e a r l y V
± 1 nV 2 = 0. q.e.d.
p o i n t s e t s {x} w i t h x € M s A.
r e s t r i c t i o n p : M-*q(M) o f q w i l l be a proper q u o t i e n t o f M by t h e o r i -
space M i s p a r t i a l l y complete.
+
L e t N denote t h e one p o i n t c o m p l e t i o n (M\A) o f the l o c a l l y complete
a r e done. q.e.d.
d i r e c t sum
M := ( X x [ o , 1 ] ) U Y
by t h e c o a r s e s t e q u i v a l e n c e r e l a t i o n R w i t h (x,1) ~ f ( x ) f o r every x € X
c l o s e d and l o c a l l y s e m i a l g e b r a i c i n M, t h e s e t p ( Y ) i s c l o s e d and l o -
I d e n t i f y i n g Y w i t h p ( Y ) we r e g a r d Y as a c l o s e d subspace o f M and a l s o
ping c y l i n d e r Z ( f ) e x i s t s as a proper q u o t i e n t o f M := ( X x [ o , 1 ] ) U Y .
P r o o f . L e t ( U l a € J ) be a l o c a l l y
a f i n i t e c o v e r i n g o f Y by open s e m i a l -
p : X x [ 0,1 ] IJ Y -* L
jection map
cp : X x l -» C(X) := Xxl/Xx{1 }
N := ( T ( f ) x i ) u ({X }XYX{1})
Q
n : ( X x l ) LIY -+ N,
mapping c y l i n d e r o f f . q.e.d.
C(f) := Z ( f ) / X x { 0 }
f o r t h e q u o t i e n t X U ^ Y o f X U Y by t h e c o a r s e s t e q u i v a l e n c e relation
necessary f o r t h e e x i s t e n c e o f X U Y as a proper
f quotient.
Y = XU Y. f
plex of X .
s i m p l i c e s . We choose a f i l t r a t i o n
A = X c XQ 1 c X 2 c ... c X r = X
U s i n g i n d u c t i o n on i , we prove t h a t t h e p r o p e r q u o t i e n t X i UY f exists
p : X.UY X.U Y f =: Y ±
C(q«cp) o f t h e composite o f cp w i t h t h e r e s t r i c t i o n q : X ^ - » Y i o f p. L e t
X U id
C(cp) U Y *C(q.<p)
t i o n s we c o n c l u d e t h a t y i s a l s o a p r o p e r s e m i a l g e b r a i c surjection.
P :X UY
X A -X U Y x f =: M, .
If A < y t h e n M, embeds i n t o M i n a c a n o n i c a l way as a c l o s e d subspace.
— A u
that X i s p a r t i a l l y complete.
from [DK ]. 5
simplex S c V o f X' as x.
o f Lemma 10.3 t o the open subsets X ^ A and U|JY o f XLJY t h a t the pro-
assume t h a t X admits a s e m i a l g e b r a i c r e t r a c t i o n R t o A.
A i n some c o m p l e t i o n X of X.
tient map
p :XUY^XU jY
p I X U Y : XLiY -> L
exists a t h i r d pure c o m p l e t i o n x : M
*-* T
which admits morphisms t o cp
u x : (Q(X),Q(X)) (B ,B ) with u ^ h
A X A = g >.
A
A =
: P\M = U ( P ( X ) IX € e(M)) .
Then
A = U ( P T x T | X € e(M))
r e l a t i o n on P ( X ) whose e q u i v a l e n c e c l a s s e s a r e the f i b r e s o f
g A : P (A) -» . The s e t P (A ) \ P ( A ) i s a u n i o n o f o n e - p o i n t equivalence
c l a s s e s . We c o n c l u d e t h a t , f o r A * y , t h e s e t P (A) D P ( y ) i s a u n i o n o f
o n e - p o i n t e q u i v a l e n c e c l a s s e s w i t h r e s p e c t t o b o t h r e l a t i o n s R ( A ) and
PCX)
h A : ( P T A T , P ( A ) ) -+ (C ,C ),
A A
i s a s h r i n k i n g morphism.
per p r o j e c t i o n map
p : PLJL - P U L
H =: Q
11.1 i s proved.
P i n any way we want. In t h i s way we can make them " s i m p l e r " . For
/ \
/ \
with n > 1 arms [PQ,P^ ], . . . , [ p / P l 0 n
a n <
^ K
n
t n e
°P e n
subcomplex where
the p o i n t s p.j , p , . . . , P
2 N a r e removed. The number n i s an i n v a r i a n t o f
general observation.
The p a i r (P,M) i s pure and M has the unique end A x { 0 } i n P. The comple
cp : M <-> P.
g
X : (
^X' X C }
(PTTy,P(A) ) ,
morphism v : (C ,C ) (Q(X),Q(X)) w i t h h » v = g }?
We c a l l a morphism f : Q P as d e s c r i b e d here a s o l u t i o n o f the expan-
C
solvable f o r P ^ P ( X ) * P and the e x p a n s i o n g^ o f the unique completed end
of P\P(X) i n P.
p^ 1
(P ( X ) ) -* i s a pure c o m p l e t i o n . F o r e v e r y f i n i t e s e t S c e (M) we
-1
s u r j e c t i o n . Moreover, p y i e l d s an isomorphism from p
g (P\U ( P ^ I X e s ) ) g
-1 (S)
onto P ^ U ( P I X € S ) . The i n c l u s i o n map from p
A (P (P^ I X£S)) t o Q isag
( S )
Q := l i m Q
S
w i t h S r u n n i n g through t h e f i n i t e s u b s e t s o f e(M). We want to e q u i p Q
( g I A E c(M)) .
A q.e.d.
i n P. L e t P := P ^ 3 A .
open l o c a l l y s e m i a l g e b r a i c neighbourhood U o f A i n P t o g e t h e r w i t h an
for every a € A .
plexity <1 .
f :Q P such t h a t t h e end o f M i n Q i s c o l l a r e d .
w i t h o u t any s e r i o u s modification.
locally s e m i a l g e b r a i c neighbourhood U o f B i n N, a p r o p e r s e m i a l g e b r a i c
v i s i o n o f t h e t r i a n g u l a t i o n . For g one t a k e s t h e r e s t r i c t i o n t o 3U o f
a (b) = b (b € B)
end o f M i n Q i s c o l l a r e d .
1
one. L e t C denote t h e preimage o f 3A i n Q and l e t h : C-»3A denote t h e
restriction o f f t o C. Then
Q := Q' U 3A
h
(*)
factorization.
P r o o f . The s e t f(M) i s c l o s e d and l o c a l l y semialgebraic i n N. Suppose
jective. Let
p : ( M x [ 0 , 1 ]) U N - Z ( f )
f a c t o r i z a t i o n of g
Mx[0,1]
(***)
r i z a t i o n of f . q.e.d.
ders .
are connected.
We seek a g e n e r a l i z a t i o n o f t h e S t e i n f a c t o r i z a t i o n o f p r o p e r maps f o r
are equivalent.
i) f i s pure.
s e m i a l g e b r a i c s i n c e f i s s e m i a l g e b r a i c . S i n c e U fl f (M) i s dense i n U,
we have
u = (u n f ( v ) )
1 u (u n f ( v ) )
2 .
wnf(M) = [ w n f ( v ) ] 1 u [wnf(v )] 2
f we o b t a i n
f" 1
(w) = [ f ~ (w) n v ^ u [ f ~ (w) n v l .
1 1
2
-1
open s e m i a l g e b r a i c s u b s e t s - | f V .
v
2 We may choose d i s j o i n t open semi-
1
a l g e b r a i c subsets U 1 f U 2 o f M w i t h U fl f " (y) = V
± i ( i = 1,2). S i n c e
a
i) I f f and g a r e pure then g f i s pure.
a l g e b r a i c s e t i n S. We choose an open s e m i a l g e b r a i c s e t W i n N
1 1
f" (U) = (g«f)"" (V) .
(*)
then h i s p r o p e r .
completion of f .
Proposition 12.9. L e t
a ^
(*)
beddings .
t e n s i o n s " o f s e m i a l g e b r a i c maps.
D e f i n i t i o n 3. A proper e x t e n s i o n o f a s e m i a l g e b r a i c map f : M N is a
commutative triangle
M < - *P
^ \ (
** )
g a r d i n g a and 3 as i n c l u s i o n maps).
a commutative triangle
(***)
w i t h cp pure and TT f i n i t e .
zation.
M c 9 * p
( C P , C P ) \ ^
1 ^/[tyrtyj)
SxS,
We then have a commutative diagram o f maps
t i o n s o f a s e m i a l g e b r a i c map f a r e i s o m o r p h i c . Thus we a r e a l l o w e d t o
s e m i a l g e b r a i c maps. Let.
cally s e m i a l g e b r a i c map y : s T
with X*Y 3°TT
= =
and IJMOC = y*<P»
X : T -+ Q a l o n g 3.
We g i v e an a p p l i c a t i o n o f C o r o l l a r y 12.12.
Theorem 12.13. L e t
p a r t i a l l y proper maps.
(cf. D e f i n i t i o n 1).
Theorem 12.14. For any y € N, t h e map f i s pure a t y i f and only i f
_i
semialgebraic.
f i s not pure a t y.
this theorem i s now evident from H a r d t ' s theorem (Th. 6.3). q.e.d.
Lemma 12.15. L e t
be a commutative diagram o f s e m i a l g e b r a i c maps w i t h x pure. Then
-1 -1 -1
P r o o f . F o r a g i v e n U E Jf(N), t h e preimage f (U) = x <? (U) i s n o t empty
1
if and o n l y i f g (U) i s n o t empty. Assume t h a t we a r e i n t h i s c a s e and
-1 -1
let , . ..,W r be t h e c o n n e c t e d components o f g (U). Then f (U) i s t h e
-1 -1
1
C(f,x) c D(f,x) c f~ f(x).
1
D(f,x) = " ( D ( g , ( x ) ) )
x X
f o r every x € M.
If f i s proper t h e n i t i s p r e t t y o b v i o u s t h a t C ( f , x ) = D(f,x) f o r e v e r y
f = TT • cp o f an a r b i t r a r y s e m i a l g e b r a i c map f we o b t a i n t h e d e s i r e d
f a c t o r cp o f a S t e i n f a c t o r i z a t i o n o f f c o i n c i d e s w i t h t h e s e t D ( f , x ) .
Proposition 12.18. L e t
a
M P
Then, f o r e v e r y x £ M
l o g y , c f . [M], [MV].
§13 - S e m i a l g e b r a i c spreads
We now make a more d e t a i l e d study o f the case where the pure factor
of t h e S t e i n f a c t o r i z a t i o n o f a g i v e n s e m i a l g e b r a i c map f i s an em-
topology.
1 1 1
(*) (g«>f)" ( U ) x = f " (g" ( U ) ) . y x
{Notice t h a t here we use the word " l o c a l " i n a weak sense, but c f . Theo-
t h a t f l U i s a spread. S i n c e M i s r e g u l a r , t h e s e t ^ := {V€r(M)lxGV,
from X t o Y by f . C l e a r l y f la i s i n j e c t i v e f o r every a 6 I ( X ) . L e t x € X
1
be g i v e n and y := f (x). I t i s p r e t t y o b v i o u s t h a t f ( S t ( y ) ) i s the
Y
ponent o f f ^ ( S t ( y ) ) c o n t a i n i n g x. T h i s i m p l i e s t h a t , f o r every
Y
of f ~ ( ( 1 - A ) y + A s t ( y ) ) . We see t h a t f i s a spread.
1
y
In t h e f o l l o w i n g we f o c u s a t t e n t i o n on s e m i a l g e b r a i c spreads, i . e .
t o some e x t e n t , y i e l d an u n d e r s t a n d i n g of a r b i t r a r y spreads.
Proof. Let M - -S
N
/^^
are s p r e a d s , hence f i s a l s o a s p r e a d .
Applying t o t h i s e q u a l i t y we o b t a i n
iMf~ 1
(U) ) x = TT" (U)
1
n cp(M) .
-1
zation
(**) M « - *P
S t e i n f a c t o r i z a t i o n of f .
result.
c
M
of f w i t h f f i n i t e and cp pure.
Indeed, ip»f i s a s p r e a d and f,cp a r e t h e f a c t o r s o f t h e S t e i n f a c t o r i z a -
t i o n o f T|> • £ .
o f M and N r e s p e c t i v e l y . Then t h e r e e x i s t s a t r i a n g u l a t i o n
x se—» M
g f (T)
-1 -1
is a subcomplex o f X.
P r o o f . We choose a f i n i t e e x t e n s i o n o f f ,
c
M *P
t h a t X^ i s a u n i o n o f open s i m p l i c e s o f X. q.e.d.
and N i f a semialgebraic s p r e a d f : M -* N i s g i v e n .
t e l y many s e t s U^.
f i n i t e l y many s e t s .
(V ^|X€A(k))
K w i t h V^.^ r u n n i n g through the open s t a r s S t ( v ) x with
1
v€f (w) , where u* = S t ( w ) have the d e s i r e d p r o p e r t i e s .
k Y q.e.d.
if Con(f,<£) i s a base o f M.
We choose as t h e s e t s Uy t h e open s t a r s S t ( v ) w i t h v € E ( X ) n X. S i n c e
x
onto S t ( w ) .
v Thus t h e c o v e r i n g ( S t ^ ( v ) Iv € E(X) n X ) o f X has t h e d e s i r e d
properties. q.e.d.
following cases.
We a l r e a d y s t a r t t o c a l l t h e s e t s S € Z(M) t h e s t r a t a o f M. S i n c e f i s
w i t h f ( S ) = f ( S ) = a , then S J H S ^ = 0 .
1 2
P r o o f . Suppose t h e r e e x i s t s a p o i n t x € S^ H S . Then y := f ( x ) i s a
2
-1
f (UD f (W) n S) i s open s e m i a l g e b r a i c i n W n a and
S€A
components o f f 1
( a ) , and f i s open. F o r e v e r y y € W n a we have
f~ 1
(y) n U c f " 1
(y) n V c S
We c o n c l u d e t h a t s T n S~I = 0.
and we see t h a t x £ f ( a ) . 1
stratum S c f 1
(a) .
q.e.d.
1
Remark. S f! f (x) may c o n s i s t of s e v e r a l s t r a t a as t h e f o l l o w i n g
picture shows.
Y
) = 1 C
w i t h S 3 T. S i n c e t h e s t a r S t ( x ) o f T : = f ( T )
Y c o n s i s t s o f f i n i t e l y many
of f i n i t e l y many s t r a t a . In p a r t i c u l a r , St^CT) i s l o c a l l y s e m i a l g e b r a i c
P r o o f . I f S i s a s t r a t u m o f M w i t h S £ T then S i s d i s j o i n t from S t ^ ( T ) .
components o f the f i b r e s o f f .
S t ( x ) c o n t a i n i n g y . By Step 3 t h e r e e x i s t s a unique
Y stratum S c f (a)
— -1 -1
w i t h S=>T. Thus f (y) D S t ( T ) = f (y) OS, and t h i s
M i s a c o n n e c t e d com
-1
ponent o f f ( y ) .
be c o v e r e d by f i n i t e l y many s t a r s .
the s t r a t a o f M a r e s e m i a l g e b r a i c , hence a l s o t h e i r s t a r s a r e s e m i a l g e -
Thus t h e f a m i l y ( S t ( T ) |T £ Z(M))
M i s locally finite.
A l t o g e t h e r we see t h a t t h e theorem h o l d s w i t h the c o v e r i n g
(M liGI)
i := ( S t ( T ) |T€ I(M)) .
M
o f Theorem 14.1.
following holds.
a) The f i b r e s o f f | X ( A , i ) a r e c o n n e c t e d components o f f i b r e s o f f | X ( A ) .
f o r every AEA and every oEZ(Y), the map f|X(A) is trivial over or. Thus
factorizations.
of fibres of f.
cp i s p r o p e r , we c o n c l u d e t h a t S ^ S i = cp(M^iyL) i s c l o s e d i n S, hence S i
T
f ^ = r °cp :
i i -» of cp, TT , f r e s p e c t i v e l y . The f i b r e s o f cp^ c o i n c i d e
q.e.d.
of examples o f f i n i t e coverings.
Chapter I I I - Homotopies
§1 - Some s t r o n g d e f o r m a t i o n r e t r a c t s
to t h e l o c a l l y s e m i a l g e b r a i c s e t t i n g . We s t a r t w i t h some o b v i o u s de-
finitions.
b) A subspace A o f M (= l o c a l l y s e m i a l g e b r a i c subset o f M) i s c a l l e d
from M t o A.
c) A subspace A o f M i s c a l l e d a s t r o n g d e f o r m a t i o n r e t r a c t o f M i f
We then c a l l H a s t r o n g d e f o r m a t i o n r e t r a c t i o n from M to A.
neighbourhood U o f A i n M and a s e m i a l g e b r a i c s t r o n g d e f o r m a t i o n r e -
U t o A.
b a r y c e n t r i c s u b d i v i s i o n and put
H(x,t) = (1-t)x+ t r ( x ) ,
s i o n s o f f t o U, then t h e r e e x i s t s a homotopy G : U x i -* z w i t h G Q = ,
G = g a n d G A
= f f o r e v e r
1 2 t ' Y t € I . (The same i s t r u e w i t h U r e p l a c e d
by U.)
G:UxI -» Z as f o l l o w s :
M then ( A x i ) u (Mx{0}) i s a s t r o n g d e f o r m a t i o n r e t r a c t o f M x i .
and GlAxi = F
Mxl
(Axl) U (Mx{0})
FUg
(Axl) U (Mx{0}) .
filled.
i) I f a c Y then a t l e a s t one v e r t e x o f a i s a p o i n t o f Y.
in X.
It i s an easy combinatorial e x e r c i s e to v e r i f y
division Y 1
i s tame i n X . Thus, i f cp : X
f
M i s a simultaneous trian-
s i o n cp : X' -^M
1
o f cp (which as a map between spaces i s t h e same as cp)
i s good on A and on M.
c o r e o f X by co X .
Y o f X, i . e . cp i s a s i m u l t a n e o u s t r i a n g u l a t i o n o f X and A, then by t h e
c o r e o f A w i t h r e s p e c t t o cp we mean t h e s e t c o ( A , c p l Y ) . We w i l l write
Y : = cp (A) . N o t i c e t h a t U D A . There
1
exists a semialgebraic strong
a = ] e , . . . , e [ with
Q n Y for0 < i < m and e i C Y form < i < n , then
m m
/ n \ / \-1 / \
[DK , 5 §2].
such t h a t L i s a s t r o n g d e f o r m a t i o n r e t r a c t o f M.
w i t h A = M) .
i s the r e s t r i c t i o n of r v : X -* co X t o Y.
We l e a v e t h e easy p r o o f t o the r e a d e r .
Then r ( a ) = ] e
x Q / ... e [. f m T h i s i s an open simplex o f c o X contained i n
St ^ (e ) and e_ i s a v e r t e x o f Y fl co X. S i n c e Y n co X i s open i n co X
v
co X o o *
we c o n c l u d e t h a t r ( c O c Y fl co X . The r e m a i n i n g a s s e r t i o n s o f the p r o -
x
A map
f : (M,M 1 , . . . ,M ) r -+ (N,N 1 , . . . N )
r r
a map
H. : ( M x i , M ^ I , . . . ,M xI) - r (N,, . . . , )
t o p i c and w r i t e f ^ g . S i m i l a r l y we t r a n s f e r a l l the u s u a l t e r m i n o l o g y
[(M,M ,...,M ),
1 r (N,N^,...,N )]. The g o a l o f the next t h r e e s e c t i o n s
r
cp : (X,X , . . . X )
1 f r (M,M1 , . . . ,M ) r
X^,...,X r subcomplexes o f X.
(X,X^,...,X ). We o f t e n w i l l
r need an even s t r o n g e r c o n d i t i o n than tame
ness which guarantees t h a t j x i s a homotopy e q u i v a l e n c e , so t h a t we can
l y by r / v
v v v) and c a l l i t the c a n o n i c a l r e t r a c t i o n o f t h e system
A
( A , A ^ , . . . / R ^
(X,X ,...,x ).
1 r
If (X,X^,...,X ) i s w e l l c o r e d then t h e c a n o n i c a l
r retraction
and J ° x
r
x
i s
l i n e a r
l y homotopic t o t h e i d e n t i t y o f (X,X^,...,X ) .
coX .
1 1 A 1
(X,X-j , . . . ,X ) r i s well-cored.
r z c z
Indeed, we know t h a t x ( ) for every subcomplex Z o f X which i s
g : c o ( X , X , . . . ,X )
1 r co(Y Yf r . . . ,Y ) r
1
i|T «f«<p(St (e)) c : S t ( g ( e ) ) .
x Y
co (Y,Y^ , . . . ,Y ) such, t h a t t h e t r i p l e
r (cp,ijj,g), w i t h cp and \p t h e i d e n t i t y
to f i n t h e sense above.
dition holds:
(*) f ( x ) € p € Z ( Y ) => g - r ( x ) € p . x
P r o o f . L e t x € X be g i v e n . L e t a := ] e , . . . , e [ be t h e open simplex o f
Q n
f ( S t ( e ) ) with
x i 0<i<m.
Assume t h a t g i s a s i m p l i c i a l a p p r o x i m a t i o n t o f . Then f ( x ) i s c o n t a i n e d
v e r t i c e s e , . . . , e . We
o m c o n c l u d e from (*) t h a t T i s a f a c e o f p , which
are l i n e a r l y nomotopic.
P r o o f . We put X Q := X, Y := Y. L e t a p o i n t x € X^ be g i v e n f o r some
[f (x) , g » r (x) ] i s c o n t a i n e d
x i n Y^, more p r e c i s e l y , i n Y^ fl "p. This
approximations.
Theorem 2.5 ( E x i s t e n c e o f s i m p l i c i a l a p p r o x i m a t i o n s ) . L e t
: (Y,Y ,...,Y ) ^
1 r (N,N ,...,N ) be weak t r i a n g u l a t i o n s o f (M,M ,...,M
1 r 1 r
map
such t h a t (cp,i|;,g) i s a s i m p l i c i a l a p p r o x i m a t i o n to f .
P r o o f . We assume w i t h o u t l o s s of g e n e r a l i t y t h a t (M,M^ ,...,M^) =
(X,X r . . . ,X ) , (N N
r / 1 , . . . ,N ) r = (Y,Y 1 , . . . ,Y ) r and t h a t <p,i|; a r e the
y : E(coX) -» E(co Y) .
done.
proved.
a g i v e n v e r t e x e G X n E ( X ) , the s e t f ( S t ( e ) ) x i s contained i n S t ( g ( e ) ) . y
X^ n co X into Y k n co Y . I f X^ Is c l o s e d i n X then X^ n co X = co X^
S t c o Y = U I t
co Y ^ k^ k* remains to v e r i f y t h a t g ( X f l c o X ) c Z ^ . k Since
simplex ]g ( e ) , . . . , g ( e ) [ = g(a)
Q R i s c o n t a i n e d i n Z^.. Thus indeed
definition of s i m p l i c i a l approximations, as we d i d .
1 ( X X X
Definition 5 ( c f . [Spa, p. 130])**. L e t g^,<3 2 o' 1 '*•'' r * ^
(Y ,,.../Y
Q ) be two s i m p l i c i a l maps between systems o f complexes.
h Q = g ,h ,h ,...,h
1 1 2 t = g 2
c o n t i g u o u s to h.^ ^ f o r i = 0 , . . . , t - 1 .
+ (Contiguity i s the equivalence
t i g u o u s maps a r e homotopic.
conditions holds:
i) F o r every index k 6 ( 1 , . . . , r ) e i t h e r X^ i s c l o s e d i n X o r Y^ i s Q
locally closed i n Y .
complexes.
P r o o f . We p u t X := X , Y = Y . L e t a be an open simplex i n X n c o X f o r
Q k
g (x)
2 a r e both contained i n "p. This implies t h a t g^ ( a ) U g (o) <=• p fl Y^ n 2
c Y a n c
will verify t h a t , under e i t h e r o f t h e assumptions i ) , i i ) , T k> ^
g (a)czY
1 k and p c Y . k I f X^ i s c l o s e d i n X, then X fl co X k = co X^ ( c f .
(Y ,...,Y ) = ( Z
Q r Q Z R ' ) f o r a system o f complexes (Z ,...,Z ) R
T = ] S , . . . , S [ c Y^.
Q t Thus i c Y ^ d c o Y i n both c a s e s . q.e.d.
~ —1
the f i r s t barycentric s u b d i v i s i o n o f \p. The f a m i l y (f ijj (T) I T € I (Y) )
o f M,M^ ... M
r f and t h i s f a m i l y . R e p l a c i n g co by i t s b a r y c e n t r i c sub-
g : co(X,X r .. . ,X )
r - co (Y, Y , . . . , Y )
1 r
c o n t i g u o u s t o g. F i n a l l y , i f every NL i s l o c a l l y c l o s e d i n M, then,
1
by P r o p o s i t i o n s 2.1 and 2.3, the map ^*j °g°r
v »cp i s homotopic t o f .
§ 3 - The f i r s t main theorem on homotopy s e t s ; mapping s p a c e s .
(M,A , . ..,A ) t o
1 r (N,B , ...,B
1 ) and H : ( M x I , A x l , . . . , A x I )
1 r - (N,B ,... ,B
1
is a homotopy from f t o g t h e n
braic .
[ ( M , A , . . . , A ) , ( N , B , . . . , B ) ] (S) i s always
1 r 1 r injective.
closed i n N. Then K i s a l s o s u r j e c t i v e .
n m
We choose f i x e d embeddings o f M and N i n t o s t a n d a r d spaces R ,R . Now
n m
M i s a semialgebraic s u b s e t o f R , N i s a s e m i a l g e b r a i c subset o f R ,
n m
and M(S), N(S) are s e m i a l g e b r a i c subsets o f S , S , d e f i n e d by the same
v e c t o r space
r s
F := F(n,m,d,r,s) := T T (G. x T T F. .)
1 1 J
i=1 j=l
and the f o l l o w i n g semialgebraic subset L o f MxNxF.
t i f y i n g MxNx{£} w i t h M x N , as u s u a l ) . N o t i c e t h a t we o b t a i n a l l s e m i a l -
g e b r a i c s u b s e t s o f MxN i n t h i s way, i f we v a r y d , r , s .
Map(M,N,d,r,s) i s a s e m i a l g e b r a i c subset o f F.
and t h e map < £ > s : M(S) -+ N(S) i s t h e base e x t e n s i o n o f t h e map <£> : M-»N
H(f,g,d,r,s)(S) = H ( f , g , d , r , s ) .
g g
proved.
The p r o o f o f t h e s u r j e c t i v i t y o f K w i l l be h a r d e r . I t uses t h e t h e o r y
f ( A (S) ) = B (S) f o r 1 < i < k w i t h some k € {0, . . . ,r} , and f (A (S)) c B , (S)
± i ±
n m
P r o o f . A g a i n we choose f i x e d embeddings M c R , N c R . F o r any t r i p l e
(d,r,s) o f n a t u r a l numbers we c o n s i d e r t h e s u b s e t Q ( d , r , s ) o f
e x p r e s s e d by an e l e m e n t a r y p o l y n o m i a l f o r m u l a i n t h e parameter £ over
homotopic t o f .
T € I(N) , of M ( S ) .
from (X X^)
f t o (N(S),B(S)) a r e ( l i n e a r l y ) homotopic (Prop. 2 . 1 and 2 . 3 ) .
and, o f c o u r s e , r% = ( r ) g , x J ( ) = (J^s*
N S
T h U S
~ S V w i t h
v := J - u - r .
N x
open simplex a(S) o f X(S) i n t o the same open simplex p{S) o f M(S) . Thus
p i c , and we have
-1
M u l t i p l y i n g by Xg on the r i g h t we obtain
1
f « (v. " ) . X s
covering (M n + 2 ^ M | n > 0 ) of M l o c a l l y
n finite (M Q = 0) . I t i s tempting
(M ,A^ n M ,...,A D M
n n r ) and (N,B^,...#B ) and somehow u s i n g t h e homotopy
e x t e n s i o n theorem C o r o l l a r y 1.4.
t o p i c r e l a t i v e C, and w r i t e f « g r e l . C , i f t h e r e e x i s t s a homotopy
H : (Mxi,A x i , . . . , A x l )
1 r (N,B , . . . ,B ) w i t h H
1 r q = f, H 1 = g, and
h
(N B ...,B )] .
f v r
A g a i n l e t S be a r e a l c l o s e d o v e r f i e l d o f R. Then h y i e l d s a map
h c : C(S) -+ N(S) which maps every s e t A. (S) fl C(S) i n t o B.(S) (1 < i < r) .
h ^
S h
(N(S) ,B (S) , . . . ,B (S))]
1 b r i e f l y by [ (M, A , . . . , A ) , (N,B , . . . , B ) ] (S) .
r 1 r 1 r
C C (S)
v ;
As i n §3 we have a c a n o n i c a l map K : [f ] [f ] from
h
[(M,A ,...,A ), 1 r (N B ,... B )]
r 1 r r into this set.
P r o p o s i t i o n 4.1. I f M i s s e m i a l g e b r a i c , then
h h
K : [ ( M , A . . . ,A ) , (N,B , . . . ,B ) ]
r r 1 r -> [ (M, A-, , . . . , A ) , ( N , B . . . ,B ) ] (S)
r r r
is injective.
T h i s i s c l e a r by an o b v i o u s v a r i a t i o n o f t h e p r o o f o f t h e c o r r e s p o n d i n g
(N,B 1 ,. . . ,B ) ]r
h
t o [ (M,A , . . . ,A ) ( N , B . . . ,B ) ] ( S ) i s b i j e c t i v e .
1 r f r r
h
As i n §3 we assume h e n c e f o r t h , f o r s i m p l i c i t y , t h a t r = 1 and w r i t e = A,
topy w i t h F ( - , 0 ) = f , F(-,1)
s = g , F(x,t) = h (x)
s g for xGC(S), tei(S)
H : C := ( C x i ) U (MxO) U (Mx1) N,
such t h a t F extends H . By t h e s u r j e c t i v i t y r e s u l t
g t h e r e e x i s t s a map
G : (Mxi,Axi) (N,B)
t i v e l y . G l u i n g G w i t h t h e c o n s t a n t homotopy (x,t) ^ h g ( x ) on ( C x l ) ( S )
( A x i ) (S) i n t o B ( S ) , and ends up w i t h a map f 1 : (M,A) (S) -> (N,B) (S) such
T h i s proves t h e s u r j e c t i v i t y o f K f o r r = 1 p r o v i d e d we know t h e s u r -
closed i n M.
h o l d s i n the s e m i a l g e b r a i c c a s e , t h e r e e x i s t s a homotopy
H-j' : ( M x l ) ( S ) - N(S) w i t h
1 (-,0) = f l M ^ S ) , ^ ' c o n s t a n t on ( C O M I C S ) ,
H 1 : ( M x i ) (S) N(S)
w i t h H (-,0) = f , H (x,t) = h ( x ) f o r a l l x € C ( S ) , t € I ( S ) ,
1 1 s and a f i n a l
t a i n a homotopy
H 2 : ( M x i ) (S) N(S)
w i t h H ( - , 0 ) = f , H (-,1) =: f
2 1 2 2 ,H 2 constant on C (S) and f |C = ( h )
1 2 2 2 g
maps (h | n £ X O , h :C - » N , w i t h h |C - = h
L , a sequence o f maps (f |n€H),
n n n n n-1 n-1 n
f : M(S) -> N ( S ) , w i t h f IC (S) = (h ) , and a sequence o f homotopies
H (-,0) = f _
n n 1 (let C Q = C, f Q = f ) and H (-,1) = f R . The maps h f i t n
(h ) ( x ) = g ( x ) . Thus G i s s e m i a l g e b r a i c on (M x[ s , 1 ] ) ( S ) . But
m o o c e
m rn
c l e a r l y G i s also semialgebraic on (M x [ o , s ] ) ( S ) . Thus G i s semi-
m m
a l g e b r a i c on ( M ^ x [ 0 , 1 ] ) ( S ) . By c o n s t r u c t i o n G(-,0) = f , G(-,1) = g g
as follows.
Choosing a s i m u l t a n e o u s t r i a n g u l a t i o n o f (M,C) and p a s s i n g t o i t s f i r s t
(x,t) € (Cxi) (S) . We have o b v i o u s homotopies G : (Mxi) (s) -> N(S) from f
s i n g l e homotopy
H : ( M x i ) (S) -> N(S) .
We draw a s c h e m a t i c p i c t u r e o f t h i s homotopy.
C(S) const
M(S) G F'
f f° s
r (u g
C G
o const K
o
h h •r h« r 1
have an o b v i o u s homotopy
Cxlxl
w i t h <X>(-,0) = H , <D(x,t,1) = h(x) f o r a l l (x,t) 6 C x I , and $ c o n s t a n t
to a homotopy
¥ : ( M x l x l ) (S) -> N ( S )
b r a i c neighbourhood D o f C i n M such t h a t C i s a s t r o n g d e f o r m a t i o n
w i t h i n C. We choose a c l o s e d s e m i a l g e b r a i c neighbourhood E o f C i n M
which i s c o n t a i n e d i n the i n t e r i o r D o f D ( c f . 1 . 4 . 1 4 ) .
subcomplex M ^ D o f M . We choose a s i m u l t a n e o u s t r i a n g u l a t i o n o f L ( S )
t h a t M i s complete b e a r s fruits.
On the o t h e r hand, v/e have a l i n e a r homotopy from f°cp to Ug. But this
by the formula (x 6 X ( S ) , t E I ( S ) )
rel X-(S)
S
-1
M u l t i p l y i n g by the isomorphism x from M(S) t o X(S) we obtain
f « (v- " )X
1
s
rel C(S)
spaces.
(A la€I),
a (BgiaGI) o f subspaces o f M and N i n s t e a d of the systems
to t h e second we a l s o c o n s i d e r c o n t i n u o u s homotopy c l a s s e s o f c o n t i -
c a l s e n s e . We denote t h e s e t o f t h e s e c l a s s e s by [(M,A^,...,A ), r
[(M,A , . . . , A ) , ( N , B , . . . , B ) ]
1 r 1 r
s e m i a l g e b r a i c map f t o t h e t o p o l o g i c a l homotopy c l a s s [ f l ^ p °f f •
More g e n e r a l l y , g i v e n a l o c a l l y s e m i a l g e b r a i c map
h : (C,C fl A , . . . ,C 0 A ) - (N,B , . . . ,B )
1 1 r
h
(N,B-j , . . . ,B ) ] r of l o c a l l y s e m i a l g e b r a i c homotopy c l a s s e s r e l a t i v e C
of l o c a l l y s e m i a l g e b r a i c maps e x t e n d i n g h t o t h e analogous s e t o f t o p o -
We want t o prove
h
(N B f 1 , . . . ,B ) ]
r t Q p i s bijective.
To a g r e a t e x t e n t t h e p r o o f w i l l f o l l o w t h e same p a t t e r n as the p r o o f
s t e p s i n §4 we f i r s t see t h a t i t s u f f i c e s t o prove t h e s u r j e c t i v i t y
of A and then t h a t we may assume r = 0 and t h a t M i s s e m i a l g e b r a i c and
whose r e s t r i c t i o n t o D i s s e m i a l g e b r a i c . We r e p l a c e f by f ^ and we
b r a i c neighbourhood E of C i n M with E c D .
f ( S t ( e ) ) c S t ( u ( e ) ) . The map
M N u : E(M) -• N f l E ( N ) i s an a b s t r a c t simpli-
p r o o f o f the theorem.
such spaces.
t i n u o u s l y ) homotopic t o f ?
r e a l c l o s e d base f i e l d . As a f i r s t example we g i v e a c o m b i n a t o r i a l
particular §6).
c o n t i g u o u s f o r i = 1 , . . . , r . The c o n t i g u i t y c l a s s o f cp i s denoted by
i s denoted by [ K , L ] .
the r e a l i z a t i o n s |ip| , | i / ; |
R R are s t r i c t l y contiguous (resp. contiguous)
By s d K we denote the f i r s t b a r y c e n t r i c s u b d i v i s i o n o f K. T h i s i s a
p u r e l y c o m b i n a t o r i a l n o t i o n : The v e r t i c e s o f sdK a r e the s i m p l i c e s o f
by c o L . We assume h e n c e f o r t h t h a t L i s a l s o closed.
a l s o a s i m p l i c i a l a p p r o x i m a t i o n to t h e i d e n t i t y o f IKIg.
h induces a map n : [K,L] -*• [sd K,L] , [cp] [cp»h.]. T h i s map n does not
r s
S i m i l a r l y , g i v e n two i t e r a t e d b a r y c e n t r i c s u b d i v i s i o n s sd K and sd K
S r
I s d K I -* I s d K I t o t h e map x>->x. I f r < s < t then n •n = n , . Thus
st rs rt
r
we have a d i r e c t system o f s e t s ([sd K,L],r>0).
If cp,i/; : s d K 5 L a r e two s t r i c t l y
r
c o n t i g u o u s maps then t h e i r realiza-
P r
r
: [ s d K , L ] - [|K|,1L|], [cp] * [ I cp I ] .
If r < s then P ° l s
r
r s
=
P r s i n c e t h e map l n
r s l ' IKI -* IK I i s homotopic
r
piling [sd K,L] - [|K| ,|L| ].
R R
p i s bijective.
triangle
[|K ( ] R ,|L| ] K
r
lim [sd K,L]
[|K| K
,|L| ] K
o o
IR
with K the canonical b i j e c t i o n (Th. 3.1 o r 4.2) commutes. S i n c e p is
R
o
a bijection p i s also a bijection. I f R i s an a r b i t r a r y real closed
RQ R
[Spa 3.5.7].
n i c a l r e t r a c t i o n Y -> co Y , c f . §1.
n
b e r n and a s i m p l i c i a l map g : X^ * -> X from t h e n - t h b a r y c e n t r i c sub-
n
d i v i s i o n X^ * o f X t o X w i t h g l i n e a r l y homotopic t o f . L e t Q :=
n ( n )
P 0 1 ( 2 ~ ) . The p o i n t s P Q 1 U) and P ^ (3c) i n t h e simplex ]P ,Q[ o f X
Q
TT (M,x ),
N o n > 1, i n t h e c l a s s i c a l way [Hu, IV, §2]:
n n
TT (M,x )
N o := [ ( l , 3 l ) , (M,x )]. Q
(We w r i t e ( M , x ) i n s t e a d o f (M,{x }) f o r s i m p l i c i t y . )
Q Q The m u l t i p l i c a -
tion i s g i v e n by
[f]-[g] := [f*g],
n n
the p r o d u c t f * g o f two maps f , g : ( I , 3 I ) ^ ( M , X ) b e i n g d e f i n e d by q
_ r f(2t 1 f t ,...,t ),
2 n 0<t, <\
(f*g) (
1
g(2t -1,t ,...,t ),
l 2 n ^< t 1 < 1
1
The inverse [f] of a class [ f ] i s the c l a s s [h] w i t h
h(t ...,t )
r n := f ( 1 - t , t , . . . , t ) . 1 2 n
But, i n g e n e r a l , t h e r e i s no r e a s o n a b l e m u l t i p l i c a t i o n on TT (M,X ).
O O
n n n n
Using a standard isomorphism from t h e p o i n t e d space (I /3I ,3I /3I )
n n N + 1
(cf. I I , §10) t o t h e space (S ,<») , w i t h S the u n i t sphere in R and
n
oo t h e n o r t h p o l e o f S , we may i n t e r p r e t TT (M,x ) as t h e s e t o f homo-
N Q
n
topy c l a s s e s [ (S ,«>) , ( M , X ) ] . Q
n n n
F o r every n> 1 we i d e n t i f y l ^ w i t h t h e subspace l ^ *{0} o f I , and
1 1 1 1 n
we denote t h e c l o s u r e o f S I ^! ^ i n 3 I by J Then we d e f i n e f o r
2
n-1
hand, T T ( M , A , X )
1 q i s the s e t [ (I, {0,1 } , 1 ) , (M, A,x ) ] of homotopy c l a s s e s
we a p p a r e n t l y have no r e a s o n a b l e m u l t i p l i c a t i o n on t h i s s e t . N o t i c e t h a t ,
n n n n
Using a standard isomorphism ( I / J . , 3I /J .,J - /J - ) (D ,S \°°)
n-1 n-I n-! n—I
n n
with D the c l o s e d u n i t b a l l in R , we may identify ( M , A , X ) with
q
n n 1
the s e t [ ( D , S ,°°) , (M,A,x ) ] . Choosing Q some p o i n t Z q in J ^ we may
X n n
also identify TT^ ( M , A , ) Q w i t h the s e t [ ( l , 3 l , z ) , (M, A , x ) ] s i n c e the Q
n n n n
i n c l u s i o n map from (I ,3l ,z ) o to (I ,8l ,J^_^) i s a homotopy equiva-
l e n c e of t r i p l e s , c f . [DKP, p. 201],
TT (cp) : T T ( M , A , X )
n N Q -+ n ( N , B , y )
n Q
i n the obvious way, [f] » [cp°f], f o r every n > 1 , and, i n case A = {x },Q
TT
B= {y }'Q a l s o f o r n = 0. The map n (^P) i s a group homomorphism i f n> 2,
and a l s o i f n = 1, A = ^ X
Q K B= {y } • As u s u a l , we
Q o f t e n w r i t e cp + instead
of TT (cp) .
n
map
3: T T ( M , A , x ) -
N o n _ (A x )
N 1 / Q
n 1
in the u s u a l way, 3 [ f ] := [f|I ~ ]. C l e a r l y 3 maps the n e u t r a l element
of T T ( M , A , x ) t o the
N o n e u t r a l element o f T T ^ ^ ( A , X ) . I f n > 2 q then 3 i s
i s a
topy c l a s s e s o f paths i n M from X q t o x^ by TT^ ( M , x , x ) . I f x
Q 1 2 third
point i n M we have a m u l t i p l i c a t i o n
n 1 ( M , x , x ) x TT (M,x
Q 1 1 1 ,x ) 2 -» n 1 (M,X ,X ), Q 2
from x Q t o x,| y i e l d s a b i j e c t i o n
[u] € n ( M , x , x ) .
1 Q 1
p. 101]).
Proposition 6.2. I f C i s c o n t r a c t i b l e and A i s connected then the for-
[(E,D),(M,A)].
this generality.
n n
If (E,D,C) = (I ,3l ,J .) and n > 2 then the maps u above are group
n— i — #
n n n
homomorphisms. The same h o l d s i f (E,D,C) ( l , I , 3 I ) , n> 1, M = A.
p o i n t x^ the diagram
n (M,A
n f X l ) .n (M,A,x )
n 0
n ( N , B , f (x.,))
n lfno-*" (N,B,f(x ))
n 0
sense.
(in one o f i t s v e r s i o n s 3.1 o r 4.2) and the second main theorem 5.1.
closed f i e l d c o n t a i n i n g t h e base f i e l d R.
natural map
d e f i n e d by K ( f ] := [ f g ] / i s an isomorphism o f groups. I f A = { x } , o
n = 0, A = { x } , K i s an isomorphism o f p o i n t e d
Q sets.
u n i o n o f a l l s e t s TT^ (M(R) , X , x ^ ) w i t h x , x
q Q 1 € M. Given a path u i n
TT (M,x )
n 1 >n (M,x )
n o
*n ( M ( S )
' 1 X }
(u^T \ (R) X )
t Q
R #
commutes f o r e v e r y n > 1.
obvious map
X : n (M,A,x ) - V * ! ' A , x )
n o o t o p
A* { Q} / X a n (
3 n = 0, A = r X i s an isomorphism of pointed sets.
( T T (M,x)
N t Q p l x € M) on M (n>0).
By the main theorems 6.3 and 6.4 the homotopy groups o f any triple
tirely c a n o n i c a l . ) In p a r t i c u l a r , i f V i s an a l g e b r a i c v a r i e t y over
n (V(R),x )
n 0 = n (V(lR)
n ,x ) Q t o p .
f o r any p o i n t x € V ( R ) which l i e s
o Q i n the connected component o f x i n
o v e r TR .
TT (M,A,x ) « n ( | K | , | L | , e >
n o n R R = TT ( I K I ^ ,| L I ^ , e)
n t Q p .
e i t h e r i n t h e g e n e r a l v e r s i o n s i n §3 - §5 o r the s p e c i a l v e r s i o n s i n
t h i s s e c t i o n - we are a b l e t o t r a n s f e r a l a r g e p a r t o f the r e s u l t s o f
c l a s s i c a l homotopy t h e o r y to t h e l o c a l l y s e m i a l g e b r a i c s e t t i n g . We
t o the r e a d e r .
TT (A ,A ,x) =0
r 2 Q for 1 <r<q, f o r every p o i n t x € A . Then the homomorphism
j * : TT (A ,A ,x) n 2 o n (M A ,x)
n / 1
every x € A . Q
T T Y Y # x v a n i s n
t h a t , f o r every x € Y , Q the groups n ( Y , Y , x ) and
r 1 Q r ( 2' Q ^
for 1 < r < p and 1<r<q r e s p e c t i v e l y . The sets (IR), Y (IR)
2 a r e open
TT (Y (3R) , Y
r n Q (IR) ,x) and T T ( Y ( I R ) ,Y (3R) ,x) v a n i s h f o r 1 < r < p
r 2 Q and
TT (M(R) ,A(R) , X )
n q Ti (N(R) ,B(R) ,y )
n Q
R *
commutes, q.e.d.
t o p o l o g y which c o u l d be t r a n s f e r e d t o the g e n e r a l l o c a l l y s e m i a l g e b r a i c
archimedian.
[Spa, p. 405].
Theorem 6,6. L e t f : M ->N be a map between connected spaces over R. Let
x be a p o i n t o f M and
c v := f ( x ).
o •* o o
T T
i) Assume t h a t , f o r every r > 0, the map TT (f) from n (M,x ) to
R Q r (N/y ) o
reasons.
How about a proof of Theorem 6 . 6 by semialgebraic methods? L e t us again
(cf. I I , §10; f i s now proper). The map f i s the composite p«j of the
r r-1
"simplex by simplex".
a t our d i s p o s a l .
K ( T T , n ) , a t our disposal.
given.
t h a t the l i m i t s o f complete spaces do not become too " w i l d " and the
occasion.
§7 - Homology, the Hurewicz theorems
spaces and a Hurewicz homomorphism from the homotopy groups t o the ho-
of t h i s c a t e g o r y . L e t G be an a b e l i a n group.
h ( M h ( M A l h ( A )
•••-h <A,0) h ^ i r
n n ^ ) h^Tir n ' > 5 (X,A)
n n-1 ^ ----
(M,0) - (M, A) .
h (IX (M Ia€I),0)
n Q i s an isomorphism.
h (coX,
n coA) Ah (X,A)n
that h ( c o X ,
n co A) i s i s o m o r p h i c t o the s i m p l i c i a l homology H (K,L;G) n
c u l a r h (X,A) = 0
n i f n<0 and i f n > dimX.
note a l l t h e homomorphisms ^ ( f ) by f . n +
H (M,A;G)
n H n - 1 (A G) f
H (M(R),A(R);G)
n 3 ( (8),A(«))
M "n-1,(A(K),G)
commutes.
functorial isomorphism
A : H (M,A;G) H (M,A;G),
n n top
such t h a t t h e diagram
3^(M,A)
n
H (M,A;G)
n
H _ (A,G)
n 1
H
n ( M
' A
' G
W H
n-1 ( A
' G )
top
3
n ( M
' 'top
A
H (M,G) i s t h e t e n s o r p r o d u c t o f H ( M , Z ) w i t h G o v e r 2.
Q q
H ( M , x ; G ) i s an
Q o isomorphism.
n n
For any n > 0 and any r e a l c l o s e d base f i e l d R the group H - ( I , 3 I ) i s
n
n ]
i s o m o r p h i c to 2. We choose a c o h e r e n t system o f g e n e r a t o r s Z € H ( I , 3 I n n
(n> 1, or n = 0 and A = ( X } ) Q
cp : T T ( M , A , x ) -
N o H (M,A)
N
n n
by cp[f] := f ^ ( Z ) , n f o r e v e r y map f : (I , 3l , ) -+ ( M , A , X ) .
q This map
i s a group homomorphism.
b) I f n > 1, t h e square
n (M,A,x )
n Q n ( A x )
n-1 ' o
H (M, A) H ( A )
n ' ' n-1
commutes.
a point X q t o a p o i n t x^ t h e t r i a n g l e
u
TT (M,A,x )
n 1 * ^n (M,A,x )
n o
p o i n t x^ t h e t r i a n g l e
M X ( M x )
V ' 1> — ^% ' o
commutes ( n > 0 ) . Here we have i d e n t i f i e d b o t h H ( M , x ) and H (M,x.j)
N Q N
through T T ( M , A , x ) and
N Q [u] r u n n i n g through 7 T ^ ( A x ) . The f i r s t
f Q triangle
+
for 1 < r < n - 1 . Then the map cp from T T ^ ( M , A , X ) t o H
q n (M, A) i s an
isomorphism.
M, t h e f a c t o r commutator g r o u p o f n ( M , X ) i s c a n o n i c a l l y i s o m o r p h i c
1 q
i n homotopy (Th. 6.3, Th. 6.4) and homology (Th. 7.2) together with the
f o l l o w i n g obvious f a c t s :
1) L e t R be a r e a l c l o s e d f i e l d c o n t a i n i n g R and (M,A,x ) a p a i r of
o
n (M,A,x )
n o •H (M,A)
n
n (M(R),A(R),X )
n Q •H (M(R) ,A(R))
n
commutes.
cp : TT (M,A,x ) - H (M,A)
n o n
TT (M,x ) t o H . . (M)
i i s surjective.
n+i o n+1
d e r t h e i n d u c e d homomorphisms
TT (f) : n ( M , X ) - T i ( N , y ) , H ( f ) : H
q q Q q o q g (M) ->H (N),
q
b) Assume t h a t ( M , X ) = 0 and
Q (N,y ) = 0. Then, c o n v e r s e l y , i f
Q
TT ( (M ^ K) ^, x ) w i t h K r u n n i n g through
q the s e t (M) of p a r t i a l l y complete
definition.
on A(a) by
P 1 M L
(K^t) " ( ^ ' a ( u ) ) - n (M^K,cx(t)) ,
q Q
{j\, u;
have, f o r e v e r y q > 1, an i n v e r s e system (TT (M ^ K, a (t)) I (K, t ) € A (a)) o f groups ,
si
n (X,a) = lim TT ( M \ K , a ( t ) ) .
q c
(K,t)€A(a) q
o b t a i n a unique homomorphism
TT (f*(A) , 3 )
q
w i t h t h e c a n o n i c a l p r o j e c t i o n s as v e r t i c a l arrows, commutes.
H(u,-) #
TT (M SK , CX (u))
(K,u)
P
(K,t)
TT (M<K,a(t))
commutes, s i n c e t h e v e r t i c a l arrows a r e j u s t t h e maps 6 induced
Tr TT
by t h e paths
H : TT ( A , 3 ) -* TT (A,a) .
a second p r o p e r homotopy H 1
: [0,1[xi -» M from a t o 3 then H = H' as i s
easily verified.
H i s Bn isomorphism.
w
all isomorphic.
homotopy from a t o 3 .
s e t s M, y ( [ 0 , 1 ] ) , a ( [ 0 , 1 ] ) , " 3 ( [ 0 , 1 ] ) F and we r e g a r d P as a c l o s e d l o -
of vertices (x IO<i<n)
i in y ( [ 0 , 1 ] ) such t h a t X Q = X, x n = y and
[x _ ,x ]
i 1 i i s a closed 1-simplex of P contained i n y ( [ 0 , 1 ] ) for l£i<n.
] x ^ _ ^ , x ^ [ as a f a c e . T h i s i s p o s s i b l e s i n c e M i s dense i n P.
spaces. In t h i s n o t a t i o n o u r c l a i m i s a ^ p.
a x f o r e v e r
In p a r t i c u l a r , o^x^ ~ i + 1 i y i £ { 1 , . . . , n - l } s i n c e the b a r y -
a
centers and o f o\ and i + -j are both lying i n S t ( x ^ ) . Obviously
M
x F O R 1 G
we a l s o have ^ ^ - i - ^i i (1,...,n).
a ^ ax. S i m i l a r l y 3 ^ by f o r a s u i t a b l e p o i n t b £ S t ( y ) . M By the o b s e r -
H := F« ( a x i d ) : [0, 1 [ x i N
P r o p o s i t i o n 8.3. The t r i a n g l e
Ti^(y,f «a)
commutes.
equivalences.
T T ( P ( A ) ,a(1)) -
q TT (U,a(1)) = TT (P
q L, a (1) )
Tt (M^ L,a(t) )
q TT (P^L,a(t)) -^TT
q (P^L,a(1) ) ,
— -1
natural homomorphism
a
(L,t) :
" ( q
M N k
L a(t) ) -
f TT (P(A),a(1)) .
q
above p r o p e r t i e s . A ( a ) i s c o f i n a l 1
i n A ( a ) . Thus, f o r e v e r y q > 1 , t h e
group T T ( A , a ) i s the p r o j e c t i v e
q l i m i t o f t h e groups TT (M ^ L, a (t) ) w i t h
homomorphism by
a
cp : T T
q ( A
' a )
~* * ( P ( * ) rW ® d ) ) •
q
7
to cp t h e n f restricts t o a p r o p e r s u r j e c t i v e map g : Q ( A ) ~» P ( A ) . I t
(8.4)
n (P(X) ,<p-a( 1) )
Si
commutes.
g i v e n c o m p l e t i o n tp : M ^ P i s o f t h i s s p e c i a l t y p e . Then t h e r e e x i s t s ,
elude
a
<p : T T
q ( A /
°0 -* T T ( P ( A ) ,<p»a (1) )
g
S(A) i s c o l l a r e d . Thus i t s u f f i c e s to c o n s i d e r t h e c a s e t h a t t h e r e
i s a homotopy e q u i v a l e n c e . q.e.d.
In t h e c o u r s e o f t h i s study i t t u r n e d o u t t h a t i t sometimes i s n a t u r a l
We r e g a r d h e r e Sper A as a t o p o l o g i c a l space, n e c r l e c t i n g i t s u s u a l
view p o i n t l e a d s t o a b e t t e r u n d e r s t a n d i n g o f v a r i o u s examples o f
L e t V be an a f f i n e a l g e b r a i c v a r i e t y over a r e a l c l o s e d f i e l d R. As
i n e q u a l i t i e s a l s o d e f i n e a c o n s t r u c t i b l e subset M o f S p e r R [ V ] . The
logy o f M.
F x generated by x.
to be d e f i n e d now.
L e t A be an a r b i t r a r y commutative ring (with 1) and K be a c o n s t r u c t -
spectra.
Definitions 1 [D , 2 I , § 1 ] . a) An a b s t r a c t a f f i n e s e m i a l g e b r a i c space i s
of a r e a l spectrum.
b) An a b s t r a c t l o c a l l y s e m i a l g e b r a i c space i s a l o c a l l y r i n g e d space
briefly a s e m i a l g e b r a i c map.
as d e f i n e d i n I , §1 w i l l h e n c e f o r t h o f t e n be c a l l e d g e o m e t r i c locally
a l g e b r a i c subspaces (M (D^)
f f (Sf,©) o f Sper R[V]
N and Sper R[W] corres-
I f F i s a p o i n t o f H, i . e . an u l t r a f i l t e r i n r ( M ) , then ^ ( F ) i s t h e
t u r n s o u t t h a t f ( F ) i s a g a i n an u l t r a f i l t e r [Br, p. 2 6 1 ] . I t i s e a s i l y
checked t h a t t h i s map f : M-*N i s continuous. F o r any X € T(N) we have
c a t e g o r y o f the c a t e g o r y o f a b s t r a c t a f f i n e s e m i a l g e b r a i c s p a c e s . I t
s u b s e t s o f M which c o n t a i n s e m i a l g e b r a i c s e t s . The p o i n t s o f M a r e i d e n -
M, x
are c l o s e d i n M, b u t u s u a l l y M c o n t a i n s a l s o o t h e r c l o s e d p o i n t s .
The subspace t o p o l o g y o f M i n M i s j u s t the s t r o n g t o p o l o g y ( c f . I , §3)
on M. F o r e v e r y open s e m i a l g e b r a i c s u b s e t U o f M t h e r e e x i s t s a u n i q u e
g i c a l space X i s c a l l e d r e t r o c o m p a c t i n X i f Z fl V i s quasicompact f o r
subsets o f M a r e a b a s i s o f t h e t o p o l o g y of M. Thus i t i s a g a i n c l e a r
[ D ] f o r some s t r i k i n g
2 examples).
If ( M l a € I ) i s the f a m i l y o f c o n n e c t e d components of M
a ( I , §3) t h e n , as
t o p o l o g i c a l space H .
"paracompact" a r e u n d e r s t o o d t o i n c l u d e "Hausdorff".
m a x
Examples A.2. i ) I f (M,0 ) i s r e g u l a r then M M i s H a u s d o r f f . The con-
1113
ii) (M,©^) i s r e g u l a r and t a u t i f and o n l y i fM ^ i s locally compact
[D , 2 1.4.5].
m a x
iii) (M,(9 ) i s a f f i n e s e m i a l g e b r a i c
M i f and o n l y i fM i s compact. This
M nM a
m a x
= M™ a x
since S i s closed i n M. Thus (M™ a x
|a€I) i s the
f a m i l y o f connected components o f M m a x
.
p o i n t s o f U. Thus M m a x
i s dense i n M. By t h e same argument M m a x
is
r : M-^M max
i s c o n t i n u o u s i f and o n l y i f (M,© ) i s a l s o t a u t
M [D2, 1.4.3].
m a x
Thus f o r (M,© ) t a u t and r e g u l a r the
M space H i s a r e t r a c t o f M.
m a x
Since M i s o f t e n such an honest t o p o l o g i c a l space and i s very dense
m a x m a x
usually f will not map M into N . Thus the t o p o l o g i c a l space
e x i s t s i n t h e c a t e g o r y o f a b s t r a c t spaces. We g i v e a d e s c r i p t i o n o f
i i ) Let
M — - Mn
1 *1
P1
M •RL
M 'N
"1
i s a c a r t e s i a n square i n t h e c a t e g o r y o f a b s t r a c t l o c a l l y s e m i a l g e b r a i c
spaces. In s h o r t ,
(M H X
1 "N«2'~ = 1 N*V
(I, 2.10). In s h o r t ,
K x S e r S =
Sper R P '
solved.
commutative r i n g i s t h e a b s t r a c t i o n o f a g e o m e t r i c space o v e r t h e f i e l d
s e m i a l g e b r a i c f u n c t i o n s on an a b s t r a c t a f f i n e s e m i a l g e b r a i c space
starting from t h e known e x t e n s i o n theorem §4] ( c f . 1.4.15) i n
(D loc€I) o f D by quasicompact
a open s e t s . L e t := D^HM. Then
• <-->
X € J"(M) and D = X . We now are i n t h e s i t u a t i o n o f Example 1.2.9.
a a a
L e t X be t h e i n d u c t i v e l i m i t , c o n s i d e r e d t h e r e , o f the open s e m i a l g e -
b r a i c subspaces X := U (X lotGJ) w i t h J r u n n i n g through t h e f i n i t e
T
j ot
s u b s e t s o f I . We have
Xj = Dj := U(D |a€J).
a
(X |aei)
Q t h e f a m i l y o f a l l open s e m i a l g e b r a i c s u b s e t s U o f M w i t h
x = M
U G ) T ( M ) . T h i s l e a d s t o the space
c ^ o c c o n s i d e r e d i n I , §7, and,
D nMcX
a and l e t D := U(D la£I). T h i s s e t D i s the l a r g e s t open subset
of M w i t h D 0 M = X. L e t X : = D f l M , hence D
a a Q = X .
Q The open subspace
x x
u n d e r l y i n g s e t X which i s t h e i n d u c t i v e l i m i t o f the spaces ( /0^' ^*
a a
This i s j u s t the space "induced on X" by the space (M,(9 ) , asM consi-
open s u b s e t s o f M which a r e c o n t a i n e d i n X.
n e v e r t h e l e s s may be q u i t e c o m p l i c a t e d . I n p a r t i c u l a r paracompactness
a f o r t i o r i n o t paracompact, even f o r R= IR .
Appendix B (to Chapter I ) : C o n s e r v a t i o n o f some p r o p e r t i e s of spaces
In t h e f o l l o w i n g S i s a r e a l c l o s e d f i e l d c o n t a i n i n g o u r base f i e l d R.
i) M(S) i s s e m i a l g e b r a i c i f and o n l y i f M i s s e m i a l g e b r a i c .
braic.
paracompact.
i i ) We may a l r e a d y assume t h a t M i s s e m i a l g e b r a i c . I f M i s a f f i n e
(g ' 2l
2
N (
S ) ) 0 f
s =
?1 | N
-i2 ( S )
many s e t s V ( S ) . T h i s i m p l i e s t h a t W i s c o v e r e d by f i n i t e l y many s e t s
V, and we c o n c l u d e t h a t (V lne:N)
n i s an a d m i s s i b l e covering of M
(cf. I, § 1 ) . Thus M i s L i n d e l o f .
choose a c o m p l e t i o n j : M ^ P o f M. By t h e j u s t proved p r o p o s i t i o n t h e
space P(S) i s p a r t i a l l y complete, and s i n c e j(M) i s dense i n P a l s o
j (M) (S) = j (M(S)) i s dense i n P(S) ( c f . I , Prop. 3.22). Thus j g : M(S) «->
( ( P ( S ) ,M (S)) I k > 0)
k k i s the d e r i v e d sequence o f (P(S),M(S)). T h i s implies
the f o l l o w i n g r e s u l t .
needed i n [ D ] . ) 2
i) f g i s s e m i a l g e b r a i c i f and o n l y i f f i s s e m i a l g e b r a i c .
v) f g i s f i n i t e i f and o n l y i f f i s f i n i t e .
a l g e b r a i c s . Then ( N ( S ) | a € I ) i s an a d m i s s i b l e c o v e r i n g o f N(S)
a by open
i i ) We choose a completion
M < ^ P
f
S
N(S) < r -Q(S)
i s a c o m p l e t i o n o f f g . Without l o s s of g e n e r a l i t y we r e g a r d tp and ,
it i s p a r t i a l l y p r o p e r and s e m i a l g e b r a i c .
finite fibres.
of M by c l o s e d s e m i a l g e b r a i c s . Then (A (S)|a€I)
a is a locally finite
c o v e r i n g of M(S) by c l o s e d s e m i a l g e b r a i c s . The map f g is partially
(flA )(S)
a i s a f i n i t e map. T h i s means, as proved b e f o r e , that, for
[ES] S. E i l e n b e r g , N. S t e e n r o d , "Foundations o f a l g e b r a i c
t o p o l o g y " . P r i n c e t o n U n i v . Press 1952.
[Hi] H. H i r o n a k a , T r i a n g u l a t i o n o f a l g e b r a i c s e t s . A l g e b r a i c
Geometry A r e a t a 1974, P r o c . Sympos. Pure Math. 29,
165-185, Amer. Math. Soc. 1975.
[Lo] S. L o j a s i e w i c z , T r i a n g u l a t i o n of s e m i - a n a l y t i c s e t s .
Ann. S c u o l a Norm Sup. P i s a (3) 18, 449-474 (1964).
[MV] J . M a l g o i r e , C. V o i s i n , F a c t o r i s a t i o n de S t e i n t o p o l o -
gique; decoupe. Topology 20, 191-207 (1981), c f . a l s o :
C a h i e r s Math. 15, U n i v . " * M o n t p e l l i e r 1979.
[SY] M. S h i o t a , M. Y o k o i , T r i a n g u l a t i o n s o f s u b a n a l y t i c s e t s
and l o c a l l y s u b a n a l y t i c m a n i f o l d s . Trans. Amer. Math.
Soc. 286, 727-750 (1984) .
[Spa] E.H. S p a n i e r , " A l g e b r a i c Topology". McGraw H i l l , New
York 1966.
T (M)
c
161 Q P 157
M*
r(M) 4,5 P (A) 175
r (M)
c
81 F 296
r (M)
c
81 ? 298f
«
C O V 1 X 33
M
Cov (U) M 2 X 21, 33
(M,0 ) M 3 I(X) 21
0 (0)
M
6 St (A) x 22, 138
6 St (x) x 139
M(R) 19 Sh (x) x 139
19 Sh ( ) x T 140
dim M 37 St (T) x 140
dim^M 37 Lk (x) x 145
Z (M)
n 38 K(X),K(f) 101
f 84 T 111, 163
loc
+
M 78 120
PX'^K
M/fc 178 sd K , s d K r
260f
M/A 182 co X , co (A,tp) 229
2>(M) 158 co(X,X ,...,X 1 r ) 233
S (P,M), S (P,M) 171
x' ( x , x . . .,x )
k k
r r 2 3 c
v r
j
x' j
(x,x,,.. .,x ) r
233 TT (M,A,x ) N o t o p
271
f
R 19 n (A,a)
n
286
H
#
288 H ( M A G )
280
n ' ' top
XU Y f 185 H (M,G)
N
281
p
x,f 138 [f ] 232
c (M) 161 [f ] C
249
c (M,cp) 159 []
257
to P
K
(M,M) 167 HLSA(2,R) 278
\> ( M )
x 152 CO 78, 94
3U 178
8 :m n (M,A,x ) Q ^ _ (A,x )
n 1 o 267
3 : H n (M, A; G) - H _^ (A, G)
n 1 2 80
[ (M„A r .,A ) , ( N , B
r r , B ) ] 232
r
n
[ (M A i r r . . . A ) , ( N , B . . . ,B ) ]
f r r r 249
Glossary
homotopy group 2 65
patn c o m p l e t i o n criterion 68
a f f i n e s e m i a l g e b r a i c space 297
simplicial complex 99
o f a s i m p l i c i a l map 102
admissible covering 1
s e m i a l g e b r a i c map 54
amenable 125
a t l a s o f a t r i a n g u l a t i o n 109f
c a n o n i c a l r e t r a c t i o n 230, 234
closed 32
closure of a simplex 20
of a s i m p l i c i a l complex 21, 99
of a subcomplex 100
c o l l a r e d end 195
complete [DK , 2 § 9 ] , 57
of a map 113
complexity 169
cone 184
connectable 141
continuous 32
of a system o f complexes 2 33
dense 32
pair 146
discrete 36
end 161
i n a completion 159
equivalent simplicial atlases 109
triangulations 106
face 100
fundamental g r o u p o i d 26 8
of an end 288
geometric generic f i b r e i
s i m p l i c i a l complex 21, 99
g e n e r a l i z e d t o p o l o g i c a l space 1
generic fibre i
f o r spaces 89
good on A 228
Grothendieck topology i i i , 2
homology groups 2 80
t h e o r y over R 279
biomotopic 232
relative C 249
Inomotopy 226
e x c i s i o n theorem 273
e x t e n s i o n theorem 228
groups 265ff
i n v a r i a n c e o f c o l l a r e d ends 293
theorems 2 83
i n d u c t i v e l i m i t o f spaces 11ff
incomplete p a t h 66
i n t e r s e c t i o n o f a b s t r a c t subcomplexes 100
join 145
joinable 145
LC-stratification 172
LC-stratum 173
Lindelof 50
link 145
local dimension 37
isomorphism 211
l o c a l l y complete 15, 75
map 7, 297
space 4, 2 97
subset 27
subspace 28
locally t r i v i a l map 71
cylinder 183
microbial 44
dense p a i r s 146
completions 157
one-point completion 78
open 1, 32
map 219
locally s e m i a l g e b r a i c subset 32
s e m i a l g e b r a i c s u b s e t 4, 32
simplex 20
subspace 4
paracompact 43
parameter o f a map 24 5
space 245
partially complete 63
p a t h 35, [DK ,
2 §10], [DK^]
completion c r i t e r i o n 67, 68
e x t e n s i o n o f a s e m i a l g e b r a i c map 204
homotopy 2 87
quotient 178
c o m p l e t i o n o f a space 158
dense p a i r 149
end 192
hull 149,158
map 200f
of dimension n 37
r e a l spectrum 295
a b s t r a c t s i m p l i c i a l map 104
refinement of a t r i a n g u l a t i o n 106
regular 42
relative homotopy s e t 2 49
path completion c r i t e r i o n 67
retrocompact 300
r i n g e d space over R 3
s u b s e t 30
topology iiif
separated 42
simplex 20, 99
atlas 108
complex 21, 99
map 24, 99
sheaf 2
shell 139
of a covering 4 7
s p e c i a l i z a t i o n of a point 302
spread 211
s t a r 22, 138
stereographic projection 79
c o n t i n u o u s 32
strong d e f o r m a t i o n r e t r a c t ( i o n ) 2 26
t o p o l o g y 31
support of a function 4 9
of spaces 232
tame i n X 228
taut 82
D K
Tietze's e x t e n s i o n theorem 49, t 5 ' §4]
thin 152
map 113
t r i v i a l map 125
type 2 45
universal covering i v
v e r t e x 20, 99
weakly l o c a l l y t r i v i a l map 71
s i m p l i c i a l map 23
weak p o l y t o p e 27 7
space 135
Univ.-ribliothek
Regensbwo
Vol. 101034: J. M<usiela!k, Orlicz Spaces and Modular Spaces. V, Vol. 1062: J. Jost, Harmonic Maps Between Surfaces. X, 133 pages.
222 papages.;. 1S98c3. 1984.
Vol. 101035: Trne Mathematics and Physics of Disordered Media. Vol. 1063: Orienting Polymers. Proceedings, 1983. Edited by
Proceeeeding:js, 19J83. Edited by B. D. Hughes and B.W. Ninham. J.L. Ericksen. VII, 166 pages. 1984.
VII, 43'/32 pa^gess. 11983.
Vol. 1064: Probability Measures on Groups VII. 'roceedings, 1983.
Vol. 105036: CCoimbiinatornal Mathematics X. Proceedings, 1982. Edited Edited by H. Heyer. X, 588 pages. 1984.
by LR.R.A. CCasssee. XI, 419 pages. 1983.
Vol. 1065: A. Cuyt, Pade Approximants for Operators: Theory and
Vol. 102037: Worn-liinear Partial Differential Operators and Quantization Applications. IX, 138 pages. 1984.
Proceceduress. Proceedings, 1981. Edited by S.I. Andersson and
Vol. 1066: Numerical Analysis. Proceedings, 1£83. Edited by D.F.
H.-D. L Doebonejr. Wll, 334 pages. 1983.
Griffiths. XI, 275 pages. 1984.
Vol. 101038: F. Boirceux, G. Van den Bossche, Algebra in a Localic
Vol. 1067: Yasuo Okuyama, Absolute Summabiliy of Fourier Series
Topos )S withi Afppllications to Ring Theory. IX, 240 pages. 1983.
and Orthogonal Series. VI, 118 pages. 1984.
Vol. 101039: /Anaalyttic Functions, Blazejewko 1982. Proceedings. Edited Vol. 1068: Number Theory, Noordwijkerhout 1)83. Proceedings.
by J. L Lawryynoiwucz. X, 4 9 4 pages. 1983 Edited by H. Jager. V, 296 pages. 1984.
Vol. 101040: A. Gcood, Local Analysis of Selberg's Trace Formula. Ill, Vol. 1069: M. Kreck, Bordism of Diffeomorphisms ind Related Topics.
128 pi pages... 1S98S3. Ill, 144 pages. 1984.
Vol. 1C1041: Lie3 Giroup Representations II. Proceedings 1982-1983. Vol. 1070: Interpolation Spaces and Allied "bpics in Analysis.
Editeced by R. Hierb, S. Kudla, R. Lipsman and J. Rosenberg. IX, Proceedings, 1983. Edited by M. CwikelandJ. Pestre. Ill, 239 pages.
340 p pagess. 1198*4. 1984.
Vol. 101042: /A. CGutt, K. D. Schmidt, Amarts and Set Function Processes.
Vol. 1071: Pade Approximation and its Applications, Bad Honnef
Ill, 25i58 pa^gess. 11983. 1983. Prodeedings. Edited by H. Werner anc H.J. Bunger. VI,
Vol. 1C1043: Limeaar and Complex Analysis Problem Book. Edited by 264 pages. 1984.
V.R H;Havin,, S. V. IHrus6ev and N.K. Nikol'skii. XVIII, 721 pages. 1984. Vol. 1072: F. Rothe, Global Solutions of Reaction-Diffusion
Vol. 1C1044: E. <Ge»keler, Discretization Methods for Stable Initial Value Systems. V, 216 pages. 1984.
P r o b l e m s . Villi, 2201 pages. 1984.
Vol. 1073: Graph Theory, Singapore 1983. Proceedings. Edited by
Vol. 1 1045:: Differential Geometry. Proceedings, 1982. Edited by K. M. Koh and H. P. Yap. XIII, 335 pages. 1984.
A.M. fl. Navesirai. VMM, 194 pages. 1984.
Vol. 1074: E. W. Stredulinsky, Weighted Inequaliies and Degenerate
Vol. 1C1046: / Alcgebjraic K-Theory, Number Theory, Geometry and Analy- Elliptic Partial Differential Equations. Ill, 143 pag«s. 1984.
sis. P Proceeediingis, 1982. Edited by A. Bak. IX, 464 pages. 1984.
Vol. 1075: H. Majima, Asymptotic Analysis for Inferrable Connections
Vol. 1 1047:: Flluicd Dynamics. Seminar, 1982. Edited by H. Beirao da with Irregular Singular Points. IX, 159 pages. 1934.
Veigaga. VII,, 19)3 rpages. 1984.
Vol. 1076: Infinite-Dimensional Systems. Proceeiings, 1983. Edited
Vol. 1. 1048:: Kiinertic Theories and the Boltzmann Equation. Seminar, by F. Kappel and W. Schappacher. VII, 278 pag*s. 1984.
1981J1. Edittedl by/ C. Cercignani. VII, 248 pages. 1984.
Vol. 1077: Lie Group Representations III. Proceidings, 1982-1983.
Vol. 1. 1049:: BJ. Icochum, C6nes autopolaires et algebres de Jordan. Edited by R. Herb, R. Johnson, R. Lipsman, J. Fosenberg. XI, 454
VI, 2'247 piageas. 1984. pages. 1984.
Vol. 1'. 1050:: A. Prcestel, P. Roquette, Formally p-adic Fields. V, 167 pages.
Vol. 1078: A.J.E.M. Janssen, P. van der Steen, Integration Theory.
1984H.
V, 224 pages. 1984.
Vol. 1.1051: AUgelbraic Topology, Aarhus 1982. Proceedings. Edited by
I. Maladsem arnd IB. Oliver. X, 665 pages. 1984. Vol. 1079: W. Ruppert. Compact Semitopological Semigroups: An
Intrinsic Theory. V, 260 pages. 1984
Vol. 1. 1052!: Nurmber Theory. Seminar, 1982. Edited by D.V. Chud-
Vol. 1080: Probability Theory on Vector Spacis III. Proceedings,
novsvsky, G3.V/. Qhudnovsky, H. Cohn and M.B. Nathanson. V, 309
1983. Edited by D. Szynal and A. Weron. V, 373 pages. 1984.
pageges. 19*841.
Vol. I. 10533: P . Hilton, Nilpotente Gruppen und nilpotente Raume. Vol. 1081: D. Benson, Modular Representation "^heory: New Trends
V, 2S221 paigets. H984. and Methods. XI, 231 pages. 1984.
Vol. 1082: C.-G. Schmidt, Arithmetik AbelscherVarietaten mit kom-
Vol. 1.1054;: V. Tmomee, Galerkin Finite Element Methods for Parabolic
Prohoblemss. Wll, 237 pages. 1984. plexer Multiplikation. X, 96 Seiten. 1984.
Vol. I. 10555: Quantum Probability and Applications to the Quantum Vol. 1083: D. Bump, Automorphic Forms on GL (J.IR). XI, 184 pages.
Theceory oif lirrewersible Processes. Proceedings, 1982. Edited by 1984.
L A<Accarctii, /A. Frigerio and V. Gorini. VI, 411 pages. 1984. Vol. 1084: D. Kletzing, Structure and Representitions of Q-Groups.
VI, 290 pages. 1984.
Vol. >l. 10565: Ailgejbraic Geometry. Bucharest 1982. Proceedings, 1982.
Editiited by/ L. B&descu and D. Popescu. VII, 380 pages. 1984. Vol. 1085: G.K. Immink, Asymptotics of Analytc Difference Equa-
Vol. "1.1057:: Biifurrcation Theory and Applications. Seminar, 1983. Edited tions. V, 134 pages. 1984.
by L L. Salwadlorii. VII, 233 pages. 1984. Vol. 1086: Sensitivity of Functionals with Applicaions to Engineering
Vol.il. 105*8: B. Aulbach, Continuous and Discrete Dynamics near Sciences. Proceedings, 1983. Edited by V. Konkov. V, 130 pages.
Maraniioldis o f Equilibria. IX, 142 pages. 1984. 1984
Vol.>l. 10599: Serminaire de Probability XVIII, 1982/83. Proceedings. Vol. 1087: W. Narkiewicz, Uniform Distribute of Sequences of
Editlite parr J. Aztema et M. Yor. IV, 518 pages. 1984. Integers in Residue Classes. VIII, 125 pages. H84.
Vol.)l. 1060): Tropology. Proceedings, 1982. Edited by L. D. Faddeev and Vol. 1088: A.V. Kakosyan, L B . Klebanov, J.A. Melamed, Charac-
A. A A. Mall'cew. V/l, 389 pages. 1984. terization of Distributions by the Method of Inensively Monotone
Vol.il. 10611: Serminaire de Theorie du Potentiel. Paris, No. 7. Pro- Operators. X, 175 pages. 1984.
c e e d i n g s . D)ire<cteurs: M. Brelot, G. Choquet et J. Deny. Redacteurs: Vol. 1089: Measure Theory, Oberwolfach 1983. Froceedings. Edited
F. HHirsch-, et G. Mokobodzki. IV, 281 pages. 1984. by D. Kolzow and D. Maharam-Stone. XIII, 327 >ages. 1984.
Vol. 1090: Differential Geometry of Submanifolds. Proceedings, Vol. 11,7: D.J. Aldojs, J.A. Ibregirnov, J. Jacod, Fcole d'Et* de
1984. Edited by K. Kenmotsu. VI, 132 pages. 1984. Probabilites de Saint-Flour XIII - 1983. Edite par R L Hennequin.
IX, 409 pages. 1985.
Vol. 1091: Multifunctions and Integrands. Proceedings, 1983. Edited
by G. Salinetti. V, 234 pages. 1984. Vol. 1118: Grossissements de filtrations: exemples et applications.
Seminaire, 1982/83. Edit6 par Th. Jeulin et M. Yor. V, 315 pages. 1985.
Vol. 1092: Complete Intersections. Seminar, 1983. Edited by S. Greco
and R. Strano. VII, 299 pages. 1984. Vol. 1119: Recent Mathematical Methods in Dynamic Programming.
Proceedings, 1984. Edited by I. Capuzzo Dolcetta, W.H. Fleming
Vol. 1093: A. Prestel, Lectures on Formally Real Fields. XI, 125 pages. and T.Zolezzi. VI, 202 pages. 1985.
1984.
Vol. 1120: K. Jarosz. Perturbations of Banach Algebras. V, 118 pages.
Vol. 1094: Analyse Complexe. Proceedings, i983. Ldite par E. Amar, 1985.
R. Gay et Nguyen Thanh Van. IX, 184 pages. 1984.
Vol. 1121: Si ngularities and Constructive M ethods for Their Treatment
Vol. 1095: Stochastic Analysis and Applications. Proceedings, 1983. Proceedings, 1983. Edited by P. Grisvard, W. Wendland and J.R.
Edited by A. Truman and D. Williams. V, 199 pages. 1984. Whiteman. IX, 346 pages. 1985.
Vol. 1096: Theorie du Potentiel. Proceedings, 1983. Edite par G. Vol. 1122: Number Theory. Proceedings, 1984. Edited by K. A<ladi.
Mokobodzki et D. Pinchon. IX, 601 pages. 1984. VII, 217 pages. 1985.
Vol. 1097: R.M. Dudley, H. Kunita, R Ledrappier, Ecole d'Ete de Vol. 1123: Seminaire de Probabilites XIX1983/84. Proceedings. Edite
Probabilites de Saint-Flour XII - 1982. Edite par P L Hennequin. X, par J. Azema et M. Yor. IV, 504 pages. 1985.
396 pages. 1984.
Vol. 1124: Algebraic Geometry, Sitges (Barcelona) 1983. Proceed-
Vol. 1098: Groups - Korea 1983. Proceedings. Edited by A.C. Kim ings. Edited by E Casas-Alvero, G.E Welters and S. Xambb-
and B.H. Neumann. VII, 183 pages. 1984. Descamps. XI, 416 pages. 1985.
Vol. 1125: Dynamical Systems and Bifurcations. Proceedings, 1984.
Vol. 1099: C. M. Ringel, Tame Algebras and Integral Quadratic Forms.
XIII, 376 pages. 1984. Edited by B.L.J. Braaksma, H.W. Broer and F. Takens. V, 129 pages.
1985.
Vol. 1100: V. Ivrii, Precise Spectral Asymptotics for Elliptic Operators Vol. 1126: Algebraic and Geometric Topology. Proceedings, 1983.
Acting in Fiberings over Manifolds with Boundary. V, 237 pages.
Edited by A. Ranicki, N.Levitt and FQuinn. V, 523 pages. 1985.
1984.
Vol. 1127: Numerical Methods in Fluid Dynamics. Edited byR Brezzi.
Vol. 1101: V. Cossart, J. Giraud, U. Orbanz, Resolution of Surface VII, 333 pages. 1985.
Singularities. VII, 132 pages. 1984. Vol. 1128: J.EIschner, Singular Ordinary Differential Operators and
Vol. 1102: A. Verona, Stratified Mappings - Structure and Triangu- Pseudodifferential Equations. 200 pages. 1985.
lability. IX, 160 pages. 1984. Vol. 1129: Numerical Analysis, Lancaster 1984. Proceedings. Edited
Vol. 1103: Models and Sets. Proceedings, Logic Colloquium, 1983, by PR. Turner. XIV, 179 pages. 1985.
Part I. Edited by G. H. Muller and M. M. Richter. VIII, 484 pages. 1984. Vol. 1130: Methods in Mathematical Logic. Proceedings, 1983. Edited
by C.A. Di Prisco. VII, 407 pages. 1985.
Vol. 1104: Computation and Proof Theory. Proceedings, Logic
Vol. 1131: K. Sundaresan, S. Swaminathan, Geometry and Nonlinear
Colloquium, 1983, Part II. Edited by M. M. Richter, E Borger, W. Ober-
Analysis in Banach Spaces. Ill, 116 pages. 1985.
schelp, B. Schinzel and W. Thomas. VIII, 475 pages. 1984.
Vol. 1132: Operator Algebras and their Connections with Topology
Vol. 1105: Rational Approximation and Interpolation. Proceedings,
and Ergodic Theory. Proceedings, 1983. Edited by H.Araki, C.C.
1983. Edited by PR. Graves-Morris, E.B. Saff and R.S. Varga.
XII, 528 pages. 1984. Moore, §.Stratila and C. Voiculescu. VI, 594 pages. 1985.
Vol. 1133: K. C. Kiwiel, Methods of Descentfor NondifferentiableOpti-
Vol. 1106: C.T. Chong, Techniques of Admissible Recursion Theory. mization. VI, 362 pages. 1985.
IX, 214 pages. 1984.
Vol. 1134: G. P. Galdi, S. Rionero, Weighted Energy Methods in Fluid
Vol. 1107: Nonlinear Analysis and Optimization. Proceedings, 1982. Dynamics and Elasticity. VII, 126 pages. 1985.
Edited by C. Vinti. V, 224 pages. 1984.
Vol. 1135: Number Theory. Seminar, 1983-1984. Edited by D.V.
Vol. 1108: Global Analysis - Studies and Applications I. Edited by Chudnovsky, G. V. Chudnovsky, H. Cohn and M. B. Nathanson. V, 283
Yu.G. Borisovich and Yu.E. Gliklikh. V, 301 pages. 1934.
pages. 1985.
Vol. 1109: Stochastic Aspects of Classical and Quantum Systems. Vol. 1136: Quantum Probability and Applications II. Proceedings,
Proceedings, 1983. Edited by S. Albeverio, P. Combe and M. Sirugue- 1984. Edited by L. Accardi and W. von Waldenfels. VI, 534 pages.
Collin. IX, 227 pages. 1985. 1985.
Vol. 1137: Xiao G., Surfaces fibrees en courbes de genre deux. IX, 103
Vol. 1110: R. Jajte, Strong Limit Theorems in Non-Commutative
pages. 1985.
Probability. VI, 152 pages. 1985.
Vol. 1138: A. Ocneanu, Actions of Discrete Amenable Groups on von
Vol. 1111: Arbeitstagung Bonn 1984 Proceedings. Edited by F. Hirze- Neumann Algebras. V, 115 pages. 1985.
bruch, J. Schwermer and S. Suter. V, 481 pages. 1985. Vol. 1139: Differential Geometric Methods in Mathenatical Physics.
Vol. 1112: Products of Conjugacy Classes in Groups. Edited by Proceedings, 1983. Edited by H. D. Doebner and J. D. Hennig. VI, 337
Z. Arad and M. Herzog. V, 244 pages. 1985. pages. 1985.
Vol. 1140: S. Donkin, Rational Representations of Alcebraic Groups.
Vol. 1113: P. Antosik, C. Swartz, Matrix Methods in Analysis. IV, VII, 254 pages. 1985.
114 pages. 1985. Vol. 1141: Recursion Theory Week. Proceedings, 1984. Edited by
H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks. IX, 413 pages. 1985.
Vol. 1114: Zahlentheoretische Analysis. Seminar. Herausgegeben
von E Hlawka. V, 157 Seiten. 1985. Vol. 1142: Orders and their Applications. Proceedings, 1984. Edited
by I. Reiner and K. W. Roggenkamp. X, 306 pages. 1935.
Vol. 1115: J. Moulin Ollagnier, Ergodic Theory and Statistical Mechan-
Vol. 1143: A. Krieg, Modular Forms on Half-Spaces of Quaternions.
ics. VI, 147 pages. 1985.
XIII, 203 pages. 1985.
Vol. 1116: S. Stolz, Hochzusammenhangende Mannigfaltigkeiten Vol. 1144: Knot Theory and Manifolds. Proceedings, 983. Edited by
und ihre Rander. XXIII, 134 Seiten. 1985. D. Rolfsen. V, 163 pages. 1985.
Vol. 1145: G . Winkleer, C h o q u e t O r d e r a n d S i m p l i c e s . V I , 143 p a g e s . Vol. ' 3 : H: H'elfslfs, M . K n u s c s c h o c a l l y Semialobra>raic S p e s . XVI,
1985. 3 2 9 pes.;s. 35. 5.
of 3-Manifolds i n t o I F R . V, 1 6 3 pages. 1 9 8 5 .
2
s Voi. 1164: M. M e i s c h i a r i , J . H . R a w n s l e y , S . S a l a m o n , G e o m e t r y
I Seminar "Luigi B i a m c h i " II - 1984. Edited by E. Vesentini. V I , 2 2 4
: pages. 1985.
[