Related papers: Cyclic A_\infty Structures and Deligne's Conjectur…
Consider a monoidal category which is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty}$-algebra which is $A_{\infty}$-quasi-isomorphic to the derived…
We formulate and prove examples of a conjecture which describes the W-algebras in type A as successive quantum Hamiltonian reductions of affine vertex algebras associated with several hook-type nilpotent orbits. This implies that the affine…
We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…
This paper builds a general framework in which to study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras. This framework is based on noncommutative geometry as expounded by Connes and…
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…
We study the dual cyclic Hochschild complex $Cyc^\bullet(A,\mathbb{K})$ of a (possibly, infinite-dimensional) $A_\infty$-algebra $(A,\mu)$ and prove that any pre-Calabi-Yau extension $\pi$ of the given $A_\infty$ structure $\mu$ in $A$…
We introduce Deligne cohomology that classifies U(1) fibre bundles over 3-manifolds endowed with connections. We show how the structure of Deligne cohomology classes provides a way to perform exact (non-perturbative) computations in U(1)…
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented…
We prove $L_{\infty}$-formality for the higher cyclic Hochschild complex $\chH$ over free associative algebra or path algebra of a quiver. The $\chH$ complex is introduced as an appropriate tool for the definition of pre-Calabi-Yau…
We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…
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…
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…
We exploit a uniform recursive procedure using preferred contractions of targets $C_*$ to construct morphisms $B_* \to C_*$ between chain complexes in a wide variety of situations. Examples include classical Alexander-Whitney and…
We start by clarifying and extending the multibraces notation, which economically describes substitutions of multilinear maps and tensor products of vectors. We give definitions and examples of homotopy algebras, strongly homotopy…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
In this paper, we introduce the notion of cyclic Frobenius algebras (CF-algebras). Canonical structures of CF-algebras exist on associative and Poisson algebras. It turns out that the modern theory of integrable systems yields non-trivial…
We begin the study of a new class of operator algebras that arise from higher rank graphs. Every higher rank graph generates a Fock space Hilbert space and creation operators which are partial isometries acting on the space. We call the…
We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for…
We prove a conjecture of Rouquier relating the decomposition numbers in category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra to Uglov's canonical basis of a higher level Fock space. Independent proofs of this conjecture have…
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We…