Homological Epimorphisms of Differential Graded Algebras

Let R and S be differential graded algebras. In this paper we give a characterisation of when a differential graded R-S-bimodule M induces a full embedding of derived categories M\otimes - :D(S)--> D(R). In particular, this characterisation generalises the theory of Geigle and Lenzing's homological epimorphisms of rings. Furthermore, there is an application of the main result to Dwyer and Greenlees's Morita theory.Comment: 14 page

Full abstraction for fair testing in CCS

In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully abstract for fair testing equivalence. The proof relies on a new algebraic notion called playground, which represents the 'rule of the game'. From any playground, two languages, equipped with labelled transition systems, are derived, as well as a strong, functional bisimulation between them.Comment: 15 pages, to appear in CALCO '13. To appear Lecture notes in computer science (2013

2-Vector Spaces and Groupoids

This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation--a weak functor--from Span(Gpd) (the bicategory of groupoids and spans of groupoids) into 2Vect. In this paper we prove this and give the construction in detail.Comment: 44 pages, 5 figures - v2 adds new theorem, significant changes to proofs, new sectio

Open-closed TQFTs extend Khovanov homology from links to tangles

We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of an oriented tangle, we construct a chain complex whose homology is invariant under Reidemeister moves. The terms of this chain complex are modules of a suitable algebra A such that there is one action of A or A^op for every boundary point of the tangle. We give examples of such algebras A for which our tangle homology theory reduces to the link homology theories of Khovanov, Lee, and Bar-Natan if it is evaluated for links. As a consequence of the Cardy condition, Khovanov's graded theory can only be extended to tangles if the underlying field has finite characteristic. In all cases in which the algebra A is strongly separable, i.e. for Bar-Natan's theory in any characteristic and for Lee's theory in characteristic other than 2, we also provide the required algebraic operation for the composition of oriented tangles. Just as Khovanov's theory for links can be recovered from Lee's or Bar-Natan's by a suitable spectral sequence, we provide a spectral sequence in order to compute our tangle extension of Khovanov's theory from that of Bar-Natan's or Lee's theory. Thus, we provide a tangle homology theory that is locally computable and still strong enough to recover characteristic p Khovanov homology for links.Comment: 56 pages, LaTeX2e with xypic and pstricks macro

Gr\"obner-Shirshov bases for LL-algebras

In this paper, we firstly establish Composition-Diamond lemma for $\Omega$-algebras. We give a Gr\"{o}bner-Shirshov basis of the free $L$-algebra as a quotient algebra of a free $\Omega$-algebra, and then the normal form of the free $L$-algebra is obtained. We secondly establish Composition-Diamond lemma for $L$-algebras. As applications, we give Gr\"{o}bner-Shirshov bases of the free dialgebra and the free product of two $L$-algebras, and then we show four embedding theorems of $L$-algebras: 1) Every countably generated $L$-algebra can be embedded into a two-generated $L$-algebra. 2) Every $L$-algebra can be embedded into a simple $L$-algebra. 3) Every countably generated $L$-algebra over a countable field can be embedded into a simple two-generated $L$-algebra. 4) Three arbitrary $L$-algebras $A$, $B$, $C$ over a field $k$ can be embedded into a simple $L$-algebra generated by $B$ and $C$ if $|k|\leq \dim(B*C)$ and $|A|\leq|B*C|$, where $B*C$ is the free product of $B$ and $C$.Comment: 22 page

Algebra Structures on Hom(C,L)

We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of such algebras

Higher Descent Data as a Homotopy Limit

We define the 2-groupoid of descent data assigned to a cosimplicial 2-groupoid and present it as the homotopy limit of the cosimplicial space gotten after applying the 2-nerve in each cosimplicial degree. This can be applied also to the case of $n$-groupoids thus providing an analogous presentation of "descent data" in higher dimensions.Comment: Appeared in JHR