arXiv research

In this paper, we study the formal solution space of a nonlinear PDE in a fiber bundle. To this end, we start with foundational material and introduce the notion of a pfd structure to build up a new concept of profinite dimensional manifolds. We show that the infinite jet space of the fiber bundle is a profinite dimens…

Paper constructs solutions for a class of overdetermined systems.

Deform quantization recovers scalar curvature in complex structures.

Holomorphic bundles on complex manifolds with boundary are studied, extending results from Donaldson's work.

New configuration space integrals show nontrivial formal smooth structures on 4-manifold bundles.

For several classes of second order dispersionless PDEs, we show that the symbols of their formal linearizations define conformal structures which must be Einstein-Weyl in 3D (or self-dual in 4D) if and only if the PDE is integrable by the method of hydrodynamic reductions. This demonstrates that the integrability of t…

The paper extends Newlander-Nirenberg theorem to domains with $C^2$ boundary.

Unified CR-twistor spaces for $G_2$ and $Spin(7)$ structures.

Study h-principles for non-integrable distributions on manifolds.

Formalizes quantum path integrals using groupoids and differential forms.

We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equa…

Some years ago Moshé Flato pointed up that it could be interesting to develop the Nambu's idea to generalize Hamiltonian mechanic. An interesting new formalism in that direction was proposed by T. Takhtajan. His theory gave new perspectives concerning deformation quantization, and many authors have developed its mathem…

New curvature equations obstruct integrability of complex structures.

Study differential and integral calculus on noncommutative C*-algebras.

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

A general theory of quantum spinor structures on quantum spaces is presented, within the conceptual framework of the formalism of quantum principal bundles. Quantum analogs of all basic objects of the classical theory are constructed and analyzed. This includes Laplace and Dirac operators, quantum versions of Clifford …

In this paper we present some approaches to classification of almost complex structures and to construction of local or formal pseudoholomorphic mapping from one almost complex manifold to another. The corresponding criteria are given in terms of Nijenhuis tensors and their generalizations. We deal with the prolongatio…

We address the integrability conditions of the inverse problem of the calculus of variations for time-dependent SODE using the Spencer version of the Cartan-Kähler theorem. We consider a linear partial differential operator $P$ given by the two Helmholtz conditions expressed in terms of semi-basic 1-forms and study its…

Solves division problem for L. Hörmander's systems.

We review localization techniques for functional integrals which have recently been used to perform calculations in and gain insight into the structure of certain topological field theories and low-dimensional gauge theories. These are the functional integral counterparts of the Mathai-Quillen formalism, the Duistermaa…

Lectures on symplectic and Poisson geometry, quantization, and quantum field theory.

This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative version of integration procedure, the notion of adjoint operator, Green's formu…

Formalizes integral curves on Banach manifolds in Lean.

Integrates C-bracket and Vaisman algebroid structures in double field theory.

Integrates Manin pairs to simplify Poisson and symplectic groupoid constructions.

Study non-formal pseudo-differential operators over formal ones.

We study finite-dimensional integrals in a way that elucidates the mathematical meaning behind the formal manipulations of path integrals occurring in quantum field theory. This involves a proper understanding of how Wick's theorem allows one to evaluate integrals perturbatively, i.e., as a series expansion in a formal…

Explores local structure of morphisms and formal submanifolds in formal manifolds theory.

We establish a rigorous link between infinite-dimensional regular Frölicher Lie groups built out of non-formal pseudodifferential operators and the Kadomtsev-Petviashvili hierarchy. We introduce a version of the Kadomtsev-Petviashvili hierarchy on a regular Frölicher Lie group of series of non-formal odd-class pseudodi…

Continuing the work started in Part I and II of this series (see q-alg/9706004 and math.QA/9801049), we prove the relationship between the Aarhus integral and the invariant $Ω$ (henceforth called LMO) defined by T.Q.T. Le, J. Murakami and T. Ohtsuki in q-alg/9512002. The basic reason for the relationship is that both c…

These are notes on the theory of supermanifolds and integration on them, aiming to collect results that are useful for a better understanding of superstring perturbation theory in the RNS formalism.

We briefly recall the history of the Nijenhuis torsion of (1,1)-tensors on manifolds and of the lesser-known Haantjes torsion. We then show how the Haantjes manifolds of Magri and the symplectic-Haantjes structures of Tempesta and Tondo generalize the classical approach to integrable systems in the bi-hamiltonian and s…

We geometrically describe optimal control problems in terms of Morse families in the Hamiltonian framework. These geometric structures allow us to recover the classical first order necessary conditions for optimality and the starting point to run an integrability algorithm. Moreover the integrability algorithm is adapt…

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 …

We find a minimal differential graded (dg) operad whose generic representations in $R^n$ are in one-to-one correspondence with formal germs of those endomorphisms of the tangent bundle to $R^n$ which satisfy the Nijenhuis integrability condition. This operad is of a surprisingly simple origin -- it is the cobar constru…

Study of deformed Bott-Chern cohomology on complex manifolds.

New method linearizes Darboux transformations of discrete curves.

We formulate a kinematical extension of Double Field Theory on a $2d$-dimensional para-Hermitian manifold $(\mathcal{P},η,ω)$ where the $O(d,d)$ metric $η$ is supplemented by an almost symplectic two-form $ω$. Together $η$ and $ω$ define an almost bi-Lagrangian structure $K$ which provides a splitting of the tangent bu…

In this paper we review the recently proposed path-integral counterpart of the Koopman-von Neumann operatorial approach to classical Hamiltonian mechanics. We identify in particular the geometrical variables entering this formulation and show that they are essentially a basis of the cotangent bundle to the tangent bund…

In this paper, we start from an extension of the notion of holonomy on diffeological bundles, reformulate the notion of regular Lie group or Frölicher Lie groups, state an Ambrose-Singer theorem that enlarges the one stated in \cite{Ma2}, and conclude with a differential geometric treatment of KP hierarchy. The example…

A Jet groupoid R_q over a manifold X is a special Lie groupoid consisting of q-jets of local diffeomorphisms from X to X. As a subbundle of the q-th order jet bundle of the trivial bundle X times X, a jet groupoid can be considered as a nonlinear system of partial differential equations (PDE). This leads to the concept…

In this note we discuss some formal properties of universal linearization operator, relate this to brackets of non-linear differential operators and discuss application to the calculus of auxiliary integrals, used in compatibility reductions of PDEs.

Develops a new framework for integrating satellite allocations in small portfolios.

Convolution operations designed for graph-structured data usually utilize the graph Laplacian, which can be seen as message passing between the adjacent neighbors through a generic random walk. In this paper, we propose PAN, a new graph convolution framework that involves every path linking the message sender and recei…

Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of symmetric non-metric connections are presented.

In this paper we study quasi-linear system of partial differential equations which describes the existence of the polynomial in momenta first integral of the integrable geodesic flow on 2-torus. We proved in [3] that this is a semi-Hamiltonian system and we show here that the metric associated with the system is a metr…

Study of complex structures on Courant algebroids, linking to Poisson structures.

The purpose of this paper is to show that, at least for Lagrangians of mechanical type, nonholonomic Euler-Lagrange equations for a nonholonomic linear constraint D may be viewed as non-constrained Euler-Lagrange equations but on a new (generally not Lie) algebroid structure on D. The proposed novel formalism allows us…