在我们的[Higher-order preconnections in synthetic differential geometry of jet bundles，Beiträge zur Algebra und Geometrie，45（2004），677-696]中，我们已经建立了在无穷小空间D的条件下对jet bundle进行合成的仿射束定理。在我们的成功[合成微分几何高阶全微分，出现在拓扑学手册等几何Différentielle Catégoriques]我们介绍了另一种合成方法，以喷射束方面的无穷小空间D_{n}的，并比较了它与前一种方法都在一般微线性设置和在有限维设置。然而，我们在有限维条件下的比较是不完全的，因为我们使用维数计数技术已经默认了用D和D_{n}表示的喷流丛是向量丛，除非给定的丛已经是向量丛，否则情况不是这样。本文的主要目的是建立仿射丛定理在我们的第二个综合方法喷丛，然后比较不仅基于这两种方法的喷丛，但仿射丛作为一个整体构建在一般的微线性设置和有限维设置。这就完成了我们在有限维环境中两种方法之间的比较。
英文摘要：
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 general microlinear setting and in the finite-dimensional setting. However our comparison in the finite-dimensional setting was incomplete, for our use of dimension counting techniques has tacitly assumed that jet bundles in terms of Dⁿ's and D_{n}'s are vector bundles, which is not the case unless the given bundle is already a vector bundle. The principal objective in this paper is to establish the affine bundle theorem in our second synthetic approach to jet bundles and then to compare not merely the jet bundles based on both approaches but the affine bundles constructed as a whole both in the general microlinear setting and in the finite-dimensional setting. This completes our comparsion between the two approaches in the finite-dimensional setting.
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.
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.
In this study, we generalize double tangent bundles to double jet bundles. We present a secondary vector bundle structure on a 1-jet of a vector bundle. We show that 1-jet of a vector bundle carries two vector bundle structures, namely primary and secondary structures. We also show that the manifold charts induced by primary and secondary structures belong to the same atlas. We prove that double jet bundles can be considered as a quotient of second order jet bundle. We show that there exists a natural involution that interchanges between primary and secondary vector bundle structures on double…
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.
We identify and study a matrix algebra consisting of Pascal-type matrices. The generator of the matrix algebra is shown to well define a canonical bundle map, called the Pascal map on jet bundles, and we use it to give an intrinsic definition of point-wise contact between Hermitian vector bundles in terms of unitary equivalence of the Pascal maps.
We discuss the Morse estimates for the curvature of several metrics on Semple weighted projective bundle over a projective variety. Following Demailly works on holomorphic Morse inequalities we show an analogue of his results along the Green-Griffiths conjecture for invariant jets.
The jet bundle $J^kG$ of $k$-jets of curves in a Lie group $G$ has a natural Lie group structure. We present an explicit formula for the group multiplication in the right trivialization and for the group 2-cocycle describing the abelian Lie group extension $\mathfrak{g}\to J^{k}G\to J^{k-1}G$.
We establish a bijective correspondence between affine connections and a class of semi-holonomic jets of local diffeomorphisms of the underlying manifold called symmetry jets in the text. The symmetry jet corresponding to a torsion free connection consists in the family of $2$-jets of the geodesic symmetries. Conversely, any connection is described in terms of the geodesic symmetries by a simple formula involving only the Lie bracket of vector fields. We then formulate, in terms of the symmetry jet, several aspects of the theory of affine connections and obtain geometric and intrinsic descript…
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…
First-order jet bundles can be put at the foundations of the modern geometric approach to nonlinear PDEs, since higher-order jet bundles can be seen as constrained iterated jet bundles. The definition of first-order jet bundles can be given in many equivalent ways - for instance, by means of Grassmann bundles. In this paper we generalize it by means of flag bundles, and develop the corresponding theory for higher-oder and infinite-order jet bundles. We show that this is a natural geometric framework for the space of Cauchy data for nonlinear PDEs. As an example, we derive a general notion of t…
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.
Around 1923, Elie Cartan introduced affine connections on manifolds and definedthe main related concepts: torsion, curvature, holonomy groups. He discussed applications of these concepts in Classical and Relativistic Mechanics; in particular he explained how parallel transport with respect to a connection can be related to the principle of inertia in Galilean Mechanics and, more generally, can be used to model the motion of a particle in a gravitational field. In subsequent papers, Elie Cartan extended these concepts for other types of connections on a manifold: Euclidean, Galilean and Minkows…
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 …
This paper is the sequel to our previous paper (Differetial Geometry of Microlinear Frolicher spaces IV-1), where three approaches to jet bundles are presented and compared. The first objective in this paper is to give the affine bundle theorem for the second and third approaches to jet bundles. The second objective is to deal with the three approaches to jet bundles in the context where coordinates are available. In this context all the three approaches are shown to be equivalent.
AV-differential geometry: Poisson and Jacobi structures
基于W. M. Tulczyjew，一个几何框架的框架独立制定的不同问题的分析力学。在这种方法中，仿射束代替标准描述的向量丛，并且函数被称为AV束的某些仿射直线束的部分代替。研究了仿射丛和特殊仿射丛的范畴结构以及仿射丛上李代数体结构的自然类似物（李仿射体）。人们发现某些李代数胚和李仿射胚与AV-丛密切相关的仿射类似物的泊松和雅可比结构。后者的同调和上同调是规范定义的。所发展的概念应用于解决力学系统的标架无关几何描述的一些问题。
A family of holomorphic vector bundles is constructed on a complex manifold $X$. The space of the holomorphic sections of these bundles are calculated in certain cases. As an application, if $X$ is an $N$-dimensional compact Kähler manifold with holonomy group $SU(N)$, the space of holomorphic vector fields on its jet scheme $J_m(X)$ is calculated. We also prove that the space of the global sections of the chiral de Rham complex of a K3 surface is the simple $N=4$ superconformal vertex algebra with central charge $6$.
In this paper we study holomorphic vector bundles with singular Hermitian metrics whose curvature are Hermitian matrix currents. We obtain an extension theorem for holomorphic jet sections of nef holomorphic vector bundle on compact Kähler manifolds. Using it we prove that Fano manifolds with strong Griffiths nef tangent bundles are rational homogeneous spaces.
We study natural lifting operations from a bundle E over R to the dual bundle of its first-jet bundle. The main purpose is to define a complete lift of a type (1,1) tensor field on E and to understand all features of its construction. Various other lifting operations of tensorial objects on E are needed for that purpose. We prove that the complete lift of a type (1,1) tensor with vanishing Nijenhuis torsion gives rise to a Poisson-Nijenhuis structure on the dual of the first-jet bundle, and discuss in detail how the construction of associated Darboux-Nijenhuis coordinates can be carried out.
In this paper, algebroid bundle associated to affine metrics provide an structure for unification of gravity and electromagnetism and, geometrization of matter.
In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with boundary. We apply this theorem to investigate global properties of maps between surfaces with boundary. As a corollary of our results we obtain Fukuda-Ishikawa's theorem. We also study geometry of the affine extended wave fronts for planar closed non singular hedgehogs (rosettes). In particular, we find a link between the total geodesic curvature on the boundary…
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.
Given a complex manifold $X$, any Kähler class defines an affine bundle over $X$, and any Kähler form in the given class defines a totally real embedding of $X$ into this affine bundle. We formulate conditions under which the affine bundles arising this way are Stein and relate this question to other natural positivity conditions on the tangent bundle of $X$. For compact Kähler manifolds of non-negative holomorphic bisectional curvature, we establish a close relation of this construction to adapted complex structures in the sense of Lempert--Szőke and to the existence question for good complex…
Mathematics Program and Center for Quantum and Topological Systems, New York University Abu Dhabi（数学项目与量子拓扑系统中心，阿布扎比纽约大学）；Institute of Mathematics of the Czech Academy of Sciences, Prague（捷克科学院数学研究所）
Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.
In this paper we propose the time-dependent generalization of an `ordinary' autonomous human biomechanics, in which total mechanical + biochemical energy is not conserved. We introduce a general framework for time-dependent biomechanics in terms of jet manifolds associated to the extended musculo-skeletal configuration manifold, called the configuration bundle. We start with an ordinary configuration manifold of human body motion, given as a set of its all active degrees of freedom (DOF) for a particular movement. This is a Riemannian manifold with a material metric tensor given by the total m…
Let $G$ be a connected reductive affine algebraic group defined over $\mathbb C$, and let $Γ$ be a cocompact lattice in $G$. We prove that any invariant bundle on $G/Γ$ is semistable.
