Homology of $\GL_n$ over infinite fields outside the stability range
For an infinite field , we study the kernel of the map and the cokernel of . We give conjectural estimates of these kernels and cokernels and prove our conjectures for .
Source author record
Behrooz Mirzaii
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
9works
2topics
4close collaborators
Published work
9 publications
preprint2022arXiv
The third homology of stem-extensions and Whitehead's quadratic functor
Let A↣G↠Q be a stem-extension and let ρ:A×G→G be the multiplication map. We show that there is a natural map φ:H1(Σ2ε,Tor1Z(2∞A,2∞A))→H3(G,Z)/ρ∗(A⊗ZH2(G,Z)) such that, the image of φ coincides with the image of the natural map H3(A,Z)→H3(G,Z)/ρ∗(A⊗ZH2(G,Z)). An important tool used here is Whitehead's quadratic functor Γ. As part of our proof of the main result, we give a precise homological description of the kernel of the natural map Γ(A)→A⊗zA, γ(a)↦a⊗a.
Open access
preprint2022arXiv
Third homology of perfect central extensions
For a central perfect extension of groups A↣G↠Q, first we study the natural image of H3(A,Z) in H3(G,Z). As a particular case, we show that if the extension is universal this image is 2-torsion. Moreover when the plus-construction of the classifying space of Q is an H-space, we also study the kernel of the surjective homomorphism H3(G,Z)→H3(Q,Z).
Open access
preprint2020arXiv
The homology of SL2 of discrete valuation rings
Let A be a discrete valuation ring with field of fractions F and (sufficiently large) residue field k. We prove that there is a natural exact sequence H3(SL2(A),Z[21])→H3(SL2(F),Z[21])→RP1(k)[21]→0, where RP1(k) is the refined scissors congruence group of k. Let Γ0(mA) denote the congruence subgroup consisting of matrices in SL2(A) whose lower off-diagonal entry lies in the maximal ideal mA. We also prove that there is an exact sequence 0→P(k)[21]→H2(Γ0(mA),Z[21])→H2(SL2(A),Z[21])→I2(k)[21]→0, where I2(k) is the second power of the fundamental ideal of the Grothendieck-Witt ring GW(k) and P(k) is a certain quotient of the scissors congruence group (in the sense of Dupont-Sah) P(k) of k.
Open access
preprint2020arXiv
Virtual rational Betti numbers of nilpotent-by-abelian groups
In this paper we study virtual rational Betti numbers of a nilpotent-by-abelian group G, where the abelianization N/N′ of its nilpotent part N satisfies certain tameness property. More precisely, we prove that if N/N′ is 2(c(n−1)−1)-tame as a G/N-module, c the nilpotency class of N, then vbj(G):=supM∈AGdimQHj(M,Q) is finite for all 0≤j≤n, where AG is the set of all finite index subgroups of G.
Open access
preprint2016arXiv
A Bloch-Wigner exact sequence over local rings
In this article we extend the Bloch-Wigner exact sequence over local rings, where their residue fields have more than nine elements. Moreover, we prove Van der Kallen's theorem on the presentation of the second K-group of local rings such that their residue fields have more than four elements. Note that Van der Kallen proved this result when the residue fields have more than five elements. Although we prove our results over local rings, all our proofs also work over semilocal rings where all their residue fields have similar properties as the residue field of local rings.
Open access
preprint2014arXiv
Bloch-Wigner theorem over rings with many units II
In this article we prove a generalization of the Bloch-Wigner exact sequence over commutative rings with many units. When the ring is a domain, we get a generalization of Suslin's Bloch-Wigner exact sequence over infinite fields. Our proof is different and is easier, even in its general form. But nevertheless we use some of Suslin's results which relates the Bloch group of the ring to the third homology group of the general linear group of the ring. From there we take an easier path.
Open access
preprint2011arXiv
Third homology of general linear groups over rings with many units
For a commutative ring R with many units, we describe the kernel of H_3(inc): H_3(GL_2(R), Z) --> H_3(GL_3(R), Z). Moreover we show that the elements of this kernel are of order at most two. As an application we study the indecomposable part of K_3(R).
Open access
preprint2011arXiv
Third homology of SL_2 and the indecomposable K_3
It is known that, for an infinite field F, the indecomposable part of K_3(F) and the third homology of SL_2(F) are closely related. In fact, there is a canonical map α: H_3(SL_2(F),Z)_F* --> K_3(F)^ind. Suslin has raised the question that, is αan isomorphism? Recently Hutchinson and Tao have shown that this map is surjective. They also gave some arguments about its injectivity. In this article, we improve their arguments and show that αis bijective if and only if the natural maps H_3(GL_2(F), Z)--> H_3(GL_3(F), Z) and H_3(SL_2(F), Z)_F* --> H_3(GL_2(F), Z) are injective.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.