Homology of linear groups via cycles in BG X

DOI10.1016/J.JPAA.2004.02.002MaRDI QIDQ1878423zbMATH OpenOpenAlexFDO

Authors Kevin P. Knudson, Mark E. Walker

Publication date 19 August 2004

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0311362

Bredon cohomology Friedlander's Isomorphism Conjecture presheaf with transfers qfh topology

Algebraic cycles (14C25) Motivic cohomology; motivic homotopy theory (14F42) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15) Cohomology theory for linear algebraic groups (20G10) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups

H_{i} (X, G)

by considering cycles in the simplicial scheme

B G i m e s X (a n i d e a s u g g e s t e d b y A n d r e i S u s l i n) . W e d i s c u s s t h e b a s i c p r o p e r t i e s o f t h e s e g r o u p s a n d c o n s t r u c t a s p e c t r a l s e q u e n c e, b e g i n n i n g w i t h t h e g r o u p s

H_i(Delta^j,G)

, w h i c h c o n v e r g e s t o t h e e t a l e c o h o m o l o g y o f t h e s i m p l i c i a l g r o u p B G . T h e s e g r o u p s a r e t h e r e f o r e c o n n e c t e d w i t h t h e s t u d y o f F r i e d l a n d e r^{'} s g e n e r a l i z e d i s o m o r p h i s m c o n j e c t u r e . < p > W e a l s o c o m p u t e s o m e e x a m p l e s, f o c u s i n g i n p a r t i c u l a r o n t h e c a s e X = S p e c (k) . I n t h e c a s e w h e r e k i s t h e r e a l n u m b e r s, t h e r e i s a c o n n e c t i o n b e t w e e n t h e g r o u p s

H_i

a n d t h e Z / 2 - e q u i v a r i a n t c o h o m o l o g y o f t h e c l a s s i f y i n g s p a c e o f t h e d i s c r e t e g r o u p

G(mathbb R)$.

Review text

Let $G$ be an algebraic group, $X$ a variety, $A$ an abelian group. Following a suggestion of Suslin, the authors define homology and cohomology groups, written $\mathcal H_i(X,G;A)$ and $\mathcal H^i(X,G;A)$ respectively, by considering algebraic cycles on the simplicial scheme $BG\times X$. When $X$ is the spectrum of an algebraically closed field $k$, $\mathcal H_i(X,G;A)$ is just the homology $H_i(G(k);A)$ of the discrete group $G(k)$. If $n$ is invertible in $k$ the authors construct a spectral sequence $ E_1^{s,t}=\mathcal H^s(\Delta^t,G;\mathbb Z/n)\Rightarrow H_{\text{ét}}^{s+t}(BG_k,\mathbb Z/n)$. The theory is eminently suitable to study Friedlander's Generalized Isomorphism Conjecture relating `discrete' and `continuous' group cohomology [\textit{E. M. Friedlander} and \textit{G. Mislin}, Comment. Math. Helv. 59, 347--361 (1984; Zbl 0548.55016)]. The authors illustrate this with several examples. The case where $k=\mathbb R$ is particularly instructive.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Homology of linear groups via cycles in $BG\times X$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878423)