Related papers: The third cohomology 2-group

An example of a finite dimensional factorizable ribbon Hopf C-algebra is given by a quotient H=u_q(g) of the quantized universal enveloping algebra U_q(g) at a root of unity q of odd degree. The mapping class group M_{g,1} of a surface of…

The topological classification of gerbes, as principal bundles with the structure group the projective unitary group of a complex Hilbert space, over a topological space $H$ is given by the third cohomology $\text{H}^3(H, \Bbb Z)$. When $H$…

In this paper we study the structure of the rational cohomology groups of the IA-automorphism group $\mathrm{IA}_3$ of a free group of rank three by using combinatorial group theory and representation theory. In particular, we detect…

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an…

We study the existence problem and the enumeration problem for sections of Serre fibrations over compact orientable surfaces. When the fundamental group of the fiber is finite, a complete solution is given in terms of 2-dimensional…

A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction…

In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$…

Given a fibration of simply connected CW complexes of finite type, we study the evaluation subgroup of the fibre inclusion as an invariant of fibre-homotopy type. For spherical fibrations, we show the evaluation subgroup may be expressed as…

A group $\Gamma$ has separable cohomology if the profinite completion map $\iota \colon \Gamma \to \widehat{\Gamma}$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is…

For a finite smooth algebraic group $F$ over a field $k$ and a smooth algebraic group $\bar G$ over the separable closure of $k$, we define the notion of $F$-kernel in $\bar G$ and we associate to it a set of nonabelian 2-cohomology. We use…

The mod 2 cohomology algebra of the holomorph of any finite cyclic group whose order is a power of 2 is determined.

We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…

This paper is devoted to the proof of a structural theorem, concerning certain homomorphic images of Artin braid group on $n$ strands in finite symmetric groups. It is shown that any one of these permutation groups is an extension of the…

In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…

The orbifold braid groups of two dimensional orbifolds were defined in [1] (arXiv:math/9907194) to understand certain Artin groups as subgroups of some suitable orbifold braid groups. We studied orbifold braid groups in some more detail in…

In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix $U=(\xymatrix{1 & 1 0 & 1})$, of some matrices representing the conjugacy classes of those elements of $SL(2,Z)$ arising as the…

The classification problem for principal fibre bundles over two-dimensional CW-complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the…

This is the first paper of a three-part series in which we develop a theory of conformal blocks for $C_2$-cofinite vertex operator algebras (VOAs) that are not necessarily rational. The ultimate goal of this series is to prove a…

Motivated by classical facts concerning closed manifolds, we introduce a strong finiteness property in K-homology. We say that a C*-algebra has uniformly summable K-homology if all its K-homology classes can be represented by Fredholm…

Geometrization theorem, fibered case: Every three-manifold that fibers over the circle admits a geometric decomposition. Double limit theorem: for any sequence of quasi-Fuchsian groups whose controlling pair of conformal structures tends…