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 cases, this structure of affine bundle is passed down to Jet spaces. We give a characterization of this fact in algebraic terms. This algebraic condition also determines an affine structure between the groups of automorphisms of related Weil algebras
Let M be a paracompact smooth manifold, A a Weil algebra and M^A the associated Weil bundle. In this paper, we give another definition and characterization of vector field on M^A.
Let M be a paracompact smooth manifold, A a Weil algebra and M^{A} the associated Weil bundle. In this paper, we give a characterization of hamiltonian field on M^{A} in the case of Poisson manifold and of Symplectic manifold.
Let M be a paracompact smooth manifold of dimension n; A a Weil algebra and M^A the Weil bundle associated. We define and describe the notion of \widetilded-Poisson cohomology and of \widetilded^A -Poisson cohomology on M^A.
In this paper, we denote by A a Weil algebra, M a smooth manifold and M^{A} the associated Weil bundle and we study the properties of differential operators on M^{A} and construct the canonical 1-form when M^{A} is provided with a structure of Lie-Rinehart algebra.
We give an explicit description and calculate the dimension of the vector space of linear natural liftings of $p$-forms on $n$-dimensional manifolds $M$ to $q$-forms on $T^{{\mathbb D}^r_k}M$, where ${\mathbb D}^r_k$ is the Weil algebra of $r$-jets at 0 of smooth functions ${\mathbb R}^k\longrightarrow{\mathbb R}$, for all non-negative integers $n$, $p$, $q$, $r$, $k$ except the case $p=n$ and $q=0$.
In this paper, M denotes a smooth manifold of dimension n, A a Weil algebra and M^{A} the associated Weil bundle. When (M,_{M}) is a Poisson manifold with 2-form _{M}, we construct the 2-Poisson form _{M^{A}}^{A}, prolongation on M^{A} of the 2-Poisson form _{M}. We give a necessary and sufficent condition for that M^{A} be an A-Poisson manifold.
Let M be a Poisson manifold and A a Weil algebra. We describe an isomorphism of cohomolgy algebra and proves that Poisson cohomology with values in A is isomorphic to the tensor product of A with Poisson cohomolgy with real values.
In the present paper, we study complete and vertical lifts of tensor fields from a smooth manifold $M$ to its Weil bundle $T^A M$ defined by a Frobenius Weil algebra $A$. For a Poisson manifold $(M,w)$, we show that the complete lift $w^C$ and the vertical lift $w^V$ of the Poisson tensor $w$ are Poisson tensors on $T^A M$ and establish their properties. We prove that the complete and the vertical lifts induce homomorphisms of the Poisson cohomology spaces. We compute the modular classes of the lifts of Poisson structures.
We show that Chern-Weil theory for tensor bundles over manifolds is a consequence of the existence of natural closed differential forms on total spaces of torsion free connections on frame bundles.
In our previous papers [Far East Journal of Mathematical Sciences, 35 (2009), 211-223] and [International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have developed the theory of Weil prolongation, Weil exponentiability and microlinearity for Frolicher spaces. In this paper we will relativize it so as to obtain the theory of fiber bundles for Frölicher spaces. It is shown that any Weil functor naturally gives rise to a fiber bundle. We will see that the category of fiber bundles over a fixed Frölicher space M and their smooth mappings over M is cartesian closed. We will see a…
We prove a result of Chern-Weil type for canonically metrized line bundles on one-parameter families of smooth complex curves. Our result generalizes a result due to J.I. Burgos Gil, J. Kramer and U. Kühn that deals with a line bundle of Jacobi forms on the universal elliptic curve over the modular curve with full level structure, equipped with the Petersson metric. Our main tool, as in the work by Burgos Gil, Kramer and Kühn, is the notion of a b-divisor.
The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern-Weil map of Bott-Tu. We also obtain an expl…
We show a Chern-Weil type statement and a Hilbert-Samuel formula for a large class of singular plurisubharmonic metrics on a line bundle over a smooth projective complex variety. For this we use the theory of b-divisors and the so-called multiplier ideal volume function. We apply our results to the line bundle of Siegel-Jacobi forms over the universal abelian variety endowed with its canonical invariant metric. This generalizes a result of the second author for the universal family of elliptic curves to higher degrees.
We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed…
We construct a Petersson-Weil type Kähler form on the moduli spaces of Higgs bundles over a compact Kähler manifold. A fiber integral formula for this form is proved, from which it follows that the Petersson-Weil form is the curvature of a certain determinant line bundle, equipped with a Quillen metric, on the moduli space of Higgs bundles over a projective manifold. The curvature of the Petersson-Weil Kähler form is computed. We also show that, under certain assumptions, a moduli space of Higgs bundles supports of natural hyper-Kähler structure.
Let be M a smooth manifold, A a local algebra and M^{A} a manifold of infinitely near points on M of kind A. We build the canonical foliation on M^{A} et we show that the canonical foliation on the tangent bundle TM is the foliation defined by his canonical field.
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an alternate proof of the main result of [13], showing that the characterization of vector bundles by means of their Lie algebras of homogeneous differential operators also holds for vector bundles of rank 1 and over any base manifolds.
We study the existence of $S^1$-equivariant characteristic classes on certain natural infinite rank bundles over the loop space $LM$ of a manifold $M$. We discuss the different $S^1$-equivariant cohomology theories in the literature and clarify their relationships. We attempt to use $S^1$-equivariant Chern-Weil techniques to construct $S^1$-equivariant characteristic classes. The main result is the construction of a sequence of $S^1$-equivariant characteristic classes on the total space of the bundles, but these classes do not descend to the base $LM$. Nevertheless, we conclude by identifying …
In this paper, we use the affine Hermitian-Yang-Mills flow to prove a generalized Donaldson-Uhlenbeck-Yau theorem on flat Higgs bundles over a class of non-compact affine Gauduchon manifolds.
We show that the total space of any affine $\mathbb{C}$-bundle over $\mathbb{CP}^1$ with negative degree admits an ALE scalar-flat Kähler metric. Here the degree of an affine bundle means the negative of the self-intersection number of the section at infinity in a natural compactification of the bundle, and so for line bundles it agrees with the usual notion of the degree.
Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, G. Minervini proved in his PhD thesis [17], among other things, the Harvey-Lawson Diagonal Theorem but without the restrictive tameness condition for Morse flows. Here we combine the same techniques with the ideas of Latschev in order to construct local resolutions for the flow of the graph of a section of a fiber bundle. This is endowed with a vertical vector field which is horizontally constant and Morse-Smale in every fiber. The resolution allows the removal of the tameness hypothesis from the homotopy formula in…
In this paper, we study rational sections of the relative Picard scheme of a linear system on a smooth projective variety. We prove that if the linear system is basepoint-free and the locus of non-integral divisors has codimension at least two, then all rational sections of the relative Picard scheme come from restrictions of line bundles on the variety. As a consequence, we describe the group of sections of the Hitchin fibration for moduli spaces of Higgs bundles on curves.
We introduce a class of Higgs bundles called cyclic which lie in the Hitchin component of representations of a compact Riemann surface into the split real form of a simple Lie group. We then prove that such a Higgs bundle is equivalent to a certain class of solutions to the affine Toda equations. We further explain this relationships in terms of lifts of harmonic maps.
In our [Higher-order preconnections in synthetic differential geometry of jet bundles, Beiträge zur Algebra und Geometrie, 45 (2004), 677-696] we have established the affine bundle theorem in the synthetic approach to jet bundles in terms of infinitesimal spaces Dⁿ's. In our succeeding [Synthetic differential geometry of higher-order total differentials, to appear in Cahiers de Topologie et Géométrie Différentielle Catégoriques] we have introduced another synthetic approach to jet bundles in terms of infinitesimal spaces D_{n}'s, and have compared it with the former approach both in the …
We construct connections and characteristic forms for principal bundles over groupoids and stacks in the differentiable, holomorphic and algebraic category using Atiyah sequences associated to transversal tangential distributions.
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian semi-ring. By applying the Grothedieck construction one obtains the ring K, elements of which, modulo a complex torus of dimension the sum of the odd Betti numbers of the base, are uniquely determined by the corresponding element of ordinary K and the Chern-Weil form. This construction provides a simple model of differential K-theory, c.f.Hopkins-Singer (200…
The paper is a survey of some results about Weil algebras applicable in differential geometry, especially in some classification questions on bundles of generalized velocities and contact elements. Mainly, a number of claims concerning a form of fixed points subalgebras of various Weil algebra is demonstrated.
In this paper we look at two naturally occurring situations where the following question arises. When one can find a metric so that a Chern-Weil form can be represented by a given form ? The first setting is semi-stable Hartshorne-ample vector bundles on complex surfaces where we provide evidence for a conjecture of Griffiths by producing metrics whose Chern forms are positive. The second scenario deals with a particular rank-2 bundle (related to the vortex equations) over a product of a Riemann surface and the sphere.
In an earlier paper [Acta Mathematica, v. 176, 1996, 145-169, alg-geom/9505024 ] the present authors and Dennis Sullivan constructed the universal direct system of the classical Teichmüller spaces of Riemann surfaces of varying genus. The direct limit, which we called the universal commensurability Teichmüller space, $T_{infty}$, was shown to carry on it a natural action of the universal commensurability mapping class group, $MC_{\infty}$. In this paper we identify an interesting cofinal sub-system corresponding to the tower of finite-sheeted characteristic coverings over any fixed base surfac…
Quantum affine bundles are quantum principal bundles with affine quantum structure groups. A general theory of quantum affine bundles is presented. In particular, a detailed analysis of differential calculi over these bundles is performed, including the description of a natural differential calculus over the structure affine quantum group. A particular attention is given to the study of the specific properties of quantum affine connections and several purely quantum phenomena appearing in the context of quantum affine bundles. Various interesting constructions are presented. In particular, the…
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We show the Chern-Weil homomorphism for equivariant vector bundles with connection naturally factors through differential equivariant cohomology.
We shall show that $q$-semipositivity of the vector bundle $E$ over a Kähler total space $\mathcal X$ implies the Griffiths-semipositivity of the $q$-th direct image of $\mathcal O(K_{\mathcal X/B}\otimes E)$. As an application, we shall give a negative-curvature criterion for the generalized Weil-Petersson metric on the base manifold.
The goal of this paper is to introduce the lifting theory that has an important role in geometry. Therefore, using the lifts of differential geometric structures we show that tangent bundle TM of paracomplex manifold M admits para-complex torsion-free affine connection.
A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation and basic examples come from Analytical Mechanics, where double affine bundles have been recognized as a proper geometrical tool in a frame-independent description of many important systems. Different approaches to the (special) double affine bundles are compared and carefully studied together with the problems of double vector bundle models and hulls, duality…
Natural analogs of Lie brackets on affine bundles are studied, based on natural examples from differential geometry and analytical mechanics. In particular, a close relation to Lie algebroids and, by a sort of duality, to affine analogs of Poisson structures is established as well as affine versions of the complete lift of a section and the Cartan exterior calculus.
We study affine Jacobi structures on an affine bundle $π:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures on the vector bundle $A^+=\bigcup_{p\in M}Aff(A_p,\R)$ of affine functionals. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited (strongly-affine or affine-homogeneous Jacobi structures) over a real vector space of finite dimension, we describe the leaves of i…
We develop an alternative view on the concept of connections over a vector bundle map, which consists of a horizontal lift procedure to a prolonged bundle. We further focus on prolongations to an affine bundle and introduce the concept of affineness of a generalised connection.
Chern-Weil theory provides for each invariant polynomial on a Lie algebra g a map from g-connections to differential cocycles whose volume holonomy is the corresponding Chern-Simons theory action functional. Kotov and Strobl have observed that this naturally generalizes from Lie algebras to dg-manifolds and dg-bundles and that the Chern-Simons action functional associated this way to an $n$-symplectic manifold is the action functional of the AKSZ $σ$-model whose target space is the given $n$-symplectic manifold (examples of this are the Poisson sigma-model or the Courant sigma-model, including…
As a continuation of previous papers, we study the concept of a Lie algebroid structure on an affine bundle by means of the canonical immersion of the affine bundle into its bidual. We pay particular attention to the prolongation and various lifting procedures, and to the geometrical construction of Lagrangian-type dynamics on an affine Lie algebroid.
Noncommutative Kähler structures were recently introduced by the second author as a framework for studying noncommutative Kähler geometry on quantum homogeneous spaces. It was subsequently observed that the notion of a positive vector bundle directly generalises to this setting, as does the Kodaira vanishing theorem. In this paper, by restricting to covariant Kähler structures of irreducible type (those having an irreducible space of holomorphic one-forms) we provide simple cohomological criteria for positivity, offering a means to avoid explicit curvature calculations. These general results a…
A linear connection is associated to a nonlinear connection on a vector bundle by a linearization procedure. Our definition is intrinsic in terms of vector fields on the bundle. For a connection on an affine bundle our procedure can be applied after homogenization and restriction. Several applications in Classical Mechanics are provided.
Main ideas of the differential geometry on affine bundles are presented. Affine counterparts of Lie algebroid and Poisson structures are introduced and discussed. The developed concepts are applied in a frame-independent formulation of the time-dependent and the Newtonian mechanics.
Let $M$ be a compact connected special flat affine manifold without boundary equipped with a Gauduchon metric $g$ and a covariant constant volume form. Let $G$ be either a connected reductive complex linear algebraic group or the real locus of a split real form of a complex reductive group. We prove that a flat principal $G$-bundle $E_G$ over $M$ admits a Hermitian-Einstein structure if and only if $E_G$ is polystable. A polystable flat principal $G$--bundle over $M$ admits a unique Hermitian-Einstein connection. We also prove the existence and uniqueness of a Harder-Narasimhan filtration for …
We introduce the notion of a Lie algebroid structure on an affine bundle whose base manifold is fibred over the real numbers. It is argued that this is the framework which one needs for coming to a time-dependent generalization of the theory of Lagrangian systems on Lie algebroids. An extensive discussion is given of a way one can think of forms acting on sections of the affine bundle. It is further shown that the affine Lie algebroid structure gives rise to a coboundary operator on such forms. The concept of admissible curves and dynamical systems whose integral curves are admissible, brings …
Based on ideas of W. M. Tulczyjew, a geometric framework for a frame-independent formulation of different problems in analytical mechanics is developed. In this approach affine bundles replace vector bundles of the standard description and functions are replaced by sections of certain affine line bundles called AV-bundles. Categorial constructions for affine and special affine bundles as well as natural analogs of Lie algebroid structures on affine bundles (Lie affgebroids) are investigated. One discovers certain Lie algebroids and Lie affgebroids canonically associated with an AV-bundle which…
Let $ (E,h) $ be a Griffiths semipositive Hermitian holomorphic vector bundle of rank $ 3 $ over a complex manifold. In this paper, we prove the positivity of the characteristic differential form $ c_1(E,h) \wedge c_2(E,h) - c_3(E,h) $, thus providing a new evidence towards a conjecture by Griffiths about the positivity of the Schur polynomials in the Chern forms of Griffiths semipositive vector bundles. As a consequence, we establish a new chain of inequalities between Chern forms. Moreover, we point out how to obtain the positivity of the second Chern form $ c_2(E,h) $ in any rank, starting …
We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a connection of Berwald type in the standard theory of connections. Various new insights are being obtained in the fine structure of affine bundles over an anchored vector bundle and affineness of generalised connections on such bundles.
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local covariance. Our analysis is a preparatory step towards a full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, our construction provides a new class of exactly tractable loc…
The dually flat structure of statistical manifolds can be derived in a non-parametric way from a particular case of affine space defined on a qualified set of probability measures. The statistically natural displacement mapping of the affine space depends on the notion of Fisher's score. The model space must be carefully defined if the state space is not finite. Among various options, we discuss how to use Orlicz-Sobolev spaces with Gaussian weight. Such a fully non-parametric set-up provides tools to discuss intrinsically infinite-dimensional evolution problems.
