Use this URL to cite or link to this record in EThOS:
Title: Configuration complexes and tangential and infinitesimal versions of polylogarithmic complexes
Author: Siddiqui, Raziuddin
ISNI:       0000 0004 2692 1780
Awarding Body: Durham University
Current Institution: Durham University
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Access from Institution:
In this thesis we consider the Grassmannian complex of projective configurations in weight 2 and 3, and Cathelineau's infinitesimal polylogarithmic complexes as well as a tangential complex to the famous Bloch-Suslin complex (in weight 2) and to Goncharov's ``motivic`` complex (in weight 3), respectively, as proposed by Cathelineau [5]. Our main result is a morphism of complexes between the Grassmannian complexes and the associated infinitesimal polylogarithmic complexes as well as the tangential complexes. In order to establish this connection we introduce an $F$-vector space $\beta^D_2(F)$, which is an intermediate structure between a $\varmathbb{Z}$-module $\mathcal{B}_2(F)$ (scissors congruence group for $F$) and Cathelineau's $F$-vector space $\beta_2(F)$ which is an infinitesimal version of it. The structure of $\beta^D_2(F)$ is also infinitesimal but it has the advantage of satisfying similar functional equations as the group $\mathcal{B}_2(F)$. We put this in a complex to form a variant of Cathelineau's infinitesimal complex for weight 2. Furthermore, we define $\beta_3^D(F)$ for the corresponding infinitesimal complex in weight 3. One of the important ingredients of the proof of our main results is the rewriting of Goncharov's triple-ratios as the product of two projected cross-ratios. Furthermore, we extend Siegel's cross-ratio identity ([21]) for $2\times2$ determinants over the truncated polynomial ring $F[\varepsilon]_\nu:=F[\varepsilon]/\varepsilon^\nu$. We compute cross-ratios and Goncharov's triple-ratios in $F[\varepsilon]_2$ and $F[\varepsilon]_3$ and use them extensively in our computations for the tangential complexes. We also verify a ''projected five-term'' relation in the group $T\mathcal{B}_2(F)$ which is crucial to prove one of our central statements Theorem 4.3.3.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available