arXiv research

The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization, together with its higher-order extensions.

We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between Lie algebra actions on manifolds and transformation Lie algebroids. In particula…

The paper models and deforms A-infinity structures for bordered knot algebras.

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

Introducing Nijenhuis forms on Lie-infinity algebras gives a general frame to understand deformations of the latter. We give here a Nijenhuis interpretation of a deformation of an arbitrary Lie algebroid into a Lie-infinity algebra. Then we show that Nijenhuis forms on Lie-infinity algebras also give a short and effici…

In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded algebra, this contact category algebra has an A-infinity structure, allowing us to comb…

Analytic sets with unique infinite tangent cone are algebraic.

New algebra pong algebra computed for knot Floer homology.

Paper establishes an isomorphism between Fukaya category and bordered knot Floer homology.

Defines tensor products for A-infinity structures using diagonals.

The derived bracket of a Maurer-Cartan element in a differential graded Lie algebra (DGLA) is well-known to define a differential graded Leibniz algebra. It is also well-known that a Lie infinity morphism between DGLAs maps a Maurer-Cartan element to a Maurer-Cartan element. Given a Lie-infinity morphism, a Maurer-elem…

Classifies area-minimizing surfaces in R^4 as algebraic.

We propose a new definition of so called Hamiltonian forms in n-plectic geometry and show that they have a non-trivial Lie infinity-algebra structure.

Study of tangent cones at infinity for algebraic sets.

Complex analytic sets' Lipschitz geometry at infinity characterized.

The Deligne groupoid is a functor from nilpotent differential graded Lie algebras concentrated in positive degrees to groupoids; in the special case of Lie algebras over a field of characteristic zero, it gives the associated simply connected Lie group. We generalize the Deligne groupoid to a functor gamma from L-infin…

In this paper we use continuous family of multisections of the moduli space of pseudo holomorphic discs to partially improve, in the case of real coefficient, the construction of Lagrangian Floer cohomology of which the author developed jointly with Oh-Ohta-Ono. Namely we associate cyclically symmetric filtered A infin…

We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the high…

Given an n-term L-infinity algebra L, we construct a Kan simplicial manifold which we think of as the 'Lie n-group' integrating L. This extends work of Getzler math.AT/0404003 . In the case of an ordinary Lie algebra, our construction gives the simplicial classifying space of the corresponding simply connect Lie group.…

This paper upgrades Khovanov homology to an L-infinity module structure.

Paper proves Koszul duality for weighted A-infinity algebras.

In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with family of metrics.

Theory of ends of spaces using linear algebra.

Several examples of non-compact manifolds $M_0$ whose geometry at infinity is described by Lie algebras of vector fields $V \subset Γ(TM)$ (on a compactification of $M_0$ to a manifold with corners $M$) were studied by Melrose and his collaborators. In math.DG/0201202 and math.OA/0211305, the geometry of manifolds desc…

New algebra structure for Legendrian knots preserves contact homology invariants.

Motivated by families of formal moduli problems, in this note we generalize the notion of L-infinity space by allowing sheaves of L-infinity algebras over any (reasonable) nilpotent dg manifold. We discuss various examples including those coming from Lie algebroids. Given a Lie algebroid, we show that there is an L-inf…

Multisymplectic geometry admits an operation that has no counterpart in symplectic geometry, namely, taking the product of two multisymplectic manifolds endowed with the wedge product of the multisymplectic forms. We show that there is an L-infinity-embedding of the L-infinity-algebra of observables of the individual f…

We study connected sum at infinity on smooth, open manifolds. This operation requires a choice of proper ray in each manifold summand. In favorable circumstances, the connected sum at infinity operation is independent of ray choices. For each m at least 3, we construct an infinite family of pairs of m-manifolds on whic…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group actions on these manifolds, we introduce a theory of homotopy moment maps. Such a…

Invariant for 3-manifolds with torus boundary defined.

Walter Neumann showed that the topology of a ``regular'' algebraic curve V in C^2 is determined up to proper isotopy by some link in S^3 called the link at infinity of V. In this note, we compute the Alexander module over C[t^{\pm 1}] of any such link at infinity.

In the first chapter, we give a precise and general description of gerbes valued in arbitrary crossed module and over an arbitrary differential stack. We do it using only Lie groupoids, hence ordinary differential geometry, by considering differential stacks as being Lie groupoids up to Morita equivalence. We prove the…

We generalize the Schouten calculus of multivector fields to commutative Lie Rinehart pairs and define a non negatively graded Lie oo-algebra on their exterior power.

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such…

An $L_\infty$-algebra is built on symplectic manifold homology.

We construct an algebraic version of Lagrangian Floer homology for immersed curves inside the pillowcase. We first associate to the pillowcase an algebra A. Then to an immersed curve L inside the pillowcase we associate an A infinity module M(L) over A. Then we prove that Lagrangian Floer homology HF(L,L') is isomorphi…

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…

Lie algebroids and curved Lie algebras are equivalent categories.

Functional AD for Weil algebra computations.

For a closed real algebraic plane affine curve dividing its complexification and equipped with a complex orientation, the Whitney number is expressed in terms of behavior of its complexification at infinity.

A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the algebraic and geometric structures found in symplectic geometry should naturally arise i…

We use topological methods to study various semicontinuity properties of spectra of singular points of plane algebraic curves and of polynomials in two variables at infinity. Using Seifert forms and the Tristram--Levine signatures of links, we reprove (in a slightly weaker version) a result obtained by Steenbrink and V…

Paper constructs observables using multisymplectic geometry and algebraic methods.

We define a torus algebra for Heegaard Floer homology.

We describe how to compute topological objects associated to a polynomial map of several complex variables with isolated singularities. These objects are: the affine critical values, the affine Milnor numbers for all irregular fibers, the critical values at infinity, and the Milnor numbers at infinity for all irregular…

The objective of this paper is to determine the finite dimensional, indecomposable representations of the algebra that is generated by two complex structures over the real numbers. Since the generators satisfy relations that are similar to those of the infinite dihedral group, we give the algebra the name iD-infinity.

This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in particular, the notion of a differential graded algebra in the wo…

New algebraic structure derived from Hopf algebra and Drinfel'd twist.