Related papers: Polynomial $2$-monads and delooping

A conjectural recursive relation for the Poincar\'e polynomial of the Hitchin moduli space is derived from wallcrossing in the refined local Donaldson-Thomas theory of a curve. A doubly refined generalization of this theory is also…

We extend Willerton's graphical calculus for bimonads to comodule monads, a monadic interpretation of module categories over a monoidal category. As an application, we prove a version of Tannaka--Krein duality for these structures.

We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local…

We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…

We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined…

The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

In this paper we study the maximal subspaces of continuous n-homogeneous polynomials on complex and real non separable Banach spaces. In the real case we will prove that if P is a 2-homogeneous polynomial and if there exist a k-dimensional…

In this paper we study local cohomology of finitely generated bigraded modules over a standard bigraded ring with respect to the irrelevant bigraded ideals and establish a duality theorem. Several applications are considered.

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…

Let M be a 2n-dimensional Kahler manifold deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface S. Let Mon be the group of automorphisms of the cohomology ring of M, which are induced by monodromy operators.…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…

This paper continues the study of the homotopy theory of algebras over polynomial monads initiated by the first author and Clemens Berger. We introduce the notion of a quasi-tame polynomial monad (generalizing tame ones) and produce…

We establish a dual version of infinite-dimensional Hom-algebras and Hom-modules by using the Sweedler duality construction. Additionally, linear morphisms between infinite-dimensional Hom-algebras (resp. Hom-modules) and Hom-coalgebras…

The representation and the cohomology theory of associative 2-algebras are developed. We study the deformations and abelian extensions of associative 2-algebras in details.

In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a…

We give a proof of a Conjecture of Walker which states that one can recover the lengths of the bars of a circular linkage from the cohomology ring of the configuration space. For a large class of length vectors, this has been shown by…

The Hamiltonian structure of the monodromy preserving deformation equations of Jimbo {\it et al } is explained in terms of parameter dependent pairs of moment maps from a symplectic vector space to the dual spaces of two different loop…