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…
On-device research index
arXiv research
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.
168,742 papers · 148 categories
Trend · papers per month
48 results for “pullback formalism”
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…
Lean 4 formalizes Stokes' theorem for smooth singular cubes.
problem Formalizing Stokes' theorem for singular cubes in arbitrary dimensions.
method Using true differential-form pullback via Frechet derivative, bridging to mathlib4's extDeriv.
result d^2=0 for singular cubical chains, chain-level Stokes extended.
We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in cotangent directions. The result is a formal category so that its composition l…
Adopting the pullback approach to global Finsler geometry, the aim of the present paper is to provide new intrinsic (coordinate-free) proofs of intrinsic versions of the existence and uniqueness theorems for the Cartan and Berwald connections on a Finsler manifold. To accomplish this, the notions of semispray and nonli…
A new connection in Finsler geometry unifies various types of connections.
problem Introducing a unified connection in Finsler geometry.
method Using the pullback formalism, a new linear connection is introduced and investigated.
result The existence and uniqueness of the new connection are proved intrinsically.
Extends six operations to sheaves in any symmetric monoidal category.
problem Extending six operations to a broader class of sheaves.
method Develops formalism for sheaves in any closed symmetric monoidal ∞-category, proving properties of locally contractible geometric morphisms and relating pullbacks and colimits.
result Establishes the six functor formalism for a wider range of sheaves, including those with values in any closed symmetric monoidal ∞-category.
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, …
Study differential operators over maps and their applications in supermanifolds.
problem Understanding differential operators over smooth maps and their applications.
method Recall and study differential operators, formal -differential operators, pullbacks by thick morphisms, and quantization of symplectic micromorphisms.
result Developed constructions and examples of differential operators over maps.
In this note, adopting the pullback formalism of global Finsler geometry, we show by a counterexample that the kernel of the h-curvature of Cartan connection and the associated nullity distribution do not coincide, contrary to Akbar-Zadeh's result \cite{akbar.nul3.}. We give sufficient conditi…
Study hermitian Yang-Mills connections on pullback bundles for holomorphic submersions.
problem Investigate hermitian Yang-Mills connections on pullback bundles for holomorphic submersions.
method Obtain a criterion for the existence of hermitian Yang-Mills connections on pullback bundles, using intersection numbers on the base.
result Determine conditions under which pullback bundles of stable or unstable bundles remain stable or unstable for adiabatic classes.
Commutes Pansu pullback with spectral complexes in Carnot groups.
problem Understanding the relationship between Pansu pullback and spectral complexes in Carnot groups.
method Proving commutativity between Pansu pullback and differentials in spectral complexes.
result Commutes Pansu pullback with spectral complexes in Carnot groups.
The aim of the present paper is to provide an intrinsic investigation of projective changes in Finlser geometry, following the pullback formalism. Various known local results are generalized and other new intrinsic results are obtained. Nontrivial characterizations of projective changes are given. The fundamental proje…
Study the pullbacks and blowups of Lie algebroids and related structures.
problem Understanding the relationship between Lie algebroids, singular foliations, and Dirac structures under maps.
method Examine pullbacks and blowups of Lie algebroids and related structures under maps with constant rank or transversality assumptions.
result Establish the relation between the blowup of a Lie algebroid and its singular foliation.
Spectral sequence analysis for Sobolev mappings in Carnot groups.
problem Analyzing spectral sequences for Sobolev mappings in Carnot groups.
method Showed Pansu pullback induces a spectral sequence mapping.
result Pansu pullback induces a spectral sequence mapping.
Criterion for lifting smooth contact maps between Carnot groups to central extensions.
problem Existence of smooth contact map lifts between Carnot groups and their central extensions.
method Criterion using pullbacks and Lie algebra cohomology classes.
result Necessary and sufficient conditions for lifting are formulated.
In this paper, the notion of strongly typed language will be borrowed from the field of computer programming to introduce a calculational framework for linear algebra and tensor calculus for the purpose of detecting errors resulting from inherent misuse of objects and for finding natural formulations of various objects…
Explains linearizing a nonlinear connection on a pullback bundle.
problem Clarifying the geometric meaning of linearized connections.
method Fiberwise linear approximation of a vector bundle connection.
result Clarifies the geometric meaning of linearized connections.
Sobolev mappings preserve the Rumin complex on contact manifolds.
problem Preserving the Rumin complex under Sobolev mappings on contact manifolds.
method Using the Pullback Theorem, Pansu pullback is shown to induce chain mappings between Rumin complexes and de Rham complexes.
result The Rumin flat complex is bilipschitz invariant under Sobolev mappings between contact manifolds.
This paper improves probabilistic latent models on hyperbolic spaces.
problem Uncertainty in predictions due to geodesics crossing low-data regions.
method Augmenting hyperbolic manifold with a pullback metric for probabilistic pullback metrics.
result Geodesics on pullback metric respect both geometry and data distribution, reducing uncertainty.
PFM generates novel samples on data manifolds using pullback geometry.
problem Generating novel samples on complex data manifolds.
method Pullback Flow Matching framework leveraging pullback geometry and isometric learning.
result PFM achieves improved manifold learning and generative performance.
The paper applies generalised geometry to semi-Riemannian immersions and hypersurfaces.
problem Analyzing semi-Riemannian immersions and hypersurfaces using generalised geometry.
method Develops the pullback of generalised metrics and divergence operators, introduces generalised exterior curvature, and derives Gauß-Codazzi equations.
result Establishes the constraint equations for the initial value formulation of the generalised Einstein equations.
This paper introduces tangent display maps to simplify tangent category theory.
problem The category of smooth manifolds does not admit all pullbacks, complicating tangent category theory.
method Develops tangent display maps as a special class of maps well-behaved with respect to pullbacks.
result Tangent display maps simplify previous work in tangent categories and provide a new way to define open subobjects.
A well-known theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold makes the shifted tangent bundle into a Lie algebra object in the derived category . Moreover, he showed that there is an -algebra structure on the Dolbeault resolution of …
The paper introduces new functors for cohomology groups of manifolds.
problem Behavior of cohomology groups under uniform maps.
method Introducing contravariant functors between manifold categories and vector space categories.
result Uniform homotopy invariance of cohomology groups.
Extends symphonic maps to bi-symphonic maps between Riemannian manifolds.
problem Defining and exploring new types of maps between Riemannian manifolds.
method Introduces bi-symphonic maps by analyzing the bi-energy functional.
result New types of maps (bi-symphonic) with associated bi-energy functional.
Study of permutational wreath pullbacks and their properties.
problem Structural study of permutational wreath pullbacks and their properties.
method Systematic structural study of permutational wreath pullbacks, focusing on center, abelianization, and functorial behavior.
result Established a criterion for the abelian kernel to be characteristic and for the wreath product to inherit the R-infinity property.
A graphical calculus for microformal morphisms simplifies complex operations in classical and quantum physics.
problem Simplifying operations in classical and quantum microformal morphisms.
method Developed a graphical calculus inspired by Cattaneo-Dherin-Felder's work on formal symplectic groupoids, extended to quantum thick morphisms.
result Infinite series can be written as sums over bipartite trees for both classical and quantum thick morphisms.
Study on mappings between nonrigid Carnot groups, proving quasisymmetric rigidity.
problem Quasisymmetric homeomorphisms in nonrigid Carnot groups.
method Use pullback theorem from previous work to show reducibility and rigidity.
result Quasisymmetric homeomorphisms are reducible in nonrigid Carnot groups, except for specific cases.
A basic problem in machine learning is to find a mapping from a low dimensional latent space to a high dimensional observation space . Modern tools such as deep neural networks are capable to represent general non-linear mappings. A learner can easily find a mapping which perfectly fits a…
Proposes a scalable framework for extracting data manifold geometry.
problem Efficiently mapping and learning data manifold geometry.
method Score-based pullback Riemannian geometry integrating pullback Riemannian geometry and generative models.
result High-quality geodesics and reliable intrinsic dimension estimation.
Symplectic forms match on circle pattern space.
problem Matching symplectic forms on circle pattern space.
method Pullback of symplectic forms to circle pattern space.
result Symplectic forms on circle pattern space coincide.
We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the c…
Liouville-type results for stationary maps of a class of functional related to pullback metricsmath.DG
We study a generalized functional related to the pullback metrics (3). We derive the first variation formula which yield stationary maps. We introduce the stress-energy tensor which is naturally linked to conservation law and yield monotonicity formula via the coarea formula and comparison theorem in Riemannian geometr…
Associated to a Thurston map with postcritical set are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in , a linear operator on the free -module generated by these homotopy classes of curves, a virtual endomorphism on the pur…
New construction of Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.
problem Constructing Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.
method Using homological perturbation lemma and contraction, constructing isomorphisms between cochain complexes and Chevalley-Eilenberg cohomologies.
result Identifies Atiyah and Todd classes of Lie pair pullback dg Lie algebroids with those of the Lie pair.
New distances for comparing multivariate normal distributions.
problem Comparing multivariate normal distributions efficiently and accurately.
method Approximated Fisher-Rao distance and pullback SPD cone distances.
result Efficient computation of distances between normal distributions.
We prove a generalization of Kawai theorem for the case of orbifold Riemann surface. The computation is based on a formula for the differential of a holomorphic map from the cotangent bundle of the Teichmüller space to the -character variety, which allows to evaluate explicitly the pullback …
Study on hermitian Yang-Mills connections on blown-up manifolds.
problem Analyzing hermitian Yang-Mills connections on blown-up Kähler manifolds.
method Investigates connections for pullback vector bundles under specific conditions.
result Provides numerical criterion for convergence of hermitian Yang-Mills connections.
To a closed Riemannian manifold, we associate a set of (special values of) a family of Dirichlet series, indexed by functions on the manifold. We study the meaning of equality of two such families of spectral Dirichlet series under pullback along a map. This allows us to give a spectral characterization of when a smoot…
New invariant connects boundary PDEs and conformal geometry.
problem Global conformal invariants of boundary PDEs.
method Variational considerations and conformal invariants.
result Compact Bach-flat manifolds with umbilic boundary admit Poincaré-Einstein metrics.
Adjusting conventional Chern-Simons theory to -manifolds, one describes -instantons on bundles over a certain class of -dimensional flat tori which fiber non-trivially over , by a pullback argument. Moreover, if , any (generic) deformation of the -structure away from s…
Develops analysis of Hölder continuous mappings on Heisenberg groups.
problem Analyzing Hölder continuous mappings on Heisenberg groups.
method Theory of distributional Jacobians and pullbacks of differential forms.
result Simple proof of a generalization of the Gromov non-embedding theorem and new results about Hölder homotopy groups.
This work develops methods to analyze data on curved spaces using deep learning.
problem Analyzing data in non-linear, curved spaces.
method Pullback Riemannian geometry through diffeomorphisms.
result Diffeomorphisms need to map data into geodesic subspaces to ensure proper data analysis.
Article studies symmetry in smooth vector bundles using advanced operations.
problem Symmetry phenomena in smooth vector bundles after two iterations of the normal functor.
method Developed theory of pullback and quotient for double vector bundles and morphisms, focusing on naturality of the normal functor.
result Expected symmetry is obtained through universal behavior and compatibility of operations.
We obtain universal models for several types of locally conformal symplectic manifolds via pullback or reduction. The relation with recent embedding results for locally conformal Kähler manifolds is discussed.
Develops a new theory of localization in algebraic geometry.
problem Localization of cohomological theories on closed subsets.
method Categorical and algebro-geometric approach, focusing on torsors and translation groupoids.
result Found that localization often results in a torsor of supported refinements rather than a localized class.
Study compactness and continuity in Sobolev wave front set spaces for smooth vector bundles.
problem Compactness and continuity in Sobolev wave front set spaces for smooth vector bundles.
method Introduced a locally convex topology, extended compactness theorem, studied pseudo-differential operators, and applied to microlocal defect measures.
result Extended microlocal defect measures and compensated compactness theorem to Sobolev wave front set spaces.