arXiv research

A formula connects two algebraic structures derived from a category.

Given an action of a Lie group on a smooth manifold, we discuss the induced action on the Hochschild cohomology of smooth functions, and notions of invariance on this space. Depending on whether one considers invariance of cochains or invariance of cohomology classes, two different spaces of invariants arise. We perfor…

Given an n-manifold M and an n-category C, we define a chain complex (the "blob complex") B_*(M;C). The blob complex can be thought of as a derived category analogue of the Hilbert space of a TQFT, and as a generalization of Hochschild homology to n-categories and n-manifolds. It enjoys a number of nice formal properti…

Abstract: Mapping class groups act on cohomology of surfaces via Hochschild cohomology.

Global homotopies upgrade classical map in differential geometry.

In this note we define a notion of Courant pair as a Courant algebra over the Lie algebra of linear derivations on an associative algebra. We study formal deformations of Courant pairs by constructing a cohomology bicomplex with coefficients in a module from the cochain complexes defining Hochschild cohomology and Leib…

We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.

Let $G$ be a group and $N$ be a normal subgroup of $G$. There exists the group extension $G$ of $G/N$ by $N$. For a $G$-module $A$ which $N$ acts on trivially and a $G$-invariant homomorphism on $N$ to $A$, we obtain a central extension of $G/N$ by $A$. By using connection cochains, we exhibit the formula of its extens…

This paper extends a category equivalence to an A-infinity quasi-equivalence for compact Lie groups.

In this paper we consider deformations of an algebroid stack on an etale groupoid. We construct a differential graded Lie algebra (DGLA) which controls this deformation theory. In the case when the algebroid is a twisted form of functions we show that this DGLA is quasiisomorphic to the twist of the DGLA of Hochschild …

Constructs a cyclic, filtered, strictly unital curved $A_{\infty}$ category for Lagrangian submanifolds and develops Floer theory.

We show that a model of chain complex of the free loop space of a $C^\infty$-manifold, which is proposed in arxiv:1404.0153, admits an action of a certain dg operad. This is a chain level structure under the Chas-Sullivan BV structure on loop space homology. Our dg operad is a variant of the cacti operad, and we introd…

The aim of this paper is to explain the relationship between the (co)homology of the free loop space and the Hochschild homology of its singular cochain algebra. We introduce all the relevant technical tools, namely simplicial and cyclic objects, and we provide the various steps of the proofs, which are scattered aroun…

The paper discusses $q$-deformations of the Aomoto complex.

Study Hochschild cohomology of dg manifolds linked to integrable distributions.

Geometrically interprets a duality theorem linking cochain and chain complexes.

Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $φ$ ({\rm i.e.} morphism of co…

Paper constructs Thom-Smale complex using instantons from Morse functions.

In this paper, a new higher Hochschild Complex is defined with an Iterated Integral map to locally model differential forms on the space of bigons on $M$. In particular, given the local data for a gerbe with structure 2-group given by a crossed module of matrix-groups, there is an element in our curved zigzag Hochschil…

Novel cohomology theories for operadic algebras and spaces.

We trade matrix factorizations and Koszul complexes for Hochschild homology of Soergel bimodules to modify the construction of triply-graded link homology and relate it to Kazhdan-Lusztig theory.

We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral sequence of the length filtration of a Hochschild chain complex. $A_\infty$-structu…

Maps geometric deformations to algebraic classes in Lie groupoids and algebroids.

New mapping class group actions on Hochschild complexes for modular categories.

New complexes derived from any filtered cochain complex compute the same cohomology.

Given a Heegaard splitting of a closed 3-manifold, the skein modules of the two handlebodies are modules over the skein algebra of their common boundary surface. The zeroth Hochschild homology of the skein algebra of a surface with coefficients in the tensor product of the skein modules of two handlebodies is interpret…

VB-groupoids define a special class of Lie groupoids which carry a compatible linear structure. In this paper, we show that their differentiable cohomology admits a refinement by considering the complex of cochains which are k-homogeneous on the linear fiber. Our main result is a Van Est theorem for such cochains. We a…

The abstract describes a strategy to construct reduced Khovanov homology for links in lens spaces.

The paper computes KV cochain differentials and their geometric implications.

We summarize our axioms for higher categories, and describe the blob complex. Fixing an n-category C, the blob complex associates a chain complex B_*(W;C)$ to any n-manifold W. The 0-th homology of this chain complex recovers the usual topological quantum field theory invariants of W. The higher homology groups should …

New stable homotopy refinement of quantum annular Khovanov homology.

We elaborate on an idea of M. Abouzaid of equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an $A_\infty$-algebra. This is a variation on K. Fukaya's definition of Morse-$A_\infty$-categories for closed oriented manifolds involving families of Morse funct…

Seidel and Smith have constructed an invariant of links as the Floer cohomology for two Lagrangians inside a complex affine variety Y. This variety is the intersection of a semisimple orbit with a transverse slice at a nilpotent in the Lie algebra $sl_{2m}.$ We exhibit bijections between a set of generators for the Sei…

The associator of a non-associative algebra is the curvature of the Hochschild quasi-complex. The relationship ``curvature-associator'' is investigated. Based on this generic example, we extend the geometric language of vector fields to a purely algebraic setting, similar to the context of Gerstenhaber algebras. We int…

The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyc…

We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other …

Develops combinatorial theory of vector bundles on simplicial complexes.

We show that a spectral sequence developed by Lipshitz and Treumann, for application to Heegaard Floer theory, converges to a localized form of topological Hochschild homology with coefficients. This allows us to show that the target of this spectral sequence can be identified with Hochschild homology when the topologi…

Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices (endowed with the compact-open topology) defines a continuous real function. We pr…

We define a "circle Euler characteristic" of a circle action on a compact manifold or finite complex X. It lies in the first Hochschild homology group of ZG where G is the fundamental group of X. It is analogous in many ways to the ordinary Euler characteristic. One application is an intuitively satisfying formula for …

Short note observes quantum Hochschild homology as a composition of known operations.

This paper generalizes Bismut's equivariant Chern character to the setting of abelian gerbes. In particular, associated to an abelian gerbe with connection, an equivariantly closed differential form is constructed on the space of maps of a torus into the manifold. These constructions are made explicit using a new local…

In this paper we develop several algebraic structures on the simplicial cochains of a triangulated manifold that are analogues of objects in differential geometry. We study a cochain product and prove several statements about its convergence to the wedge product on differential forms. Also, for cochains with an inner p…

New method compares geometric and standard cup products.

We compare two different types of mapping class invariants: the Hochschild homology of an $A_\infty$ bimodule coming from bordered Heegaard Floer homology, and fixed point Floer cohomology. We first compute the bimodule invariants and their Hochschild homology in the genus two case. We then compare the resulting comput…

We compute the Hochschild-Kostant-Rosenberg decomposition of the Hochschild cohomology of generalised Grassmannians, i.e. partial flag varieties associated to maximal parabolic subgroups in a simple algebraic group. We explain how the decomposition is concentrated in global sections for so-called (co)minuscule and (co)…

We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result …

We characterize Lie group actions for which there exists, at least locally, an evaluation map that defines a cochain map from the differential complex of invariant forms on a manifold to the De Rham complex for the quotient.