arXiv research

Counterexample disproves log canonical Beauville--Bogomolov decomposition.

We solve higher-order morphisms for twisted Courant algebras.

We study a geometrical condition (PHWC) which is weaker than horizontal weak conformality. In particular, we show that harmonic maps satisfying this condition, which will be called {\em pseudoharmonic morphisms}, include harmonic morphisms and can be described as pulling back certain germs to certain other germs. Final…

An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved that the induced Jacobi structure is unique upto a morphism.

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…

"Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky algebras. It was clear from the start that constructions used for thick morphism…

We characterize Poisson and Jacobi structures by means of complete lifts of the corresponding tensors: the lifts have to be related to canonical structures by morphisms of corresponding vector bundles. Similar results hold for generalized Poisson and Jacobi structures (canonical structures) associated with Lie algebroi…

Geometrically classifies maps from R^0|2 to any manifold, unifying theories.

The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion freeness and Grauert-Riemenschneider's vanishing theorem. Moreover, we obtain a rela…

Weil algebra morphism induce natural transformations between Weil bundles. In some well known cases, a natural transformation is endowed with a canonical structure of affine bundle. We show that this structure arises only when the Weil algebra morphism is surjective and its kernel has null square. Moreover, in some cas…

Study shows polystability of tangent and canonical sheaves on Kähler-Einstein log Fano pairs.

When a gauge-natural invariant variational principle is assigned, to determine {\em canonical} covariant conservation laws, the vertical part of gauge-natural lifts of infinitesimal principal automorphisms -- defining infinitesimal variations of sections of gauge-natural bundles -- must satisfy generalized Jacobi equat…

There was proposed the method of a factorization of PDE. The method is based on reduction of complicated systems to more easy ones (for example, due to dimension decrease). This concept is proposed in general case for the arbitrary PDE systems, and its concrete investigation is developing for the heat equation case. Th…

We introduce in this paper a field theory on symplectic manifolds that are fibered over a real surface with interior marked points and cylindrical ends. We assign to each such object a morphism between certain tensor products of quantum and Floer homologies that are canonically attached to the fibration. We prove a com…

The paper connects connections on sheaves to an $L_{\infty}$ morphism lifting semiregularity maps.

Courant algebroids provide a useful mathematical tool (not only) in string theory. It is thus important to define and examine their morphisms. To some extent, this was done before using an analogue of canonical relations known from symplectic geometry. However, it turns out that applications in physics require a more g…

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…

The most important examples of a double vector bundle are provided by iterated tangent and cotangent functors: TTM, TT^*M, T^*TM, and T^*T^*M. We introduce the notions of the dual double vector bundle and the dual double vector bundle morphism. Theorems on canonical isomorphisms are formulated and proved. Several examp…

This paper describes the construction of a canonical compactification of the space of trajectories and of the unstable/stable sets of a generic gradient like vector field on a closed manifold as well as a canonical structure of a smooth manifold with corners of these spaces. As an application we discuss the geometric c…

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…

In this paper, with the aim of establishing a structure theorem for a compact Kähler manifold $X$ with semi-positive holomorphic sectional curvature, we study a morphism $φ: X \to Y$ to a compact Kähler manifold $Y$ with pseudo-effective canonical bundle. We prove that the morphism $φ$ is always smooth (that is, a subm…

A reductive structure is associated here with Lagrangian canonically defined conserved quantities on gauge-natural bundles. Parametrized transformations defined by the gauge-natural lift of infinitesimal principal automorphisms induce a variational sequence such that the generalized Jacobi morphism is naturally self-ad…

Let $M^m$ be a compact oriented smooth manifold which admits a smooth circle action with isolated fixed points which are isolated as singularities as well. Then all the Pontryagin numbers of $M^m$ are zero and its Euler number is nonnegative and even. In particular, $M^m$ has signature zero. Since a non-constant harmon…

We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back operation involving the tautological universal bundle and the classifying morphism o…

It is a classical fact in Poisson geometry that the cotangent bundle of a Poisson manifold has the structure of a Lie algebroid. Manifestations of this structure are the Lichnerowicz differential on multivector fields (calculating Poisson cohomology) and the Koszul bracket of differential forms. "Raising indices" by th…

We derive both {\em local} and {\em global} generalized {\em Bianchi identities} for classical Lagrangian field theories on gauge-natural bundles. We show that globally defined generalized Bianchi identities can be found without the {\em a priori} introduction of a connection. The proof is based on a {\em global} decom…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on the one hand the cohomology is described as the relative cohomology of the sect…

By resorting to Noether's Second Theorem, we relate the generalized Bianchi identities for Lagrangian field theories on gauge-natural bundles with the kernel of the associated gauge-natural Jacobi morphism. A suitable definition of the curvature of gauge-natural variational principles can be consequently formulated in …

We take advantage of different generalizations of the tangent manifold to the context of graded manifolds, together with the notion of super section along a morphism of graded manifolds, to obtain intrinsic definitions of the main objects in supermechanics such as, the vertical endomorphism, the canonical and the Carta…

It is conjectured that the moduli b-divisor of the Kawamata-Kodaira canonical bundle formula associated to a klt-trivial fibration $(X,B)\to Z$ is semi-ample. In this paper, we show the semi-ampleness of an arbitrarily small perturbation of the moduli b-divisor by a fixed appropriate divisor which roughly speaking come…

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a no…

We generalize Cohen & Jones & Segal's flow category whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doing Morse theory on Morse moduli spaces for which we have to const…

In this paper, we study a projective klt pair $(X, Δ)$ with the nef anti-log canonical divisor $-(K_X+Δ)$ and its maximally rationally connected fibration $ψ: X \dashrightarrow Y$. We prove that the numerical dimension of the anti-log canonical divisor $-(K_X+Δ)$ on $X$ coincides with that of the anti-log canonical div…

Study on deformations of Lie groupoid morphisms and their properties.

Defines and partially characterizes p symphonic morphisms.

The paper explores new algebraic structures and morphisms in graded settings.

This paper is a sequel to \cite{Berndtsson}. In that paper we studied the vector bundle associated to the direct image of the relative canonical bundle of a smooth Kähler morphism, twisted with a semipositive line bundle. We proved that the curvature of a such vector bundles is always semipositive (in the sense of Naka…

We consider the second variational derivative of a given gauge-natural invariant Lagrangian taken with respect to (prolongations of) vertical parts of gauge-natural lifts of infinitesimal principal automorphisms. By requiring such a second variational derivative to vanish, {\em via} the Second Noether Theorem we find t…

In this article we introduce conformal Riemannian morphisms. The idea of conformal Riemannian morphism generalizes the notions of an isometric immersion, a Riemannian submersion, an isometry, a Riemannian map and a conformal Riemannian map. We show that every injective conformal Riemannian morphism is an injective conf…

Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the unique Kähler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic equation to show that this metric is strictly positive on $\mathcal X$, unless the fam…

We show that thick morphisms (or microformal morphisms) between smooth (super)manifolds, introduced by us before, are classical limits of `quantum thick morphisms' defined here as particular oscillatory integral operators on functions.

We study the behavior of the modular class of a Lie algebroid under general Lie algebroid morphisms by introducing the relative modular class. We investigate the modular classes of pull-back morphisms and of base-preserving morphisms associated to Lie algebroid extensions. We also define generalized morphisms, includin…

P. Baird and the second author studied harmonic morphisms from a three-dimensional simply-connected space form to a surface and obtained a complete local and global classification of them. In this paper, we obtain a description of all harmonic morphisms from any three-dimensional Euclidean and spherical space form to a…

Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $φ$ ({\rm i.e.} morphism of co…

We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We prove some basic results concerning completeness of Cartan connections. We provide…

The paper extends symplectomorphism quasi-morphisms to the entire disk group.

A graphical calculus for microformal morphisms simplifies complex operations in classical and quantum physics.

Identifies images of determinant morphism for specific co-Higgs bundles.