The mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.     

Sampling in a weighted Sobolev space

We show that functions f in some weighted Sobolev space are completely determined by time-frequency samples ${\{f(t_n)\}}_{n\in \mathbb{Z}}\cup {\{\stackrel{?}{f}({\lambda }_k)\}}_{k\in \mathbb{Z}}$ along appropriate slowly increasing sequences ${\{t_n\}}_{n\in \mathbb{Z}}$ and ${\{{\lambda }_n\}}_{n\in \mathbb{Z}}$ tending to ±∞ as $n\to \pm \infty$.     

Gabor systems and almost periodic functions

Inspired by results of Kim and Ron, given a Gabor frame in $L^2(\mathbb{R})$, we determine a non-countable generalized frame for the non-separable space ${\mathit{AP}}_2(\mathbb{R})$ of the Besicovic almost periodic functions. Gabor type frames for suitable separable subspaces of ${\mathit{AP}}_2(\mathbb{R})$ are constructed. We show furthermore that Bessel-type estimates hold for the AP norm with respect to a countable Gabor system using suitable almost periodic norms of sequences.     

Goldman–Turaev formality from the Knizhnik–Zamolodchikov connection

For an oriented 2-dimensional manifold Σ of genus g with n boundary components, the space $\mathbb{C}{\pi }_1(\mathrm{\Sigma })/[\mathbb{C}{\pi }_1(\mathrm{\Sigma }),\mathbb{C}{\pi }_1(\mathrm{\Sigma })]$ carries the Goldman–Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded Lie bialgebra (under the natural filtration) is described by cyclic words in $H_1(\mathrm{\Sigma })$ and carries the structure of a necklace Schedler Lie bialgebra. The isomorphism between these two structures in genus zero has been established in [13] using Kontsevich integrals and in [2] using solutions of the Kashiwara–Vergne problem.In this note, we give an elementary proof of this isomorphism over $\mathbb{C}$. It uses the Knizhnik–Zamolodchikov connection on $\mathbb{C}\backslash \{z_1,\dots z_n\}$. We show that the isomorphism naturally depends on the complex structure on the surface. The proof of the isomorphism for Lie brackets is a version of the classical result by Hitchin [9]. Surprisingly, it turns out that a similar proof applies to cobrackets.Furthermore, we show that the formality isomorphism constructed in this note coincides with the one defined in [2] if one uses the solution of the Kashiwara–Vergne problem corresponding to the Knizhnik–Zamolodchikov associator.