Related papers: The third cohomology 2-group
Let G be an n-dimensional crystallographic group (n-space group). If G is a Z-reducible, then the flat n-orbifold E^n/G has a nontrivial fibered orbifold structure. We prove that this structure can be described by a generalized Calabi…
We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this…
We prove that the derived category of a branched double cover is equivalent to a category of matrix factorizations for a fiberwise quadratic potential on the associated line bundle. This requires the linear fiber coordinate to have odd…
We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…
We show that the ordinary cohomology functor from the category of augmented $k$-algebras to itself exchanges coproducts and products, and that Hochschild cohomology is close to sending coproducts to products if the factors are…
As a sequel of Part I, we consider a filtration of Hodge cohomology groups indexed by divisors "at infinity", and prove that they are represented in the category of motives with modulus. In particular, we obtain a realisation functor of the…
We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories,…
Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$,…
We compute the quantum double, braiding and other canonical Hopf algebra constructions for the bicrossproduct Hopf algebra $H$ associated to the factorization of a finite group into two subgroups. The representations of the quantum double…
In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…
Using cohomological methods, we prove a criterion for the embedding of a group extension with abelian kernel into the split extension of a co-induced module. This generalises some earlier similar results. We also prove an assertion about…
For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra…
In this paper, we initiate the study of endomorphisms and modular theory of the graph C*-algebras $\O_{\theta}$of a 2-graph $\Fth$ on a single vertex. We prove that there is a semigroup isomorphism between unital endomorphisms of…
In a Type III degeneration of K3-surfaces the dual graph of the central fibre is a triangulation of the 2-sphere. We realise the tetrahedral, octahedral and especially the icosahedral triangulation in families of K3-surfaces, preferably…
If X is a CW complex, one can assign to each point of X an ordered abelian group of finite rank whose subset of positive elements depends continuously on the points of X. A locally trivial bundle which arises in this way we denote by E(X).…
We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through…
In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…
In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the…
We prove that if $G$ is a finite flat group scheme of $p$ power rank over a perfect field of characteristic $p$, then the second crystalline cohomology of its classifying stack $H^2_{crys}(BG)$ recovers the Dieudonn\'e module of $G$. We…
We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…