Related papers: Rigidification of connective comodules
We establish a principle of forced geometric irreducibility on product manifolds. We prove that for any product manifold $M=M_1\times M_2$, a cohomologically calibrated affine connection, $\nabla^{\mathcal{C}}$, is necessarily holonomically…
Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky observed a key point to be that each…
An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in…
Let $Y$ be a closed $3$-manifold such that all flat $SU(2)$-connections on $Y$ are $non$-$degenerate$. In this article, we prove a Uhlenbeck-type compactness theorem on $Y$ for stable flat $SL(2,\mathbb{C})$ connections satisfying an…
We study the homotopy type of the harmonic compactification of the moduli space of a 2-cobordism S with one outgoing boundary component, or equivalently of the space of Sullivan diagrams of type S on one circle. Our results are of two…
We use string-net models to accomplish a direct, purely two-dimensional, approach to correlators of two-dimensional rational conformal field theories. We obtain concise geometric expressions for the objects describing bulk and boundary…
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm…
Barton Zwiebach constructed the `string products' on the Hilbert space of combined conformal field theory of matter and ghosts. It is well-known that the `tree level' specialization of these products forms a strongly homotopy Lie algebra. A…
We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…
We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of finite-dimensional continuous unitary representations of G. Let…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
Measuring comodules are defined and shown to provide a useful generalization of the set of maps between modules with a broad range of applications. Three applications are described. Connections on bundles are described in terms of measuring…
Torsion pairs in the category of finitely presented modules over a noetherian ring can be parametrised by the class of cosilting modules. In this paper, we characterise such modules in terms of their indecomposable summands, providing a new…
In this article, we prove new rigidity results for compact Riemannian spin manifolds with boundary whose scalar curvature is bounded from below by a non-positive constant. In particular, we obtain generalizations of a result of Hang-Wang…
In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can…
In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules.…
We give a geometric interpretation of sheaf cohomology for higher degrees n in terms of torsors on the member of degree d=n-1 in hypercoverings of type r=n-2, endowed with an additional data, the so-called rigidification. This generalizes…
We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such…
We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric…
We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…