arXiv research

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

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

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

Lean 4 formalizes Stokes' theorem for smooth singular cubes.

Develops calculus on Wasserstein spaces for Riemannian manifolds.

This paper formalizes manifolds in positive characteristic varieties.

We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necess…

Establishes Poincaré's lemma for formal manifolds.

Formal Normal Form created for special CR singularities.

Formal normal form created for real-smooth hypersurfaces.

Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its …

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

The paper studies graded manifolds and their functorial relationship.

Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the equivalence between atlases being here the smooth Morita equivalence. This "structure" kee…

We establish that Hitchin's connection exist for any rigid holomorphic family of Kahler structures on any compact pre-quantizable symplectic manifold which satisfies certain simple topological constraints. Using Toeplitz operators we prove that Hitchin's connection induces a unique formal connection on smooth functions…

Researchers develop weighted GJMS operators for smooth metric measure spaces.

For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieti…

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

Strong formal properties for toric and homogeneous Kähler manifolds.

The paper explores connections between braids, links, and cobordisms using algebraic methods.

We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating functions. (The underlying structure is a formal category, which is a "thickening…

The main aim of this paper is the construction of a smooth (sometimes called differential) extension \hat{MU} of the cohomology theory complex cobordism MU, using cycles for \hat{MU}(M) which are essentially proper maps W\to M with a fixed U(n)-structure and U(n)-connection on the (stable) normal bundle of W\to M. Cruc…

Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free $K$-action. Under a partial formality assumption on the orbit space and a regulari…

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

For an element $Ψ$ in the graded vector space $Ω^*(M, TM)$ of tangent bundle valued forms on a smooth manifold $M$, a $Ψ$-submanifold is defined as a submanifold $N$ of $M$ such that $Ψ_{|N} \in Ω^*(N, TN)$. The class of $Ψ$-submanifolds encompasses calibrated submanifolds, complex submanifolds and all Lie subgroups in…

The abstract manifold cannot have uniformly quasiregular self-maps.

The static of smooth maps from the two-dimensional disc to a smooth manifold can be regarded as a simplified version of the Classical Field Theory. In this paper we construct the Tulczyjew triple for the problem and describe the Lagrangian and Hamiltonian formalism. We outline also natural generalizations of this appro…

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…

Formal manifolds with non-negative Ricci curvature have formal covers.

Foundations laid for formal manifolds in differential geometry.

Introduces a new geometric framework for non-perturbative BV-theory.

Study of filtering and smoothing in submanifolds of Euclidean space.

The Alesker-Poincare pairing for smooth valuations on manifolds is expressed in terms of the Rumin differential operator acting on the cosphere-bundle. It is shown that the derivation operator, the signature operator and the Laplace operator acting on smooth valuations are formally self-adjoint with respect to this pai…

Generalized Tanaka prolongation ensures convergence of formal embeddings of complex manifolds.

We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations between the cotangent bundles specified by generating functions depending on positio…

The paper proves conditions for 2-torus manifolds to be equivariantly formal.

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$ homotopy equivalent to $S^2$ which have smooth structures distinguished by several for…

We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result …

Deform quantization recovers scalar curvature in complex structures.

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…

Spaces over BO are equivalent to thickened manifolds.

A non-Bayesian, regression-based or generalized least squares (GLS)-based approach is formally proposed to estimate a class of time-varying AR parameter models. This approach has partly been used by Ito et al. (2014, 2016a,b), and is proven to be efficient because, unlike conventional methods, it does not require Kalma…

Input-dependent smoothing mitigates classical issues but suffers from the curse of dimensionality.

We introduce a method to resolve a symplectic orbifold into a smooth symplectic manifold. Then we study how the formality and the Lefschetz property of the symplectic resolution are compared with that of the symplectic orbifold. We also study the formality of the symplectic blow-up of a symplectic orbifold along symple…

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.

Study homology manifolds using spectral sheaves and spectral six functor formalism.

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 …

Heegaard Floer theory is a kind of topological quantum field theory, assigning graded groups to closed, connected, oriented 3-manifolds and group homomorphisms to smooth, oriented 4-dimensional cobordisms. Bordered Heegaard Floer homology is an extension of Heegaard Floer homology to 3-manifolds with boundary, with ext…