arXiv research

Global calculus for manifolds with boundary, solving evolution problems.

We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $λ$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs.

Develops global pseudo-differential calculus on homogeneous vector bundles.

Global homotopies upgrade classical map in differential geometry.

The classical Getzler rescaling theorem is extended to the transverse geometry of foliations. More precisely, a Getzler rescaling calculus, as well as a Block-Fox calculus of asymptotic operators, is constructed for all transversely spin foliations. This calculus applies to operators of degree $m$ globally times degree…

This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conf…

Extends pseudo-differential operators theory to compact Lie groups.

Forré introduces a new conditional independence notion for mixed variables.

We describe an elementary algorithm for expressing, as explicit formulae in tractor calculus, the conformally invariant GJMS operators due to C.R. Graham et alia. These differential operators have leading part a power of the Laplacian. Conformal tractor calculus is the natural induced bundle calculus associated to the …

In this paper we give formulae for the Dixmier trace and the noncommutative residue (also called Wodzicki's residue) of pseudo-differential operators by using the notion of global symbol. We consider both cases, compact manifolds with or without boundary. Our analysis on the Dixmier trace of invariant pseudo-differenti…

Study extends convexity in curved spaces using fractional integrals.

We use Frölicher-Nijenhuis theory to obtain global Helmholtz conditions, expressed in terms of a semi-basic 1-form, that characterize when a semispray is locally Lagrangian. We also discuss the relation between these Helmholtz conditions and their classic formulation written using a multiplier matrix. When the semi-bas…

We obtain the cohomology of the variational bicomplex on the infinite order jet space of a smooth fiber bundle in the class of exterior forms of finite jet order. This provides a solution of the global inverse problem of the calculus of variations of finite order on fiber bundles.

The short-time heat kernel expansion of elliptic operators provides a link between local and global features of classical geometries. For many geometric structures related to (non-)involutive distributions, the natural differential operators tend to be Rockland, hence hypoelliptic. In this paper we establish a universa…

Study on automorphisms of complex $b^k$-manifolds, extending previous work.

We introduce the south-pointing chariot, an intriguing mechanical device from ancient China. We use its ability to keep track of a global direction as it travels on an arbitrary path as a tool to explore the geometry of curved surfaces. This takes us as far as a famous result of Gauss on the impossibility of a faithful…

For operators on a compact manifold $X$ with boundary $\partial X$, the basic zeta coefficient $C_0(B, P_{1,T})$ is the regular value at $s=0$ of the zeta function $\Tr(B P_{1,T}^{-s})$, where $B=P_++G$ is a pseudodifferential boundary operator (in the Boutet de Monvel calculus) -- for example the solution operator of …

Extends Lie bialgebroids for string and M theories with new calculus framework.

Non-trivial obstructions found for topological solitons in Yang-Mills-Chern-Simons theories.

The study examines differential smoothness in specific Artin-Schelter regular algebras of dimension 5.

Develops a new calculus for studying operators on principal bundles.

We present a reformulation of the inverse problem of the calculus of variations for time dependent systems of second order ordinary differential equations using the Frölicher-Nijenhuis theory on the first jet bundle, $J^1π$. We prove that a system of time dependent SODE, identified with a semispray $S$, is Lagrangian i…

Study embedding calculus and link invariants using functor calculus.

We provide an easy approach to the geodesic distance on the general linear group GL(n) for left-invariant Riemannian metrics which are also right-O(n)-invariant. The parametrization of geodesic curves and the global existence of length minimizing geodesics are deduced using simple methods based on the calculus of varia…

Embedding calculus proves convergence for surfaces.

Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.

Extends differential calculus to triole algebras.

Proves existence and trapped surface formation for Einstein-Vlasov system without symmetry assumptions.

Introduces tractors for basic examples and modern differential calculus.

A diagrammatic language for 3D manifolds with boundary.

Unified Lie structures in homotopy and isotopy calculus.

We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.

This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…

Simplified calculus for semimartingales makes complex transformations easier.

Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisf…

This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…

Develops symmetric Cartan calculus linking to Patterson-Walker metric.

New algebraic formalism for differential calculus in Diolic algebras.

New calculus solves boundary value problems for elliptic operators.

New integration theory on topological spaces, including fractals.

Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cu…

Cartan calculus applied to string topology homology.

Develops a graphical calculus for stable curvature invariants.

Simplified calculus for manifold operators, proving index theorems.

Derives optimal control conditions using calculus of variations.