Related papers: Tangle Floer homology and cobordisms between tangl…
We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…
Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…
A smooth closed 3-manifold $M$ fibered by tori $T^2$ is characterized by an element $\phi \in GL(2,\mathbb{Z})$. We show that $M$ is the boundary of a 4-manifold fibered by tori over a surface such that the bundle structure on $M$ is the…
The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is…
In this paper we study the topology of cobordism categories of manifolds with corners. Specifically, if {Cob}_{d,<k>} is the category whose objets are a fixed dimension d, with corners of codimension less than or equal to k, then we…
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…
We demonstrate an isomorphism between the homology of the strand algebra of bordered Floer homology, and the category algebra of the contact category introduced by Honda. This isomorphism provides a direct correspondence between various…
For closed 3-manifolds, Heegaard Floer homology is related to the Thurston norm through results due to Ozsv\'ath and Szab\'o, Ni, and Hedden. For example, given a closed 3-manifold Y, there is a bijection between vertices of the HF^+(Y)…
Starting from an abelian group $G$ and a factorizable ribbon Hopf $G$-bialgebra $H$, we construct a TQFT $J_H$ for connected framed cobordisms between connected surfaces with connected boundary decorated with cohomology classes with…
In a previous paper, V\'ertesi and the first author used grid-like Heegaard diagrams to define tangle Floer homology, which associates to a tangle $T$ a differential graded bimodule $\widetilde{\mathrm{CT}} (T)$. If $L$ is obtained by…
We give a finite presentation of the cobordism symmetric monoidal bicategory of (smooth, oriented) closed manifolds, cobordisms and cobordisms with corners as an extension of the bicategory of closed manifolds, cobordisms and…
We construct cobordism maps for the \textit{minus} version of instanton knot homology associated to a \textit{specially decorated} knot cobordisms of arbitrary genus between two null-homologous knots in closed oriented $3$-manifolds. As an…
The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an…
We compute the stable cohomology groups of the mapping class groups of compact orientable surfaces with one boundary, with twisted coefficients given by the homology of the unit tangent bundle of the surface. This stable twisted cohomology…
We perform two explicit computations of bordered Heegaard Floer invariants. The first is the type D trimodule associated to the trivial S^1 bundle over the pair of pants P. The second is a bimodule that is necessary for self-gluing, when…
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…
We construct the vortex Floer homology group $VHF (M,\mu;H)$ for an aspherical Hamiltonian $G$-manifold $(M, \omega)$ with moment map $\mu$ and a class of $G$-invariant Hamiltonian loop $H_t$, following the proposal of [3]. This is a…
In this paper, we introduce a category of graded commutative rings with certain algebraic morphisms, to investigate the cobordism category of plumbed 3-manifolds. In particular, we define a non-associative distributive algebra that gives…