arXiv research

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

Homotopy equivalence between formalities with different covariant derivatives.

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

The paper connects connections on sheaves to an $L_{\infty}$ morphism lifting semiregularity maps.

Homotopy momentum map extends Noether's theorem in general relativity.

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…

We solve higher-order morphisms for twisted Courant algebras.

Quantizes the relationship between Koszul and Schouten brackets in Poisson geometry.

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…

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…

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

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…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent pa…

We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic structures on L-infinity spaces, and examine in some detail the example of derived loop…

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…

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…

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

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.…

Deep neural networks (DNNs) are known vulnerable to adversarial attacks. That is, adversarial examples, obtained by adding delicately crafted distortions onto original legal inputs, can mislead a DNN to classify them as any target labels. In a successful adversarial attack, the targeted mis-classification should be ach…

New algebra structure for Legendrian knots preserves contact homology invariants.

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 establish a higher generalization of super L-infinity-algebraic T-duality of super WZW-terms for super p-branes. In particular, we demonstrate spherical T-duality of super M5-branes propagating on exceptional-geometric 11d super spacetime.

Field Theories in Physics can be formulated giving a local Lagrangian density. Locality is imposed using the infinite jet bundle. That bundle is viewed as a pro-finite dimensional smooth manifold and that point of view has been compared to different topological and Frechét structures on it. A category of local (insular…

Study on deformations of Lie groupoid morphisms and their properties.

Defines and partially characterizes p symphonic morphisms.

The paper studies deformations of Lie ideals in Lie algebras.

The paper explores new algebraic structures and morphisms in graded settings.

In this article we introduce conformal Riemannian morphisms. The idea of conformal Riemannian morphism generalizes the notions of an isometric immersion, a Riemannian submersion, an isometry, a Riemannian map and a conformal Riemannian map. We show that every injective conformal Riemannian morphism is an injective conf…

Improved training boosts certified robustness of L-infinity distance nets.

We show that thick morphisms (or microformal morphisms) between smooth (super)manifolds, introduced by us before, are classical limits of `quantum thick morphisms' defined here as particular oscillatory integral operators on functions.

We study the behavior of the modular class of a Lie algebroid under general Lie algebroid morphisms by introducing the relative modular class. We investigate the modular classes of pull-back morphisms and of base-preserving morphisms associated to Lie algebroid extensions. We also define generalized morphisms, includin…

P. Baird and the second author studied harmonic morphisms from a three-dimensional simply-connected space form to a surface and obtained a complete local and global classification of them. In this paper, we obtain a description of all harmonic morphisms from any three-dimensional Euclidean and spherical space form to a…

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…

We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We prove some basic results concerning completeness of Cartan connections. We provide…

The paper extends symplectomorphism quasi-morphisms to the entire disk group.

A graphical calculus for microformal morphisms simplifies complex operations in classical and quantum physics.

Identifies images of determinant morphism for specific co-Higgs bundles.

We study quasi-morphisms on the groups Pn of pure braids on n strings and on the group D of compactly supported area-preserving diffeomorphisms of an open two-dimensional disc. We show that it is possible to build quasi-morphisms on Pn by using knot invariants which satisfy some special properties. In particular, we st…

We give an explicit formula, as a formal differential operator, for quantum microformal morphisms of (super)manifolds that we introduced earlier. Such quantum microformal morphisms are essentially oscillatory integral operators or Fourier integral operators of a particular kind. They act on oscillatory wave functions, …

Characterizes harmonic morphisms preserving minimal submanifolds and finds novel area-minimising hypercones.

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

We propose a definition of Jacobi quasi-Nijenhuis algebroid and show that any such Jacobi algebroid has an associated quasi-Jacobi bialgebroid. Therefore, also an associated Courant-Jacobi algebroid is obtained. We introduce the notions of quasi-Jacobi bialgebroid morphism and Courant-Jacobi algebroid morphism providin…

Harmonic morphisms are maps between Riemannian manifolds that pull back harmonic functions to harmonic functions. These maps are characterized as horizontally weakly conformal harmonic maps and they have many interesting links and applications to several areas in mathematics (see the book by Baird and Wood for details)…

Pluriharmonic maps form an important class of harmonic maps which includes holomorphic maps. We study their morphisms, in particular the inter-relationships between $(1,1)$-geodesic, pluriharmonic and $\pm$holomorphic maps. Then we characterise pluriharmonic morphisms between Hermitian manifolds. We make a special stud…

"Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky algebras. It was clear from the start that constructions used for thick morphism…

Constructs explicit harmonic functions and morphisms on complex and quaternionic Grassmannians.

We prove that harmonic morphisms preserve the Jacobi operator along harmonic maps. We apply this result to prove infinitesimal and local rigidity (in the sense of Toth) of harmonic morphisms to a sphere.