Abstract:We begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of presheaves. We also show that it is a crossed module over $G$ in a unique way, in particular, that the $\mathrm K_2$-functor is central. If $G$ is globally isotropic in a suitable sense, then the Steinberg group functor exists as an ordinary group-valued functor and all such abstract Steinberg groups are crossed modules over the groups of points of $G$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the study of Steinberg groups of locally isotropic reductive groups, especially the centrality problem of the \(K_2\) functor. Specifically:
1. **Construction of Steinberg groups**:
- The author proposes a construction method of Steinberg groups associated with a locally isotropic reductive group \(G\) over an arbitrary ring. This construction is achieved by defining group objects in a certain completion of the presheaf category.
2. **Crossed - module structure**:
- The author proves that the constructed Steinberg group is a crossed module, and in particular, the \(K_2\) functor is central. This means that the Steinberg group has good algebraic properties in a certain sense.
3. **Existence under the globally isotropic condition**:
- If \(G\) is globally isotropic in an appropriate sense, then the Steinberg group functor exists as an ordinary group - valued functor, and all such abstract Steinberg groups are crossed modules over the point group of \(G\).
### Specific problem description
The core problems of this paper can be summarized as follows:
- **Definition and properties of Steinberg groups**: How to define Steinberg groups associated with locally isotropic reductive groups over an arbitrary ring and study their properties.
- **Centrality of the \(K_2\) functor**: Prove the centrality of the \(K_2\) functor in Steinberg groups, which is the key to understanding the structure of Steinberg groups.
- **Crossed - module structure**: Verify the existence and uniqueness of Steinberg groups as crossed modules, which is very important for further studying the homology properties of these groups.
### Mathematical formula representation
Some of the key formulas and concepts involved in the paper include:
- **Generators and relations of Steinberg groups**:
\[
StG(K)=\langle x_{\alpha}(t)\mid\alpha\in\Phi,t\in K\rangle
\]
where \(x_{\alpha}(t)\) is the generator of the root subgroup and \(\Phi\) is the root system.
- **Definition of the \(K_2\) functor**:
\[
K_2(G, K)=\ker(st:StG(K)\to G(K))
\]
where \(st\) is the canonical homomorphism from the Steinberg group to \(G(K)\).
- **Definition of crossed modules**:
\[
\delta:StG(K)\to G(K)
\]
satisfying certain compatibility conditions, so that \((StG(K), G(K),\delta)\) forms a crossed module.
### Summary
This paper aims to deeply study Steinberg groups of locally isotropic reductive groups, especially to prove the centrality of the \(K_2\) functor and construct these groups as crossed modules. This provides an important basis for understanding the algebraic structures of these groups and their applications in algebraic \(K\) - theory.