Differential forms on the Fréchet manifold F(S,M) of smooth functions on a compact k-dimensional manifold S can be obtained in a natural way from pairs of differential forms on M and S by the hat pairing. Special cases are the transgression map associating (p-k)-forms on F(S,M) to p-forms on M (hat pairing with a constant function) and the bar map associating p-forms on F(S,M) to p-forms on M (hat pairing with a volume form). We develop a hat calculus similar to the tilda calculus for non-linear Grassmannians.
We study differential forms and their higher-order generalizations by interpreting them as functions on map spaces. We get a series of approximations of "generalized manifolds" (i.e. of sheaves and stacks) somewhat akin to Taylor series.
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.
We characterize all natural linear operations between spaces of differential forms on contact manifolds. Our main theorem says roughly that such operations are built from some algebraic operators which we introduce and the exterior derivative.
The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the properties and specific features of the differential-geometrical structures. The using of skew-symmetric differential forms enables one to reveal a mechanism of forming differential-geometrical structures as well. To do this, it is necessary to consider the skew-symmetric differential forms whose basis, unlike to the case of exterior differential forms, are …
We consider several differential operators on compact almost-complex, almost-Hermitian and almost-Kähler manifolds. We discuss Hodge Theory for these operators and a possible cohomological interpretation. We compare the associated spaces of harmonic forms and cohomologies with the classical de Rham, Dolbeault, Bott-Chern and Aeppli cohomologies.
We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of space-forms. We next generalize results concerning metric rigidity via equations involving vector fields.
In this paper, we prove Perelman type $\mathcal{W}$-entropy formulae and global differential Harnack estimates for positive solutions to porous medium equation on the closed Riemannian manifolds with Ricci curvature bounded below. As applications, we derive Harnack inequalities and Laplacian estimates.
A new class of harmonic Hadamard manifolds, those spaces called of hypergeometric type, is defined in terms of Gauss hypergeometric equations. Spherical Fourier transform defined on a harmonic Hadamard manifold of hypergeometric type admits an inversion formula. A characterization of harmonic Hadamard manifold being of hypergeometric type is obtained with respect to volume density.
Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to $H^{\infty}$ functional calculus and Hodge decomposition, are given.
In the first part of this paper, we get new Li-Yau type gradient estimates for positive solutions of heat equation on Riemmannian manifolds with $Ricci(M)\ge -k$, $k\in \mathbb R$. As applications, several parabolic Harnack inequalities are obtained and they lead to new estimates on heat kernels of manifolds with Ricci curvature bounded from below. In the second part, we establish a Perelman type Li-Yau-Hamilton differential Harnack inequality for heat kernels on manifolds with $Ricci(M)\ge -k$, which generalizes a result of L. Ni \cite{NL1,NL4}. As applications, we obtain new Harnack inequali…
We give some fundamental properties of the induced structures on submanifolds immersed in almost product or locally product Riemannian manifolds. We study the induced structure by the composition of two isometric immersions on submanifolds in an almost product Riemannian manifold. We give an effective construction for some induced structures on submanifolds of codimension 1 or 2 in Euclidean space.
Tubular neighborhoods play an important role in differential topology. We have applied these constructions to geometry of almost Hermitian manifolds. At first, we consider deformations of tensor structures on a normal tubular neighborhood of a submanifold in a Riemannian manifold.Further, an almost hyperHermitian structure has been constructed on the tangent bundle TM with help of the Riemannian connection of an almost Hermitian structure on a manifold M then, we consider an embedding of the almost Hermitian manifold M in the corresponding normal tubular neighborhood of the null section in the…
Let $M$ be a smooth manifold, $\cal S$ the space of polynomial on fibers functions on $T^*M$ (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, $Vect(M)$, of vector fields on $M$ with coefficients in the space of linear differential operators on $\cal S$. This cohomology space is closely related to the $Vect(M)$-modules, ${\cal D}_λ(M)$, of linear differential operators on the space of tensor densities on $M$ of degree $λ$.
Let $M$ be a manifold and $T^*M$ be the cotangent bundle. We introduce a 1-cocycle on the group of diffeomorphisms of $M$ with values in the space of linear differential operators acting on $C^{\infty} (T^*M).$ When $M$ is the $n$-dimensional sphere, $S^n$, we use this 1-cocycle to compute the first-cohomology group of the group of diffeomorphisms of $S^n$, with coefficients in the space of linear differential operators acting on contravariant tensor fields.
In this paper we study the heat equation (of Hodge-Laplacian) deformation of $(p, p)$-forms on a Kähler manifold. After identifying the condition and establishing that the positivity of a $(p, p)$-form solution is preserved under such an invariant condition we prove the sharp differential Harnack (in the sense of Li-Yau-Hamilton) estimates for the positive solutions of the Hodge-Laplacian heat equation. We also prove a nonlinear version coupled with the Kähler-Ricci flow and some interpolating matrix differential Harnack type estimates for both the Kähler-Ricci flow and the Ricci flow.
In this paper we show that a parallel differential form $Ψ$ of even degree on a Riemannian manifold allows to define a natural differential both on $Ω^\ast(M)$ and $Ω^\ast(M, TM)$, defined via the Frölicher-Nijenhuis bracket. For instance, on a Kähler manifold, these operators are the complex differential and the Dolbeault differential, respectively. We investigate this construction when taking the differential w.r.t. the canonical parallel $4$-form on a $G_2$- and ${\rm Spin}(7)$-manifold, respectively. We calculate the cohomology groups of $Ω^\ast(M)$ and give a partial description of the co…
An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $ζ:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad topology. Nevertheless for a $\frak g$-manifold with equidimensional orbits we treat such notions as connection, curvature, covariant differentiation, Bianchi identity, parallel transport, basic differential forms, basic cohomology, and characteristic classes, which generalize the corresponding notions for principal $G$-bundles. As one of the applications, we deri…
In this paper, we prove the Hamilton differential Harnack inequality for positive solutions to the heat equation of the Witten Laplacian on complete Riemannian manifolds with the $CD(-K, m)$-condition, where $m\in [n, \infty)$ and $K\geq 0$ are two constants. Moreover, we introduce the $W$-entropy and prove the $W$-entropy formula for the fundamental solution of the Witten Laplacian on complete Riemannian manifolds with the $CD(-K, m)$-condition and on compact manifolds equipped with $(-K, m)$-super Ricci flows.
We introduce a 1-cocycle on the group of diffeomorphisms Diff$(M)$ of a smooth manifold $M$ endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff$(M)$-modules of second order linear differential operators on $M$. In the one-dimensional case, this cocycle coincides with the Schwarzian derivative, while, in the multi-dimensional case, it represents its natural and new generalization. This work is a continuation of \cite{bo} where the same problems have been treated in one-dimensional case.
We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformation sending the solutions of the Maurer-Cartan equation to closed differential forms. Following ideas of Ezra Getzler we then impose a gauge condition which cuts out a finite-dimensional simplicial submanifold. This "smaller" simplicial manifold is (the nerve of) a local Lie k-gr…
A new method of singular reduction is extended from Poisson to Dirac manifolds. Then it is shown that the Dirac structures on the strata of the quotient coincide with those of the only other known singular Dirac reduction method.
This paper deals with the notion of quadratic differential in spherical CR geometry (or more generally on strictly pseudoconvex CR manifolds). We get to this notion by studying a splitting of Rumin complex and discuss its first features such as trajectories and length. We also define several differential operators on quadratic differentials that lead to analogue of half-translation structures on spherical CR manifolds. Finally, we work on known examples of quasiconformal maps in the Heisenberg group with extremal properties and explicit how quadratic differentials are involved in those. In add…
A Lie algebroid over a manifold is a vector bundle over that manifold whose properties are very similar to those of a tangent bundle. Its dual bundle has properties very similar to those of a cotangent bundle: in the graded algebra of sections of its external powers, one can define an operator similar to the exterior derivative. We present in this paper the theory of Lie derivatives, Schouten-Nijenhuis brackets and exterior derivatives in the general setting of a Lie algebroid, its dual bundle and their exterior powers. All the results (which, for their most part, are already known) are given …
It is established that the existence of non-isotropic vector field which Jacobi operator of maximal rank is an obstacle for the existence of non-trivial second-order symmetric parallel tensor field. In turns out that presence of such obstacle follows that manifold as pseudo-Riemannian manifold is locally non-reducible. In particular result can be applied directly to known classes of almost (para-) contact metric manifolds when considered Jacobi operator of characteristic vector field has maximal rank. There is effective algorithmic procedure which resolves the problem of existence of such vect…
We formulate stochastic partial differential equations on Riemannian manifolds, moving surfaces, general evolving Riemannian manifolds (with appropriate assumptions) and Riemannian manifolds with random metrics, in the variational setting of the analysis to stochastic partial differential equations. Considering mainly linear stochastic partial differential equations, we establish various existence and uniqueness theorems.
We study differential invariants of the third order linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles on two dimensional manifolds with respect to groups of authomorphisms.
We prove a version of differential Harnack inequality for a family of sub-elliptic diffusions on Sasakian manifolds under certain curvature conditions.
We prove a Poincare type inequality for differential forms on compact manifolds by means of a constructive 'globalization' of a local Poincare inequality on convex sets.
Any discrete differential manifold $M$ (finite set endowed with an algebraic differential calculus) can be represented by appropriate polyhedron ${\cal P}(M)$. This representation demonstrates the adequacy of the calculus of discrete differential manifolds and links this approach with that based on finitary substitutes of continuous spaces introduced by R.D.Sorkin.
In this paper we are concerned with a class of elliptic differential inequalities with a potential both on $\erre^m$ and on Riemannian manifolds. In particular, we investigate the effect of the geometry of the underlying manifold and of the behavior of the potential at infinity on nonexistence of nonnegative solutions.
In this note we establish the large time non-negativity of the heat kernel for a class of elliptic differential operators on closed, Riemannian manifolds, and apply this result to a problem from conformal differential geometry.
In this paper we establish a Gaffney type inequality, in $W^{\ell,p}$-Sobolev spaces, for differential forms on sub-Riemannian contact manifolds without boundary, having bounded geometry (hence, in particular, we have in mind non-compact manifolds). Here $p\in]1,\infty[$ and $\ell=1,2$ depending on the order of the differential form we are considering. The proof relies on the structure of the Rumin's complex of differential forms in contact manifolds, on a Sobolev-Gaffney inequality proved by Baldi-Franchi in the setting of the Heisenberg groups and on some geometric properties that can be pro…
In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that equipped with a super tangent bundle.
In classical field theory, the composite fibred manifolds Y -> Z -> X provides the adequate mathematical formulation of gauge models with broken symmetries, e.g., the gauge gravitation theory. This work is devoted to connections on composite fibred manifolds. In particular, we get the horizontal splitting of the vertical tangent bundle of a composite fibred manifold, besides the familiar one of its tangent bundle. This splitting defines the modified covariant differential and implies the special fashion of Lagrangian densities of field models on composite manifolds. The spinor composite bundle…
We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds admit a unique differential, coinciding with the usual one. Thus smooth manifolds form a full subcategory of the category of differential triads, a result with physical implications.
By using a certain second order differential equation, the notion of adapted coordinates on Finsler manifolds is defined and some classifications of complete Finsler manifolds are found. Some examples of Finsler metrics, with positive constant sectional curvature, not necessarily of Randers type nor projectively flat, are found. This work generalizes some results in Riemannian geometry and open up, a vast area of research on Finsler geometry.
On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of differential graded manifolds admits a homotopy theory. In this paper, we prove that the associated infinity category of dg-manifolds is equivalent to that of derived manifolds. This allows the well developed theory of dg-geometry to live in symbiosis with infinity categorical approach to derived differential geometry. As a consequence, we prove that a dg-C…
In this paper, we generalize Liouville type theorems for some semilinear partial differential inequalities to sub-Riemannian manifolds satisfying a nonnegative generalized curvature-dimension inequality introduced by Baudoin and Garofalo in [5]. In particular, our results apply to all Sasakian manifolds with nonnegative horizontal Webster-Tanaka-Ricci curvature. The key ingredient is to construct a class of "good" cut-off functions. We also provide some upper bounds for lifespan to parabolic and hyperbolic inequalities.
Some model reduction techniques for multiple time-scale dynamical systems make use of the identification of low dimensional slow invariant attracting manifolds (SIAM) in order to reduce the dimensionality of the phase space by restriction to the slow flow. The focus of this work is on a proposition and discussion of a general viewpoint using differential geometric concepts for submanifolds to deal with slow invariant manifolds in an extended phase space. The motivation is a coordinate independent formulation of the manifold properties and its characterization problem treating the manifold as i…
A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced differential bundles in 2017 as an algebraic alternative to vector bundles in an arbitrary tangent category. In this paper, we prove that differential bundles in the category of smooth manifolds are precisely vector bundles. In particular, this means that we can give a characterisation of vector bundles that exhibits them as models of a tangent categorical essentiall…
This article presents a new and more elementary proof of the main Seiberg-Witten-based obstruction to the existence of Einstein metrics on smooth compact 4-manifolds. It also introduces a new smooth manifold invariant which conveniently encapsulates those aspects of Seiberg-Witten theory most relevant to the study of Riemannian variational problems on 4-manifolds.
We consider natural algebraic differential operations acting on geometric quantities over smooth manifolds. We introduce a method of study and classification of such operations, called IT-reduction. It reduces the study of natural operations to the study of polynomial maps between (vector) spaces of jets which are equivariant with respect to certain algebraic groups. Using the IT-reduction, we obtain short and conceptual proofs of some known results on the classification of certain natural operations (the Schouten theorem, etc) together with new results including the non-existence of a univers…
In [3], Connes found a conformal invariant using Wodzicki's 1-density and computed it in the case of 4-dimensional manifold without boundary. In [14], Ugalde generalized the Connes' result to $n$-dimensional manifold without boundary. In this paper, we generalize the results of [3] and [14] to the case of manifolds with boundary.
Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the firs…
The aim of this article is to show that systems of linear partial differential equations on filtered manifolds, which are of weighted finite type, can be canonically rewritten as first order systems of a certain type. This leads immediately to obstructions to the existence of solutions. Moreover, we will deduce that the solution space of such equations is always finite dimensional.
We study variuos homological structures associated with Poisson algebra, the canonical differential complex for singular Poisson structure and the analogue of the star operator for such manifolds. Give the interpretation of the classical Koszul differential of exterior forms, as the supercommutator with some second order element. Describe the space of invariant distributions on manifold with singular Poisson structure.
This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a notion of differential, called Carnot differential, for Carnot manifolds maps (i.e., maps that are compatible with the Carnot manifold structure). This differential is obtained as a group map between the corresponding tangent groups. We prove that, at every point, a Carnot manifold map is osculated in a very precise way by its Carnot differential at the poi…
