arXiv research

In this paper, we introduce the notion of Reidemeister torsion for quasi-isomorphisms of based chain complexes over a field. We call a chain map a quasi-isomorphism if its induced homomorphism between homology is an isomorphism. Our notion of torsion generalizes the torsion of acyclic based chain complexes, and is a ch…

Proofs knot homology connected sums using grid complexes.

It has been shown that the Kakimizu complex of a knot is quasi-isomorphic to $\mathbb{Z}^n$ for some $n \geq 0$. We give a lower bound on $n$, matching the upper bound previously given.

Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.

In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the cohomology of the equivariant multidifferential operators and the complex of equivaria…

In this paper we prove that, in the category of chain complexes, partial algebras can be functorially replaced by quasi-isomorphic algebras. In particular, partial algebras contain all of the important homological and homotopical information that genuine algebras do. Applying this result to McClure's partial algebra in…

Undecidability proved for DG algebras problems.

One of the methods to obtain Frobenius manifold structures is via DGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebra construction. An important problem is how to identify Frobenius manifold structures constructed from two different DGBV algebras. For DGBV algebras with suitable conditions, we show the functori…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original p…

Study shows connection-preserving vector fields are equivalent to certain algebroid structures.

The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space. It …

An algorithm preserves topological features in dimensionality reduction.

New algebra models refine complex manifold homotopy groups.

For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a transverse Kähler structure on such a foliation, then we obtain a nice differential grade…

Model structures on multicomplexes help study complex geometry.

Let M be a compact oriented PL manifold and let C_*M be its PL chain complex. The domain of the chain-level intersection pairing is a subcomplex G of C_*M\otimes C_*M. We prove that G is a "full" subcomplex, that is, the inclusion of G in C_*M \otimes C_*M is a quasi-isomorphism. An analogous result is true for the dom…

The paper proves a generalized inverse function theorem for curved $L_\infty$ spaces.

Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded co…

Unified Morse-Bott-Smale chain complex, resolves well-definedness issue.

We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf.

We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space …

The paper extends Riemann-Hilbert correspondence to foliations.

We compute the double complex of smooth complex-valued differential forms on projective bundles over and blow-ups of compact complex manifolds up to a suitable notion of quasi-isomorphism. This simultaneously yields formulas for 'all' cohomologies naturally associated with this complex (in particular, de-Rham, Dolbeaul…

Authors prove de Rham cohomology of Poisson and Jacobi manifolds is trivial.

Paper establishes loop space T-duality formulae and refines earlier work.

We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…

We describe the construction of an $\mathcal{A}_\infty$ multi-module in terms of counts of holomorphic polygons in a series Heegaard multi-diagrams. We show that this is quasi-isomorphic to the type-A bordered-sutured invariant of a link complement with a view to calculating, in the sequel, these invariants in terms of…

We study consequences and applications of the folklore statement that every double complex over a field decomposes into so-called squares and zigzags. This result makes questions about the associated cohomology groups and spectral sequences easy to understand. We describe a notion of `universal' quasi-isomorphism, inve…

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 …

Extending ideas of Hedden-Ni, we show that the module structure on Khovanov homology detects split links. We also prove an analogue for untwisted Heegaard Floer homology of the branched double cover. Technical results proved along the way include two interpretations of the module structure on untwisted Heegaard Floer h…

This article provides a complete description of the differential Gerstenhaber algebras of all nilpotent complex structures on any real six-dimensional nilpotent algebra. As an application, we classify all pseudo-Kählerian complex structures on six-dimensional nilpotent algebras such that the differential Gerstenhaber a…

We define new differential graded algebras A(n,k,S) in the framework of Lipshitz-Ozsváth-Thurston's and Zarev's strands algebras from bordered Floer homology. The algebras A(n,k,S) are meant to be strands models for Ozsváth-Szabó's algebras B(n,k,S); indeed, we exhibit a quasi-isomorphism from B(n,k,S) to A(n,k,S). We …

Abstract: Generalizes prequantization map for 2-plectic manifolds.

In this paper we prove a useful formula for the graded commutator of the Hodge codifferential with the left wedge multiplication by a fixed $p$-form acting on the de Rham algebra of a Riemannian manifold. Our formula generalizes a formula stated by Samuel I. Goldberg for the case of 1-forms. As first examples of applic…

Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain boundary conditions are proven to be in 1-1 correspondence with representations of …

Given any pair $(L,A)$ of Lie algebroids, we construct a differential graded manifold $(L[1]\oplus L/A,Q)$, which we call Fedosov dg manifold. We prove that the cohomological vector field $Q$ constructed on $L[1]\oplus L/A$ by the Fedosov iteration method arises as a byproduct of the Poincaré--Birkhoff--Witt map establ…

Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small …

Nontrivial Massey products found on compact Kähler manifolds.

We link Ginzburg algebras to Weinstein manifolds and Legendrian knots.

Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson. We do it simplicially in the setting of a filtered version of face sets, also cal…

In this paper we introduce the notion of Poincaré DGCAs of Hodge type, which is a subclass of Poincaré DGCAs encompassing the de Rham algebras of closed orientable manifolds. Then we introduce the notion of the small algebra and the small quotient algebra of a Poincaré DGCA of Hodge type. Using these concepts, we inves…

In this paper we aim to understand the category of stable-Yetter-Drinfeld modules over enveloping algebra of Lie algebras. To do so, we need to define such modules over Lie algebras. These two categories are shown to be isomorphic. A mixed complex is defined for a given Lie algebra and a stable-Yetter-Drinfeld module o…

Torsion sensitive intersection homology was introduced to unify several versions of Poincare duality for stratified spaces into a single theorem. This unified duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. In this paper we consider for…

Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associate…

$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{#1}\poly\big)}\newcommand{\cy}[1]{\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{#1}\poly)}$Kontsevich's formality the…

Inverse function theorem and homotopy description for L-infinity bundles.

The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give…

The paper studies Atiyah classes for Lie algebroid representations and homotopies.