Source author record

Behrooz Mirzaii

Behrooz Mirzaii appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

9 published item(s)

preprint2022arXiv

Homology of $\GL_n$ over infinite fields outside the stability range

For an infinite field $F$, we study the kernel of the map $H_{n}(\mathrm{GL}_{n-1}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big]) \to H_{n}(\mathrm{GL}_{n}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big])$ and the cokernel of $H_{n+1}\Big(\mathrm{GL}_{n-1}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big]\Big) \to H_{n+1}\Big(\mathrm{GL}_{n}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big]\Big)$. We give conjectural estimates of these kernels and cokernels and prove our conjectures for $n\leq 4$.

preprint2022arXiv

The third homology of stem-extensions and Whitehead's quadratic functor

Let $A \rightarrowtail G\twoheadrightarrow Q$ be a stem-extension and let $ρ: A\times G\to G$ be the multiplication map. We show that there is a natural map $φ: H_1(Σ_2^ε, {\rm Tor}_1^{\mathbb{Z}}({}_{2^\infty}A,{}_{2^\infty}A))\to H_3(G,\mathbb{Z})/ρ_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{Z}))$ such that, the image of $φ$ coincides with the image of the natural map $H_3(A,\mathbb{Z})\to H_3(G,\mathbb{Z})/ρ_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{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) \to A\otimes_{\mathbb{z}} A$, $γ(a)\mapsto a\otimes a$.

preprint2022arXiv

Third homology of perfect central extensions

For a central perfect extension of groups $A \rightarrowtail G\twoheadrightarrow Q$, first we study the natural image of $H_3(A,\mathbb{Z})$ in $H_3(G, \mathbb{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 $H_3(G,\mathbb{Z}) \to H_3(Q, \mathbb{Z})$.

preprint2020arXiv

The homology of $\mathrm{SL}_2$ 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 $H_3(\mathrm{SL}_2(A),\mathbb{Z}[\frac{1}{2}]) \to H_3(\mathrm{SL}_2(F),\mathbb{Z}[\frac{1}{2}])\to \mathcal{RP}_1(k)[\frac{1}{2}]\to 0$, where $\mathcal{RP}_1(k)$ is the refined scissors congruence group of $k$. Let $Γ_0(\mathfrak{m}_A)$ denote the congruence subgroup consisting of matrices in $\mathrm{SL}_2(A)$ whose lower off-diagonal entry lies in the maximal ideal $\mathfrak{m}_A$. We also prove that there is an exact sequence $0\to \overline{\mathcal{P}}(k)[\frac{1}{2}]\to H_2(Γ_0(\mathfrak{m}_A),\mathbb{Z}[\frac{1}{2}])\to H_2(\mathrm{SL}_2(A),\mathbb{Z}[\frac{1}{2}])\to I^2(k)[\frac{1}{2}]\to 0$, where $I^2(k)$ is the second power of the fundamental ideal of the Grothendieck-Witt ring $\mathrm{GW}(k)$ and $\overline{\mathcal{P}}(k)$ is a certain quotient of the scissors congruence group (in the sense of Dupont-Sah) $\mathcal{P}(k)$ of $k$.

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 $\mathrm{vb}_j(G):=\sup_{M\in\mathcal{A}_G}\dim_\mathbb{Q} H_j(M,\mathbb{Q})$ is finite for all $0\leq j\leq n$, where $\mathcal{A}_G$ is the set of all finite index subgroups of $G$.

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.

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.

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.