Source author record

Kevin Hutchinson

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

ResearcherUnclaimed source record

math.KT math.NT nlin.CD nlin.SI

Catalog footprint

What is connected

11works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

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

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.

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$.

preprint2018arXiv

Exact discrete resonances in the Fermi-Pasta-Ulam-Tsingou system

In systems of N coupled anharmonic oscillators, exact resonant interactions play an important role in the energy exchange between normal modes. In the weakly nonlinear regime, those interactions may facilitate energy equipartition in Fourier space. We consider analytically resonant wave-wave interactions for the celebrated Fermi-Pasta-Ulam-Tsingou (FPUT) system. Using a number-theoretical approach based on cyclotomic polynomials, we show that the problem of finding exact resonances for a system of N particles is equivalent to a Diophantine equation whose solutions depend sensitively on the set of divisors of N. We provide an algorithm to construct all possible resonances, based on two methods: pairing-off and cyclotomic, which we introduce to build up explicit solutions to the 4-, 5- and 6-wave resonant conditions. Our results shed some light in the understanding of the long-standing FPUT paradox, regarding the sensitivity of the resonant manifolds with respect to the number of particles N and the corresponding time scale of the interactions leading to thermalisation. In this light we demonstrate that 6-wave resonances always exist for any N, while 5-wave resonances exist if N is divisible by 3 and N > 6. It is known (for finite N) that 4-wave resonances do not mix energy across the spectrum, so we investigate whether 5-wave resonances can produce energy mixing across a significant region of the Fourier spectrum by analysing the interconnected network of Fourier modes that can interact nonlinearly via resonances. The answer depends on the set of odd divisors of N that are not divisible by 3: the size of this set determines the number of dynamically independent components, corresponding to independent constants of motion (energies). We show that 6-wave resonances connect all these independent components, providing in principle a restoring mechanism for full-scale thermalisation.

preprint2016arXiv

The third homology of SL_2 of fields with discrete valuation

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.

preprint2016arXiv

The third homology of SL_2 of 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.

preprint2015arXiv

The second homology of SL_2 of S-integers

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.

preprint2014arXiv

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

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.

preprint2014arXiv

On third homology of SL_2 and weak homotopy invariance

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.

preprint2013arXiv

A Bloch-Wigner complex for SL_2

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.

preprint2013arXiv

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

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.

preprint2011arXiv

Lines crossing a tetrahedron and the Bloch group

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.