Related papers: The third cohomology 2-group

We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class…

We compare three different ways of defining group cohomology with coefficients in a crossed-module: 1) explicit approach via cocycles; 2) geometric approach via gerbes; 3) group theoretic approach via butterflies. We discuss the case where…

This paper links the third symmetric cohomology (introduced by Staic and Zarelua ) to crossed modules with certain properties. The equivalent result in the language of 2-groups states that an extension of 2-groups corresponds to an element…

For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…

We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions…

We give an algebraic proof for the result of Eilenberg and Mac Lane that the second cohomology group of a simplicial group G can be computed as a quotient of a fibre product involving the first two homotopy groups and the first Postnikov…

The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…

It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the…

Let $\mathcal{C}$ be a representable 2-category, and $\mathfrak{T}_\bullet$ a 2-endofunctor of the arrow 2-category $\mathcal{C}^\downarrow$ such that (i) $\mathsf{cod} \mathfrak{T}_\bullet = \mathsf{cod}$ and (ii) $\mathfrak{T}_\bullet$…

Superconformal indices of four-dimensional $\mathcal{N}=1$ gauge theories factorize into holomorphic blocks. We interpret this as a modular property resulting from the combined action of an $SL(3,\mathbb{Z})$ and $SL(2,\mathbb{Z})\ltimes…

We prove cocontinuity of the $\max$-tensor product of C*-categories and develop a framework to perform factorization homology in a C*-setting. In such context, we specialize some results of D. Ben-Zvi, A. Brochier and D. Jordan. As a…

It was observed recently that for a fixed finite group $G$, the set of all Drinfeld centres of $G$ twisted by 3-cocycles form a group, the so-called group of modular extensions (of the representation category of $G$), which is isomorphic to…

We further develop Weber's notion of elementary 2-topos by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opfibration (DOF) classifier" S is always an internal elementary 1-topos, in an…

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…

For a triple $(G,A,\kappa)$ (where $G$ is a group, $A$ is a $G$-module and $\kappa:G^3\to A$ is a 3-cocycle) and a $G$-module $B$ we introduce a new cohomology theory $_2H^n(G,A,\kappa;B)$ which we call the secondary cohomology. We give a…

In this paper we deal with compactifications of affine homology $3$-cells into quadric fibrations such that the boundary divisors contain fibers. We show that all such affine homology $3$-cells are isomorphic to the affine $3$-space…

We introduce a cohomology theory for spatial super- product systems and compute the $2-$cocycles for some basic examples called as Clifford super-product systems, thereby distinguish them up to isomorphism. This consequently proves that a…

This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

In this work we use our previous results on the topological classification of generic singular foliation germs on $(\mathbb C^{2},0)$ to construct complete families: after fixing the semi-local topological invariants we prove the existence…