Skip to main content
added 8 characters in body
Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic kK-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic K-theory, which I highly recommend reading.

  1. For $n$ sufficiently large, the exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$; and hence $C_n(R)$ is an abelian group and $\HH_2(E_n(R);\Z) = C_n(R)$.

  2. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$$C_n(R) \rightarrow C_{n+1}(R)$ is surjective (this is called surjective stability).

  3. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$$C_n(R) \rightarrow C_{n+1}(R)$ is injective (this is called injective stability).

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic k-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic K-theory, which I highly recommend reading.

  1. For $n$ sufficiently large, the exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$; and hence $C_n(R)$ is an abelian group and $\HH_2(E_n(R);\Z) = C_n(R)$.

  2. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is surjective (this is called surjective stability).

  3. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is injective (this is called injective stability).

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic K-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic K-theory, which I highly recommend reading.

  1. For $n$ sufficiently large, the exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$; and hence $C_n(R)$ is an abelian group and $\HH_2(E_n(R);\Z) = C_n(R)$.

  2. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_{n+1}(R)$ is surjective (this is called surjective stability).

  3. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_{n+1}(R)$ is injective (this is called injective stability).

added 2 characters in body
Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272

I've been corresponding via email with the OP about this (it is a paper of mine that heshe got these citations from), and heshe asked me to post an answer summarizing what I told himher. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

I've been corresponding via email with the OP about this (it is a paper of mine that he got these citations from), and he asked me to post an answer summarizing what I told him. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

I've been corresponding via email with the OP about this (it is a paper of mine that she got these citations from), and she asked me to post an answer summarizing what I told her. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

added 4219 characters in body
Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272

I've been corresponding via email with the OP about this (it is a paper of mine that he got these citations from), and he asked me to post an answer summarizing what I told him. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic k-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic kK-theory, which I highly recommend reading.

To help you understand these papers, below I have written a guide to the calculation of $\HH_2(\SL_n(\Field_q))$ from Milnor's book. (nb: since this is long, I'm going to post it in stages so that my work isn't lost if things crash)


Of course, what we are really interested in is $\GL_n(R)$, not $\GL(R)$. Define $E_n(R)$ and $\St_n(R)$ in the obvious way. There is still a surjection $\St_n(R) \rightarrow E_n(R)$; denote its kernel by $C_n(R)$, so we have a short exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1.$$ Associated to the natural inclusion $\GL_n(R) \hookrightarrow \GL_{n+1}(R)$ used to define $\GL(R)$ are an inclusion $E_n(R) \hookrightarrow E_{n+1}(R)$ and homomorphisms $\St_n(R) \rightarrow \St_{n+1}(R)$ and $C_n(R) \rightarrow C_{n+1}(R)$ that fit into a commutative diagram $$\begin{CD} 1 @>>> C_n(R) @>>> \St_n(R) @>>> E_n(R) @>>> 1 \\ @. @VVV @VVV @VVV @. \\ 1 @>>> C_{n+1}(R) @>>> \St_{n+1}(R) @>>> E_{n+1}(R) @>>> 1. \end{CD}$$ It is clear that $\St_n(R)$ is the limit of $$\St_1(R) \rightarrow \St_2(R) \rightarrow \St_3(R) \rightarrow \cdots$$ and that $K_2(R)$ is the limit of $$C_1(R) \rightarrow C_2(R) \rightarrow C_3(R) \rightarrow \cdots.$$ In the ``ideal'' situation, we would have theorems of the following form.

  1. For $n$ sufficiently large, the exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$; and hence $C_n(R)$ is an abelian group and $\HH_2(E_n(R);\Z) = C_n(R)$.

  2. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is surjective (this is called surjective stability).

  3. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is injective (this is called injective stability).

If these conditions are satisfied, then we would have $\HH_2(E_n(R);\Z) = K_2(R)$ for $n$ sufficiently large.

Unfortunately, one can give examples where these fail. However, they do hold for many rings; in particular, they hold for fields. Our goal is to talk about finite fields, so we will not try to give particularly general statements. We begin with the bit about being a universal central extension. The proof of Theorem 2 can be followed to deduce the following.

Theorem 6: Let $R$ be a ring and let $n \geq 5$. Assume that $C_n(R)$ is contained in the center of $\St_n(R)$. Then the extension $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$. In particular, $\HH_2(E_n(R);\Z) = C_n(R)$.

As the following theorem shows, the condition in this theorem is satisfied for fields; see Theorem 9.12 of Milnor's book.

Theorem 7: Let $\Field$ be a field. Then $C_n(\Field)$ is contained in the center of $\St_n(\Field)$ for $n \geq 3$, and hence $\HH_2(\SL_n(\Field);\Z) = C_n(\Field)$ for $n \geq 5$

Remark: In fact, it turns out that $$1 \longrightarrow C_n(\Field) \longrightarrow \St_n(\Field) \longrightarrow \SL_n(\Field) \longrightarrow 1$$ is the universal central extension of $\SL_n(\Field)$ for $n \geq 3$ except for the following exceptions:

  1. $n=3$ and $\Field = \Field_2$, and

  2. $n=3$ and $\Field = \Field_4$, and

  3. $n=4$ and $\Field = \Field_2$.

This was proved by Steinberg.

We now turn to injective and surjective stability. The key is the notion of symbol. If $R$ is a commutative ring and $u,v \in R^{\ast}$ are units, then we can define a symbol $\{u,v\}_n \in C_n(R)$ for any $n \geq 3$ in the obvious way. We then have the following; see Theorem 9.11 of Milnor's book.

Theorem 8: Let $R$ be a commutative ring and let $n \geq 3$. Assume that $C_n(R)$ is contained in the center of $\St_n(R)$. Then $C_n(R)$ is generated by the set of symbols $\{u,v\}_n$ as $u$ and $v$ range over the units of $R$.

Remark: Theorem 7 and Theorem 8 combine to show that if $\Field$ is a field, then $K_2(\Field)$ is generated by symbols $\{u,v\}$ for $u,v \in \Field^{\ast}$. This is precisely Theorem 3 above, and in fact this is how Theorem 3 is proved.

The proof of Theorem 4 above also works for the symbols $\{u,v\}_n$ and gives the following.

Theorem 9: Let $\Field$ be a finite field and $n \geq 3$. Then $\{u,v\}_n = 0$ for all $u,v \in \Field^{\ast}$.

Combining everything above, we deduce the following.

Theorem 10: Let $\Field$ be a finite field. Then $\HH_2(\SL_n(\Field);\Z) = 0$ for $n \geq 5$.

Remark: In fact, as in the remark after Theorem 7, one can show that $\HH_2(\SL_n(\Field);\Z) = 0$ for $\Field$ a finite field and $n \geq 3$ except for the following exceptions:

  1. $n=3$ and $\Field = \Field_2$, and

  2. $n=3$ and $\Field = \Field_4$, and

  3. $n=4$ and $\Field = \Field_2$.

I've been corresponding via email with the OP about this, and he asked me to post an answer summarizing what I told him. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic k-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic k-theory, which I highly recommend reading.

To help you understand these papers, below I have written a guide to the calculation of $\HH_2(\SL_n(\Field_q))$ from Milnor's book. (nb: since this is long, I'm going to post it in stages so that my work isn't lost if things crash)

I've been corresponding via email with the OP about this (it is a paper of mine that he got these citations from), and he asked me to post an answer summarizing what I told him. I apologize for the length of this answer -- this is really quite a long story. I also apologize for sometimes butchering people's names. I am copying this answer from a long document I sent the OP, and unfortunately autocorrect screws things up without telling me (eg it wants to call Steinberg "Sternberg", though I hope caught most of those occurrences). $\DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\ESp}{ESp} \DeclareMathOperator{\SL}{SL} \newcommand\Z{\mathbb{Z}} \DeclareMathOperator{\HH}{H} \newcommand\tG{\widetilde{G}} \newcommand\tD{\widetilde{D}} \newcommand\Field{\mathbb{F}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\St}{St}$

It is not easy to extract the above homological statement from Steinberg and Stein's papers since they are written in the language of algebraic k-theory. What they are imitating is the calculation of $\HH_2(\SL_n(\Field_q))$ that is described in Milnor's book on algebraic K-theory, which I highly recommend reading.

To help you understand these papers, below I have written a guide to the calculation of $\HH_2(\SL_n(\Field_q))$ from Milnor's book.


Of course, what we are really interested in is $\GL_n(R)$, not $\GL(R)$. Define $E_n(R)$ and $\St_n(R)$ in the obvious way. There is still a surjection $\St_n(R) \rightarrow E_n(R)$; denote its kernel by $C_n(R)$, so we have a short exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1.$$ Associated to the natural inclusion $\GL_n(R) \hookrightarrow \GL_{n+1}(R)$ used to define $\GL(R)$ are an inclusion $E_n(R) \hookrightarrow E_{n+1}(R)$ and homomorphisms $\St_n(R) \rightarrow \St_{n+1}(R)$ and $C_n(R) \rightarrow C_{n+1}(R)$ that fit into a commutative diagram $$\begin{CD} 1 @>>> C_n(R) @>>> \St_n(R) @>>> E_n(R) @>>> 1 \\ @. @VVV @VVV @VVV @. \\ 1 @>>> C_{n+1}(R) @>>> \St_{n+1}(R) @>>> E_{n+1}(R) @>>> 1. \end{CD}$$ It is clear that $\St_n(R)$ is the limit of $$\St_1(R) \rightarrow \St_2(R) \rightarrow \St_3(R) \rightarrow \cdots$$ and that $K_2(R)$ is the limit of $$C_1(R) \rightarrow C_2(R) \rightarrow C_3(R) \rightarrow \cdots.$$ In the ``ideal'' situation, we would have theorems of the following form.

  1. For $n$ sufficiently large, the exact sequence $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$; and hence $C_n(R)$ is an abelian group and $\HH_2(E_n(R);\Z) = C_n(R)$.

  2. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is surjective (this is called surjective stability).

  3. For $n$ sufficiently large, the map $C_n(R) \rightarrow C_n(R)$ is injective (this is called injective stability).

If these conditions are satisfied, then we would have $\HH_2(E_n(R);\Z) = K_2(R)$ for $n$ sufficiently large.

Unfortunately, one can give examples where these fail. However, they do hold for many rings; in particular, they hold for fields. Our goal is to talk about finite fields, so we will not try to give particularly general statements. We begin with the bit about being a universal central extension. The proof of Theorem 2 can be followed to deduce the following.

Theorem 6: Let $R$ be a ring and let $n \geq 5$. Assume that $C_n(R)$ is contained in the center of $\St_n(R)$. Then the extension $$1 \longrightarrow C_n(R) \longrightarrow \St_n(R) \longrightarrow E_n(R) \longrightarrow 1$$ is the universal central extension of $E_n(R)$. In particular, $\HH_2(E_n(R);\Z) = C_n(R)$.

As the following theorem shows, the condition in this theorem is satisfied for fields; see Theorem 9.12 of Milnor's book.

Theorem 7: Let $\Field$ be a field. Then $C_n(\Field)$ is contained in the center of $\St_n(\Field)$ for $n \geq 3$, and hence $\HH_2(\SL_n(\Field);\Z) = C_n(\Field)$ for $n \geq 5$

Remark: In fact, it turns out that $$1 \longrightarrow C_n(\Field) \longrightarrow \St_n(\Field) \longrightarrow \SL_n(\Field) \longrightarrow 1$$ is the universal central extension of $\SL_n(\Field)$ for $n \geq 3$ except for the following exceptions:

  1. $n=3$ and $\Field = \Field_2$, and

  2. $n=3$ and $\Field = \Field_4$, and

  3. $n=4$ and $\Field = \Field_2$.

This was proved by Steinberg.

We now turn to injective and surjective stability. The key is the notion of symbol. If $R$ is a commutative ring and $u,v \in R^{\ast}$ are units, then we can define a symbol $\{u,v\}_n \in C_n(R)$ for any $n \geq 3$ in the obvious way. We then have the following; see Theorem 9.11 of Milnor's book.

Theorem 8: Let $R$ be a commutative ring and let $n \geq 3$. Assume that $C_n(R)$ is contained in the center of $\St_n(R)$. Then $C_n(R)$ is generated by the set of symbols $\{u,v\}_n$ as $u$ and $v$ range over the units of $R$.

Remark: Theorem 7 and Theorem 8 combine to show that if $\Field$ is a field, then $K_2(\Field)$ is generated by symbols $\{u,v\}$ for $u,v \in \Field^{\ast}$. This is precisely Theorem 3 above, and in fact this is how Theorem 3 is proved.

The proof of Theorem 4 above also works for the symbols $\{u,v\}_n$ and gives the following.

Theorem 9: Let $\Field$ be a finite field and $n \geq 3$. Then $\{u,v\}_n = 0$ for all $u,v \in \Field^{\ast}$.

Combining everything above, we deduce the following.

Theorem 10: Let $\Field$ be a finite field. Then $\HH_2(\SL_n(\Field);\Z) = 0$ for $n \geq 5$.

Remark: In fact, as in the remark after Theorem 7, one can show that $\HH_2(\SL_n(\Field);\Z) = 0$ for $\Field$ a finite field and $n \geq 3$ except for the following exceptions:

  1. $n=3$ and $\Field = \Field_2$, and

  2. $n=3$ and $\Field = \Field_4$, and

  3. $n=4$ and $\Field = \Field_2$.

added 4219 characters in body
Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272
Loading
Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272
Loading