11

Brown's representability theorem is very usefull to show that the functor $$X \rightarrow H^i(X,A)$$ is representable. I would be interested to see if there exists an analogue of this statement in the context of algebraic geometry, in particular to show that algebraic geometric analogues of Eilenberg-Maclain spaces exist. For example, does there exists an ``l-adic Eilenberg-Maclain space", i.e. a scheme or stack which represents the functor $$X\rightarrow H_{et}^i(X,\mathbb{Q}_\ell).$$

curious math guy
  • 2,008
  • 1
    Mathoverflow should be more appropriate for this question. – Moishe Kohan Feb 18 '20 at 04:41
  • I think you need to get into motivic homotopy theory to get a well behaved enough category for this. Certainly triangulated categories of motives can satisfy Brown representability, but this doesn't exactly give you a scheme or a stack. – Kevin Carlson Feb 18 '20 at 05:28
  • 7
    You should read "Local homotopy theory" by Jardine to understand what are Elenberg-Maclane spaces in the context of (pre)sheaves of simplicial sets. After that you should read "proétale topology for schemes" of Bhatt and Scholze to get that the $l$-adic cohomology is the mapping space into some simplicial sheaf (in the étale site this is not true). Combining the two should give a definition $l$-adic EM spaces $K(\mathbb{Q}_l,n)$. – jeanmfischer Feb 18 '20 at 12:55
  • @jeanmfischer, thank you very much for your answer. If you put your comment in to an answer, I'm happy to accept it. – curious math guy Feb 19 '20 at 18:19

0 Answers0