arXiv research

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…

Develops analysis of Hölder continuous mappings on Heisenberg groups.

Lean 4 formalizes Stokes' theorem for smooth singular cubes.

We extend the validity of a Gromov's dimension comparison estimate for topological hypersurfaces to sufficiently large classes of rectifiable sets, arising from Sobolev mappings. Our tools are a suitably weak exterior differentiation for pullback differential forms and a new low rank property for Sobolev mappings.

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 $\mathrm{PSL}(2,\mathbb{C})$-character variety, which allows to evaluate explicitly the pullback …

Commutes Pansu pullback with spectral complexes in Carnot groups.

The paper proves isomorphisms between two complexes related to singular foliations.

For a strict Lie 2-group, we develop a notion of Lie 2-algebra-valued differential forms on Lie groupoids, furnishing a differential graded-commutative Lie algebra equipped with an adjoint action of the Lie 2-group and a pullback operation along Morita equivalences between Lie groupoids. Using this notion, we define co…

Differential chains are a proper subspace of de Rham currents given as an inductive limit of Banach spaces endowed with a geometrically defined strong topology. Boundary is a continuous operator, as are operators that dualize to Hodge star, Lie derivative, pullback and interior product. Partitions of unity exist in thi…

For $L \hookrightarrow X$ a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to $(X,L)$ as an orbifold with corners equipped with a group action. Some essential constructions involving orbifolds with corners are also discussed, including th…

Symplectic forms match on circle pattern space.

Criterion for lifting smooth contact maps between Carnot groups to central extensions.

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…

We define Gromov--Witten invariants of exploded manifolds. The technical heart of this paper is a construction of a virtual fundamental class $[\mathcal K]$ of any Kuranishi category $\mathcal K$ (which is a simplified, more general version of an embedded Kuranishi structure.) We also show how to integrate differential…

This paper introduces tangent display maps to simplify tangent category theory.

Sobolev mappings preserve the Rumin complex on contact manifolds.

The purpose of this study is to analyse two related topics: the Rumin cohomology and the $\mathbb{H}$-orientability in the Heisenberg group $\mathbb{H}^n$. In the first three chapters we carefully describe the Rumin cohomology with particular emphasis at the second order differential operator $D$, giving examples in th…

The paper examines convergence of currents and forms under smooth diffeomorphisms.

PFM generates novel samples on data manifolds using pullback geometry.

We introduce and study a new Radon-like transform that averages projected differential p-forms in R^n over affine (n-k)-planes. We then prove an explicit inversion formula for our transform on the space of rapidly-decaying smooth p-forms. Our transform differs from the one in Gelfand-Graev-Shapiro. Moreover, if it can …

We prove two-sided inequalities for the $L^p$-norm of a pushforward or pullback (with respect to an orientation-preserving diffeomorphism) on oriented volume and Riemannian manifolds. For a function or density on a volume manifold, these bounds depend only on the Jacobian determinant, which arises through the change of…

Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehatη$ on $C\times C$, with pole of order two on the diagonal $Δ\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form $\widehatη$ produces a canonical projective structure on $C$. On the other hand the uniformiza…

Study differential operators over maps and their applications in supermanifolds.

The author presents the generalized Stokes theorem for R-linear forms on Lie algebroids (which can be non-local). We apply the Stokes formula on forms to prove that two homotopic homomorphisms of Lie algebroids implies the existence of a chain operator joining their pullback operators.

New forms calibrate minimal graphs in arbitrary dimensions.

Study compactness and continuity in Sobolev wave front set spaces for smooth vector bundles.

The Law of Vector Fields is a term coined by Gottlieb for a relative Poincaré-Hopf theorem. It was first proved by Morse and expresses the Euler characteristic of a manifold with boundary in terms of the indices of a generic vector field and the inner part of its tangential projection on the boundary. We give two diffe…

Study hermitian Yang-Mills connections on pullback bundles for holomorphic submersions.

Proposes a scalable framework for extracting data manifold geometry.

New construction of Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.

Study the pullbacks and blowups of Lie algebroids and related structures.

Spectral sequence analysis for Sobolev mappings in Carnot groups.

In this paper we show how to describe the general theory of a linear metric compatible connection with the theory of Clifford valued differential forms. This is done by realizing that for each spacetime point the algebra of Clifford bivectors is isomorphic to the Lie algebra of Sl(2,C). In that way the pullback of the …

A conformal metric $g$ with constant curvature one and finite conical singularities on a compact Riemann surface $Σ$ can be thought of as the pullback of the standard metric on the 2-sphere by a multi-valued locally univalent meromorphic function $f$ on $Σ\backslash \{{\rm singularities}\}$, called the {\it developing …

In this paper we adopt the pullback approach to global Finsler geometry. We investigate horizontally recurrent Finsler connections. We prove that for each scalar ($π$)1-form $A$, there exists a unique horizontally recurrent Finsler connection whose $h$-recurrence form is $A$. This result generalizes the existence and u…

New distances for comparing multivariate normal distributions.

Given a reductive representation $ρ: π_1(S)\rightarrow G$, there exists a $ρ$-equivariant harmonic map $f$ from the universal cover of a fixed Riemann surface $Σ$ to the symmetric space $G/K$ associated to $G$. If the Hopf differential of $f$ vanishes, the harmonic map is then minimal. In this paper, we investigate the…

Geometric AD framework simplifies derivative computation in JAX.

The category of generalized Lie algebroids is presented. We obtain an exterior differential calculus for generalized Lie algebroids. In particular, we obtain similar results with the classical and modern results for Lie algebroids. So, a new result of Maurer-Cartan type is presented. Supposing that any vector subbundle…

This paper improves probabilistic latent models on hyperbolic spaces.

The geometric non-linear Schrodinger equation (GNLS) on the complex Grassmannian manifold M is the Hamiltonian equation for the energy functional on C(R,M) with respect to the symplectic form induced from the Kahler form on M. It has a Lax pair that is gauge equivalent to the Lax pair of the matrix non-linear Schroding…

One goal in Bayesian machine learning is to encode prior knowledge into prior distributions, to model data efficiently. We consider prior knowledge from systems of linear partial differential equations together with their boundary conditions. We construct multi-output Gaussian process priors with realizations in the so…

Study first-order locally convex Lie algebroids in Bastiani calculus.

Let $M$ be a hyperkaehler manifold, and $η$ a closed, positive (1,1)-form which is degenerate everywhere on $M$. We associate to $η$ a family of complex structures on $M$, called a degenerate twistor family, and parametrized by a complex line. When $η$ is a pullback of a Kaehler form under a Lagrangian fibration $L$, a…

We give examples of compact symplectic manifolds with disconnected contact type boundary in dimension $4n$ for any $n\geq 1$. The example is given by a subset of the tangent bundle of a compact quotient of the complex hyperbolic space endowed with the canonical symplectic form plus a generalized magnetic field and its …

Study on stability and continuity of solutions to complex Monge-Ampère equations on compact Hermitian manifolds.

Kontsevich's formula for a deformation quantization of Poisson structures involves a Feynman series of graphs, with the weights given by some complicated integrals (using certain pullbacks of the standard angle form on a circe). We explain the geometric meaning of this series as degrees of maps of some grand configurat…

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…