Related papers: Homotopy representations of the unitary groups

The unitary group $\mathrm U(\mathcal H)$ on an infinite dimensional complex Hilbert space $\mathcal H$ in its strong topology is a topological group and has some further nice properties, e.g. it is metrizable and contractible if $\mathcal…

Let G be a discrete group for which the classifying space for proper G-actions is finite-dimensional. We find a space W such that for any such G, the classifying space PBG for proper G-bundles has the homotopy type of the W-nullification of…

Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…

We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$…

In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their…

Let $P^{2n+1}$ be a two-cell complex which is formed by attaching a $(2n+1)$--cell to a $2m$--sphere by a suspension map. We construct a universal space $U$ for $P^{2n+1}$ in the category of homotopy associative, homotopy commutative…

Given any topological group $G$, the topological classification of principal $G$-bundles over a finite CW-complex $X$ is long-known to be given by the set of free homotopy classes of maps from $X$ to the corresponding classifying space…

The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…

Let $H$ be a connected semisimple linear algebraic group defined over $\mathbb C$ and $X$ a compact connected Riemann surface of genus at least three. Let ${\mathcal M}'_X(H)$ be the moduli space parametrising all topologically trivial…

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

For any $n\geq k\geq l\in\mathbb{N},$ let $S(n,k,l)$ be the set of all those non-negative definite matrices $a\in M_{n}(\mathbb{C})$ with $l\leq\text{rank }a\leq k$. Motivated by applications to $C^{*}$-algebra theory, we investigate the…

Groups $\Pi_k(X;\sigma)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $\pi_k(X;p)$ is the limit case for flags $\sigma$ contracted to a point $p$. Calculus of exterior forms with values in…

Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces…

We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under…

Given CW complexes X and Y, let map(X,Y) denote the space of continuous functions from X to Y with the compact open topology. The space map(X,Y) need not have the homotopy type of a CW complex. Here the results of an extensive investigation…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

To every homotopy n-nilpotent group, defined in earlier work by Dwyer and the author, we associate an endofunctor of pointed spaces and prove that it is looped and n-excisive. As a tool we prove that $\Omega P_n({\rm id})$ commutes with…

In their construction of the topological index for flat vector bundles, Atiyah, Patodi and Singer associate to each flat vector bundle a particular $\mathbb{C/Z}$-$K$-theory class. This assignment determines a map, up to weak homotopy, from…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…