In this article, we extend an argument of Vogtmann in order to show homology stability of the Euclidean orthogonal group $O_n(A)$ when $A$ is a valuation ring subject to arithmetic conditions on either its residue or its quotient field. In particular, it is shown that if $A$ is a henselian valuation ring, then the groups $O_n(A)$ exhibit homology stability if the residue field of $A$ has finite Pythagoras number. Our results include those of Vogtmann, and hold with various twisted coefficients. Using these results, we give analogues for fields $F\neq\mathbb R$ of some computations that appear in the study of scissor congruences.
We study the twisted Novikov homology of the complement of a complex hypersurface in general position at infinity. We give a self-contained topological proof of the vanishing (except possibly in the middle degree) of the twisted Novikov homology groups associated to positive cohomology classes of degree one defined on the complement.
The purpose of this note is to clarify some details in McDuff and Segal's proof of the group-completion theorem and to generalize both this and the homology fibration criterion of McDuff to homology with twisted coefficients. This will be used in forthcoming work to identify the limiting homology of "oriented" configuration spaces, which doubly cover the classical configuration spaces of distinct unordered points in a manifold.
In this paper, we deal with stable homology computations with twisted coefficients for mapping class groups of surfaces and of 3-manifolds, automorphism groups of free groups with boundaries and automorphism groups of certain right-angled Artin groups. On the one hand, the computations are led using semidirect product structures arising naturally from these groups. On the other hand, we compute the stable homology with twisted coefficients by FI-modules. This notably uses a decomposition result of the stable homology with twisted coefficients for pre-braided monoidal categories proved in this …
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ δ\colon V(A)\longrightarrow \operatorname{End}(G), \quad v\mapsto δ_v $$ such that $δ_v\circ δ_w=δ_w\circ δ_v$ if there exists an edge in $A$ joining $v$ with $w$ or an arrow either from $v$ to $w$ or from $w$ to $v$. We give a canonical construction of twisted simplicial group as well as twisted homology for $A$ with a given twisted structure. Also we determine the homotopy t…
A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$, $m<M$, or, which is the same, the stable homology groups of spaces of non-resultant homogeneous polynomial maps ${\mathbb R}^{m+1} \to {\mathbb R}^{M+1}$ of growing degrees. Also, we find the homology groups of spaces of ${\mathbb Z}_r$-equivariant maps of odd-dimensional spheres for any $r$. As a technical tool, we calculate the homology groups of configurat…
We consider the Birman-Hilden inclusion $φ\colon\mathfrak{Br}_{2g+1}\toΓ_{g,1}$ of the braid group into the mapping class group of an orientable surface with boundary, and prove that $φ$ is stably trivial in homology with twisted coefficients in the symplectic representation $H_1(Σ_{g,1})$ of the mapping class group; this generalises a result of Song and Tillmann regarding homology with constant coefficients. Furthermore we show that the stable homology of the braid group with coefficients in $φ^*(H_1(Σ_{g,1}))$ has only $4$-torsion.
We show the topological Hochschild homology spectrum of a twisted group algebra $\THH(A^τ[G])$ is the Thom spectrum associated to a parametrized orthogonal spectrum $E(A,G)$. We then analyze the structure of the parametrized orthogonal spectrum $E(A,G)$ and show that it is locally trivial.
We study twisted $Spin^c$-manifolds over a paracompact Hausdorff space $X$ with a twisting $α: X \to K(\ZZ, 3)$. We introduce the topological index and the analytical index on the bordism group of $α$-twisted $Spin^c$-manifolds over $(X, α)$, taking values in topological twisted K-homology and analytical twisted K-homology respectively. The main result of this paper is to establish the equality between the topological index and the analytical index. We also define a notion of geometric twisted K-homology, whose cycles are geometric cycles of $(X, \a)$ analogous to Baum-Douglas's geometric cycl…
Let $H_{g}$ be a 3-dimensional handlebody of genus $g$. We determine the twisted first homology group of the mapping class group of $H_{g}$ with coefficients in the first integral homology group of the boundary surface $\partial H_{g}$ for $g\geq 2$.
In this paper, we compute the second homology groups of the automorphism group of a free group with coefficients in the abelianization of the free group and its dual group except for 2-torsion part, using combinatorial group theory.
Given a genus-g Heegaard splitting of a 3-sphere, the genus-g Goeritz group is defined to be the group of the isotopy classes of orientation preserving homeomorphism of the 3-sphere that preserve the splitting. In this paper, we determine the twisted first (co)homology group of the genus-2 Goeritz group of 3-sphere.
We prove that the twisted K-homology of a simply connected simple Lie group G of rank n is an exterior algebra on n-1 generators tensor a cyclic group. We give a detailed description of the order of this cyclic group in terms of the dimensions of irreducible representations of G and show that the congruences determining this cyclic order lift along the twisted index map to relations in the twisted Spin-c bordism group of G.
Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spectrum $MU_{\mathbb{R}}$. In particular, we construct an equivariant version of the Bökstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green f…
We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A).
The Euler calculus -- an integral calculus based on Euler characteristic as a valuation on constructible functions -- is shown to be an incisive tool for answering questions about injectivity and invertibility of recent transforms based on persistent homology for shape characterization.
We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as described by Kaliszewski et al. We exhibit combinatorial versions of a number of standard topological constructions, and show that they are compatible, from a homological point of view, with their topological counterparts. We show how to twist the C*-algebra of a k-graph by a T-valued 2-cocycle and demonstrate that examples include all noncommutative tori. In t…
Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homolo…
We record an answer to the question "In which dimensions is the connected sum of two closed almost complex manifolds necessarily an almost complex manifold?". In the process of doing so, we are naturally led to ask "For which values of l is the connected sum of l closed almost complex manifolds necessarily an almost complex manifold?". We answer this question, along with its non-compact analogue, using obstruction theory and Yang's results on the existence of almost complex structures on (n-1)-connected 2n-manifolds. Finally, we partially extend Datta and Subramanian's result on the nonexisten…
We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of infinity categories from the infinity groupoid of a space $X$ to the infinity category of free rank one $R$-modules, which we show is a model for $BGL_1 R$; we show that $BGL_1 R$ classifies homotopy…
In this paper we prove stability results for the homology of the mapping class group of a surface. We get a stability range that is near optimal, and extend the result to twisted coefficients.
Let M be an open, connected manifold. A classical theorem of McDuff and Segal states that the sequence of configuration spaces of n unordered, distinct points in M is homologically stable with coefficients in Z: in each degree, the integral homology is eventually independent of n. The purpose of this note is to prove that this phenomenon also holds for homology with twisted coefficients. We first define an appropriate notion of finite-degree twisted coefficient system for configuration spaces and then use a spectral sequence argument to deduce the result from the untwisted homological stabilit…
We give a characterization of groups with twisted p-periodic cohomology in terms of group actions on mod p homology spheres. An equivalent algebraic characterization of such groups is also presented.
We give a description of the factorization homology and $E_n$ topological Hochschild cohomology of Thom spectra arising from $n$-fold loop maps $f: A \to BO$, where $A = Ω^n X$ is an $n$-fold loop space. We describe the factorization homology $\int_M Th(f)$ as the Thom spectrum associated to a certain map $\int _M A \to BO$. When $M$ is framed and $X$ is $(n-1)$-connected, this spectrum is equivalent to a Thom spectrum of a virtual bundle over the mapping space $Map_c(M,X)$; in general, this is a Thom spectrum of a virtual bundle over a certain section space. This can be viewed as a twisted fo…
This paper is our first step in establishing a de Rham model for equivariant twisted $K$-theory using machinery from noncommutative geometry. Let $G$ be a compact Lie group, $M$ a compact manifold on which $G$ acts smoothly. For any $α\in H^3_G (M, {\mathbb Z})$ we introduce a notion of localized equivariant twisted cohomology $H^\bullet ({\barΩ}^\bullet (M, G, L)_g, d^α_{G^g})$, indexed by $g\in G$. We prove that there exists a natural family of chain maps, indexed by $g\in G$, inducing a family of morphisms from the equivariant periodic cyclic homology $HP^G_\bullet ( C^\infty (M, α) )$, whe…
We introduce equivariant factorization homology, extending the axiomatic framework of Ayala-Francis to encompass multiplicative invariants of manifolds equipped with finite group actions. Examples of such equivariant factorization homology theories include Bredon equivariant homology and (twisted versions of) Hochschild homology. Our main result is that equivariant factorization homology satisfies an equivariant version of tensor excision, and is uniquely characterised by this property. We also discuss applications to representation theory, such as constructions of categorical braid group acti…
We develop a spectral sequence for the homotopy groups of Loday constructions with respect to twisted products in the case where the group involved is a constant simplicial group. We show that for commutative Hopf algebra spectra Loday constructions are stable, generalizing a result by Berest, Ramadoss and Yeung. We prove that several truncated polynomial rings are not multiplicatively stable by investigating their torus homology.
We study the twisted Lefschetz number, which is a generalization of classical Lefschetz number. A formula in terms of homology with local coefficients is given. We then propose a method to estimate the Nielsen number. As applications, an algorithm for computing the Nielsen number of a self map of a space with abelian fundamental group is discussed; and Bass' conjecture for a class of groups is proved.
Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to compute twisted Morava K-theory of all connective covers of the stable orthogonal group and stable unitary group, and their classifying spaces, as well as spheres and Eilenberg-MacLane spaces. This extends to the twisted case some of the results of Ravenel and Wilson and of Kitchloo, Laures, and Wilson for Morava K-theory. This also generalizes to all chromatic l…
In this paper, we want to construct a one-to-one correspondence from the set of diffeomorphism classes of spin $d$-twisted homology $\mc P^3$ to the set of isotopy classes of the embedding from $S^3$ to $S^6$, which is a generalization of the Montgomery-Yang correspondence. Furthermore, we will apply this generalized correspondence to prove the existence of free involution on these $d$-twisted homology $\mc P^3$.
We investigate the use of persistent homology, a tool from topological data analysis, as a means to detect and quantitatively describe center vortices in $\mathrm{SU}(2)$ lattice gauge theory in a gauge-invariant manner. We provide evidence for the sensitivity of our method to vortices by detecting a vortex explicitly inserted using twisted boundary conditions in the deconfined phase. This inspires the definition of a new phase indicator for the deconfinement phase transition. We also construct a phase indicator without reference to twisted boundary conditions using a simple $k$-nearest neighb…
We provide a new description of logarithmic topological André-Quillen homology in terms of the indecomposables of an augmented ring spectrum. The new description allows us to interpret logarithmic TAQ as an abstract cotangent complex, and leads to an base-change formula for logarithmic topological Hochschild homology. The latter is analogous to results of Weibel-Geller for Hochschild homology of discrete rings, and of McCarthy-Minasian and Mathew for topological Hochschild homology. For example, our results imply that logarithmic THH satisfies base-change for tamely ramified extensions of disc…
Let X be a finite CW-complex, denote its fundamental group by G. Let R be an n-dimensional complex repesentation of G. Any element A of the first cohomology group of X with complex coefficients gives rise to the exponential deformation of the representation R, which can be considered as a curve in the space of representations. We show that the cohomology of X with local coefficients corresponding to the generic point of this curve is computable from a spectral sequence starting from the cohomology of X with R-twisted coefficients. We compute the differentials of the spectral sequence in terms …
Let L be a strongly Z-graded ring, and let C be a bounded chain complex of finitely generated L-modules. We give a homological characterisation of when C is homotopy equivalent, over L_0, to a bounded complex of finitely generated projective L_0-modules, generalising known results for twisted Laurent polynomial rings.
We provide a bottom up construction of torsion generators for weighted homology of a weighted complex over a discrete valuation ring $R=\mathbb{F}[[π]]$. This is achieved by starting from a basis for classical homology of the $n$-th skeleton for the underlying complex with coefficients in the residue field $\mathbb{F}$ and then lifting it to a basis for the weighted homology with coefficients in the ring $R$. Using the latter, a bijection is established between $n+1$ and $n$ dimensional simplices whose weight ratios provide the exponents of the $π$-monomials that generate each torsion summand …
