Abstract:This is a supplement to the paper "Goncharov's Relations in Bloch's higher Chow Group CH^3(F,5)" submitted as <a class="link-https" data-arxiv-id="math.AG/0105084" href="https://arxiv.org/abs/math.AG/0105084">math.AG/0105084</a>. We check the admissiblility of all the cycles appearing in the main article.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify the validity of Goncharov relations in Bloch's higher - order Chow group \(CH^3(F, 5)\). Specifically, the author aims to prove that all cycles appearing in Goncharov relations are admissible, thus ensuring that these relations hold in the said group.
### Background and Problem Description
The paper mainly focuses on a set of complex relations proposed by Goncharov in his research, which involve specific types of algebraic cycles. In order to verify whether these relations hold in \(CH^3(F, 5)\), it is necessary to prove that these cycles satisfy certain conditions, that is, they must be "admissible".
### Main Steps
1. **Lemma Review**:
- Two key lemmas (Lemma 3.1 and Lemma 3.2) are introduced to deal with rational functions and their combinations, and provide specific rules on how to decompose and simplify these functions.
2. **Theorem Proof**:
- Theorem 4.1 states that Goncharov's 22 - term relations hold in \(CH^3(F, 5)\). Specifically, for any \(a, b, c\in\mathbb{P}^1_F\), the relation \(R(a, b, c) = 0\) holds, provided that none of the terms is {0} or {1} (non - degeneracy condition).
3. **Construction and Verification of Cycles**:
- The paper constructs a series of specific cycles in detail and verifies that these cycles are admissible through complex boundary calculation and decomposition methods. For example, multiple auxiliary cycles \(Z_1, Z_2, Z_3, Z_4\) etc. are defined, and it is gradually proved that their boundary conditions meet the requirements.
4. **Decomposition Using Lemmas**:
- Lemmas 3.1 and 3.2 are used to decompose complex cycles, expressing them as the sum of simpler cycles. For example, Lemma 3.1(ii)(c)(2) is used to prove that \(Z_1(A, A)=Z_1 + Z_{11}+Z_{12}+Z_{13}\).
5. **Final Decomposition and Verification**:
- The complex expression \(X_2\) is decomposed into \(Y_1 + Y_2+Y_3 + Y_4\), and the admissibility of each part is verified one by one.
### Conclusion
Through the above steps, the paper successfully proves that Goncharov relations hold in \(CH^3(F, 5)\). This result not only verifies the validity of Goncharov relations but also provides a theoretical basis for further research on similar relations in higher - order Chow groups.
### Formula Summary
- **Goncharov Relations**:
\[
R(a, b, c)=\{-abc\}+\bigoplus_{\text{cyc}(a, b, c)}\left(\{ca - a + 1\}+\frac{ca - a + 1}{ca}-\frac{ca - a + 1}{c}+\cdots\right)=0
\]
- **Auxiliary Functions and Cycles**:
\[
k(x)=\frac{B(x)}{abxA(x)}, \quad l(y)=1-\frac{k(c)}{k(y)}
\]
\[
Z(f_1, f_2)=[f_1(x), f_2(y), 1 - k(x), 1 - k(y)/k(x), l(y)]
\]
Through these formulas and the detailed proof process, the paper shows how to systematically verify and understand relations in complex algebraic structures.