Related papers: Virtual braid groups of type B and weak categorifi…
We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise…
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ \delta\colon…
The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for…
In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.
We define new notions of groups of virtual and welded knots (or links) and we study their relations with other invariants, in particular the Kauffman group of a virtual knot.
We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show…
We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the…
A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of…
Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincar\'e…
We study the parametrizations of simple modules provided by the theory of basic sets for all finite Weyl groups. In the case of type B, we show the existence of basic sets for the matrices of constructible representations. Then we study…
We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…
We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…
In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element…
There is a natural way to associate with a transformation of an isotopy class of rational tangles to another, an element of the modular group. The correspondence between the isotopy classes of rational tangles and rational numbers follows,…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…
We investigate braid group representations associated with unitary braided vector spaces, focusing on a conjecture that such representations should have virtually abelian images in general and finite image provided the braiding has finite…
We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group…
We give a geometric description of a certain class of epimorphisms between complex reflection groups. We classify these epimorphisms, which can be interpreted as ``morphisms'' between the diagrams symbolizing standard presentations by…
An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…
We construct braided versions $sV_{br}$ of the Brin-Thompson groups $sV$ and prove that they are of type $F_\infty$. The proof involves showing that the matching complexes of colored arcs on surfaces are highly connected.