On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

The bv algebra in string topology of classifying spaces

For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over $\mathbb{F}\_2$, such isomorphism of Batalin-Vilkovisky algebrasdoes not hold when $G=SO(3)$ or $G=G\_2$.

Outer space for RAAGs

For any right-angled Artin group $A_Γ$ we construct a finite-dimensional space $\mathcal{O}_Γ$ on which the group $\text{Out}(A_Γ)$ of outer automorphisms of $A_Γ$ acts with finite point stabilizers. We prove that $\mathcal{O}_Γ$ is contractible, so that the quotient is a rational classifying space for $\text{Out}(A_Γ)$. The space $\mathcal{O}_Γ$ blends features of the symmetric space of lattices in $\mathbb{R}^n$ with those of Outer space for the free group $F_n$. Points in $\mathcal{O}_Γ$ are locally CAT(0) metric spaces that are homeomorphic (but not isometric) to certain locally CAT(0) cub…

Homological stability for the mapping class groups of non-orientable surfaces

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable mapping class group of non-orientable surfaces, up to homology isomorphism, is the infinite loop space of a Thom spectrum build from the canonical bundle over the Grassmannians of 2-planes in R^{n+2}. In particular, we show that the stable rational cohomology is a polynomial algebra on generators in degrees 4i--this is the non-oriented analogue of the Mumford conj…

T^n-丛的 T-对偶拓扑

The topology of T-duality for T^n-bundles

本文为带 H^3 上同调类的主 T^n-丛提出拓扑化 T-对偶框架，利用带对偶化数据的分类空间刻画提升条件，并证明扭曲 K-理论的次数 -n 对偶同构。

The stable mapping class group of simply connected 4-manifolds

We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackaging classical results of Wall, Kreck and Quinn, we show that the natural homomorphism from the mapping class group to the group of automorphisms of the intersection form becomes an isomorphism after stabilization with respect to connected sum with CP^2 # \bar{CP^2}. We next consid…