d7823ed85a4ad6e4.tex
1: \begin{abstract} 
2: We show that the mod $\ell$ cohomology of any finite group of Lie type
3: in characteristic $p \neq \ell$
4: %
5: %
6: %
7: %
8:  %
9:  %
10: admits the structure of a module over the mod $\ell$ cohomology of the free loop space
11: of the classifying space $BG$ of the 
12: corresponding compact Lie group $G$, via ring and module structures
13: constructed from string topology, \`a la Chas--Sullivan.
14: %
15: %
16: %
17: If a certain fundamental class in the homology of the
18: finite group of Lie type is nontrivial, then this module structure becomes
19: free of rank one, and provides a structured isomorphism
20: between the two
21: cohomology rings equipped with the
22: cup product, up to a filtration. 
23: 
24: We verify the nontriviality of the fundamental class in a range of
25: cases, including all simply connected untwisted classical groups over $\F_q$,
26: with $q$ congruent to $1$
27: mod $\ell$. We also show how to deal with twistings and get rid of
28: the congruence condition by replacing $BG$ by
29: a certain $\ell$--compact fixed point group depending on the order of $q$ mod
30: $\ell$, without changing the finite group.
31: With this modification, we know of no examples where the
32: fundamental class is trivial, raising the possibility of a general
33: structural answer to an open question of Tezuka, who speculated 
34: about the existence of an isomorphism between the two cohomology 
35: rings.
36: 
37: %
38: %
39: %
40: %
41: %
42: 
43: 
44: %
45: %
46: %
47: %
48: 
49: \setcounter{tocdepth}{1}
50: \end{abstract}
51: