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.
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
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.
Chern-Weil and Chern-Simons theory extend to certain infinite-rank bundles that appear in mathematical physics. We discuss what is known of the invariant theory of the corresponding infinite-dimensional Lie groups. We use these techniques to detect cohomology classes for spaces of maps between manifolds and for diffeomorphism groups of 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 …
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 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…
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.
Given a compact Kähler manifold, Geometric Invariant Theory is applied to construct analytic GIT-quotients that are local models for a classifying space of (poly)stable holomorphic vector bundles containing the coarse moduli space of stable bundles as an open subspace. For local models invariant generalized Weil-Petersson forms exist on the parameter spaces, which are restrictions of symplectic forms on smooth ambient spaces. If the underlying Kähler manifold is of Hodge type, then the Weil-Petersson form on the moduli space of stable vector bundles is known to be the Chern form of a certain d…
In this paper, we investigate the geometry of the base complex manifold of an effectively parametrized holomorphic family of stable Higgs bundles over a fixed compact Kähler manifold. The starting point of our study is Schumacher-Toma/Biswas-Schumacher's curvature formulas for Weil-Petersson-type metrics, in Sect. 2, we give some applications of their formulas on the geometric properties of the base manifold. In Sect. 3, we calculate the curvature on the higher direct image bundle, which recovers Biswas-Schumacher's curvature formula. In Sect. 4, we construct a smooth and strongly pseudo-conve…
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…
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…
This note announces a general construction of characteristic currents for singular connections on a vector bundle. It develops, in particular, a Chern-Weil-Simons theory for smooth bundle maps $α: E \rightarrow F$ which, for smooth connections on $E$ and $F$, establishes formulas of the type $$ ϕ\ = \ \text{\rm Res}_ϕΣ_α + dT. $$ Here $ϕ$ is a standard charactersitic form, $\text{Res}_ϕ$ is an associated smooth ``residue'' form computed canonically in terms of curvature, $Σ_α$ is a rectifiable current depending only on the singular structure of $α$, and $T$ is a canonical, functorial transgres…
We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as renormalised Chern-Weil forms in as far as they coincide with regularised Chern-Weil forms up to residue correction terms. Similarly, a new formula for the curvature of the local fermionic vacuum line bundles is derived using a residue correction term added to the naive curvature…
We develop a framework to compute characteristic classes and their forms in the computer algebra system SageMath using symbolic calculus. In order to do this, we make use of the Chern-Weil approach in which characteristic classes of vector bundles in the de Rham cohomology are obtained by arbitrary connections. Along the way, we implement the notion of vector bundles, their sections and connections as well as mixed differential forms in SageMath. We conclude by discussing some application examples exposed in Jupyter Notebook and eventually address the issue of computational cost.
In this note, we prove that there is a canonical continuous Hermitian metric on the CM line bundle over the proper moduli space $\bar{\mathcal{M}}$ of smoothable Kahler-Einstein Fano varieties. The curvature of this metric is the Weil-Petersson current, which exists as a positive (1,1)-current on $\bar{\mathcal{M}}$ and extends the canonical Weil-Petersson current on the moduli space parametrizing smooth Kahler-Einstein Fano manifolds $\mathcal{M}$. As a consequence, we show that the CM line bundle is nef and big on $\bar{\mathcal{M}}$ and its restriction on $\mathcal{M}$ is ample.
Discrete vector bundles are important in Physics and recently found remarkable applications in Computer Graphics. This article approaches discrete bundles from the viewpoint of Discrete Differential Geometry, including a complete classification of discrete vector bundles over finite simplicial complexes. In particular, we obtain a discrete analogue of a theorem of André Weil on the classification of hermitian line bundles. Moreover, we associate to each discrete hermitian line bundle with curvature a unique piecewise-smooth hermitian line bundle of piecewise constant curvature. This is then us…
For a holomorphic vector bundle $E$ over a Hermitian manifold $M$ there are two important notions of curvature positivity, the Griffiths positivity and Nakano positivity. We study the consequence of these positivities and the relevant estimates. If $E$ is Griffiths negative over Kähler manifold, then there is a Kähler metric on its total space $E$, and we calculate the curvature and prove the non-positivity of the curvature along the tautological direction. The Nakano positivity can be formulated as a positivity for the Nakano curvature operator and we give estimate the Nakano curvature operat…
The notion of a gerbe with connection is conveniently reformulated in terms of the simplicial deRham complex. In particular the usual Chern-Weil and Chern-Simons theory is well adapted to this framework and rather easily gives rise to `characteristic gerbes' associated to families of bundles and connections. In turn this gives invariants for families of foliated bundles. A special case is the Quillen line bundle associated to families of flat SU(2)-bundles
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 …
In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in there is that certain morphisms in this long exact coefficient sequence can be accessed (at least for semi-simple Lie groups) very conveniently by the Chern-Weil homomorphism of the naturally associated compact dual symmetric space. Since the latter is very well-known, this gives the possibility to compute the topological group cohomology of the classical si…
We show that every bad orbifold vector bundle can be realized as the restriction of a good orbifold vector bundle to a suborbifold of the base space. We give an explicit construction of this result in which the Chen-Ruan orbifold cohomology of the two base spaces are isomorphic (as additive groups). This construction is used to indicate an extension of the Chern-Weil construction of characteristic classes to bad orbifold vector bundles. In particular, we apply this construction to the orbifold Euler class and demonstrate that it acts as an obstruction to the existence of nonvanishing sections.
We establish a noncommutative generalisation of the Borel-Weil theorem for the Heckenberger-Kolb calculi of the irreducible quantum flag manifolds $\mathcal{O}_q(G/L_S)$, generalising previous work of a number of authors (including the first and third authors of this paper) on the quantum Grassmannians $\mathcal{O}_q(\mathrm{Gr}_{n,m})$. As a direct consequence we get a novel noncommutative differential geometric presentation of the quantum coordinate rings $S_q[G/L_S]$ of the irreducible quantum flag manifolds. The proof is formulated in terms of quantum principal bundles, and the recently in…
We prove that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold. We show that the connected component of the identity of T(1), the Hilbert submanifold T_{0}(1), is a topological group. We define a Weil-Petersson metric on T(1) by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration ove…
In this paper, we consider a special relative Kähler fibration that satisfies a homogenous Monge-Ampère equation, which is called a Monge-Ampère fibration. There exist two canonical types of generalized Weil-Petersson metrics on the base complex manifold of the fibration. For the second generalized Weil-Petersson metric, we obtain an explicit curvature formula and prove that the holomorphic bisectional curvature is non-positive, the holomorphic sectional curvature, the Ricci curvature, and the scalar curvature are all bounded from above by a negative constant. For a holomorphic vector bundle o…
We indicate a geometric relation between Laplace-Beltrami spectra and eigenfunctions on compact Riemannian symmetric spaces and the Borel-Weil theory using ideas from symplectic geometry and geometric quantization. This is done by associating to each compact Riemannian symmetric space, via Marsden-Weinstein reduction, a generalized flag manifold which covers the space parametrizing all of its maximal totally geodesic tori. In the process we notice a direct relation between the Satake diagram of the symmetric space and the painted Dynkin diagram of its associated flag manifold. We consider in d…
We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different category than the initial ones, namely graded polynomial (co)algebra bundles and free graded Weil (co)algebra bundles. Our results are then applied to obtain elegant characterizations of double vector bundles and graded bundles of degree 2. All these results have their supergeometric counterparts. For instance, we give a simple proof of a nice characterisation …
Connections, metrics and Higgs fields on complex fiber bundles
Yau Mathematical Sciences Center, Tsinghua University(丘成桐数学科学中心);Tsinghua University(清华大学);Yanqi Lake Beijing Institute of Mathematical Sciences and Applications(北京雁栖湖应用数学研究院)
The first goal of the article is to solve several fundamental problems in the theory of holomorphic bundles over non-algebraic manifolds: For instance we prove that stability and semi-stability are Zariski open properties in families when the Gauduchon degree map is a topological invariant, or when the parameter manifold is compact. Second we show that, for a generically stable family of bundles over a Kähler manifold, the Petersson-Weil form extends as a closed positive current on the whole parameter space of the family. This extension theorem uses classical tools from Yang-Mills theory devel…
A Q-manifold is a graded manifold endowed with a vector field of degree one squaring to zero. We consider the notion of a Q-bundle, that is, a fiber bundle in the category of Q-manifolds. To each homotopy class of ``gauge fields'' (sections in the category of graded manifolds) and each cohomology class of a certain subcomplex of forms on the fiber we associate a cohomology class on the base. Any principal bundle yielding canonically a Q-bundle, this construction generalizes Chern-Weil classes. Novel examples include cohomology classes that are locally the de Rham differential of the integrands…