A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Foundations laid for formal manifolds in differential geometry.
New algebraic formalism for differential calculus in Diolic algebras.
Extends differential calculus to triole algebras.
Solves differentiation for Lie ∞-groups using formal groupoids.
We prove that no nilpotent Lie algebra admits an invariant generalized Kaehler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kaehler case, while it is never formal for a generalized complex structure on a nilpotent…
Obstruction theory for complex bigraded differential algebras.
Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.
Report on formalizing differential geometry in Lean.
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…
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…
The covariant canonical formalism is a covariant extension of the traditional canonical formalism of fields. In contrast to the traditional canonical theory, it has a remarkable feature that canonical equations of gauge theories or gravity are not only manifestly Lorentz covariant but also gauge covariant or diffeomorp…
A differential calculus, differential geometry and the E-R Gravity theory are studied on noncommutative spaces. Noncommutativity is formulated in the star product formalism. The basis for the gravity theory is the infinitesimal algebra of diffeomorphisms. Considering the corresponding Hopf algebra we find that the defo…
Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of -algebras over a ring $\ring C$ which is the quadratic extension by $\im$ of an ordered ring $\ring R$. The goal of the present paper is twofold. First, we clarify the relationship betw…
We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.
Study differential and integral calculus on noncommutative C*-algebras.
Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie group action on a smooth manifold can be lifted to a `formal loop group action' on …
Study of nonlinear PDEs using derived geometry and BV formalism.
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are formal; indeed, scalability can be thought of as a metric version of formality.…
The differential system for minimal Lagrangian surfaces in a -dimensional, non-flat, complex space form is an elliptic system defined on the bundle of oriented Lagrangian planes. This is a 6-symmetric space associated with the Lie group SL(3,), and the minimal Lagrangian surfaces arise as th…
We give an account of the construction of exterior differential systems based on the notion of tableaux over Lie algebras as developed in [Comm. Anal. Geom 14 (2006), 475-496; math.DG/0412169]. The definition of a tableau over a Lie algebra is revisited and extended in the light of the formalism of the Spencer cohomolo…
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…
We recall the notions of Frölicher and diffeological spaces and we build regular Frölicher Lie groups and Lie algebras of formal pseudo-differential operators in one independent variable. Combining these constructions with a smooth version of the Mulase factorization of infinite dimensional groups based on formal pseud…
Abstract study of HKT manifolds, proving Hodge theory and formality properties.
Introduces a new geometric framework for non-perturbative BV-theory.
We develop here a concept of deformed algebras and their related groups through two examples. Deformed algebras are obtained from a fixed algebra by deformation along a family of indexes, through formal series. We show how the example of deformed algebra used in \cite{Ma2013} is only an example among others, and how th…
We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrang…
We give a conceptual formulation of Kontsevich's `dual construction' producing graph cohomology classes from a differential graded Frobenius algebra with an odd scalar product. Our construction -- whilst equivalent to the original one -- is combinatorics-free and is based on the Batalin-Vilkovisky formalism, from which…
The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an -minimal model of this DGA. When only the cohomology is needed to determine the rational homotopy type, then the DGA is called formal. By a theorem of Miller, a co…
Introduces a new operator generating higher Koszul brackets on differential forms.
Algebraic geometry replaces manifolds in differential geometry.
Geometrically solves differentiating simplicial manifolds.
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…
We discuss various compatibility criteria for overdetermined systems of PDEs generalizing the approach to formal integrability via brackets of differential operators. Then we give sufficient conditions that guarantee that a PDE possessing a Lie algebra of symmetries has invariant solutions with respect to this Lie alge…
Systems of partial differential equations lie at the heart of physics. Despite this, the general theory of these systems has remained rather obscure in comparison to numerical approaches such as finite element models and various other discretisation schemes. There are, however, several theoretical approaches to systems…
We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic…
For a simply connected solvable Lie group G with a cocompact discrete subgroup Γ, we consider the space of differential forms on the solvmanifold G/Γ with values in certain flat bundle so that this space has a structure of a differential graded algebra(DGA). We construct Sullivan's minimal model of this DGA. This resul…
We investigate the formal deformation theory of (rank 1) branes on generalized complex (GC) manifolds. This generalizes, for example, the deformation theory of a complex submanifold in a fixed complex manifold. For each GC brane on a GC manifold , we construct a formal (pointed) groupoid $…
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, …
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
Method studies equivalence of second order ODEs under specific transformations.
This paper formalizes the h-principle and sphere eversion in differential topology.
Since its original publication in 1916 under the title "The Algebraic Theory of Modular Systems", the book by F. S. Macaulay has attracted a lot of scientists with a view towards pure mathematics (D. Eisenbud,...) or applications to control theory (U. Oberst,...).However, a carefull examination of the quotations clearl…
Defines formal vertex laws related to Lie conformal algebras.
Inspired by a work of Kapranov, we define the notion of Dolbeault complex of the formal neighborhood of a closed embedding of complex manifolds. This construction allows us to study coherent sheaves over the formal neighborhood via complex analytic approach, as in the case of usual complex manifolds and their Dolbeault…
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…
We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential grad…
The classical Galois theory deals with certain finite algebraic extensions and establishes a bijective order reversing correspondence between the intermediate fields and the subgroups of a group of permutations called the Galois group of the extension. It has been the dream of many mathematicians at the end of the nine…
This paper shows hypercommutative algebras on Calabi-Yau manifolds are formal.