In this paper homology stability for unitary groups over a ring with finite unitary stable rank is established. Homology stability of symplectic groups and orthogonal groups appears as a special case of our results.
In this paper the homology stability for symplectic groups over a ring with finite stable rank is established. First we develop a `nerve theorem' on the homotopy type of a poset in terms of a cover by subposets, where the cover is itself indexed by a poset. We use the nerve theorem to show that a poset of sequences of isotropic vectors is highly connected, as conjectured by Charney in the eighties.
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$.
Let $\{A_m\}$ be a pro system of associative commutative, not necessarily unital, rings. Assume that the pro systems $\{\mathrm{Tor}^{\mathbb{Z}\ltimes A_m}_i(\mathbb{Z},\mathbb{Z})\}_m$ vanish for all $i>0$. Then we prove that the sequence \[ \{H_l(\mathrm{GL}_n(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+1}(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+2}(A_m)\}_m \to \cdots \] stabilizes up to pro isomorphisms for $n$ large enough than $l$ and the stable range of $A_m$'s.
We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative local rings with infinite residue fields, we show that the obstruction to further stability is given by Milnor-Witt K-theory. As an application we construct Euler classes of projective modules with values in the cohomology of the Milnor Witt K-theory sheaf. For d-dimensional commutative noetherian rings with infinite residue fields we show that the vanishing o…
We improve the homology stability range for the 3rd integral homology of symplectic groups over commutative local rings with infinite residue field. As an application, we show that for local commutative rings containing an infinite field of characteristic not 2 the symbol map from Milnor-Witt K-theory to higher Grothendieck-Witt groups is an isomorphism in degrees 2 and 3.
We give a new categorical way to construct the central stability homology of Putman and Sam and explain how it can be used in the context of representation stability and homological stability. In contrast to them, we cover categories with infinite automorphism groups. We also connect central stability homology to Randal-Williams and Wahl's work on homological stability. We also develop a criterion that implies that functors that are polynomial in the sense of Randal-Williams and Wahl are centrally stable in the sense of Putman.
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.
The Exel-Loring formula asserts that two topological invariants associated to a pair of almost commuting unitary matrices coincide. Such a pair can be viewed as a quasi-representation of $\mathbb{Z}^2$. We give a generalization of this formula for countable discrete groups. We also show the nontriviality of the corresponding invariants for quasidiagonal groups which are coarsely embeddable in a Hilbert space and have nonvanishing second Betti number.
We revisit the problem of stability of string vacua involving hyperbolic orbifolds using methods from homotopy theory and K-homology. We propose a definition of Type II string theory on such backgrounds that further carry stratified systems of fiber bundles, which generalise the more conventional orbifold and symmetric string backgrounds, together with a classification of wrapped branes by a suitable generalized homology theory. For spaces stratified fibered over hyperbolic orbifolds we use the algebraic K-theory of their fundamental groups and Quinn homology to derive criteria for brane stabi…
We prove that "unitary deformation K-theory" takes products of finitely generated groups to coproducts of algebra spectra over ku, the connective K-theory spectrum. Additionally, we give spectral sequences for computing the homotopy groups of the unitary deformation K-theory of a group G and the cofiber of the Bott map in terms of PU(n)-equivariant K-theory and homology of spaces of G-representations.
The problem of homological stability helps us to catch the structure of group homology. We calculate homological stability of special orthogonal groups, and we also calculate the stability of orthogonal groups with determinant-twisted coefficients under a certain good situation. We also get some results about the structure of these homology.
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, …
We prove homological stability for standard unitary groups over R, C and H and for general linear groups over skew-fields with infinite centre. We focus on the similarities and differences of these proofs. Both proofs are due to Chih-Han Sah (Homology of classical Lie groups made discrete I: Stability theorems and Schur multipliers. Comment. Math. Helv. 61(2), 1986).
We extend the results of the author with C. Vespa (Ann. Sci. ENS 2010) to stable homology of unitary groups over an arbitrary ring twisted by a polynomial functor : we show that it can be computed from the homology with constant coefficients and functor homology groups which can be explicitly computed in some cases.---On généralise les résultats de l'auteur et C. Vespa (Ann. Sci. ENS 2010) à l'homologie stable des groupes unitaires sur un anneau quelconque à coefficients tordus par un foncteur polynomial, dont on montre qu'elle peut s'exprimer à partir de l'homologie à coefficients constants e…
We prove a homological stability theorem for congruence subgroups of symplectic groups. From this theorem, we deduce a generalization of a theorem of Borel showing that certain homology groups of a congruence subgroup do not depend on the level of the congruence subgroup.
Let $(M,ω_M)$ be a monotone or negatively monotone symplectic manifold, or a Weinstein manifold. One can construct an "action" of $H^1(M,\mathbb{G}_m)$ on the Fukaya category (wrapped Fukaya category in the exact case) that reflects the action of $Symp^0(M,ω_M)$ on the set of Lagrangian branes. A priori this action is only analytic. The purpose of this work is to show the algebraicity of this action under some assumptions. We use this to prove a tameness result for the sheaf of Lagrangian Floer homology groups obtained by moving one of the Lagrangians via global symplectic isotopies. We also s…
Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit proof of the Baum-Connes conjecture (without coefficients), that states that the assembly map $μ_i^L:K_i^L(\underline{E} L)\rightarrow K_i(C^*L)\;(i=0,1)$ is an isomorphism. Actually, $K_0(C^*L)$ is free abelian of countable rank, with an explicit basis consisting of projections in $C^*L$, while $K_1(C^*L)$ is infinite cyclic, generated by the unitary of $C^*L…
We prove that Thompson's group $V$ is acyclic, answering a 1992 question of Brown in the positive. More generally, we identify the homology of the Higman-Thompson groups $V_{n,r}$ with the homology of the zeroth component of the infinite loop space of the mod $n-1$ Moore spectrum. As $V = V_{2,1}$, we can deduce that this group is acyclic. Our proof involves establishing homological stability with respect to $r$, as well as a computation of the algebraic K-theory of the category of finitely generated free Cantor algebras of any type $n$.