Isomorphism found between filtered calculus and crossed products.
problem Tackles isomorphism in filtered calculus and crossed products.
method Uses natural R-action and structure result for C*-algebra of graded nilpotent Lie groups.
result Found isomorphism between kernel of tangent groupoid and crossed product.
A new approach to symbol calculus on filtered manifolds using C∗-algebras.
problem Symbol calculus on filtered manifolds with local isomorphism to stratified Lie groups.
method Establishing a surjective ∗-homomorphism between a C∗-algebra bundle and the algebra of bounded continuous sections. result Existence of a surjective ∗-homomorphism sym_M: Π_M → C_b(E_hom) with specific kernel properties. Defines Wodzicki residue using groupoids and fibered distributions.
problem Defining and understanding the Wodzicki residue in noncommutative geometry.
method Using groupoid language and filtered manifolds, defining the residue and showing its properties.
result The groupoidal residue is a trace on pseudodifferential operators and matches the usual residue in certain cases.
Researchers extend pseudodifferential calculus on filtered manifolds using fixed point algebras.
problem Defining operators with varying orders on filtered manifolds.
method Using generalized fixed point algebras and nilpotent Lie groups, they construct a new calculus.
result They establish a new calculus that reflects the behavior of differential operators on filtered manifolds.
Study recovers C*-algebra from fields of Toeplitz algebras on specific groups.
problem Recovering C*-algebra from fields of Toeplitz algebras on specific groups.
method Using continuous fields of Toeplitz algebras and a crossed product.
result Algebra of principal symbols can be recovered from fields of Toeplitz algebras.
Isomorphic algebra connects Toeplitz to Heisenberg group.
problem Connecting Toeplitz algebra to Heisenberg group.
method Isomorphism between Toeplitz algebra and Heisenberg group ideal.
result Found isomorphism between algebra and Heisenberg group ideal.
Simplified calculus for manifold operators, proving index theorems.
problem Developing calculus for manifold operators and proving index theorems.
method Introducing a simplified pseudo-differential calculus for zero-order operators on manifolds with a tangent Lie structure.
result Proving index theorems for `h-elliptic' operators on manifolds with a tangent Lie structure.
This article studies hypoellipticity on general filtered manifolds. We extend the Rockland criterion to a pseudodifferential calculus on filtered manifolds, construct a parametrix and describe its precise analytic structure. We use this result to study Rockland sequences, a notion generalizing elliptic sequences to fil…
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 of BGG sequences on foliated manifolds with transverse parabolic geometry.
problem Analysis of BGG sequences on foliated manifolds with transverse parabolic structures.
method Filtered calculus and transversal index theory for filtered manifolds.
result Derived curved BGG sequences for foliated manifolds with transverse parabolic geometry.
The paper studies how geometric transformations affect semi-classical operators on specific Lie groups.
problem Analyzing the effects of diffeomorphisms on semi-classical pseudodifferential operators.
method Examined the pull-back of semi-classical pseudodifferential operators by diffeomorphisms preserving the filtration.
result The pull-back of a semi-classical pseudodifferential operator by a Pansu differentiable diffeomorphism has a semi-classical symbol that is expressed in terms of the Pansu differential.
Characterizes polyhomogeneous symbols and applies to Heisenberg calculus.
problem Understanding polyhomogeneous symbols and their applications.
method Simple characterisation and generalization of A.~Connes' tangent groupoid.
result Heisenberg calculus on contact manifolds coincides with groupoid calculus.
Defines transverse symbols for foliated manifolds and proves their K-homology class.
problem Transverse index theory for foliated manifolds.
method Using filtrations of tangent bundles, defining transverse symbols, and constructing equivariant KK-classes.
result Transversally Rockland operators yield a K-homology class and there is a Poincare duality result.
Discrete knot theory models use lattice-filtered graphs to detect merging knot components.
problem Detecting merging knot components in discrete models.
method Lattice-filtered move graphs to model knot types, identifying connected components and merge scales.
result Merge scale defined by connected components of lattice-filtered move graphs, with specific examples for the figure-eight knot.
Study embedding calculus and link invariants using functor calculus.
problem Detect Milnor invariants using embedding towers of string links.
method Use functor calculus and Goodwillie-Weiss embedding calculus.
result Embedding tower detects Milnor invariants.
We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural R+×-action. Specifically, we show that a properly supported semiregular distribution on M×M is the Schwartz kernel of a classical …
Embedding calculus proves convergence for surfaces.
problem Proving convergence of embedding calculus for surfaces.
method Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two.
result Relates Johnson filtration of mapping class group to embedding calculus.
Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
problem Geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
method Groupoid approach to pseudodifferential calculus, rescaled bundle.
result Rescaled bundle provides geometric characterization to 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.
problem Formalizing and simplifying the study of partial differential equations (PDEs).
method Using cohomology of diffieties to formalize PDEs and their properties.
result Differential calculus on PDE solution spaces is homotopy calculus on horizontal De Rham algebras of diffieties.
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.
problem No specific problem stated; focuses on extending differential calculus.
method Generalizes diolic differential calculus to triole algebras with fiber metrics.
result Established a conceptual framework for calculus on bundles with vector-valued fiber metrics.
Introduces tractors for basic examples and modern differential calculus.
problem None explicitly stated, focuses on introduction.
method Classical examples and modern invariant differential calculus.
result Introduction to tractors and related modern differential calculus.
A diagrammatic language for 3D manifolds with boundary.
problem Representing and manipulating 3D manifolds with boundary.
method Diagrammatic calculus and local moves.
result Completeness of the diagrammatic calculus proved.
Unified Lie structures in homotopy and isotopy calculus.
problem Compatibility of Lie structures in homotopy and isotopy calculus.
method New technical tool: bracket on total homotopy fibres of collapsing cubes of wedge sums.
result Unified understanding of 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…
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…
Simplified calculus for semimartingales makes complex transformations easier.
problem Complex transformations of semimartingales.
method Unified treatment of transformations for real and complex semimartingales.
result Unified calculus for semimartingales simplifies various transformations.
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.
problem No specific problem stated; focuses on developing a new calculus.
method Symmetric Cartan calculus, using torsion-free affine connections.
result Symmetric Cartan calculus is a complete analogue of classical Cartan calculus.
New algebraic formalism for differential calculus in Diolic algebras.
problem Studying differential calculus in vector bundles.
method Introducing functors of differential calculus over arbitrary graded commutative algebras (DCGCA) and applying this to Diolic algebras.
result Recovery of well-known objects and notions from ordinary differential, symplectic, and Poisson geometry, with unique aspects.
New calculus solves boundary value problems for elliptic operators.
problem Boundary value problems for 0-elliptic operators.
method Developed a new calculus called symbolic 0-calculus to handle boundary value problems.
result Construct left and right parametrices for 0-elliptic operators with boundary conditions.
New integration theory on topological spaces, including fractals.
problem Developing a universal integration theory for arbitrary topological spaces.
method Introducing a new integration framework using unital magma valued functions and measures.
result Integration, differentiation, and orientation defined for arbitrary topological spaces.
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.
problem Understanding the structure of free loop spaces.
method Introduced Cartan calculus on loop homology, linked to string topology operations.
result Loop product and bracket behavior under Hodge decomposition.
Develops a graphical calculus for stable curvature invariants.
problem Calculating stable curvature invariants of Riemannian manifolds.
method Graphical calculus based on trivalent graphs with colored edges.
result Derives a curvature identity for compact Einstein manifolds.
Derives optimal control conditions using calculus of variations.
problem Optimizing Markov control in stochastic control problems.
method Calculus of variations approach to derive necessary conditions.
result Solves the Merton portfolio optimization problem.
The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the pos…
To give a Cartan calculus on the extended quantum 3d space, the noncommutative differential calculus on the extended quantum 3d space is extended by introducing inner derivations and Lie derivatives.
Quantum calculus models stock liquidity issues.
problem Capturing illiquidity in stock price distributions.
method Quantum stochastic calculus applied to finance.
result Modeling the impact of widened bid-ask spreads.
We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
Develops calculus for tamed Dirichlet spaces using measure theory.
problem Defines calculus for measure spaces with Dirichlet forms.
method Introduces first and second order calculus on tamed Dirichlet spaces.
result Defines various geometric objects on tamed Dirichlet spaces.
Koszul duality for manifold modules proven.
problem Proving Koszul self duality of manifold modules.
method Using generalized Thom complexes and operads in Top.
result Koszul self duality of little disk modules proven.
Simplified Khovanov-Rozansky calculus for bipartite knots.
problem Complexity in calculating superpolynomials for knots.
method Bipartite calculus generalizes Khovanov-Rozansky calculus for a restricted class of knots.
result Simplification of Khovanov-Rozansky polynomials for bipartite knots.
New calculus framework for vector bundles with metrics.
problem Developing calculus for vector bundles with fiber metrics.
method Adapting differential calculus to graded commutative algebras and focusing on diole and triole algebras.
result Triole algebra provides a suitable environment for vector bundle calculus with fiber metrics.
We show that the existence of a Fredholm element of the zero calculus of pseudodifferential operators on a compact manifold with boundary with a given elliptic symbol is determined, up to stability, by the vanishing of the Atiyah-Bott obstruction. It follows that, up to small deformations and stability, the same symbol…