Showing 1–16 of 16 results for author: Hutchinson, K

Bloch Groups of Rings

Authors: Rodrigo Cuitun Coronado, Kevin Hutchinson

Abstract: We give a definition of (refined) Bloch groups of general commutative rings which agrees with the standard definition in the case of local rings whose residue field has at least $4$ elements. Under appropriate conditions on a ring $A$, satisfied by any field or local ring, these groups are closely related to third homology of $\mathrm{SL}_2(A)$ and to indecomposable $K_3$ of $A$. We analyze these… ▽ More We give a definition of (refined) Bloch groups of general commutative rings which agrees with the standard definition in the case of local rings whose residue field has at least $4$ elements. Under appropriate conditions on a ring $A$, satisfied by any field or local ring, these groups are closely related to third homology of $\mathrm{SL}_2(A)$ and to indecomposable $K_3$ of $A$. We analyze these conditions. We calculate the Bloch groups of $\mathbb{F}_2,\mathbb{F}_3,\mathbb{Z}$ and $\mathbb{Z}[\frac{1}{2}]$. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Comments: 35 pages

MSC Class: 20J06

$\mathrm{GE}_2$-rings and a graph of unimodular rows

Authors: Kevin Hutchinson

Abstract: For a commutative ring $A$ we consider a related graph, $Γ(A)$, whose vertices are the unimodular rows of length $2$ up to multiplication by units. We prove that $Γ(A)$ is path-connected if and only if $A$ is a $\mathrm{GE}_2$-ring, in the terminology of P. M. Cohn. Furthermore, if $Y(A)$ denotes the clique complex of $Γ(A)$, we prove that $Y(A)$ is simply connected if and only if $A$ is universal… ▽ More For a commutative ring $A$ we consider a related graph, $Γ(A)$, whose vertices are the unimodular rows of length $2$ up to multiplication by units. We prove that $Γ(A)$ is path-connected if and only if $A$ is a $\mathrm{GE}_2$-ring, in the terminology of P. M. Cohn. Furthermore, if $Y(A)$ denotes the clique complex of $Γ(A)$, we prove that $Y(A)$ is simply connected if and only if $A$ is universal for $\mathrm{GE}_2$. More precisely, our main theorem is that for any commutative ring $A$ the fundamental group of $Y(A)$ is isomorphic to the group $K_2(2,A)$ modulo the subgroup generated by symbols. △ Less

Submitted 16 February, 2022; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: 32 pages, including an appendix. Latest changes: Revised in line with referee's suggestions. Proof of Lemma 7.1 corrected. Some minor typos corrected

MSC Class: 19C20; 20G30

The Chern class for $K_3$ and the cyclic quantum dilogarithm

Authors: Kevin Hutchinson

Abstract: In this note we confirm the conjecture of Calegari, Garoufalidis and Zagier in their recent paper in Ann. Sci. École Normale Sup. that $R_ζ=c_ζ^2$, where $R_ζ$ is their map on $K_3$ defined using the cyclic quantum dilogarithm and $c_ζ$ is the Chern class map on $K_3$. In this note we confirm the conjecture of Calegari, Garoufalidis and Zagier in their recent paper in Ann. Sci. École Normale Sup. that $R_ζ=c_ζ^2$, where $R_ζ$ is their map on $K_3$ defined using the cyclic quantum dilogarithm and $c_ζ$ is the Chern class map on $K_3$. △ Less

Submitted 27 March, 2024; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: 8 pages. Extensively rewritten for greater clarity of the main argument Now revised in line with referee comments. To appear in Journal of Algebra

MSC Class: 19G99

The homology of $\mathrm{SL}_2$ of discrete valuation rings

Authors: Kevin Hutchinson, Behrooz Mirzaii, Fatemeh Yeganeh Mokari

Abstract: 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)$ deno… ▽ More 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$. △ Less

Submitted 22 July, 2020; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 49 pages

MSC Class: 19D99; 20J05

The third homology of $\mathrm{SL}_2(\mathbb{Q})$

Authors: Kevin Hutchinson

Abstract: We calculate the third homology of $\mathrm{SL}_2(\mathbb{Q})$ with half-integral coefficients. Corresponding to each prime $p$ there is an operator on this group with square the identity. The kernel of the (split surjective) homomorphism to the indecomposable $K_3$ of $\mathbb{Q}$ is a the direct sum over all primes of the $(-1)$-eigenspaces of these operators. The $(-1)$-eigenspace of the operat… ▽ More We calculate the third homology of $\mathrm{SL}_2(\mathbb{Q})$ with half-integral coefficients. Corresponding to each prime $p$ there is an operator on this group with square the identity. The kernel of the (split surjective) homomorphism to the indecomposable $K_3$ of $\mathbb{Q}$ is a the direct sum over all primes of the $(-1)$-eigenspaces of these operators. The $(-1)$-eigenspace of the operator corresponding to the prime $p$ is cyclic of order the odd part of $p+1$. △ Less

Submitted 16 October, 2020; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: Gap in proof of Theorem 3.11, identified by referee, now filled. Other minor corrections

MSC Class: 20J05; 11R70

Tate kernels, etale K-theory and the Gross kernel

Authors: Kevin Hutchinson

Abstract: For an odd prime $p$ and a number field $F$ containing a $p$th root of unity, we study generalised Tate kernels, $D_F^{[i,n]}$, for $i\in \mathbb{Z}$ and $n\geq 1$, having the properties that if $i\geq 2$ and if either $p$ does not divide $i$ or $μ_{p^n}\subset F$ then there are natural isomorphisms $D_F^{[i,n]}\cong K^{\mbox{\tiny ét}}_{2i-1}(O_F^S)/p^n$, and that they are periodic modulo a power… ▽ More For an odd prime $p$ and a number field $F$ containing a $p$th root of unity, we study generalised Tate kernels, $D_F^{[i,n]}$, for $i\in \mathbb{Z}$ and $n\geq 1$, having the properties that if $i\geq 2$ and if either $p$ does not divide $i$ or $μ_{p^n}\subset F$ then there are natural isomorphisms $D_F^{[i,n]}\cong K^{\mbox{\tiny ét}}_{2i-1}(O_F^S)/p^n$, and that they are periodic modulo a power of $p$ which depends on $F$ and $n$. Our main result is that if the Gross-Jaulent conjecture holds for $(F,p)$ then there is a natural isomorphism $D_F^{[i,n]}\cong\mathcal{E}_F/p^n$ where $\mathcal{E}_F$ is the Gross kernel. We apply this result to compute lower bounds for capitulation kernels in even étale $K$-theory. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 26pp. Draft preprint from 2005. I don't intend to submit it to a journal. This preprint continues to be cited from time to time, however

MSC Class: 11R23; 19F27

The second homology of SL_2 of S-integers

Authors: Kevin Hutchinson

Abstract: We calculate the structure of the finitely-generated groups H_2(SL_2(Z[1/m])) when m is a multiple of 6. We construct explicit homology classes which generate these groups and have prescribed orders. When n is at least 2 and m is the product of the first n primes, we combine our results with those of Jun Morita to deduce that the projection St(2, Z[1/m]) --> SL_2(Z[1/m]) is a universal central ext… ▽ More We calculate the structure of the finitely-generated groups H_2(SL_2(Z[1/m])) when m is a multiple of 6. We construct explicit homology classes which generate these groups and have prescribed orders. When n is at least 2 and m is the product of the first n primes, we combine our results with those of Jun Morita to deduce that the projection St(2, Z[1/m]) --> SL_2(Z[1/m]) is a universal central extension, where St(2,-) is the rank one Steinberg group. The main structure theorem applies more generally to rings of S-integers with sufficiently many units. For a wide class of rings, the explicit homology classes we construct map to symbols in rank one K_2 of the ring. △ Less

Submitted 12 February, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: 36 pages; improved exposition; hypotheses on class groups removed from main results

MSC Class: 19C09; 20G10

Low-dimensional Homology of SL_2(k[t,1/t])

Authors: Kevin Hutchinson

Abstract: We prove analogues of the fundamental theorem of algebraic K-theory for the second and third homology of SL_2 over an infinite field k. The statements involve Milnor-Witt K-theory and scissors congruence groups. We use these results to calculate the low-dimensional homology of SL_2 of Laurent polynomials over certain fields. We prove analogues of the fundamental theorem of algebraic K-theory for the second and third homology of SL_2 over an infinite field k. The statements involve Milnor-Witt K-theory and scissors congruence groups. We use these results to calculate the low-dimensional homology of SL_2 of Laurent polynomials over certain fields. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Comments: 24 pages

MSC Class: 20G10

The third homology of SL_2 of local rings

Authors: Kevin Hutchinson

Abstract: We describe the third homology of SL_2 of local rings over Z[1/2] in terms of a refined Bloch group. We use this to derive a localization sequence for the third homology of SL_2 of certain discrete valuation rings, and to make explicit computations for p-adic integers and other local rings. We describe the third homology of SL_2 of local rings over Z[1/2] in terms of a refined Bloch group. We use this to derive a localization sequence for the third homology of SL_2 of certain discrete valuation rings, and to make explicit computations for p-adic integers and other local rings. △ Less

Submitted 14 July, 2016; v1 submitted 19 September, 2013; originally announced September 2013.

Comments: Extensively rewritten. The arguments have been simplified and the theorems strengthened

MSC Class: 19G99; 20G10

On third homology of SL_2 and weak homotopy invariance

Authors: Kevin Hutchinson, Matthias Wendt

Abstract: The goal of the paper is to achieve - in the special case of the linear group SL_2 - some understanding of the relation between group homology and its A^1-invariant replacement. We discuss some of the general properties of A^1-invariant group homology, such as stabilization sequences and Grothendieck-Witt module structures. Together with very precise knowledge about refined Bloch groups, these met… ▽ More The goal of the paper is to achieve - in the special case of the linear group SL_2 - some understanding of the relation between group homology and its A^1-invariant replacement. We discuss some of the general properties of A^1-invariant group homology, such as stabilization sequences and Grothendieck-Witt module structures. Together with very precise knowledge about refined Bloch groups, these methods allow to deduce that in general there is a rather large difference between group homology and its A^1-invariant version. In other words, weak homotopy invariance fails for SL_2 over many families of non-algebraically closed fields. △ Less

Submitted 25 April, 2014; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 29 pages, included discussion on comparison of unstable K-theories, some updates and corrections

MSC Class: 20G10 (14F42)

Journal ref: Trans. Amer. Math. Soc. 367(10), 2015, pp. 7481-7513

The third homology of SL_2 of fields with discrete valuation

Authors: Kevin Hutchinson

Abstract: For a field F with discrete valuation and residue field $k$ we relate the third homology of SL_2(F) with half-integral coefficients to the third homology of SL_2(k) and a certain refined scissors congruence group of k. As an application, we obtain explicit calculations of the third homology of SL_2 of certain higher-dimensional local fields in terms of scissors congruence groups, in the sense of D… ▽ More For a field F with discrete valuation and residue field $k$ we relate the third homology of SL_2(F) with half-integral coefficients to the third homology of SL_2(k) and a certain refined scissors congruence group of k. As an application, we obtain explicit calculations of the third homology of SL_2 of certain higher-dimensional local fields in terms of scissors congruence groups, in the sense of Dupont and Sah, of the residue fields of the associated valuations. △ Less

Submitted 23 May, 2016; v1 submitted 25 April, 2012; originally announced April 2012.

Comments: 40 pages (including Appendix)

MSC Class: 19D99; 20J05

A Bloch-Wigner complex for SL_2

Authors: Kevin Hutchinson

Abstract: We introduce a refinement of the Bloch-Wigner complex of a field F. This is a complex of modules over the multiplicative group of the field. Instead of computing K_2 and indecomposable K_3 - as the classical Bloch-Wigner complex does - it calculates the second and third integral homology of SL_2 of the field. On passing to coinvariants for the action of the multiplicative group we recover the clas… ▽ More We introduce a refinement of the Bloch-Wigner complex of a field F. This is a complex of modules over the multiplicative group of the field. Instead of computing K_2 and indecomposable K_3 - as the classical Bloch-Wigner complex does - it calculates the second and third integral homology of SL_2 of the field. On passing to coinvariants for the action of the multiplicative group we recover the classical Bloch-Wigner complex. The case of finite fields is included throughout the article. △ Less

Submitted 18 January, 2013; v1 submitted 1 July, 2011; originally announced July 2011.

Comments: To appear in Journal of K-Theory

MSC Class: 19E20

Lines crossing a tetrahedron and the Bloch group

Authors: Kevin Hutchinson, Masha Vlasenko

Abstract: We consider a simple modification of the Chow group CH^2(Spec(k),3) using only linear subvarieties in affine spaces and show that it maps surjectively to the Bloch group B(k) for any infinite field k. We also describe the kernel of this map. We consider a simple modification of the Chow group CH^2(Spec(k),3) using only linear subvarieties in affine spaces and show that it maps surjectively to the Bloch group B(k) for any infinite field k. We also describe the kernel of this map. △ Less

Submitted 20 April, 2011; originally announced April 2011.

Journal ref: Contributions to algebraic geometry, IMPANGA lecture notes, EMS Ser. Congr. Rep. (2012), pp. 297--303

A refined Bloch group and the third homology of SL_2 of a field

Authors: Kevin Hutchinson

Abstract: We use the properties of the refined Bloch group of a field to prove that H_3 of SL_2 of a global field is never finitely generated, and to calculate - up to some 2-torsion - H_3 of SL_2 of local fields with finite residue field of odd characteristic. We also give lower bounds for the 3-torsion in the H_3 of SL_2 of rings of S-integers. We use the properties of the refined Bloch group of a field to prove that H_3 of SL_2 of a global field is never finitely generated, and to calculate - up to some 2-torsion - H_3 of SL_2 of local fields with finite residue field of odd characteristic. We also give lower bounds for the 3-torsion in the H_3 of SL_2 of rings of S-integers. △ Less

Submitted 18 January, 2013; v1 submitted 17 January, 2011; originally announced January 2011.

Comments: 42 pages. Details added and exposition improved thanks to referee. To appear, J. Pure Applied Algebra

MSC Class: 20J05

Homology stability for the special linear group of a field and Milnor-Witt K-theory

Authors: Kevin Hutchinson, Liqun Tao

Abstract: Let F be a field of characteristic zero and let f(t,n) be the stabilization homomorphism from the n-th integral homology of SL(t,F) to the n-th homology of SL(t+1,F). We prove the following results: For all n, f(t,n) is an isomorphism if t is at least n+1, and is surjective for t=n, confirming a conjecture of C-H. Sah. Furthermore if n is odd, then f(n,n) is an isomorphism and when n is even the… ▽ More Let F be a field of characteristic zero and let f(t,n) be the stabilization homomorphism from the n-th integral homology of SL(t,F) to the n-th homology of SL(t+1,F). We prove the following results: For all n, f(t,n) is an isomorphism if t is at least n+1, and is surjective for t=n, confirming a conjecture of C-H. Sah. Furthermore if n is odd, then f(n,n) is an isomorphism and when n is even the kernel of f(n,n) is the (n+1)st power of the fundamental ideal of the Witt Ring of the field.. If n is even, then the cokernel of f(n-1,n) is naturally isomorphic to the n-th Milnor-Witt K-group of F, MWK(n,F) and when n>2 is odd the cokernel of f(n-1,n) is the square of the nth Milnor K-group of F. △ Less

Submitted 29 May, 2009; v1 submitted 13 November, 2008; originally announced November 2008.

Comments: 43 pages. The main theorem has been sharpened. Some definitions and proofs simplified

MSC Class: 19G99; 20G10

The third homology of the special linear group of a field

Authors: Kevin Hutchinson, Liqun Tao

Abstract: We prove that for any infinite field homology stability for the third integral homology of the special linear groups $SL(n,F)$ begins at $n=3$. When $n=2$ the cokernel of the map from the third homology of $SL(2,F)$ to the third homology of $SL(3,F)$ is naturally isomorphic to the square of Milnor $K_3$. We discuss applications to the indecomposable $K_3$ of the field and to Milnor-Witt K-theory… ▽ More We prove that for any infinite field homology stability for the third integral homology of the special linear groups $SL(n,F)$ begins at $n=3$. When $n=2$ the cokernel of the map from the third homology of $SL(2,F)$ to the third homology of $SL(3,F)$ is naturally isomorphic to the square of Milnor $K_3$. We discuss applications to the indecomposable $K_3$ of the field and to Milnor-Witt K-theory. △ Less

Submitted 5 August, 2008; originally announced August 2008.

Comments: PDFLatex, 21 pages

MSC Class: 20G10