Related papers: The infinitary n-cube shuffle
Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…
In this short note we show that E-infinity quasi-categories can be replaced by strictly commutative objects in the larger category of diagrams of simplicial sets indexed by finite sets and injections. This complements earlier work on…
In this paper, a strategy is developed studying a simplicial commutative algebra A whose zeroth homotopy group is a Noetherian ring B and whose higher homotopy groups are finite over B. The strategy replaces A with a connected simplicial…
We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces are locally modelled on manifold diagrams, which are stratifications of…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
Let $[\rho_{i_k},[\rho_{i_{k-1}},...,[\rho_{i_{1}}, \rho_{i_2}] ...]]$ be an iterated commutator of self-maps $\rho_{i_j} : \Sigma {\Bbb H}P^\infty \to \Sigma {\Bbb H}P^\infty, j = 1,2, ..., k$ on the suspension of the infinite quaternionic…
In this paper, we extend the endoscopic transfer of definite unitary group U(n), which sends a pair of automorphic forms of U(m),U(n) to an automorphic form of U(m+n), to finite slope p-adic automorphic forms for definite unitary groups by…
We show the existence of elements of infinite order in some homotopy groups of the contactomorphism group of overtwisted spheres. It follows in particular that the contactomorphism group of some high dimensional overtwisted spheres is not…
It is shown that there exists a finitely generated infinite simple group of infinite commutator width, and that the commutator width of a finitely generated infinite boundedly simple group can be arbitrarily large. Besides, such groups can…
We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…
Given a finite quandle, we introduce a quandle homotopy invariant of knotted surfaces in the 4-sphere, modifying that of classical links. This invariant is valued in the third homotopy group of the quandle space, and is universal among the…
For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of…
We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…
A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for…
A $\lambda$-quiddity of size $n$ is an $n$-tuple of elements from a fixed set, which is a solution to a matrix equation that arises in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion…
We extend the former results of Ganea and the two of the authors with Takeda on the homotopy commutativity of the loop spaces of Hermitian symmetric spaces such that the loop spaces of all irreducible symmetric spaces but $\mathbb{C}P^3$…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We explore finitely generated groups by studying the nilpotent towers and the various Lie algebras attached to such groups. Our main goal is to relate an isomorphism extension problem in the Postnikov tower to the existence of certain…
We show that a set with an action of a locally finite-dimensional free partially commutative monoid and the corresponding semicubical set have isomorpic homology groups. We build a complex of finite length for the computing homology groups…
The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations…