Related papers: Homotopy of state orbits
For almost finite groupoids, we study how their homology groups reflect dynamical properties of their topological full groups. It is shown that two clopen subsets of the unit space has the same class in H_0 if and only if there exists an…
We compute the second (and the first) cohomology groups of $^*$-algebras associated to the universal quantum unitary groups of not neccesarily Kac type, extending our earlier results for the free unitary group $U_d^+$. The extended setup…
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…
Chekanov showed that the Hofer norm on the Hamiltonian diffeomorphism group of a geometrically bounded symplectic manifold induces a nondegenerate metric on the orbit of any compact Lagrangian submanifold under the group. In this paper we…
Let L be the free m-generated metabelian nilpotent of class c Lie algebra over a field of characteristic 0. An automorphism f of L is called normal if f(I)=I for every ideal I of the algebra L. Such automorphisms form a normal subgroup N(L)…
Let \hat{S} be the algebraic universal cover of a closed surface of genus >1, T(\hat{S}) its Teichmuller space, M(\hat{S}) the group of mapping classes stabilizing a fixed leaf l. The L^1 Ehrenpreis conjecture asserts that M(\hat{S}) on…
Let $M=G/H$ be a compact, simply connected, Riemannian homogeneous space, where $G$ is (almost) effective and $H$ is a simple Lie group. In this paper, we first classify all $G$-naturally reductive metrics on $M$, and then all $G$-geodesic…
We study the $\mathbb{Z}_2$-homology groups of the orbit space $X_n = G_{n,2}/T^n$ for the canonical action of the compact torus $T^n$ on a complex Grassmann manifold $G_{n,2}$. Our starting point is the model $(U_n, p_n)$ for $X_n$…
Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…
Given two unital C*-algebras $A$ and $B$, we study, when it exists, the universal unital $C^*$-algebra $\mathcal{U}(A,B)$ generated by the coefficients of a unital $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. When $B$…
Motivated by the study of von Neumann regular skew groups as carried out by Alfaro, Ara and del Rio in 1995 we investigate regular and biregular Hopf module algebras. If $A$ is an algebra with an action by an affine Hopf algebra $H$, then…
The geometric Hopf invariant of a stable map F is a stable Z_2-equivariant map h(F) such that the stable Z_2-equivariant homotopy class of h(F) is the primary obstruction to F being homotopic to an unstable map. In this paper we express the…
Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following:…
Let $(\mathcal{M}, Q)$ be a dg manifold. The space of vector fields with shifted degrees $(\mathcal{X}(\mathcal{M})[-1], L_Q)$ is a Lie algebra object in the homology category $\mathrm{H}((C^{\infty}_{\mathcal{M}},Q)\mathrm{-}\mathbf{mod})$…
The general construction of self-adjoint configuration space representations of the Heisenberg algebra over an arbitrary manifold is considered. All such inequivalent representations are parametrised in terms of the topology classes of flat…
In this paper it is investigated whether various shape homology theories satisfy the Universal Coefficients Formula (UCF). It is proved that pro-homology and strong homology satisfy UCF in the class FAB of finitely generated abelian groups,…
The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
Consider the configuration spaces of manifolds. An influential theorem of McDuff, Segal and Church shows that the (co)homology of the unordered configuration space is independent of number of points in a range of degree called the stable…
Let $Z$ be a smooth compact $(n+1)$-manifold. We study smooth embeddings and immersions $\beta: M \to Z$ of compact or closed $n$-manifolds $M$ such that the normal line bundle $\nu^\beta$ is trivialized. For a fixed $Z$, we introduce an…